Manuscript XII-B@1 · XII-B.tex · section · 229bc869
The required sentences and their actual status
B0: audit of the supplied XII-A handoff › The required sentences and their actual status · lines 322–367
The production specification requires the following handoff. We distinguish requirements from statements actually supplied.
| Required XII-A statement | Supplied status | |
|---|---|---|
| H1 | The cubic model is changed before response formation, with a specified ramped density and its actual Euler source. | Not supplied. XII-A retains the frozen XI-F/XI-G cubic functional. |
| H2 | The inverse remains , with no X-track rescaling. | Supplied at the free normalization level. |
| H3 | The changed cubic Noether identity and all ramp-derivative terms are displayed. | Not supplied for a changed cubic density. |
| H4 | The new map is not identified with the X-track source-switched mixed map. | No new cubic map is defined, so the required changed-model comparison is not supplied. |
| H5 | The effect, if any, of the changed density on the fixed-input coupled jet is stated and justified. | Not supplied. A disclaimer of jet repair is not a calculation for a new action. |
In particular, XII-A's exclusion section identifies its as the frozen XI-F/XI-G functional. It does not replace that functional by a density-ramped one. Its declarations and proof ledger do not contain a changed cubic Noether theorem.
The normalization requirement H2 passes. The conjunction H1–H5 does not.