Model specification: Dynamics obligations D1–D6

A later theorem must discharge the following.

1. Independent geometry and stress-energy rules. Supply the geometric derivative data missing from the affine cone, and the source data missing from the process interface. Prove their interpretation and covariance. A numerical function of $W_e$, ${\Delta }_e$, or a residual state is not stress-energy merely by its name. Do not define the source as the comparator output solely to force matching.

2. Matching or a correctly scoped obstruction. Prove the actual residual identity on the declared nonempty domain, or supply a witness satisfying Definition def:countermodel. Distinguish failure of a selected rule from infeasibility of every element of a fixed ansatz. Neither is automatically a universal obstruction to future additional structure.

3. Scale, coupling, frame, and units. Retain the conformal ambiguity and the separate coupling. Fix any calibration before applying the comparison, with its assumed or derived status. Do not use a per-datum fitted normalization to conceal a tensor or conservation defect. No numerical invariant physical speed follows from this step.

4. Carrier, derivative, and interface compatibility. Prove every claimed extension, locality, reconstruction, derivative limit, field integrability, and conservation property. Finite-dimensional jets are not a continuum field equation. Complete-channel allowances become source or geometric allowances only through actual bounded readout and reconstruction theorems or appropriately controlled unbounded interfaces.

5. Failure tests and scope retention. Retain the transport tests of XXII-D and the additional flatness, conformal, energy, conservation, coverage, derivative, and perturbative-order tests proved here. Repair a violated test under stated extra premises or restrict the claim accordingly.

6. Classical and documentary comparisons only. Keep prescribed Einstein–scalar jets, metric-valued inverse responses, conical packets, and classical lapse records separate from operational derivation. No theorem transfers solely because the constructions share notation, a continuation label, or a documentary relation.