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
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.
Printed cubic density (XVI-L, eq:L-ell3; XII-C, eq:ell3).
Complete weighted source (XVI-L, eq:L-JD).
Full cubic Hessian (XVI-K, prop:hess, eq:Lpq).
Metric-dual contraction on .
Ambient numerical span , (XVI-L, def:VL).
Selected extension with (XVI-L, def:RL, prop:RL).
Coherent contact freedom (XVI-L, thm:L5); raw counts “are not dimensions”.
Subtraction-scale family and generator (XVI-L, thm:L6); explicit nonzero scaling residue Unresolved there.
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.