Full dossier expanding the live 30-second popup and the brief article Two Monsters, One Cure into a working-physicist-depth treatment. Governed by
DOSSIER_BUILD_PROTOCOL.mdandFABLE_GUIDING_PHILOSOPHY.md. STATUS-UPGRADES:0 — this dossier reflects the gate's honest current status and never upgrades the grade. Primary consumer: the specialist who will close the open holes (§6). Openness policy: the physics, reasoning, and closure paths are shared in full; device engineering is firewalled out entirely.
Headline. A smallest physical length kills the black-hole singularity outright. The infinite center of a black hole is a continuum artifact — it lives only in the limit r→0, and that limit is nothing but the assumption that space is divisible forever. Forbid the limit with a length floor ℓ and the curvature blow-up becomes a place the geometry never visits: the center is finite, smooth, and computed. On a representative resolved core the central curvature invariant is K(0) = 24/ℓ⁴ — a small de Sitter heart of curvature ~1/ℓ² — which recovers the exact Schwarzschild exterior far from the center and still carries a genuine black-hole horizon. The one-way horizon then splits cleanly into a global eternal event horizon (an idealization the real universe never quite signs) and a local trapping horizon (which survives, and still holds you for the hole's entire life).
Honest grade (matches the live popup chip). CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom) — direction held.
This is not a claim that we solved quantum gravity, derived the unique black-hole interior, or found a way out of a black hole. It is the precise, defensible statement that the obligation of a singularity is removed by one foundational axiom the program already pays — a smallest length — and that, once removed, the replacement is finite, computable, and reduces correctly to known physics. The word dissolved is load-bearing and is used in its strict sense: the singularity was never a feature of nature, only of an idealization (the continuum), so it is dissolved rather than solved. We separately clarify the horizon: we show that the eternal, absolutely-one-way event horizon is a global, teleological idealization that evaporation and a Λ>0 universe both strain, while the local trapping horizon is the robust, lifetime-long, genuinely one-way object that remains.
What this dossier establishes and does not. It establishes: (i) that the Schwarzschild central singularity is a continuum artifact, rigorous and axiom-conditional; (ii) a finite, symbolically-verified replacement core with all its curvature invariants and its horizon structure computed; (iii) an honest, fully-disclosed cost ledger (strong-energy-condition violation, effective non-vacuum source, inner Cauchy horizon); (iv) a careful split of the horizon concept and the seam that makes the core-resolution and the eternal-horizon-removal one act. It does not establish: a uniquely derived interior profile (granularity fixes the family, not the member); the dynamical endpoint of the static interior (the inner-horizon instability is asserted as generic, not computed for this core); the fate of sub-threshold ultracompact remnants; or anything about black-hole entropy S = A/4 and the Page-curve mechanism (deliberately untouched here and tracked separately at Gap-13). These are the five open holes of §6, each handed to a specialist as a work package.
The honest edge, framed as strength. The whole result rides on one axiom — a smallest physical length ℓ. This is not a free knob tuned to taste; it is a foundational floor anchor of the entire program (the same granularity that underwrites the discrete-geometry construction elsewhere in the corpus). Granularity removes the obligation of a singularity and fixes the family of the resolved core: finite center, scale ~ℓ, curvature ~1/ℓ². The demand for THE uniquely-correct interior "under any possible mathematics" is a universal claim no one in any field can satisfy — a limit on all knowledge, not a gap in ours. The bounded claim (granularity fixes the family) is the ceiling, not a hedge. What stays an honest, falsifiable bet is named explicitly: the resolved core must violate the strong energy condition, 8π(ρ+p_r+2p_t) = −6/ℓ² < 0 (precisely how it evades the Penrose–Hawking theorems), and it carries an inner Cauchy horizon that generically should destabilize — so the static interior is probably not the last dynamical word.
Source basis for §1: rendered/TOE/BLACK_HOLE_DISSOLUTION_PAPER.md (abstract + §§2–7); rendered/TOE/30pagedoc/handoffs/BLACKHOLE_SINGULARITY.md (spine + honest status); rendered/TOE/GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md lines 56, 1635–1647. All numbers in this section independently re-verified symbolically (see §5).
A black hole presents physics with two distinct pathologies that the field has too often bundled under one word.
The central singularity (a magnitude pathology). In the Schwarzschild solution the curvature is finite everywhere except the center. The coordinate-independent diagnostic is the Kretschmann scalar — the full contraction of the Riemann tensor with itself, which no choice of observer can transform away:
$$ K \equiv R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma} = \frac{48\,G^2 M^2}{c^4\, r^6}. $$
As r→0 this diverges. Tidal forces become unbounded, and general relativity stops returning answers — it returns ∞, which is operationally the same as returning nothing. By the Penrose (1965) and Hawking–Penrose (1970) singularity theorems, this is not a fluke of high symmetry: under the strong energy condition plus a trapped surface and global causality, geodesic incompleteness is forced. The singularity is, in the classical theory, mandatory.
The one-way horizon (a causality pathology). At the Schwarzschild radius r_s = 2GM/c² the geometry grows a one-way membrane. Crossing inward, nothing — signal, light, observer — can ever climb back out. From outside, an infalling clock appears to freeze and redshift to nothing at the boundary. The scandal here is not infinite magnitude but infinite commitment: a boundary passable exactly once, in exactly one direction. This raises the information paradox — if the only thing that comes back is thermal Hawking radiation, where did the infalling information go?
These are different crimes — one of magnitude, one of causality — and the cure for one is nothing like the cure for the other.
This dossier is scrupulous about prior art, because the honest contribution depends on it.
Regular (singularity-free) black holes are an established idea. The lineage is real literature, named in the corpus: - Bardeen (1968) — the first regular black-hole metric, later understood as sourced by nonlinear electrodynamics. - Hayward (2006) — the minimal regular metric with a clean de Sitter center and an exact Schwarzschild tail; this is the representative profile computed here. - Dymnikova (1992) — a regular vacuum/de Sitter-core black hole. - "Planck star" picture (Rovelli–Vidotto 2014 and related) — the loop-quantum-gravity-motivated bounce-core proposal.
All share the same structural skeleton: a finite de Sitter-like core of curvature set by a fundamental length, joined to a Schwarzschild exterior, with an outer and an inner horizon.
Where each prior attempt falls short of "deriving" the interior. Every member of this family is written down as an ansatz (or sourced by a postulated matter content, e.g. a specific nonlinear-electrodynamic Lagrangian). None derives the interior matter content from a first-principles smallest-length structure; and all of them inherit the same costs — strong-energy-condition violation and a fragile inner Cauchy horizon (Carballo-Rubio et al. and others have emphasized the inner-horizon instability problem for exactly this family). So the family is well known; the member selection from a fundamental principle is not solved by anyone.
Where this work sits, honestly. The contribution is not a new regular metric and not novel physics. It is three things: (1) the framing — the singularity as an artifact of taking the continuum literally, an artifact granularity simply declines to produce, which converts "we need full quantum gravity" into "we need one axiom the program already pays"; (2) the explicit, symbolically-verified computation of the finite replacement and its horizon structure on the representative Hayward core; and (3) the join — the demonstration that resolving the core is the same act as letting an evaporating hole shed its eternal event horizon, plus the clean split of "horizon" into its global-idealized and local-robust parts. The novelty is conceptual and organizational, riding on an axiom; the metric algebra is standard and is credited as such.
Source basis for §2: paper §§1–3, 7 (BLACK_HOLE_DISSOLUTION_PAPER.md), which names Bardeen/Hayward/Dymnikova/Planck-star and the Penrose–Hawking framing; standard GR references for the singularity theorems and the AMPS firewall.
This section shows the work. Every displayed result was re-derived symbolically for this dossier (the verification script and outputs are in §5); the corpus values match exactly.
Start from the exterior Kretschmann scalar of Schwarzschild, $$ K(r) = \frac{48\,G^2 M^2}{c^4\, r^6}. $$ This is finite at every radius r > 0. The divergence exists only in the limit r→0. The crucial observation is that "take r→0" is not an innocent mathematical step: it asserts that one may keep probing to arbitrarily small radius — that space is divisible without end. That is the continuum assumption, and it is precisely what the program's granularity axiom denies.
Grant a smallest physical length ℓ — a floor below which "closer to the center" stops meaning anything. Then: - the point r = 0 is never reached by any probe or worldline; - the divergence is a limit approached but never attained; - the puncture is replaced by a finite core.
This is rigorous conditional on the axiom. It does not require knowing the detailed UV physics. It only requires that the limit which produces the infinity is forbidden. That is the precise sense of dissolution: the singularity is removed not by a new force or a new solution, but by withdrawing the idealization that manufactured it.
The diagnostic that proves it was an artifact. Send ℓ→0 (restore the continuum) and the infinity returns continuously: K(0) = 24/ℓ⁴ → ∞. An object that smoothly reappears the moment you restore the continuum, and disappears the moment you grant a floor, is a feature of the continuum, not of the physics. This is the cleanest possible signature of an artifact.
To make "finite core" concrete and checkable we compute on a representative regular profile — Hayward's, the minimal member with a clean de Sitter center and an exact Schwarzschild tail:
$$ f(r) = 1 - \frac{2\,m\,r^2}{r^3 + 2\,m\,\ell^2}, \qquad m \equiv \frac{GM}{c^2},\quad \ell \sim \ell_{\min}. $$
The static, spherically symmetric line element is $$ ds^2 = -f(r)\,c^2 dt^2 + \frac{dr^2}{f(r)} + r^2\, d\Omega^2 . $$
For this metric class the curvature invariants reduce to closed forms in f and its derivatives. Writing $f' = df/dr$, $f'' = d^2f/dr^2$, the Kretschmann scalar is $$ K = (f'')^2 + 4\left(\frac{f'}{r}\right)^2 + 4\left(\frac{1-f}{r^2}\right)^2 , $$ and the Ricci scalar is $$ R = -f'' - \frac{4 f'}{r} - \frac{2(f-1)}{r^2} . $$
Substituting Hayward's f and taking r→0:
Near-center metric (exact de Sitter heart). $$ f(r)\big|_{r\to 0} = 1 - \frac{r^2}{\ell^2} + O(r^4). $$ This is precisely the form of a de Sitter (cosmological-constant) core. The effective cosmological constant read off from $f = 1 - \Lambda_{\rm eff} r^2/3$ is $$ \boxed{\;\Lambda_{\rm eff} = \frac{3}{\ell^2}\;} $$
Central curvature invariants (finite). $$ \boxed{\;K(0) = \frac{24}{\ell^4}\;} \qquad \boxed{\;R(0) = \frac{12}{\ell^2}\;} $$ Both finite, both set by the single scale ℓ. Where the continuum had ∞, granularity has a small, smooth, positively-curved heart of curvature ~1/ℓ². The singularity is gone and what replaces it is fully computed.
For r ≫ ℓ the granular correction must vanish identically, or the construction would contradict every solar-system and strong-field test. It does. The large-r expansion of the Kretschmann scalar is $$ K(r)\xrightarrow{\;r\gg\ell\;} \frac{48\,m^2}{r^6} = \frac{48\,G^2 M^2}{c^4 r^6}, $$ which is exactly the Schwarzschild Kretschmann scalar — not an approximation, the leading term is identical and the correction is suppressed by powers of (ℓ/r). The resolved black hole is observationally Schwarzschild everywhere a telescope can reach.
The metric function f(r) = 0 determines the horizons. Hayward's f has, in general, two roots — an outer (event/trapping) horizon and an inner (Cauchy) horizon — exactly as Reissner–Nordström does. The two roots merge at a critical mass. Solving f = 0 and f' = 0 simultaneously (the double-root condition) gives the threshold: $$ \boxed{\;m_{\rm crit} = \frac{3\sqrt{3}}{4}\,\ell \approx 1.3\,\ell\;}, \qquad r_{\rm horizon}\big|_{\rm crit} = \sqrt{3}\,\ell . $$
A finite center is not free. The bill, computed exactly:
(a) Strong energy condition violated — by design. Reading the effective stress-energy off the Einstein tensor for this metric (with $8\pi\rho = (1 - f - r f')/r^2$, $p_r = -\rho$, $8\pi p_t = f''/2 + f'/r$), the strong-energy combination at the center is $$ \boxed{\;8\pi\,(\rho + p_r + 2p_t)\big|_{r\to 0} = -\frac{6}{\ell^2} < 0\;}, \qquad p_r = -\rho . $$ This negative value is not an embarrassment — it is precisely the mechanism by which the Penrose–Hawking theorems are evaded. Those theorems assume the strong energy condition; a regular core must violate it. No regular core exists without paying this price.
(b) An effective non-vacuum source is required. The core is not a solution of vacuum GR. The above stress-energy must come from something — a nonlinear-electrodynamic Lagrangian, a vacuum-polarization-like effective source, or similar. Granularity motivates a finite center and fixes its family, but it does not, by itself, hand us the field equations that produce this particular matter content. That is open hole #1.
(c) An inner Cauchy horizon, generically fragile. The second root of f = 0 is a Cauchy horizon. Cauchy horizons generically suffer the mass-inflation instability (Poisson–Israel 1990; recently emphasized for exactly the regular-black-hole family by Carballo-Rubio et al.). So the static regular interior is probably not the dynamical endpoint. Crucially, in this work that instability is asserted as generic, not computed for this specific core — that is open hole #2, and it is stated as such, not papered over.
Pull the second monster apart.
The event horizon is a statement about forever. Its definition is $$ \mathcal{E} = \partial J^-(\mathscr{I}^+), $$ the boundary of the causal past of future null infinity. Two features of this definition are decisive: it is teleological (to locate it here and now you must know the entire future of the spacetime), and it is global (it references $\mathscr{I}^+$, a structure of the whole spacetime that must genuinely exist for the definition to mean anything).
Both inputs fail in the real universe: - Evaporation contradicts "forever." Hawking (1974): a real hole radiates, with a finite lifetime — ~10⁶⁷ yr for a stellar-mass hole, up to ~10¹⁰⁰ yr for a supermassive one. The hole ends. - Asymptotic flatness may not even be well-posed. Our universe has Λ > 0. In de Sitter space, future infinity is spacelike, every observer has a cosmological horizon, and the asymptotically-flat $\mathscr{I}^+$ the definition leans on is arguably not the right object at all.
The honest caveat (no overreach). Evaporation alone does not erase the event horizon. If the interior still terminates in a singularity — a spacelike edge where spacetime stops — that singularity is itself a causal cutter: it severs the interior from $\mathscr{I}^+$ for as long as it exists, leaving a finite-lived event horizon. The global sealing-off still happens; it just gets an expiration date instead of "forever."
The join — one act, two faces. What fully removes the event horizon (not shortens it) is evaporation together with a smooth, singularity-free interior — an interior with no causal cutter, through which causal curves can pass and reach the outside once the hole is gone. This is Hawking's 2014 reading: with a smooth interior there are no event horizons, only apparent horizons. And that interior is exactly the granular core of §3.3. The same smallest-length floor that capped K(0) at 24/ℓ⁴ removes the causal cutter the eternal horizon secretly depends on. Resolving the core and dissolving the eternal horizon are the same achievement seen from two sides. Note the route: granularity does not soften the gentle near-horizon region (which stays featureless and crossable, as the equivalence principle demands) — it reaches the global causal structure through the core.
What survives — the trapping horizon, and it still holds you. The robust object is the quasi-local trapping (apparent) horizon: the boundary of marginally trapped surfaces, where the outgoing null expansion vanishes, θ_out = 0 (Ashtekar–Krishnan). It is defined locally — no infinite future, no asymptotic infinity required — so none of the idealization-attacks touch it. Inside it, outgoing light itself converges; escape would mean outrunning light. It is practically one-way for the hole's entire 10⁶⁷–10¹⁰⁰-yr life (the universe is only ~10¹⁰ yr old; for any conceivable purpose that is absolute). The only outflow is thermal — the Hawking glow. The Page-curve / island results say the information does eventually return, but encoded non-locally and unrecognizably in the late radiation, never as the infalling object climbing back through. Locally featureless is not leaky.
Source basis for §3: paper §§2–6 for every equation; all boxed results independently re-derived in §5.
These are the specific moves that made the progress believable and reproducible — shared in full, because sharing them is how the open holes get closed.
Insight 1 — separate magnitude from causality. The field's habit of calling both pathologies "the singularity" hides the fact that they need different cures. Once you split them — the center is a magnitude problem, the edge is a causality problem — each becomes tractable on its own terms, and (surprise) the cure for the first turns out to be the surgery the second needs.
Insight 2 — the singularity is an artifact of a limit, and limits encode assumptions. The infinity in K is reached only as r→0. The move is to ask what assumption that limit smuggles in. The answer — infinite divisibility of space — is exactly the continuum hypothesis the program already rejects via granularity. So the singularity is dissolved by an axiom already on the books, not by new physics. The ℓ→0 continuity check is the proof-of-artifact: the infinity is continuously connected to the continuum limit.
Insight 3 — fix the family, refuse to fake the member. Granularity forces that there is a finite core of scale ~ℓ and curvature ~1/ℓ². It does not force which regular metric. The disciplined move is to compute on a representative member (Hayward, chosen because it has the cleanest de Sitter center and an exact Schwarzschild tail), state every result as a family property where it is one, and explicitly refuse to claim "THE interior." This is the κ³/π / target-blind discipline applied here: don't back-solve to a desired unique answer.
Insight 4 — disclose the evasion mechanism as the proof, not the embarrassment. The Penrose–Hawking theorems are theorems — if you avoid their conclusion you must violate a hypothesis. The strong-energy-condition violation 8π(ρ+p_r+2p_t) = −6/ℓ² < 0 is therefore not a bug to hide; it is the receipt showing exactly which hypothesis the resolution pays to evade. Stating it openly makes the result more credible, not less.
Insight 5 — the horizon is a knot. Locally, every patch of the horizon is featureless low-curvature vacuum (rope); globally, the light-cones thread so the inside cannot signal the outside (the knot). One-wayness is a property of the whole causal configuration, invisible to every local probe — which is why an infalling observer feels nothing yet still cannot get out. This dissolves the apparent contradiction between "you cross feeling nothing" and "you can never escape."
Insight 6 — distinguish what is defined teleologically from what is defined locally. The event horizon needs the entire future and a true infinity; the trapping horizon needs neither. Identifying which object each argument actually touches is what lets us retire the eternal idealization without claiming escape — because the local survivor is untouched by every attack that fells the global construct.
Insight 7 — the seam. The most consequential move: noticing that "smooth interior" is the single shared requirement of both (a) finite central curvature and (b) shedding the eternal event horizon. That observation is what turns two results into one and what aligns this gate with Hawking's 2014 picture.
Source basis for §4: paper §§1, 4, 5 (knot analogy, the join, the teleological/local split); handoff spine.
| Claim | Result | Status |
|---|---|---|
| Singularity is a continuum artifact | K = 48G²M²/c⁴r⁶ diverges only as r→0; floor ℓ makes the limit unreachable | rigorous, axiom-conditional |
| Finite center | K(0) = 24/ℓ⁴ (finite) | symbolically verified |
| de Sitter heart | f ≈ 1 − r²/ℓ² near center; Λ_eff = 3/ℓ²; R(0) = 12/ℓ² | symbolically verified |
| Exterior recovery | K → 48m²/r⁶ for r≫ℓ (exact Schwarzschild) | symbolically verified |
| Genuine horizon survives | outer horizon for m > m_crit = 3√3·ℓ/4 ≈ 1.3ℓ; r_h = √3·ℓ at threshold | symbolically verified |
| Continuity / artifact proof | ℓ→0 ⇒ K(0) = 24/ℓ⁴ → ∞ continuously | algebraic |
| SEC violation (evasion mechanism) | 8π(ρ+p_r+2p_t) = −6/ℓ² < 0; p_r = −ρ | symbolically verified |
| Horizon split | eternal event horizon ∂J⁻(𝓘⁺) is global/teleological, strained by evaporation + Λ>0; trapping horizon θ_out=0 survives, one-way over 10⁶⁷–10¹⁰⁰ yr, thermal-only return | argument (standard GR) |
| The join | removing the deep-interior singularity is exactly the smooth interior an evaporating hole needs to shed its eternal horizon (Hawking 2014) | argument |
Every boxed equation above was re-derived from scratch with SymPy 1.14.0, starting only from the Hayward f(r), the standard static-spherical metric, and the closed-form curvature invariants. The script computes K(0), the near-center series of f, the large-r expansion of K, R(0), the double-root (extremal) condition, and the strong-energy combination. All outputs match the corpus exactly:
K(0) = 24/l**4
f near 0: -r**2/l**2 + 1 + O(r**4)
K large r leading: 48*m**2/r**6 + O(r**-8)
R(0) = 12/l**2
threshold solutions: {m: 3*sqrt(3)*l/4, r: sqrt(3)*l}
8pi(rho+pr+2pt) at center = -6/l**2
p_r + rho = 0
This reproduces the paper's "verified symbolically" claim independently. No number in this dossier is taken on faith; each traces either to BLACK_HOLE_DISSOLUTION_PAPER.md (and the matching regrade entry) and to this re-derivation.
Any CAS (SymPy, Mathematica, Maple) reproduces every boxed value in minutes. The merger no-tear cross-check (Hawking's area theorem; GW150914 re-analysis by Isi, Farr et al. ~2021, final area ≥ summed progenitor areas at ~95% confidence) is an external observational corroboration of the "nothing local at the edge" claim and is cited as such — at the weight of an illustration/empirical anchor of the §3.7 conclusion, not a from-scratch proof.
Per the handoff, the frozen docs deny none of the claims above (bright-line list is empty). The dossier therefore prints nothing the corpus forbids.
Source basis for §5: paper §§2–3, 7; regrade lines 1641–1647; verification script and outputs generated for this dossier (SymPy 1.14.0).
This is the most load-bearing section. Five holes. Each is a self-contained work package. None of these is required for the gate's current grade (DISSOLVED + CLARIFIED, conditional on granularity) — they are the routes to strengthen it from "the family is fixed" toward "the member is derived" and "the dynamics are known." A refuting result on any of them is a valid, publishable close.
(a) Precise statement. Granularity fixes the family (finite core, scale ℓ, curvature ~1/ℓ²) but the field equations / effective stress-energy that produce this specific matter content are not derived from the program. The missing object is: the effective stress-energy tensor T_μν^eff (or the Lagrangian generating it) that a smallest-length structure actually induces, together with a demonstration of which regular-core member that induced source selects — or, failing a unique selection, an honest bound on the sub-family the axiom forces.
(b) Why it's hard / traps. The whole prior-art family (Bardeen, Hayward, Dymnikova, Planck-star) writes the metric or the source down by hand; nobody derives it from a fundamental length. The trap is the unicorn: claiming to select "THE unique interior under any possible mathematics" is an absolute uniqueness over an open-ended space of regularizations — unprovable in principle, and exactly the overreach the program forbids. Do not back-solve to reproduce Hayward's specific f because it is convenient (target-fitting). The bounded, legitimate target is the induced source, with whatever (non-unique) selection it genuinely forces.
(c) Exactly what closes it. Derive T_μν^eff from the smallest-length structure (candidate routes: a nonlinear-electrodynamic Lagrangian whose weak-field limit is Maxwell and whose strong-field core caps the field; or a vacuum-polarization / effective-action correction with an ℓ cutoff). Success criterion: a derivation that yields the family properties (finite center, scale ℓ, curvature ~1/ℓ²) and either selects a member or rigorously bounds the admissible sub-family — target-blind, not tuned to Hayward. A valid refuting result: a proof that granularity-of-this-form induces no consistent regular source (which would itself be a sharp, publishable negative).
(d) Machinery & inputs. Static spherical Einstein equations as in §3 (8πρ = (1−f−rf′)/r², p_r = −ρ, 8πp_t = f″/2 + f′/r); nonlinear-electrodynamics formalism (Bardeen-as-magnetic-monopole construction; Ayón-Beato–García); effective-action / heat-kernel methods for the vacuum-polarization route. Start files: rendered/TOE/BLACK_HOLE_DISSOLUTION_PAPER.md §3; the verification script pattern in §5 of this dossier.
(e) Leverage. Closing this upgrades the core from "chosen representative" toward "induced," which directly strengthens the headline and tightens hole #2 (a derived source pins the inner-horizon dynamics) and hole #3 (it fixes the sub-threshold remnant's matter content).
(a) Precise statement. The inner (Cauchy) horizon's mass-inflation instability is asserted as "generic/probable," not computed for this specific de-Sitter-core background. The missing object is the dynamical endpoint: does the inner horizon destabilize, and to what regular or singular state does the interior settle?
(b) Why it's hard / traps. Mass inflation is a nonlinear, dynamical phenomenon (Poisson–Israel; Ori) — perturbation theory captures onset but not endpoint, and full numerics are demanding. Recent literature (Carballo-Rubio et al.) argues the instability is severe for the regular-BH family generically, but "generic" is not "this core." The trap: asserting an endpoint (e.g. "it settles to a regular remnant" or "it re-forms a singularity") without the computation — that would be exactly the kind of unbacked dynamical claim the program flags. State onset and endpoint separately; do not let onset masquerade as endpoint.
(c) Exactly what closes it. A dynamical mass-inflation calculation on the Hayward / de-Sitter-core background. Minimal version: linear perturbations with an ingoing flux, extracting the exponential growth rate of the quasi-local mass at the inner horizon (onset). Full version: numerical evolution (e.g. double-null / characteristic) to the endpoint state. Success criterion: a computed growth rate and a characterized endpoint (regular remnant, weak/strong singularity, or bounce). A refuting result — that for this core the inner horizon is stable or only mildly (integrable) singular — would be a major strengthening, not a loss.
(d) Machinery & inputs. Ori-type mass-inflation framework; double-null numerical relativity; the inner-root structure of f(r) = 0 (the second root from §3.5). The extremal threshold m_crit = 3√3·ℓ/4 from §3 bounds where the inner horizon exists. Start: BLACK_HOLE_DISSOLUTION_PAPER.md §3 (inner-horizon disclosure); Carballo-Rubio et al. for the family-level argument to specialize.
(e) Leverage. Determines whether the static interior of §3 is the physical endpoint or a transient. If it destabilizes to another regular state, the dissolution survives in upgraded form; if it re-singularizes, the honest claim narrows to "transiently regular." Either way it sharpens the gate's true ceiling and feeds hole #3.
(a) Precise statement. Below threshold, m < m_crit = 3√3·ℓ/4 ≈ 1.3ℓ, f(r) = 0 has no root: the object is a horizonless ultracompact remnant. Its fate — viable stable end-state, or collapse/dispersal — is left open.
(b) Why it's hard / traps. Horizonless ultracompact objects with a light ring generically face the ergoregion / light-ring instability and can support long-lived trapped modes ("echoes"). The analysis is subtle: the presence of a light ring is necessary but the instability depends on rotation, reflectivity, and the interior. The trap: declaring it a stable remnant (a tempting "nothing is ever lost" story) without the stability computation — or, conversely, declaring it unstable without checking the non-rotating case where the ergoregion instability is absent.
(c) Exactly what closes it. A linear-stability / quasinormal-mode analysis of the sub-threshold remnant: compute the QNM spectrum, check for unstable modes (ergoregion instability if rotating; radial/non-radial instabilities), and characterize echo signatures. Success criterion: a definite verdict — stable viable remnant, or unstable with a characterized decay/collapse channel and timescale. A refuting result (the remnant is generically unstable and disperses) cleanly closes the hole as a negative.
(d) Machinery & inputs. QNM / Regge–Wheeler–Zerilli perturbation theory adapted to the regular metric; ergoregion-instability analysis (Friedman; Cardoso et al. on ultracompact objects and echoes). Inputs: the sub-threshold branch of Hayward's f (§3.5), m_crit and r_h = √3·ℓ from §3. Start: BLACK_HOLE_DISSOLUTION_PAPER.md §3 (sub-threshold disclosure).
(e) Leverage. Decides whether Planck-mass-scale regular remnants are a viable end-state of evaporation — directly relevant to the information-paradox endgame and to any remnant-based resolution of unitarity.
(a) Precise statement. This gate deliberately does not touch S = A/4 or the Page-curve mechanism. The popup correctly defers them to Gap-13, which is closed on the ratified board as CERTIFIED-IRREDUCIBLE · RESOLVED +0 — its S = A/4 result stands as a conditional theorem whose named hypotheses are the external work below. The missing object there: the order-6 boundary Seeley–DeWitt coefficient for the relevant mixed Neumann/Dirichlet S¹_Y/Z₂-orbifold-boundary plus conical-defect heat kernel — the boundary heat-kernel tower currently stops at a₅. This coefficient discharges hypotheses H3/H4 of the HORIZON-ADMISSIBILITY theorem; H1/H2 additionally need SG-6 internal stability and UQF-3/UQF-9 saddle existence.
(b) Why it's hard / traps. Boundary heat-kernel coefficients beyond a₅ are genuinely hard; the orbifold-boundary + conical-defect combination is not standard textbook material. The trap is scope creep into this gate: do not let an S = A/4 claim leak into the black-hole-dissolution dossier — it belongs to Gap-13 and the firewall between the two must hold. Also: the bulk a₆ is already complete per the Gap-13 handoff (2026-06-25); only the defect/boundary coefficient is blocked. Do not redo the bulk.
(c) Exactly what closes it. Compute the order-6 mixed-boundary-condition + conical-defect Seeley–DeWitt coefficient to discharge H3/H4; independently establish SG-6 internal stability and UQF-3/UQF-9 saddle existence for H1/H2. Success criterion: all four hypotheses of the HORIZON-ADMISSIBILITY theorem discharged, making S = A/4 a non-conditional output. A refuting result (the coefficient produces the wrong S coefficient, or a hypothesis fails) would falsify the conditional entropy theorem — a valid close at Gap-13.
(d) Machinery & inputs. Boundary heat-kernel / Seeley–DeWitt machinery for manifolds-with-boundary and conical defects (Gilkey; Vassilevich review); the Gap-13 dossier and its handoff (2026-06-25). This work happens at Gap-13, not here; this entry exists only to route the specialist correctly and to keep the firewall explicit.
(e) Leverage. Closing Gap-13 would let the black-hole story extend from "singularity dissolved + horizon clarified" toward "entropy and information accounted" — but only via Gap-13, never by importing claims into this gate.
(a) Precise statement. The entropy leg (Gap-13) carries two distinct unverified consistency conditions, and both must be discharged — they are not the same condition wearing two names. KT-2 (EH normalization): the dimensional reduction of the frozen branch yields an effective Newton constant G_eff equal to the measured Newton G, for the exact frozen K₆×S²×S¹ internal geometry. KT-5 (no order-A higher-curvature / Wald term): the induced 4D effective action contains no curvature-squared / Gauss–Bonnet / f(R) / Wald contribution at the relevant order — any such term shifts the leading S = A/4 coefficient. Per the Gap-13 handoff (2026-06-25, lines 199–209), KT-2 is asserted "by construction" but not independently verified, and KT-5 is flagged UNVERIFIED (it needs the actual 4D effective action including the curvature-squared sector). Both are genuine failure modes under which the 1/4 coefficient "could have come out wrong."
(b) Why it's hard / traps. "By construction" is exactly the phrase the program's honesty guards flag — an assertion is not a verification. For KT-2 the trap is accepting G_eff = G because the construction was designed to give it, without checking that the reduction's volume factors and kinetic normalizations actually land canonically; a hidden non-canonical kinetic rescaling would silently shift G_eff. For KT-5 the trap is the mis-merge: KT-5 is near-coextensive with the order-6 boundary coefficient of Hole #4 (H4), but the handoff treats it as a separate unverified condition, so folding the whole entropy leg behind "one named, blocked heat-kernel coefficient" understates the cost — it hides KT-5 (Wald / higher-curvature non-existence) as if already discharged. Do not collapse the two.
(c) Exactly what closes it. For KT-2: independently carry out the dimensional reduction of the frozen branch on the exact internal geometry and read off G_eff from the 4D Einstein–Hilbert term, confirming it equals measured G with no compensating volume or kinetic rescaling. For KT-5: compute the induced 4D effective action to the order that controls the entropy coefficient and show the curvature-squared / Gauss–Bonnet / Wald sector contributes no order-A shift (or quantify the shift it does contribute). Success criterion: G_eff = G verified canonically (KT-2) and the absence (or bounded size) of any Wald / higher-curvature correction established (KT-5). A refuting result on either (G_eff ≠ G except after a non-canonical rescaling; or a nonzero Wald term shifting 1/4) would expose a real gap in the entropy leg.
(d) Machinery & inputs. Kaluza–Klein dimensional-reduction formalism; the frozen internal-geometry spec (the exact K₆×S²×S¹ reduction; frozen hashes referenced in the corpus exact-geometry anchor); for KT-5, the 4D effective-action / Wald-entropy formalism including R², Gauss–Bonnet and f(R) terms. Start: the Gap-13 HORIZON-ADMISSIBILITY pass (rendered/TOE/PER_GATE_DOSSIERS/GAP13_COMPLETION_HANDOFF/09_HORIZON_ADMISSIBILITY_PASS_2026-06-25.md, H4 + the KT-2/KT-5 ledger, lines 52, 199–209). This is Gap-13-adjacent verification, not a black-hole-interior task; it is listed because the entropy leg this gate defers to depends on both conditions.
(e) Leverage. Verifying KT-2 and KT-5 removes two of the named blocked conditions on the conditional S = A/4 theorem at Gap-13, indirectly strengthening the deferred entropy/information leg of the black-hole story.
Firewall note for §6. Every work package above is physics — curvature invariants, stress-energy, perturbation theory, heat kernels, dimensional reduction. None of it is device engineering; nothing here builds any apparatus, and nothing touches firewalled application content. That firewall is absolute and is observed throughout.
Source basis for §6: handoff "Open holes → §6 SPECIALIST WORK PLAN" (5 holes verbatim) and SPECIALIST_HOLE_QUEUE_2026-06-29.md (BlackHole-singularity section, 5 holes); Gap-13 references — the KT-2/KT-5 ledger and H1–H4 hypotheses — from rendered/TOE/PER_GATE_DOSSIERS/GAP13_COMPLETION_HANDOFF/09_HORIZON_ADMISSIBILITY_PASS_2026-06-25.md (lines 52, 116–125, 199–209); regrade QA note GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md lines 1675–1676 (KT-5 must be named as a distinct unverified condition, not folded into the order-6 coefficient); paper §3 for the physical disclosures each hole formalizes.
The discipline of this program is to state the ceiling so plainly that no later sentence can quietly inflate it.
Dissolved ≠ solved. The singularity is dissolved: it was never physics, only an artifact of taking the continuum literally, and granularity declines to produce it. This is strictly weaker — and more honest — than "we solved the singularity with a new theory." We did not. We removed the obligation of a singularity using one axiom.
Selection ≠ derivation (family vs. member). Granularity fixes the family of resolved cores (finite center, scale ~ℓ, curvature ~1/ℓ²). It does not select the unique member. We computed on a representative member (Hayward). Claiming a uniquely-derived interior would be the overreach we refuse. (Hole #1 is the honest route to upgrade this.)
The dissolved unicorns — shared ceilings, never claimed as proven. Three claims would be unicorns — universal negatives over all possible mathematics or all future theories — and are explicitly not asserted: - "THE uniquely-correct interior under ANY possible mathematics" — unprovable in principle for any object in any field; the bounded claim (the family is fixed) is the ceiling, not a hedge. - "No future quantum-gravity theory could resolve the singularity differently or do better" — a universal negative over all future theories; the honest claim is only that, given a smallest length, the singularity is dissolved. - "Black holes are provably inescapable for all time, absolutely forever" — the eternal-event-horizon overclaim, retired by the program itself. What is true and provable is practical one-wayness over the 10⁶⁷–10¹⁰⁰-yr lifetime with no local escape — which for any conceivable purpose is absolute, but is not the eternal idealization.
Given-axiom ≠ derivation-of-axiom. The entire result is conditional on the granularity axiom (a smallest physical length ℓ). That axiom is a foundational floor anchor of the program, not derived here. Stating the result as axiom-conditional is the accurate scope.
Explicitly NOT claimed. No derived interior; no escape (no local route out at any stage); no resolution of black-hole entropy S = A/4; no resolution of the Page-curve mechanism or the information paradox (those are Gap-13, closed on the board as CERTIFIED-IRREDUCIBLE — an honestly-named external dependency). No stability of the static interior (hole #2). No fate for the sub-threshold remnant (hole #3).
Anchors paid. One axiom: a smallest physical length ℓ. Everything else in §3 follows by standard differential geometry from that axiom plus the choice of a representative core, and has been independently re-verified.
The true headline at its true weight. A smallest length dissolves the black-hole singularity into a finite, computed de Sitter core (K(0) = 24/ℓ⁴) that recovers Schwarzschild exactly outside and keeps a genuine horizon; the eternal event horizon is shown to be a global idealization the real universe never quite signs, while the local trapping horizon survives and still holds you for the hole's entire life — and these two are one act, because the smooth core is exactly the interior an evaporating hole needs to shed its eternal horizon. A principled singularity-resolution and a clarification of what the horizon is — not a derived interior, not an escape, and not a resolution of black-hole entropy or information. Conditional on granularity. Status held: CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom).
Source basis for §7: handoff "Dissolved unicorns" + "Honest status" + spine "The edge"; paper §§1, 5, 7; regrade line 56.
Dossier built per DOSSIER_BUILD_PROTOCOL.md v1. STATUS-UPGRADES:0 — grade held at the popup chip. All numerical and symbolic results traced to rendered/TOE/BLACK_HOLE_DISSOLUTION_PAPER.md and independently re-verified with SymPy 1.14.0 (§5). Physics shared in full; device-engineering applications firewalled out entirely.