Manuscript XV-F-patch-ii@1 · XV-F-patch-ii.tex · section · 9674ac67

Gates

Scope, gates, and the stop rule › Gates · lines 236–270

Gate	Object	Pass	Fail
Q1	Residual codomain	Frozen fiber, density, and test pairing specified	Another family $B_{res}$ of candidates
Q2	Presentation package	Six entries, their generators, module action, image topology; then $ker Rec$	The local chart module substituted for the common space; an entry without copied generators
Q3	Coefficient instantiation	Ingredients of the copied $K_{8}$ , $K_{9}$ (and of $L$ , $K_{5}$ , $K_{6}$ ) identified	Formulas copied with roles intact
Q4	Correction class	Actual $D_{Γ}$ , $w_{Γ}$ , $S_{Γ/ I}$ , and $A$ as maps	Contact template called frozen
Q5	Domain list	Products already proved on $O$ listed, or the absence stated	Complement equality reused

Stop rule, as applied. The F0 verdict is fixed by the first failing gate, in the order Q1–Q5. “Stop” means that F1 is not entered and that no later gate can change the verdict. The remaining patches are nevertheless executed, since the plan allocates them and since the successor needs the complete blocking list; their outcomes are recorded as documentary and cannot contribute to a pass.