PSC forbids information "lost outside" the universe or true destruction without internal semantic closure. This paper applies NEMS and the hypercomputation taxonomy (Paper 35) to black hole information. We reframe the paradox in terms of record fragments (e.g., outside thermal, infalling, unitarity). We prove: (1) Record consistency (abstract): an information-erasing appearance (two worlds disagree on an observation) implies the semantics is not categorical (multiple world-types; selection is required). Classically (Choice), a selector exists; internal/effective selector is constrained by diagonal barriers (Papers 29/35). (2) No hypercomputing from black holes: under the same barrier assumptions (extensional + nontrivial predicate; anti-decider closure; \hFP), no internal total-effective black-hole decoder can decide a diagonal-capable predicate on the outcome space. Observer-relative records (complementarity) and islands/Page curve are interpreted as closure-driven reassignment; we do not assume any particular QG microphysics. The development is mechanized in Lean 4 as the BlackHoles library in nems-lean, with zero sorry and no custom axioms. Trust boundary. Record-consistency and no-hypercomputing claims are abstract and conditional on the Paper 29/35 barrier hypotheses; we do not assume a specific quantum-gravity completion. Mechanization is nems-lean . See .
PSC forbids information "lost outside" the universe or true destruction without internal semantic closure. This paper applies NEMS and the hypercomputation taxonomy (Paper 35) to black hole information. We reframe the paradox in terms of record fragments (e.g., outside thermal, infalling, unitarity). We prove: (1) Record consistency (abstract): an information-erasing appearance (two worlds disagree on an observation) implies the semantics is not categorical (multiple world-types; selection is required). Classically (Choice), a selector exists; internal/effective selector is constrained by diagonal barriers (Papers 29/35). (2) No hypercomputing from black holes: under the same barrier assumptions (extensional + nontrivial predicate; anti-decider closure; \hFP), no internal total-effective black-hole decoder can decide a diagonal-capable predicate on the outcome space. Observer-relative records (complementarity) and islands/Page curve are interpreted as closure-driven reassignment; we do not assume any particular QG microphysics. The development is mechanized in Lean 4 as the BlackHoles library in nems-lean, with zero sorry and no custom axioms. Trust boundary. Record-consistency and no-hypercomputing claims are abstract and conditional on the Paper 29/35 barrier hypotheses; we do not assume a specific quantum-gravity completion. Mechanization is nems-lean . See .
This work examines a specific premise in the black-hole information problem: the assertion that complete quantum evolution preserves arbitrary initial quantum distinctions through the full formation and evaporation of an actual four-dimensional black hole possessing a genuine event horizon. The paper does not argue that fundamental information destruction occurs. It does not reject unitary quantum mechanics or the substantial mathematical progress represented by holography, quantum error correction, entanglement islands, replica wormholes, Page-curve calculations, asymptotic observable algebras, or gravitational reconstruction. Instead, it asks what establishes that the scope of such results reaches the complete physical black-hole process for which global preservation is asserted. For a registered ordinary future-directed causal route from strictly inside a genuine event horizon to the stipulated exterior future, the event-horizon and Structural Flow translation premises imply that ordinary outward Cascade and same-route Authorization do not occur. This route result does not determine the global fate of quantum information. The restricted horizon-facing premises entail neither guaranteed global quantum-information preservation nor fundamental global information destruction. The complete physical fate therefore remains dependent on additional physics-owned premises. The work distinguishes global preservation from restricted exterior recoverability. A preservation claim must specify the physical target process, admitted quantum input family, governing dynamics, physically complete output system, relevant quantum-coherence burden, and applicability of the mathematical result to the actual gravitational regime being claimed. Recovery from Hawking radiation alone is not privileged as the only admissible proof route, and inability to recover information from a restricted radiation subsystem is not sufficient to establish fundamental loss. A public falsification and reopening protocol accompanies the paper. It separates model- and code-level advances, physical preservation or loss results, event-horizon domain-translation failures, and genuine foundational Structural Flow counterderivations. A black-hole-specific failure does not automatically reopen universal Structural Flow, the Universal Kernel, or the TOE. The release also includes a machine companion and a consolidated Lean formal append evaluated with the unchanged Structural_Flow_Universal_Kernel_v1.0.lean. The supplied Lean Web execution record reported all 68 expected theorem checkpoints from the integrated source with no compiler errors reported. The consolidated BH-EH source contains 69 theorem declarations. Machine closure is explicitly limited to the encoded conditional logical scope. The formal layer does not establish the existence of an actual event horizon, the physical validity of the Structural Flow translation, complete quantum-gravitational dynamics, or the global information fate of real black holes. This coordinated package contains the scientific anchor, public falsification/reopening protocol, machine companion, scoped BH-EH formal append, and frozen Universal Kernel.
Abstract The black hole information paradox (Hawking, 19741976) poses a fundamental conict: quantum mechanics requires unitary evolution (information is preserved), while black hole evaporation via Hawking radiation appears to destroy information (the radiation is thermal, carrying no information about the in-fallen state). After fty years of debate, the paradox remains unresolvedHawking conceded it in 2004 [3] but no complete mechanism has been identied. ˆ We resolve the paradox by identifying its source: confusing Ω with Πext[Ω]. Information is never destroyed. Ω-conservation (Noether, P2) guarantees this. What is destroyed at the event horizon is not the information but the exterior ˆ observer's projection operator : Πext becomes inapplicable inside the horizon. The ˆ ˆ information encoded in the in-fallen matter passes from Πext[Ω] to Πint[Ω]two projections of the same Ω = 1 that agree in total but disagree in local accessibility. Hawking radiation is the κ→0 leakage of Ω-entanglement across the projection boundary. The Page curve [4]entanglement entropy rising and then falling as the black hole evaporatesfollows directly from Ω-conservation without invoking island formulas [8, 9] or specic stringy mechanisms. The paradox is not a paradox. It is a projection error.
This work examines a specific premise in the black-hole information problem: the assertion that complete quantum evolution preserves arbitrary initial quantum distinctions through the full formation and evaporation of an actual four-dimensional black hole possessing a genuine event horizon. The paper does not argue that fundamental information destruction occurs. It does not reject unitary quantum mechanics or the substantial mathematical progress represented by holography, quantum error correction, entanglement islands, replica wormholes, Page-curve calculations, asymptotic observable algebras, or gravitational reconstruction. Instead, it asks what establishes that the scope of such results reaches the complete physical black-hole process for which global preservation is asserted. For a registered ordinary future-directed causal route from strictly inside a genuine event horizon to the stipulated exterior future, the event-horizon and Structural Flow translation premises imply that ordinary outward Cascade and same-route Authorization do not occur. This route result does not determine the global fate of quantum information. The restricted horizon-facing premises entail neither guaranteed global quantum-information preservation nor fundamental global information destruction. The complete physical fate therefore remains dependent on additional physics-owned premises. The work distinguishes global preservation from restricted exterior recoverability. A preservation claim must specify the physical target process, admitted quantum input family, governing dynamics, physically complete output system, relevant quantum-coherence burden, and applicability of the mathematical result to the actual gravitational regime being claimed. Recovery from Hawking radiation alone is not privileged as the only admissible proof route, and inability to recover information from a restricted radiation subsystem is not sufficient to establish fundamental loss. A public falsification and reopening protocol accompanies the paper. It separates model- and code-level advances, physical preservation or loss results, event-horizon domain-translation failures, and genuine foundational Structural Flow counterderivations. A black-hole-specific failure does not automatically reopen universal Structural Flow, the Universal Kernel, or the TOE. The release also includes a machine companion and a consolidated Lean formal append evaluated with the unchanged Structural_Flow_Universal_Kernel_v1.0.lean. The supplied Lean Web execution record reported all 68 expected theorem checkpoints from the integrated source with no compiler errors reported. The consolidated BH-EH source contains 69 theorem declarations. Machine closure is explicitly limited to the encoded conditional logical scope. The formal layer does not establish the existence of an actual event horizon, the physical validity of the Structural Flow translation, complete quantum-gravitational dynamics, or the global information fate of real black holes. This coordinated package contains the scientific anchor, public falsification/reopening protocol, machine companion, scoped BH-EH formal append, and frozen Universal Kernel.
This paper develops an interpretive reading of the black hole information problem within a consistency-history framework that distinguishes preservation, commitment, recoverability, feasible auditability, and public finality. Its central claim is narrow: the Page time should be understood as a transition in recoverability, not as the onset of redundant public facthood. In controlled island and quantum-extremal-surface models, an interior region associated with the black hole becomes reconstructible from the Hawking radiation after the Page transition. The paper redescribes this as a transition from hidden encoding to recoverable encoding. It does not derive the Page curve, the island formula, replica wormholes, or a solution to the black hole information problem; those results are supplied by the cited quantum-information and quantum-gravity literature. The paper argues that Hawking radiation is not, by itself, a Quantum-Darwinist broadcasting environment for the infalling microstate information. Recovery requires a large radiation region and a holistic decoding, while no small set of disjoint fragments independently carries the same infalling record. Recoverability-in-principle therefore remains distinct from strong public finality, which would require redundant, non-disturbing, and repeatable access by multiple independent observers. The Harlow–Hayden complexity barrier further separates formal reconstructibility from feasible auditability. On this reading, the Page curve schedules delayed recoverability rather than strong public finality. If the recovered information later becomes redundantly recorded in ordinary detectors and environments, that later public finality is a downstream process rather than something supplied by the black hole itself. The paper is interpretive and conceptual, has L2 status within the framework’s claim discipline, and makes no independent empirical prediction.
Programme status: This record belongs to an active research programme. It is not a finished or final theory. The framework is currently undergoing a systematic audit, together with corrections and improvements prompted by reader feedback. Several significant issues have been identified, and some claims, derivations and interpretations in the current version may be revised, qualified or withdrawn in future versions. Revised versions will be released when this work is complete. See PROGRAM_STATUS.md. Status as of October 2026. We examine black hole information unitarity within the Mathematical Foundations of Reflexive Reality (MFRR) framework SpivackNEMSMFRRBridge. The MFRR Transputation operator PT^-1 provides a physical mechanism for unitary information recovery consistent with the Perfect Self-Containment condition. Since every CPTP map admits a Stinespring dilation (a mathematical theorem independent of gravitational modelling), Hawking evaporation is unitarily equivalent to a reversible evolution on a system-plus-environment space. We construct the evaporation channel _ t = e^ tL as a GKSL master equation for a JT-like system of n=3 bosonic modes (d_H = 8) at T_H 0.004. Stinespring dilation achieves fidelity F 1 - 10^-8; detailed balance holds to 0.00\%; the entropy curve reaches 97.2\% of the ideal thermal value. In two complementary closed unitary models - a pure initial BH state and a purified thermal initial state with reference system R - the full Page curve with turnover is reproduced and PT^-1 recovery achieves F = 1.000000. Open fronts are stated explicitly: extension to 3+1 quantum gravity, the firewall tension, and a first-principles derivation of PT^-1.
This paper introduces BC-Horizon, a black-hole branch of the Boundary Com-pensation programme. The aim is not to derive Hawking radiation, the Bekenstein–Hawking entropy, the Page curve, islands, or a microscopic model of the hori-zon. The more limited purpose is to formulate a compatibility interpretation ofthe black-hole information problem in which the exterior observer is not iden-tified with the complete system. The central structural assumption is that theexterior observer has access only to a finite-resolution algebra of observables,denoted Aext(s), which is a strict subalgebra or finite-access sector of a morecomplete compensational structure Afull. The effective exterior state is thenread through a map Φs from exterior-accessible observables into the full struc-ture. Apparent mixedness, thermal-like behaviour, and an entropy of inaccessi-bility are interpreted as properties of restricted exterior readout rather than asevidence for fundamental destruction of information. The slogan of the paperis: information need not disappear; the exterior layer is not the full algebra ofthe system.