Manuscript X-B@3 · X-B-v3.tex · section · 2d415d58

Decision, regulator estimates, and successor boundary

Decision, regulator estimates, and successor boundary · lines 1513–1562

{}1.12

Gate	Evidence	Status
Field content	Scalar contractions only; metric classical	Frozen before products
B1, joint	Split calculus and proper kernel pushforwards	Admitted through $κ^{2}$
B1, scalar	Smooth compact tests $c_{0}, c_{1}, c_{2}$	Named linear domain
B2	$d_{c} = - L_{1, g} [h] E_{m}^{A} c$	One map constructed
Quantum order	One cross-contraction, no second scalar derivative	Positive- $ℏ$ part vanishes
Support	$supp d_{c} \subset supp g \cap J^{-} (supp c)$	Proved without extra exclusions
B3	Three-term variation; plateau cancellation	Ward through $κ^{1}$ only
Second order	Bare and mixed terms retained; $ρ_{2, g}$ displayed	No full quantum identity
Edge and switch	Explicit defects outside $g_{U}$	Not repaired or imported
B4	Zero map with a nonzero dressing witness	Passed
B5	Fixed- $ε$ estimates only	Sharp limit unopened
Quantum metric	Action and contraction domain absent	Successor only