Hawk02-A Controlled Interfaces for Black-Hole Evaporation: Backreaction, Pair Structure, and Residual-Leakage Certification

A microscopic derivation of black-hole evaporation must determine geometry, emission, and information transfer from stated dynamics. A fixed-background spectrum determines none of these three outputs jointly. This paper supplies a precise conditional interface rather than claiming the missing quantum-gravitational derivation. We prove a reference-preserving sequential error bound, an exact constant-complement recovery criterion, its quantitative information–disturbance consequences, and a stability theorem for residual-leakage certificates. We also construct two finite, energy-conserving emission models with identical late thermal states and energy distributions but different assisted recovery errors. A separate entropy inequality makes explicit the pair-state hypotheses relevant to small-corrections arguments. The semiclassical stress-energy problem, regulator removal, characteristic-product admission, and endpoint completion remain independent obligations. The supplied Cheung manuscripts are cited as versioned source records, not independently verified premises. No microscopic black-hole Hamiltonian, realistic endpoint, ultraviolet completion, spacetime-emergence theorem, or inherited quantum-coefficient admission is asserted.

The microscopic question is whether a stated quantum-gravitational model produces:

1. a time-dependent geometry and a controlled approximation to it;

2. the quantum emission process, including its state and renormalized stress-energy;

3. an input-dependent channel carrying an infalling code into accessible radiation, with every inaccessible output accounted for.

A computation of outgoing occupation numbers on a prescribed Schwarzschild exterior does not supply this triple.

Hawk01-A and Em03-A provide fixed-background source records. Hawk01-A additionally provides finite phenomenological completions whose radiation diagnostics agree while their assisted retrieval properties differ CheungHawk01A ({thm:source, thm:completion}) CheungEm03A ({thm:main}). These records motivate the interfaces below; they are not substituted for a backreacting microscopic calculation.

. The results proved here are finite-dimensional certification and nonidentifiability statements, together with a conditional mass-ledger estimate and an explicit pair-entropy bound. They are complete within their stated hypotheses. The physical construction needed to instantiate those hypotheses is not supplied.

The internal references identify manuscripts attributed to Cheung, N., by manuscript identifier and supplied version. The underlying documentary input is the user-supplied excerpt collection identified as corpus e4025dcf, retrieval-3. This is a retrieval identifier, not a verified archive manifest or a scan of the entire series. The companion identifies itself as a searchable source companion, not a proof checker.

Accordingly:

• an internal theorem label is a locator in a source record;

• a copied status statement is not an independent verification;

• a continuation, comparison, or source dependency is not automatically a formal premise;

• no omitted hypothesis is reconstructed from a similar-looking statement in another manuscript.

The proofs below restate their mathematical hypotheses explicitly. They do not require acceptance of an unprovided corpus proof.

The following distinctions are necessary for a coherent manuscript.

1. A mass ledger is not a metric theorem. The equation $\dot{M}=-P(M)$ is an energy-balance approximation until the geometry, state, source, and approximation remainder are independently controlled.

2. Classical input stability is not channel stability. The supplied Em06-B thm:input-stability bounds a named one-particle vector using classical test, metric-jet, and switch seminorms. Its displayed estimate is not a diamond-norm bound for an evaporation channel, nor the stated theorem itself an accessible-state distance estimate CheungEm06B ({thm:input-stability}).

3. Historical stops must be version-qualified. XIV-H stops at H2 in its own release. XIV-I constructs its explicitly named internal amplitude gate at I2, without constructing a single-Lagrangian symbol theorem or the joint characteristic map. The full graph remains unresolved at I3/J2. Thus a blanket statement that “nothing at H2/I2 has advanced” would contradict the supplied XIV-I release CheungXIVH ({thm:H2}) CheungXIVI ({thm:I2, thm:I3}) CheungXIVJ ({thm:J2}).

4. A named but unprovided certificate is not imported. Hawk01-B is mentioned in the proposed development, but its complete statement and normalization are not supplied. Definition def:leakage therefore fixes a leakage convention locally. Identification with any Hawk01-B convention requires a separate normalization check.

5. A late marginal is not the complete accessible channel. Identical channels to late radiation alone can coexist with different channels to late radiation together with an early assisting resource. They cannot be described as different minimal complements of one identical complete accessible channel.

6. No construction is not a nonexistence theorem. An unresolved characteristic composition, endpoint, or transfer law does not prove that every possible construction is impossible.

7. An interface paper is not the missing microscopic derivation. Completing the proofs in this paper does not manufacture dynamical equations absent from the input.

We use units $\hslash =c=k_{\mathrm{B}}=1$, retain $G$, and use Lorentzian signature $(-,+,+,+)$. A dot on a mass ledger denotes differentiation in the explicitly declared asymptotic time, normally Bondi retarded time $u$.

A finite evaporation interface consists of:

1. a code space ${\mathcal{H}}_C$ of dimension $d<\infty$;

2. an accessible output ${\mathcal{H}}_A$;

3. a residual output ${\mathcal{H}}_B$;

4. an isometry

   $$W:{\mathcal{H}}_C⟶{\mathcal{H}}_A\otimes {\mathcal{H}}_B.$$

