λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript X-F@1 · X-F.tex · section · f35cc129

Decision and final release

Decision and final release · lines 1462–1506

Back to manuscript

{}1.12

Gate	Evidence	Status
F1 covariance	$2 G_{2} (K ξ, u) = L_{ξ} G_{lin} [u] - G_{lin} [L_{ξ} u]$ , from naturality; corrects X-E's on-shell shortcut	Proved
F2 gauge	Background de Donder; $F^{(0)} = - \frac{1}{4} P K C$ ; $P_{gr} = \frac{1}{2} G_{lin} + F^{(0)}$ ; $Q^{(1)} [K ξ] = [L_{ξ}, P_{gr}]$	Frozen; proved
F2 jet law	$k [h_{cl} + K ξ] - k [h_{cl}] = L_{ξ} h - Δ_{R}^{gr} L_{ξ} P_{gr} h$ , second term in $J$	Proved
F3 trees	$T_{mat}, T_{mix}, T_{self}$ ; kernels, supports in $K_{f} \times (J^{-} (K_{f}) \cap {t \geq 0})^{n - 1}$ ; sum-zero admission; classical values	Constructed at $ℏ^{0}$
F4 identity	All-tree observable invariant through $κ^{2}$ modulo $J$ , $ϕ, h$ fixed	Proved
F5 flat gauge	Residual $κ^{2} A_{1} [Δ_{R}^{gr} [L_{ξ}, F^{(0)}] h]$ displayed	Class not decided
F6	Three lines, $ℏ^{0}$ , no $W_{g}$ , no $ℏ^{3}$	VII-C inapplicable, not contradicted
Named	$ℏ^{1}$ terms; ghosts; BV with switched matter; positivity; classical self-response; $κ^{3}$ ; $ε \to 0$	Not constructed

Nearby in this section