Manuscript XV-F-patch@1 · XV-F-patch.tex · bibliography · 6d6ef16d
References
Declarations · lines 2605–2679
XIVG
N. Cheung,
Landmark XIV-G: Operator and pullback composition of the
regrouped retained germ.
Supplied full text XIV-G.tex.
Used for the common space and selected locus, residual-test typing,
source differential-operator statement, testing limitation,
copied fixed product convention, and G2 release.
Reported registration: version 1; thm:release,
lines 1710–1751.
XIIIC
N. Cheung,
Landmark XIII-C: The joint two-line extension of one selected
binary pair, on the unchanged carrier.
Supplied full text XIII-C.tex.
Used for collision sets, the partial-diagonal contact class,
its support and order qualifications, the displayed vertex and
stress, retained residual slots, and the time-ordered line convention.
Reported registration: version 1; collision definition,
lines 338–349; def:Cpart,
lines 358–392; eq:vertex,
lines 416–421.
XIVI
N. Cheung,
Landmark XIV-I: Uniform internal retarded amplitudes at the
diagonal–flow-out transition.
Supplied full text XIV-I.tex.
Used for the actual adapted charts, amplitude generators,
, coefficient class, reconstruction,
coefficient seminorms, copied internal kernels and response displays,
canonical-domain representation, and I3 stop.
Reported registration: version 1; adapted-chart passage,
lines 828–855; def:amodule,
lines 873–901; prop:canonical within
lines 1459–1548, with the refusal reported at
lines 1492–1496.
XIVJ
N. Cheung,
Landmark XIV-J: The joint characteristic map on the unchanged
carrier.
Supplied full text XIV-J.tex.
Used for the displayed target, all five joint-map clauses,
common reconstructed-kernel interface, global descent criterion,
null presentation, grouped time-ordered block notation,
mixed-Hessian pointer, supported-sector scope, J2 stop,
and absence of quantum admission.
Reported registration: version 1; eq:target,
lines 719–730; def:mapclass,
lines 732–762; prop:descent,
lines 813–846; lem:null,
lines 853–883; grouped-block passage,
lines 1112–1116; thm:J2,
lines 1608–1649; thm:release,
lines 1894–1939.
XVF
XV-F source manifest and release record.
Supplied document XV-F-vav3.md.
Used as the record being patched, especially Definition
def:core, Proposition prop:F0,
the status ledger, correction-class distinction,
three reported canonical-domain refusals, and the successor
requirements.
The accompanying account reports a registration named
XV-F-v3.tex, with prop:F0 at
lines 1568–1601. This patch does not claim byte identity or
independent verification of that missing registered source.