Manuscript XV-C@1 · XV-C.tex · section · 5afd124d
The source-completeness gate
The source-completeness gate · lines 425–458
| Item | What is supplied | What remains unspecified |
|---|---|---|
| F1 | Abstract reconstruction interfaces and one explicit null identity | Actual full presentation module, its complete relations, and inherited topology. |
| F2 | Names of the domains and loci; internal variables | Defining equations and complete microlocally admissible domain. |
| F3 | Selected internal kernels and the existence of a canonical-domain representation | Explicit grouped cross-lines, full mixed vertex contraction, and complete normalization data. |
| F4 | An abstract relative-lifting theorem and reported inherited ambiguity restrictions | The actual exhaustive correction class and its parametrization. |
| F5 | A partial supported-sector wavefront bound and an unasserted admission line | Full graph target cone, uniform estimates, output definitions, , and . |