Context
The matrix calibration separates the invariant quotient, its closed semisimple core, the Jordan receipt lost inside a fibre, and the quotient that is universal for a declared family of future observations.
Proof or evidence
The collision between and exhibits the missing receipt explicitly.
Verification notes
The archived proof and failure boundaries were reconstructed; the public dependency-free verifier checks 44 partitions, 233 dominance comparisons, six scaling rows, the smallest collision, and sharp observation chains through dimension seven.
Limitations
- The statement compares two information interfaces; it is not a claim about every form of derived reduction.