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

Gates and the stop rule

Purpose, scope, and outcomes › Gates and the stop rule · lines 214–245

We use five descriptive gates for this manuscript.

Gate	Content
D0	Source-complete data package: every operator, space, class, and bound needed to specify the full operation and its allowed corrections is defined in the record.
D1	Definition of a preliminary full lift $F_{0} : P_{int} \to D^{'} (W; E_{res})$ with $r_{O} F_{0} = m^{\circ} Rec$ .
D2	Evaluation of the null defect $d_{0} = F_{0} ∣_{k e r Rec}$ and of its class relative to the inherited correction space.
D3	Coefficient estimates for the actual $v_{α}$ , $c_{D, β}$ , and the characteristic compositions of $K_{47}$ and both $K_{5}$ placements.
D4	Complete-graph microlocal and uniform estimates, output operations, and admission.

D0 stop rule. If any definition needed to specify the full operation or its allowed corrections is unavailable, this is stated plainly; D1–D4 are then not entered for the actual graph, and no graph-specific construction, obstruction, or null-defect value is claimed. XV-D may then be a source audit together with any local calculation that is source-complete.