Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d
Patch gates and their corrected interpretation
Scope, evidence, and the stop rule › Patch gates and their corrected interpretation · lines 408–465
The proposed gates are retained, with the distinction between documentary completion and frozen-object identification made explicit.
| Gate | Content | Pass condition and limitation |
|---|---|---|
| P0 | Four patch ledgers | Every owned request is disposed of as a source definition, patch convention, parameterized formula, refusal, or explicit open datum. An open datum is not relabelled “defines.” |
| P1 | Residual codomain | The residual species is named. A distribution-valued bundle codomain is an object only after its fiber and pairing have been specified. Naming the species alone is a limited pass. |
| P2 | Correction roles | The contact syntax is displayed. The actual graph operator, weight, and spectator remain unidentified unless their parameters are supplied. A template is not an exhaustive parametrization of the frozen class. |
| P3 | Amplitude module | Generators, chart-function coefficients, reconstruction, and inherited coefficient seminorms are transcribed. The local module is distinguished from the complete graph presentation space. |
| P4 | Joint-map clauses | The target, all five clauses, the grouped blocks, the test-support clause, and the stress convention are displayed. No map satisfying those clauses is thereby constructed. |
Under the original stronger reading of P0, every owned core slot would have to be an actual definition or a genuine source refusal. That stronger pass is not established: residual output fibers and frozen graph coefficients are not supplied by the permitted texts. The present P0 is a completed audit, not an assertion that those missing objects have appeared.
The stop rule is accordingly exact. When a completion would require a non-input or an unidentified parameter, the patch stops at that item. It may display the dependence on the missing parameter, but it may not choose the parameter and call the choice inherited. No analytic gate is opened by this documentary work.