Manuscript XVI-J@1 · XVI-J.tex · section · 6c1f306d

Verification checklist and status

Verification checklist and status · lines 1489–1536

Check	Result and locator
Propagator normalization	$K D_{F} = i id$ : Lemma lem:DF
Polarization and edge counting	Ordinary Hessians, insertion factor two, one $1/2!$ : Proposition prop:invariant
Fiber signature and off-diagonal factors	Explicit Gram inverse and basis-independent contraction: Lemma lem:dual
Hessian table	Closed polynomial proof of every entry: (eq:Fexpanded)–(eq:Ltable)
Decorated coefficient	Double-sum and quadratic-contraction methods agree: (eq:secondmethod)–(eq:Kcompact)
Independent component arithmetic	Values $14, - 14, 10$ : Lemma lem:Kchecks
Extension moment	$W_{ϖ} ϖ = 0$ : Proposition prop:extension
Prescription change	Explicit constant multiplying $δ$ : Proposition prop:changevarpi
Root product	Conditional on $Z_{2}$ , not on compactness alone: Theorem thm:attachment
Proper pushforward	Root compactness plus compact interaction switch: (eq:support)
Continuity	Distributional order kept separate from residual jet: (eq:continuity)
Nonvanishing	Established only at the stated algebraic levels: Corollary cor:nonzero

Nearby in this section