Manuscript XIII-B@1 · XIII-B.tex · section · b8a5c0f5
B6: decision and the exact successor package
B6: decision and the exact successor package · lines 1334–1369
| Gate | Ending | Exact scope |
|---|---|---|
| B0 | Recorded | Evaluation-only reading; unchanged carrier; no restriction quotient. |
| B1 | Constructed | The interaction functional is compact microcausal, even, and ghost-number zero. |
| B2 | Frozen, with a proved correction | The retarded convention and total-diagonal ambiguity class are declared. The literal retarded-factorization equality is incompatible. |
| B3, tree | Constructed | One-line joint composition, properness, compactness, admission, and branchwise root overlap. |
| B3, quantum | Unresolved | The two-line joint extension and internal-collision compatibility are not supplied by local-entry existence. |
| B4 | Constructed at tree order | Retarded attachment support and explicit zero-evaluation subclasses; no whole-subclass vanishing claim. |
| B5 | Displayed | The two entry differentials, with surviving ramp and switch terms; no binary gauge-consistency assertion. |
| Completion and master equation | Closed | No completed observable, interacting differential, or sharp limit. |