E4: the conditional endpoint, not applied

E4: the conditional endpoint, not applied · lines 1096–1102

No joint pushforward is performed at this gate because E1–E3 are unfinished. The following lemma identifies one useful sufficient wavefront input for a future endpoint proof.

Nearby in this section

lemma: Lemma: Relative-coordinate balance
section: E4: the conditional endpoint, not applied
scope: E4 status