IV.D23 — Mass-Energy Relation

E = m·c²_τ: structural identity between mass and energy indices via speed constant. Proof obligation: cross-multiplication equality on scaled rationals.