Manuscript XV-C@1 · XV-C.tex · bibliography · 5afd124d

References

Exact release and successor requirement › Final release sentence · lines 1559–1666

Back to manuscript

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.

Nearby in this section