Historical corpus

Execution-derived labels falsified the predictor. The disclosure interpretation remains.

Retained: Disclosure and omission interpretation; Scoped algebraic identities after audit.

Corollary 3.2 and the execution interpretation are false. Audited rank and component-count identities remain.

Retained: Audited component-count identities; Scoped rank-deficit construction.

The published repair-basis corollary is false. Audited rank identities require the correction record.

Retained: Audited rank identities; Corrected repair statement.

The sparsity claim is withdrawn. Corrected repair-basis results remain in the correction record.

Retained: Corrected exact repair-basis results.

The type-soundness theorem is false, including under the proposed static-fragment repair.

Retained: Counterexample and negative design guidance.

The trichotomy is withdrawn. Exact Haar marginals and adjacent-edge pairwise independence remain.

Retained: Exact Haar marginals; Adjacent-edge pairwise independence.