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=(\mathrm{Adm},\mathrm{Stand},\mathrm{Ref},\mathrm{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:

1. Non-Degenerate Construction and the Kernel of Admissibility

2.  The Structure of Admissibility