All initial auxiliary states are fixed independently of the code. Every mixed auxiliary is purified, and its purifier is included in $A$ or $B$. The corresponding channels are

An arbitrary reference $Q$ is left untouched.

An early resource belongs to $A$ only if the recovery claim grants access to it. Its purification must not silently disappear from $B$. A regulator, detector environment, controller memory, fuel register, sector label, or endpoint remnant that remains inaccessible is part of $B$ whenever it participates in the dilation.

Definition def:completeoutput is a finite quantum-information interface. It does not prove a local inside/outside tensor factorization in gravity. A physical use must specify the code embedding, gravitational dressing, accessible algebra, sector restrictions, and representation in which this interface applies.

For states,

For two channels with the same input and output spaces,

For channel differences on a $d$-dimensional input,

where a reference of dimension $d$ suffices.

The finite code is essential to the scope of the norm statements. A continuum field approximation instead needs either a finite-code embedding with a uniform error, or a specified energy-constrained topology. Energy-constrained diamond norms provide one such framework, but their use also requires an energy-propagation allowance; finite-dimensional estimates are not transferred merely by deleting the cutoff Shirokov.

A cutoff declaration specifies:

1. the geometric stopping mass $M_{\mathrm{cut}}$;

2. selected species, angular modes, frequencies, and packets;

3. occupation and numerical truncations;

4. the treatment of every discarded sector;

5. the input class and topology in which each truncation error is bounded.

A trace-preserving failure flag is distinguished from postselection.

Let $P$ be an orthogonal projection, let $Q=I-P$, and suppose $[\rho ,P]=0$. Embed $\rho$ into $\mathcal{H}\oplus \mathbb{C}|\perp ⟩$ and define

Then ${\mathcal{F}}_P$ is a CPTP map and

This equality need not hold for a noncommuting input.

Proof. Compression and the flagged trace term are completely positive, and their traces sum to $\mathrm{Tr}\rho$. For a commuting input, the difference has orthogonal blocks $Q\rho Q$ and $-\mathrm{Tr}(Q\rho )|\perp ⟩⟨\perp |$, each with trace norm $\mathrm{Tr}(Q\rho )$.

For the last assertion take $|\psi ⟩=\sqrt{1-p}|0⟩+\sqrt{p}|1⟩$, $0<p<1$, and $P=|0⟩⟨0|$. Direct diagonalization gives

This explains the limited scope of discarded-probability certificates for number-diagonal packet states such as those in En02-E CheungEn02E ({thm:gaussian, thm:cutoff}). Arbitrary-input channel truncation requires a reference-uniform estimate, not the commuting-state equality alone.

The comparison object is a massless, minimally coupled real scalar on the Schwarzschild exterior,

with $t$ normalized at asymptotic infinity. The state is Unruh-type: no incoming occupation from past null infinity and the specified affine-vacuum horizon boundary condition.

For this comparison,

The scalar radial problem is

with $\mathrm{d}{r}_{\ast }/\mathrm{d}r=F^{-1}$. Its transmission probability is ${\Gamma }_{\ell }(\omega ;M)$.

The fixed-background Hawking comparison and emission-rate calculations are supplied by Hawking and Page Hawking1975,Page1976. The particular boundary-current and packet conventions used in the corpus are recorded in Em03-A CheungEm03A ({thm:main}).

The comparison number density is

For the selected orthonormal packet functions $h_i$ define

The comparison state is centered and gauge-invariant quasifree, so $⟨b_i{b}_j⟩=0$.

The covariance convention is recorded explicitly to avoid a transpose ambiguity. If $K=W_0\mathrm{diag}({\lambda }_a){W_0}^{†}$, the finite-packet density operator is

where ${\Gamma }_{\mathrm{s}}$ is bosonic second quantization. Diagonalizing $K$ reduces (eq:gaussian) to geometric oscillator densities of mean ${\lambda }_a$. This is the finite-packet state construction recorded in En02-E CheungEn02E ({thm:gaussian}); it is not a dynamical backreaction result.

For this scalar comparison, provided the sum and integral converge,

Finite species or angular cutoffs must be displayed when used. The quasistatic comparison ledger is

It does not assert that (eq:schwarzschild) with $M$ replaced by $\overline{M}(u)$ solves the semiclassical Einstein equations.

For a differentiable mass ledger satisfying $\dot{\overline{M}}=-P_{\mathrm{sc}}(\overline{M})$,

If $P_{\mathrm{sc}}(M)=a/(G^2{M}^2)$ for a fixed $a>0$, then

only up to the declared stopping time.

Proof. Differentiate $\kappa =(4G\overline{M}{)}^{-1}$ and substitute the ledger equation. The cubic formula follows by differentiating ${\overline{M}}^3$.

Small ${\chi }_{\mathrm{ad}}$ is a diagnostic. It becomes an error allowance only after a theorem relates it to the selected states, propagators, or channels. In particular, low-frequency scattering and packet-duration effects require their own uniform estimates.

An exterior coupling may imprint information before any proposed post-horizon transfer is invoked. Em03-F records an exact source–scalar unitary and exterior field channel CheungEm03F ({thm:unitary, thm:fieldchannel}). That source audit is useful for separating exterior coupling from later transfer. Its switching-work and field-energy ledger is not, without a gravitational balance calculation, black-hole mass loss.

