Manuscript XV-A@1 · XV-A.tex · bibliography · f53f3515

References

Audit theorem and recommended successor › Final release sentence · lines 1837–1981

Back to manuscript

record

Supplied coverage account and proposed XV-A crosswalk. Retrieval corpus identifier 3883b893, retrieval 3. The account reports selected relationships and explicitly disclaims a complete corpus scan and independent verification. Used here only as supplied documentary evidence.

XA

Manuscript X-A, version 1. X-A.tex, identifier 31fc6ad1. Abstract, lines 112–147. Locator and scope account supplied; complete text not supplied.

XB

Manuscript X-B, version 3. X-B-v3.tex, identifier 103c6c32. “Field content before any gate,” lines 202–236. Locator and scope account supplied; complete text not supplied.

XC

Manuscript X-C, version 3. X-C-v3.tex, identifier 9dc463c0. “Frozen sheet and C1: the copied second vertex,” lines 488–587. Locator and scope account supplied; complete text not supplied.

XD

Manuscript X-D, version 3. X-D-v3.tex, identifier d0aeb7af. “Fixed-input X-D release,” lines 1445–1478. Locator and scope account supplied; complete text not supplied.

XE

Manuscript X-E, version 1. X-E.tex, identifier 0eb14066. “Release and the three endings,” lines 201–230. Locator and scope account supplied; complete text not supplied.

XF

Manuscript X-F, version 1. X-F.tex, identifier 4c1ccd1e. “F6: VII-C audit with three trees,” lines 1269–1318. Locator and scope account supplied; complete text not supplied. The coupling-order sentence in the proposed outline is truncated.

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. The release theorem at lines 1847–1895 is separately located in the supplied account.

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.

Iamp

Manuscript XIV-I, version 1. Theorem thm:I2, “The internal amplitude gate is Constructed,” and adjacent precomposition formulas and proposition, lines 1288–1378. Direct excerpt supplied; the final adjacent proposition excerpt is partial.

Ijoint

Manuscript XIV-I, version 1. Joint-map interface, Proposition prop:canonical, and Theorem thm:I3, lines 1459–1548. Direct excerpt supplied; the ending of the reproduced proof is partial.

Irelease

Manuscript XIV-I, version 1. Theorem thm:release, “XIV-I mathematical release,” lines 1729–1814. 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.

Jconditional

Manuscript XIV-J, version 1. Theorem thm:conditionalextension, “Conditional supported realization,” lines 1427–1470. Direct excerpt supplied. XV-A states the support condition explicitly in its independent normal-jet formulation.

Jverdict

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

Jadmission

Manuscript XIV-J, version 1. Corollary cor:noadmission, “No quantum admission in this release,” lines 1808–1822. Direct excerpt supplied. The admission-interface passage is located at lines 1794–1807 in the supplied account.

Jrelease

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

Nearby in this section