Manuscript XII-E@1 · XII-E.tex · section · 9471ea56

Decision table

E6: boundaries, decision, and successor package › Decision table · lines 1285–1318

Gate	Ending	Exact scope
E0	Recorded	XII-D's six objects and six refusals; X-A's classical covariance flagged as the one additional premise.
E1	Constructed, with sign correction	$Φ^{(2)}_{D} = A_{2}^{sc} (γ, r_{D}; ϕ) = A_{2}^{sc} (γ, 0; ϕ) - C_{3, D}$ ; one entry, coefficient $- 1$ .
E2	Constructed	Both legs with $\partial g$ ; affine slot identity proved.
E3	Constructed	Four rows printed before addition; the slot's two-jet row is the co-transformation; the “ $+$ ” sum is detected.
E4	Constructed as a signed identity	$Δ_{ξ} Φ^{(2)}_{D} = - A_{1} (K ρ_{ξ}) + \int L_{ξ} β \cdot A γ$ ; companion explicit and above the ramp; zero under (CP) and $A γ = 0$ on $U$ .
E5	Constructed	Tree lemma; $A_{2}^{sc} (\cdot, 0; \cdot) \in F_{mc, pol}$ ; $Q_{H} Φ^{(2)}_{D} \in E_{H}$ ; ordering-stable enlarged sector; scalar-sourced slot admitted.
E6	Recorded	No old-class repair, jet repair, quantum product, loop, state, or limit.

Nearby in this section