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

Full-graph verdict

Verdict and release › Full-graph verdict · lines 2286–2314

XV-F@3#eq:verdict

Unresolved at F0: core source package incomplete. Pass 5: one identification (adapted chart), three refusals (U_{can}), four candidate displays (a, f, a_{2}, T_{0}). Still unreproduced: generators/coefficient class of A^{m} (V); E_{res}; m^{\circ}; blocks of C_{cross}; T^{μν} normalization; A, σ_{ε}, f, a ˙_{2}, D; q_{α β}, P, b, g, E^{A}_{m}; candidate class; presentation-level A; lift of Δ_{I}; seven candidates. Gates F1-F4 not entered for the actual graph.

This is justified by Propositions prop:reduction, prop:classstatus, prop:checks, and prop:F0. It continues the J2, B1, C0, D0, and E0 stops Jverdict,XVB,XVC,XVD,XVE. It is neither an obstruction nor a construction. The admission (eq:admission) is unasserted; “not admitted” is not “nonexistent” Jadmission.

Displayed formulas in this passage

XV-F@3#eq:verdict · line 2288
$Unresolved at F0: core source package incomplete. Pass 5: one identification (adapted chart), three refusals (U_{can}), four candidate displays (a, f, a_{2}, T_{0}). Still unreproduced: generators/coefficient class of A^{m} (V); E_{res}; m^{\circ}; blocks of C_{cross}; T^{μν} normalization; A, σ_{ε}, f, a ˙_{2}, D; q_{α β}, P, b, g, E^{A}_{m}; candidate class; presentation-level A; lift of Δ_{I}; seven candidates. Gates F1-F4 not entered for the actual graph.$