Manuscript XIII-B@1 · XIII-B.tex · section · b8a5c0f5
The conditional admission statement
B3b: the joint two-line extension › The conditional admission statement · lines 1044–1074
The hypotheses of this theorem have not been jointly proved. It is deliberately conditional.
| Failure mode | Verdict warranted |
|---|---|
| Product failure | A sufficient wavefront condition fails and no extension is constructed: Unresolved. |
| Carrier failure | An extension exists but admission is not established: Unresolved, unless every allowed extension is proved inadmissible. |
| Normalization failure | Every allowed extension violates a named overlap or causal normalization: Proved obstructed, if that universal statement is actually proved. |
For the corrected binary problem, the release at this gate is Unresolved. The literal factorization error was separately Proved obstructed in Theorem thm:literal; it is not relabelled as an obstruction to every corrected extension.