Manuscript I@2 · I.tex · scope · 85631fa7
External physical and analytic boundaries
After Enter: records, instruments, decoders, and cutoffs › D4: the boundary of primitive uniqueness · lines 2507–2525
physical and analytic boundaries{ The supplied Em03-C source record distinguishes exterior finite-mode tests from interior partner constructions and explicitly does not resolve horizon smoothness or the firewall question CheungEm03C. The finite key-transfer model Em03-E supplies a specified channel and recovery analysis, not a microscopic horizon derivation CheungEm03E.
The supplied XIV-I record constructs its named internal amplitude
at I2 but leaves the joint characteristic operator map unresolved
at I3; its release does not admit the separate quantum coefficient
CheungXIVI (theorems :I2,
:I3, and :release).
These are documentary boundaries, not premises here.
Nothing in the present calculus discharges XV-B, XVI-N, or O.1.
No theorem is attributed to an unavailable companion excerpt, and
an unconstructed object is not thereby proved nonexistent.}