Manuscript XIII-D@1 · XIII-D.tex · section · bab69024
D7: decision and exact successor package
D7: decision and exact successor package · lines 1164–1202
| Gate | Ending | Exact scope |
|---|---|---|
| D0 | Recorded and frozen | Route A with Route D alternative; Route B cited; one parameter-local/one-retarded class. |
| D1 | Definition completed | Parity, ghost number, parameter linearity, order, causal support, and the quadratic kernel requirement are explicit. |
| D2 | Constructed as a necessary representation theorem | Ideal preservation and zero-past causality force the trivial action on the complete free-shell quotient. |
| D3 | Proved obstructed for detecting data | The auxiliary pairing is nonzero on an allowed commutator, so the required cocycle fails for every induced action in the class. |
| D4 | Cochain admitted; integrated solution excluded | The new bilinear kernel has the bound . It is not the variation of one compensating functional under the forced action. |
| D5 | Class-wide witness failure | Every eligible slot action gives zero on the copied tuple and cannot cancel its nonzero pairing. |
| D6 | Recorded | Scalar-source differentiation retained; unchanged and no second-slot double count. |
| D7 | Proved obstructed | One ending for on the detecting fixed data; maps outside that class are undecided. |