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

E0 verdict

Source recovery (Gate E0) › E0 verdict · lines 430–439

E0: source recovery incomplete; D0 still fails.

Gates E1–E4 are not entered for the actual graph. Section sec:branches records the freeze; Sections sec:jet and sec:erratum contain the source-complete calculations.

Displayed formulas in this passage

unlabeled · line 432
$E0: source recovery incomplete; D0 still fails.$

Nearby in this section

proposition: Proposition: E0 fails