Gates F1–F4 for the actual graph

F1: no $F_0$ is definable (Proposition prop:F0); the composition rule $m^{\circ }$ is paraphrased only. F2: $\ker \mathsf{Rec}$ depends on the coefficient class and module action (Lemma lem:recrule); one relation is known (D0.4); $d_0$ is not an evaluable object; the form of the test is Proposition prop:conditional. F3: no actual $v_{\alpha }$, $c_{D,\beta }$ (D0.18); XV-E's Proposition prop:erratum is the first estimate to check; the characteristic compositions of $K_{47}$ and both $K_5$ placements require a composition theorem not in the record; the covector pattern of ${\mathcal{C}}_{\mathrm{cross}}$ (Lemma lem:cross) and the chart forms of Proposition prop:K5chart are the only microlocal data in the record. F4: the equations of $W$, $N$, $S_{\mathrm{resp}}$ (candidate only), and the lift of the collision strata are not in the record; no complete-graph bound, output operation beyond (eq:Rconv), or admission (eq:admission) is addressed.