Manuscript XVI-H@1 · XVI-H.tex · bibliography · af895076
References
Genuine remaining obligations and final statement · lines 1902–2028
XVIHvThree
Landmark XVI-H.
Supplied historical baseline XVI-H-v3.tex,
“Full-kernel construction, free-shell admission, and the first
quantum contraction.”
Locators:
prop:monomials, prop:Chom,
thm:Opol, thm:trep,
prop:estimate, and prop:switch.
Its reproduced XII-D kernel inputs and XI-G switch interfaces
are made explicit in the present revision.
Its open witness-compatibility verdict is superseded.
XVIA
Landmark XVI-A.
Supplied revised XVI-A.tex.
Used for normalization/sign separation, conditional free-shell
class transfer, and the independent retarded-slot obligations.
XVIB
Landmark XVI-B.
Supplied revised XVI-B.tex.
Source-level locators:
prop:trace, prop:pair,
eq:JDeval, and cor:tf.
Class-transfer locator:
prop:transfer.
Historical later-sheet status summaries are not used as current
witness compatibility verdicts.
XVID
Landmark XVI-D.
Supplied revised XVI-D.tex,
“Prepared witness response and completion domains.”
Locators:
lem:uniqueness, lem:realB,
lem:BC, lem:identify,
lem:scalar, and lem:Xcand.
Used for smooth zero-data uniqueness, response polarization,
and witness-response identification.
XVIErev
Landmark XVI-E.
Supplied revised XVI-E.tex,
“Polarized root representation and witness-level completion
compatibility.”
Locators:
eq:TD, lem:TD, lem:TC,
prop:root-compatibility,
thm:compatibility, and
eq:compatibility-chain.
Used for exact matching of polarization conventions and the
consolidated witness compatibility theorem.
XVIFrev
Landmark XVI-F.
Supplied revised XVI-F.tex,
“Auxiliary/root compatibility and direct witness completion.”
Locators:
eq:TD, lem:polarized-root,
prop:ER, prop:Icand,
prop:compat, thm:compatibility, and
cor:family-pointwise.
This revision, rather than a superseded XVI-F residual stop,
is the current auxiliary/root and direct-completion reference.
XVIG
Landmark XVI-G.
Supplied current XVI-G.tex,
“Frequency-dependent witness testing and resonant asymptotics.”
Locators:
prop:import, eq:pointwise,
eq:family-pointwise,
prop:kernel-slot, prop:semi,
prop:fixeddecay, prop:bounded,
prop:slow, prop:remainder, and
prop:resonant.
Used for pointwise compatibility, the smooth density
, and the delimited scalar estimates and resonant
evaluations. No full-kernel admission theorem is imported from
that manuscript.
XIID
Manuscript XII-D, version 1.
Supplied identifier e3e3f67d.
Reported locators:
eq:source-input,
eq:source-coefficients,
thm:response,
eq:completion-legs,
eq:Aone,
def:completed,
thm:root,
eq:root-identity,
lem:root-kernel,
eq:B-kernel,
eq:t-kernel, and
eq:t-bounds.
Used through the interfaces reproduced in the supplied
XVI-H-v3 and revised XVI-D/E/F.
The complete source is not independently audited here.
XIIE
Manuscript XII-E, version 1.
Supplied identifier 26f86eb3.
Reported locator:
input:XIID, “XII-D: the six handed objects.”
Its reported kernel/admission handoff retains its own
admissibility sheet and hypotheses; it is not used here as
a fully reproduced admission premise.
XIG
Manuscript XI-G, version 1.
Supplied identifier 3cae2be9.
Reported locators:
def:domain, def:class,
eq:Ecaus, lem:spcompact,
lem:kernel, thm:criterion, and
thm:obstruction.
The switch and slot identities are used through their
reproduction in XVI-H-v3.
The criterion and frozen obstruction retain their complete
hypotheses. No full-source sign or domain audit is asserted.