Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Final assembly and exact remaining gate
Final assembly and exact remaining gate · lines 2528–2556
{}1.15
| Stage | Finished here | Not released |
|---|---|---|
| IX-D-ST | Interfaces, support bounds, non-lift, conditional subtraction and contact contradiction, order audit | Sharp time ordering and normalized retarded maps |
| IX-E-ST | Ordering geometry, commutator identity, fixed-domain criterion, algebraic relation criterion | Analytical extension and its complete consistency |
| IX-E-2-ST | Exact imaginary part and full strong-class vanishing | The inherited actual-support bridge |
| IX-E-3-ST | Exact quadratic support and bridge under (TC); specified flat verification | (TC) identification for a weak unspecified inherited adjoint; any time-ordered product |