Manuscript XIII-B@1 · XIII-B.tex · section · b8a5c0f5
Prerequisite sheet and convention audit
Prerequisite sheet and convention audit · lines 353–387
| Manuscript | Sentence or construction used |
|---|---|
| XIII-A | Evaluation-only cancellation, failure of the restriction ideal, and failure of universal ordering preservation. |
| XII-F | The copied negative witness and the scope of the auxiliary remainder. |
| XII-E | Assembly with coefficient , admission of the complete displayed coefficient, and its explicit completion formulas. |
| XII-D | The inherited first-completion roots and causal plateau proposition. |
| XII-A-v2 | The polynomial product, causal brackets, full-shell quotient, and admissible ordering class. |
| XII-C | Boundary only: the Einstein–Hilbert action remains present and the named empty invariant jet is not an interaction entry. |
XI-B is used only for the inverse normalization and free symbol rule. X-G, VII–IX, and Landmark I are not inputs. Standard wave and distribution calculus are identified separately from manuscript handoffs.