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