A software spectrum comparison is admissible as a numerical audit only if its version, species, initial parameters, conventions, cutoffs, tolerances, and executable inputs are archived. Numerical agreement with (eq:source) does not identify a recovery channel.

A prospective semiclassical calculation must state an action, state, renormalization prescription, and domain. For example, a matter action may be declared as

A corresponding gravitational effective action may include

These are possible interface declarations, not a choice of a completed microscopic theory, and no coefficient in (eq:eftaction) is calculated here. Low-energy gravitational EFT and ultraviolet completion are different claims Donoghue.

With inverse-metric variation, define

The mean-field target equation is

For the Einstein–Hilbert term alone, this convention yields $G_{ab}+\Lambda g_{ab}=8\pi G⟨T_{ab}{⟩}_{\mathrm{ren}}$.

A point-splitting prescription must identify the Hadamard subtraction, local curvature freedom, conservation condition, and state dependence. Local covariant Wick and time-ordered constructions provide relevant frameworks, not solutions of (eq:semiclassical) for the present evaporation problem HollandsWald2001,HollandsWald2002. If stress-energy fluctuations matter in the claimed regime, their effect must also be controlled; mean-field self-consistency alone does not supply that control HuVerdaguer.

A useful spherical metric interface is

Both $m(v,r)$ and $\psi (v,r)$ are unknowns. One function $M(u)$ cannot stand in for all components of (eq:semiclassical). Advanced coordinate $v$ and asymptotic retarded coordinate $u$ must not be silently identified.

boundary. The preprint of del Río and Marañón-González, submitted July 13, 2026, reports a four-dimensional quasi-stationary semiclassical backreaction construction delRio2026. It is a relevant comparison, not a premise of any theorem here. The present paper makes no universal claim that four-dimensional semiclassical backreaction has never been constructed. Its narrower point is that the supplied source records do not derive the microscopic code-transfer law.

Let $P$ be Lipschitz with constant $L$ on a compact mass interval $I\subset (0,\infty )$. Suppose $M$ and $\overline{M}$ remain in $I$ for $0\le u\le T$ and satisfy

where $b$ is integrable. Then

Proof. Subtract the equations. The upper derivative of the absolute difference is bounded by $L|M-\overline{M}|+b$. Gronwall's inequality gives (eq:massstability).

The proposition bounds a ledger after $r$ has been supplied. It does not derive $r$ from a renormalized stress-energy operator, control the metric, or bound the complete emission channel.

A rule of the form

is not automatically a quantum channel, even when each $U_{g[\rho ]}$ is unitary.

Proof. For a qubit, let $X,Y,Z$ be the Pauli matrices and set

Write ${\rho }_0=|0⟩⟨0|$ and ${\rho }_1=|1⟩⟨1|$. Then $F_t(I/2)=I/2$, but

For $\sin (2t)\ne 0$, the rule is not affine and therefore not CPTP.

Consequently, arbitrary-code recovery requires a linear physical evolution on the code and its auxiliaries. One may use a geometry generated by a fixed macrostate and bound the code-dependent correction, or derive a joint quantum evolution. Solving a state-by-state mean-field geometry and subsequently calling the result a single CPTP code channel is not sufficient.

At a finite sequence of cuts, let

be emission isometries. Previously emitted systems are retained. The initial code embedding, early resource, and fixed purified auxiliaries are specified. Their composition produces an isometry $W:C\to A\otimes B$ as in Definition def:completeoutput.

A comparison sequence requires the same retained spaces, or explicit isometric identifications. A fixed-background radiation state is not itself a complete comparison step: a residual lift and its dependence on the code must also be supplied.

After all declared identifications, the exact retained step ${\Phi }_j$ and comparison retained step ${\hat{\Phi }}_j$ obey

Every retained memory and permitted reference is included. The numbers ${\eta }_j$ are established independently of spectrum matching.

A prospective estimate might bound ${\eta }_j$ using an adiabatic indicator, geometric seminorms, state distances, and regulator remainders. Such a displayed form is an acceptance hypothesis until its constants, domains, and connection to the complete maps are proved. Em06-B's classical estimate is only a bookkeeping comparison for this purpose CheungEm06B.

Under Assumption ass:stepwise,

Additional CPTP preparation, cutoff, or endpoint comparisons contribute their own diamond distances by the same rule.

Proof. Insert one replacement at a time:

Pre- and postcomposition by channels do not increase the diamond norm. Apply the triangle inequality and divide by two. Channel distance is at most one. The argument already includes arbitrary references.

Small-corrections arguments constrain joint pair structure under specified subsystem and evolution assumptions, not outgoing number statistics alone. Mathur's theorem uses its own correction hypotheses and normalization Mathur. The following self-contained consequence uses entropy or trace-distance hypotheses instead; its parameter must not be identified with Mathur's amplitude parameter without a proof.

At an emission cut, let $R$ be the already emitted radiation and let $b,c$ be a new outgoing qubit and a partner qubit. Suppose

with natural logarithms. Then

If, additionally,

