Theorem: F0 reassessed

Under the original F0 rule, with the stop rule of sec:scope:

1. Q1 is discharged by Convention def:Eres, offered as the frozen choice (Proposition prop:Q1).

2. Q2 fails at $K_{47}$ (Proposition prop:Q2); this fixes the verdict.

3. Q3 and Q4 are open at their first items (Propositions prop:Q3, prop:roles); Q5 is documentary and leaves D0.8 open (Proposition prop:list).

4. Even if (ii)–(iii) were closed, the carried items D0.10, D0.11, D0.12, D0.16 of the patch would remain open.

Hence the graph-level outcome is Unresolved at F0. No preliminary lift $F_0$ is stated, no obligation $r_O{F}_0=m^{\circ }\mathsf{Rec}$ is asserted, F1 is not entered, and no null-defect test, characteristic prescription, or admission of $Q_H{R}_1^{(1)}\in {\mathcal{E}}_H$ is made.

Proof. Each item cites the proposition that establishes it. The absence of a presentation space for $K_{47}$ is a statement about the record and not an analytic obstruction; the ending “Obstructed” is not warranted, and “Lift defined” is excluded by (ii).