BlackHole-singularity — Black-hole singularity + horizon (dissolution): the gate anchor ledger

The honest one-line: BlackHole-singularity is the rare gate whose central object is not closed but dissolved — a smallest physical length removes the obligation of a black-hole singularity outright, replacing the infinite center with a finite, symbolically-verified de Sitter core ($K(0)=24/\ell^4$) that recovers Schwarzschild exactly outside and keeps a genuine horizon; the eternal event horizon is clarified as a global idealization the real universe never quite signs, while the local trapping horizon survives — all conditional on the granularity axiom, and none of it a derived interior, an escape, or a resolution of black-hole entropy.

This page is the gate-specific instantiation of the anchoring method: it takes the master anchor and the four bridges and applies them, object by object, to one gate. Every exact thing this gate touches gets its own row — its status, what it is allowed to claim, and what it is forbidden to claim. It follows the same eleven-part shape and the same universal table as the canonical SG-4 ledger. Unlike SG-4's arithmetic terminal (DERIVED-GIVEN-anchor · RESOLVED +0), this gate's headline status is DISSOLVED — and dissolved ≠ solved, and that distinction is load-bearing on every row below.

selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.

1. Gate status header

• Gate-level roll-up: CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom) — DISSOLVED-GIVEN-root · RESOLVED +0 on the ratified board (2026-07-08); direction held.
• The dissolution leg (the central object). The Schwarzschild singularity is removed not by a new force or a new solution but by withdrawing the idealization that manufactured it. The closed local/conditional statement is: granting a smallest length $\ell$, the curvature blow-up is a limit approached but never attained, and the central curvature invariant is finite and computed, $$ O_{\rm BH,dissolution}(\ell) \;=\; \lim_{r\to 0}\big[\text{singular obligation}\big]\;=\;0 \quad\Longleftrightarrow\quad K(0)=\frac{24}{\ell^4}<\infty. $$
• Status, split so it cannot be misread:
  • Dissolution of the singularity: DISSOLVED (conditional on the granularity axiom). Rigorous given the smallest-length floor; the singularity was a continuum artifact, not physics. Dissolved ≠ solved.
  • Finite replacement core + invariants: DERIVED-GIVEN-AXIOM / symbolically verified — on a representative (Hayward) member of the regular-core family.
  • Horizon clarification: CLARIFIED (argument, standard GR) — eternal event horizon is a global/teleological idealization; local trapping horizon survives.
  • Interior member selection, inner-horizon dynamics, sub-threshold remnant, entropy leg: OPEN (the five residuals of §9).

The dissolution is conditional on one axiom — a smallest physical length $\ell$ — which is a foundational floor anchor of the program, not a free knob. Granularity removes the obligation of a singularity and fixes the family of the resolved core (finite center, scale $\sim\ell$, curvature $\sim 1/\ell^2$); it does not select the unique member, derive the interior field equations, or touch black-hole entropy.

selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.

2. Frozen inputs (what this gate stands on, not what it produces)

• The granularity axiom — a smallest physical length $\ell\sim\ell_{\min}$. This is the single anchor paid. It is AXIOM (foundational floor) — a declared posit of the whole program, not derived here. Every "dissolved" / "finite" statement below is a statement given this axiom; restore the continuum ($\ell\to 0$) and the infinity returns continuously, $K(0)=24/\ell^4\to\infty$.
• Frozen-doc / bright-line status. The frozen docs deny none of the claims here (the bright-line list is empty). The gate therefore prints nothing the corpus forbids. AUDIT ONLY — the frozen-doc concordance certifies which object was tested and that it cannot be quietly retuned; it does not validate the physics.
• The representative core. The Hayward profile is selected (declared representative) because it has the cleanest de Sitter center and an exact Schwarzschild tail. Selection ≠ derivation: every result is stated as a family property where it is one; "THE interior" is explicitly refused.

3. Object anchors (the structures this gate acts on, given the axiom)

