Manuscript XV-E@1 · XV-E.tex · section · a3dc45f5

Full-graph verdict

Verdict and release › Full-graph verdict · lines 1122–1140

XV-E@1#eq:verdict

Unresolved at E0: source recovery incomplete; D0 still fails. Four candidate identifications recorded, none supplied. Gates E1-E4 not entered for the actual graph.

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

Displayed formulas in this passage

XV-E@1#eq:verdict · line 1124
$Unresolved at E0: source recovery incomplete; D0 still fails. Four candidate identifications recorded, none supplied. Gates E1-E4 not entered for the actual graph.$