Manuscript XIII-C@1 · XIII-C.tex · section · e6556893
C7: decision and successor boundary
C7: decision and successor boundary · lines 1190–1224
| Gate | Ending | Exact scope |
|---|---|---|
| C0 | Recorded | Tree datum inherited; literal factorization error closed; carrier unchanged. |
| C1 | Inventory complete | Eleven branches and all 48 labelled incidence matchings for the frozen product data. |
| C2 | Partly Constructed; joint gate Unresolved | Products exist on . A noncoincident characteristic cancellation prevents identifying that set with the entire collision complement. |
| C3 | Primitive degrees computed; joint gate Unresolved | Parallel-line degrees proved. Larger-cycle counts are explicitly superficial, not unproved scaling theorems. |
| C4 | Primitive extensions Constructed; joint gate Unresolved | Partial contacts are admitted as a class; the full joint extension is not constructed or universally excluded. |
| C5 | Audit established | Contact support preserves strict ordered regions; tree overlap cannot be altered at this order. |
| C6 | Conditional theorem only; Unresolved | Properness inherited; complete output wavefront estimate absent. |