then one may take

where $h_2(e)=-e\log e-(1-e)\log (1-e)$. Hence

Proof. Weak monotonicity, a consequence of strong subadditivity LiebRuskai, gives

Substitution proves (eq:pairgrowth).

For the trace-distance statement, entropy continuity in dimension four bounds $S(bc)$ by $h_2(e)+e\log 3$. Partial trace contracts trace distance, so ${\rho }_c$ is within $e$ of $I/2$. The dimension-two entropy continuity bound gives $S(c)\ge \log 2-h_2(e)$ Audenaert. Both continuity allowances are monotone for the stated range.

Suppose every step satisfies Theorem thm:pairentropy, previously emitted radiation does not subsequently interact with the remaining system, and $\log 2-s_j-t_j\ge \gamma >0$. Then

Proof. The entropy before each new emission is the preceding radiation entropy under the stated no-reinteraction assumption. Sum (eq:pairgrowth).

A proposed microscopic model must therefore identify which hypothesis changes: the pair-state bound, the partner algebra, factorization, radiation reinteraction, or another declared part of the evolution. A thermal-looking outgoing marginal does not imply the joint pair bound and does not, by itself, evade it. The theorem is not asserted for an unconstructed gravitational interior algebra.

For Definition def:completeoutput, define

where the decoder is CPTP and ${\tau }_B$ is a density operator. The optimization includes the complete inaccessible output.

The infima are attained in finite dimensions by compactness. These are arbitrary-input, reference-preserving quantities, not errors for one selected preparation.

Let $W:C\to A\otimes B$ be a finite-dimensional isometry. The following are equivalent:

1. A CPTP decoder $\mathcal{D}$ satisfies $\mathcal{DN}={\mathrm{id}}_C$.

2. There is a density operator ${\tau }_B$ such that

   $$\mathcal{C}(X)=\mathrm{Tr}(X){\tau }_B\text{for every }X\in \mathcal{B}({\mathcal{H}}_C).$$

3. For a Kraus family $\{A_a\}$ obtained from $W$,

   $${A_a}^{†}{A}_b=c_{ab}{I}_C$$

   for scalar coefficients $c_{ab}$.

Proof. Assume (i), and dilate the decoder by an isometry $T:A\to C\otimes G$. The composite $(T\otimes I_B)W$ dilates the identity channel. The identity channel has rank-one Choi matrix. Since that matrix is a sum of positive rank-one Kraus contributions, every Kraus operator in any such representation is proportional to $I_C$. Consequently

for a fixed unit vector $\chi$. Tracing $CG$ proves (ii).

Conversely, diagonalize ${\tau }_B={\sum }_j{\lambda }_j|j⟩⟨j|$, omitting zero eigenvalues. Write

Applying (ii) to every matrix unit $|i⟩⟨i^{\prime }|$ gives

Let $P_S$ project onto their span and define $U{\varphi }_{ij}=|i{⟩}_C|j{⟩}_J$ on that span. For any fixed density operator ${\sigma }_C$,

is CPTP and satisfies $\mathcal{DN}(X)=X$.

Finally,

This is a scalar multiple of $\mathrm{Tr}X$ for every $X$ precisely when every ${A_b}^{†}{A}_a$ is scalar. This proves (ii)$\iff$(iii).

The theorem reproduces, with hypotheses and proof stated locally, the endpoint criterion recorded in Em05-B and Hawk01-A CheungEm05B ({thm:constantComplement}) CheungHawk01A ({thm:complement}).

For Definition def:leakage,

Equivalently,

Proof. Use the dimension-independent continuity theorem for Stinespring dilations KSW. A complement at diamond distance $2{\delta }_{\mathrm{leak}}$ from a replacement channel admits aligned dilations at operator distance at most $\sqrt{2{\delta }_{\mathrm{leak}}}$. The comparison replacement dilation exposes an undisturbed copy of the input on its other output, yielding a decoder with half-diamond error at most $\sqrt{2{\delta }_{\mathrm{leak}}}$.

Conversely, dilate a decoder with recovered-channel error $2{\epsilon }_{\mathrm{rec}}$ and compare with a dilation of the identity. The complete complementary output is within half-diamond distance $\sqrt{2{\epsilon }_{\mathrm{rec}}}$ of a fixed state. Rearranging the two inequalities gives (eq:approximate).

The factors in (eq:approximate) use half-diamond distance in both definitions. Importing an unhalved convention without changing the factors would be incorrect.

Let $\mathcal{W}$ and $\hat{\mathcal{W}}$ be complete channels $C\to A\otimes B$, each induced by an isometry, and suppose

Their accessible and complementary channels satisfy

If ${\delta }_{\mathrm{leak}}(\hat{\mathcal{C}})\le \lambda$, then

Proof. Partial trace gives $d_{\diamond }(\mathcal{N},\hat{\mathcal{N}})\le e$ and $d_{\diamond }(\mathcal{C},\hat{\mathcal{C}})\le e$. For every ${\tau }_B$,

Take the infimum and exchange the two channels to obtain (eq:leakstable). For every decoder, postcomposition contracts distance; the same argument proves (eq:recstable). Apply Proposition prop:approximate first to the comparison channel and then to the actual channel.

