# 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).