Manuscript VIII-A@3 · VIII-A-v3.tex · section · 2398a747
Acceptance audit
The complete fixed-cone construction › Acceptance audit · lines 2151–2208
| Obligation | Local witness |
|---|---|
| Obligation | Local witness |
| Seam-compatible graph | Shared-ray values A:eq:shared-rays; explicit upper/lower developed-copy convention. |
| Spacelikeness, embedding, acausality | Branch gradients, global Lipschitz bound, graph projection, and causal-distance comparison in A:lem:family. |
| Coverage and event isolation | Exact branch segments in A:lem:cells; positivity and the unique-event theorem A:lem:metric,A:thm:event. |
| Positive finite cells | Length and area tables A:eq:length-table,A:eq:area-table; projected area A:eq:inner-projected-area. |
| Adapted affine charts | Lorentz boosts and flattening in A:eq:general-boost,A:eq:chart-table,A:lem:charts. |
| Endpoints, segments, inverses, closure | Common realized boundaries and canonical affine maps in A:lem:charts. |
| Regular words | Canonical word formula with winding zero; A:lem:word,A:prop:fixed-certificate. |
| Finite topological presentation | Full triangulated annular truncation, marked boundary paths, and A:lem:finite-relators. |
| Primitive core, collar, star | Angular increment , explicitly chosen connecting paths, and A:prop:fixed-certificate. |
| Full affine collar agreement | Translation cancellation A:eq:translation-telescope,A:eq:translation-reference. |
| Worldline and rest vectors | Spinless lemma, intersections A:eq:particle, and transported chart data in A:prop:fixed-certificate. |
| Event transport and signature | Persistent labels and A:cor:G-event; collapsed slots remain metadata. |
This is a mathematical witness inventory, not an executed checker log.