A radiation-marginal approximation alone does not satisfy this theorem's complete-map hypothesis. The next section gives an exact counterexample to that substitution.

This section supplies an explicit finite comparison, developed from the conserving-completion architecture in Hawk01-A CheungHawk01A ({thm:completion}). All maps and probabilities needed for the proof are defined here.

Let $C$ be a qubit, let $\omega >0$, let $L\ge 1$ be an integer, and let $0\le q<1$. The late-radiation space has basis

These are the occupation sectors of two ideal equal-frequency oscillators truncated by total occupation. They are not asserted to be exact finite-duration wavepackets of definite Killing energy.

Set

At $q=0$ the state is the vacuum. For $q>0$, it is the normalized truncation of the two-oscillator Gibbs state with $q=e^{-\beta \omega }$.

Let

For $0\le k<m_n$, define the equal-energy rail isometry

When $n$ is even, the unpaired vector is $|n,n⟩$. Define

The early resource is

where $E$ is accessible and $K$ is inaccessible. Let $P_r$ be the four qubit Pauli operators, including $I$.

Fix an initial energy $M_{\star }$ and require

The code and key registers are energy-degenerate. Residual basis vectors in sector $n$ have energy $M_{\star }-n\omega$.

Choose mutually orthogonal residual subspaces: one normalized vector $|s_{n,k}⟩$ for every paired sector, and a two-dimensional isometric embedding $I_n:{\mathcal{H}}_C\to {\mathcal{H}}_B$ for every even-$n$ failure sector. Define on the prepared input subspace

For a second model, choose mutually orthogonal embeddings ${I_{n,j}}^{(0)}:{\mathcal{H}}_C\to {\mathcal{H}}_B$ in the same declared energy sectors and set

A common enlarged residual space contains both sets of subspaces. Apply either isometry to the fixed resource $\Omega$. The accessible output is $A=EL$, and the complete residual is $BK$.

The maps (eq:V1) and (eq:V0) are isometries on the prepared subspaces and conserve the stated total energy. Their accessible channels are

For every operator $X$,

Both models have emitted-energy probability $(n+1)d_n$ in sector $n$. Nevertheless,

Their recovery errors differ whenever $p>0$.

Proof. Orthogonality of the residual subspaces in (eq:V1) gives

Equation (eq:V0) is isometric because ${\sum }_n(n+1)d_n=1$. Distinct key inputs are orthogonal. Every term has radiation energy $n\omega$ and residual energy $M_{\star }-n\omega$, hence total energy $M_{\star }$.

Tracing the orthogonal residual labels and $K$ gives (eq:N1) and (eq:N0). The Pauli twirl satisfies

Each paired rail therefore contributes $d_n\mathrm{Tr}(X)J_{n,k}{I}_C{J}_{n,k}^{†}$ to the late marginal. Adding the unpaired vectors proves (eq:samemarginals). The sector probabilities and energy distributions follow.

For ${\mathcal{N}}_1$, read the orthogonal pair/failure flag and the early key. On a paired rail, invert $J_{n,k}$ and then $P_r$; on failure, prepare $I_C/2$. This decoder gives

The qubit depolarizing replacement is the Pauli twirl. Thus

by the triangle inequality after separating the identity Pauli term. Equality follows by applying the two channels to half of a normalized Bell state: its overlap with the replaced state is $1/4$. This proves the upper bound in (eq:toyerrors).

For any decoder, the success contribution to Bell overlap is at most $p$. The failure output is independent of the input, so its Bell overlap is exactly $(1-p)/4$. Testing the Bell projector therefore gives a lower bound $3(1-p)/4$ on the recovery error. For ${\mathcal{N}}_0$, every decoded channel is a replacement channel; the same Bell test gives $3/4$, attained by output $I_C/2$.

Both models are unrecoverable from $L$ alone because their channel to $L$ is constant. The difference in (eq:toyerrors) concerns $EL$ access. It is not a violation of uniqueness of a minimal complementary channel for a fixed complete accessible channel.

Moreover,

Thus even the complete accessible state, its purity, and its entropy for this one input fail to determine arbitrary-input recovery. This is the same operational distinction emphasized by Em05-A's marginal separation CheungEm05A ({cor:separation}).

Within the declared finite class, the entire late thermal state, the early marginal, and the emitted-energy distribution do not determine assisted recovery. These diagnostics therefore cannot, without additional dynamical assumptions, select a microscopic transfer channel.

Proof. Theorem thm:thermalnonid supplies two models agreeing on all listed diagnostics and disagreeing on the recovery error.

An isometry on a prepared subspace of a finite total-energy sector can be extended to a unitary by completing orthonormal bases, after enlarging that sector if necessary. This establishes finite energy-conserving realizability of the comparison. It does not provide locality, a gravitational Hamiltonian, collapse dynamics, or an astrophysical evaporation model.

The proposed renormalization interface must not conflate:

The crossed arrows mean that no automatic implication is supplied, not that every possible bridge is obstructed.

The supplied records have the following boundaries:

• XVI-L constructs the complete-source contribution of a stated two-edge graph under imported root hypotheses; its EFT bridge is recorded as matching questions, not a complete loop or Wilson match CheungXVIL.

