Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077
Decision table
Remaining consistency obligations and release decision › Decision table · lines 1387–1453
| Evidence | Legal consequence |
|---|---|
| Nonzero commutator on a certified retained two-way pair | Proved obstructed on the fixed ; stop. |
| Exact zero on the strongly separated witness class only | Unresolved; that class is settled, but complete two-way coverage is unfinished. |
| Vanishing on every retained two-way first-stage pair | The double-ordering commutator gate is clear; the complete causal-product release remains Unresolved. |
| Unclosed kernel or conjugation identity | Unresolved at that identity. This is not the present stop. |
| Gate | Status established here |
|---|---|
| Fixed domain | Inherited target retained without deletion; actual old intersection unevaluated. |
| Kernel evaluation | Closed by the common-regulator proof and exact imaginary-part formula. |
| Witness class | Closed: exact zero for every strongly separated pair. |
| Spacelike control | Closed: explicit nonzero pairing, without two-way certification. |
| Complete two-way coverage | Open at the actual functional-support bridge. |
| Actual tensor relations | The inherited finite-relation test remains unevaluated. |
| E2–E5 | No replacement, admission, continuity, contact, overlap, or analytic involution construction is attempted. |
| E6 | IX-E's subtraction theorem remains conditional; no normalized retarded output is released. |