Manuscript XII-F@1 · XII-F.tex · section · 54cb3169
F6: decision, exclusions, and successor package
F6: decision, exclusions, and successor package · lines 1271–1304
| Gate | Ending | Exact scope |
|---|---|---|
| F0 | Recorded | Inherited coefficient, sign, remainder, carrier, and boundaries separated. |
| F1 | Constructed | Four rows printed; Einstein and auxiliary expressions identified as the same row on the shell. |
| F2 | Constructed | No-ramp statement, switching sampling support, and a nonzero off-(CP) diagnostic. |
| F3 | Proved obstructed for unqualified invariance | Local cancellation subclass proved; explicit free-shell auxiliary witness under (CP) is nonzero. |
| F4 | Interface recorded; map Unresolved | No extra cancelling differential or completion supplied. |
| F5 | Recorded | Scalar-sourced slot admitted by XII-E, included once, with zero metric variation. |
| F6 | Recorded | No product, jet repair, old-class repair, loop, state, or limit inferred. |