Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
The individual outputs
F3: construction of the three two-edge distributions › The individual outputs · lines 1003–1016
The following failure language remains in force:
Failure of a sufficient wavefront criterion means that proof route fails.
An unestablished regulated limit is unresolved.
Failure of one extension excludes that extension.
Nonexistence requires a separate argument.
Failure of one graph prescription is not, by itself, incompatibility with all copied interfaces.