Manuscript XV-A@1 · XV-A.tex · bibliography · f53f3515
References
Audit theorem and recommended successor › Final release sentence · lines 1837–1981
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.