C08.2 · Source basis/status

Appendix K §4, Theorem 4.3, sealed Rev32.7 PDF p.232:

> split-octonion (Zorn) product forces a = b; the twelve nonzero closure defects are all ∝ (a − b), so the constraint variety is exactly {a = b} and r = 7/3 is unique. Appendix K §4, strict tiering fence, sealed Rev32.7 PDF p.232:

> This closes the last trace-weight freedom on the 7/3 road; it is not an LSZ residue, a low-energy mass theorem, or a physical export theorem.

The original source reports independent house checks. Those old checks are not rerun here because their scripts are absent. Instead, the present article defines the same Zorn bracket and weighted pairing explicitly and executes an exact reconstruction. Agreement of that reconstruction is not a claim that the absent banked array files have been byte-verified.