Manuscript XV-C@1 · XV-C.tex · bibliography · 5afd124d
References
Exact release and successor requirement › Final release sentence · lines 1559–1666
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 in the present record.
Its earlier downstream numbering convention is distinguished from
the technical-continuation convention used here.
XVB
Manuscript XV-B, supplied XV-B-va.tex.
Relative Lifting and Reconstruction Descent for the Full Joint
Characteristic Target.
Full text supplied in the present record.
Used for the abstract relative-lifting theorem, supported normal-jet
interface, and explicit application boundary.
Hkernel
Manuscript XIV-H, version 1.
XIV-H.tex, identifier 05d90ea1.
Proposition prop:K5exact,
“Exact two-placement kernel formula,” lines 1135–1202.
Direct excerpt supplied.
Hverdict
Manuscript XIV-H, version 1.
Theorem thm:H2,
“Exact H2 verdict,” lines 1539–1582.
Direct excerpt supplied.
Historical internal-amplitude stop subsequently addressed by XIV-I.
Ipole
Manuscript XIV-I, version 1.
XIV-I.tex, identifier 13365486.
Proposition prop:pole,
“Exact pole decomposition and chart matching,”
lines 726–826.
Direct excerpt supplied.
Iamplitude
Manuscript XIV-I, version 1.
Theorem thm:I2,
“The internal amplitude gate is Constructed,”
and adjacent precomposition formulas, lines 1288–1378.
Direct excerpt supplied.
The adjacent precomposition proposition is reproduced partially.
Ijoint
Manuscript XIV-I, version 1.
Joint-map interface, Proposition prop:canonical, and
Theorem thm:I3, lines 1459–1548.
Direct excerpt supplied.
Jdescent
Manuscript XIV-J, version 1.
XIV-J.tex, identifier 3c48e041.
Proposition prop:descent,
“Descent criterion for a coefficient-level construction,”
lines 813–846.
Direct excerpt supplied.
Jnull
Manuscript XIV-J, version 1.
Lemma lem:null,
“A normal identity invisible to polynomial-degree bookkeeping,”
lines 853–883.
Direct excerpt supplied.
Jreference
Manuscript XIV-J, version 1.
Theorem thm:reference,
“Supported-sector reference distribution,”
lines 1215–1299.
Direct excerpt supplied.
Used only on its stated off-characteristic domain.
Jconditional
Manuscript XIV-J, version 1.
Theorem thm:conditionalextension,
“Conditional supported realization,”
lines 1427–1470.
Direct excerpt supplied.
The local formulation in this manuscript retains an explicit
response-support condition.
Jverdict
Manuscript XIV-J, version 1.
Theorem thm:J2,
“Exact J2 verdict,” lines 1608–1649.
Direct excerpt supplied.
Jrelease
Manuscript XIV-J, version 1.
Theorem thm:release,
“XIV-J mathematical release,” lines 1894–1939.
Direct excerpt supplied.
The predecessor exit language uses the earlier downstream
numbering convention.
Jadmission
Manuscript XIV-J, version 1.
Corollary cor:noadmission,
“No quantum admission in this release,”
lines 1808–1822.
Direct excerpt supplied.