Theorem and proposition index
All entries below refer to ordinary mathematical proofs in the PDF. Lean verification is not claimed.
- 2.1 Coordinate changes preserve truth (page 3).
- 3.1 Boolean product presentation (page 4).
- 4.3 Defect calculus (page 5).
- 4.4 Product telescope (page 6).
- 5.1 Invariant algebra and residual quotient (page 7).
- 5.2 Generating transformations suffice (page 7).
- 5.3 The precise section statement (page 7).
- 6.1 Finite residual integrability (page 8).
- 7.1 Additive splitting (page 9).
- 7.2 Completeness of the ambient algebra is not enough (page 9).
- 7.3 No symmetric Boolean projector (page 10).
- 7.4 Finite resolution envelope (page 10).
- 7.5 Adjoint characterization (page 11).
- 7.6 Residual support determines ambiguity (page 11).
- 8.1 Weighted invariant projection (page 11).
- 8.2 Nested resolution decomposition (page 12).
- 9.1 Finite all-path stability criterion (page 13).
- 10.1 Bounded-formula invariance (page 13).
- 11.1 Nontrivial holonomy with an exact defect (page 14).