The static, spherically symmetric line element and the representative core: $$ ds^2 = -f(r)\,c^2 dt^2 + \frac{dr^2}{f(r)} + r^2\, d\Omega^2,\qquad f(r) = 1 - \frac{2\,m\,r^2}{r^3 + 2\,m\,\ell^2},\quad m \equiv \frac{GM}{c^2}. $$ For this metric class the curvature invariants reduce to closed forms in $f$ and its derivatives: $$ K = (f'')^2 + 4\left(\frac{f'}{r}\right)^2 + 4\left(\frac{1-f}{r^2}\right)^2,\qquad R = -f'' - \frac{4 f'}{r} - \frac{2(f-1)}{r^2}. $$ Status: GIVEN-AXIOM + representative-selected — the metric algebra is standard GR and is credited as such; the smallest-length scale $\ell$ is the only physics input, and the member $f(r)$ is a declared representative, not a derived object.

4. Root and master-anchor traceability

Deep roots that are load-bearing for this gate:

Granularity is primary here in a way it is not for most gates: it is the entire pivot of the dissolution.

Master anchors in play: the granularity floor axiom · scale-from-$\ell$ · the frozen-doc concordance (AUDIT ONLY) · representative-not-derived discipline · open-residual discipline · the firewall between this gate (physics) and the entropy leg (Gap-13).

5. The anchor ledger (the universal table)

6. The arithmetic — the dissolution, in full

The continuum-artifact argument (axiom-conditional, rigorous). The exterior Kretschmann scalar $$ K(r) = \frac{48\,G^2 M^2}{c^4\, r^6} $$ is finite at every radius $r>0$; the divergence exists only in the limit $r\to 0$. That limit is not innocent — it asserts space is divisible without end, the very continuum assumption granularity denies. Grant the floor $\ell$: the point $r=0$ is never reached, the divergence is approached but never attained, and the puncture becomes a finite core. This is rigorous conditional on the axiom and requires no detailed UV physics.

The finite center (the key computation). Substituting Hayward's $f$ and taking $r\to0$: $$ f(r)\big|_{r\to 0} = 1 - \frac{r^2}{\ell^2} + O(r^4),\qquad \boxed{\;\Lambda_{\rm eff}=\frac{3}{\ell^2}\;},\qquad \boxed{\;K(0)=\frac{24}{\ell^4}\;},\qquad \boxed{\;R(0)=\frac{12}{\ell^2}\;}. $$ Both invariants finite, both set by the single scale $\ell$. Where the continuum had $\infty$, granularity has a small, smooth, positively-curved de Sitter heart.

Exterior recovery (exact Schwarzschild). For $r\gg\ell$ the granular correction vanishes identically: $$ K(r)\xrightarrow{\;r\gg\ell\;} \frac{48\,m^2}{r^6}=\frac{48\,G^2M^2}{c^4 r^6}, $$ the exact Schwarzschild leading term, correction suppressed by powers of $(\ell/r)$.

It is still a black hole — horizon structure. Solving $f=0$ and $f'=0$ simultaneously (the double-root / extremal condition): $$ \boxed{\;m_{\rm crit}=\frac{3\sqrt3}{4}\,\ell\approx1.3\,\ell\;},\qquad r_{\rm horizon}\big|_{\rm crit}=\sqrt3\,\ell. $$ For $m>m_{\rm crit}$ two distinct horizons (a genuine outer black-hole horizon survives); at $m=m_{\rm crit}$ extremal; for $m<m_{\rm crit}$ a horizonless ultracompact remnant.

The cost ledger (disclosed, computed). The strong-energy combination at the center is $$ \boxed{\;8\pi\,(\rho+p_r+2p_t)\big|_{r\to0}=-\frac{6}{\ell^2}<0\;},\qquad p_r=-\rho. $$ This negative value is the receipt showing exactly which Penrose–Hawking hypothesis the resolution pays to evade — disclosed as proof, not embarrassment.

Diagnostic — the dissolution is specific, not trivial. The artifact-proof is the $\ell\to0$ continuity check: restore the continuum and the infinity returns continuously, $K(0)=24/\ell^4\to\infty$. An object that smoothly reappears the instant the continuum is restored, and disappears the instant a floor is granted, is a feature of the continuum, not of the physics — the cleanest possible signature of an artifact, and a non-trivial one because the finite value $24/\ell^4$ is itself a definite, scale-locked number rather than a tunable knob.

Every boxed equation was independently re-derived with SymPy 1.14.0 for the dossier; all outputs match the corpus exactly (dossier §5).

7. The horizon, split into honest objects

The single word "horizon" hides three different objects with three different statuses:

1. The eternal event horizon $\mathcal{E}=\partial J^-(\mathscr I^+)$. Status: CLARIFIED → RETIRED idealization. Its definition is teleological (needs the entire future) and global (needs a true asymptotic $\mathscr I^+$). Both inputs fail in the real universe: evaporation gives a finite lifetime ($\sim10^{67}$ yr stellar, up to $\sim10^{100}$ yr supermassive), and $\Lambda>0$ makes future infinity spacelike. The honest caveat: evaporation alone leaves a finite-lived event horizon if the interior still terminates in a singular causal cutter — what fully removes it is evaporation together with a smooth interior.
2. The trapping (apparent) horizon $\theta_{\rm out}=0$. Status: CLARIFIED (survives). Defined locally — no infinite future, no asymptotic infinity — so none of the idealization-attacks touch it. It is practically one-way for the hole's entire $10^{67}$–$10^{100}$-yr life; the only outflow is thermal (the Hawking glow). The Page/island results say information eventually returns, encoded non-locally in late radiation, never as the infalling object climbing back through.
3. The join. Status: CLARIFIED (argument, Hawking 2014). "Smooth interior" is the single shared requirement of both (a) finite central curvature and (b) shedding the eternal event horizon. The same smallest-length floor that capped $K(0)$ at $24/\ell^4$ removes the causal cutter the eternal horizon secretly depends on — so resolving the core and dissolving the eternal horizon are the same achievement seen from two sides (no event horizons, only apparent horizons). Granularity reaches the global causal structure through the core; it does not soften the gentle, crossable near-horizon region.

So the eternal-event-horizon claim is an idealization the program retires; the trapping horizon is the robust survivor; and the join is what makes core-resolution and horizon-shedding one act — none of which is a derivation of the interior or a claim of escape.

8. Declared-structure split — "dissolved + clarified" is two claims, one axiom

The chip phrase bundles two distinct achievements that must not be read as one:

• DISSOLVED applies to the magnitude pathology (the central singularity). It means the singularity was never a feature of nature, only of the continuum idealization; granularity declines to produce it. Dissolved ≠ solved — strictly weaker and more honest than "we solved the singularity with a new theory."
• CLARIFIED applies to the causality pathology (the horizon). It means the eternal-event-horizon idealization is retired and the local trapping horizon is shown to be the robust survivor. Clarified ≠ escape — there is no local route out at any stage.

Both ride on the same single axiom (a smallest length $\ell$); neither is a derivation of that axiom. Given-axiom ≠ derivation-of-axiom.

9. Open residuals — the five holes, each a separate row

The dissolution above is one face. These distinct residuals make up the routes to strengthen the gate from "the family is fixed" toward "the member is derived / the dynamics are known." None is required for the current grade; a refuting result on any is a valid, publishable close.

• Hole #1 — induced interior source. Granularity fixes the family but the field equations / $T_{\mu\nu}^{\rm eff}$ producing this specific matter content are not derived. OPEN. Trap: the unicorn — claiming "THE unique interior under any possible mathematics."
• Hole #2 — inner-horizon (mass-inflation) instability. The Cauchy-horizon instability is asserted generic/probable, not computed for this core. The dynamical endpoint of the static interior is unknown. OPEN. Trap: letting onset masquerade as endpoint, or escalating "probably" to "provably."
• Hole #3 — sub-threshold remnant ($m<m_{\rm crit}$). The horizonless ultracompact remnant's fate (viable stable end-state vs. collapse/dispersal) is open. OPEN.
• Hole #4 — entropy leg (defer to Gap-13). $S=A/4$ and the Page mechanism are deliberately untouched here; deferred to Gap-13, itself RESOLVED +0 (CERTIFIED-IRREDUCIBLE) on the ratified 2026-07-08 board, its last leg carried openly as a named external Euclidean-QG dependency. The boundary heat-kernel “wall” once presumed to block this leg is now dissolved as a phantom: the reflection at the fixed walls is a free reflection that is a global isometry, its twisted heat trace is exactly one, so there is no boundary tower to fight and the surviving contribution coincides with the already-banked bulk tip pieces. What remains open at Gap-13 is (a) an explicit order-6 defect coefficient — a strong geometric lead, but literature-absent and not yet carried out — and (b) H1 horizon-admissibility, the existence and dominance of the Euclidean replica saddle, a global quantum-gravity problem carried openly as a named external field-level dependency. OPEN / DEFERRED.
• Hole #5 — KT-2 and KT-5 consistency conditions of the entropy leg. Two distinct unverified conditions (not one wearing two names): KT-2 ($G_{\rm eff}=$ measured $G$ for the exact $K_6\times S^2\times S^1$ reduction, asserted "by construction," not independently verified) and KT-5 (no order-$A$ higher-curvature / Gauss–Bonnet / Wald term in the induced 4D action, flagged UNVERIFIED). OPEN. Trap: folding the whole entropy leg behind one blocked coefficient, hiding KT-5 (Wald/higher-curvature non-existence) as if already discharged.

Holes #4 and #5 live at Gap-13 behind an explicit firewall — they are listed here only to route the specialist and keep the boundary explicit; no entropy claim is imported into this gate.

10. Anti-claims (what this page refuses to say)

• This gate does not derive the black-hole interior. Granularity fixes the family; selection ≠ derivation; "THE uniquely-correct interior under any possible mathematics" is a unicorn — unprovable in principle.
• Dissolved ≠ solved. The singularity is removed by withdrawing the continuum idealization, not by a new theory of quantum gravity. This program did not solve quantum gravity.
• The whole result is conditional on the granularity axiom. It is not a free knob, but it is not derived here; given-axiom ≠ derivation-of-axiom. "No future quantum-gravity theory could do better" is a universal negative and is not asserted.
• No escape. Clarifying the horizon is not finding a way out; there is no local route out at any stage. "Black holes are provably inescapable for all time, absolutely forever" is the eternal-event-horizon overclaim, retired by the program itself; what is true is practical one-wayness over the $10^{67}$–$10^{100}$-yr lifetime.
• The inner-horizon instability is asserted generic/probable, not computed for this core — so the static interior is probably (not provably) not the dynamical last word.
• This gate accounts for no black-hole entropy $S=A/4$ and no Page-curve mechanism; those are Gap-13 — RESOLVED +0 (CERTIFIED-IRREDUCIBLE) on the ratified 2026-07-08 board, its remaining legs carried openly as named dependencies. The entropy leg carries two unverified conditions (KT-2 and KT-5), not one.
• The Hayward profile is a representative, not THE interior; the metric algebra is standard GR, credited as such, and is not novel physics (Bardeen / Hayward / Dymnikova / Planck-star family).
• The frozen-doc concordance is an audit anchor; it does not validate the physics.

11. Specialist closure plan

Each open residual is a concrete, finite, target-blind work-package:

1. Hole #1 — induced source. Derive $T_{\mu\nu}^{\rm eff}$ from the smallest-length structure (candidate routes: a nonlinear-electrodynamic Lagrangian with Maxwell weak-field limit and a field-capping core; or a vacuum-polarization / effective-action correction with an $\ell$ cutoff). Success: yields the family properties and selects a member or rigorously bounds the admissible sub-family — target-blind, not back-solved to Hayward. Falsifier: a proof that granularity-of-this-form induces no consistent regular source (a sharp publishable negative).
2. Hole #2 — mass inflation. Run a dynamical calculation on the de-Sitter-core background — linear onset (growth rate of the quasi-local mass at the inner horizon), then double-null numerical evolution to the endpoint. Success: a computed growth rate and a characterized endpoint (regular remnant / weak-or-strong singularity / bounce). Falsifier: for this core the inner horizon is stable or only integrably singular (a major strengthening). State onset and endpoint separately.
3. Hole #3 — sub-threshold remnant. Linear-stability / QNM analysis of the horizonless remnant (ergoregion / light-ring instability; echo signatures). Success: a definite verdict — stable viable remnant, or unstable with a characterized decay channel and timescale. Falsifier: generic instability and dispersal (clean negative close).
4. Hole #4 — entropy leg (at Gap-13). Compute the explicit order-6 conical-defect Seeley–DeWitt coefficient to discharge the remaining defect-coefficient hypothesis; independently establish SG-6 internal stability and UQF-3/UQF-9 saddle existence for H1/H2. Success: all four HORIZON-ADMISSIBILITY hypotheses discharged, making $S=A/4$ non-conditional. Falsifier: the coefficient yields the wrong $S$ coefficient, or a hypothesis fails. Do not redo the complete bulk $a_6$; do not import any $S=A/4$ claim into this gate.
5. Hole #5 — KT-2 and KT-5 (at Gap-13). KT-2: independently reduce the frozen branch on the exact internal geometry and read $G_{\rm eff}$ off the 4D Einstein–Hilbert term, confirming $G_{\rm eff}=G$ with no compensating volume or non-canonical kinetic rescaling. KT-5: compute the induced 4D effective action to the order controlling the entropy coefficient and show the curvature-squared / Gauss–Bonnet / Wald sector contributes no order-$A$ shift (or quantify it). Success: both verified. Falsifier: $G_{\rm eff}\ne G$ except after a non-canonical rescaling, or a nonzero Wald term shifting $1/4$. Do not collapse the two conditions.

Closing #1–#3 upgrades the core from "chosen representative" toward "induced + dynamically understood"; closing #4–#5 (at Gap-13) would let the black-hole story extend toward "entropy and information accounted" — but only via Gap-13, never by importing claims here. Every package is physics; device-engineering applications are firewalled out entirely.

12. Completion tests for this page

Required presence (all met): gate roll-up DISSOLVED + CLARIFIED (conditional on the granularity axiom) · the dissolution leg as $K(0)=24/\ell^4<\infty$ · the single paid axiom (smallest length $\ell$) · dissolved ≠ solved · the $\ell\to0$ continuity diagnostic · $f\approx1-r^2/\ell^2$, $\Lambda_{\rm eff}=3/\ell^2$, $R(0)=12/\ell^2$ · exact exterior recovery $K\to48m^2/r^6$ · $m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell$, $r_h=\sqrt3\,\ell$ · SEC violation $-6/\ell^2$ as the evasion receipt · eternal vs. trapping horizon split · the join (Hawking 2014) · all five open holes as separate rows · KT-2 and KT-5 named distinctly · the unicorn / no-escape / dissolved-≠-solved anti-claims · frozen-doc concordance AUDIT ONLY.

Required absence (all held): no claim the interior is derived/solved · no claim of escape · no "provably not the last word" (kept as probably) · no $S=A/4$ or Page-curve resolution imported into this gate · no merge of KT-2 with KT-5 · no claim the result is unconditional on the axiom · no claim granularity is derived here · no claim the metric is novel physics · no claim the concordance validates the physics · no reader-visible build-process vocabulary.

This gate is one of the program's few DISSOLVED gates; it follows the same eleven-part shape and universal table as the canonical SG-4 ledger, adapted to a dissolution rather than an anomaly cancellation.

See also: the anchoring method · the master anchor (A0) · the Gap-13 ledger (the deferred black-hole-entropy / Page-curve leg) · the full BlackHole-singularity dossier.