• XVI-M records graph-specific counterterm and scale specializations. A graph-specific curvature-ledger obstruction is not a universal gravitational beta function or ultraviolet completion CheungXVIM.

• XVI-N's stated massless obstruction concerns a regular, seed-preserving, antifield-linear completion in a specified class. Even accepting the supplied summary of an unprepared classical complex through order $\kappa$, closure of the separately prepared insertion does not follow CheungXVIN ({thm:massless-obstruction}).

• XVI-O restores a kernel two-point subsector under a stated prescription; it expressly distinguishes this from the functional Slavnov–Taylor identity and bulk restoration. Gate 3 remains partial and O.1 remains NOT_CLOSED CheungXVIO.

A physical effective-field calculation needs a new source ledger: graph inventory, operator domain, regulator, local normalization freedom, relevant Ward/BV identities, state, observable, and remainder. Inheriting one two-edge agreement does not inherit a full nonlinear one-loop identity, higher-point coverage, two-loop subdivergences, or all-order control.

The following elementary result is included to make the presentation/kernel distinction explicit.

Let $\mathsf{Rec}:\mathcal{P}\to \mathcal{K}$ be a surjective linear reconstruction map and let $\tilde{\mathsf{M}}:\mathcal{P}\to Y$ be linear. There exists a unique linear map $\mathsf{M}:\mathcal{K}\to Y$ with $\tilde{\mathsf{M}}=\mathsf{M}\mathsf{Rec}$ if and only if

If $\mathcal{K}$ carries the quotient topology and $\tilde{\mathsf{M}}$ is continuous, the induced map is continuous.

Proof. Factorization immediately implies (eq:descent). Conversely, define $\mathsf{M}(\mathsf{Rec}A)=\tilde{\mathsf{M}}(A)$. Two presentations of the same kernel differ by an element of $\ker \mathsf{Rec}$, so the definition is independent of presentation. Surjectivity gives uniqueness. Continuity is the defining property of the quotient topology.

This is the interface recorded in XIV-J CheungXIVJ ({prop:descent}). Agreement with canonical composition on an open subset proves only the restricted condition: a distribution supported on the omitted locus is invisible there.

For a one-dimensional normal coordinate $q$,

Consequently, for any existing nonzero distribution $R(r)$,

although the two summands are separately nonzero. Presentation degree alone therefore need not define a degree filtration of reconstructed kernels.

Proof. For a test $\phi$,

Tensor with $R$.

This is the null-presentation warning recorded in XIV-J CheungXIVJ ({lem:null}); it does not invalidate XIV-I's internal frequency estimates.

In a product chart $U=S_0\times {\mathbb{R}}^k$, write $S=S_0\times \{0\}$ and

Fix $m<\infty$ and a closed set $Z\subset S_0$. Suppose a supported reference on $(S_0\setminus Z)\times {\mathbb{R}}^k$ has normal form

Within the class of distributions supported on $S$ with normal order at most $m$, a realization

exists if and only if all coefficient distributions ${b_{\alpha }}^{\circ }$ admit extensions to $S_0$. The coefficients are unique for a fixed realization. This equivalence does not itself prove extension existence or select an extension.

Proof. For every $\alpha$, choose a compactly supported normal test whose normal derivatives through order $m$ at zero are zero except for the $\alpha$ derivative, normalized to compensate the sign $(-1{)}^{|\alpha |}$. Such tests are obtained from the corresponding monomial times a cutoff equal to one near zero. Testing $t$ against its product with a tangential test extracts $b_{\alpha }$. This proves uniqueness and the necessary restriction identity. Conversely, inserting any coefficient extensions into the finite sum gives the required realization.

The support requirement is essential. An unrestricted extension could additionally contain distributions away from $S$. Also, even one coefficient $b_{\alpha }\in {\mathcal{D}}^{\prime }(S_0)$ can range over an infinite-dimensional space. A finite normal-jet array is not a finite numerical normalization matrix.

XIV-J's supported-sector reference treats only $K_6+K_8+K_9$ away from the characteristic locus, and its conditional extension interface does not construct the missing coefficient extensions or the full six-branch map CheungXIVJ ({thm:reference, thm:conditionalextension, thm:J2}). General microlocal extension theory is relevant, but its hypotheses must be checked for the actual complete target BrunettiFredenhagen.

admission boundary. The supplied analytic path is

The separate classical branch and XIII-E's unfinished regulator route are not imported. The remaining required chain is:

No step of this chain is discharged here. XV-B's downstream admission exit remains closed in this documentary sense, even though its separately stated lifting criterion is a mathematical interface CheungXVB.

“No quantum coefficient is admitted” refers to this inherited target and release boundary. It is not a claim that quantum coefficients cannot be computed in other models.

There are two admissible endings:

1. stop at $u_{\mathrm{cut}}$ with $M\ge M_{\mathrm{cut}}$ and retain the remaining hole and all auxiliaries in $B$;

2. specify an endpoint isometry and include its error in the complete comparison budget.

A mass formula extrapolated to zero is not an endpoint isometry. A Planck-scale mass bound is not a bound on the information capacity of inaccessible internal states.

