Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

Gates and stop rule

Purpose, scope, and outcomes › Gates and stop rule · lines 242–272

Gate	Content
F0	Lift-ready source package: the core items of XV-D's Definition D0.1–D0.20 XVD (Definition def:core) are reproduced in the record and mutually consistent.
F1	Definition of $F_{0} : P_{int} \to D^{'} (W; E_{res})$ on the actual presentation space with $r_{O} F_{0} = m^{\circ} Rec$ proved on the source-defined domain $O$ .
F2	Determination of $ker Rec$ ; evaluation of $d_{0} = F_{0} ∣_{k e r Rec}$ ; cancellation or exhaustive noncancellation in the actual class $A$ .
F3	Supported-sector estimates for the actual $v_{α}$ , $c_{D, β}$ ; characteristic compositions of $K_{47}$ and both $K_{5}$ placements.
F4	Complete-graph estimates, output operations, admission.

F0 stop rule. If a core item remains unavailable, this is said plainly; F1–F4 are not entered for the actual graph; no graph formula with placeholders is written and called a lift. The split into core and downstream items is descriptive and does not redefine XV-D's D0 or XV-E's E0.