Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12

What changes, and what does not

Source-boundary audit and release › What changes, and what does not · lines 1522–1584

Back to manuscript
ObjectVerdict hereRetained boundary
ObjectVerdict hereRetained boundary
Independent-factor AMPS benchmarkQuantitative obstruction provedThe factorization and pair hypotheses remain explicit.
Complete channel and complementConstructed for the finite benchmarkNo physical inside/outside factorization is derived.
Encoded partner algebraConstructed on the full structural logical spaceNot a gravitational interior dictionary.
Pair-proxy instrumentExact prepared-state statistics and residualsNot Hadamard regularity or a local infalling detector.
Purifier distillationExact finite intervention calculatedThe original proxy changes; no gravitational work or backreaction calculation is supplied.
Message recoveryExact and reference preservingA message register is not a physical infalling diary.
Physical comparison theoremProved conditionallyIts model-specific bridge hypotheses are not constructed.
Evaporation endpointUnresolvedNo endpoint dynamics or Page curve is asserted.