Manuscript IX-E@1 · IX-E.tex · section · 8f8d5e7f
Evaluated status
E7: decision, missing data, and exclusions › Evaluated status · lines 1089–1129
| Gate | Status on the fixed target |
|---|---|
| E0 | Domain containment and flip, conjugation, and reversal stability are proved. The old seed is explicitly zero. The actual old intersection and any required nonzero old map are not supplied. |
| E1a | The exact commutator identity is proved. Its kernel restriction on two-way sharp pairs is not evaluated. |
| E1b | A necessary and algebraically sufficient finite-relation criterion is proved. It is not evaluated for the complete forced data. |
| E1c | The corrected support geometry, later-slab implication, and a spacelike sufficient condition are proved. |
| E2 | No locked sharp time-ordered replacement distribution or extension is supplied. Construction remains unfinished. |
| E3 | No candidate coefficient family exists to which the admission and fixed-support continuity proofs can be applied. |
| E4 | Binary contact freedom and exact nonzero old-overlap equations are unevaluated. |
| E5 | The involution constraint is proved algebraically. It is not discharged for an analytic candidate. |
| E6 | The conditional subtraction and normalization audit are proved. Their construction hypotheses remain undischarged. |