If the complete endpoint residual space is one-dimensional and the endpoint evolution is an isometry $W:C\to A\otimes B$, exact recovery exists. The disappearance of a macroscopic hole alone does not imply this hypothesis.

Proof. For $\dim B=1$, the complementary channel is the unique trace replacement into $B$. Apply Theorem thm:constant. A macroscopic mass variable does not specify the dimensions or state dependence of other inaccessible registers.

Em03-E is a finite bookkeeping laboratory: its full complement retains the key purification, dephasing environment, and success/failure sectors CheungEm03E ({thm:complement}). It is not Hawking dynamics, but it illustrates why residual factors cannot be dropped when they cease to appear in an occupation ledger.

Constant channels to each residual factor separately need not make the joint residual channel constant.

Proof. For a qubit input, define

The $B_1$ channel is $\mathrm{Tr}(X)I_{B_1}/4$ and the $B_2$ channel is $\mathrm{Tr}(X)I_{B_2}/2$. The joint output is reversible: read $r$ and undo $P_r$. It therefore depends on the input.

Any physical use of this example must also include its dilation environment. The point is that testing every visible residual marginal separately is already insufficient; the certificate must refer to the full joint complement.

Theorems thm:constant and prop:approximate establish information-theoretic existence of decoders. They do not bound their circuit complexity, collection aperture, duration, coherent memory, or physical localization. Resource-constrained recovery is a separate task.

Hayden–Preskill recovery assumes a stated mixing model and access to appropriate early and late radiation HaydenPreskill. Island and replica-wormhole calculations determine entropy or reconstruction quantities under their gravitational and bath assumptions Penington,ReplicaWormholes. They are not imported as diamond-error theorems for the present scalar code interface.

Consider two finite Markov models with identical initial accessible states, interval channels for every permitted setting and history, and complete instruments. Then every permitted adaptive experiment, including an untouched reference, has the same record law in both models. For a randomized binary test between record laws $P_0,P_1$,

If the laws coincide, $\alpha +\beta =1$.

Proof. Induct on the record history. Equal unnormalized conditional states, followed by equal conditional channels and instruments, give equal next conditional states and branch probabilities. For a test function $\phi \in [0,1]$, with output one interpreted as selecting model one,

This is the process distinction recorded in Psy02-B CheungPsy02B ({thm:process}).

Two instruments can produce the same record law for every input and nevertheless produce different residual states.

Proof. Use one deterministic outcome $\ast$. One instrument returns $|\ast ⟩⟨\ast |\otimes \rho$; the other returns $|\ast ⟩⟨\ast |\otimes {\Delta }_Z(\rho )$, where ${\Delta }_Z$ dephases a qubit. Both record laws are deterministic. For $\rho =|+⟩⟨+|$, the residual outputs are $|+⟩⟨+|$ and $I/2$, at trace distance $1/2$.

This is the obstruction recorded in En03-A CheungEn03A ({thm:obstruction}).

Equality of a selected spectrum, record family, or entropy history does not establish equality of complete channels. Conversely, equality of the accessible channel on every matrix unit does establish equality of that channel, including all references. Its minimal complementary channel is then fixed up to environmental isometry. Even this mathematical identification does not uniquely identify a gravitational Hamiltonian or its physical implementation.

A proposed physical model supplies:

1. a stated action or microscopic evolution, initial data, field content, regulator, renormalization scheme, and validity domain;

2. a geometry/state calculation with stated constraints, stress-energy conservation, total energy balance, and error allowances up to $M_{\mathrm{cut}}$;

3. a finite code embedding and a complete isometric emission interface, with all fixed auxiliary purifications assigned;

4. a complete comparison interface on identified output spaces, with independently proved stepwise and preparation/cutoff/endpoint diamond-error allowances;

5. an explicit complementary-channel leakage bound for that comparison interface.

The transfer law in item (P3) is labeled either derived from the stated dynamics or additionally assumed. A geometry-dependent family of nonaffine state-by-state rules does not satisfy (P3).

Suppose Assumption ass:physical holds. Let ${\eta }_j$ be the stepwise allowances and let $e_{\mathrm{prep}},e_{\mathrm{cut}},e_{\mathrm{end}}$ be the additional CPTP comparison allowances actually used. Set

If the complete comparison complement satisfies ${\delta }_{\mathrm{leak}}(\hat{\mathcal{C}})\le \lambda$, then:

1. the actual and comparison complete channels are within $e_{\mathrm{tot}}$ in half-diamond distance;

2. the actual residual leakage obeys

   $${\delta }_{\mathrm{leak}}(\mathcal{C})\le \min \{1,\lambda +e_{\mathrm{tot}}\};$$

3. arbitrary-code, reference-preserving recovery satisfies

   $${\epsilon }_{\mathrm{rec}}(\mathcal{N})\le \min \left\{1,e_{\mathrm{tot}}+\sqrt{2\lambda },\sqrt{2(\lambda +e_{\mathrm{tot}})}\right\};$$

4. if $\lambda =e_{\mathrm{tot}}=0$, exact recovery exists.

These conclusions certify the supplied transfer interface. They do not derive that interface from the emission spectrum.

