Black Holes as Licensed Limit Regimes (Black Hole ARC 0)

Overview This manuscript is Paper 0 of the AASC Black-Hole Endpoint Arc. It serves as the orientation and role-classification paper for the series. The paper treats black holes as licensed limit regimes under AASC, not as primitive ontological containers. Its purpose is to separate: classical metric representatives; exterior black-hole quotient structure; admissible horizon reconstruction objects; parameter ledgers; thermodynamic ledgers; information and reconstruction claims; downstream quantum-gravity proposals. Central Result The paper establishes that black-hole claims must be typed by their role in a declared exterior reconstruction scope. In particular: mass, charge, and angular momentum are exterior response roles; horizons are boundary structures inside a licensed metric projection; singularities are metric-exhaustion diagnostics, not primitive admissibility boundaries; entropy and thermodynamics are ledgers, not automatic ontology; information claims require carriers, witnesses, encodings, and reconstruction maps; holography, islands, remnants, fuzzballs, and final-state proposals are certificate candidates or richer-scope proposals, not automatic standing transport. Exterior-Quotient Discipline The proof-level object is not “stationary black hole” or “no-hair black hole.” The operative object is the black-hole model’s declared exterior standing quotient. In the familiar settled classical case, this quotient is represented by: (Mext,qBH,Jext)(M_{\mathrm{ext}},q_{\mathrm{BH}},J_{\mathrm{ext}})(Mext,qBH,Jext) but this is a standard exterior-parameter example, not a restriction on the theorem. Hair-like, dynamical, evaporating, perturbative, ringdown, semiclassical, or quantum-corrected structures are treated by the same rule: if they re-fix standing, they enter the exterior quotient or certificate package; if they do not, they are skin, bookkeeping, hidden load, repair, selector import, or scope change. Kernel and Formal Infrastructure The manuscript introduces the AASC kernel as formal constraint infrastructure: K=(Adm,Stand,Ref,Irr)K=(\mathrm{Adm},\mathrm{Stand},\mathrm{Ref},\mathrm{Irr})K=(Adm,Stand,Ref,Irr) It explains what is lost if each component is denied: denying admissibility destroys route licensing; denying standing destroys same-content preservation; denying reference destroys the threatened target; denying irreversibility destroys the distinction between preservation and repair. The paper imports the upstream Lean-formalized non-degenerate construction kernel as background infrastructure. It does not claim that this black-hole paper itself is a paper-specific Lean formalization. Scope and Nonclaims This paper does not claim to: compute Hawking radiation; solve black-hole microphysics; replace general relativity; deny classical black-hole solutions; prove the capstone universe theorem; prove a paper-specific Lean formalization of black-hole reconstruction. Its role is to establish the black-hole target grammar used by the rest of the arc. Role in the Arc This paper exports: the black-hole exterior quotient framework; the role-classification discipline; the kernel-deletion explanation; the certificate vocabulary; the distinction between exterior parameter standing and interior fact inventory. It prepares the target for Paper I’s exterior no-totalization theorem. This paper is downstream of: Non-Degenerate Construction and the Kernel of Admissibility  The Structure of Admissibility