References

XVA

Manuscript XV-A, supplied XV-A-va.tex. A Model-and-Domain Audit of the Ramp, Graviton, and Joint-Extension Tracks. Full text supplied. Used for the domain-sensitive transfer criterion.

XVB

Manuscript XV-B, supplied XV-B-va.tex. Relative Lifting and Reconstruction Descent for the Full Joint Characteristic Target. Full text supplied. Used for the linear interface, the relative-lifting criterion, the contact-support test, and Proposition prop:nonextendable.

XVC

Manuscript XV-C, supplied XV-C-va.tex. The Full Joint Characteristic Target: Verified Reconstruction Tests and the Instantiation Boundary. Full text supplied. Used for the extension criterion, Proposition prop:failure, and the supported realization theorem.

XVD

Manuscript XV-D, supplied XV-D-va.tex. Instantiating the Frozen Joint Graph: Source Recovery, the Null Defect of Extension Lifts, and the Boundary of the First Full Calculation. Full text supplied. Used for Definition D0.1–D0.20, the punctured normal-jet module, Theorems thm:kernels and thm:defect, Proposition prop:example, and Proposition prop:reduction, the last corrected here.

Hkernel

Manuscript XIV-H, version 1. XIV-H.tex, identifier 05d90ea1. Proposition prop:K5exact, lines 1135–1202. Direct excerpt supplied; eq:L is cited there and not reproduced.

Hverdict

Manuscript XIV-H, version 1. Theorem thm:H2, lines 1539–1582; Theorem thm:release, lines 1847–1895. Direct excerpts supplied.

Ipole

Manuscript XIV-I, version 1. XIV-I.tex, identifier 13365486. Proposition prop:pole, lines 726–826. Direct excerpt supplied.

Iamplitude

Manuscript XIV-I, version 1. Theorem thm:I2 and adjacent precomposition formulas, lines 1288–1378. Direct excerpt supplied.

Ijoint

Manuscript XIV-I, version 1. Proposition prop:canonical, Theorem thm:I3, lines 1459–1548. Direct excerpt supplied.

Irelease

Manuscript XIV-I, version 1. Theorem thm:release, lines 1729–1814. Direct excerpt supplied.

Jdescent

Manuscript XIV-J, version 1. XIV-J.tex, identifier 3c48e041. Proposition prop:descent, lines 813–846. Direct excerpt supplied.

Jnull

Manuscript XIV-J, version 1. Lemma lem:null, lines 853–883. Direct excerpt supplied.

Jreference

Manuscript XIV-J, version 1. Theorem thm:reference, lines 1215–1299. Direct excerpt supplied; $v_{\alpha }$, $c_{D,\beta }$ not defined there.

Jconditional

Manuscript XIV-J, version 1. Theorem thm:conditionalextension, lines 1427–1470. Direct excerpt supplied.

Jverdict

Manuscript XIV-J, version 1. Theorem thm:J2, lines 1608–1649. Direct excerpt supplied.

Jrelease

Manuscript XIV-J, version 1. Theorem thm:release, lines 1894–1939. Direct excerpt supplied.

Jadmission

Manuscript XIV-J, version 1. Corollary cor:noadmission, lines 1808–1822, and admission-interface passage, lines 1794–1807. Direct excerpts supplied.

Crelease

Manuscript XIV-C, version 1. XIV-C.tex, identifier 97aa7215. Theorem thm:release, lines 1307–1340. Excerpt supplied in the retrieval account. Used only for the named codimension-four stratum.

Grelease

Manuscript XIV-G, version 1. XIV-G.tex, identifier 4fcac266. Theorem thm:release, lines 1710–1751. Excerpt supplied. Used only for the dimensions of $W$ and $N$.

XIIA

Manuscript XII-A, version 2. XII-A-v2.tex, identifier acb05c0f. “Named composites and their formal sector,” lines 969–1059. Excerpt supplied. Source of the candidate formulas (eq:XIIA); no identification with XIV-H symbols is supplied.

XIID

Manuscript XII-D, version 1. XII-D.tex, identifier e3e3f67d. “The first root and its transpose,” lines 571–611. Excerpt supplied. Source of the sign relation ${G^{\mathrm{R}}}_{\mathrm{gr}}=-\mathfrak{P}{E}_0^{\mathrm{R}}$ on the XII sheet.

record

Supplied coverage account, retrieval corpus identifier 3883b893, retrieval 3. Explicitly disclaims a complete corpus scan and independent verification. Used only as documentary context and for reported codimension bookkeeping.