Proof. Theorem thm:sequential, applied also to the additional comparison maps, proves (i). Theorem thm:stability gives (ii) and (iii). For (iv), the actual complement is constant and Theorem thm:constant applies. The transfer interface is an explicit hypothesis in (P3), whereas Corollary cor:spectrum disproves its determination by the listed thermal diagnostics.

Within this acceptance architecture:

1. a controlled geometry/state calculation and a proved emission comparison allowance support a semiclassical-plus-backreaction baseline on the stated domain;

2. adding a complete transfer interface and leakage certificate supports the recovery bound (eq:maincertificate);

3. when the transfer law is additionally assumed, the resulting recovery claim remains conditional on that law;

4. identifying that law as microscopically derived requires a separate derivation from the stated dynamics.

A pair-structure comparison or a small adiabatic indicator does not replace the missing channel allowance.

Proof. Items 1–4 distinguish the independently stated hypotheses in Assumption ass:physical from the conclusions of Theorem thm:main. Proposition prop:adiabatic and Theorem thm:pairentropy concern different quantities and provide no complete-map comparison by themselves.

{}1.15

has been completed. Hawk02-A proves the sequential comparison rule, exact and approximate residual-leakage certification, stability of the certificate, a conserving thermal nonidentifiability construction, a pair-entropy interface, and explicit residual-accounting tests. These are mathematical results on their declared domains.

remains open. The supplied landmarks do not instantiate a controlled quantum-gravitational collapse-to-endpoint model producing the geometry, emission process, and complete code-transfer channel. This is an absence of that derivation in the supplied material, not a theorem excluding every quantum-gravitational model.

The documentary endings remain version-qualified: XIV-H's H2 stop is retained as its historical release boundary; XIV-I's named I2 internal amplitude is constructed; the full characteristic map remains unresolved at I3/J2. The required admission line $Q_H{R}_1^{(1)}\in {\mathcal{E}}_H$ is not asserted. XV-B's downstream admission exit is not opened. XVI-N's stated prepared-insertion obstruction is not discharged. XVI-O's bulk O.1 remains NOT_CLOSED.

No microscopic black-hole Hamiltonian, realistic endpoint, all-order BV/ST identity, finite-parameter ultraviolet completion, gravity-generated-entanglement experiment, or spacetime-emergence theorem is claimed. No compilation, numerical execution, or machine verification is asserted.

A physical successor applying Theorem thm:main should release:

1. the exact action or microscopic update law, sign conventions, gauge/dressing prescription, and conserved sectors;

2. the initial geometry and quantum state, with asymptotic clock normalization and collapse/boundary conditions;

3. the regulator and renormalization conditions, including the allowed finite local terms;

4. the stress-energy source, its conservation check, constraint propagation, and any fluctuation allowance;

5. the metric/state approximation theorem and the common domain on which it holds;

6. the packet, species, frequency, angular, and occupation cutoffs, with trace-preserving handling of discarded sectors;

7. the code embedding and all initial-resource purifications;

8. each retained emission map and its complete complement;

9. the proof connecting geometric/state estimates to the stepwise reference-uniform channel errors;

10. the endpoint map or the complete residual at $M_{\mathrm{cut}}$;

11. the decoder and the precise error convention;

12. for numerical claims, versioned source, inputs, environment, tolerances, convergence diagnostics, and an execution manifest.

A written acceptance checklist is not evidence that its items have been executed or verified.

The following locators are documentary references, not imported proofs:

• Hawk01-A, version 1: thm:source, thm:completion, thm:complement.

• Em03-A, version 1: thm:main.

• Em03-E, version 1: thm:complement.

• Em03-F, version 1: thm:unitary, thm:fieldchannel, and its switching-work ledger.

• Em05-A, version 1: cor:separation.

• Em05-B, version 1: thm:constantComplement.

• Em06-B, version 1: thm:input-stability.

• En02-E, version 2: thm:gaussian, thm:cutoff.

• Psy02-B, version 2: thm:process.

• En03-A, version 1: thm:obstruction.

• XIV-H, version 1: thm:H2, prop:K5exact.

• XIV-I, version 1: thm:I2, thm:I3, prop:canonical, thm:release.

• XIV-J, version 1: prop:descent, lem:null, thm:reference, thm:conditionalextension, thm:J2, cor:noadmission.

• XV-B, version 1: thm:lifting, cited as a separate downstream interface.

• XVI-L and XVI-M, version 1: their stated graph, scale, matching, and non-claim boundaries.

• XVI-N, version r12: thm:massless-obstruction.

• XVI-O, version o70-sync: the three-verdict front-matter boundary.

CheungHawk01A

N. Cheung, Hawk01-A, version 1, unpublished manuscript, n.d. User-supplied excerpts; locators listed in Appendix app:locators. Corpus companion: https://enter.grok.me.

CheungEm03A

N. Cheung, Em03-A, version 1, unpublished manuscript, n.d. Fixed-background scalar emission law, thm:main; user-supplied excerpts.

CheungEm03E

N. Cheung, Em03-E, version 1, unpublished manuscript, n.d. Complete complementary output, thm:complement; user-supplied excerpts.

CheungEm03F