Mathematical debugging ledger

• Collapse interpretation. The random-unitary ensemble representation and the normalized reduction unraveling are distinct conditional descriptions of one unconditional law. Selecting the latter as physical is an additional choice.

• Finite versus continuum dynamics. Bounded finite generators justify the displayed composition limit. No unbounded continuum Trotter or regulator-removal result is inferred from it.

• Proof and execution. An analytic derivation, a script, a compilation, a regression, and a machine proof certificate are different forms of evidence. None is silently substituted for another.