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

Freeze check

Frozen branch and placement ledger › Freeze check · lines 516–553

Entry	Internal expression	Cross-line factors	Domain of definition	Status at $N$
$K_{47}$	(eq:K47); $L$ not defined (D0.13)	$C_{cross}$ undefined (D0.11)	Internal: retained patch Iamplitude; composed: $U_{can}$ only Ijoint	Not defined on tests meeting $N$ .
$K_{5}^{[a]}$	(eq:K5a); pullback existence proved	Undefined	Internal: all $(a, b, z)$ ; composed: $U_{can}$	Not defined; I3 stop Ijoint.
$K_{5}^{[z]}$	(eq:K5z); pullback existence proved	Undefined	Internal: all $(a, b, z)$ ; composed: $U_{can}$	Not defined; I3 stop.
$K_{6}$	(eq:K6); $D$ via undefined $a ˙_{2}$	Normal traces $c_{D, β}$ named (D0.18)	Composed: $U ∖ N_{U}$ Jreference	Conditional interface only Jconditional.
$K_{8}$	Reported, not reproduced (D0.14)	Normal traces named	Composed: $U ∖ N_{U}$	Conditional interface only.
$K_{9}$	Reported, not reproduced (D0.14)	Normal traces named	Composed: $U ∖ N_{U}$	Conditional interface only.

This table is a freeze check. It records that the decomposition is carried forward unchanged; it is not evidence that the full operation exists. The propagator, retarded pole, regulator, carrier, normalization, and ambiguity class are not altered in this manuscript. No new model is introduced.