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.

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 the unrestricted contact-valued criterion.

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 finite normal-jet null criterion, the collected coefficients, the exact extension criterion, and the supported realization theorem.

Hkernel

Manuscript XIV-H, version 1. XIV-H.tex, identifier 05d90ea1. Proposition prop:K5exact, lines 1135–1202. Direct excerpt supplied.

Hverdict

Manuscript XIV-H, version 1. Theorem thm:H2, lines 1539–1582; Theorem thm:release, lines 1847–1895. Direct excerpts supplied. The maps eq:K8reduced and eq:K9 are named, not reproduced.

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; Definition def:amodule is named, not reproduced.

Ijoint

Manuscript XIV-I, version 1. Joint-map interface, Proposition prop:canonical, Theorem thm:I3, lines 1459–1548. Direct excerpt supplied; eq:target and def:class are named, not reproduced.

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; Lemma lem:traces and the formulas of $v_{\alpha }$, $c_{D,\beta }$ are named, not reproduced.

Jconditional

Manuscript XIV-J, version 1. Theorem thm:conditionalextension, lines 1427–1470. Direct excerpt supplied; Lemma lem:insertWF and the operator $\mathcal{L}$ are named, not reproduced.

Jverdict

Manuscript XIV-J, version 1. Theorem thm:J2, lines 1608–1649. Direct excerpt supplied; Definition def:mapclass is named, not reproduced.

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; eq:Rconvention, $Q_H$, and ${\mathcal{E}}_H$ are named, not reproduced.

Grelease

Manuscript XIV-G, version 1. XIV-G.tex, identifier 4fcac266. Theorem thm:release, lines 1710–1751. Excerpt supplied in the retrieval account. Used only for the stated dimensions of $W$ and $N={\mathcal{N}}_{\mathrm{att}}$.

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.