Manuscript XVI-M@1 · XVI-M.tex · section · 7346c909

Frozen XVI-L dependency

M.0 Dependency, normalization, gates, and target ledger › Frozen XVI-L dependency · lines 187–209

Back to manuscript

XVI-L.tex and XVI-L-artifacts/ are a frozen dependency: they are cited and read, not edited. XVI-K-artifacts/hessian_full_out.txt is likewise frozen. The following items are imported as stated in XVI-L.

  1. Printed cubic density (XVI-L, eq:L-ell3; XII-C, eq:ell3).

  2. Complete weighted source (XVI-L, eq:L-JD).

  3. Full cubic Hessian (XVI-K, prop:hess, eq:Lpq).

  4. Metric-dual contraction on .

  5. Ambient numerical span , (XVI-L, def:VL).

  6. Selected extension with (XVI-L, def:RL, prop:RL).

  7. Coherent contact freedom (XVI-L, thm:L5); raw counts “are not dimensions”.

  8. Subtraction-scale family and generator (XVI-L, thm:L6); explicit nonzero scaling residue Unresolved there.

  9. Conditional root attachment under (R1)–(R3) (XVI-L, thm:L7).

versus new results. XVI-M does not alter any release claim of XVI-L: L-A/L-C remain as constructed there, L-B remains as stated there, and L-D remains not claimed. The new statements below are results about the objects of XVI-L (its admissible span, its contact freedom, its graph coefficients). They strengthen knowledge of the span without retroactively rewriting XVI-L. In particular, the graded presentation of M.2 is a new result resting on an explicitly checked kernel identification (Gate S-bv, now certified by Theorem thm:wpA-Sbv); it is not a correction of XVI-L, Theorem thm:L5.