Manuscript XV-D@1 · XV-D.tex · section · 967136eb

Row-by-row requirements

What the preliminary lift would require › Row-by-row requirements · lines 574–599

Entry	Factors to compose	Domain	Rule required	Unresolved item
$K_{47}$	$L \cdot L$ (internal), then $C_{cross}$ , vertex Hessian	tests meeting $N$	Composition theorem or explicit prescription for $C_{cross} \cdot K_{47}$ at $N$	D0.10–D0.13; no theorem in record.
$K_{5}^{[a]}$	$R (b - a) R (a - z)$ pullback, $A$ , $L$ , then $C_{cross}$	tests meeting $N$	Same	D0.11, D0.13; opposite-covector audit blocks the ordinary product theorem Ijoint.
$K_{5}^{[z]}$	$R (b - z) R (z - a)$ pullback, $A$ , $L$ , then $C_{cross}$	tests meeting $N$	Same	Same.
$K_{6}, K_{8}, K_{9}$	finite normal-jet form, normal traces $c_{D, β}$ , weights $v_{α}$	$U ∖ N_{U}$ proved; extension to $N_{U}$ required	Coefficient extension satisfying XV-C's estimate and the frozen class	D0.16–D0.18.

Nearby in this section