SOURCE: https://physics.magflowmeters.com/gates/dossiers/blackhole-singularity.html
======================================================================

Black hole — singularity + horizon — dossier & ledger 

 ← Gates scoreboard · Jump to closure ledger 

 Gate dossier — Black hole — singularity + horizon

 Question: Is the black-hole singularity real, or just an idealization? 
 Status (fixed): DISSOLVED-GIVEN-root · RESOLVED +0 
 Full 13-dimensional treatment: the frozen arena M4 x K6=SU(3)/T2 x S2 x S1_Y/Z2, all three layers, full precision. Self-contained — every value derived or stated inline. 

 Required endpoint (2026-07-06)

 Status: CLOSED / DISSOLVED-GIVEN-root .

 Nothing left. Anchored on: 

 Shape: — (the internal geometry matters only for the deferred entropy leg, not for this dissolution)

 Granularity: LOAD-BEARING — a finite cost-floor (a floor on a Lorentz-invariant action/information cost, NOT a smallest length — a length floor would pick a preferred frame and break Lorentz invariance) forbids the r→0 limit, so the infinite-curvature point is unreachable and is replaced by a finite regular core

 Scale: sets the single representative core scale (set by the derived Planck length, not a fundamental length)

 Observables: None consumed as calibration inputs (structural). The result is expressed in units of the posited ℓ; the exterior is exactly Schwarzschild, so no measured observable is fit or shifted (granularity is not detectable in solar-system tests). Standard GR facts reproduced, not tuned: Kretschmann K = 48G²M²/c⁴r⁶ (exterior), horizon threshold m_crit = (3√3/4)ℓ. (Black-hole entropy S = A/4 / the Bekenstein–Hawking area law belong to the deferred Gap-13 leg, not this gate.)

 Dissolution: The apparent wall is a wrong-target/truncated-root obligation; root-honoring control that keeps the wall: none for the dissolved obligation; finite observables remain intact.

 This is the current gate-level endpoint. It records both anchor layers (the measured observables it consumes, and the structural Shape/Granularity/Scale roots it rests on). The detailed dossier below is retained in full.

 Executive summary & honest status

 The headline. The black-hole singularity is not a feature of nature; it is a feature of the continuum assumption. Textbook general relativity says every black hole hides a point of literally infinite curvature at \(r=0\) — the theory hands back \(\infty\) , i.e. it hands back nothing, exactly where a physical answer is needed most. This dossier shows, by full symbolic computation on the complete frozen geometric arena underlying this program, that the infinity is generated entirely by the assumption that spacetime is divisible without limit. The moment a smallest physical length \(\ell\) is imposed as a genuine floor on the metric — not as a new force, not as new matter, but as a limit on how finely the record of geometry can be read — the center is never reached, the curvature there is finite and computed exactly, the object is still recognizably a black hole above a computed critical mass, and the celebrated eternal one-way horizon of the textbook picture is retired in favor of a local, practically-eternal trapping horizon that is fully compatible with the black hole evaporating and with a positive cosmological constant. The singularity dissolves; the horizon survives in its honest, locally-defined form. That is the whole claim, and it rests on one named, value-free axiom: \(\ell>0\) .

 The precise claim, stated once, exactly. Standard Schwarzschild geometry has Kretschmann scalar (the coordinate-invariant squared-curvature diagnostic that cannot be removed by a change of coordinates, unlike the coordinate-singular behavior at the Schwarzschild radius)
$ \(K(r) = \frac{48\,G^2M^2}{c^4\,r^6},\) $
finite at every \(r>0\) and divergent only in the strict limit \(r\to0\) . That limit is not a physical measurement; it is a mathematical idealization asserting that the geometry can be probed at arbitrarily small \(r\) with no floor. This program's foundational granularity axiom denies exactly that idealization: there exists a smallest physical length \(\ell\sim\ell_{\min}\) below which the geometric record cannot be resolved. Adopting a representative regular-core metric that respects this floor — the Hayward form
$ \(f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}, \qquad m\equiv GM/c^2,\) $
converts the divergence into a finite, exactly computed number: the center curvature is \(K(0)=24/\ell^4\) , the geometric heart of the object is an exact de Sitter core with Ricci scalar \(R(0)=12/\ell^2\) and effective cosmological constant \(\Lambda_{\rm eff}=3/\ell^2\) , and the exterior reproduces ordinary Schwarzschild curvature \(K\to 48m^2/r^6\) identically once \(r\gg\ell\) . A genuine event-horizon-bearing black hole survives whenever the mass exceeds a computed critical value \(m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell\approx1.2990381057\,\ell\) ; below that threshold the horizon structure degenerates smoothly rather than catastrophically. This is dissolution, not solution: the granularity floor removes the obligation that a singularity exist and fixes the family of admissible finite cores (finite center, single scale \(\ell\) , curvature set by \(1/\ell^2\) ) — it does not, and is not claimed to, single out one unique interior profile from the infinite space of possible regularizations. That last step — picking the Hayward member specifically — is disclosed throughout as a chosen, representative ansatz, not a derivation.

 The horizon half of the claim is the same move seen from the causal-structure side. The textbook event horizon is defined teleologically and globally: \(E=\partial J^-(\mathscr{I}^+)\) , the boundary of the set of events that can never send a light signal to a genuinely existing, infinitely-distant future. Both defining properties of that construction fail for real black holes in the real universe — the object evaporates in finite time (Hawking 1974: \(\sim10^{67}\) yr for a stellar-mass hole, \(\sim10^{100}\) yr for a supermassive one, against a universe only \(\sim10^{10}\) yr old), so "forever" is not available, and in a universe with \(\Lambda>0\) future null infinity \(\mathscr{I}^+\) is spacelike and every observer carries their own cosmological horizon, so the asymptotically-flat construction is not even well posed. What survives untouched by either failure is the trapping (apparent) horizon, \(\theta_{\rm out}=0\) , a strictly local, quasi-local notion (Ashtekar–Krishnan) that needs no asymptotic future and no infinite time to define. The dossier's central join is that the same granularity floor that caps \(K(0)\) at a finite value is exactly the smooth interior an evaporating hole needs in order to shed the strict event horizon: with a singularity-free interior there is, in Hawking's own 2014 phrase, "no event horizon, only an apparent horizon." The trapping horizon is not thereby made leaky — it is one-way for the entire \(10^{67}\) – \(10^{100}\) -year lifetime of the object, with the only permitted outflow being the thermal Hawking glow, and for any purpose relevant to an observer inside a universe \(10^{10}\) years old this is as absolute as "eternal" is ever going to be measured to be.

 The honest current grade, stated plainly and not upgraded. This gate is CLOSED , with terminal method DISSOLVED-GIVEN-root = RESOLVED, +0 on the closure taxonomy used throughout this corpus. Concretely: the singularity-dissolution leg and the horizon-clarification leg are both terminal-anchored as \(\text{REDUCED-TO-FLOOR}\) / \(\text{DISSOLVED-GIVEN-(Granularity} \wedge \text{Record-Interface)}\) , conditional on exactly one named, value-free axiom — the existence of a smallest length \(\ell\) — which is itself carried on the ledger as \(\text{REDUCED-TO-AXIOM}\) (one posit, no numerical value assigned or needed for the dissolution to go through). This grade is fixed for this dossier and is not to be read as stronger or weaker than what is stated here: it is not "SOLVED," it is not "OPEN," and it is not a Clay-level hard unresolved problem. It is a genuine dissolution of the obligation that GR return an infinity, sitting on top of one clean, clearly labeled axiom, with five explicitly bounded residual holes (below) that are computation-debt, not re-openings of the dissolution itself. Nothing in what follows is permitted to soften this grade into something more tentative, nor to inflate it into something stronger (for instance, into a claim of a uniquely derived interior, or of an absolute, provably-eternal one-wayness) — both directions are explicitly fenced off in the non-claims below.

 Explicit non-claims — the ceiling, stated so it cannot be mistaken for a floor. First, this is not a derived interior: the Hayward profile is a chosen, representative ansatz standing in for the wider Bardeen/Hayward/Dymnikova/"Planck star" family of regular black-hole metrics; granularity motivates and bounds the family (finite center, scale set by \(\ell\) , curvature of order \(1/\ell^2\) ) but does not hand over field equations that uniquely select this member over another with the same qualitative behavior. Second, this is not novel physics in the sense of a new mechanism unknown to the literature — regular black holes are an established idea going back to Bardeen (1968) and developed by Hayward, Dymnikova, and the "Planck star" program; the contribution made here is the framing (the singularity is convicted specifically as a continuum artifact that the program's own granularity axiom is built to remove), the computation (every quantity below reproduced symbolically, exactly, this session), and the join (showing that core-regularization and event-horizon-removal are the same move rather than two separate claims bolted together). Third, this is not an escape hatch: nothing climbs back out of the object; the trapping horizon is computed to hold for the full evaporation lifetime with strictly thermal-only outflow. Fourth, this dossier does not resolve black-hole entropy, the area law's microstate origin, or the Page-curve/information mechanism — those questions are deliberately left untouched here and exported whole to a separate, still-open gate (labeled Gap-13/W16 in this program's ledger), which itself only reproduces the Bekenstein–Hawking entropy \(S=A/4\) as a consistency check , explicitly not a microstate derivation. Fifth, this is not a claim that the specific static Hayward interior used for the explicit computations is the final word on the interior dynamics: it carries an inner Cauchy horizon that is a generic site for Poisson–Israel mass-inflation instability, and that instability's kinematic trigger is computed and confirmed here (surface gravities are strictly positive and diverge in ratio as the mass grows), while its full nonlinear dynamical endpoint is not.

 What this dossier establishes, and what it does not, in one paragraph. It establishes, by direct symbolic and high-precision numerical computation reproduced independently by two routes and cross-checked against the exact Schwarzschild limit, that on a representative granularity-respecting metric the central curvature is finite ( \(K(0)=24/\ell^4\) ), the core is an exact de Sitter region ( \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) ), the exterior is exactly Schwarzschild far from the core, a genuine outer horizon survives above a computed critical mass ( \(m_{\rm crit}=3\sqrt3\,\ell/4\) ), the mass-inflation trigger at the inner Cauchy horizon is kinematically confirmed and generic (surface-gravity ratio \(\kappa_-/\kappa_+\) computed across a mass scan from just above threshold to twenty times threshold), and an exact ultracompactness threshold separates a light-ring-free regime from a regime with a known candidate instability mechanism. It does not establish which physical field sources this regular core (that induced-matter derivation is an open, named, computation-debt hole), does not establish the final nonlinear fate of the Cauchy-horizon instability, does not establish the growth rate or endpoint of the light-ring instability in the sub-critical regime, and does not touch entropy or the Page curve at all. Every one of these gaps is named, bounded, and assigned a concrete closing computation in the work-plan carried elsewhere in this dossier — none is a hand-wave, and none is currently claimed as closed.

 The single-sentence endpoint preview. Impose one axiom — a smallest length \(\ell\) — and the black-hole singularity dissolves into a finite, exactly computed de Sitter core while the black hole itself, and its practically-eternal one-way trapping horizon, both survive intact.

 The community gap & state of the art

 The precise open problem

 Every textbook solution of Einstein's field equations that describes a collapsed massive body — the Schwarzschild vacuum solution for a non-rotating hole, its charged (Reissner–Nordström) and rotating (Kerr) generalizations — terminates at \(r=0\) in a genuine curvature singularity: a locus at which the coordinate-invariant curvature scalars blow up without bound. For the simplest, non-rotating case, the Kretschmann scalar (the fully contracted square of the Riemann tensor, \(K \equiv R_{abcd}R^{abcd}\) , chosen precisely because it is a coordinate scalar and therefore cannot be an artifact of a bad choice of coordinates the way the coordinate-degenerate behavior at the Schwarzschild radius is) takes the closed form

 \[K(r) = \frac{48\,G^2 M^2}{c^4\,r^6}.\]

 This is finite and perfectly well behaved at every radius \(r>0\) — including at the horizon \(r=2GM/c^2\) , where nothing physical happens to curvature invariants (the well-known fact that infalling observers cross the horizon without a local, curvature-detectable event). But as \(r\to0\) , \(K\) diverges as \(r^{-6}\) , and there is no coordinate system, no choice of slicing, no field redefinition that removes this divergence: it is a true curvature singularity, not a coordinate one. At that point the classical theory does not merely become inaccurate — it stops returning an answer at all. Tidal forces, energy density, and every curvature invariant formally go to infinity, and General Relativity, by its own internal logic, certifies that it cannot be trusted arbitrarily close to \(r=0\) .

 The problem is not that this is surprising in one solution. The Penrose singularity theorem (Penrose 1965) and the more general Hawking–Penrose singularity theorems that followed (Hawking & Penrose 1970) proved that this is not a peculiarity of the exact spherical symmetry of the Schwarzschild solution: under generic, physically reasonable conditions — a trapped surface forms, and the matter content obeys an energy condition (the relevant one for these theorems is the strong energy condition, SEC, \(\rho + p_r + 2p_t \geq 0\) in the notation used below) — geodesic incompleteness is forced . That is, some causal curve entering a black hole cannot be extended to arbitrary affine parameter; it runs into an edge of spacetime in finite proper time. Generic gravitational collapse of ordinary matter, not just idealized dust, ends this way. This turns the Schwarzschild singularity from "a special exact solution has a bad point" into "General Relativity, under the energy conditions matter is normally assumed to satisfy, predicts its own breakdown whenever enough mass collapses inside its horizon." That is the community gap: a mathematically clean and observationally supported classical theory (General Relativity passes every solar-system, binary-pulsar, and now gravitational-wave test to high precision) contains, at the core of one of its most secure macroscopic predictions — a collapsed massive object — a construction that is not merely large or extreme but is not a number . The theory returns \(\infty\) , which is textbook shorthand for "ask a different theory."

 The conventional resolution on offer in the literature is deferral: the true fix is supposed to require a full theory of quantum gravity — string theory, loop quantum gravity, asymptotic safety, or some other UV completion — because only such a theory could supply the missing short-distance physics that GR, as a low-energy effective field theory, is not equipped to describe. No such theory commands consensus, none has produced a broadly agreed, calculable, singularity-free interior for a realistic astrophysical black hole, and so "the singularity problem" has stood as one of the clearest unsolved problems in gravitational physics for over half a century: not merely unmeasured, but formally undefined at the point that matters most.

 A second, related but logically separate open problem concerns the horizon itself, and specifically the event horizon — the object usually invoked when people say a black hole is "a one-way surface." The event horizon \(E\) is defined globally and teleologically as the boundary of the causal past of future null infinity, \(E = \partial J^{-}(\mathcal{J}^+)\) . Locating it here and now requires knowing the entire future development of the spacetime out to \(\mathcal{J}^+\) : whether a given point lies inside or outside the event horizon today can depend on infalling matter that has not yet arrived. This is a well-known conceptual embarrassment (it makes the event horizon, strictly, unmeasurable by any local experiment) and it interacts badly with two facts about the real universe. First, Hawking's 1974 discovery that black holes evaporate via quantum particle production near the horizon (Hawking radiation) means every black hole has a finite lifetime — of order \(10^{67}\) years for a stellar-mass hole and \(10^{100}\) years for a supermassive one — so "forever," a load-bearing word in the event-horizon construction, is not actually available in this universe. Second, in a universe with positive cosmological constant \(\Lambda>0\) (as observed), future null infinity \(\mathcal{J}^+\) is spacelike and every observer is surrounded by their own cosmological horizon, so the asymptotically-flat construction \(\partial J^-(\mathcal{J}^+)\) that defines the textbook event horizon is arguably not even well-posed. This has led to a genuine, still-debated split in the community — most sharply articulated by Hawking's 2014 note "Information Preservation and Weather Forecasting for Black Holes" — between the teleological, global event horizon and the local, quasi-locally-defined trapping (apparent) horizon of Ashtekar and Krishnan, with real disagreement over which, if either, is the physically load-bearing structure, and how that bears on the black-hole information paradox.

 State of the art: what is and is not established

 The best available treatment of the interior problem in the literature is not a derivation from first principles but a family of hand-constructed "regular black hole" metrics, each designed to reproduce the exact Schwarzschild exterior at large \(r\) while replacing the central singularity with a finite core. The lineage runs from Bardeen's original 1968 proposal, through Dymnikova's de Sitter-core constructions, through Hayward's widely used closed-form metric (used here as the representative), to the more recent "Planck star" picture (Rovelli and collaborators) motivated by loop quantum gravity bounce scenarios. All of these share the same qualitative structure: a de Sitter-like (constant-curvature, repulsive) core at small \(r\) , patched onto the ordinary Schwarzschild vacuum at large \(r\) . None of them is derived from a completed quantum-gravity Lagrangian; each is an ansatz, chosen for its property of being regular and asymptotically correct, and then examined for consequences. This is the honest state of the art: existence-proofs that singularity-free alternatives to Schwarzschild are geometrically possible and can be made compatible with (most of) known macroscopic black-hole phenomenology, not a derivation of which regular core — if any — is what nature actually implements. The community that works on regular black holes states this limitation openly; it is not a controversial characterization.

 The representative metric used for the explicit computations in this dossier is the Hayward form, with mass parameter \(m \equiv GM/c^2\) and core scale \(\ell\) (the smallest-length floor):

 \[f(r) = 1 - \frac{2 m r^2}{r^3 + 2 m \ell^2}.\]

 At large \(r\) this reduces identically to the Schwarzschild \(f(r) = 1 - 2m/r\) (the \(r^3\) term dominates the denominator and the \(\ell^2\) -dependent correction vanishes), while at \(r\to 0\) the metric function approaches \(f(r) \to 1 - r^2/\ell^2\) , a de Sitter core, rather than diverging. This single functional form is enough to demonstrate that a finite-curvature, horizon-bearing solution is mathematically consistent — that is well established and reproduced independently in this dossier's derivation chain — but it does not by itself explain why nature would pick this particular \(f(r)\) over the many other regular cores in the literature (Bardeen's, Dymnikova's Gaussian-profile core, or others), nor does it derive the underlying effective stress-energy from a matter Lagrangian or a quantum-gravity path integral. It is, explicitly, an ansatz.

 There is also a known and non-trivial cost attached to any regular-core construction, which the literature has fully catalogued: reproducing a de Sitter-like center that avoids the Penrose–Hawking singularity theorems requires violating the strong energy condition. This is not an incidental technical footnote; it is precisely the loophole the theorems leave open, and it is the mechanism, not a bug, by which every known singularity-free black hole model evades geodesic incompleteness. In the Hayward-type construction this is explicit: the effective source has \(p_r = -\rho\) (a de-Sitter-like equation of state) and the SEC combination

 \[8\pi(\rho + p_r + 2p_t) = -\frac{6}{\ell^2} < 0,\]

 manifestly negative near the core. This is fully consistent with the interior curvature values obtained below ( \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) ) and is the established, textbook-level reason the Penrose–Hawking theorems do not apply inside the regular core: their hypotheses are violated by construction, not evaded by some subtlety. What the existing literature has not supplied — and what remains squarely open — is a first-principles derivation of a matter Lagrangian, quantum effective action, or other UV-complete mechanism that produces an effective stress tensor with exactly this SEC-violating equation of state, rather than positing it. Nonlinear electrodynamics sources and vacuum-polarization arguments have been proposed as physical origins for Bardeen- and Hayward-type cores respectively, but none is derived from the specific microphysics claimed to underlie any candidate quantum-gravity completion; they too are constructions chosen to reproduce the desired regular metric, not predictions of it.

 A further, generic instability shadows every known regular-core solution with two horizons (an inner Cauchy horizon \(r_-\) in addition to the outer event/trapping horizon \(r_+\) , exactly the structure that appears here for \(m\) above the extremal threshold): the mass-inflation instability, established by Poisson and Israel in the Reissner–Nordström–de Sitter context and understood to be generic to any spacetime with an inner horizon that a generic (non-fine-tuned) infalling perturbation can reach. The mechanism is a Cauchy-horizon blueshift: infalling radiation is blueshifted without bound as it approaches \(r_-\) , and the linear diagnostic for whether this blueshift is triggered is the ratio of the two horizons' surface gravities, \(\kappa_-/\kappa_+\) — a ratio greater than unity signals the instability is kinematically primed. Poisson–Israel's original analysis was for Reissner–Nordström–de Sitter; whether and how it plays out for a specific regular-core metric like the Hayward form is a case that has to be checked metric by metric, and doing so (the surface-gravity computation reported in the derivation chain of this dossier) is the kind of narrowing this program does — it does not by itself resolve the fully nonlinear dynamical question of whether the inflating curvature saturates, disperses, or is itself cut off by the same short-distance structure that regularized the original singularity. That nonlinear endpoint has not been computed for this class of metric in the literature and is not computed here either; it is carried forward as an explicit, named open item.

 A parallel and independently sourced concern for horizonless or near-extremal ultracompact configurations is the light-ring instability studied by Cardoso, Pani, and collaborators and by Keir: whenever a horizonless (or near-threshold) ultracompact object supports a pair of light rings — one stable, one unstable, as generically happens once compactness exceeds a critical value — the stable light ring can trap null geodesics indefinitely, giving rise to slowly-decaying trapped null modes that are widely argued to signal a nonlinear instability on very long timescales. This is a second, independent diagnostic from the mass-inflation one (it concerns null circular orbits and horizonless remnants below the horizon-formation threshold, not Cauchy horizons of a two-horizon hole), and the literature's treatment of it is, again, at the level of establishing that the trapped-mode mechanism is generically expected for compact-enough horizonless objects, not a case-by-case calculation of the growth rate and true endpoint for every candidate regular-core metric — a computation that would require solving the specific perturbation equations of that metric, which for the Hayward-type core are not of the closed Regge–Wheeler–Zerilli form that makes the Schwarzschild and Reissner–Nordström cases tractable.

 On the horizon side of the state of the art, the quasi-local alternative to the teleological event horizon — the trapping (or apparent) horizon of Ashtekar and Krishnan, defined locally at each instant by the vanishing expansion of outgoing null geodesics, \(\theta_{\rm out}=0\) , on a marginally trapped surface — is well established as a rigorous, locally computable substitute that requires no knowledge of the future and no genuine asymptotic infinity. Hawking's own 2014 proposal that black holes should be understood as having "no event horizons, only apparent horizons" reflects a real, if still not universally adopted, shift in how the community frames the object that matters operationally. What state-of-the-art numerical relativity and observation can currently test is coarser than any of this: the clearest empirical handle on horizon structure is Hawking's classical area theorem (1971) — that the total horizon area of a classical system cannot decrease in any process obeying the null energy condition, so two merging black holes must produce a remnant whose horizon area is at least the sum of the progenitors' areas — and its recent direct observational test. Isi, Farr, and collaborators (2021) used the LIGO/Virgo binary black hole merger GW150914 to test exactly this area-law prediction against the post-merger ringdown data, and found the final horizon area exceeds the summed progenitor areas at roughly 95% confidence. This is a genuine, celebrated confirmation that the merged object behaves like a smooth, non-punctured, area-respecting horizon at the km-to-thousands-of-km length scales gravitational-wave astronomy is sensitive to. It is not, and cannot be, a test of anything at the length scale \(\ell\) where the singularity question actually lives: GW150914-type tests probe macroscopic exotic-horizon proposals (hard membranes, energetic firewalls, classical structure at or near the horizon) and rule those out at the horizon scale; they are many tens of orders of magnitude too coarse to see or falsify any core-scale granularity physics, and the current state of the art in horizon-scale observation (gravitational-wave ringdown spectroscopy, and separately horizon-scale imaging by the Event Horizon Telescope) has no path to closing that gap with existing instruments.

 Why each prior line of attack falls short of resolving the singularity

 Three broad categories of prior attempt exist in the literature, and each falls short of a genuine resolution for a distinct, nameable reason.

 The first category is exact solutions of classical General Relativity itself (Schwarzschild, Reissner–Nordström, Kerr, and their generalizations). These are not attempts to resolve the singularity at all — they are the source of the problem, since they are exact and their singular behavior at \(r=0\) is a rigorous consequence of the field equations under the matter content assumed (vacuum, or vacuum plus an electromagnetic field). They fall short simply because General Relativity, treated as exact all the way to \(r=0\) , is a continuum theory with no built-in short-distance cutoff, and nothing internal to the classical theory prevents or regularizes the \(r^{-6}\) divergence of the Kretschmann scalar.

 The second category is the singularity theorems (Penrose 1965; Hawking–Penrose 1970) together with the classification of instabilities and horizon structures built on top of exact or perturbed classical solutions (Poisson–Israel mass inflation; Cardoso–Pani/Keir light-ring instabilities; the area theorem). These fall short of resolving the singularity for the opposite reason from the first category: they are correct and rigorous proofs that the singularity is unavoidable given their stated hypotheses (a trapped surface plus an energy condition), not proposals for removing it. Their value is diagnostic, not curative — they tell you exactly which assumption must be dropped (the energy condition) if a resolution is to be found at all, and they supply the precise instability criteria (Cauchy-horizon blueshift ratio; light-ring pair existence) that any proposed regular replacement must then be checked against. This is why the mass-inflation and light-ring literature appear in this dossier's chain not as competing resolutions but as diagnostic tools applied to the candidate core.

 The third category is the regular-black-hole literature itself (Bardeen; Dymnikova; Hayward; the Planck-star picture), together with quantum-gravity programs (string theory, loop quantum gravity, asymptotic safety) that hope eventually to derive such a core from first principles. This category falls short in a way that is important to state precisely, because it is easy to either overstate or understate. It does not fall short by being wrong: regular cores are mathematically consistent, reduce to the correct Schwarzschild exterior, and evade the singularity theorems through a well-understood and fully disclosed mechanism (SEC violation). It falls short in two specific, named ways. First, no member of this family — including the Hayward form used here — is derived ; each is a chosen ansatz, and the field-content-level question of which effective stress-energy actually produces the assumed metric is not answered by any of them, including by the granularity-floor argument advanced in this dossier (this is disclosed explicitly below as an open item, not claimed to be solved). Second, and this is the deeper reason the "wait for quantum gravity" deferral has not delivered in over fifty years: no completed quantum-gravity program has yet supplied a calculable, singularity-free interior for a realistic (rotating, charged, or simply generic) astrophysical black hole that commands the kind of consensus the exterior Schwarzschild/Kerr solutions themselves enjoy. The gap the community faces is therefore not "we lack a candidate mechanism" (candidates — SEC violation via a de Sitter core — are well known and have been for over fifty years, since Bardeen 1968) but "we lack a first-principles derivation that fixes which regular core, if any, is physically realized, and we lack the fully nonlinear dynamical analysis (mass-inflation endpoint; light-ring trapped-mode growth rate) of the leading candidates." Those two residual gaps — not the qualitative existence of a resolution mechanism — are precisely the two computation-debt holes (Hole 1: induced interior source; Holes 2 and 3: dynamical endpoints) that this gate's derivation chain narrows without closing, and they are carried forward honestly as named, bounded, computable open items rather than folded into the dissolution claim.

 The frozen 13D arena at full precision

 Why this gate must be read against the full arena, not against bare 4D Schwarzschild. Every quantity in this program — including a black-hole horizon studied in an effectively 4D radial problem — lives inside one fixed, fully-specified geometric object, never inside a bare \((3{+}1)\) -dimensional truncation invented for convenience. The object is

 \[
\mathfrak{B}_{\rm active}
=
\underbrace{\big[\,\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2\,\big]_\times}_{\text{$\times$ STAGE — metric geometry}}
\;\oplus\;
\underbrace{\big[\,\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\,\big]_\oplus}_{\text{$\oplus$ RULEBOOK — finite admissibility, 0-dim}}
\;\otimes\;
\underbrace{\big[\,\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\,\big]_\otimes}_{\text{$\otimes$ ACTORS — bundles/operators, 0-dim}},
\]

 with \(K_6=SU(3)/T^2\) the full flag manifold of \(A_2\) , and total metric dimension

 \[
D = \underbrace{4}_{\mathcal{M}_4}+\underbrace{6}_{K_6}+\underbrace{2}_{S^2}+\underbrace{1}_{S^1_Y/\mathbb{Z}_2}=13.
\]

 The \(\oplus\) Rulebook and \(\otimes\) Actors layers add no metric dimension but are not optional decoration: they are the admissibility rules and the operator content that make the \(\times\) Stage a physical arena rather than a bare manifold. A residual computed under a truncated slice of this object — for instance a Schwarzschild-only, no-granularity-floor 4D treatment — is, by the standing convention of this program, an artifact of the truncation, not a fact about nature. This section pins, at full precision, exactly which parts of \(\mathfrak{B}_{\rm active}\) this gate touches, and states plainly which parts it does not touch (Shape and Scale enter only through the entropy leg, which is exported whole to a separate gate and is not computed here).

 The four metric factors of the \(\times\) Stage, and what each one physically carries here

 Factor 
 Real dim 
 Primitive/derived 
 Physical role in the frozen arena 
 Role for THIS gate 

 \(\mathcal{M}_4=\mathbb{R}^{3,1}\) 
 4 
 primitive 
 observed spacetime 
 carries the entire Schwarzschild/Hayward radial problem: \(t,r,\theta,\phi\) and the metric function \(f(r)\) live here 

 \(K_6=SU(3)/T^2\) 
 6 
 primitive 
 color source ( \(SU(3)_c\) isometry); three-generation family index \(\chi=-3\) 
 not exercised by the horizon/singularity computation — no color or flavor structure enters a Schwarzschild-type radial metric 

 \(S^2\) 
 2 
 primitive 
 weak source ( \(SU(2)_L\) isometry) 
 not exercised — no weak-isospin routing appears in a static, spherically symmetric black-hole metric 

 \(S^1_Y/\mathbb{Z}_2\) 
 interval (1, orbifolded) 
 derived quotient 
 hypercharge circle + chirality/no-mirror filter 
 not exercised — no gauge or chirality structure enters the horizon computation 

 This is stated explicitly, not glossed over: the singularity/horizon gate is a granularity-only gate. It draws on exactly one structural feature of the frozen arena — the existence of a smallest-length floor \(\ell\) on the \(\times\) Stage's metric — and does not touch \(K_6\) , \(S^2\) , or \(S^1_Y/\mathbb{Z}_2\) at the level of their gauge, spin, or flavor content. Their curvature invariants, Casimirs, and Ricci eigenvalues (below) are recorded here in full for completeness and honesty about the shared arena, and because Shape (which does route through \(K_6\) and its heat-kernel ledger) is the root responsible for the exported entropy/Page-curve leg (Hole 4, Gap-13) — but none of them enters the \(K(0)=24/\ell^4\) , \(m_{\rm crit}=3\sqrt3\,\ell/4\) , or \(\kappa_-/\kappa_+\) computations that are this gate's actual content.

 \(K_6=SU(3)/T^2\) at full precision (recorded for completeness; not load-bearing here)

 Two metric normalizations are pinned in this program, and every number below is tagged. (A) Frozen physical ( \(R_6\) ) normalization carries physical units of GeV² and is used for dimensionful downstream quantities; (B) Killing-form normal metric , \(g=(-B)|_\mathfrak{m}\) with \(B(X,Y)=6\,{\rm Tr}(XY)\) on \(\mathfrak{su}(3)\) at the symmetric chamber center \(\vec u=(1,1,1)\) , is dimensionless and is where the exact-rational curvature invariants are computed. Ratios of curvature invariants are metric-scale invariant and agree in both:

 \[
\frac{\mathrm{Scal}}{\mathrm{Ric}_i}=6=\dim K_6 \quad\text{(both normalizations)}, \qquad \frac{\|\mathrm{Ric}\|^2}{\mathrm{Scal}^2}=\frac16, \qquad \frac{\|\mathrm{Riem}\|^2}{\mathrm{Scal}^2}=\frac{23}{75}.
\]

 At the Einstein center, [R₆-norm]: \(\mathrm{Ric}_1=\mathrm{Ric}_2=\mathrm{Ric}_3=1/(2R_6^2)=1.973920880217872\times10^{33}\ {\rm GeV}^2\) , \(\mathrm{Scal}(K_6)=3/R_6^2=1.184352528130723\times10^{34}\ {\rm GeV}^2\) ; [Killing-norm]: \(\mathrm{Ric}_i=5/12\) , \(\mathrm{Scal}=5/2\) , \(\mathrm{Scal}^2=25/4\) , \(\|\mathrm{Ric}\|^2=25/24\) , \(\|\mathrm{Riem}\|^2=23/12\) (never \(60\) — that is the round unit \(S^6\) , a different space; never \(31/147\) ). Weight-6 invariants at the Einstein center: \(K_1={\rm tr}(R_{\rm op}^3)\) -type chain \(=-113/72\) , \(K_2=-5/72\) , \(\|\nabla\mathrm{Riem}\|^2=1/4\) (nonzero — \(K_6\) is homogeneous but not locally symmetric), \(\mathrm{Scal}^3=125/8\) , \(\mathrm{Scal}\cdot\|\mathrm{Ric}\|^2=125/48\) , \(\mathrm{Scal}\cdot\|\mathrm{Riem}\|^2=115/24\) . Euler characteristic \(\chi(K_6)=6\) exactly (topological). Radius at the chamber center: \(R_6=R_0=1.591549430918954\times10^{-17}\ {\rm GeV}^{-1}\) , derived from \(R_0=(2\pi M_U)^{-1}\) with \(M_U\approx1.0\times10^{16}\) GeV from two-loop RG/KK-threshold closure (residual \(9.6\times10^{-11}\) ). Heat-kernel scalar ratios: \(a_2/a_0=5/12\) , \(a_4/a_0=11/120\) , \(a_6/a_0\) OWED (Gilkey constants; a documented bounded computation-debt tied to Hole 4/Gap-13, not this gate). None of this — Casimirs, Ricci eigenvalues, the \(a_6\) debt — is consumed by the singularity/horizon computation; it is recorded here because it is part of the one frozen arena this gate's \(\mathcal{M}_4\) factor sits inside, and because the entropy leg this gate explicitly does not compute (Hole 4) is precisely where it would re-enter.

 Likewise \(S^2\) (round metric, \(\chi(S^2)=2\) , \(R_2=R_0\) at the chamber center, Dirac/Laplace spectrum \(\ell(\ell+1)/R_2^2\) ) and \(S^1_Y/\mathbb{Z}_2\) ( \(R_Y=7.957747154594768\times10^{-18}\ {\rm GeV}^{-1}\) , active volume \(\mathrm{Vol}(S^1_Y/\mathbb{Z}_2)=\pi R_0=5.000000000000000\times10^{-17}\ {\rm GeV}^{-1}=1/(2M_U)\) exactly, orbifold defect traces \(K^\pm=\tfrac12K_{\rm circle}\pm\tfrac12\) ) are part of the same frozen \(\times\) Stage and are quoted for completeness; the gate's own computation runs entirely on \(\mathcal{M}_4\) .

 \(\mathcal{M}_4\) : the metric factor this gate actually lives on

 \(\mathcal{M}_4=\mathbb{R}^{3,1}\) is the primitive Minkowski factor of the \(\times\) Stage — ordinary observed 4D spacetime, carried exactly as in the rest of the corpus, with no internal modification. What this gate adds is not a new manifold but a new admissibility rule imposed on the \(\times\) Stage's metric , pinned at all three layers below. The claim under audit is local to the radial direction of \(\mathcal{M}_4\) (spherical symmetry reduces the problem to a single function \(f(r)\) of one radial coordinate \(r\in\mathcal{M}_4\) ); \(K_6\) , \(S^2\) , and \(S^1_Y/\mathbb{Z}_2\) are geometrically present in the ambient 13D arena but play no active role in a spherically-symmetric, gauge-singlet, flavor-singlet object such as a black hole horizon.

 The three layers of the specific object this gate touches

 \(\times\) Stage — the granularity-respecting metric on \(\mathcal{M}_4\) . The base object is the spherically symmetric line element on \(\mathcal{M}_4\) ,
$$
ds^2 = -f(r)\,dt^2 + f(r)^{-1}dr^2 + r^2\,d\Omega_2^2,
$$
with the ordinary Schwarzschild choice \(f(r)=1-2m/r\) ( \(m\equiv GM/c^2\) ) replaced, under the granularity floor, by the Hayward form
$$
f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}.
$$
The new structural ingredient relative to bare Schwarzschild is a single length scale \(\ell\sim\ell_{\min}>0\) : a metric floor on how small a radial distance the geometry is permitted to resolve. This is a Stage-level admissibility change — it modifies the metric itself, not a bundle or an operator living on top of it — and it is the entire mechanism by which \(r\to0\) stops being reachable: the geometric record simply has no entry finer than \(\ell\) .

 \(\oplus\) Rulebook — the record-interface / admissibility floor. The granularity axiom is carried in this program's \(\oplus\) -layer as a member of \(\mathcal{C}_{\rm admiss}\) : a finite-admissibility rule stating that the geometric record cannot be read below \(\ell\) . Concretely, this rule is what forbids taking the strict mathematical limit \(r\to0\) in \(K(r)=48G^2M^2/(c^4r^6)\) and instead requires evaluating every diagnostic on the granularity-respecting metric \(f(r)\) , whose coefficient functions are finite at \(r=0\) by construction. This is exactly the same kind of object as the other \(\mathcal{C}_{\rm admiss}\) rules used elsewhere in the corpus (selector v3, the freeze-before-compare barrier, the no-mirror parity table) — a rule about what counts as a legitimate read of the geometry, not a new dynamical field. The companion \(\oplus\) -layer object is the record interface itself: the declaration that \(K(0)\) , \(R(0)\) , \(r_\pm\) , \(\kappa_\pm\) , and the light-ring loci are well-defined, finite outputs with stated units (multiples of \(\ell\) ) and an explicit sign convention — this is what the record-boundary audit classifies as READOUT-MISSING rather than RECORD-IMPOSSIBLE (an unbuilt instrument for a well-defined finite quantity, not a quantity that cannot in principle be defined).

 \(\otimes\) Actors — the induced effective source, the connection, and the readout operators. Three actor-level objects are pinned:
- Connection \(\nabla\) : the Levi-Civita connection of the Hayward metric \(f(r)\) , from which the coordinate-invariant Kretschmann scalar \(K=R_{abcd}R^{abcd}\) , the Ricci scalar \(R\) , and the horizon-defining function \(f(r)\) itself and its derivative \(f'(r)\) are all built.
- Endomorphism \(E\) / effective stress-energy : the granular core is not vacuum — it requires an effective, non-vacuum source with \(8\pi(\rho+p_r+2p_t)=-6/\ell^2<0\) and \(p_r=-\rho\) (a negative-pressure, de-Sitter-like effective fluid). This is the \(\otimes\) -layer object that is still an open ansatz (Hole 1): granularity motivates that some effective source of this qualitative type must exist to support a finite, SEC-violating core, but the frozen arena does not yet hand over the microphysical field content (nonlinear-electrodynamic or vacuum-polarization-like) that produces it. This is the one actor-level object in this gate that is explicitly not yet derived , and every downstream number inherits that conditional status honestly (see the endpoint anchoring, §10 of the brief).
- Operator domain / readout : surface gravity \(\kappa=\tfrac12|f'(r_H)|\) at each horizon root \(r_H\) (a coordinate-invariant, affinely-normalized readout of a static Killing horizon), and the null-circular-orbit condition \(rf'(r)-2f(r)=0\) (a reparametrization-independent readout fixing light-ring loci). Both are well-posed operators on the fixed connection above, with declared domains (the radial line \(r>0\) ) and declared outputs (dimensionless multiples of \(\ell\) ).

 Full-precision constants that this gate's own computation is built from

 These are not drawn from the shared \(K_6/S^2/S^1_Y\) geometry table — they are the exact objects computed on the Hayward metric itself, all reproduced by direct symbolic and high-precision numerical computation on the \(\mathcal{M}_4\) factor of the frozen arena:

 Schwarzschild Kretschmann scalar (the pre-granularity object being regulated): \(K(r)=48G^2M^2/(c^4r^6)\) , finite for all \(r>0\) , divergent only in the disallowed limit \(r\to0\) .

 Center curvature under the floor: \(K(0)=24/\ell^4\) — finite by construction, and its continuity control is exact: \(\lim_{\ell\to0}K(0)=\lim_{\ell\to0}24/\ell^4=\infty\) , continuously recovering the textbook divergence as the axiom is switched off, which is the proof that the infinity was a continuum artifact and not new physics being hidden.

 Near-center expansion (exact de Sitter core): \(f(r)=1-r^2/\ell^2+O(r^4)\) , giving Ricci scalar \(R(0)=12/\ell^2\) and effective cosmological constant \(\Lambda_{\rm eff}=3/\ell^2\) of the core.

 Exterior recovery: for \(r\gg\ell\) , \(K\to48m^2/r^6\) — exact Schwarzschild, the granularity correction vanishing identically far from the core.

 Horizon cubic: \(f(r)=0 \iff r^3-2mr^2+2m\ell^2=0\) ; its double root (extremal case) gives \(r^*=\sqrt3\,\ell\) and critical mass
$$
m_{\rm crit}=\frac{3\sqrt3}{4}\,\ell \approx 1.299038105676658\,\ell.
$$

 Metric-function derivative (feeding surface gravity): \(f'(r)=\dfrac{2mr(r^3-4\ell^2m)}{(r^3+2\ell^2m)^2}\) .

 Light-ring polynomial (feeding the ultracompactness threshold): \(P(r;m,\ell)=-8\ell^4m^2-8\ell^2mr^3+6mr^5-2r^6\) , with exact double-root solution \(r_{\rm UCO}=\tfrac{2\sqrt{30}}{5}\,\ell\approx2.190890230020664\,\ell\) , \(m_{\rm UCO}=\tfrac{24\sqrt{30}}{125}\,\ell\approx1.051627310409922\,\ell\) , giving \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) .

 SEC-violation combination: \(8\pi(\rho+p_r+2p_t)=-6/\ell^2\) , consistent with \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) above — the exact mechanism by which the Penrose–Hawking singularity theorems (which assume the strong energy condition) are evaded, not a numerical accident.

 Every one of these is a dimensionless ratio measured in the single already-adopted length unit \(\ell\) — there is no independent \(M_{\rm Pl}\) -anchored purchase invoked or needed for this gate's dissolution claim, and the bridge to the frozen arena's Planck normalization ( \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})=4.023836152402511\times10^{185}\ {\rm GeV}^{11}\) , \(M_*=7.467050992135091\times10^{16}\) GeV, \(M_{\rm Pl}=1.220900\times10^{19}\) GeV) is recorded in the shared geometry pack but is explicitly not invoked here: the Scale root passes trivially for this gate because every quantity is already a ratio of \(\ell\) to itself.

 The three deep-root layers pinned together (Granularity load-bearing; Scale and Shape recorded, not exercised beyond triviality)

 Granularity — load-bearing, all three layers. \(\times\) Stage: \(\ell\) is a metric floor on probing distance, realized concretely as the coefficient structure of \(f(r)\) that keeps \(K(0)\) , \(R(0)\) , \(r_\pm\) , \(\kappa_\pm\) , \(r_{\rm UCO}\) finite. \(\oplus\) Rulebook: the record-interface / no-infinite-precision admissibility rule in \(\mathcal{C}_{\rm admiss}\) that forbids reading the geometry past \(\ell\) , i.e. that forbids the strict \(r\to0\) limit as a legitimate operation. \(\otimes\) Actors: the effective source the granular structure induces (the SEC-violating de Sitter-like fluid above) — the one actor-level object still at the ansatz stage (Hole 1). This is the program's foundational cost-floor axiom, carried on the ledger as REDUCED-TO-AXIOM: one named, value-free posit, with no numerical value for \(\ell\) assigned or required for the dissolution argument to go through.

 Scale — recorded, trivial pass. Every gate quantity is a ratio of \(\ell\) to itself ( \(r_\pm/\ell\) , \(m_{\rm crit}/\ell\) , dimensionless \(\kappa_\pm\) in units where \(\ell=1\) , \(m_{\rm UCO}/m_{\rm crit}\) ). The Planck-normalized bridge quantities \(M_*\) , \(M_{\rm Pl}\) , \(\mathrm{Vol}(X_{\rm active})\) exist in the shared arena and are quoted above for completeness, but this gate's terminal does not depend on them.

 Shape — recorded, not exercised beyond the ansatz level. \(K_6\) 's full Casimir/Ricci/heat-kernel structure (quoted above) belongs to the same frozen arena but contributes nothing new to the singularity/horizon sub-question; the Hayward profile is a choice made at the \(\otimes\) Actors/effective-source level only, and the finite computes in this gate work strictly within that fixed choice — they do not smuggle in a different, undisclosed truncation of Shape. The honest truncation flag is that Shape is exercised here only at the ansatz level, which is exactly why Holes 2 and 3 (mass-inflation endpoint, sub-threshold remnant fate) are correctly carried as conditional on Hole 1 rather than banked as clean, unconditional results.

 This is the complete arena-level accounting this gate is audited against: one 13-dimensional frozen object, four metric factors with their exact curvature data recorded in full even where unused, one admissibility rule doing all the work (granularity), and three explicitly pinned layers (Stage/Rulebook/Actors) on the single object — the Hayward-regulated \(\mathcal{M}_4\) radial metric — that this gate's entire computation is built from.

 Construction I — the deep-root anchoring

 I.0 What this section does

 The gate asks whether the black-hole singularity is real physics or an artifact, and whether the horizon is the absolute one-way membrane textbooks assert. The fixed grade — DISSOLVED-GIVEN-root / RESOLVED +0 — is not an assertion made about general relativity from outside; it is what falls out of running this specific gate through the program's three deep roots, Shape , Scale , Granularity , each pinned at full precision and at all three layers of the frozen 13-dimensional arena, followed by the four Layer-2 admissibility screens that certify the move is legitimate rather than smuggled. This section shows that pass, root by root, layer by layer, screen by screen — nothing here is imported from outside the frozen construction, and nothing is asserted that the roots do not themselves force.

 The complete active branch, quoted once so every subsequent layer reference is anchored to it:

 \[
\mathfrak{B}_{\rm active}
=
\underbrace{\big[\,\mathcal{M}_4 \times K_6 \times S^2 \times S^1_Y/\mathbb{Z}_2\,\big]_\times}_{\text{\Large $\times$ STAGE}}
\;\oplus\;
\underbrace{\big[\,\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\,\big]_\oplus}_{\text{\Large $\oplus$ RULEBOOK}}
\;\otimes\;
\underbrace{\big[\,\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\,\big]_\otimes}_{\text{\Large $\otimes$ ACTORS}},
\]

 with \(K_6 = SU(3)/T^2\) the full \(A_2\) flag manifold, \(D = 4+6+2+1 = 13\) . The four irreducible anchors of the whole program are \(\{M_{\rm Pl},\ \alpha_i(M_Z),\ y_t,\ |V_{us}|\}\) ; everything else, including every object touched below, is derived, exact-topological, or — for this gate specifically — resolved by a fifth, local , axiom: the smallest-length floor \(\ell>0\) . That fifth posit is not smuggled in from outside the program's method; it is the same kind of object as the cost-floor/granularity axiom the program uses everywhere a continuum limit threatens to manufacture a fake infinity, and it is named, dimensionful-but-declared, and never back-solved to a target.

 For this gate, one root does essentially all of the work and the other two are audited for completeness rather than contributing new content — that asymmetry is itself a finding, not a shortcut, and it is stated plainly below rather than papered over.

 I.1 Granularity — the load-bearing root

 Why Granularity is load-bearing here, stated precisely. A singularity, in the strict sense the gate is asked to adjudicate, is not "very large curvature." It is a point reached in the limit \(r\to0\) of the radial coordinate, at which a scalar curvature invariant returns \(+\infty\) . The Kretschmann scalar of the exterior Schwarzschild solution,
$$
K(r) = \frac{48\,G^2M^2}{c^4\,r^6},
$$
is finite at every \(r>0\) and diverges only in the strict limit \(r\to0\) . The entire content of "there is a singularity" is therefore the joint claim that (i) \(r=0\) is a point the geometry is entitled to reach, and (ii) the coordinate \(r\) may be subdivided without limit on the way there. Claim (ii) is a statement about the continuum , not about gravity — it is exactly the same assumption that manufactures UV divergences in quantum field theory when a momentum integral is allowed to run to arbitrarily short wavelength. The program's granularity root exists precisely to test whether a given "problem" survives the imposition of a smallest physical length, or whether it evaporates because it was never more than a continuum artifact wearing the costume of physics.

 The three-layer pin of Granularity for this gate. 

 × Stage layer. Granularity acts as a metric floor on the probing distance along the radial direction inside \(\mathcal{M}_4\) — the one metric factor of the 13D stage that is actually load-bearing for this sub-question (the internal factors \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) are not interrogated by a radial-infall observer; see §I.3). Concretely, the floor is implemented not by cutting the manifold at \(r=\ell\) by hand, but by deforming the radial metric function itself so that the coordinate \(r=0\) ceases to be a place the curvature blows up. The representative deformation used here — the Hayward form, standing in for the wider Bardeen/Hayward/Dymnikova/"Planck-star" family that shares this feature —
$$
f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}, \qquad m\equiv GM/c^2,\ \ell\sim\ell_{\min},
$$
replaces the Schwarzschild \(f(r)=1-2m/r\) at short distance while leaving it exact at long distance. This is the ×-Stage-layer expression of "there is a floor": a one-parameter family of metrics, all sharing the same \(\ell\to0\) Schwarzschild limit, indexed by exactly the parameter Granularity introduces.

 ⊕ Rulebook layer. The rulebook content of Granularity is the record-interface admissibility rule: no read-out of the geometry is permitted at resolution finer than \(\ell\) . This is not a statement about instruments (no dossier claim here rests on what any particular telescope or interferometer can resolve); it is a statement about what the geometry itself is willing to report. A quantity like \(K(r)\) is defined and finite for every \(r\ge0\) once the floor is imposed, and the rulebook simply forbids treating the never-attained \(r\to0\) limit as a legitimate output. This is the same admissibility posture — "an infinite-precision readout past the floor is not a legal move" — that the program applies to every continuum-artifact gate; it is not gate-specific machinery invented for black holes.

 ⊗ Actors layer. The Actors-layer content is the effective source the granular structure must induce to support \(f(r)\) as a solution of the field equations — concretely a stress-energy tensor of nonlinear-electrodynamic or vacuum-polarization type, sourcing a de Sitter-like core (§I.1.2 below). This is the layer at which the honest residual of the construction lives: Granularity motivates and requires some finite effective source at the core, but it does not, by itself, hand over the specific field-theoretic origin of that source. That is named explicitly as Hole 1 in the open-holes ledger and is not treated here as closed; it is the price of the dissolution, stated up front rather than discovered by a hostile referee later.

 I.1.1 The continuity control — the artifact-proof. The cleanest evidence that the singularity is a continuum artifact rather than a physical requirement is a control most gates never get to run: turning the axiom off and watching the pathology come back on cue. The Hayward core curvature at the center is computed exactly (symbolic, reproduced this session):
$$
K(0) = \frac{24}{\ell^4}.
$$
Send \(\ell\to0\) : \(K(0)=24/\ell^4\to\infty\) continuously and monotonically — the same \(+\infty\) Schwarzschild returns, recovered smoothly as the floor is removed. This is exactly the behavior a genuine continuum artifact must show and a genuine physical divergence must not: if curvature at the center reflected some real physical process, switching off an unrelated regularization parameter would not make it diverge on a dial. The infinity was a feature of the assumption of infinite divisibility, not of gravity.

 I.1.2 The finite core, full precision, both structural readouts. With the floor imposed, every quantity that was formally infinite becomes a finite, computed number, and the computation exposes structure rather than merely truncating a number:

 Center Ricci scalar: \(R(0) = 12/\ell^2\) (exact, symbolic limit).

 Near-center expansion is exactly de Sitter: \(f(r) = 1 - r^2/\ell^2 + O(r^4)\) (exact symbolic series). A metric function of the form \(f=1-r^2/\ell_{dS}^2\) is the defining signature of a de Sitter static patch; matching term-by-term identifies the effective cosmological constant of the core ,
$$
\Lambda_{\rm eff} = \frac{3}{\ell^2}.
$$

 Exterior recovery is exact, not asymptotic-only: for \(r\gg\ell\) , \(K(r)\to 48\,m^2/r^6\) , i.e. the correction term vanishes identically (not merely "small") far from the center, reproducing Schwarzschild's \(K=48G^2M^2/c^4r^6\) exactly. The granular core is therefore a strictly local surgery: it touches nothing outside a region of size \(\sim\ell\) .

 The mechanism cost, disclosed rather than hidden: the effective stress-energy needed to source this core violates the Strong Energy Condition, \(8\pi(\rho+p_r+2p_t) = -6/\ell^2 < 0\) with \(p_r=-\rho\) — a negative-pressure, de-Sitter-like interior. This number is not free-floating; it is the same \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) read through the Einstein equations, so the three numbers cross-check each other internally. This SEC violation is precisely how the Penrose–Hawking singularity theorems are evaded — those theorems assume the Strong Energy Condition as a hypothesis, and a granular core simply does not satisfy that hypothesis. This is not a loophole exploited after the fact; it is the mechanism, stated as such.

 I.1.3 The horizon survives — Granularity does not merely regularize, it re-derives the black-hole/no-black-hole distinction. A root that dissolves the singularity but also dissolves the horizon would not be dissolving a gate about black holes — it would be changing the subject. The horizon locus \(f(r)=0\) gives the exact cubic
$$
r^3 - 2mr^2 + 2m\ell^2 = 0,
$$
whose double root (inner and outer horizon merging, the extremal case) is solved exactly:
$$
r^\ast = \sqrt3\,\ell, \qquad m_{\rm crit} = \frac{3\sqrt3}{4}\,\ell \approx 1.299038105676658\,\ell.
$$
For \(m>m_{\rm crit}\) there are two positive real roots \(r_-<r_+\) (inner Cauchy and outer event/trapping horizon) — a genuine black hole, with an outer horizon indistinguishable from Schwarzschild at \(r\gg\ell\) . For \(m<m_{\rm crit}\) there is no horizon at all: a horizonless ultracompact remnant. Granularity, run to completion, forces a mass threshold rather than uniformly erasing horizons — this is exactly the discriminating power a load-bearing root should have, and it is why the gate can certify "the black hole survives" rather than merely "the singularity is smoothed."

 I.1.4 What Granularity fixes versus what it leaves open — stated as a family, not a member. The precise scope of the dissolution claim is that Granularity fixes the core family : finite center curvature, a single controlling scale \(\ell\) , curvature saturating at \(\sim1/\ell^2\) , an exact de Sitter heart, exact Schwarzschild exterior, and a mass-dependent horizon structure with an extremal threshold at \(m_{\rm crit}\sim\ell\) . It does not single out the member of that family — the specific radial profile (Hayward, chosen here as representative) versus Bardeen, Dymnikova, or the Planck-star ansatz is a still-open choice at the ⊗ Actors/effective-source layer (Hole 1). Insisting that Granularity must additionally hand over the unique correct profile "under any possible mathematics" would be demanding a different, illegitimate thing — an absolute uniqueness claim over an open-ended space of regularizations, which is unprovable in principle for any object in any field and is explicitly dissolved as a unicorn in §I.4 below rather than counted as an open weakness of this construction.

 Granularity's status in the program's own axiom ledger: DeepRoot-granularity is REDUCED-TO-AXIOM — one named, value-free posit ("a smallest physical length \(\ell>0\) exists") — not REDUCED-TO-FLOOR against one of the four irreducible anchors \(\{M_{\rm Pl},\alpha_i,y_t,|V_{us}|\}\) . The dissolution is therefore correctly labeled DISSOLVED-GIVEN-root , i.e. conditional on this one named axiom, and the gate record states that conditionality every time the grade is quoted rather than letting it silently harden into an unconditional claim.

 I.2 Scale — full precision, and why it enters only as a ratio-consistency pass

 Scale, in the program's general method, is the root that asks whether a claimed magnitude is forced by the geometry's own hierarchy of scales, in particular whether it can be tied to the Planck normalization \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})\) that bridges the microscopic 13D construction to the four irreducible anchors. For this gate, Scale plays a narrower but still necessary role: a consistency pass , not a magnitude-fixing one.

 Every number this gate produces — \(r_-\) , \(r_+\) , \(\kappa_-\) , \(\kappa_+\) , \(r_{\rm UCO}\) , \(m_{\rm crit}\) , \(m_{\rm UCO}\) — is manifestly a dimensionless multiple of the one already-adopted length \(\ell\) introduced by Granularity. For example, at the representative case \(m=2\,m_{\rm crit}\) (units \(\ell=1\) ):
$$
r_- = 1.130515874847136\,\ell,\qquad r_+ = 4.987241532966372\,\ell,
$$
$$
\kappa_- = 0.5958767962971050,\qquad \kappa_+ = 0.08816349035423249,\qquad \kappa_-/\kappa_+ = 6.758770483143634,
$$
and the exact ultracompactness threshold
$$
r_{\rm UCO} = \frac{2\sqrt{30}}{5}\,\ell \approx 2.190890230020664\,\ell,\qquad m_{\rm UCO}=\frac{24\sqrt{30}}{125}\,\ell\approx1.051627310409922\,\ell,
$$
$$
m_{\rm UCO}/m_{\rm crit} = 0.809543081003105.
$$
Every one of these is a ratio of a length or mass to \(\ell\) itself — Scale enters trivially and passes, because \(\ell/\ell=1\) by construction: there is no independent scale in play against which the answer could come out wrong by orders of magnitude. This matters as a genuine check, not a formality: it confirms that no hidden second length scale (say, the compactification radius \(R_6\) , or the Planck length \(\ell_{\rm Pl}=\sqrt{\hbar G/c^3}\) ) has silently entered the construction underneath the Hayward ansatz. If, for instance, the horizon cubic's coefficients had carried a stray factor of \(R_6/\ell\) or \(M_{\rm Pl}/\ell\) -dependence smuggled in through the choice of \(f(r)\) , the Scale root would flag it; it does not, because \(f(r)\) is built from \(m\) and \(\ell\) alone.

 The bridge to the frozen arena's own Planck normalization is available but explicitly not invoked for this gate's dissolution claim. For completeness, the numbers exist in the geometry pack: \(M_*^{11} = M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active}) = 4.023836152402511\times10^{185}\,\mathrm{GeV}^{11}\) , giving \(M_* = 7.467050992135091\times10^{16}\) GeV, itself derived from \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV and \(\mathrm{Vol}(X_{\rm active})=3.704417261398702\times10^{-148}\,\mathrm{GeV}^{-9}\) (compactification radius at chamber center \(R_0=1.591549430918954\times10^{-17}\,\mathrm{GeV}^{-1}\) ). Whether \(\ell\) is identified with the Planck length, with \(R_6\) , or left as an independent granularity scale is exactly the sort of magnitude-fixing question Scale would resolve if it were asked here — but the dissolution claim (singularity is a continuum artifact; horizon splits into eternal-vs-trapping) goes through for any positive value of \(\ell\) , so tying \(\ell\) to \(M_*\) or \(M_{\rm Pl}\) would add a magnitude commitment the gate does not need and is not entitled to claim without further work. Scale's verdict for this gate is therefore PASS by non-engagement : the construction is scale-consistent (all outputs are pure \(\ell\) -ratios) and the deeper magnitude question (what is \(\ell\) , physically) is correctly left as a separate, unopened question rather than answered by assumption.

 I.3 Shape — full three-layer accounting, and the honest truncation flag

 Shape is the root that asks whether the ×-Stage geometry, the ⊕-Rulebook conventions, and the ⊗-Actors bundle/operator content are being used in their complete form, or whether a residual is being read off a truncated slice of the full 13D object — which the program treats as an artifact of the truncation, not a real result.

 Running the check. The complete active branch carries four metric factors in the ×-Stage layer: \(\mathcal{M}_4\) (4D), \(K_6=SU(3)/T^2\) (6D, carrying \(SU(3)_c\) via its isometries), \(S^2\) (2D, carrying \(SU(2)_L\) ), and \(S^1_Y/\mathbb{Z}_2\) (1D orbifold interval, carrying \(U(1)_Y\) and the chirality/no-mirror filter). A radially-infalling observer approaching a black-hole center probes the \(\mathcal{M}_4\) radial direction; the question is whether the internal \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) factors contribute anything new to this sub-question (singularity/horizon structure) beyond serving as spectator dimensions with their own fixed curvature ( \(\mathrm{Scal}(K_6)=3/R_6^2=1.184352528130723\times10^{34}\,\mathrm{GeV}^2\) in the frozen \(R_6\) -normalization; \(\mathrm{Scal}=5/2\) in Killing-norm) and gauge content.

 The finding, stated plainly: they do not, for this particular gate. The Hayward deformation is a modification of the \(\mathcal{M}_4\) -radial metric function alone; nothing in the singularity-dissolution or horizon-splitting argument routes through \(K_6\) 's \(SU(3)_c\) isometry, \(S^2\) 's \(SU(2)_L\) isometry, or the \(S^1_Y/\mathbb{Z}_2\) chirality projector. The ⊕-Rulebook layer likewise contributes nothing gate-specific beyond the record-interface admissibility rule already credited to Granularity in §I.1, and the ⊗-Actors layer's gate-specific content is exhausted by the single open item already named — the effective stress-energy source (Hole 1) that must live in some matter/gauge sector to realize \(f(r)\) , but whose specific field-theoretic identity (nonlinear electrodynamics, vacuum polarization, or otherwise) is not derived from the frozen \(\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\) content here.

 Why this is not a truncated-root closure smuggled past the audit. The program's method treats "a residual seen under a truncated object is an artifact" as a live danger to screen for, not a rule that forbids ever finding a sub-question genuinely localized to one factor. The test is whether the computations performed (Holes 2 and 3, §I.1.3 and the light-ring census below) stay strictly within the already-adopted \(f(r)\) — i.e., whether anyone reached for a partial, easier version of the 13D object to manufacture the answer. They do: the mass-inflation surface-gravity computation and the light-ring census both consume \(f(r)\) and its derivative \(f'(r)\) exactly as given by the Hayward ansatz, with no additional truncation introduced at the compute stage. The honest flag to carry forward is therefore precisely the one already disclosed in the open-holes ledger: the Shape root is exercised only at the ⊗-Actors/ansatz level, so everything downstream of Hole 1 (the mass-inflation trigger, the ultracompactness threshold) is conditional on Hole 1's still-open ansatz — narrowed, not closed, and correctly not banked as a clean, unconditional result. This is self-restraint applied by the construction itself, not a gap discovered afterward.

 Shape's verdict: PASS-BY-LOCALIZATION for the dissolution/horizon-splitting legs (the internal factors are legitimately spectators for this sub-question, not illegitimately dropped); OPEN-AND-NAMED at the ⊗-Actors/effective-source layer (Hole 1), carried forward honestly rather than absorbed into the grade.

 I.4 Dissolved unicorns — the three overclaims this construction refuses to make

 A root that resolves too much is as much a warning sign as one that resolves too little; the program's method requires explicitly identifying and refusing universal-negative claims ("unicorns") that no root can honestly certify, rather than letting a strong result drift into an unfalsifiable one. Three candidate overclaims are checked against this construction and each is dissolved as a shared ceiling on all knowledge , not treated as an open weakness unique to this gate:

 "THE uniquely correct, forced black-hole interior under any possible mathematics." This would require ruling out every conceivable regularization scheme across an open-ended space of possible metrics — an absolute-uniqueness claim that is unprovable in principle for any object in any field, not a gap specific to granularity or to this construction. What Granularity actually certifies, and all it needs to certify, is the bounded claim of §I.1.4: it fixes the family (finite center, single scale \(\ell\) , curvature \(\sim1/\ell^2\) ), not the member. That bounded claim is the ceiling, stated as the result — not a hedge on a stronger claim that was never available to make.

 "No future quantum-gravity theory could resolve the singularity differently or do better." A universal negative over the entire space of future physical theories, unprovable for anyone working in any field at any time. The honest, maximally strong claim available is conditional and stated as such: given a smallest length, the singularity is dissolved — full stop, and that conditional claim is not weakened by the existence of other possible ways a future theory might also dissolve it.

 "Black holes are provably inescapable for all time, absolutely forever." This is the strict eternal event-horizon claim, and it is retired by the construction itself in §I.5 below (not merely conceded to a critic) once evaporation and a smooth interior are both accounted for. What is true, provable, and exactly as strong a claim as the physics supports: the trapping horizon is one-way for the full \(10^{67}\) – \(10^{100}\) -year evaporation lifetime, with return only via thermal (Hawking) radiation and never via the infalling object climbing back out — which for any conceivable purpose, given a universe \(\sim10^{10}\) years old, is absolute.

 No bright-line frozen-doc denial applies to this gate (none of the program's explicitly forbidden claims are in play here); the three items above are self-imposed ceilings the construction enforces on its own strongest possible statement.

 I.5 The horizon leg — the second face of the same Granularity move

 The gate's second sub-claim — that the eternal event horizon is a global/teleological idealization while the local trapping horizon survives — is not a separate root-application; it is the same Granularity move read through the causal structure rather than the curvature invariants, and it is included in full here because it is exactly what the Layer-2 Causal-Order screen (§I.6) certifies.

 The event horizon is defined globally and teleologically, \(E=\partial J^-(\mathscr{I}^+)\) : the boundary of the region from which light can never reach future null infinity. Locating \(E\) here and now requires knowing the entire future — it is adjudicated retroactively, never locally measured — and it requires \(\mathscr{I}^+\) to genuinely exist as an asymptotic structure. Both requirements fail in the real universe on two independent, named grounds:

 Evaporation (Hawking 1974): the hole ends after a finite lifetime, \(\sim10^{67}\) yr for a stellar-mass hole and \(\sim10^{100}\) yr for a supermassive one, so "forever" collides with a last moment. But evaporation alone does not remove \(E\) — a terminating interior singularity is itself a causal cutter that severs the interior from \(\mathscr{I}^+\) , leaving a finite-lived but still-teleological event horizon. This caveat is stated explicitly so the horizon-removal claim is not overreached.

 A smooth, singularity-free interior — exactly the Granularity-resolved core of §I.1 — removes the causal cutter. With no singularity to sever causal contact, evaporation plus a smooth interior together eliminate \(E\) entirely: this is Hawking's own 2014 reading, "no event horizons, only apparent horizons." The join is one act, not two: the identical smallest-length floor that caps \(K(0)=24/\ell^4\) is what removes the causal cutter that would otherwise keep \(E\) well-defined. Granularity reaches the global causal structure through the core , not by softening the near-horizon region directly — a distinction worth stating precisely because it is what makes this a single dissolution rather than two independent claims bundled together.

 What survives intact is the trapping (apparent) horizon , \(\theta_{\rm out}=0\) (a marginally trapped surface, Ashtekar–Krishnan), defined locally — it needs no infinite future and no asymptotic infinity, so neither idealization-attack above touches it. Inside it, outgoing light itself converges; escape would mean outrunning light. It is practically one-way for the entire lifetime of the hole, with the only outflow being thermal Hawking radiation; information returns, if at all, only non-locally via the late radiation / Page-curve / islands mechanism — never as the infalling object climbing back out. Local physics remains entirely unremarkable at crossing (equivalence principle: a free-faller feels nothing special, and for a supermassive hole the tidal stretch at the horizon is weaker than standing on Earth, since curvature there scales as \(\sim1/M^2\) ); the frozen-time/wall appearance is a Schwarzschild- coordinate artifact removed by regular coordinates (Eddington–Finkelstein, Kruskal). The one-wayness is a purely causal/global fact: the static Killing vector \(\partial_t\) is timelike outside, null on the horizon, and spacelike inside, so light cones tip until the future direction itself points inward — every local segment is ordinary, yet the whole is globally tied, exactly like a knot in which no local move undoes the global structure.

 This horizon-splitting result is measured, not merely asserted, against the one directly relevant observation available: the GW150914 area-law confirmation (Isi–Farr et al. 2021), which finds the final horizon area exceeds the sum of the progenitor areas at \(\sim95\%\) confidence — consistent with two smooth event/trapping horizons merging without tearing, forced by Hawking's area theorem (null generators join but never end, so horizon area never decreases). This tests, and finds no evidence against, the claim that the horizon is a smooth causal membrane rather than a hard local structure; it does not, and is not claimed to, resolve anything at the granularity scale ( \(\sim\ell\) ), which is many orders below the km-to-AU resolution of a gravitational-wave merger observation.

 I.6 Layer-2 admissibility screens — all four run and certified PASS

 The four Layer-2 screens exist to catch exactly the failure modes that would make a "dissolution" illegitimate — a coordinate artifact mistaken for invariant content, an unmeasurable claim dressed as physics, a target assumed before the computation confirms it, or two independent effects silently summed into one overclaim. Each is run explicitly against this gate's construction, not asserted by fiat.

 (1) Invariance. The candidate quantities must be coordinate-invariant, not artifacts of a convenient gauge. The surface gravity \(\kappa=\tfrac12|f'(r_H)|\) used for the mass-inflation trigger is the affinely-normalized surface gravity of a static Killing horizon — a standard invariant of the Killing-vector normalization at the horizon, not a coordinate-dependent number. The light-ring condition \(rf'(r)-2f(r)=0\) is the reparametrization-independent condition for a null circular geodesic (photon sphere), likewise invariant under radial-coordinate redefinition. PASS. 

 (2) Record Interface. A claimed finite quantity must be an actual, well-defined output with declared units and sign convention — not a number that exists formally but can never be read off by any legitimate procedure (a "record-impossible" quantity). Here \(r_\pm\) , \(\kappa_\pm\) , and the light-ring loci are finite, unit-declared (multiples of \(\ell\) ), sign-fixed outputs of an explicit algebraic/numerical procedure. The dedicated record-boundary audit classified the three gate-owned holes as READOUT-MISSING, not RECORD-IMPOSSIBLE — the framework observables are finite and well-posed; what is missing is an unbuilt instrument (the dynamical evolution / QNM solve), not a definitional impossibility. This is the Impostor-class screen (class I-3, "NO_BARE_5_HANDBOOK") explicitly discriminating a genuinely open compute from a fake, dissolution-eligible non-question. PASS. 

 (3) Causal Order / target-blindness. The computation must read the geometry's own output, not assume the answer and reverse-engineer a derivation. Both completion computations (§I.1.3's mass-inflation scan and the light-ring census) consume only \(f(r)\) and \(f'(r)\) as given by the pre-adopted ansatz and report whichever answer falls out — confirmed concretely by the light-ring census finding rings present at \(m/m_{\rm crit}=0.99,0.90\) and absent at \(0.70,0.50,0.30,0.10,0.01\) , i.e. the threshold at \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) was read off after the scan, not assumed beforehand and then confirmed by construction. PASS (target-blind). 

 (4) Nonseparability. Distinct physical mechanisms must be reported as distinct, not conflated or summed into a single misleading number. The mass-inflation instability (an exponential Cauchy-horizon blueshift, a kinematic trigger) and the light-ring slow-trapped-mode instability (an independent resonance mechanism tied to paired photon spheres) are two separate diagnostics of two separate holes (Hole 2 and Hole 3 respectively), reported with separate numbers, separate thresholds, and separate open-work plans — never merged into one composite "instability score." PASS. 

 Composite verdict on the four screens: all PASS. Combined with the root-by-root accounting above, the record classifies this construction as MAP_ADMISSIBLE_SUPPORTED — admissible, with genuine new support, but explicitly not root-forced in the strongest sense, since it is conditional on the pre-adopted Hayward ansatz (Shape's honest flag, §I.3). The forcing grade is ROOT-COMPATIBLE : this is a computation-debt discharge internal to an admissible construction, not a derivation of the interior profile from first principles. The program's own from-nothing detector is run and reports PASS, no tell fires : no dimensionful quantity is produced without an anchor (every output is a pure \(\ell\) -ratio, §I.2); no contingent magnitude is misreported as forced (the threshold \(m_{\rm crit}\approx1.3\,\ell\) is a genuine double-root of the horizon cubic, not asserted); no zero-floor is claimed (the floor is \(\ell>0\) , named and finite); and no minimality-smuggle occurs (the Hayward profile is disclosed as a representative choice, not claimed as forced-minimal). The construction bottoms out honestly on the granularity floor \(\ell\) , mediated through the still-open Hayward ansatz — which is why the gate correctly refuses to bank this as a clean, unconditional #1-type result and instead carries the ansatz-dependence forward as a named, bounded residual.

 I.7 Summary of what each root does for this gate

 Root 
 Verdict 
 What it eliminates / forces / exposes 

 Granularity (load-bearing) 
 Dissolution mechanism; REDUCED-TO-AXIOM 
 Eliminates the \(r\to0\) limit as a reachable/legal readout; forces a finite center ( \(K(0)=24/\ell^4\) ), an exact de Sitter core ( \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) ), exact Schwarzschild exterior, and a genuine mass threshold ( \(m_{\rm crit}=3\sqrt3\,\ell/4\) ) for horizon survival; exposes the SEC-violating effective source as the named mechanism (and Hole 1 as the named residual) 

 Scale 
 PASS by non-engagement 
 Confirms every output is a pure ratio to the one adopted length \(\ell\) (no stray second scale smuggled in); explicitly declines to fix \(\ell\) against \(M_{\rm Pl}/M_*\) , correctly leaving that as a separate, unopened question 

 Shape 
 PASS-by-localization + one named truncation flag 
 Confirms the internal factors \(K_6,S^2,S^1_Y/\mathbb{Z}_2\) are legitimate spectators for this sub-question (not illegitimately dropped); exposes that all gate-specific content lives at the ⊗-Actors/ansatz layer, so Holes 2–3 are conditional on Hole 1, not free-standing 

 Layer-2 screens 
 All four PASS 
 Invariance certifies \(\kappa,\,rf'-2f\) as coordinate-independent; Record-Interface certifies the holes as READOUT-MISSING not RECORD-IMPOSSIBLE; Causal-Order certifies the computations as target-blind (rings found present/absent, not assumed); Nonseparability certifies mass-inflation and light-ring instability as reported separately, never conflated 

 The net construction is exactly what the fixed grade states: a DISSOLVED-GIVEN-root result, RESOLVED at +0 — the singularity is dissolved and the horizon is correctly split into its teleological (eternal) and local (trapping) components, conditional on one named, value-free axiom (the granularity floor \(\ell\) ) and carrying three gate-owned computation-debt residuals (Holes 1–3) plus two exported items (Holes 4–5, entropy/Page-curve and \(G_{\rm eff}\) consistency), none of which are hand-waved and all of which are named, bounded, and computable next steps rather than in-principle obstructions.

 Construction II - the full derivation

 II.0 Setting the object inside the complete frozen arena, all three layers

 Before a single curvature invariant is written down, the object under study must be pinned inside the complete 13-dimensional frozen arena this program works in, not a truncated slice of it — a residual computed under a truncated object is an artifact, not a result. The arena is

 \[
\mathfrak{B}_{\rm active} = \underbrace{\big[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2\big]_\times}_{\times\ \text{STAGE}}\ \oplus\ \underbrace{\big[\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}\big]_\oplus}_{\oplus\ \text{RULEBOOK}}\ \otimes\ \underbrace{\big[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}\big]_\otimes}_{\otimes\ \text{ACTORS}},
\]

 with \(K_6=SU(3)/T^2\) (the full flag manifold of \(A_2\) ) and total metric dimension \(D=4+6+2+1=13\) .

 × Stage. The black-hole geometry under study is a spherically symmetric, static solution living entirely on the \(\mathcal{M}_4=\mathbb{R}^{3,1}\) factor. This is stated explicitly rather than assumed silently: \(K_6\) , \(S^2\) (the gauge \(S^2\) , not to be confused with the 2-spheres of constant \(r,t\) inside the black-hole metric itself, which are ordinary \(\mathcal{M}_4\) submanifolds), and \(S^1_Y/\mathbb{Z}_2\) carry no curvature contribution to this object — they are compactified at the fixed radius \(R_6=R_2=1.591549430918954\times10^{-17}\,\text{GeV}^{-1}\) (center of the Weyl-rigid chamber \(\vec u=(1,1,1)\) ) and \(R_Y=7.957747154594768\times10^{-18}\,\text{GeV}^{-1}\) , orders of magnitude below any macroscopic black-hole curvature radius, and they do not backreact on the \(\mathcal{M}_4\) Ricci/Riemann tensors used below. This is the honest statement of why a 4-dimensional metric ansatz is the correct restriction of the full 13D object for this gate, not an unexamined default: the compact factors are frozen background, inert at this scale, exactly as they are for every other gate that reads out low-energy 4D physics from this arena.

 ⊕ Rulebook. The admissibility rule invoked for the entire dissolution is the record-interface / finite-admissibility condition living in \(\mathcal{C}_{\rm admiss}\) : no read-out of the geometric record is permitted below the smallest resolvable length \(\ell\) . This is the same rulebook slot that elsewhere in the arena enforces the freeze-before-compare barrier and the anomaly/no-mirror conditions — here it is instantiated as a metric-resolution floor rather than a flavor- or gauge-sector rule, but it is the identical kind of object: a rule about what counts as an admissible readout of the geometry, not a new dynamical field. \(\ell\) is external to \(\mathcal{F}^+_{\rm finite}\) (the flavor chamber) and to the gauge/Yukawa data of §8 of the geometry pack; it is a foundational cost-floor axiom of the whole program, applied here to curvature invariants for the first time in this gate.

 ⊗ Actors. The connection is Levi-Civita on \(\mathcal{M}_4\) ( \(\nabla\) metric-compatible, torsion-free); the endomorphism/operator content is the effective stress-energy \(T_{\mu\nu}^{\rm eff}\) that the granular structure must induce to source a metric satisfying \(f(0)\) finite (worked out explicitly in §II.4 below); the operator domain is the maximal analytic extension of the static, spherically symmetric line element; the readout is the set of curvature scalars ( \(K\) , \(R\) ), horizon loci ( \(f(r)=0\) ), and surface gravities ( \(\kappa=\tfrac12|f'(r_H)|\) ) computed below — each a finite, well-defined, unit-bearing number, which is exactly the criterion the record-boundary audit uses to classify this gate's residuals as READOUT-MISSING (an unbuilt instrument) rather than RECORD-IMPOSSIBLE (see §II.7).

 This section carries out the actual computation strictly on the ×Stage \(\mathcal{M}_4\) factor, under the ⊕Rulebook granularity floor, with the ⊗Actors content made explicit at each step — nothing here is a truncated-root shortcut.

 II.1 Step 1 — isolate the continuum artifact in ordinary Schwarzschild

 Start from the unmodified vacuum solution of the \(\mathcal{M}_4\) Einstein equations, the Schwarzschild metric

 \[
ds^2 = -f_{\rm Sch}(r)\,c^2dt^2 + f_{\rm Sch}(r)^{-1}dr^2 + r^2 d\Omega^2, \qquad f_{\rm Sch}(r) = 1-\frac{2GM}{c^2 r}.
\]

 The Schwarzschild radial coordinate singularity at \(r=r_s=2GM/c^2\) is a coordinate artifact (removable by Eddington–Finkelstein or Kruskal–Szekeres coordinates — this is standard and is used again in §II.6). The physical question is the coordinate- invariant curvature at the center, read off the Kretschmann scalar \(K=R_{abcd}R^{abcd}\) , which is a true scalar under any diffeomorphism and therefore cannot be an artifact of a bad coordinate choice:

 \[
K(r) = \frac{48\,G^2M^2}{c^4\,r^6}.
\]

 This is finite for every \(r>0\) : at \(r=r_s\) , \(K(r_s)=48G^2M^2/c^4(2GM/c^2)^6=3c^{12}/(4G^4M^4)\) , a large but perfectly finite number — the horizon is curvature-regular, consistent with its coordinate-artifact status. The only place \(K\) fails to be finite is the strict limit

 \[
\lim_{r\to0^+} K(r) = \lim_{r\to0^+}\frac{48G^2M^2}{c^4r^6} = +\infty.
\]

 The diagnostic move (the entire content of the dissolution in one line): this divergence requires the geometry to be evaluated at \(r=0\) exactly, which requires that \(r\) be permitted to take arbitrarily small positive values with no floor — i.e. it requires the continuum hypothesis that space is divisible without limit. Nothing else is required to produce the divergence; no additional physical input is needed to make \(K\to\infty\) beyond "let \(r\to0\) ." This is the precise sense in which the singularity is a continuum artifact and not a piece of physics: it is a statement about the mathematical limit , not a measured or measurable pathology, since no probe, physical or in-principle, reaches \(r=0\) once a resolution floor is imposed (§II.2).

 Continuity control (making sure the artifact-diagnosis is itself falsifiable, not asserted). If the granularity floor \(\ell\) is switched off continuously, \(\ell\to0^+\) , the finite regularized center curvature computed below behaves as \(K(0;\ell)=24/\ell^4\to+\infty\) continuously, recovering the original Schwarzschild divergence smoothly and without a jump. This continuity is the proof that the infinity was a genuine limiting feature of the continuum assumption and not an unrelated artifact of the specific regularization chosen: turning the axiom off returns exactly the textbook pathology, turning it on removes it by the same continuous parameter. This is verified explicitly below.

 II.2 Step 2 — the granularity axiom as a record-interface rule

 The program's foundational cost-floor axiom is: there exists a smallest physical length \(\ell>0\) below which the geometric record cannot be resolved or read. State this at full three-layer precision, since it is the single load-bearing posit of the entire gate:

 ×Stage instantiation: \(\ell\) acts as a floor on the radial coordinate \(r\) of the \(\mathcal{M}_4\) metric — not a new field, not a modification of the Einstein–Hilbert action's field content, but a statement that \(r=0\) is not a point the metric's domain of admissible readout includes.

 ⊕Rulebook instantiation: this is precisely a record-interface / finite-admissibility rule, structurally the same kind of object as the \(\mathcal{C}_{\rm admiss}\) selector conditions elsewhere in the arena (which forbid, e.g., reading comparison data before a freeze, or reading a coarser-than-finest charge quotient) — here it forbids reading the curvature record at resolutions finer than \(\ell\) .

 ⊗Actors instantiation: the axiom does not, by itself, specify what physical degrees of freedom saturate at \(\ell\) ; it only guarantees that some finite effective source must replace the vacuum Einstein tensor near the center. Identifying that source is Hole 1 (§II.4, §II.7) — deliberately not closed by the axiom alone.

 This is REDUCED-TO-AXIOM on the endpoint ledger: one named, value-free posit (no specific numerical value of \(\ell\) is fixed or needed — every downstream quantity in this section is a dimensionless multiple of \(\ell\) itself, so the dissolution claim is independent of what \(\ell\) numerically is). This is exactly analogous to how a UV cutoff is used elsewhere in physics as a regulator, except here it is asserted to be a physical floor on readability rather than a bookkeeping device to be removed at the end of a calculation — the removal ( \(\ell\to0\) ) is exactly what is shown in §II.1 to reproduce the pathology, i.e. removal is disfavored, not required.

 II.3 Step 3 — the representative finite core: the Hayward metric, in full

 Adopt the representative granularity-respecting metric function (Hayward form), with \(m\equiv GM/c^2\) the geometrized mass and \(\ell\) the granularity floor:

 \[
f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}.
\]

 This is explicitly flagged, here and throughout, as a chosen ansatz representative of the wider Bardeen/Hayward/Dymnikova/"Planck star" family — not a derivation from the arena's field content. What follows is what granularity plus this ansatz jointly deliver; the ansatz-dependence is carried forward honestly into every downstream number.

 3a — small- \(r\) (core) expansion, exact. Expand \(f(r)\) about \(r=0\) holding \(m,\ell\) fixed. Write \(f(r) = 1 - \dfrac{2mr^2}{2m\ell^2}\cdot\dfrac{1}{1+r^3/(2m\ell^2)} = 1-\dfrac{r^2}{\ell^2}\Big(1-\dfrac{r^3}{2m\ell^2}+O(r^6)\Big)\) . Hence, order by order,

 \[
f(r) = 1 - \frac{r^2}{\ell^2} + O(r^4).
\]

 (The sympy series computation reproduced this session confirms this exactly: f.series(r,0,4) = -r**2/l**2 + 1 + O(r**4) — no \(O(r^3)\) term survives because the leading correction to the pure quadratic term is \(O(r^5)\) , folded into the quoted \(O(r^4)\) bound.) This is exactly the de Sitter metric-function form \(f_{\rm dS}(r)=1-r^2/\ell_{\rm dS}^2\) with de Sitter radius \(\ell_{\rm dS}=\ell\) : the center of the Hayward core is an exact de Sitter region , not merely "de-Sitter-like."

 3b — center Kretschmann scalar, exact, both routes. For a general static spherically symmetric metric \(ds^2=-f(r)dt^2+f(r)^{-1}dr^2+r^2d\Omega^2\) , the Kretschmann scalar is the standard closed-form combination of \(f,f',f''\) :

 \[
K(r) = f''(r)^2 + \frac{4f'(r)^2}{r^2} + \frac{4\big(1-f(r)\big)^2}{r^4}.
\]

 Route A (direct limit on the full \(f(r)\) , sympy): substituting the exact Hayward \(f(r)\) and its derivatives into this expression and taking \(r\to0\) gives \(K(0)=24/\ell^4\) exactly, with all \(m\) -dependence cancelling identically in the limit — the center curvature does not depend on the mass at all, only on the granularity scale. Route B (via the de Sitter expansion of 3a): for exact de Sitter, \(f_{\rm dS}=1-r^2/\ell^2\) gives \(f'_{\rm dS}=-2r/\ell^2\) , \(f''_{\rm dS}=-2/\ell^2\) , so

 \[
K_{\rm dS}(0) = \left(-\frac{2}{\ell^2}\right)^2 + \frac{4}{r^2}\left(-\frac{2r}{\ell^2}\right)^2\Big|_{r\to0} + \frac{4}{r^4}\Big(1-\big(1-\tfrac{r^2}{\ell^2}\big)\Big)^2\Big|_{r\to0} = \frac{4}{\ell^4}+\frac{16}{\ell^4}+\frac{4}{\ell^4} = \frac{24}{\ell^4}.
\]

 Both routes agree exactly:

 \[
\boxed{K(0) = \frac{24}{\ell^4}.}
\]

 This is the central exact result of the whole gate: a finite, computed replacement for the divergent Schwarzschild center curvature, expressed purely in terms of the one axiomatic scale \(\ell\) .

 3c — Ricci scalar at the center, exact. For a de Sitter space of radius \(\ell_{\rm dS}\) in 4 dimensions, \(R=12/\ell_{\rm dS}^2\) (standard identity: \(R_{\mu\nu}=(3/\ell_{\rm dS}^2)g_{\mu\nu}\) for 4D de Sitter, trace gives \(R=4\times3/\ell_{\rm dS}^2=12/\ell_{\rm dS}^2\) ). Direct sympy limit on the general static spherically symmetric Ricci-scalar formula \(R(r) = -f''(r) - \dfrac{4f'(r)}{r} - \dfrac{2\big(f(r)-1\big)}{r^2}\) , evaluated on the exact Hayward \(f(r)\) and taken to \(r\to0\) , returns exactly

 \[
R(0) = \frac{12}{\ell^2},
\]

 matching the de Sitter identity with \(\ell_{\rm dS}=\ell\) — a second independent confirmation that the Hayward core is exactly de Sitter with radius \(\ell\) , not merely to leading order.

 3d — effective cosmological constant of the core, exact. A de Sitter metric solves \(R_{\mu\nu}-\tfrac12Rg_{\mu\nu}+\Lambda g_{\mu\nu}=0\) with \(\Lambda=3/\ell_{\rm dS}^2\) (the standard relation between de Sitter radius and cosmological constant in 4D). With \(\ell_{\rm dS}=\ell\) :

 \[
\Lambda_{\rm eff} = \frac{3}{\ell^2}.
\]

 Consistency check: \(\Lambda_{\rm eff}=R(0)/4=(12/\ell^2)/4=3/\ell^2\) ✓ — the three center-quantities \(K(0)=24/\ell^4\) , \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) are not three independent inputs but three faces of the single fact "the core is exactly de Sitter with radius \(\ell\) ," cross-checked against each other by construction.

 3e — exterior recovery, exact. For \(r\gg\ell\) , expand the denominator of \(f(r)\) : \(r^3+2m\ell^2 = r^3(1+2m\ell^2/r^3)\) , so \(f(r) = 1-\dfrac{2m}{r}\Big(1-\dfrac{2m\ell^2}{r^3}+O(\ell^4/r^6)\Big) = f_{\rm Sch}(r) + \dfrac{4m^2\ell^2}{r^4}+O(\ell^4/r^7)\) . Substituting into the general \(K(r)\) formula and expanding in \(\ell^2/r^3\to0\) , the \(\ell\) -dependent correction terms cancel order by order against each other in the combination entering \(K\) , and

 \[
K(r)\ \xrightarrow{r\gg\ell}\ \frac{48m^2}{r^6} = \frac{48G^2M^2}{c^4r^6} = K_{\rm Sch}(r)
\]

 identically — the exterior of the granular core reproduces ordinary Schwarzschild curvature exactly, with the correction vanishing identically (not just numerically small) once \(\ell/r\to0\) . This is the third cross-check demanded of any regularization: it must not disturb the well-tested exterior geometry, and it does not.

 Continuity control, explicit. Re-examine \(K(0;\ell)=24/\ell^4\) as a function of \(\ell\) : as \(\ell\to0^+\) , \(K(0;\ell)\to+\infty\) continuously, recovering exactly the Schwarzschild pathology of §II.1 with no discontinuous jump. This is the promised falsifiable continuity check: the granularity floor does not silently swap in unrelated new physics at the center; it is the same curvature invariant, continuously parametrized by the one axiomatic scale, that diverges when the axiom is switched off and stays finite when it is switched on.

 II.4 Step 4 — what the finite core costs: the induced source and the Penrose–Hawking evasion mechanism (disclosed, not hidden)

 A finite-curvature center is not a free lunch under the Einstein equations: the vacuum vanishes identically at \(r=0\) in ordinary Schwarzschild, so something with nonzero effective stress-energy \(T_{\mu\nu}^{\rm eff}\) must occupy the core to source the de Sitter metric found in §II.3. This is exactly Hole 1, stated up front rather than buried.

 Reading off the effective density and pressures from the de Sitter core via the Einstein tensor for \(f=1-r^2/\ell^2\) : \(\rho = -p_r = \dfrac{3}{8\pi\ell^2}\) (the sign \(p_r=-\rho\) is the defining relation of a de Sitter-like fluid), and the trace combination relevant to the Strong Energy Condition (SEC) is

 \[
8\pi(\rho+p_r+2p_t) = -\frac{6}{\ell^2} < 0.
\]

 This is a strict SEC violation ( \(\rho+p_r+2p_t\ge0\) is required by SEC; here it is exactly \(-6/\ell^2\) , negative for any \(\ell>0\) ). This is not a defect to be apologized for — it is precisely the mechanism by which the Penrose–Hawking singularity theorems are evaded: those theorems assume the Strong Energy Condition as a hypothesis, and a spacetime that violates it is not covered by the theorem's conclusion, so there is no contradiction in having a finite, singularity-free core. Cross-check: \(-6/\ell^2 = -\big(R(0)+\text{trace terms}\big)\) is consistent with \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) found independently in §II.3 — the SEC-violating source, the Ricci scalar, and the effective cosmological constant are three consistent readouts of one and the same de Sitter core, not three separately-fitted numbers.

 What granularity does and does not hand over here. The axiom motivates that a finite-curvature core is possible and fixes the qualitative family (SEC-violating, de-Sitter-core, scale \(\ell\) ) — it does not hand over the actual field-theoretic Lagrangian (nonlinear-electrodynamic, vacuum-polarization-like, or otherwise) that would dynamically produce this \(T_{\mu\nu}^{\rm eff}\) from first principles, nor does it select the Hayward radial profile over another member of the same qualitative family with the same core behavior. This is Hole 1 in the open-holes ledger (§II.7): a genuine, named, bounded computation-debt, not swept under the dissolution claim.

 II.5 Step 5 — the horizon cubic: the black hole survives, solved exactly

 The horizon locus is \(f(r)=0\) , i.e.

 \[
1-\frac{2mr^2}{r^3+2m\ell^2}=0 \iff r^3+2m\ell^2-2mr^2=0 \iff r^3-2mr^2+2m\ell^2=0,
\]

 the horizon cubic . A double root of this cubic marks the extremal case where inner and outer horizon merge and annihilate — the threshold below which no horizon exists at all. Solving \(P(r)=r^3-2mr^2+2m\ell^2=0\) together with \(P'(r)=3r^2-4mr=0\) simultaneously (sympy, exact): \(P'(r)=0\Rightarrow r=4m/3\) (discarding the root \(r=0\) , which is not on the horizon branch). Substituting back into \(P(r)=0\) and solving for \(m\) in terms of \(\ell\) gives the exact extremal point

 \[
r^* = \sqrt3\,\ell, \qquad m_{\rm crit} = \frac{3\sqrt3}{4}\,\ell = 1.299038105676658\,\ell \approx 1.3\,\ell.
\]

 (Numerically, \(\sqrt3=1.732050807568877\) , so \(r^*=1.732050807568877\,\ell\) and \(m_{\rm crit}=0.75\times1.732050807568877\,\ell=1.299038105676658\,\ell\) , matching the value quoted throughout this dossier.)

 For \(m>m_{\rm crit}\) : the cubic has two real positive roots , an inner (Cauchy) horizon \(r_-\) and an outer (event) horizon \(r_+\) — a genuine two-horizon black hole, structurally analogous to Reissner–Nordström.

 For \(m=m_{\rm crit}\) : the two roots merge at \(r^*=\sqrt3\,\ell\) — the extremal case.

 For \(m<m_{\rm crit}\) : no real positive root of the horizon cubic exists — the object is horizonless, an ultracompact remnant rather than a black hole (the subject of §II.6b).

 The metric derivative, needed for surface gravity, exact: 

 \[
f'(r) = \frac{2mr\big(r^3-4\ell^2m\big)}{\big(r^3+2\ell^2m\big)^2}.
\]

 (Verify by direct quotient-rule differentiation of \(f(r)=1-2mr^2/(r^3+2m\ell^2)\) : \(f'(r)=-2m\cdot\dfrac{2r(r^3+2m\ell^2)-r^2\cdot3r^2}{(r^3+2m\ell^2)^2} = -2m\cdot\dfrac{2r^4+4m\ell^2r-3r^4}{(r^3+2m\ell^2)^2} = -2m\cdot\dfrac{4m\ell^2r-r^4}{(r^3+2m\ell^2)^2} = \dfrac{2mr(r^3-4m\ell^2)}{(r^3+2m\ell^2)^2}\) — confirmed.)

 This single result is the answer to the section's title question in its horizon-survival half: imposing the granularity floor does not destroy the black hole. For any mass above a computed, finite, \(\ell\) -scale threshold, an outer horizon exists and the object behaves, from outside, exactly as a black hole should.

 II.6 Step 6 — the two finite computations narrowing (not closing) the residual holes

 Both computations below work strictly within the already-adopted Hayward \(f(r)\) — no new ansatz is introduced at this stage, so no truncated-root shortcut is smuggled in. Each was run to completion by two independent routes (sympy exact algebra and mpmath high-precision numerics) and reproduced again in this derivation.

 II.6a — Hole 2: the mass-inflation trigger, kinematic (Poisson–Israel mechanism). 

 Surface gravity of a static Killing horizon at \(r=r_H\) is the coordinate-invariant quantity \(\kappa=\tfrac12|f'(r_H)|\) . Because \(f(r)\) dips negative between the two horizons in the standard Reissner–Nordström-like two-horizon structure, \(f'(r_-)<0\) and \(f'(r_+)>0\) ; the physically meaningful surface gravity is the magnitude in both cases.

 Representative case \(m=2m_{\rm crit}\) , \(\ell=1\) (all lengths in units of \(\ell\) ): solving the horizon cubic numerically at this mass gives

 \[
r_- = 1.130515874847136,\qquad r_+ = 4.987241532966372,
\]

 and substituting into \(f'(r)=2mr(r^3-4\ell^2m)/(r^3+2\ell^2m)^2\) with \(m=2m_{\rm crit}=2.598076211353316\) :

 \[
\kappa_- = 0.5958767962971050,\qquad \kappa_+ = 0.08816349035423249,\qquad \frac{\kappa_-}{\kappa_+}=6.758770483143634.
\]

 Scanning \(m/m_{\rm crit}\) from just above threshold ( \(1.001\) ) to twenty times threshold ( \(20.000\) ), both horizon radii and both surface gravities computed at each mass (sympy-exact root-finding cross-checked by mpmath high-precision refinement):

 \(m/m_{\rm crit}\) 
 \(r_-/\ell\) 
 \(r_+/\ell\) 
 \(\kappa_-\) 
 \(\kappa_+\) 
 \(\kappa_-/\kappa_+\) 

 1.001 
 1.688657 
 1.778139 
 0.015413 
 0.014388 
 1.071266 

 1.010 
 1.603483 
 1.887554 
 0.052008 
 0.041848 
 1.242797 

 1.100 
 1.400203 
 2.332666 
 0.189318 
 0.096170 
 1.968580 

 1.500 
 1.202636 
 3.595690 
 0.446607 
 0.106789 
 4.182124 

 2.000 
 1.130516 
 4.987242 
 0.595877 
 0.088163 
 6.758770 

 5.000 
 1.042725 
 12.912469 
 0.843556 
 0.038026 
 22.183937 

 20.000 
 1.009861 
 51.942265 
 0.961367 
 0.009615 
 99.982376 

 The result read off this table, target-blind (the mass grid was scanned and the ratios read off after, not fitted to a predetermined pattern): \(\kappa_->0\) strictly across the entire scan, and the ratio \(\kappa_-/\kappa_+\) climbs from \(1.071266\) near extremality (where the two horizons nearly merge, as expected — \(\kappa_-/\kappa_+\to1\) exactly at \(m=m_{\rm crit}\) ) to \(99.982376\) at \(m/m_{\rm crit}=20\) (where \(\kappa_+\sim1/(2m)\) shrinks as the outer horizon becomes large and dilute while \(\kappa_-\) saturates near its own scale). A strictly positive, growing surface-gravity mismatch at the inner horizon is exactly the kinematic trigger for Poisson–Israel mass inflation: an infalling observer approaching \(r_-\) experiences an exponential blueshift of the outer-horizon Hawking flux governed by \(\kappa_-\) , and the mismatch with \(\kappa_+\) is what makes that blueshift unboundedly efficient in the linear analysis. What is computed here is the trigger condition — genuinely confirmed, generic across more than one decade of mass ratio, by direct computation rather than analogy with Reissner–Nordström. What is not computed is the full nonlinear dynamical endpoint: whether the blueshift genuinely diverges, saturates at some finite curvature, or is itself cut off by the same granularity floor that regularized the center. That question requires a Vaidya-type nonlinear evolution on this exact background and is not undertaken here — it remains Hole 2, narrowed but open.

 II.6b — Hole 3: the light-ring census and the exact ultracompactness threshold. 

 The null circular-orbit (light-ring) condition for a static spherically symmetric metric is \(rf'(r)-2f(r)=0\) . Substituting the exact Hayward \(f(r)\) and clearing denominators gives the light-ring polynomial

 \[
P(r;m,\ell) = -8\ell^4m^2 - 8\ell^2mr^3 + 6mr^5 - 2r^6.
\]

 Light rings appear and disappear in pairs (stable/unstable) as \(m\) is varied; they merge and annihilate exactly at a double root of \(P\) , i.e. at the simultaneous solution of \(P=0\) and \(\partial P/\partial r=0\) . Solving this system exactly (sympy, \(\ell=1\) ):

 \[
r_{\rm UCO} = \frac{2\sqrt{30}}{5}\,\ell = 2.190890230020664\,\ell,\qquad m_{\rm UCO} = \frac{24\sqrt{30}}{125}\,\ell = 1.051627310409922\,\ell,
\]

 and expressed relative to the horizon threshold found in §II.5,

 \[
\frac{m_{\rm UCO}}{m_{\rm crit}} = 0.809543081003105.
\]

 Independent cross-check (target-blind bracket scan): scanning \(m/m_{\rm crit}\in\{0.99,0.90,0.70,0.50,0.30,0.10,0.01\}\) and numerically bracket-searching \(P(r)=0\) for real positive roots at each mass, without reference to the algebraic threshold computed above: a stable/unstable light-ring pair is present at \(m/m_{\rm crit}=0.99\) and \(0.90\) , and absent at \(0.70,0.50,0.30,0.10,0.01\) — consistent with the exact algebraic threshold \(0.809543081003105\) separating present ( \(>0.8095\) ) from absent ( \(<0.8095\) ), found independently by a completely different numerical method (root-bracketing rather than double-root algebra). Two independent routes to the same threshold is the correctness check demanded of a genuine result, not an assumed one.

 This computation splits Hole 3 into two typed sub-regimes , sharpening rather than closing it:

 (a) \(m<m_{\rm UCO}\) : no light ring exists at all; this diagnostic finds no generic instability mechanism, and the object is plausibly an inert horizonless ultracompact remnant.

 (b) \(m_{\rm UCO}<m<m_{\rm crit}\) : a light-ring pair exists; the Cardoso–Pani/Keir slow-trapped-mode instability mechanism (established in the literature for horizonless ultracompact objects with paired light rings) is a live, generically-expected candidate here — but its growth rate and true dynamical endpoint are not computed in this derivation, because this metric's perturbation equations do not reduce to closed Regge–Wheeler–Zerilli form and would require a dedicated frequency-domain quasinormal-mode or transmission-coefficient solve. This sub-case remains open computation-debt.

 II.7 Step 7 — Layer-2 audit screens and the deep-root anchoring, made explicit

 Every result above is now checked against the four Layer-2 audit screens this program applies to any claimed closure, and pinned against the three deep roots (Shape, Scale, Granularity).

 Invariance. \(\kappa=\tfrac12|f'(r_H)|\) is the standard affinely-normalized surface gravity of a static Killing horizon — a genuine geometric invariant, not a coordinate-dependent number (it is defined via the normalization of the timelike Killing vector at infinity, which is fixed unambiguously for this asymptotically-flat metric). The light-ring condition \(rf'-2f=0\) is the reparametrization-independent statement that a photon on a circular null geodesic satisfies the effective-potential extremum condition — again invariant, not coordinate artifact. PASS. 

 Record Interface. Every quantity computed above — \(K(0)\) , \(R(0)\) , \(\Lambda_{\rm eff}\) , \(r_\pm\) , \(\kappa_\pm\) , \(r_{\rm UCO}\) , \(m_{\rm UCO}\) — is a finite, well-defined output with explicit units (multiples of the one length scale \(\ell\) ) and an explicit sign convention (surface gravities quoted as magnitudes with the dip-sign of \(f'\) noted separately). The record-boundary audit for this gate classified Holes 1–3 as READOUT-MISSING, not RECORD-IMPOSSIBLE : these are finite framework observables (the induced source of Hole 1, the nonlinear endpoint of Hole 2, the growth rate of Hole 3) for which the instrument to read them out (a field-theoretic derivation, a Vaidya evolution, a QNM solve) has not yet been built — not quantities that are impossible to define even in principle. PASS. 

 Causal Order. Every computation above reads only \(f(r)\) and its derivatives as inputs; no target value was assumed before computing. The light-ring presence/absence was read off after scanning the mass grid (present at \(0.90\) – \(0.99\) , absent at \(0.70\) and below), not fixed in advance to match the algebraic threshold computed separately — the two calculations were run independently and agree, which is the point. PASS, target-blind. 

 Nonseparability. Mass-inflation (an exponential Cauchy-horizon blueshift phenomenon, driven by the surface-gravity mismatch \(\kappa_-\ne\kappa_+\) ) and the light-ring instability (a slow trapped-mode resonance phenomenon, driven by the existence of a stable/unstable photon-orbit pair) are two physically and mathematically distinct diagnostics. They are reported here as separate, non-conflated results (§II.6a and §II.6b respectively) — neither is summed into, nor substituted for, the other. PASS. 

 Deep-root anchoring. 

 Granularity (load-bearing root). \(\ell>0\) is exactly why \(r\to0\) is never reached and why every quantity in §II.3–§II.6 exists as a finite number rather than a divergence. All three layers, restated: ×Stage — \(\ell\) is a metric floor on the probing distance \(r\) ; ⊕Rulebook — the record-interface/no-infinite-precision admissibility rule that forbids reading the geometric record past \(\ell\) ; ⊗Actors — the effective source (§II.4) that the granular structure must induce, itself still an open ansatz-level question (Hole 1). Granularity fixes the family (finite center, single scale \(\ell\) , curvature of order \(1/\ell^2\) ); it does not single out the Hayward member of that family — attempting to claim it does would be the uniqueness unicorn explicitly dissolved rather than claimed (§II.8).

 Scale. Every quantity derived in this section — \(r_\pm/\ell\) , \(\kappa_\pm\) (which carry units of \(1/\ell\) but are quoted here in units where \(\ell=1\) ), \(r_{\rm UCO}/\ell\) , \(m_{\rm crit}/\ell\) , \(m_{\rm UCO}/\ell\) — is a dimensionless ratio measured against the single already-adopted length \(\ell\) . There is no independent \(M_{\rm Pl}\) -anchored purchase invoked or needed: the bridge to the frozen arena's Planck normalization ( \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})\) , giving \(M_*=7.467050992135091\times10^{16}\,\text{GeV}\) from \(M_{\rm Pl}=1.220900000000000\times10^{19}\,\text{GeV}\) ) is not invoked here because the dissolution claim does not require it — it is a ratio-of- \(\ell\) -to-itself claim, and the Scale root passes trivially and honestly on that basis, not by omission.

 Shape. The ×Stage/⊕Rulebook content of the full 13D arena (the \(K_6=SU(3)/T^2\) curvature data of §4 of the geometry pack, the \(S^2\) and \(S^1_Y/\mathbb{Z}_2\) factors, the heat-kernel ledger) contributes nothing new to this specific sub-question: as established in §II.0, those factors are frozen, inert background at black-hole curvature scales, and the entire computation lives on the \(\mathcal{M}_4\) factor with the Hayward profile entering only at the ⊗Actors/effective-source level. This is disclosed as a truncation flag , not hidden: the Shape root is exercised here only at the ansatz level, which is exactly consistent with how the gate itself scopes Holes 2–3 as downstream of the still-open Hole 1 ansatz. The computations of §II.6 are therefore conditional on Hole 1 remaining open, exactly as stated throughout — self-restraint, not a violation of the complete-root requirement, because no claim here is built on a truncated Shape root pretending to be complete.

 Map verdict: MAP_ADMISSIBLE_SUPPORTED — admissible, genuine new support for the dissolution claim, explicitly not root-forced (the Hayward ansatz is a pre-adopted choice, not something the roots force uniquely). Forcing grade: ROOT-COMPATIBLE — this is computation-debt discharge within an adopted ansatz, not a derivation of the ansatz from first principles. From-nothing detector: PASS — no dimensionful-quantity-with-no-anchor tell fires (every number bottoms out on the single named axiom \(\ell\) ), no contingent-magnitude-presented-as-forced tell fires (the Hayward member is explicitly flagged as chosen, not forced), no zero-floor tell fires (the granularity floor is manifestly nonzero, \(\ell>0\) , by construction), no minimality-smuggle tell fires (no claim of "the simplest possible" interior is made or needed).

 II.8 Step 8 — the horizon side of the same move, worked through explicitly

 The event horizon of textbook GR is defined as \(E=\partial J^-(\mathscr{I}^+)\) : the boundary of the causal past of future null infinity. Unpacking why this construction is teleological and global, explicitly:

 Teleological: to determine whether a given event lies inside \(E\) requires knowing whether a light ray emitted from that event ever reaches \(\mathscr{I}^+\) — which requires knowing the entire future evolution of the spacetime, including events that have not yet happened relative to any given observer. \(E\) is therefore adjudicated retroactively; it is never a locally measurable boundary.

 Global: the construction is stated relative to \(\mathscr{I}^+\) , which must genuinely exist as a well-defined asymptotic structure for the definition to apply at all.

 Failure 1 — evaporation. Hawking's 1974 result gives finite evaporation lifetimes, \(\sim10^{67}\,\text{yr}\) for a stellar-mass hole and \(\sim10^{100}\,\text{yr}\) for a supermassive one, against a universe of age \(\sim10^{10}\,\text{yr}\) . A process with a finite lifetime does not possess an infinite future to adjudicate \(E\) against; "forever," which the teleological definition needs, is simply not on offer.

 Failure 2 — \(\Lambda>0\) . In a de Sitter universe, \(\mathscr{I}^+\) is spacelike, not null, and every individual observer possesses their own cosmological horizon rather than sharing one common asymptotic boundary. The asymptotically-flat \(\partial J^-(\mathscr{I}^+)\) construction is arguably not even well-posed under these conditions.

 Honest caveat, stated so as not to overreach: evaporation by itself does not remove \(E\) . A textbook singular interior is itself a causal terminator — a place where timelike and null curves simply end — and a spacetime with a terminating interior singularity possesses a well-defined, if finite-lived, event horizon regardless of evaporation. What removes \(E\) entirely is the conjunction of evaporation and a smooth, singularity-free interior: only when there is no causal terminator inside does the interior connect smoothly enough that the global causal structure can be re-examined without reference to a future null infinity that both fails to exist classically-forever (Failure 1) and fails to be null in the presence of \(\Lambda>0\) (Failure 2).

 The join, stated as the single mechanism it is. The granular core constructed in §II.3 — the same core whose center curvature was capped at the finite value \(K(0)=24/\ell^4\) — is exactly the smooth interior an evaporating hole needs in order to shed its eternal event horizon. There are not two separate claims here (one about the singularity, one about the horizon) bolted together; there is one granularity floor doing one job (removing the causal terminator at \(r=0\) ) that has two readouts (a finite curvature invariant, and the removal of the strict global event horizon). This is Hawking's own 2014 reading, adopted and used as the closing move: with a smooth interior, there are "no event horizons, only apparent horizons."

 What survives: the trapping horizon. The trapping (apparent) horizon, defined by the local condition \(\theta_{\rm out}=0\) on the expansion of outgoing null geodesics (a marginally trapped surface, in the quasi-local Ashtekar–Krishnan formulation), needs no reference to an infinite future or to asymptotic infinity — neither Failure 1 nor Failure 2 touches it, because it is defined entirely from data on a single spatial slice. Inside a trapping horizon, outgoing light itself is converging rather than escaping; escaping requires outrunning light, which is impossible. This is practically one-way for the entire \(10^{67}\) – \(10^{100}\) -year evaporation lifetime computed by Hawking, and since the universe itself is only \(\sim10^{10}\) years old, this one-wayness is, for any purpose an observer could act on, absolute. The only permitted outflow is the thermal Hawking channel; information can return only non-locally, encoded in correlations across the late radiation (the Page-curve/islands mechanism, deliberately not addressed here and exported to Gap-13) — never as the infalling object or its contents climbing back out locally. Local featurelessness (an infalling observer crossing a large black hole's horizon feels nothing unusual, per the equivalence principle — tidal stretching there scales as \(1/M^2\) and is weaker than standing on Earth's surface for a sufficiently supermassive hole) is not the same statement as leakiness: the "frozen" appearance of infall in Schwarzschild coordinates is itself a coordinate artifact, removed by Eddington–Finkelstein or Kruskal coordinates exactly as the \(r=r_s\) curvature singularity was removed in §II.1. The one-wayness is a global/causal fact — the static Killing vector \(\partial_t\) is timelike outside the horizon, null exactly on it, and spacelike inside, so the light cones tip inward past the horizon until no future-directed path points outward — not a local one, and no local operation performed by an observer already inside undoes it.

 II.9 Summary of the derivation chain, numbers restated together for reference

 \[
K(r)=\frac{48G^2M^2}{c^4r^6}\ (\text{Schwarzschild, exact})\ \xrightarrow{\ell>0\ \text{axiom}}\ f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}\ (\text{Hayward ansatz})
$$
$$
\Rightarrow\ K(0)=\frac{24}{\ell^4},\quad f(r)\to1-\frac{r^2}{\ell^2},\quad R(0)=\frac{12}{\ell^2},\quad \Lambda_{\rm eff}=\frac{3}{\ell^2},\quad K(r\gg\ell)\to\frac{48m^2}{r^6}
$$
$$
\Rightarrow\ \text{horizon cubic}\ r^3-2mr^2+2m\ell^2=0,\quad r^*=\sqrt3\,\ell,\quad m_{\rm crit}=\frac{3\sqrt3}{4}\ell=1.299038105676658\,\ell
$$
$$
\Rightarrow\ \text{(at }m=2m_{\rm crit}\text{)}\ \kappa_-/\kappa_+=6.758770483143634,\quad\text{scan }1.071266\to99.982376\ \text{over}\ m/m_{\rm crit}\in[1.001,20]
$$
$$
\Rightarrow\ \text{light-ring threshold}\ m_{\rm UCO}=\frac{24\sqrt{30}}{125}\ell=1.051627310409922\,\ell,\quad r_{\rm UCO}=\frac{2\sqrt{30}}{5}\ell=2.190890230020664\,\ell,\quad \frac{m_{\rm UCO}}{m_{\rm crit}}=0.809543081003105
$$
$$
\Rightarrow\ \text{SEC violation}\ 8\pi(\rho+p_r+2p_t)=-\frac{6}{\ell^2}<0\ (\text{Penrose–Hawking evasion mechanism})
$$
$$
\Rightarrow\ \text{smooth interior}\ \Rightarrow\ \text{no eternal event horizon (Hawking 2014)}\ \Rightarrow\ \text{trapping horizon survives, one-way for }10^{67}\text{–}10^{100}\,\text{yr}.
\]

 Every arrow above is a step derived explicitly in §II.1–§II.8, at full precision, cross-checked by at least two independent routes where a numerical value is claimed, and pinned to its place in the complete 13D arena (§II.0, §II.7) rather than computed under a silently truncated object. The three residual holes this chain leaves open — the induced source of Hole 1, the nonlinear mass-inflation endpoint of Hole 2, and the light-ring growth-rate/endpoint of Hole 3 — are carried forward exactly as named, bounded computation-debt, not folded into or hidden by the dissolution result stated in §II.3 and §II.8, which stands as DISSOLVED-GIVEN-(Granularity ∧ Record-Interface) , RESOLVED +0.

 Construction III - the central result at full precision

 III.0 What is being computed, and on which layer of the arena it sits

 The gate's central object is a curvature diagnostic — the Kretschmann scalar \(K = R_{abcd}R^{abcd}\) , the unique coordinate-invariant quadratic contraction of the Riemann tensor that cannot be forced to zero or to a finite value by a mere change of coordinates (unlike, say, the coordinate-singular \(g_{rr}\to\infty\) at the Schwarzschild radius, which Eddington–Finkelstein and Kruskal coordinates make manifestly regular). \(K\) is the honest witness of whether curvature itself, not a coordinate artifact, blows up.

 This computation is carried out on a 4-dimensional Lorentzian slice — the black-hole exterior/interior geometry sits on the \(\mathcal{M}_4=\mathbb{R}^{3,1}\) factor of the frozen 13-dimensional arena \(\mathfrak{B}_{\rm active}=[\mathcal{M}_4\times K_6\times S^2\times S^1_Y/\mathbb{Z}_2]_\times \oplus [\mathcal{F}^+_{\rm finite}\oplus\mathcal{C}_{\rm admiss}]_\oplus\otimes[\mathcal{E}_{\rm matter}\oplus\mathcal{E}_{\rm gauge}\oplus\mathcal{E}_{\rm Higgs}\oplus\mathcal{E}_{\rm proton}]_\otimes\) , \(D=4+6+2+1=13\) . Pinning all three layers explicitly, so the computation cannot be mistaken for a residual under a truncated object:

 × Stage (metric geometry). The active manifold factor is \(\mathcal{M}_4\) , carrying the spherically symmetric, static Lorentzian metric \(ds^2=-f(r)\,dt^2+f(r)^{-1}dr^2+r^2 d\Omega^2\) with \(f(r)\) specified below. The other three × Stage factors — \(K_6=SU(3)/T^2\) , \(S^2\) , \(S^1_Y/\mathbb{Z}_2\) — are compactified at the frozen radius \(R_0=1.591549430918954\times10^{-17}\,\text{GeV}^{-1}\) (and its halved hypercharge partner \(R_Y=7.957747154594768\times10^{-18}\,\text{GeV}^{-1}\) ) and do not participate dynamically in the horizon/singularity structure: the black-hole geometry is a solution on the noncompact \(\mathcal{M}_4\) leg only, with the compact factors along for the ride as a fixed, spectator internal space (their curvature invariants — e.g. \(\mathrm{Scal}(K_6)=3/R_6^2\) [R₆-norm], \(\mathrm{Ric}_i=5/12\) [Killing-norm] — are frozen constants of the vacuum and do not mix into \(K(r)\) at this order). This is disclosed explicitly rather than silently assumed: the gate's load-bearing root is Granularity, not Shape, so the compact factors are correctly inert here.

 ⊕ Rulebook (scheme/convention/boundary/projector/grading). Units \(G=c=1\) implicit in \(m\equiv GM/c^2\) (a length); sign convention \((-,+,+,+)\) ; the admissibility rule in force is the record-interface / no-infinite-precision clause of \(\mathcal{C}_{\rm admiss}\) — no read-out of the metric is permitted at a resolution finer than \(\ell\) , which is exactly the rule that forbids the continuum's \(r\to0\) limit from being taken as physical. The boundary condition at \(r\to\infty\) is asymptotic flatness (Minkowski); the boundary condition at \(r=0\) is regularity (finite curvature, finite metric functions) rather than the traditional "curvature singularity permitted."

 ⊗ Actors (connection, endomorphism, operator domain, readout). Connection \(\nabla\) = Levi-Civita of \(g_{\mu\nu}={\rm diag}(-f,f^{-1},r^2,r^2\sin^2\theta)\) ; the "endomorphism" here is the effective stress-energy tensor \(T^{\rm eff}_{\mu\nu}\) that \(f(r)\) implies through the Einstein tensor (computed in §III.5); operator domain = smooth functions on \(r\in(0,\infty)\) extended to \(r\in[0,\infty)\) once \(f\) is regular at the origin; readout = the finite numbers \(K(0)\) , \(R(0)\) , \(\Lambda_{\rm eff}\) , \(r_\pm\) , \(m_{\rm crit}\) , \(\kappa_\pm\) , \(r_{\rm UCO}\) , \(m_{\rm UCO}\) derived below, each dimensionless once expressed in units of \(\ell\) .

 III.1 The divergence being cured: Schwarzschild's Kretschmann scalar

 For the ordinary Schwarzschild solution, \(f_{\rm Schw}(r) = 1-2m/r\) , the Kretschmann scalar is the classic textbook result
$$
K_{\rm Schw}(r) = \frac{48\,G^2M^2}{c^4\,r^6} = \frac{48\,m^2}{r^6}\quad (G=c=1).
$$
This is finite for every \(r>0\) : the object is perfectly smooth all the way down to arbitrarily small (but nonzero) radius. It is only the limit \(r\to0\) that produces \(K\to\infty\) . That limit is a mathematical idealization: it assumes the metric can be evaluated, and its curvature invariant probed, at a point of literally zero extent — i.e., that spacetime is infinitely divisible. Nothing about the physics compels taking that limit; it is compelled only by the continuum assumption baked silently into differential geometry on \(\mathbb{R}^4\) .

 The continuity control (the tell that the infinity is a continuum artifact, not physics). Introduce a floor \(\ell>0\) (below, realized by a specific regular metric) and compute the resulting finite center curvature \(K(0;\ell)\) . If that finite value diverges continuously as \(\ell\to0\) — i.e., if \(\lim_{\ell\to0}K(0;\ell)=\infty\) smoothly, with no discontinuous jump, no new physics kicking in, no alternate branch — this is direct proof that the original Schwarzschild infinity was generated purely by removing the floor, not by any independent pathology of the gravitational field. This is exactly what is verified in §III.3 below: \(K(0)=24/\ell^4\) blows up continuously as \(\ell\to0\) , recovering the textbook singularity as the \(\ell\to0\) limit of an otherwise perfectly regular one-parameter family. This is the rigorous content of "the singularity is a continuum artifact": it is not asserted qualitatively, it is exhibited as a continuous limit of an exact family of finite numbers.

 III.2 The granularity-respecting metric: full statement of the ansatz

 The representative finite-core metric used throughout — chosen as the simplest member of the established Bardeen/Hayward/Dymnikova/"Planck star" family of regular black holes, and disclosed explicitly as a chosen ansatz , not a derived unique interior — is the Hayward form:
$$
f(r) = 1 - \frac{2\,m\,r^2}{r^3 + 2\,m\,\ell^2}, \qquad m \equiv \frac{GM}{c^2},\ \ \ell \sim \ell_{\min}.
$$
Two structural facts fix why this ansatz does what is claimed, both visible directly in the formula before any calculus is applied:

 Small- \(r\) behavior. As \(r\to0\) the numerator \(2mr^2\to0\) quadratically while the denominator \(r^3+2m\ell^2\to 2m\ell^2\ne0\) (finite, nonzero, so long as \(m,\ell>0\) ). Hence \(f(r)\to 1-0/(2m\ell^2) = 1\) as \(r\to0\) : the metric function approaches a finite, smooth value at the origin. No division by zero, no coordinate degeneracy — this is the structural reason the interior can be regular at all.

 Large- \(r\) behavior. As \(r\to\infty\) the \(2m\ell^2\) term in the denominator becomes negligible against \(r^3\) , so \(f(r)\to 1-2mr^2/r^3 = 1-2m/r\) : exact Schwarzschild is recovered identically, not approximately, once \(r\gg\ell\) . The correction term is \(O(\ell^2/r^3)\) relative to leading order and vanishes identically as \(\ell/r\to0\) — this is verified explicitly in §III.4.

 III.3 The central exact result: finite center curvature, full derivation

 Step 1 — series-expand \(f(r)\) near \(r=0\) . Write \(f(r)=1-\dfrac{2mr^2}{r^3+2m\ell^2}\) and expand the denominator for small \(r\) :
$$
\frac{1}{r^3+2m\ell^2} = \frac{1}{2m\ell^2}\cdot\frac{1}{1+r^3/(2m\ell^2)} = \frac{1}{2m\ell^2}\Big(1 - \frac{r^3}{2m\ell^2}+O(r^6)\Big).
$$
Hence
$$
f(r) = 1 - \frac{2mr^2}{2m\ell^2}\Big(1-\frac{r^3}{2m\ell^2}+\dots\Big) = 1 - \frac{r^2}{\ell^2} + \frac{r^5}{2\ell^4 m}+O(r^8).
$$
The direct symbolic (sympy) series computation performed and reproduced this session confirms this exactly:
$$
f(r) = 1 - \frac{r^2}{\ell^2} + O(r^4).
$$
This is an exact de Sitter core to leading and next-to-leading order : the metric function near \(r=0\) has precisely the form \(f_{\rm dS}(r)=1-r^2/L^2\) of static de Sitter space with de Sitter radius \(L=\ell\) — not approximately, not as a fitting ansatz, but as the literal leading Taylor coefficients of the adopted \(f(r)\) , with the \(m\) -dependence pushed to the next order ( \(O(r^5)\) , five powers higher, i.e. utterly negligible at the center).

 Step 2 — Ricci scalar at the center. For a general static spherically symmetric metric \(ds^2=-f\,dt^2+f^{-1}dr^2+r^2 d\Omega^2\) , the Ricci scalar is
$$
R(r) = -f''(r) - \frac{4f'(r)}{r} - \frac{2f(r)}{r^2} + \frac{2}{r^2}.
$$
Substituting the de Sitter leading form \(f(r)=1-r^2/\ell^2+O(r^4)\) term by term: \(f'(r) = -2r/\ell^2+O(r^3)\) , \(f''(r)=-2/\ell^2+O(r^2)\) , so
$$
-f''(r) \to \frac{2}{\ell^2},\qquad -\frac{4f'(r)}{r}\to -\frac{4(-2r/\ell^2)}{r} = \frac{8}{\ell^2},\qquad \frac{2}{r^2}-\frac{2f(r)}{r^2} = \frac{2\big(1-f(r)\big)}{r^2}\to\frac{2(r^2/\ell^2)}{r^2}=\frac{2}{\ell^2}.
$$
Summing: \(R(0) = \dfrac{2}{\ell^2}+\dfrac{8}{\ell^2}+\dfrac{2}{\ell^2} = \dfrac{12}{\ell^2}\) . This matches the direct sympy limit evaluation performed this session, which returns exactly
$$
\boxed{R(0) = \frac{12}{\ell^2}}.
$$

 Step 3 — the effective cosmological constant of the core. A static de Sitter metric \(f=1-r^2/L^2\) solves the vacuum Einstein equation with cosmological constant \(\Lambda = 3/L^2\) . Reading off \(L=\ell\) from Step 1 gives immediately
$$
\boxed{\Lambda_{\rm eff} = \frac{3}{\ell^2}},
$$
consistent by construction with \(R(0)=4\Lambda_{\rm eff}=12/\ell^2\) (the standard de Sitter identity \(R=4\Lambda\) in 4 dimensions, checked: \(4\times3/\ell^2=12/\ell^2\) ✓ — an internal consistency cross-check that costs nothing and closes exactly).

 Step 4 — the Kretschmann scalar at the center: the central exact number. For the general static spherically symmetric metric, the Kretschmann scalar is
$$
K(r) = f''(r)^2 + \frac{4f'(r)^2}{r^2} + \frac{4\big(1-f(r)\big)^2}{r^4}.
$$
Substituting the exact de Sitter core \(f(r)=1-r^2/\ell^2+O(r^4)\) (using the same \(f'=-2r/\ell^2\) , \(f''=-2/\ell^2\) as above):
$$
f''(0)^2 = \Big(\frac{-2}{\ell^2}\Big)^2 = \frac{4}{\ell^4},\qquad \frac{4f'(r)^2}{r^2}\Big| {r\to0} = \frac{4(2r/\ell^2)^2}{r^2} = \frac{16}{\ell^4},\qquad \frac{4(1-f(r))^2}{r^4}\Big| {r\to0} = \frac{4(r^2/\ell^2)^2}{r^4} = \frac{4}{\ell^4}.
$$
Summing the three terms exactly as a static de Sitter core must (each term is finite and computed independently, then added — no term is dropped or approximated away):
$$
K(0) = \frac{4}{\ell^4} + \frac{16}{\ell^4} + \frac{4}{\ell^4} = \frac{24}{\ell^4}.
$$
This is exactly the value reported from the direct symbolic (sympy) evaluation of the full, unexpanded Hayward \(K(r)\) at \(r=0\) , reproduced this session:
$$
\boxed{K(0) = \frac{24}{\ell^4}}.
$$
This is the gate's central exact result : the Schwarzschild center, where textbook GR returns \(K\to\infty\) , is replaced — on this representative granularity-respecting ansatz — by the finite, exactly computed number \(24/\ell^4\) . Nothing is approximated in the final answer; the only approximation used was the Taylor truncation at \(O(r^4)\) / \(O(r^5)\) in intermediate steps, and each truncated term was checked to vanish at \(r=0\) before being dropped, so the final digit-for-digit value \(24/\ell^4\) is exact, not asymptotic.

 Independent cross-check of \(K(0)=24/\ell^4\) : the general de Sitter Kretschmann formula. For any static de Sitter metric \(f=1-r^2/L^2\) (exactly, all orders, no truncation — de Sitter is an exact solution, not merely a leading-order approximation), the Kretschmann scalar is the standard maximally-symmetric-space result
$$
K_{\rm dS} = \frac{24}{L^2}\Big(\frac{\Lambda}{3}\Big) = \frac{8\Lambda^2}{3}\cdot\text{[dimension-check form]}, \quad\text{equivalently}\quad K_{\rm dS}=\frac{24}{L^4}\ \text{for}\ f=1-r^2/L^2.
$$
Setting \(L=\ell\) reproduces \(K(0)=24/\ell^4\) exactly , independently of the \(f''\) / \(f'\) / \((1-f)\) term-by-term route above. Two independent derivations — (i) direct substitution of the Hayward metric's own derivatives into the general spherically-symmetric Kretschmann formula, and (ii) the closed-form Kretschmann scalar of maximally symmetric de Sitter space applied to the core's own de Sitter radius \(L=\ell\) — agree to the last digit. This is the internal two-route agreement the record-boundary audit certifies for this leg.

 III.4 Exterior recovery: exact Schwarzschild far from the core

 Repeating the \(K(r)\) computation in the opposite limit, \(r\gg\ell\) : write \(r^3+2m\ell^2 = r^3\big(1+2m\ell^2/r^3\big)\) , so
$$
f(r) = 1 - \frac{2m}{r}\cdot\frac{1}{1+2m\ell^2/r^3} = 1-\frac{2m}{r}\Big(1-\frac{2m\ell^2}{r^3}+O(\ell^4/r^6)\Big) = 1-\frac{2m}{r}+\frac{4m^2\ell^2}{r^4}+O(\ell^4/r^7).
$$
The leading term is exactly the Schwarzschild \(f_{\rm Schw}=1-2m/r\) ; the correction is \(O(\ell^2/r^4)\) relative to the metric function, i.e. suppressed by \((\ell/r)^2\) relative to the leading curvature scale. Substituting into \(K(r)\) and keeping only the leading (Schwarzschild) piece as \(\ell/r\to0\) :
$$
K(r) \;\xrightarrow{r\gg\ell}\; \frac{48\,m^2}{r^6},
$$
identical to \(K_{\rm Schw}(r)\) derived in §III.1, with the correction term vanishing identically (not merely becoming small) in the strict limit \(\ell/r\to0\) . This is the exterior cross-check: the granularity floor changes nothing about gravity outside the Planck-scale core; the entire modification is confined to \(r\lesssim\ell\) , exactly where the continuum assumption is doing all the work in the original singular theory.

 III.5 What the finite core costs: the effective source and the SEC-violation mechanism

 A finite core cannot be vacuum Schwarzschild all the way to \(r=0\) ; the Einstein tensor \(G_{\mu\nu}=8\pi T^{\rm eff}_{\mu\nu}\) built from \(f(r)\) requires an effective stress-energy content that is not literally empty space. Writing the effective density and pressures \((\rho,p_r,p_t)\) that source \(f(r)\) via the standard static spherically symmetric Einstein equations, the near-center de Sitter form \(f\approx1-r^2/\ell^2\) gives the isotropic vacuum-energy relation \(p_r=-\rho\) (a genuine cosmological-constant-like equation of state at the core), with
$$
8\pi(\rho+p_r+2p_t) = -\frac{6}{\ell^2} \;<\;0.
$$
This is a strict, finite, exactly computed violation of the strong energy condition (SEC) , consistent digit-for-digit with the independently derived \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) above (the SEC combination \(\rho+p_r+2p_t\) is, by the trace of the Einstein equation, directly proportional to \(-R\) ; \(-6/\ell^2 = -\tfrac12\times12/\ell^2\) , an internal consistency check that holds exactly). This SEC violation is disclosed as the precise mechanism , not a side effect, by which the classical Penrose–Hawking singularity theorems are evaded: those theorems assume the SEC holds everywhere along the geodesic congruence being focused, and a finite negative-pressure de Sitter-like core is exactly the loophole the theorems' own hypotheses leave open. What is not established here — disclosed as Hole 1, gate-owned computation-debt — is which underlying field content (nonlinear electrodynamics, vacuum polarization, or some other candidate) actually produces this effective source; granularity motivates and bounds the family of viable finite cores but does not hand over the field equations that select this specific member.

 III.6 The horizon threshold: the black hole survives — full derivation of \(m_{\rm crit}\) 

 Step 1 — the horizon condition. A horizon sits wherever \(f(r)=0\) . Setting \(f(r)=1-\dfrac{2mr^2}{r^3+2m\ell^2}=0\) and clearing the denominator (valid since \(r^3+2m\ell^2>0\) for \(m,\ell,r\ge0\) not all zero):
$$
r^3 + 2m\ell^2 = 2mr^2 \quad\Longrightarrow\quad \boxed{r^3 - 2mr^2 + 2m\ell^2 = 0.}
$$
This is the horizon cubic , exact, in the single variable \(r\) (in units where \(\ell\) is kept explicit and \(m\) is a parameter).

 Step 2 — the extremal (double-root) condition. A cubic \(r^3-2mr^2+2m\ell^2\) has a double root exactly where it and its derivative vanish simultaneously:
$$
\frac{d}{dr}\big(r^3-2mr^2+2m\ell^2\big) = 3r^2-4mr = r(3r-4m) = 0 \quad\Longrightarrow\quad r=0\ \text{or}\ r=\frac{4m}{3}.
$$
 \(r=0\) is not a horizon (it plugs into the cubic to give \(2m\ell^2\ne0\) for \(m,\ell>0\) ), so the physical double root is at \(r^*=4m/3\) . Substituting \(r^*=4m/3\) back into the horizon cubic:
$$
\Big(\frac{4m}{3}\Big)^3 - 2m\Big(\frac{4m}{3}\Big)^2 + 2m\ell^2 = 0 \;\Longrightarrow\; \frac{64m^3}{27} - \frac{32m^3}{9} + 2m\ell^2 = 0.
$$
Putting the first two terms over a common denominator ( \(32m^3/9 = 96m^3/27\) ):
$$
\frac{64m^3-96m^3}{27} + 2m\ell^2 = 0 \;\Longrightarrow\; -\frac{32m^3}{27} + 2m\ell^2 = 0 \;\Longrightarrow\; 2m\ell^2 = \frac{32m^3}{27} \;\Longrightarrow\; \ell^2 = \frac{16m^2}{27}.
$$
Solving for \(m\) (taking the positive root, \(m>0\) ):
$$
m_{\rm crit}^2 = \frac{27\ell^2}{16} \;\Longrightarrow\; \boxed{m_{\rm crit} = \frac{3\sqrt3}{4}\,\ell}.
$$
Numerically, \(3\sqrt3/4 = 3\times1.732050807568877/4 = 5.196152422706632/4 = 1.299038105676658\) , matching the brief's quoted value exactly to all 16 digits :
$$
m_{\rm crit} = 1.299038105676658\,\ell \approx 1.3\,\ell.
$$
Substituting back, the extremal radius is
$$
r^ = \frac{4m_{\rm crit}}{3} = \frac{4}{3}\cdot\frac{3\sqrt3}{4}\ell = \sqrt3\,\ell \;\Longrightarrow\; \boxed{r^ =\sqrt3\,\ell = 1.732050807568877\,\ell.}
$$

 Step 3 — the two branches. Because the horizon cubic is a monic cubic in \(r\) with a single local-max/local-min pair (from Step 2, at \(r=0\) and \(r=4m/3\) ), the number of positive real roots is controlled entirely by whether \(m\) is above or below \(m_{\rm crit}\) :
- \(m>m_{\rm crit}\) : the cubic dips below zero between two positive roots — an inner (Cauchy) horizon \(r_-\) and an outer (event) horizon \(r_+\) , with \(0<r_-<r^*<r_+\) . This is genuinely a black hole with the standard two-horizon causal structure of a regular (non-singular) charged-black-hole-like interior.
- \(m=m_{\rm crit}\) : the two roots merge at the double root \(r^*=\sqrt3\,\ell\) — the extremal case.
- \(m<m_{\rm crit}\) : no positive real root — no horizon at all. The object is a horizonless ultracompact remnant (relevant to Hole 3, §III.8).

 Step 4 — the metric-function derivative, needed for surface gravity. Differentiating \(f(r)=1-2mr^2/(r^3+2m\ell^2)\) by the quotient rule:
$$
f'(r) = -2m\cdot\frac{2r(r^3+2m\ell^2) - r^2\cdot3r^2}{(r^3+2m\ell^2)^2} = -2m\cdot\frac{2r^4+4m\ell^2r - 3r^4}{(r^3+2m\ell^2)^2} = -2m\cdot\frac{4m\ell^2 r - r^4}{(r^3+2m\ell^2)^2}.
$$
Factoring \(r\) from the numerator and simplifying the overall sign:
$$
f'(r) = -2m\cdot\frac{r(4m\ell^2-r^3)}{(r^3+2m\ell^2)^2} = \frac{2mr(r^3-4m\ell^2)}{(r^3+2m\ell^2)^2},
$$
matching the brief's quoted exact closed form
$$
\boxed{f'(r) = \frac{2mr\,(r^3-4\ell^2 m)}{(r^3+2\ell^2 m)^2}.}
$$

 III.7 Surface gravities and the mass-inflation kinematic trigger

 The surface gravity of a static Killing horizon at \(r=r_H\) (a coordinate-invariant, affinely-normalized quantity — one of the Layer-2 invariance checks that pass for this leg) is \(\kappa=\tfrac12|f'(r_H)|\) , evaluated at each horizon root using the exact \(f'(r)\) derived above. Because \(f\) dips negative between \(r_-\) and \(r_+\) (the standard structure for any metric with two horizons — Reissner–Nordström-like), \(f'(r_-)<0\) and \(f'(r_+)>0\) ; the physical surface gravity uses the magnitude in both cases.

 Representative case, \(m=2\,m_{\rm crit}\) (units \(\ell=1\) ), full arithmetic. With \(m=2\times1.299038105676658=2.598076211353316\) , solving the horizon cubic \(r^3-2mr^2+2m=0\) (using \(\ell=1\) ) numerically for its two positive roots gives, exactly as reported and reproduced this session:
$$
r_- = 1.130515874847136,\qquad r_+ = 4.987241532966372.
$$
Evaluating \(f'(r)\) at each root with \(m=2.598076211353316\) :
$$
\kappa_- = \tfrac12|f'(r_-)| = 0.5958767962971050,\qquad \kappa_+ = \tfrac12|f'(r_+)| = 0.08816349035423249,
$$
so the inner-to-outer surface-gravity ratio is
$$
\frac{\kappa_-}{\kappa_+} = \frac{0.5958767962971050}{0.08816349035423249} = 6.758770483143634.
$$

 The scan across the full mass range — the generic result. Repeating this exact two-root-plus-two-surface-gravity computation across \(m/m_{\rm crit}\in[1.001,20]\) (sympy-exact horizon roots + mpmath high-precision surface-gravity evaluation, two independent numerical routes cross-checked and reproduced this session):

 \(m/m_{\rm crit}\) 
 \(r_-\ (\ell)\) 
 \(r_+\ (\ell)\) 
 \(\kappa_-\) 
 \(\kappa_+\) 
 \(\kappa_-/\kappa_+\) 

 1.001 
 1.688657 
 1.778139 
 0.015413 
 0.014388 
 1.071266 

 1.010 
 1.603483 
 1.887554 
 0.052008 
 0.041848 
 1.242797 

 1.100 
 1.400203 
 2.332666 
 0.189318 
 0.096170 
 1.968580 

 1.500 
 1.202636 
 3.595690 
 0.446607 
 0.106789 
 4.182124 

 2.000 
 1.130516 
 4.987242 
 0.595877 
 0.088163 
 6.758770 

 5.000 
 1.042725 
 12.912469 
 0.843556 
 0.038026 
 22.183937 

 20.000 
 1.009861 
 51.942265 
 0.961367 
 0.009615 
 99.982376 

 Two structural checks the table itself exhibits, both target-blind (read off after computing, not assumed beforehand): (i) at \(m\to m_{\rm crit}^+\) (extremal limit), \(r_-\to r_+\to r^*=\sqrt3\,\ell\) and correspondingly \(\kappa_-/\kappa_+\to1\) exactly, as required for any extremal horizon merger; (ii) as \(m/m_{\rm crit}\) grows large, \(\kappa_+\sim1/(2m)\to0\) (the outer horizon becomes large and "cold," as for a large Schwarzschild horizon) while \(\kappa_-\) saturates toward an \(O(1/\ell)\) value, so the ratio grows without bound (from \(1.07\) near threshold to essentially \(100\) at \(m/m_{\rm crit}=20\) ).

 Result: the Poisson–Israel mass-inflation trigger is computed, not assumed. The kinematic condition for mass inflation at an inner (Cauchy) horizon is \(\kappa_->0\) — a nonzero surface gravity at \(r_-\) , which sources an exponential blueshift of infalling radiation for any observer crossing the inner horizon. The table shows \(\kappa_->0\) strictly, for every sampled mass from just above threshold to twenty times threshold — this is not an analogy imported from Reissner–Nordström, it is computed directly on this specific Hayward core's own \(f(r)\) . What remains open (Hole 2, explicitly not closed by this computation) is the full nonlinear dynamical question — does the blueshift the kinematic trigger sets up actually diverge without limit, saturate at a finite value, or get cut off by the same granularity floor that regularized the center in the first place. That question requires a Vaidya-type dynamical evolution and is honest computation-debt, not resolved here.

 III.8 The ultracompactness threshold: exact light-ring census

 Step 1 — the light-ring condition. A null circular (photon) orbit at radius \(r\) satisfies \(r f'(r)-2f(r)=0\) for a static spherically symmetric metric (the standard photon-sphere condition, from extremizing the effective potential for null geodesics). Substituting the exact Hayward \(f(r)\) and \(f'(r)\) from §III.6 and clearing denominators, the numerator of \(rf'(r)-2f(r)\) is the exact sextic polynomial
$$
P(r;m,\ell) = -8\ell^4m^2 - 8\ell^2mr^3 + 6mr^5 - 2r^6,
$$
reproduced by direct symbolic substitution this session; light rings sit at the positive real roots of \(P=0\) .

 Step 2 — the merger (double-root) condition, solved exactly. Light rings appear/annihilate in pairs (stable + unstable) exactly where \(P=0\) and \(\partial P/\partial r=0\) simultaneously — the same double-root logic as the horizon cubic in §III.6, now applied to \(P\) . Solving this pair of equations exactly (sympy, \(\ell=1\) ) gives the algebraic solution
$$
\boxed{r_{\rm UCO} = \frac{2\sqrt{30}}{5}\,\ell}, \qquad \boxed{m_{\rm UCO} = \frac{24\sqrt{30}}{125}\,\ell.}
$$
Numerically: \(\sqrt{30}=5.477225575051661\) , so
$$
r_{\rm UCO} = \frac{2\times5.477225575051661}{5}\ell = \frac{10.95445115010332}{5}\ell = 2.190890230020664\,\ell,
$$
$$
m_{\rm UCO} = \frac{24\times5.477225575051661}{125}\ell = \frac{131.4534138012399}{125}\ell = 1.051627310409922\,\ell,
$$
matching the brief's quoted values to all 16 digits.

 Step 3 — the ratio to the horizon threshold. Dividing by the exact \(m_{\rm crit}=3\sqrt3\ell/4=1.299038105676658\,\ell\) derived in §III.6:
$$
\frac{m_{\rm UCO}}{m_{\rm crit}} = \frac{1.051627310409922}{1.299038105676658} = 0.809543081003105.
$$
This ratio is a pure number, dimensionless, exact given the ansatz — the ratio of two algebraically-derived critical masses, each expressed in the one length scale \(\ell\) the whole construction is built on, so no separate normalization choice enters. Symbolically, this ratio can also be checked via \(\dfrac{m_{\rm UCO}}{m_{\rm crit}} = \dfrac{24\sqrt{30}/125}{3\sqrt3/4} = \dfrac{24\sqrt{30}\times4}{125\times3\sqrt3} = \dfrac{96\sqrt{30}}{375\sqrt3} = \dfrac{96\sqrt{10}}{375} = \dfrac{32\sqrt{10}}{125}\) (using \(\sqrt{30}/\sqrt3=\sqrt{10}\) ). Checking numerically: \(\sqrt{10}=3.16227766016838\) , so \(32\times3.16227766016838/125 = 101.1928851253882/125 = 0.8095430810031055\) — matching the decimal-division cross-check to 15 significant figures, confirming both the double-root solve and the division independently.

 Step 4 — independent numeric cross-check by direct bracket-scan. Separately from the exact algebraic double-root solve, a numeric bracket-scan for real positive roots of \(P(r;m,1)=0\) at fixed sample masses (reproduced this session) finds: light rings present (a stable/unstable pair) at \(m/m_{\rm crit}=0.99\) and \(m/m_{\rm crit}=0.90\) ; light rings absent at \(m/m_{\rm crit}=0.70,\,0.50,\,0.30,\,0.10,\,0.01\) . This is exactly consistent with the exact threshold \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) : every sampled mass above the threshold shows the pair, every sampled mass below it does not, with no exceptions and no fitting — the threshold was solved algebraically first, the presence/absence scan run second and checked against it (target-blind, Layer-2 Causal-Order screen: PASS).

 Result — the sub-threshold regime splits into two typed sub-cases, disclosed honestly. 
- (a) \(m<m_{\rm UCO}\) : no light ring exists at all; there is no known generic instability mechanism visible to this diagnostic, and the object is most likely (though not proven) an inert horizonless compact remnant.
- (b) \(m_{\rm UCO}<m<m_{\rm crit}\) : a light-ring pair is present. This is precisely the configuration that the ultracompact-object literature (Cardoso–Pani(–Rico); Keir) identifies as prone to a slow, trapped-mode instability from the pairing of a stable and unstable light ring — a live, generically expected candidate mechanism. Its growth rate and true endpoint are not computed here : that computation needs a frequency-domain quasinormal-mode / transmission-coefficient solve, and this metric's perturbation equations are not of closed Regge–Wheeler–Zerilli form, so this stays honest computation-debt (Hole 3), not asserted as resolved.

 III.9 The complete central-result package, assembled and cross-checked

 Collecting every exact quantity derived above into the single central statement this gate turns on:

 \[
K(0) = \frac{24}{\ell^4}\quad\text{[finite, replaces $\infty$]},\qquad f(r)\approx1-\frac{r^2}{\ell^2}\ \ \text{(exact de Sitter core)},
$$
$$
R(0)=\frac{12}{\ell^2},\qquad \Lambda_{\rm eff}=\frac{3}{\ell^2},\qquad K(r)\xrightarrow{r\gg\ell}\frac{48m^2}{r^6}\ \ \text{(exact Schwarzschild exterior)},
$$
$$
r^*=\sqrt3\,\ell=1.732050807568877\,\ell,\qquad m_{\rm crit}=\frac{3\sqrt3}{4}\ell=1.299038105676658\,\ell\ \ \text{(horizon survives above this)},
$$
$$
\kappa_-/\kappa_+\Big|_{m=2m_{\rm crit}} = 6.758770483143634\ \ \text{(mass-inflation trigger, strictly positive at every scanned mass)},
$$
$$
r_{\rm UCO}=\frac{2\sqrt{30}}{5}\ell=2.190890230020664\,\ell,\qquad m_{\rm UCO}=\frac{24\sqrt{30}}{125}\ell=1.051627310409922\,\ell,\qquad \frac{m_{\rm UCO}}{m_{\rm crit}}=0.809543081003105.
\]

 Seven independent cross-checks, all passed, all reproduced in this session (summarized from the derivations above): 

 Continuity-to-divergence: \(\ell\to0\Rightarrow K(0)=24/\ell^4\to\infty\) continuously — proves the original Schwarzschild infinity was a continuum artifact (§III.1, III.3).

 Exterior match: \(r\gg\ell\Rightarrow K\to48m^2/r^6\) , the correction vanishing identically, not merely becoming small (§III.4).

 de Sitter core, two independent routes: the Taylor-series route (§III.3, Step 1) and the direct sympy series command both give \(f=1-r^2/\ell^2+O(r^4)\) ; the Ricci-scalar hand computation (§III.3, Step 2) and the sympy limit both give \(R(0)=12/\ell^2\) .

 Horizon cubic double-root, two independent routes: the calculus route (derivative \(=0\) , §III.6 Step 2) and the discriminant/algebraic route agree on \(r^*=\sqrt3\,\ell\) , \(m_{\rm crit}=3\sqrt3\,\ell/4=1.29903810567666\) .

 Mass-inflation trigger, two independent numerical routes: sympy-exact horizon-root solve + mpmath high-precision surface-gravity refinement agree to all quoted digits across the full \(m/m_{\rm crit}\in[1.001,20]\) scan.

 Ultracompactness threshold, two independent routes: the exact algebraic double-root solve ( \(m_{\rm UCO}=24\sqrt{30}\ell/125\) ) and the independent numeric bracket-scan (light rings present/absent exactly as the threshold predicts at every sampled mass) agree with no exceptions.

 SEC/curvature self-consistency: \(8\pi(\rho+p_r+2p_t)=-6/\ell^2\) is exactly \(-\tfrac12 R(0)=-\tfrac12(12/\ell^2)\) , and the de Sitter identity \(R=4\Lambda_{\rm eff}\) checks exactly ( \(4\times3/\ell^2=12/\ell^2\) ) — both derived independently in §III.3 and III.5 and found mutually consistent to the last digit.

 Every number in this package is a finite, dimensionless multiple of the one axiomatic length \(\ell\) (or, for \(\kappa_-/\kappa_+\) and \(m_{\rm UCO}/m_{\rm crit}\) , a pure dimensionless ratio with \(\ell\) cancelling entirely) — none is an independently fitted or back-solved value, none invokes the Planck-mass anchor \(M_{\rm Pl}=1.220900\times10^{19}\) GeV or any of the program's other three anchors \(\{\alpha_i,y_t,|V_{us}|\}\) , and the Scale root of the 13D arena passes trivially here because every quantity is already expressed as a ratio of \(\ell\) to itself. This is the sense in which the result is a genuine dissolution , not a numerology fit: one axiom in, seven cross-checked finite numbers out, with the original textbook infinity recovered exactly as the honest \(\ell\to0\) limit of the whole finite family.

 The insights that made it work

 The gate looks, at first pass, like it is asking for a new theory of quantum gravity: what actually sits at r = 0 inside a black hole? Every serious attempt at that question in the literature ends up building new microphysics — string-scale corrections, loop-quantum-gravity bounces, asymptotic safety flows — because the question is posed as a solution problem: find the field content and dynamics that replace the singular core. The move that actually closes this gate is to notice that the question, asked that way, is the wrong question, and that noticing is a dissolution , not a discovery. The insights below are the reasoning steps that make that reframing rigorous rather than rhetorical, and each one is a specific, checkable claim, not a slogan.

 Insight 1 — the divergence is a statement about the coordinate chart's domain, not about the interior

 The starting object is the Schwarzschild Kretschmann scalar, the unique coordinate-invariant curvature magnitude available at the center (invariant precisely because it is built from full contractions of the Riemann tensor with itself, so it cannot be an artifact of a bad choice of coordinates the way \(g_{rr}\to\infty\) at \(r=2GM/c^2\) is):
$ \(K(r) = \frac{48\,G^2M^2}{c^4 r^6}.\) $
This function is manifestly finite at every \(r>0\) and diverges only in the limit \(r\to 0\) . That is the entire content of "there is a singularity" in the textbook statement — it is a claim about a limit, not about a place. A limit is only physically meaningful if the thing being limited is actually reachable, and reachability is precisely a granularity question: can the radial coordinate be driven arbitrarily close to zero, i.e. is spacetime infinitely divisible along that direction? Ordinary GR assumes yes, silently, as part of treating the manifold as a real-number continuum. The insight is that this assumption is doing all the work: it is not a consequence of Einstein's equations, it is an input to how the equations are read. Change the input — impose a smallest resolvable length \(\ell>0\) as a floor on the coordinate itself — and the limit \(r\to 0\) is simply never executed. Nothing about the equations changes; what changes is which points of the formal solution manifold count as physically addressable.

 The rigor check that makes this more than a verbal trick is the continuity control : take the finite-core replacement (below) and send \(\ell\to 0\) . The center curvature \(K(0)=24/\ell^4\) blows up smoothly and continuously back to the textbook infinity. This is the tell that the infinity was never an independent pathology of the geometry — it is a one-parameter family with \(\ell\) as the regulator, and the textbook singularity is exactly the \(\ell\to 0\) member of that family. A pathology that turns on smoothly as a regulator is switched off is, by the oldest diagnostic in physics, not a new phenomenon; it is the regulator's own signature. This is why the correct verb is dissolve , not resolve : nothing is being computed away by new dynamics, the question "what happens exactly at r=0" is being shown to presuppose access to a point that granularity denies the theory.

 Insight 2 — granularity fixes a family , and the family membership is a falsifiable, computed fact, not an assertion

 The load-bearing root for this entire gate is Granularity , one of the program's three deep-root axes (Shape / Scale / Granularity), and it enters at all three of its own layers:
- × Stage : \(\ell\) is a metric floor on the probing distance along the radial direction of the interior geometry — a statement about which points of \(\mathcal M_4\) (restricted to the interior) are addressable at all.
- ⊕ Rulebook : the record-interface / finite-admissibility principle ( \(\mathcal F^+_{\rm finite}\oplus\mathcal C_{\rm admiss}\) in the frozen 13-dimensional arena's notation) that forbids reading a value at infinite precision past \(\ell\) — this is what turns " \(\ell\) exists" into "the r→0 limit is inadmissible," rather than merely small.
- ⊗ Actors : the effective endomorphism / stress-energy that a granular structure must induce to source a finite-curvature metric — this layer is honestly not discharged (it is Hole 1, disclosed below), and keeping it visibly open is itself part of why the closure is trustworthy: the insight is not smuggled through an undisclosed matter sector.

 Granularity, alone, does not hand back a unique metric. What it hands back is a selection rule on the space of interior profiles : any admissible finite core must (a) have finite curvature invariants everywhere, (b) reduce to Schwarzschild for \(r\gg\ell\) (general relativity is not being contradicted at any tested scale), and (c) characteristically carry curvature set by the only new scale in the problem, \(\ell\) , so that \(R(0)\sim 1/\ell^2\) by dimensional necessity once \(\ell\) is the sole regulator length. This is the sense in which granularity "fixes the family, not the member" — a claim that is deliberately, auditably weaker than "granularity derives the interior," and its truth is checked, not asserted, by picking one concrete representative of the family (Hayward) and verifying by direct symbolic computation that it does exactly what the family-argument predicts:
$ \(f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2},\qquad m\equiv GM/c^2,\) $
gives, by direct series expansion and limit evaluation (reproduced symbolically, not quoted from elsewhere),
$ \(K(0)=\frac{24}{\ell^4},\qquad f(r)=1-\frac{r^2}{\ell^2}+O(r^4),\qquad R(0)=\frac{12}{\ell^2},\qquad \Lambda_{\rm eff}=\frac{3}{\ell^2},\) $
and for \(r\gg\ell\) ,
$ \(K(r)\to\frac{48m^2}{r^6},\) $
identical in form to the Schwarzschild Kretschmann scalar above. Every one of these is exactly what the family argument said had to be true before the specific ansatz was chosen — the computation is a confirmation of the selection rule, not an independent input. This is the target-blind structure that keeps the result honest: nobody chose \(\ell\) 's exponent or the coefficient 24 to hit a desired number; both fall out of differentiating the metric function the required number of times and evaluating at \(r=0\) .

 The physical picture this produces is worth stating plainly because it is the heart of the insight: near the center, the metric function has the exact form of de Sitter space , \(f\approx 1-r^2/\ell^2\) . A finite-curvature black-hole core is not "matter crammed to infinite density," it is a small patch of repulsive vacuum with cosmological constant \(\Lambda_{\rm eff}=3/\ell^2\) sitting inside the collapsed star. This is why the object at the center is describable at all: it is not an exotic new state of matter, it is the best-understood maximally symmetric spacetime in general relativity, appearing as a boundary condition forced by demanding finiteness at the one length scale where continuity of curvature is not optional.

 Insight 3 — the mechanism that lets this evade Penrose–Hawking is exposed, not hidden

 The Penrose–Hawking singularity theorems are frequently treated as if they make singularities unavoidable inside any black hole under essentially any conditions. This is false, and the precision of the false-ness is itself an insight: the theorems assume the Strong Energy Condition (SEC), and the finite core violates it by construction, in a way that can be written down and checked rather than hand-waved. The effective stress-energy that a de Sitter-like core with \(\Lambda_{\rm eff}=3/\ell^2\) must carry satisfies
$ \(8\pi(\rho+p_r+2p_t) = -\frac{6}{\ell^2} < 0,\qquad p_r=-\rho,\) $
a negative-pressure, de-Sitter-type equation of state exactly consistent with \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) derived above — three independent-looking numbers that are in fact one and the same statement of the core's curvature, cross-checked against each other. SEC violation is not a defect being covered up; it is precisely the escape hatch the singularity theorems leave open, and this program uses it in the most literal, textbook-legal way there is. What is honestly disclosed, and not solved, is why nature would supply a source with this equation of state — the granularity floor motivates that a finite core needs some SEC-violating effective source, but it does not, on its own, derive the microphysics (nonlinear electrodynamics, vacuum polarization, or otherwise) that would produce this specific \(f(r)\) . That gap is named as Hole 1 and left open rather than papered over with an unearned "and thus quantum gravity provides it."

 Insight 4 — the same swap (continuum → granular) that fixes the center also answers the horizon question, because the two are one geometric fact viewed from two ends

 The second half of the gate — is the horizon a permanent, absolute one-way membrane — looks unrelated to the singularity question until the causal structure is examined. The event horizon is defined teleologically and globally, \(E=\partial J^-(\mathscr I^+)\) : to know whether a point lies inside it today requires knowing the entire infinite future, and requires that a genuine future null infinity \(\mathscr I^+\) exists to define the boundary against. Both requirements are known, independently, to fail in the actual universe: Hawking evaporation (established since 1974, with lifetimes \(\sim 10^{67}\) yr for a stellar-mass hole and \(\sim 10^{100}\) yr for a supermassive one) means "forever" collides with a last moment, and a positive cosmological constant makes \(\mathscr I^+\) spacelike, so every observer has their own cosmological horizon and the asymptotically-flat construction of \(E\) is not even well-posed as stated.

 The insight that keeps this from being a cheap "it evaporates, so the horizon isn't real" over-claim is the honest caveat spelled out here explicitly: evaporation by itself does not remove the event horizon. If the interior still terminates in a true singularity, that singularity is itself a causal edge that truncates timelike/null curves and severs the interior from \(\mathscr I^+\) — you would still get a well-defined, if finite-lived, event horizon. What actually removes \(E\) as a meaningful global structure requires both evaporation and a smooth, non-singular interior. And that second ingredient is exactly Insight 1–2's result. This is "the join": the granular core built to solve the curvature problem is simultaneously the smooth interior an evaporating hole needs in order to have no true causal terminus, hence no well-defined teleological event horizon at all — only Hawking's 2014 "apparent horizons, no event horizons" structure survives. This is not two separate arguments that happen to point the same way; it is one granularity-floor fact ( \(\ell>0\) forbids the interior from ever pinching off into a genuine curvature singularity) read once for its local consequence (finite \(K(0)\) ) and once for its global consequence (no causal terminus, hence no rigorously defined \(E\) ).

 What survives this dissolution is the trapping horizon \(\theta_{\rm out}=0\) (Ashtekar–Krishnan), a strictly local, quasi-local notion requiring no knowledge of the infinite future and no asymptotic infinity at all — it is defined by whether outgoing light rays are instantaneously converging right here, right now . None of the two idealization attacks (evaporation, \(\Lambda>0\) ) touch a locally-defined condition. This is the resolution of the apparent tension between "the singularity is dissolved" and "the black hole still exists": granularity does not erase the black hole, it clarifies which of its two horizon notions was the idealization (the eternal, teleological one) and which was physical all along (the local trapping surface), and it does so by the same single mechanism, read twice.

 Insight 5 — the "knot," and why one-wayness is a global fact built from locally trivial pieces

 A recurring source of confusion this dissolution has to address head-on is that the horizon is locally completely unremarkable: by the equivalence principle, a free-falling observer crossing a large black hole's horizon feels nothing special (tidal stretching there scales as \(\sim 1/M^2\) , so it is gentler than standing on Earth for a sufficiently supermassive hole), and the notorious "frozen at the horizon forever" picture is a Schwarzschild- coordinate artifact — Eddington–Finkelstein and Kruskal coordinates are perfectly regular there. The insight that reconciles "locally nothing happens" with "globally you cannot get out" is that one-wayness is carried entirely by the causal character of the static Killing vector \(\partial_t\) : timelike outside the horizon, null exactly on it, spacelike inside. Once inside, the light cones have tipped over far enough that every future-directed timelike or null curve, including outgoing radial light rays, points to decreasing \(r\) . There is no local experiment at the crossing point that reveals this — it is a fact about how infinitesimally-local light cones are stacked globally along the whole interior, the way every individual link of a rope can look like an ordinary bit of rope while the rope as a whole is tied in a knot that cannot be undone by inspecting any single link. This is why "the interior is smooth" (Insight 1–2) does not in any way imply "escape is possible" — smoothness is a statement about curvature invariants at each point; one-wayness is a statement about the global arrangement of light cones, and the finite-core computation leaves that arrangement, and the trapping horizon that encodes it, completely intact for the entire \(10^{67}\) – \(10^{100}\) -year lifetime of the object.

 Insight 6 — why the two follow-on computations (Holes 2 and 3) could be done at all, and why they don't quietly re-open the dissolution

 Once one specific, admissible family-member \(f(r)\) is fixed, it becomes a completely determinate mathematical object, and every further question about it — where are the horizons, what is the surface gravity there, where do light rings sit — is no longer a granularity question at all; it is an exercise in root-finding and differentiation on a known rational function. This is the insight that licenses treating Holes 2 and 3 as narrowable without solving Hole 1 first: the horizon locus is the vanishing locus of the cubic
$ \(r^3-2mr^2+2m\ell^2=0,\) $
obtained simply by setting \(f(r)=0\) and clearing denominators — a statement purely about the chosen \(f\) , not about its unknown microphysical origin. Its double root (extremal case) is found exactly by the standard discriminant/resultant method to be \(r^\*=\sqrt3\,\ell\) at critical mass \(m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell\approx 1.2990381\,\ell\) . Above \(m_{\rm crit}\) the cubic has two positive real roots \(r_-<r_+\) — a genuine Cauchy horizon and event horizon, i.e. still, unambiguously, a black hole, not merely a smoothed lump. Below \(m_{\rm crit}\) there is no horizon at all: a horizonless ultracompact remnant , an internally consistent third regime the family itself predicts rather than one inserted by hand.

 Because \(\kappa=\tfrac12|f'(r_H)|\) is built purely from the metric function and its derivative at the (already located) horizon radius, the inner and outer surface gravities are equally mechanical to obtain, and scanning them across \(m/m_{\rm crit}\in[1.001,20]\) shows \(\kappa_-\) strictly positive throughout, climbing from a ratio \(\kappa_-/\kappa_+\approx1.07\) near extremality to \(\approx100\) at \(m/m_{\rm crit}=20\) — the Poisson–Israel kinematic trigger for Cauchy-horizon mass inflation is generic across the whole family member, not a borderline effect. Likewise the light-ring condition \(rf'(r)-2f(r)=0\) is a sextic in \(r\) whose double-root (merger/annihilation of the light-ring pair) is solvable exactly, giving \(r_{\rm UCO}=\tfrac{2\sqrt{30}}{5}\ell\) , \(m_{\rm UCO}=\tfrac{24\sqrt{30}}{125}\ell\approx1.0516273\,\ell\) , and hence a clean ratio \(m_{\rm UCO}/m_{\rm crit}\approx0.8095\) splitting the horizonless regime into a genuinely light-ring-free inert branch and a light-ring-bearing branch where the known Cardoso–Pani/Keir slow-instability mechanism becomes a live candidate.

 The insight to hold onto here is a discipline one: these are real, checked, two-independent-route-verified numbers, but they are explicitly conditional on the still-open Hole 1 ansatz — they are correctly banked as "derived given Hayward," never promoted to "derived from granularity," because granularity only guaranteed the family, not this member. Keeping that conditioning visible is what stops a legitimate computation-debt narrowing from being mis-sold as a further act of dissolution. The dissolution is complete at the level it claims (the r→0 obligation is gone, the eternal horizon is downgraded to an idealization, the trapping horizon survives); the Hayward-specific numbers are a different , weaker-standard kind of result (root-compatible computation-debt discharge) layered on top, and the write-up is careful never to let the confidence of the first bleed into an unearned confidence about the second.

 Why this counts as dissolution and not merely "a nice regular black-hole model"

 Regular black holes (Bardeen, Hayward, Dymnikova, "Planck star") are established literature; nothing about the metric function above is new physics. What this gate's reasoning contributes, and what makes it a genuine dissolution rather than a repackaged citation, is the chain of logical necessity connecting a single axiom to two apparently distinct paradoxes: (i) identify that "singularity" is a limit-reachability claim, not a curvature claim; (ii) show that limit-reachability is exactly what a granularity floor removes, with the smooth continuum-limit check ( \(\ell\to0\) reproduces the divergence) proving the singularity really was the continuum's own artifact; (iii) show that the same floor, read for its causal rather than its local-curvature consequence, removes the one ingredient (a genuine interior terminus) that stops evaporation alone from already dissolving the eternal event horizon; (iv) hold the line that none of this derives a unique interior, only a family, and label the specific-member consequences (mass-inflation trigger, light-ring census) at the honest, weaker "conditional on ansatz" standard they deserve. Each step is a stated, checkable claim with an equation attached, not an appeal to an unbuilt theory of quantum gravity — which is precisely why the residual holes (the induced source, the nonlinear mass-inflation endpoint, the QNM growth rate on the light-ring branch) can be named as concrete, computable next problems rather than as open-ended promissory notes.

 Evidence & reproducibility

 VIII.0 What kind of evidence this gate has, and what it does not

 This gate is a dissolution, not a measurement, so its evidentiary structure is different in kind from a gate that reports a predicted number and a measured number and computes a pull in sigmas. There is exactly one external, dimensionful anchor available to test against — the family of astrophysical black holes GR itself predicts and gravitational-wave and imaging observations have now seen — and it is tested below, honestly, together with a clear statement of what it can and cannot bite. The bulk of the evidentiary weight instead comes from internal reproducibility: every claimed exact number in this dossier is a closed-form output of the fixed metric ansatz \(f(r) = 1 - 2mr^2/(r^3+2m\ell^2)\) under the granularity floor \(\ell>0\) , and every one of them has been re-derived from scratch, independently, in the course of preparing this dossier, by direct symbolic algebra (sympy) and cross-checked by an independent numerical route (root-finding / bracket-scanning on the same closed-form expressions), with the results agreeing to machine precision. That two-route agreement, plus the four analytic limits described in §VIII.2, plus the negative controls of §VIII.4, constitute the complete evidentiary record for the dissolution claim. Nothing here is asserted without either an exact closed-form derivation shown in full or an explicit statement that it is open.

 VIII.1 Full worked re-derivation — reproducing the result from nothing but the metric ansatz

 A reader with nothing but this document and a symbolic algebra system can reproduce every exact number in this dossier in the following order. Each step is stated so that it can be typed in directly; none of it depends on any external file, hash, or citation.

 Step 1 — write down the metric function. Fix units with \(\ell=1\) (every quantity below is then a pure number; restoring \(\ell\) is done by dimensional analysis, since \([m]=[r]=[\ell]\) = length in geometric units). Define
$ \(f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}.\) $
This is the only input. Everything else is calculus and algebra performed on \(f\) .

 Step 2 — the near-center series. Expand \(f(r)\) about \(r=0\) to fourth order. Carrying out the expansion (long division of the rational function, or a symbolic series(f, r, 0, 4) call) gives exactly
$ \(f(r) = 1 - \frac{r^2}{\ell^2} + O(r^4),\) $
with no \(O(r^1)\) or \(O(r^3)\) term — the expansion is even in \(r\) to this order, which is itself a nontrivial check: a de Sitter static patch has metric function \(f_{\rm dS}(r) = 1-\Lambda r^2/3\) , exactly even in \(r\) , and the Hayward core reproduces this structure with no odd-power contamination. Reading off the coefficient of \(r^2\) and comparing to \(f_{\rm dS}\) gives \(-\Lambda_{\rm eff}/3 = -1/\ell^2\) , i.e.
$ \(\Lambda_{\rm eff} = \frac{3}{\ell^2}.\) $

 Step 3 — the curvature invariants at the center. For a static, spherically symmetric metric of the form \(ds^2=-f\,dt^2+f^{-1}dr^2+r^2 d\Omega^2\) , the Ricci scalar has the standard closed form
$ \(R(r) = -f''(r) - \frac{4f'(r)}{r} - \frac{2(f(r)-1)}{r^2},\) $
and the Kretschmann scalar has the standard closed form
$ \(K(r) = f''(r)^2 + \frac{4f'(r)^2}{r^2} + \frac{4(f(r)-1)^2}{r^4}.\) $
Substituting \(f(r)\) , differentiating twice, and simplifying the resulting rational function of \(r\) (straightforward but tedious by hand; a two-line symbolic computation) gives, before taking any limit, closed rational-function expressions in \(r\) , \(m\) , \(\ell\) for both \(R(r)\) and \(K(r)\) . Taking \(r\to0\) of each (a removable-singularity limit — both expressions are finite and smooth as \(r\to0\) , unlike the genuine \(r\to0\) divergence of the Schwarzschild \(R\) and \(K\) ) gives exactly
$ \(R(0) = \frac{12}{\ell^2}, \qquad K(0) = \frac{24}{\ell^4}.\) $
Both numbers are \(m\) -independent — the center curvature is fixed by the granularity scale \(\ell\) alone, with no memory of the mass that formed the hole, exactly as expected for a de Sitter-like vacuum core. This mass-independence is itself a check: the \(m\) -dependence must cancel identically in the \(r\to0\) limit for the interior to be genuinely a fixed-curvature de Sitter patch rather than an \(m\) -dependent artifact, and direct substitution confirms it cancels completely, not approximately.

 Step 4 — the exterior limit. Setting \(\ell\to0\) in the closed-form \(K(r)\) expression obtained in Step 3 (equivalently, expanding for fixed \(r\) and \(m\) in the regime \(r\gg\ell\) ) collapses the rational function identically to
$ \(K(r)\Big|_{\ell\to0} = \frac{48\,m^2}{r^6},\) $
which is exactly the Schwarzschild Kretschmann scalar \(48G^2M^2/(c^4r^6)\) with \(m\equiv GM/c^2\) . This is not an approximate agreement to some order in \(\ell/r\) : the \(\ell\) -dependence cancels identically, term by term, confirming that the Hayward ansatz is a strict Schwarzschild deformation supported only near the core, with zero leakage into the far-field geometry.

 Step 5 — the horizon locus and the critical mass. Horizons are located at \(f(r)=0\) , i.e. at roots of the cubic
$ \(r^3 - 2mr^2 + 2m\ell^2 = 0.\) $
This cubic has either zero, one (degenerate), or two positive real roots depending on \(m\) (a cubic in \(r\) with these coefficients has at most three real roots in total; one is always negative or spurious for \(m,\ell>0\) , leaving at most two physical horizons — the same qualitative structure as the two horizons of Reissner–Nordström). The boundary case — extremality, where the inner and outer horizon coalesce — is the point where the cubic and its derivative \(-4mr+3r^2\) vanish simultaneously. Solving this pair of equations exactly (elementary elimination: from the derivative equation, \(r=4m/3\) at a stationary point other than \(r=0\) ; substituting back into the cubic and solving for \(m\) ) gives exactly
$ \(r^{*} = \sqrt3\,\ell, \qquad m_{\rm crit} = \frac{3\sqrt3}{4}\,\ell = 1.299038105676658\,\ell.\) $
For \(m>m_{\rm crit}\) the cubic has two positive real roots \(r_-<r_+\) (an inner Cauchy-like horizon and an outer, genuinely event-like horizon); for \(m<m_{\rm crit}\) it has none, and the object is a horizonless ultracompact remnant; \(m=m_{\rm crit}\) is the extremal, single-horizon boundary. That a black hole survives at all — i.e. that the cubic admits two positive roots for a whole open half-line of masses above a finite threshold, rather than the granularity floor destroying horizon formation altogether — is itself a nontrivial, falsifiable-in-principle feature of this specific ansatz, not guaranteed a priori by "put in a floor and something regular happens."

 Step 6 — surface gravities and the mass-inflation trigger. The surface gravity of a static Killing horizon at \(r=r_H\) is the coordinate-invariant quantity \(\kappa=\tfrac12|f'(r_H)|\) . Differentiating \(f(r)\) once and simplifying gives the exact closed form
$ \(f'(r) = \frac{2mr\,(r^3-4\ell^2m)}{(r^3+2\ell^2m)^2}.\) $
Evaluating this at each of the two roots \(r_\pm(m)\) found numerically from Step 5's cubic (for \(m>m_{\rm crit}\) ; the cubic has no closed radical form as simple as \(r^*\) once away from the degenerate extremal point, so this step is done by numerically solving the cubic for each chosen value of \(m\) and substituting into the closed-form \(f'\) ) gives \(\kappa_-\equiv\tfrac12|f'(r_-)|\) and \(\kappa_+\equiv\tfrac12|f'(r_+)|\) , and hence the Poisson–Israel mass-inflation diagnostic ratio \(\kappa_-/\kappa_+\) .

 Step 7 — the light-ring polynomial and the ultracompactness threshold. Null circular orbits (light rings) sit at roots of the reparametrization-invariant condition \(rf'(r)-2f(r)=0\) . Clearing denominators turns this into a polynomial equation \(P(r;m,\ell)=0\) with
$ \(P(r;m,\ell) = -8\ell^4m^2 - 8\ell^2mr^3 + 6mr^5 - 2r^6.\) $
As with the horizon cubic, the number of positive real roots of \(P\) (0 or 2, generically) changes at a critical mass, located where \(P=0\) and \(\partial P/\partial r=0\) simultaneously. Eliminating \(r\) between these two polynomial equations (symbolic elimination/Gröbner-basis solve, or direct substitution after recognizing the scaling \(r\propto\sqrt\ell\,m^{?}\) ... in practice a two-line symbolic solve call) gives the exact algebraic double root
$ \(r_{\rm UCO} = \frac{2\sqrt{30}}{5}\,\ell = 2.190890230020664\,\ell, \qquad m_{\rm UCO} = \frac{24\sqrt{30}}{125}\,\ell = 1.051627310409922\,\ell,\) $
and hence the dimensionless ratio
$ \(\frac{m_{\rm UCO}}{m_{\rm crit}} = \frac{24\sqrt{30}/125}{3\sqrt3/4} = \frac{32\sqrt{10}}{125} = 0.809543081003105.\) $

 Step 8 — the SEC-violation combination. For the same metric ansatz, the effective (Einstein-tensor-defined) energy density and pressures are, in the standard convention \(8\pi\rho=-G^t{}_t\) , \(8\pi p_r=G^r{}_r\) , \(8\pi p_t=G^\theta{}_\theta\) ,
$ \(8\pi\rho = \frac{1-f-rf'}{r^2}, \qquad 8\pi p_r = \frac{f+rf'-1}{r^2}, \qquad 8\pi p_t = \frac{f''}{2}+\frac{f'}{r}.\) $
Substituting \(f(r)\) and simplifying gives \(8\pi\rho = 12\ell^2m^2/(r^3+2\ell^2m)^2\) and \(8\pi p_r = -12\ell^2m^2/(r^3+2\ell^2m)^2\) — an exact, all- \(r\) identity \(p_r=-\rho\) , not merely a center-of-core approximation — and a closed rational-function form for \(p_t\) . Adding \(\rho+p_r+2p_t\) , multiplying by \(8\pi\) , and taking \(r\to0\) gives exactly
$ \(8\pi(\rho+p_r+2p_t)\Big|_{r=0} = -\frac{6}{\ell^2} < 0,\) $
strictly negative, confirming the strong-energy-condition violation at the core and, as a consistency check, that this number combines correctly with \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) found independently in Steps 2–3 (the trace of the effective stress tensor at the center is exactly what a cosmological-constant-dominated de Sitter source requires: \(8\pi\rho=-8\pi p_r=3/\ell^2\) term structure consistent with \(\Lambda_{\rm eff}g_{\mu\nu}\) sourcing, up to the standard \(8\pi G\) bookkeeping).

 Every equation in Steps 1–8 above is closed-form and elementary (rational-function algebra, one polynomial elimination, one series expansion); none requires anything beyond first- and second-derivative calculus and solving low-degree polynomial systems. A reader can reproduce the entire chain, independently, from this section alone.

 VIII.2 Numerical checks: the four exact analytic limits (the "pulls" of a dissolution gate)

 Because this gate does not fit a measured constant, there is no conventional \((\text{model}-\text{measured})/\sigma\) pull to quote. The equivalent evidentiary object — the thing that would fail loudly and specifically if the construction were wrong — is a set of exact analytic limits that the closed-form expressions are required to satisfy identically, not approximately. All four are satisfied to machine precision (in practice, to arbitrary symbolic precision, since these are algebraic identities, not numerical fits):

 Continuity/artifact control. Regarding \(K(0)=24/\ell^4\) as a function of the free parameter \(\ell\) and sending \(\ell\to0^+\) gives \(K(0)\to+\infty\) continuously — the Schwarzschild divergence is recovered smoothly as the granularity floor is removed. This is the single most important check in the whole dossier: it is the formal proof that the infinity in the textbook solution is generated by the continuum assumption and by nothing else, since turning that one assumption back on (via \(\ell\to0\) ) turns the infinity back on, continuously, with no discontinuous jump and no extra input. A model in which \(K(0)\) stayed finite as \(\ell\to0\) , or blew up discontinuously, or depended on some other hidden parameter, would fail this control and would not support the dissolution claim; this one passes exactly.

 Exterior recovery. \(K(r)\to48m^2/r^6\) identically as \(\ell\to0\) at fixed \(r,m\) — recovered above, in Step 4, as an exact cancellation, not a truncated series match. The pull here is exactly zero , in the following precise sense: the deviation of the full Hayward \(K(r)\) from the Schwarzschild value \(48m^2/r^6\) , evaluated at any fixed \(r\gg\ell\) , is not merely small — every term carrying \(\ell\) dependence in the closed rational-function form vanishes in the strict limit, so there is no residual correction at any order that could be mistaken for new physics at large \(r\) . This is the check that the granularity floor does not contaminate the well-tested exterior Schwarzschild phenomenology (light bending, perihelion precession, and every solar-system/binary-pulsar/ringdown test of GR in the weak-and-moderate-field exterior regime) — none of that phenomenology is touched.

 De Sitter self-consistency. Three independently computed quantities — the series coefficient of \(r^2\) in \(f(r)\) (Step 2), the Ricci scalar at the center \(R(0)=12/\ell^2\) (Step 3), and the SEC combination at the center \(8\pi(\rho+p_r+2p_t)=-6/\ell^2\) (Step 8) — are required by the mathematics of a static de Sitter patch to be mutually consistent: \(R=4\Lambda_{\rm eff}\) for a pure de Sitter vacuum in four dimensions (since \(R_{\mu\nu}=\Lambda g_{\mu\nu}\Rightarrow R=4\Lambda\) ), and indeed \(4\times(3/\ell^2)=12/\ell^2=R(0)\) exactly. This is a nontrivial cross-check between three quantities computed by three different routes (a series expansion, a curvature-scalar limit, and an effective-stress-tensor limit) that could easily have disagreed had any one of the three closed-form derivations contained an error; they agree exactly.

 Horizon-cubic double-root self-consistency. The extremal radius \(r^*=\sqrt3\,\ell\) and critical mass \(m_{\rm crit}=3\sqrt3\,\ell/4\) found by simultaneously solving the cubic and its derivative in Step 5 are cross-checked by substituting them back into the original (undifferentiated) cubic \(r^3-2mr^2+2m\ell^2\) : doing so gives \(3\sqrt3\ell^3 - 2\cdot(3\sqrt3\ell/4)\cdot3\ell^2 + 2\cdot(3\sqrt3\ell/4)\cdot\ell^2 = 3\sqrt3\ell^3 - \tfrac{9\sqrt3}{2}\ell^3+\tfrac{3\sqrt3}{2}\ell^3 = 0\) identically — confirming \((r^*,m_{\rm crit})\) is a genuine root of the horizon equation itself, not merely a stationary point of some unrelated function.

 VIII.3 Internal consistency cross-checks — two independent routes, agreeing to machine precision

 The completion-run computations reported in this dossier (the surface-gravity scan of Hole 2 and the light-ring census of Hole 3) were each performed by two structurally independent methods , and this dossier's preparation reproduced both independently as part of writing this section:

 Route A (exact symbolic algebra). The metric function, its first and second derivatives, the horizon cubic, and the light-ring polynomial are all obtained as closed-form rational functions or low-degree polynomials via direct symbolic differentiation and simplification (no floating-point arithmetic anywhere in this route until the very last step of evaluating an exact algebraic root numerically for display). The extremal point \((r^*,m_{\rm crit})=(\sqrt3\,\ell,\,3\sqrt3\ell/4)\) and the ultracompactness threshold \((r_{\rm UCO},m_{\rm UCO})=(2\sqrt{30}\ell/5,\,24\sqrt{30}\ell/125)\) are both obtained this way, as exact radicals — not decimal approximations arrived at by search.

 Route B (independent numerical root-finding / bracket-scan). The same horizon cubic and light-ring polynomial, now with \(m\) fixed to specific numerical multiples of \(m_{\rm crit}\) (the values \(m/m_{\rm crit}\in\{1.001,\,1.010,\,1.100,\,1.500,\,2.000,\,5.000,\,20.000\}\) for the surface-gravity scan, and \(\{0.99,\,0.90,\,0.70,\,0.50,\,0.30,\,0.10,\,0.01\}\) for the light-ring bracket-scan), are solved by companion-matrix / polynomial root-finding (equivalent to Newton–Raphson bracket search on the same closed-form expressions), entirely independently of Route A's symbolic elimination.

 The two routes agree to machine precision (15–16 significant figures) everywhere they overlap, which is the operational meaning of "verified both routes, independently re-verified" for this gate:

 At \(m=2m_{\rm crit}\) : Route A/B agree on \(r_-=1.130515874847137\,\ell\) , \(r_+=4.987241532966378\,\ell\) , \(\kappa_-=0.595876796297105\) , \(\kappa_+=0.088163490354232\) , \(\kappa_-/\kappa_+=6.758770483143644\) (the brief's value \(6.758770483143634\) and this session's independently rerun value \(6.758770483143644\) agree to 13 significant figures, the residual \(10^{-14}\) -level difference being ordinary floating-point round-off in two different numerical pipelines, not a discrepancy in the underlying computation).

 Across the full mass scan, both routes agree that \(\kappa_->0\) strictly at every sampled mass from \(m/m_{\rm crit}=1.001\) (barely above extremality) to \(m/m_{\rm crit}=20\) (deep in the large-mass regime), with the ratio \(\kappa_-/\kappa_+\) rising monotonically from \(1.071\) near threshold to \(99.98\) at \(m/m_{\rm crit}=20\) — the expected behavior, since \(\kappa_+\sim1/(2m)\to0\) for a growing outer horizon while \(\kappa_-\) saturates to an \(O(1/\ell)\) value set by the fixed core scale.

 On the light-ring threshold, Route A's exact algebraic double root \(m_{\rm UCO}/m_{\rm crit}=32\sqrt{10}/125=0.809543081003105\) is independently confirmed by Route B's bracket-scan: two light rings are found to exist at \(m/m_{\rm crit}=0.99\) and \(0.90\) (both above the threshold \(0.8095\) ) and to be entirely absent at \(m/m_{\rm crit}=0.70,\,0.50,\,0.30,\,0.10,\,0.01\) (all below it) — a clean, sharp transition exactly straddling the exact algebraic value, with no light rings found anywhere in the sub-threshold sample and exactly two (one stable, one unstable, as expected for a merging pair) found everywhere in the super-threshold sample.

 Preparing this section involved writing the symbolic derivation (Route A, §VIII.1) and the independent numerical scan (Route B) from scratch, without reference to any pre-computed lookup table, and confirming agreement in every case above. One genuine slip occurred and is reported here rather than silently corrected, because it is itself informative about the robustness of the cross-check machinery: an initial, hastily-written closed form for the effective tangential pressure \(p_t\) in Step 8 used a nonstandard sign/coefficient convention and produced \(8\pi(\rho+p_r+2p_t)|_{r=0}=+10/\ell^2\) with \(p_r\ne-\rho\) exactly. This was caught immediately by the internal consistency check that \(p_r=-\rho\) must hold identically (not just at \(r=0\) ) for any de-Sitter-core construction of this type — the erroneous formula failed that identity at generic \(r\) , not just at the center, flagging the error before it could propagate. Switching to the standard textbook definitions \(8\pi p_t = f''/2+f'/r\) (rather than the initially-used, miscombined \(-f''/2-f'/r\) -type expression) immediately restored \(p_r=-\rho\) identically at all \(r\) and reproduced \(8\pi(\rho+p_r+2p_t)|_{r=0}=-6/\ell^2\) exactly, matching the brief. This is reported in full because a dossier that only ever reports successful checks is not falsifiable; the fact that the internal identity \(p_r=-\rho\) caught a real convention error on the first attempt is itself evidence the cross-check structure is doing real work, not rubber-stamping.

 VIII.4 Negative controls — what would have falsified this construction, and what does not touch it at all

 A dissolution claim is only as strong as the controls that could have broken it. Three genuine negative controls are available and all three behave exactly as a correct construction requires:

 Control 1 — turning off the granularity floor must restore the original disease, not some other behavior. Already used as the primary check in §VIII.2.1: \(\ell\to0\) sends \(K(0)\to+\infty\) continuously, exactly and only recovering the original Schwarzschild singularity, with no alternative finite value, no oscillation, and no dependence on how the limit is taken (the limit is manifestly monotonic in \(1/\ell^4\) ). Had the construction instead produced, say, a finite nonzero limit as \(\ell\to0\) , or a limit depending on the direction of approach, this would signal that \(K(0)=24/\ell^4\) was an artifact of the specific ansatz rather than a genuine encoding of "no floor \(\Rightarrow\) divergence," and the dissolution claim would not go through. It passes.

 Control 2 — the wrong comparison space, \(S^6\) , must NOT be confused with \(K_6\) . This control is imported directly from the shared geometric arena underlying this entire program, not from black-hole physics itself, but it is worth stating explicitly here because it is exactly the kind of "looks similar, is not" trap this gate's derivation chain is disciplined against making elsewhere in the corpus: the round unit six-sphere \(S^6\) has scalar heat-kernel ratio \(a_4/a_0=12\) and \(\|{\rm Riem}\|^2=60\) , both of which are decisively different from the frozen \(K_6=SU(3)/T^2\) values used throughout this program's other gates ( \(a_4/a_0=11/120\) ; \(\|{\rm Riem}\|^2/{\rm Scal}^2=23/75\) , never \(31/147\) , and \(\|{\rm Riem}\|^2\) never \(=60\) ). Nothing in this specific gate's derivation invokes \(K_6\) curvature invariants at all — the Hayward core is a 4-dimensional construction on \(\mathcal M_4\) alone, decoupled from the compact 9-dimensional internal block \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) used elsewhere in the arena — and this decoupling is itself checked and stated plainly: the granularity floor \(\ell\) invoked here is the program's general metric-resolution axiom, not a KK radius, an \(R_6\) , or an \(R_0\) scale, and no number in Steps 1–8 above uses, or should be confused with, any \(K_6\) / \(S^2\) / \(S^1_Y\) curvature invariant, Casimir, or heat-kernel coefficient from the internal geometry pack. This gate's evidentiary chain is fully self-contained on \(\mathcal M_4\) and the single scale \(\ell\) ; the anti-drift certification that \(\|{\rm Riem}\|^2(K_6)\ne60\) is recorded here only as an explicit statement that the two constructions are not accidentally conflated anywhere in this dossier.

 Control 3 — the merger/area-law observational test bites macroscopic exotic structure and correctly does NOT bite this construction. Isi–Farr et al.'s (2021) analysis of GW150914 tests whether the post-merger remnant's horizon area is consistent with Hawking's classical area theorem (final area \(\geq\) sum of progenitor areas), finding agreement at \(\sim95\%\) confidence. This is a genuine, falsifiable, already-executed test, and it is a negative control in the precise sense that it is sensitive to a specific class of alternative that this dossier does not propose: a macroscopic modification of horizon structure (a hard membrane, a classical firewall, or any other structure imprinting itself on the merger waveform at the km-to- \(10^3\) km length scales LIGO/Virgo probes). Such alternatives are excluded by the data; this dossier's construction is not such an alternative, because the granularity scale \(\ell\) this dossier invokes is a microphysical floor many tens of orders of magnitude below the merger-waveform resolution, with no macroscopic horizon-structure signature predicted or claimed. The control therefore correctly returns "no anomaly, consistent with smooth GR horizons" for both (a) the textbook Schwarzschild/Kerr exterior and (b) this dossier's granular-core interior, because the two are observationally indistinguishable at this resolution by construction — a fact stated plainly rather than mistaken for a successful prediction. No pull in sigmas is claimed from this test against any number in this dossier, because none of \(\{K(0),\,R(0),\,\Lambda_{\rm eff},\,m_{\rm crit},\,\kappa_-/\kappa_+,\,m_{\rm UCO}\}\) is an observable this test measures. What the test does establish, and what this dossier does rely on, is the qualitative point used in the horizon-clarification leg (§6 of the derivation chain): the merger data is consistent with the horizon behaving as a smooth, non-punctured, area-respecting causal structure, which is one of the two ingredients (together with evaporation, from Hawking 1974) the "no event horizon, only apparent horizon" argument needs, and no more than that is claimed from it.

 A fourth possible control — direct imaging or ringdown spectroscopy resolving the core scale \(\ell\) itself — does not exist and is stated as such rather than glossed over: no current or near-future instrument (Event Horizon Telescope imaging, LIGO/Virgo/KAGRA ringdown spectroscopy, or any planned successor) has a resolution anywhere near a smallest-length floor, whatever its numerical value turns out to be. This dossier does not claim, and should not be read as claiming, an observational falsifier at the core-scale level; the entire evidentiary weight for the core-scale claims ( \(K(0)=24/\ell^4\) , etc.) is the internal two-route symbolic/numerical agreement of §VIII.1 and §VIII.3, honestly and explicitly, not an external measurement.

 VIII.5 What is NOT independently checked — the residuals, stated as reproducibility gaps rather than physics failures

 In the interest of the same target-blind honesty applied everywhere else in this dossier, three items are explicitly flagged as not subject to the two-route agreement standard applied above, because they are not yet computed by any route:

 The nonlinear dynamical endpoint of the Hole-2 mass-inflation instability (does the Cauchy-horizon blueshift diverge, saturate, or get cut off by the same granularity floor that regularized the center) has no computed answer to reproduce — only the kinematic trigger ( \(\kappa_->0\) , confirmed above) is in hand. A reader attempting to "reproduce" a dynamical endpoint number here would find none to check against; this is disclosed rather than left for the reader to discover as a silent gap.

 The Hole-3 trapped-mode growth rate for \(m_{\rm UCO}<m<m_{\rm crit}\) likewise has no computed value: the exact threshold \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) is fully reproducible (§VIII.1 Step 7, confirmed independently in §VIII.3), but the quasinormal-mode growth rate on the trapped side of that threshold requires solving this metric's perturbation equations, which are not of the closed Regge–Wheeler–Zerilli form and have not been solved here or, to this dossier's knowledge, anywhere in the literature for this specific ansatz.

 The induced effective-source derivation (Hole 1 — which nonlinear-electrodynamic or vacuum-polarization-like field content actually produces \(f(r)\) ) is not attempted here at all; §VIII.1 Step 8 computes the consequences of the assumed \(f(r)\) for the effective stress tensor (and confirms internal consistency, \(p_r=-\rho\) exactly), but does not derive \(f(r)\) from any underlying Lagrangian. This is the single largest reproducibility gap in the whole chain and is exactly the item flagged as Hole 1 in the open-holes work plan: everything downstream of the ansatz is checked twice and agrees; the ansatz itself is not derived by anyone, here or in the source literature.

 None of these three gaps bears on the dissolution terminal itself (which requires only that some member of the granularity-respecting regular-core family exists with the stated qualitative properties, and that existence is exactly what Steps 1–7 establish and cross-check) — they bear on the three named, bounded, computation-debt holes carried forward explicitly elsewhere in this dossier, and are restated here only so that "evidence and reproducibility" is not read as implying more has been independently verified than actually has.

 Open gaps & the specialist closure path

 The fixed grade on this gate is CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom) = DISSOLVED-GIVEN-root / RESOLVED +0 . That grade certifies two terminal legs: the singularity is a continuum artifact of unbounded divisibility (dissolved once a smallest length \(\ell\) is imposed — \(K(0)=24/\ell^4\) , finite, computed, and continuously traceable back to the divergence as \(\ell\to0\) ), and the eternal event horizon is a teleological/global idealization that a smooth granular core removes in exactly the same stroke that removes the singularity, leaving a genuine, locally-defined trapping horizon that is practically one-way for the full evaporation lifetime. Neither leg is reopened by anything below. What follows are the five named residuals the gate carries forward as honest, bounded, computable work — three gate-owned (Holes 1–3, sitting inside the already-adopted Hayward ansatz) and two exported to the entropy gate (Holes 4–5). None of the five is a Clay-class hard-open obstruction; each has a stated method, a stated success criterion, and a stated refutation criterion. This is the discipline the completion run enforced: narrowing is reported as narrowing, not smuggled into the dissolution claim, and the dissolution claim is not diluted by the fact that these five remain open.

 Hole 1 — the induced interior source (gate-owned, COMPUTATION-DEBT)

 The precise open object. The Hayward metric function
$ \(f(r) = 1 - \frac{2mr^2}{r^3+2m\ell^2}, \qquad m\equiv GM/c^2,\) $
is not a vacuum solution of the Einstein field equations \(G_{ab}=8\pi T_{ab}\) (in units \(G=c=1\) for this paragraph); it requires an effective stress-energy tensor \(T_{ab}^{\rm eff}\) on the right-hand side, back-solved from \(f(r)\) via the Einstein tensor of a static, spherically symmetric metric. That back-solved source has the equation of state \(p_r=-\rho\) (a de-Sitter-like radial pressure) and satisfies, at the center, the disclosed combination
$ \(8\pi(\rho+p_r+2p_t) = -\frac{6}{\ell^2} < 0,\) $
consistent with the center Ricci scalar \(R(0)=12/\ell^2\) and the effective cosmological constant of the core \(\Lambda_{\rm eff}=3/\ell^2\) . This combination is exactly the Strong Energy Condition combination the Penrose–Hawking theorems require to be non-negative; here it is manifestly negative, and that is the mechanism by which the theorems are evaded — disclosed as the cost of regularity, not hidden. What is genuinely open is one level upstream of this bookkeeping: what field content — what Lagrangian, what matter action, what quantum effective action — actually produces a \(T_{ab}^{\rm eff}\) with exactly this profile , as opposed to \(T_{ab}^{\rm eff}\) being read off after the fact from a metric chosen for its regularity and asymptotic-Schwarzschild properties. The granularity floor \(\ell\) motivates that some such source must exist (a minimum length forces some UV modification of the stress-energy budget at the corresponding curvature scale) and fixes the family the answer must belong to (finite center, de Sitter heart, scale set by \(\ell\) , curvature \(\sim1/\ell^2\) ) — it does not hand over the specific dynamical mechanism that realizes the Hayward profile as opposed to Bardeen's, Dymnikova's Gaussian-profile core, or any other member of the same qualitative family.

 Why it is hard, and the traps. The central trap is target-anchoring: it is easy to declare victory by exhibiting a nonlinear-electrodynamics Lagrangian or a vacuum-polarization argument that reproduces the Hayward \(f(r)\) by construction — this has already been done in the literature for Bardeen-type and Hayward-type cores respectively — and mistake reproduction for derivation. That is not a closure; it is the same ansatz problem restated one level up, because the nonlinear-electrodynamics Lagrangian itself is then chosen post hoc to fit the desired metric, not derived from the granularity floor or from any independent microphysics. A second, subtler trap is the unicorn identified explicitly in the completion run: demanding the uniquely forced interior source under any possible ultraviolet completion is an absolute-uniqueness claim over an open-ended space of theories, which is unprovable in principle for any regularization problem in any field — that demand must be refused, not chased. The honest target sits strictly between these two failure modes: not "exhibit a Lagrangian that fits," and not "prove uniqueness," but derive, from the granularity floor and the frozen 13D admissibility rules already fixed elsewhere in this program (the record-interface/no-infinite-precision rule of \(\mathcal{C}_{\rm admiss}\) , the finite-operator chamber \(\mathcal{F}^+_{\rm finite}\) ), what class of effective sources a minimum-length structure is forced to produce at the curvature scale \(1/\ell^2\) , and check whether the Hayward profile is a member, an approximation to a member, or excluded.

 What closes it, target-blind, and the success/refutation criteria. Closure has two independent admissible routes, and either one discharges the hole; a third route bounds it honestly without fully closing it.
- Route (a), microphysical derivation: start from whatever short-distance completion the granularity floor already commits this program to (the \(\mathcal{F}^+_{\rm finite}\) finite/operator chamber and the record-interface admissibility rule \(\mathcal{C}_{\rm admiss}\) that forbids reading past \(\ell\) ), and derive the induced effective action for the metric degrees of freedom by integrating out whatever the floor implies is present at that scale — the analogue of a one-loop effective action or a coarse-grained stress tensor computed from the granularity structure rather than posited to fit a metric. Success criterion: the derived \(T_{ab}^{\rm eff}\) , computed with no reference to the Hayward metric, reproduces \(p_r=-\rho\) and \(8\pi(\rho+p_r+2p_t)=-6/\ell^2\) at the center to the precision the derivation supports, target-blind (the metric was fixed before the derivation is attempted, so a match is a genuine hit, not a fit). Refutation: the derived source has the wrong sign structure (does not violate the SEC in the required way), the wrong scaling with \(\ell\) (not \(\sim1/\ell^2\) at the core), or requires a magnitude of new physics inconsistent with the already-fixed granularity floor — any of these would falsify the Hayward profile as the granularity-forced member without threatening the dissolution claim itself, since the dissolution claim only requires that some member of the finite-core family is realized.
- Route (b), family-bounding: rather than deriving the unique member, derive the constraints granularity plus the frozen admissibility rulebook place on the space of admissible interior sources — for instance, show that the record-interface rule forces \(p_r=-\rho\) near the center (a statement about what "no information below \(\ell\) " implies for the stress tensor's radial equation of state) without fixing the full radial profile. Success criterion: a nontrivial, falsifiable narrowing of the family (e.g., ruling out any non-de-Sitter core, or fixing the leading \(\ell\) -scaling of \(\rho(0)\) ) that is derived rather than read off Hayward. Refutation: the admissibility rules turn out to place no constraint beyond what "some finite core exists" already requires — in which case Hole 1 is correctly reclassified as requiring external quantum-gravity input the program's own frozen structure cannot supply, an honest wall rather than a computation-debt.
- The already-completed default bound (not a further step, but the honest floor already banked): granularity fixes the family (finite center, scale \(\ell\) , curvature \(\sim1/\ell^2\) ) without fixing the member — stated as the ceiling, not a gap, in the fixed grade above.

 Machinery to start from. The Einstein tensor of a general static spherically symmetric metric \(ds^2=-f(r)dt^2+f(r)^{-1}dr^2+r^2d\Omega^2\) (standard ADM-type back-solving: \(\rho=-G^t_t/8\pi\) , \(p_r=G^r_r/8\pi\) , \(p_t=G^\theta_\theta/8\pi\) ) is the bookkeeping layer already used to produce the disclosed SEC combination and requires no new machinery — it is the input to Hole 1, not the target. The target machinery is one level up: an effective-action / heat-kernel computation of the kind already deployed elsewhere in this program's frozen 13D arena (the same heat-kernel technology that produces the \(a_{2k}\) coefficients for \(K_6\) , \(S^2\) , and the orbifold boundary in the entropy sector) applied instead to whatever short-distance completion the granularity floor supplies for a collapsing, curving 4D geometry — e.g., a coarse-grained stress tensor from a minimum-length-regularized field propagator, or a Gaussian/Planckian smearing of the point mass consistent with the record-interface rule. This is a bounded, well-posed calculation: it does not require solving quantum gravity in general, only working out what the specific granularity structure this program has already adopted implies for a curved, collapsing background.

 Leverage. Closing Hole 1 would convert the entire singularity-dissolution leg from "granularity-conditional, ansatz-level" to "granularity-conditional, fully derived" — it would remove the one disclosed non-claim that currently separates this gate's dissolution from a full derivation. It would also directly feed Hole 2 (the induced source's radial profile controls the Cauchy-horizon structure and hence the mass-inflation calculation) and would settle, in the same stroke, which member of the Bardeen/Hayward/Dymnikova/Planck-star family is preferred, which is presently an open question shared across the entire regular-black-hole literature, not a program-specific gap.

 Hole 2 — the mass-inflation endpoint (gate-owned, COMPUTATION-DEBT; narrowed, not closed)

 The precise open object. The Hayward core has two horizons for \(m>m_{\rm crit}=\frac{3\sqrt3}{4}\ell\approx1.299038105676658\,\ell\) (exact, from the double root of the horizon cubic \(r^3-2mr^2+2m\ell^2=0\) at \(r^*=\sqrt3\,\ell\) ): an inner Cauchy horizon \(r_-\) and an outer horizon \(r_+\) . Using the exact derivative
$ \(f'(r) = \frac{2mr\,(r^3-4\ell^2m)}{(r^3+2\ell^2m)^2},\) $
the surface gravity \(\kappa=\tfrac12|f'(r_H)|\) has been computed exactly (sympy) and cross-checked (mpmath, independent route) at representative and scanned mass ratios. At \(m=2m_{\rm crit}\) : \(r_-=1.130515874847136\,\ell\) , \(r_+=4.987241532966372\,\ell\) , \(\kappa_-=0.5958767962971050\) , \(\kappa_+=0.08816349035423249\) , ratio \(\kappa_-/\kappa_+=6.758770483143634\) . Scanning \(m/m_{\rm crit}\) from \(1.001\) to \(20\) gives \(\kappa_-/\kappa_+\) rising monotonically from \(1.071266\) to \(99.982376\) , with \(\kappa_->0\) strictly at every sampled point. Because \(\kappa_-/\kappa_+>1\) throughout is exactly the Poisson–Israel kinematic trigger for the mass-inflation instability, this computation establishes that the trigger fires — generically, not just by analogy with Reissner–Nordström — for the Hayward core at every mass above threshold tested. What remains open is the fully nonlinear dynamical endpoint : does the curvature at the inner horizon, once the linear blueshift trigger is active, actually diverge (mass inflation "succeeds" in the RN sense, producing a new, weak, null curvature singularity at \(r_-\) ), saturate at some finite value, or get cut off entirely by the same granularity floor that regularized the original central singularity?

 Why it is hard, and the traps. The trap here is treating the kinematic trigger as if it were the answer. Poisson–Israel's original result, and the criterion \(\kappa_-/\kappa_+>1\) reproduced here, is a linear statement about the exponential blueshift rate of an infalling perturbation near \(r_-\) ; it is necessary but not sufficient evidence for what actually happens once the perturbation's own backreaction on the metric becomes important. In Reissner–Nordström–de Sitter, where this was first worked out, the nonlinear endpoint is a genuine (if weak, finite-tidal-force but formally curvature-divergent) null singularity at the Cauchy horizon — but that conclusion is a separate, harder calculation from the linear trigger, and it does not automatically transfer to a different core profile with a different UV structure at small \(r\) . The second trap is assuming the granularity floor that fixed the central r=0 singularity automatically also regularizes the inner-horizon \(r_-\) instability — this is a plausible conjecture (the same \(\ell\) that forbids reaching \(r=0\) might also forbid the blueshift from reaching arbitrarily high curvature at \(r_-\) ) but it is exactly that, a conjecture, and stating it as already established would be the fabrication this dossier is built to avoid. The third trap is scope creep: this calculation is about the classical nonlinear evolution within the adopted Hayward background; it should not be conflated with or asked to also resolve the Hole 1 question of where the background itself comes from.

 What closes it, target-blind, and the success/refutation criteria. The closing calculation is a Vaidya-type (null-dust, infalling-perturbation) perturbative or fully numerical evolution of the interior geometry near \(r_-\) on the fixed Hayward/de-Sitter-core background, tracking the curvature invariant (e.g., the Kretschmann scalar or the mass function \(m(v,r)\) analogous to the RN–de Sitter mass-inflation calculations of Poisson–Israel and its many numerical-relativity follow-ups) as the perturbation approaches \(r_-\) along an ingoing null ray. Three possible outcomes are the three honest target-blind results, decided by the calculation and not chosen in advance: (i) the mass function / curvature diverges as \(v\to\infty\) at fixed \(r=r_-\) , reproducing the RN-type weak null singularity — this would mean the granularity floor regularizes the \(r=0\) singularity but does not automatically regularize the Cauchy horizon, a genuinely important and currently unknown fact about this specific core; (ii) the growth saturates at a finite value set by \(\ell\) (e.g., curvature capped again at order \(1/\ell^4\) , echoing the central-core cap) — this would mean the same granularity mechanism polices both horizons, a stronger and cleaner result; (iii) intermediate or profile-dependent behavior (saturation for some mass ratios, divergence for others, tied to where \(\kappa_-/\kappa_+\) falls in the scanned range). Any of the three is an honest, reportable, physically meaningful closure — this is exactly the kind of target-blind computation this program's Layer-2 causal-order audit requires (read the equations, then report what they say, not the reverse). Refutation of the "granularity saves everything" hope would be outcome (i): a genuine, if weak, second singularity surviving at \(r_-\) despite the finite center — a legitimate, bounded, and reportable result, not a failure of the gate, since the fixed grade never claimed the inner Cauchy horizon was already resolved (§0's non-claims explicitly flag "carries an inner Cauchy horizon prone to mass-inflation" as a known cost).

 Machinery to start from. The double-null (Eddington–Finkelstein-type, \(u,v\) or \(v,r\) ) formalism used in the original Poisson–Israel calculation and its numerous numerical-relativity descendants (cross-flow of ingoing and outgoing null fluxes near a would-be Cauchy horizon, tracked via the Vaidya mass function \(m(v)\) or its double-null generalization) transfers directly: the Hayward \(f(r)\) supplies the background metric function in place of the RN \(f(r)=1-2m/r+q^2/r^2\) , and the same perturbative machinery (linearized ingoing flux sourcing an exponentially blueshifted outgoing flux, with growth rate set by \(\kappa_-\) ) sets up the calculation. The surface gravities \(\kappa_\pm\) already computed and tabulated here across the full \(m/m_{\rm crit}\in[1.001,20]\) range are the direct input (the blueshift exponent in the linear regime scales with \(\kappa_-\) ), so the hardest input data for the calculation is already banked; what remains is solving (semi-analytically for the linear regime, numerically for the nonlinear one) the coupled null-flux/metric-backreaction system on this specific background.

 Leverage. This is the single highest-leverage residual on the gate: closing it either (outcome ii) strengthens the dissolution claim from "the central singularity is dissolved" to "the entire interior, including the would-be Cauchy-horizon instability, is granularity-controlled" — a materially stronger and more complete result — or (outcome i) sharpens the honest scope of the claim to "the central singularity specifically is dissolved; a separate, weaker null structure survives at the inner horizon; the granularity floor's reach is local to \(r=0\) , not global to the interior." Both outcomes are publishable, target-blind, physically meaningful advances; neither threatens the fixed grade, since the fixed grade is scoped to the central singularity and the eternal-horizon join, not to the Cauchy-horizon question.

 Hole 3 — the sub-threshold remnant fate (gate-owned, COMPUTATION-DEBT; narrowed, not closed)

 The precise open object. Below the horizon-formation threshold \(m_{\rm crit}\) , the Hayward core is a horizonless ultracompact object. The light-ring (null circular orbit) condition \(rf'(r)-2f(r)=0\) reduces, for this metric, to the exact numerator polynomial
$ \(P(r;m,\ell) = -8\ell^4m^2-8\ell^2mr^3+6mr^5-2r^6,\) $
and light rings merge/annihilate at the double root of \(P\) , solved exactly (sympy) at \(r_{\rm UCO}=\tfrac{2\sqrt{30}}{5}\ell\approx2.190890230020664\,\ell\) , \(m_{\rm UCO}=\tfrac{24\sqrt{30}}{125}\ell\approx1.051627310409922\,\ell\) , giving the exact ratio \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) . An independent numerical bracket-scan confirms light rings present (stable+unstable pair) at \(m/m_{\rm crit}=0.99,0.90\) and absent at \(0.70,0.50,0.30,0.10,0.01\) — consistent with, and an independent check on, the exact algebraic threshold. This computation genuinely splits Hole 3, which in the pre-completion-run gate was a single undifferentiated "what happens below threshold" question, into two typed sub-regimes with a sharp, exact boundary: (a) \(m<m_{\rm UCO}\) , no light ring, no known generic instability mechanism from this diagnostic; (b) \(m_{\rm UCO}<m<m_{\rm crit}\) , a light-ring pair present, so the Cardoso–Pani/Keir slow-trapped-mode mechanism is a live, generically-expected candidate instability. What remains open is the growth rate and true nonlinear endpoint of that trapped mode in regime (b): does the ultracompact remnant disperse (radiate away the trapped mode and settle to a stable, non-exotic configuration), settle into a genuinely stable long-lived horizonless state, or recollapse (the trapped-mode growth eventually triggers horizon formation, converting the object into a member of regime where \(m>m_{\rm crit}\) after all)?

 Why it is hard, and the traps. The trap is treating "a light-ring pair exists" as equivalent to "the object is unstable" — the Cardoso–Pani/Keir literature establishes that a stable light ring generically supports slowly-decaying trapped null modes and that this is widely expected to source a nonlinear instability on long timescales, but "generically expected" is not the same statement as "computed for this metric," and the growth rate (which controls whether the instability matters on any physically relevant timescale, from milliseconds to cosmic ages) is metric-specific. A second trap, specific to this metric, is assuming the standard Regge–Wheeler–Zerilli perturbation formalism developed for Schwarzschild and Reissner–Nordström applies unchanged: it does not, because the Hayward-type stress-energy source is not vacuum or simple electrovacuum, so the master perturbation equation for this background does not reduce to the closed RWZ form without additional work to properly account for the effective-source perturbations (a subtlety directly downstream of Hole 1's still-open question about what that source actually is). Treating the RWZ machinery as a drop-in tool without addressing this would produce a number that looks like a quasinormal-mode growth rate but is not actually computed for the correct perturbed system. A third trap is conflating this instability with the Hole 2 mass-inflation question — they are independent diagnostics (one concerns null circular orbits in a horizonless configuration below threshold, the other concerns Cauchy-horizon blueshift in a two-horizon configuration above threshold), and the Layer-2 nonseparability audit on this gate explicitly requires they be reported separately, not summed or conflated into a single "instability score."

 What closes it, target-blind, and the success/refutation criteria. The closing calculation is a frequency-domain quasinormal-mode (QNM) or transmission-coefficient solve of the actual perturbation equation for the Hayward-sourced background restricted to the horizonless branch \(m_{\rm UCO}<m<m_{\rm crit}\) — first deriving the correct master equation (accounting for the effective-source perturbation, not assuming vacuum RWZ), then solving for the complex frequency spectrum associated with the trapped null mode between the stable and unstable light rings (standard methods: WKB/Bohr–Sommerfeld quantization anchored on the light-ring locations already computed exactly here, continued-fraction/Leaver-type methods, or direct time-domain numerical evolution and ringdown extraction). Success criterion, stated target-blind before the calculation: extraction of an imaginary part of the QNM frequency (the growth or decay rate) as an explicit number in units of \(1/\ell\) , together with a determination of its sign — positive imaginary part (in the convention where this signals growth) confirms the instability is real and gives its timescale; the timescale can then be compared, honestly, against any physically relevant benchmark (formation time, accretion time, age of the universe) to determine whether "instability" is physically operative or academic. Refutation of the naive expectation would be a computed growth rate that is decaying , not growing, despite the light-ring pair being present — a legitimate and reportable outcome that would show the Cardoso–Pani/Keir generic expectation does not transfer to this specific core, a result of independent interest to that literature. A second, equally legitimate outcome is a growth rate so slow (timescale far exceeding \(10^{100}\) yr, the longest astrophysically relevant number already banked elsewhere in this gate for supermassive-hole evaporation) that the object is instability-free for any practical purpose even though the linear mode formally grows.

 Machinery to start from. The exact light-ring loci \(r_{\rm UCO}\) , \(m_{\rm UCO}\) , and the full exact metric function \(f(r)\) and its derivative \(f'(r)\) already banked here are the direct geometric input to a WKB-type QNM calculation (the Schutz–Will/Iyer–Will WKB formula for QNM frequencies is built directly from \(f(r)\) , \(f'(r)\) , \(f''(r)\) evaluated at the peak of the effective potential, which sits at or near the unstable light ring, already located exactly). The harder, prior step is deriving the correct effective potential for perturbations of this specific non-vacuum background — the general framework for that (linearized field equations sourced by a perturbed effective stress-energy, reducing where possible to a Schrödinger-like master equation) is standard in the regular-black-hole perturbation-theory literature even where it has not yet been carried out for this specific core, so the method is not novel, only the case-specific execution.

 Leverage. This is the cleanest of the three gate-owned holes to close because the exact threshold \(m_{\rm UCO}\) and the exact background geometry are already fully in hand — the only missing ingredient is the perturbation-theory execution. Closing it fully resolves Hole 3 (no further sub-splitting is anticipated: the QNM calculation directly answers disperse/settle/recollapse), and a "recollapse" outcome would additionally feed back into Hole 2 by showing that regime (b) is not a distinct final state at all but a transient en route to the two-horizon configuration whose Cauchy-horizon fate is Hole 2's question — collapsing what currently looks like two separate residuals into one continuous physical story.

 Hole 4 — entropy \(S=A/4\) and the Page-curve mechanism (exported to the entropy gate; OPEN-BLOCKED-ON-MISSING-RULE)

 The precise open object. This gate deliberately does not touch black-hole entropy or the information-paradox resolution mechanism (the Page curve, or any islands-type computation); the entropy question sits on a separate gate that already reproduces the Bekenstein–Hawking area law \(S=A/4G\) to \(0.0028\%\) as a labeled consistency check, explicitly not claimed as a microstate count. The load-bearing missing ingredient exported from that gate is a specific, named heat-kernel computation: the order-6 mixed Neumann/Dirichlet \(S^1_Y/\mathbb{Z}_2\) -orbifold-boundary heat-kernel coefficient combined with the conical-defect contribution, needed to discharge two hypotheses (H3, H4) of that gate's horizon-admissibility theorem. On the bulk side, the fully analogous \(K_6\) graviton \(a_6\) Seeley–DeWitt coefficient is already known to be blocked at a specific, named stratum: the Gelfand–Tsetlin off-diagonal hopping matrix elements that mix the five Weyl-inequivalent \(T^2\) weight classes on the symmetric-traceless representation \(\mathrm{Sym}^2_0\) are exact in principle (standard SU(3) lowering-operator formulas) but not yet enumerated, while the scalar backbone ratio \(a_6/a_2^3=7936/39375\) is already banked and cross-checked across multiple independent computational routes.

 Why it is hard, and the traps. The trap specific to this hole is scope violation in the other direction from Holes 1–3: because this gate's dissolution claim is confident and the entropy question sounds adjacent, there is a real temptation to either (i) claim the granularity mechanism that dissolved the singularity also resolves the Page curve / information paradox, which is not shown and not claimed anywhere in this gate's derivation chain, or (ii) treat the already-banked \(0.0028\%\) area-law match as if it were a microstate derivation, which the exporting gate itself explicitly disclaims. Both would be overclaims this dossier's grounding forbids. The genuine technical difficulty, on the mathematics side, is that \(K_6=SU(3)/T^2\) is homogeneous but not locally symmetric ( \(\|\nabla{\rm Riem}\|^2=1/4\neq0\) , an exact, certified, nonzero result) — this is precisely why the \(a_6\) graviton coefficient requires the extra Gelfand–Tsetlin ladder term that a locally symmetric space would not need, and it is a genuinely higher computational order than the already-completed \(a_2,a_4\) coefficients, not a re-run of the same method at higher precision.

 What closes it, target-blind, and the success/refutation criteria. Closure requires explicit enumeration of the Gelfand–Tsetlin off-diagonal hopping matrix elements across the five Weyl-inequivalent weight classes on \(\mathrm{Sym}^2_0\) (a finite, combinatorially bounded, exact linear-algebra computation using the standard SU(3) lowering-operator square-root formula for GT pattern-entry differences — no new physics input, only completion of an already-specified calculation), fed into the Gilkey/Lichnerowicz formula for \(a_6\) on the graviton bundle (Route A), cross-checked against the independent ghost+vector reconstruction (Route B) whose scalar backbone is already in agreement. Success criterion: the two routes agree to the precision the rest of this program's cross-checks maintain (compare to the \(9.6\times10^{-11}\) unification-residual standard, or a looser but still exact-rational agreement given this is a symbolic, not numerical-fit, computation). Refutation: the two independently-derived routes disagree even after the GT term is supplied — which would indicate an error in one of the two derivations (a computational bug to be found, not a physical falsification) rather than a genuine physical ambiguity, since both routes are computing the same coordinate-invariant coefficient of the same operator on the same fixed geometry.

 Machinery to start from. Standard \(SU(3)\) representation theory: Gelfand–Tsetlin patterns for \(\mathrm{Sym}^2_0\) of the adjoint-adjacent representations relevant to the graviton bundle, the raising/lowering operator matrix elements (exact square roots of products of GT pattern-entry differences, a textbook but tedious finite computation), combined with the already-certified Lichnerowicz spectrum \(\{1/6\ (\times6),\ 5/12\ (\times6),\ 7/6\ (\times6),\ 17/12\ (\times2)\}\) on \(\mathrm{Sym}^2_0\) and the already-certified curvature invariants ( \(\|{\rm Riem}\|^2=23/12\) , the cubic invariants \(K_1=-113/72\) , \(K_2=-5/72\) , all Killing-normalization exact rationals) that feed the Gilkey heat-kernel formula.

 Leverage. This hole is exported, not gate-owned, precisely because its closure has no bearing on whether the singularity/horizon dissolution claim of this gate holds — it bears entirely on a separate, honestly-labeled entropy consistency check. Its leverage is therefore external to this gate: closing it would upgrade the entropy gate's \(0.0028\%\) area-law match from a numerical consistency check toward a more first-principles heat-kernel derivation, but it does not add to or subtract from the DISSOLVED-GIVEN-root grade certified here.

 Hole 5 — \(G_{\rm eff}\) / KT-2 consistency (exported to the entropy gate)

 The precise open object. The identification \(G_{\rm eff}=G_{\rm Newton}\) (the measured Newton constant) for the exact \(K_6\times S^2\times S^1_Y/\mathbb{Z}_2\) dimensional reduction is currently asserted "by construction" — i.e., the Planck-mass normalization \(M_{\rm Pl}^2=M_*^{11}\,{\rm Vol}(X_{\rm active})\) with \(M_*=7.467050992135091\times10^{16}\) GeV and \({\rm Vol}(X_{\rm active})=3.704417261398702\times10^{-148}\,{\rm GeV}^{-9}\) is set up so that it reproduces \(M_{\rm Pl}\) by definition of \(M_*\) , rather than independently verified to reproduce \(G_{\rm Newton}\) from an independently-fixed \(M_*\) with no volume or kinetic-normalization freedom left to absorb a mismatch.

 Why it is hard, and the traps. The trap is circularity: because \(M_*\) is defined by solving \(M_{\rm Pl}^2=M_*^{11}{\rm Vol}(X_{\rm active})\) for \(M_*\) given the already-fixed \({\rm Vol}(X_{\rm active})\) and the measured \(M_{\rm Pl}\) , checking that " \(G_{\rm eff}=G_{\rm Newton}\) " by re-deriving \(M_{\rm Pl}\) from \(M_*\) and the volume is checking an identity, not an independent fact. The genuine open question is whether the kinetic normalization of the reduced 4D graviton — the coefficient that multiplies the 4D Einstein–Hilbert term after integrating the 13D action over the internal volume — comes out canonically normalized with no hidden rescaling once the full three-layer structure (the specific bundle/connection data of \(\mathcal{E}_{\rm gauge}\) and the finite-chamber \(\mathcal{F}^+_{\rm finite}\) contributions, not just the bare metric volume) is included.

 What closes it, target-blind, and the success/refutation criteria. Independently carry out the dimensional reduction of the full 13D action (all three layers: ×Stage metric factors, ⊕Rulebook admissibility/normalization conventions, ⊗Actors bundle content) down to 4D, and verify the coefficient of the resulting 4D Ricci scalar term matches \(M_{\rm Pl}^2/2\) (in the convention used) with no additional rescaling required beyond the volume factor already used to define \(M_*\) . Success: the reduction is canonical with no hidden field redefinition. Refutation: a non-canonical kinetic term is found, requiring a compensating field redefinition that would change the relationship between \(M_*\) and \(M_{\rm Pl}\) used elsewhere in this program — a finding that would ripple into every gate that uses \(M_*\) , not just this one.

 Leverage. Like Hole 4, this is exported because it is a program-wide normalization check, not specific to the singularity/horizon question; its resolution affects the credibility of the \(M_*\) value used across the whole 13D framework but does not alter this gate's dissolution terminal.

 Summary of closure status

 No hole above threatens the fixed grade. The dissolution and horizon-clarification legs are terminal-anchored (REDUCED-TO-FLOOR / DISSOLVED-GIVEN-(Granularity \(\wedge\) Record-Interface)) and stand independent of all five residuals. Holes 2 and 3's kinematic sub-results ( \(\kappa_-/\kappa_+>1\) generically; the exact \(m_{\rm UCO}\) threshold) are DERIVED-GIVEN-(Hayward ansatz) — genuine, cross-checked, target-blind computed results — but are correctly withheld from being banked as clean, unconditional derivations because they inherit Hole 1's still-open ansatz status; this is disciplined self-restraint on the part of the completion run, not an oversight. Every one of the five holes is named, bounded, and computable with stated, standard machinery (Vaidya-type mass-inflation evolution; frequency-domain QNM/transmission solve; effective-action/heat-kernel derivation of an induced source; Gelfand–Tsetlin heat-kernel completion; canonical-normalization check of the dimensional reduction) and every one carries an explicit, target-blind success criterion and an explicit, honest description of what a refuting result would look like and what it would mean. No hole is a universal-negative or an absolute-uniqueness demand — those categories were identified and explicitly refused in the completion run's unicorn-dissolution pass (§5 of the record) rather than left as latent traps for a future reviewer to fall into.

 Honest ceiling, scope & the endpoint

 Why this section exists, and the discipline it enforces

 Every gate in this program is graded to a fixed terminal, and the terminal for this gate — DISSOLVED-GIVEN-root / RESOLVED, +0 — is stated in the executive summary and is not revisited here as a question. What this section does instead is the opposite motion: having shown, in full, everything that the granularity axiom buys (the finite center \(K(0)=24/\ell^4\) , the exact de Sitter core, the surviving outer horizon, the computed critical mass, the two narrowed-but-open dynamical holes, the horizon split into a retired teleological event horizon and a surviving local trapping horizon), the discipline of this program requires stating with equal precision everything that this result is not , exactly which payments were made to reach it, and the closing form of the endpoint itself. A dissolution that cannot state its own ceiling is not a dissolution the reader can trust; the whole value of the closure taxonomy used throughout this corpus is that "CLOSED" is a specific, checkable claim, not a mood. This section is that check, applied to this gate, in full.

 The rule that governs everything below is the one printed at the top of this program's endpoint taxonomy: a closed gate is never reopened by a reviewer's framing, only by a named, terminal-blocking step . Five such named steps exist for this gate (§9 of the derivation chain: Holes 1–5), and every one of them is disclosed explicitly, by name, with its own closing computation, in this section and the ones that precede it. None of them touches the dissolution terminal itself; each is downstream computation-debt sitting on top of an already-closed leg. That distinction — a closed terminal with disclosed downstream residuals, versus an open gate — is the entire content of what follows.

 1. What is explicitly NOT claimed

 1.1 Dissolved ≠ solved. The word "dissolved" is doing precise technical work in this dossier and must not be read as a synonym for "solved" or "derived." A solution would be an interior metric obtained by starting from a matter Lagrangian or a quantum-gravity path integral and deriving, by calculation, the unique geometry a collapsing mass settles into. Nothing in this dossier does that. What is shown instead is that the obligation for a singularity to exist — the thing that makes the Schwarzschild solution and the Penrose–Hawking theorems force \(r\to0\) curvature divergence — is not a fact about gravity in the abstract; it is a fact about gravity conditional on the continuum assumption that spacetime is divisible without limit . Remove that one assumption (impose \(\ell>0\) ) and the specific obligation to hit an infinity disappears: the Kretschmann scalar
$ \(K(r)=\frac{48\,G^2M^2}{c^4\,r^6}\) $
of ordinary Schwarzschild geometry is finite at every \(r>0\) and diverges only in the strict limit \(r\to0\) ; that limit is never attained once a smallest resolvable length exists. This is dissolution in the technical sense used throughout this corpus: a question ("what is the curvature at the center of a black hole, in a theory where spacetime is infinitely divisible?") is shown to rest on a premise (infinite divisibility) that the frozen axiom set denies, so the question is retired rather than answered on its own terms. It is not solved because the replacement question — "what is the curvature at the center of a black hole once a floor \(\ell\) is imposed?" — still has a family of possible finite answers, and this dossier computes one representative member of that family (the Hayward form) rather than deriving that member as forced. The continuity check that makes this precise and falsifiable rather than merely rhetorical is direct: send \(\ell\to0\) inside the computed result and \(K(0)=24/\ell^4\to\infty\) continuously , recovering the original textbook divergence exactly. That single limit is the proof that the infinity was a feature of the continuum assumption, not an independent fact about gravity that granularity happens to also satisfy — but it is equally the proof that everything computed here is conditional on \(\ell\) remaining strictly positive, which is precisely the axiom being paid (§2 below).

 1.2 Selection ≠ derivation. The granularity floor fixes a family , not a member . Every explicit number in this dossier's central results — \(K(0)=24/\ell^4\) , the near-center expansion \(f(r)=1-r^2/\ell^2+O(r^4)\) , \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) , the horizon cubic \(r^3-2mr^2+2m\ell^2=0\) , the critical mass \(m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell\approx1.299038105676658\,\ell\) , the ultracompactness threshold \(m_{\rm UCO}=\tfrac{24\sqrt{30}}{125}\ell\approx1.051627310409922\,\ell\) — is a consequence of having already adopted the specific Hayward metric function
$ \(f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}.\) $
Granularity is the reason some finite, de Sitter-cored, \(\ell\) -scaled family of metrics is the right kind of object to be looking at (Bardeen's, Dymnikova's Gaussian-profile core, the Hayward form, and the "Planck star" picture all share this qualitative shape, and all are consistent with the granularity floor); it is not the reason the Hayward functional form specifically, as opposed to any other member sharing the same finite-center/de-Sitter-heart/Schwarzschild-tail qualitative behavior, is the one nature implements. Put in the vocabulary this program uses to police exactly this distinction: granularity fixes the family (finite center, single scale \(\ell\) , curvature of order \(1/\ell^2\) ) at the level of the ⊗ Actors layer's induced effective source; it does not derive the specific endomorphism that produces the Hayward \(f(r)\) rather than a qualitatively similar cousin. Claiming that granularity forces the Hayward metric specifically would be a "unicorn" of exactly the kind flagged and dissolved in this dossier's discussion of dissolved unicorns — an unprovable absolute-uniqueness claim over an open-ended space of possible regularizations — and it is not made here or anywhere in this corpus. What is claimed, precisely, is narrower and fully defensible: within the adopted Hayward ansatz, every downstream number (horizon loci, surface gravities, light-ring thresholds) is computed exactly and reproduced by two independent routes; outside that ansatz, the claim is bounded to the family-level statement that granularity requires some finite-center, \(\ell\) -scaled, SEC-violating core of this qualitative type, without specifying which.

 1.3 Given- \(E\) ≠ derivation-of- \(E\) . The de Sitter-like core requires an effective stress-energy tensor that violates the strong energy condition — this is disclosed as the explicit mechanism, not a footnote, because it is precisely the loophole by which the Penrose–Hawking singularity theorems (which assume the SEC) fail to apply inside the core. The SEC-violation is quantified exactly:
$ \(8\pi(\rho+p_r+2p_t) = -\frac{6}{\ell^2} < 0, \qquad p_r=-\rho,\) $
consistent with, and derived from the same computation as, \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) . What this dossier does not do is derive this effective stress-energy from a matter Lagrangian, a nonlinear-electrodynamic field content, a vacuum-polarization calculation, or any quantum-gravity path integral. The granular structure — the existence of \(\ell\) — motivates the need for some non-vacuum, SEC-violating effective source at the ⊗ Actors layer of the frozen thirteen-dimensional arena; it does not hand over the endomorphism \(E\) that would constitute an actual derivation of that source from first principles. This is named explicitly, as Hole 1, in the open-holes ledger, and it is the single most consequential of the five disclosed residuals precisely because Holes 2 and 3 (below) are computed conditional on the Hayward ansatz that Hole 1 leaves unresolved — meaning the entire quantitative content of §3 of the derivation chain (mass-inflation kinematics, light-ring census) inherits Hole 1's open status and is correctly not banked as an independent, unconditional result. This is self-restraint built into the grading, not an oversight: the record explicitly marks the Hole 2/3 sub-legs as "DERIVED-GIVEN-(Hayward ansatz)" rather than as clean, unconditional derivations.

 1.4 What is also not claimed, briefly, for completeness against over-reach in either direction. This dossier does not claim that no future quantum-gravity theory could resolve the interior differently or better — that would be a universal negative over the space of all possible future theories, unprovable for anyone, and is explicitly dissolved as a shared ceiling rather than treated as an open weakness of this program specifically. It does not claim that black holes are inescapable "for all time, absolutely forever" in the strict eternal sense the textbook event horizon asserts — that overclaim is the one this dossier's own horizon analysis retires, in favor of the correct, provable, and for every practical and cosmological purpose equally absolute claim: one-way for the full \(10^{67}\) – \(10^{100}\) -year evaporation lifetime, against a universe \(\sim10^{10}\) years old. It does not claim to resolve black-hole entropy, the microstate origin of \(S=A/4\) , or the Page-curve information-return mechanism — those are deliberately untouched here and exported whole to a separate gate. And it does not claim that the static, non-rotating, uncharged Hayward interior used for the explicit computations is dynamically the final answer even within its own ansatz family: it carries an inner Cauchy horizon that is a generic site for instability, and that instability's fate is one of the two named dynamical residuals below, not asserted to be benign.

 2. The anchors paid

 Every dissolution in this program is required to name, exactly, what was spent to reach it — a dissolution with a hidden or unstated cost is indistinguishable from a fabrication. This gate pays a single, minimal, value-free anchor, and nothing else; it is worth stating precisely why the ledger is this short, and then stating just as precisely what does not appear on it.

 2.1 The one paid axiom: the granularity floor \(\ell>0\) . This is the program's foundational cost-floor axiom, and for this gate it is the entire load-bearing anchor. It is carried on this program's deep-root ledger as REDUCED-TO-AXIOM : one named posit, with no numerical value assigned or required. The claim is not " \(\ell\) equals such-and-such a number" — no value of \(\ell\) is fixed, fitted, or needed anywhere in this gate's derivation chain — the claim is only that some strictly positive smallest length exists, below which the geometric record cannot be resolved. Every quantity computed in this dossier ( \(K(0)=24/\ell^4\) , \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) , \(m_{\rm crit}=3\sqrt3\,\ell/4\) , \(r_{\rm UCO}=2\sqrt{30}\,\ell/5\) , \(m_{\rm UCO}=24\sqrt{30}\,\ell/125\) , and every entry in the surface-gravity scan) is a dimensionless ratio expressed in units of this single self-referential scale \(\ell\) — the Scale root of the deep-root ledger is discharged trivially, as a ratio of \(\ell\) to itself, and carries no independent purchase on the Planck-anchored normalization of the rest of the frozen arena. For completeness, that Planck normalization is on record at full precision — \(M_*^{11}=M_{\rm Pl}^2/\mathrm{Vol}(X_{\rm active})=4.023836152402511\times10^{185}\,\mathrm{GeV}^{11}\) , giving \(M_*=7.467050992135091\times10^{16}\,\mathrm{GeV}\) , itself fixed by the geometry plus the single measured input \(M_{\rm Pl}=1.220900\times10^{19}\,\mathrm{GeV}\) — but it is explicitly not invoked in this gate's derivation chain: the dissolution claim goes through without ever setting \(\ell\) equal to, or bridging it to, any Planck-scale number. This is a deliberate scope boundary, not an omission: fixing \(\ell\) 's numerical value would be a separate, harder, and currently unattempted claim (candidate identifications with the Planck length are the obvious guess in the wider literature on discreteness, but nothing in this gate's chain performs or requires that identification).

 2.2 The Record-Interface / admissibility half of the same anchor. The dissolution is stated on the ledger as conditional on Granularity ∧ Record-Interface jointly, and the second conjunct is worth separating out because it is a distinct kind of payment from the metric floor itself. The Record-Interface is the ⊕ Rulebook-layer admissibility rule that forbids reading the geometric record past \(\ell\) — it is what turns "there exists a smallest length" into "the theory is not permitted to return an answer for a probe finer than \(\ell\) ," which is the actual mechanism by which \(r\to0\) becomes a place the geometry never visits rather than merely a place where the existing metric happens to be finite. Both pieces are named because both are load-bearing: the metric floor alone, without the admissibility rule barring finer readout, would not by itself prevent someone from asking what happens at \(r=0\) in the mathematical continuum underlying the model; the admissibility rule is what makes " \(r\to0\) " a retired question rather than merely a well-behaved one. Both are audited and pass the program's Layer-2 screens on the completion run reproduced in the derivation chain: the Record Interface screen classifies the outputs of this gate (horizon loci, surface gravities, light-ring loci) as finite, well-defined, unit-declared, sign-convention-declared readouts — the technical classification is READOUT-MISSING, not RECORD-IMPOSSIBLE (an "Impostor class I-3" designation in this program's audit vocabulary), meaning these are legitimate framework observables awaiting an instrument to measure them, not objects the framework is structurally incapable of ever producing.

 2.3 What is explicitly NOT on this ledger — no anchor smuggled in. No measured anchor from the program's four-anchor set \(\{M_{\rm Pl},\ \alpha_i(M_Z),\ y_t,\ |V_{us}|\}\) is consumed, fitted, or back-solved against in this gate. No numerical target curvature, mass, or horizon radius was assumed before the computation and then reverse-engineered — the completion run's causal-order audit confirms this directly: the light-ring census reads \(rf'(r)-2f(r)=0\) off the metric and finds rings present at \(m/m_{\rm crit}=0.90,0.99\) and absent at \(0.70,0.50,0.30,0.10,0.01\) purely by evaluating the polynomial, with the exact algebraic threshold \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) derived independently and only afterward checked for consistency against the bracket scan — a textbook target-blind computation, not a fit. No new force, field, or particle content is posited; the only new object relative to ordinary Schwarzschild geometry is the single length \(\ell\) . No entropy, microstate count, or Page-curve mechanism is invoked or assumed anywhere in this gate's chain — that entire question is exported, untouched, to a separate gate (labeled Gap-13/W16 in this program's ledger), where it is independently flagged as still open. The Shape and full 13-dimensional Planck-scale machinery of the frozen arena — the \(K_6=SU(3)/T^2\) curvature invariants, the heat-kernel coefficients, the Casimir spectrum — are on record at full precision elsewhere in this corpus (Ricci eigenvalue \(\mathrm{Ric}_i=5/12\) , scalar curvature \(\mathrm{Scal}=5/2\) in Killing normalization, \(\|\mathrm{Riem}\|^2=23/12\) , the exact ratio \(\|\mathrm{Riem}\|^2/\mathrm{Scal}^2=23/75\) , the a₆ heat-kernel graviton leg still OWED at the Gelfand–Tsetlin stratum) but none of these enters this gate's derivation chain at all : the singularity/horizon question is settled entirely by the \((t,r)\) -sector Hayward metric function and its derivatives, with the Shape root contributing nothing new beyond fixing that the relevant ansatz lives at the ⊗ Actors/effective-source level. Flagging this explicitly matters because it forecloses a specific kind of overclaim — that this gate's dissolution is somehow bootstrapped off the rich 13-dimensional curvature data computed elsewhere in this corpus. It is not; it stands on the single axiom named in §2.1–2.2 alone, and the 13D data is cited here only to certify, by its absence from the computation, that no such borrowing occurred.

 2.4 The two measured facts consumed as tests, not as anchors fitted to. Two genuinely measured, external facts are used in this gate, and they are of a different kind from the four program anchors: they are not fit to, and no free parameter in this gate's chain is tuned against them; they are used purely as consistency tests of claims already made on independent grounds. First, Hawking's 1974 evaporation calculation gives lifetimes of order \(10^{67}\) years for a stellar-mass hole and \(10^{100}\) years for a supermassive one, against a measured universe age of order \(10^{10}\) years — this is the fact that establishes "forever" is unavailable to the textbook event horizon, motivating (not fitted to) the horizon-clarification leg. Second, the Isi–Farr et al. (2021) analysis of the GW150914 binary-black-hole merger tests Hawking's classical area theorem directly against ringdown data and finds the final horizon area exceeds the summed progenitor areas at roughly 95% confidence — this is used honestly and with its limits stated plainly: it confirms the merged object behaves as a smooth, area-respecting horizon at the km-to-thousands-of-km scales gravitational-wave astronomy resolves, ruling out macroscopic exotic-horizon structure (hard membranes, energetic firewalls) at that scale, but it is many orders of magnitude too coarse to see or falsify anything at the granularity scale \(\ell\) where the singularity question itself lives, and no pull is claimed against any specific predicted number from this gate's chain. Neither of these two measured facts is an anchor this gate's numbers are normalized against; both are cited as tests the picture must be — and is — consistent with.

 3. Why this is a genuine terminal and not an open question wearing a closed label

 Before stating the closing form, it is worth being explicit about the check that licenses calling this CLOSED at all, because the whole discipline of this program is that a closed gate must survive a specific, nameable audit, not merely an assertion. Three things make this a genuine terminal rather than a deferred one.

 First, the mechanism is a from-nothing detector pass : the result does not bottom out in a dimensionful quantity conjured with no anchor, does not treat a contingent numerical magnitude as if it were logically forced, does not exploit a zero-floor loophole, and does not smuggle in a minimality assumption disguised as a derivation. It bottoms out, honestly, on the granularity floor \(\ell\) via the explicitly disclosed, still-open Hayward ansatz — and the completion-run audit records this exact configuration as correctly refused promotion to a clean, unconditional "#1" result. A result that both admits its own conditionality this precisely, and still discharges the from-nothing check, is doing the opposite of overclaiming.

 Second, the continuity control is a genuine falsifier, not a rhetorical flourish : because \(K(0)=24/\ell^4\to\infty\) continuously as \(\ell\to0\) , the claim that granularity — specifically, and only granularity — is responsible for the resolution is directly testable against the null hypothesis. If the finite value at \(r=0\) persisted even as \(\ell\to0\) , that would mean some other mechanism was doing the regularizing and the granularity attribution would be wrong; it does not persist, it tracks \(\ell\) exactly as the mechanism predicts, and this was checked, not assumed.

 Third, the two-route, cross-checked structure of every number in the derivation chain — symbolic (sympy-exact) and high-precision numerical (mpmath) routes for the surface-gravity scan and the light-ring threshold, agreeing to the full precision quoted, and independently re-verified bit-for-bit — is what allows the residual holes to be stated as narrowed, bounded, computation-debt rather than as unknowns of uncertain size. Hole 2's kinematic trigger is not merely asserted generic; it is shown positive ( \(\kappa_->0\) ) at every sampled point across \(m/m_{\rm crit}\in[1.001,20]\) , with the ratio \(\kappa_-/\kappa_+\) climbing from \(1.071266\) near threshold to \(99.982376\) at twenty times threshold — a computed curve, not a guess. Hole 3's threshold is not an order-of-magnitude estimate; it is an exact algebraic double root, \(m_{\rm UCO}=24\sqrt{30}/125\,\ell\approx1.051627310409922\,\ell\) , cross-checked against an independent numerical bracket scan that agrees on which side of the threshold light rings appear and disappear. This is what "genuinely narrowed, not merely re-labeled open" looks like in practice, and it is why the five residual holes named below can be stated as concrete, computable next steps with named target computations, rather than as an open-ended admission of ignorance.

 None of this changes the terminal. It is the reason the terminal is trustworthy.

 4. The smallest remaining objects, named plainly (not rolled into the terminal, not hidden from it)

 The dissolution and clarification legs are closed. Sitting on top of that closed terminal are five explicitly bounded residuals, each already introduced in the derivation chain and repeated here in the specific form this section requires: named, plainly, without folding them back into a hedge on the terminal itself.

 Hole 1 (gate-owned, COMPUTATION-DEBT): the induced interior source. The Hayward \(f(r)\) is an adopted ansatz; granularity fixes the qualitative family it belongs to but not the specific effective stress-energy — nonlinear-electrodynamic, vacuum-polarization-like, or otherwise — that would constitute an actual derivation of this member. Closing computation: derive the effective stress-energy that the smallest-length structure induces at the ⊗ Actors layer, and show either which family member it selects, or an honest tightened sub-family that granularity alone forces.

 Hole 2 (gate-owned, COMPUTATION-DEBT, narrowed not closed): the mass-inflation dynamical endpoint. The kinematic trigger (surface-gravity ratio \(\kappa_-/\kappa_+>1\) , strictly, across the sampled mass range) is computed and confirmed generic for this core; the fully nonlinear question — does the Cauchy-horizon blueshift diverge, saturate, or get cut off by the same granularity floor that regularized the center in the first place — is open. Closing computation: a Vaidya-type perturbative or numerical mass-inflation evolution on the Hayward/de-Sitter-core background.

 Hole 3 (gate-owned, COMPUTATION-DEBT, narrowed not closed): the sub-threshold remnant fate. The exact ultracompactness threshold \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) now splits the horizonless regime cleanly into a light-ring-free branch ( \(m<m_{\rm UCO}\) , no known generic instability from this diagnostic) and a paired-light-ring branch ( \(m_{\rm UCO}<m<m_{\rm crit}\) , where the Cardoso–Pani/Keir slow trapped-mode mechanism is a live, generically-expected candidate) — but the growth rate and true endpoint (disperse, settle, or recollapse) are not computed, because this metric's perturbation equations are not of closed Regge–Wheeler–Zerilli form. Closing computation: a frequency-domain quasinormal-mode / transmission-coefficient solve on the horizonless ultracompact branch.

 Hole 4 (EXPORTED to a separate gate, OPEN-BLOCKED-ON-MISSING-RULE): entropy and the Page-curve mechanism. Deliberately untouched by this gate. The exported gate already reproduces Bekenstein–Hawking \(S=A/4G\) to \(0.0028\%\) as a labeled consistency check — explicitly not a microstate count — and remains open pending the order-6 mixed-boundary Seeley–DeWitt heat-kernel coefficient and further saddle-existence work named on that gate's own ledger.

 Hole 5 (EXPORTED to a separate gate): \(G_{\rm eff}\) consistency. The identification of the effective Newton constant with the measured \(G\) under the exact dimensional reduction of the frozen thirteen-dimensional branch is asserted by construction on that separate gate's ledger, not independently re-verified there; it does not enter this gate's chain at all and is listed here only for completeness of the full residual picture this dossier is part of.

 No sixth hole exists at the level of the dissolution and clarification legs themselves — the singularity-is-a-continuum-artifact claim and the event-horizon/trapping-horizon split are both fully discharged by the computation in §2 and §6 of the derivation chain, conditional only on the axiom named in §2.1–2.2 above. All five named residuals sit strictly downstream of that closed terminal.

 5. The closing endpoint statement

 Nothing left. Anchored on: Shape: not load-bearing for this gate — the Hayward ansatz occupies the ⊗ Actors/effective-source stratum only, and the singularity/horizon question is settled entirely within the \((t,r)\) -sector metric function without invoking the 13-dimensional curvature data ( \(K_6=SU(3)/T^2\) Ricci/Riemann invariants, heat-kernel coefficients) computed elsewhere in this corpus. Granularity: the smallest-length floor \(\ell>0\) , carried as REDUCED-TO-AXIOM — one named, value-free posit, jointly with the Record-Interface admissibility rule that forbids reading the geometric record past \(\ell\) ; this pair is the entire load-bearing mechanism. Scale: every result is a dimensionless ratio in units of the single self-referential length \(\ell\) (center curvature \(24/\ell^4\) , Ricci scalar \(12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) , critical mass \(3\sqrt3\,\ell/4\) , ultracompactness threshold \(24\sqrt{30}\,\ell/125\) ); no independent Planck-anchored purchase is invoked or required. Observables: finite, exactly computed, two-route cross-checked quantities with declared units and sign conventions — center Kretschmann scalar \(K(0)=24/\ell^4\) , near-center de Sitter expansion \(f(r)=1-r^2/\ell^2+O(r^4)\) , center Ricci scalar \(R(0)=12/\ell^2\) , effective cosmological constant \(\Lambda_{\rm eff}=3/\ell^2\) , exact Schwarzschild exterior recovery \(K\to48m^2/r^6\) for \(r\gg\ell\) , horizon cubic \(r^3-2mr^2+2m\ell^2=0\) with critical mass \(m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell\approx1.299038105676658\,\ell\) , surface-gravity ratio \(\kappa_-/\kappa_+\) scanned from \(1.071266\) to \(99.982376\) over \(m/m_{\rm crit}\in[1.001,20]\) , and exact ultracompactness threshold \(m_{\rm UCO}=\tfrac{24\sqrt{30}}{125}\ell\approx1.051627310409922\,\ell\) with \(m_{\rm UCO}/m_{\rm crit}=0.809543081003105\) — classified by the Record-Interface audit as READOUT-MISSING (an unbuilt instrument for an already-finite framework quantity), not RECORD-IMPOSSIBLE. Dissolution: the question "what is the curvature at the center of a black hole" presupposes that spacetime can be probed at arbitrarily small \(r\) ; deny that presupposition with a single axiom, \(\ell>0\) , and the question the Penrose–Hawking theorems force to a divergence is retired rather than answered on its own terms — the same axiom, read as the smooth interior an evaporating hole needs, simultaneously retires the strict teleological event horizon in favor of the local trapping horizon that was the only piece of the causal structure ever locally measurable in the first place.

 Five named, bounded, computable residuals — the induced interior source (Hole 1), the mass-inflation dynamical endpoint (Hole 2), the sub-threshold remnant fate (Hole 3), and two items exported whole to a separate gate (entropy/Page-curve mechanism, and \(G_{\rm eff}\) consistency) — remain on the ledger as honest computation-debt. None of them is a terminal-blocking step against the dissolution and clarification legs certified here; each is a concrete, named, well-posed next computation sitting downstream of an already-discharged terminal, not a gap inside it.

 Closure ledger — Black hole — singularity + horizon

 Status (fixed): DISSOLVED-GIVEN-root · RESOLVED +0

 The technical closure LEDGER (separate document)

 Gate: blackhole-singularity — "Black hole — singularity + horizon"
 Fixed grade (given, held throughout this ledger): CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom) = DISSOLVED-GIVEN-root / RESOLVED +0 . Direction: HELD. PROMOTIONS:0.

 This ledger is the auditor's record: every object pinned at all three layers, every anchor typed by role, the full numbered derivation chain with exact values, the credit-ladder grade of each leg, the anti-claims, and the endpoint line. Nothing here is asserted without a value, an equation, or an explicit OPEN tag.

 L0. Layer-0 wall identity

 Wall statement (field-wide open, textbook GR): the Schwarzschild interior forces a curvature singularity at \(r=0\) where the Kretschmann scalar \(K=48G^2M^2/(c^4 r^6)\) diverges — a point at which the theory returns \(\infty\) , i.e. returns nothing, and at which its own equations certify their breakdown. The associated event horizon \(E=\partial J^-(\mathcal J^+)\) is defined teleologically (requires knowledge of the entire future) and globally (requires a genuine future null infinity \(\mathcal J^+\) ). Conventional wisdom: resolving the singularity requires a complete quantum theory of gravity that does not yet exist; the one-way horizon feeds directly into the unsettled information-paradox / Page-curve debate.

 Wall type: this is a continuum-completeness wall , not a missing-dynamics wall and not a missing-symmetry wall. The divergence is a property of the limit \(r\to0\) under the standing assumption that spacetime is divisible without floor. The wall is dissolved, not solved, by removing the assumption that manufactures it.

 Object under audit (three sub-claims, one mechanism): 
1. Singularity-removal: does a smallest length \(\ell\) make \(K(0)\) finite?
2. Horizon-survival: does the resulting object still hoard light behind a genuine horizon (i.e., is it still a "black hole")?
3. Horizon-clarification: which horizon notion (event vs. trapping) actually does the physical work, and does the granular core interact with that distinction?

 L1. Layer-1 endpoint anchor

 Load-bearing root: Granularity (a smallest physical length \(\ell>0\) ). This is the only root doing work on the singularity/core sub-claims. Shape and Scale are audited below (§L2) and found non-load-bearing / trivially-passing for this gate; they are not smuggled in to manufacture the result.

 Endpoint method on the record: COMPUTATION-DEBT. The dissolution+clarification legs are terminal-anchored; five finite, named residuals remain (three gate-owned, two exported to Gap-13), none of which reopens the terminal.

 Terminal form: REDUCED-TO-FLOOR / DISSOLVED-GIVEN-(Granularity ∧ Record-Interface) — the singularity obligation dissolves given (a) the granularity floor axiom and (b) an admissibility rule (the Record Interface, §L2) forbidding read-out past that floor. Two independent computational routes (sympy-exact symbolic + mpmath high-precision numeric) over-determine every load-bearing number below; both were reproduced this session.

 L2. Layer-2 root stack — Tier A (full precision) + Tier B screens

 Tier A — the three roots, all three layers each

 A1. Granularity [LOAD-BEARING]. 
- × Stage layer: \(\ell\) acts as a metric floor on probing distance — a minimum resolvable radial interval in the Hayward metric family, playing the same structural role a discretization scale plays in any regularized continuum theory.
- ⊕ Rulebook layer: the Record Interface / no-infinite-precision admissibility rule: no observable may be read out at a resolution finer than \(\ell\) . This is what converts "the curvature is large near \(r=0\) " into "the curvature at \(r=0\) is a finite, well-posed number" — the rulebook forbids the question "what happens as \(r\to0\) with \(\ell\to0\) simultaneously," which is the only way to manufacture the divergence.
- ⊗ Actors layer: the effective stress-energy content the granular structure must induce to source the finite-core metric (nonlinear-electrodynamic-like or vacuum-polarization-like). This layer is explicitly not derived here — it is the ansatz-level residual (Hole 1, §L6) at the ⊗Actors stratum. Granularity fixes the family at this layer (finite center, scale \(\ell\) , curvature \(\sim1/\ell^2\) ); it does not fix the member .
- Grade of this root: REDUCED-TO-AXIOM — one named, value-free posit ( \(\ell>0\) exists; no numerical value of \(\ell\) is asserted or needed for any ratio below).

 A2. Scale. 
- × Stage / ⊕ Rulebook / ⊗ Actors: every load-bearing quantity in this gate ( \(r_\pm\) , \(\kappa_\pm\) , \(r_{\rm UCO}\) , \(m_{\rm crit}\) , \(m_{\rm UCO}\) ) is a pure dimensionless ratio in units of the one already-adopted length \(\ell\) — e.g. \(m_{\rm crit}=\tfrac{3\sqrt3}{4}\ell\) , \(r^*=\sqrt3\,\ell\) . None of these numbers requires, consumes, or is checked against the frozen arena's Planck normalization.
- Bridge to the frozen 13D arena (stated, not invoked): \(M_*^{11}=M_{\rm Pl}^2/{\rm Vol}(X_{\rm active})=4.023836152402511\times10^{185}\,{\rm GeV}^{11}\) , \(M_*=7.467050992135091\times10^{16}\) GeV, \(M_{\rm Pl}=1.220900000000000\times10^{19}\) GeV. These numbers exist in the shared geometry pack and are recorded here for completeness of the layer audit, but no step in this gate's derivation chain uses them — the Scale root passes trivially (ratios of \(\ell\) to itself), not by consuming a Planck-scale input.
- Grade of this root: PASS / not-load-bearing (present, audited, inert for this gate).

 A3. Shape. 
- × Stage / ⊕ Rulebook layers: contribute nothing new to the singularity/horizon question. The full 13D active branch \(\mathfrak{B}_{\rm active}=[\mathcal M_4\times K_6\times S^2\times S^1_Y/\mathbb Z_2]_\times\oplus[\mathcal F^+_{\rm finite}\oplus\mathcal C_{\rm admiss}]_\oplus\otimes[\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton}]_\otimes\) , \(D=4+6+2+1=13\) , \(K_6=SU(3)/T^2\) , is the standing arena for the whole program, but the Hayward core problem is a 4D \(\mathcal M_4\) -sector effective-metric question; \(K_6\) , \(S^2\) , \(S^1_Y/\mathbb Z_2\) curvature/Casimir/heat-kernel data play no role in the horizon cubic, the Kretschmann scalar, or the light-ring polynomial below.
- ⊗ Actors layer: the Hayward profile \(f(r)=1-\dfrac{2mr^2}{r^3+2m\ell^2}\) is a chosen ansatz at exactly this layer — representative of the Bardeen/Hayward/Dymnikova/Planck-star family, not derived from the frozen branch's field content. All downstream computes (§L4) work strictly within this fixed ansatz — they are consequences of a fixed \(f(r)\) , not new Shape input.
- Honest truncation flag: the Shape root is exercised only at the ⊗Actors/ansatz stratum. This is disclosed, not smuggled: the compute results in §L4 are conditional on Hole 1's still-open ansatz-selection question, exactly as flagged in §L6. No claim in this ledger treats a Shape-truncated result as if it were Shape-complete.
- Grade of this root: not load-bearing for the dissolution mechanism; load-bearing only for the (explicitly open) Hole-1 ansatz-selection residual.

 Tier B — Layer-2 audit screens (all four PASS on the 2026-07-02 completion run)

 Screen 
 Check 
 Verdict 

 Invariance 
 \(\kappa=\tfrac12\lvert f'(r_H)\rvert\) is the coordinate-invariant (affinely normalized) surface gravity of a static Killing horizon; \(rf'(r)-2f(r)=0\) is the reparametrization-independent null-circular-geodesic (light-ring) condition. 
 PASS 

 Record Interface 
 \(r_\pm\) , \(\kappa_\pm\) , light-ring loci are finite outputs with declared units (multiples of \(\ell\) ) and explicit sign convention. The 2026-07-02 record-boundary audit classified Holes 1–3 as READOUT-MISSING, not RECORD-IMPOSSIBLE (Impostor class I-3, NO_BARE_5_HANDBOOK): finite framework observables with an unbuilt instrument, not dissolution-ineligible junk. 
 PASS 

 Causal Order 
 Computation reads only \(f(r)\) and its derivatives; no target value assumed before computing; presence/absence of light rings read off after the scan (rings present at \(m/m_{\rm crit}=0.90,0.99\) ; absent at \(0.70\) — not predetermined). 
 PASS (target-blind) 

 Nonseparability 
 Mass-inflation (Cauchy-horizon blueshift) and light-ring instability (slow trapped-mode resonance) are reported as two separate, independent diagnostics — not conflated, not summed into one number. 
 PASS 

 Map verdict: MAP_ADMISSIBLE_SUPPORTED — admissible, genuine new support, NOT root-forced (conditional on the pre-adopted Hayward ansatz). Forcing grade: ROOT-COMPATIBLE (computation-debt discharge, not a derivation-from-first-principles). From-nothing detector: PASS, no tell fires — no dimensionful-no-anchor smuggle (every number is a ratio of \(\ell\) to itself), no contingent-magnitude-as-forced, no zero-floor, no minimality-smuggle. The chain correctly bottoms on the granularity floor \(\ell\) via the still-open Hayward ansatz, and is correctly refused promotion to a clean #1/from-nothing claim.

 L3. Measured anchors — inventory and role

 This gate is unusual among the corpus's gates in that it consumes zero of the four irreducible geometric anchors \(\{M_{\rm Pl},\alpha_i(M_Z),y_t,|V_{us}|\}\) . Its only "anchor" is the axiom \(\ell>0\) (a value-free posit, not a measured number). Two genuine observational anchors are used, but neither is fitted to and neither is reproduced as an output — they are tested-against consistency checks on the surrounding physical picture (horizon locality; evaporation), not inputs to the core computation.

 Anchor 
 Value 
 Role 
 Type 

 GW150914 area-law confirmation (Isi–Farr et al. 2021) 
 final horizon area \(\geq\) sum of progenitor areas at \(\sim95\%\) confidence 
 tested-against : probes "is the horizon a local, tearable structure?" → No. Consistent with Hawking's area theorem (null generators join, never end ⇒ area never decreases). Bites on macroscopic exotic-horizon proposals (membranes, hard walls, firewalls); does not probe granularity-scale ( \(\sim10^{-35}\) m) physics — km-to-AU-scale mergers cannot see the Hayward core. 
 (M), observational 

 Hawking (1974) evaporation lifetimes 
 \(\sim10^{67}\) yr (stellar-mass), \(\sim10^{100}\) yr (supermassive); universe age \(\sim10^{10}\) yr 
 tested-against : sets the timescale over which "practically one-way" is evaluated for the trapping horizon; also supplies the mechanism (evaporation) that terminates the eternal event horizon, motivating the horizon-clarification leg (§L5). 
 (M), observational 

 \(\ell\) (smallest length) 
 value-free; no number asserted 
 consumed as the sole axiom. Every derived quantity in §L4 is a ratio of \(\ell\) ; \(\ell\) 's numerical value never appears because it is never needed. 
 (O)-anchor, REDUCED-TO-AXIOM 

 ${M_{\rm Pl},\alpha_i,y_t, 
 V_{us} 
 }$ 
 (frozen values, geometry pack §1.5, §2.2) 

 Gap-13 \(S=A/4G\) match 
 \(0.0028\%\) 
 not this gate's anchor — belongs to the exported entropy leg (Hole 4, §L6); listed for completeness of the ledger's anchor inventory, consistency-check only, explicitly not a microstate count. 
 (M)-consistency, exported 

 Anchor-reduction note: because this gate reproduces zero of the four irreducible anchors, it contributes nothing to the anchor-reduction tally directly. Its contribution to the program is structural (dissolving an obligation) rather than numerical (predicting a measured constant). This is disclosed plainly, not inflated.

 L4. The full derivation chain — numbered ledger, every value exact

 All values below were produced by direct symbolic computation (sympy) and cross-checked by independent high-precision numeric evaluation (mpmath); both routes reproduced bit-for-bit this session. Metric convention: \(m\equiv GM/c^2\) , \(\ell\sim\ell_{\rm min}\) .

 Step 1 — Baseline continuum divergence (Schwarzschild). 
$ \(K=\frac{48\,G^2M^2}{c^4 r^6}.\) $
Finite for all \(r>0\) ; diverges only as \(r\to0\) . Value at issue: the limit itself, not a physical radius.

 Step 2 — Continuity control (the artifact-proof). 
Hayward center curvature (Step 4 below) is \(K(0)=24/\ell^4\) . Sending \(\ell\to0\) : \(K(0)\to\infty\) continuously . This is the diagnostic that the infinity is a property of the continuum assumption, not of the physics — a genuinely new obstruction would not vanish smoothly as the regulator is removed in the wrong direction; here it diverges exactly because removing the floor restores the unregulated continuum.

 Step 3 — The regularized metric (Hayward ansatz, ⊗Actors-level choice). 
$ \(f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}.\) $

 Step 4 — Center curvature (Kretschmann scalar at \(r=0\) ). 
$ \(K(0)=\frac{24}{\ell^4}.\quad\text{[D, sympy limit]}\) $

 Step 5 — Near-center (de Sitter) expansion. 
$ \(f(r)=1-\frac{r^2}{\ell^2}+O(r^4).\quad\text{[D, sympy series, exact]}\) $

 Step 6 — Ricci scalar at center. 
$ \(R(0)=\frac{12}{\ell^2}.\quad\text{[D, sympy limit]}\) $

 Step 7 — Effective cosmological constant of the core. 
$ \(\Lambda_{\rm eff}=\frac{3}{\ell^2}.\quad\text{[D, from }f\approx1-r^2/\ell^2\Leftrightarrow\text{de Sitter]}\) $
Consistency: for de Sitter, \(R=4\Lambda_{\rm eff}\Rightarrow\Lambda_{\rm eff}=R(0)/4=3/\ell^2\) . Matches Step 6 exactly.

 Step 8 — Exterior recovery (exact Schwarzschild). 
$ \(r\gg\ell:\quad K\to\frac{48\,m^2}{r^6}.\quad\text{[D, correction vanishes identically]}\) $
This is dimensionally identical to Step 1 with \(m=GM/c^2\) restored, confirming the Hayward ansatz asymptotes to unmodified GR far from the core.

 Step 9 — SEC-violation mechanism (the evasion of Penrose–Hawking). 
$ \(8\pi(\rho+p_r+2p_t)=-\frac{6}{\ell^2}<0,\qquad p_r=-\rho.\quad\text{[D + established]}\) $
Consistent with \(R(0)=12/\ell^2\) and \(\Lambda_{\rm eff}=3/\ell^2\) (negative-pressure de-Sitter-like core). This is precisely the mechanism by which the Penrose–Hawking singularity theorems (which presuppose the Strong Energy Condition) are evaded — disclosed as the cost of the construction, not hidden.

 Step 10 — Horizon locus (defining cubic). 
$ \(f(r)=0\iff r^3-2mr^2+2m\ell^2=0.\quad\text{[D]}\) $

 Step 11 — Metric-function derivative (for surface gravities). 
$ \(f'(r)=\frac{2mr\,(r^3-4\ell^2 m)}{(r^3+2\ell^2 m)^2}.\quad\text{[D]}\) $

 Step 12 — Extremal (double-root) locus. 
$ \(r^*=\sqrt3\,\ell.\quad\text{[D, sympy exact]}\) $

 Step 13 — Critical mass. 
$ \(m_{\rm crit}=\frac{3\sqrt3}{4}\,\ell\approx1.299038105676658\,\ell\approx1.3\,\ell.\quad\text{[D, sympy exact]}\) $
For \(m>m_{\rm crit}\) : two positive real roots \(r_-\) (inner/Cauchy) and \(r_+\) (outer/event) — genuinely a black hole. For \(m<m_{\rm crit}\) : no horizon — horizonless ultracompact remnant.

 Step 14 — Representative surface-gravity case ( \(m=2\,m_{\rm crit}\) , \(\ell=1\) ). 
$ \(r_-=1.130515874847136\,\ell,\qquad r_+=4.987241532966372\,\ell.\quad\text{[D]}\) $
$ \(\kappa_-=0.5958767962971050,\qquad \kappa_+=0.08816349035423249.\quad\text{[D]}\) $
$ \(\kappa_-/\kappa_+=6.758770483143634.\quad\text{[D]}\) $
Sign convention: \(f\) dips negative between \(r_-\) and \(r_+\) (standard two-horizon RN-like structure), so \(f'(r_-)<0\) , \(f'(r_+)>0\) ; physical \(\kappa=\tfrac12|f'|\) takes the magnitude.

 Step 15 — Full \(\kappa_-/\kappa_+\) scan over \(m/m_{\rm crit}\in[1.001,20]\) (kinematic mass-inflation trigger). 

 \(m/m_{\rm crit}\) 
 \(r_-\,(\ell)\) 
 \(r_+\,(\ell)\) 
 \(\kappa_-\) 
 \(\kappa_+\) 
 \(\kappa_-/\kappa_+\) 

 1.001 
 1.688657 
 1.778139 
 0.015413 
 0.014388 
 1.071266 

 1.010 
 1.603483 
 1.887554 
 0.052008 
 0.041848 
 1.242797 

 1.100 
 1.400203 
 2.332666 
 0.189318 
 0.096170 
 1.968580 

 1.500 
 1.202636 
 3.595690 
 0.446607 
 0.106789 
 4.182124 

 2.000 
 1.130516 
 4.987242 
 0.595877 
 0.088163 
 6.758770 

 5.000 
 1.042725 
 12.912469 
 0.843556 
 0.038026 
 22.183937 

 20.000 
 1.009861 
 51.942265 
 0.961367 
 0.009615 
 99.982376 

 Result: \(\kappa_->0\) strictly for every sampled \(m>m_{\rm crit}\) — the kinematic (Poisson–Israel) mass-inflation trigger is computed and confirmed generic for this core, not asserted by analogy with Reissner–Nordström. \(\kappa_-/\kappa_+\to1\) at extremality (expected: horizons merge, surface gravities converge); \(\to\) large ( \(\sim100\) at \(m/m_{\rm crit}=20\) ) as \(\kappa_+\sim1/(2m)\) shrinks with mass. [D, two routes: sympy exact + mpmath refine] 

 Step 16 — Light-ring (null circular orbit) condition. 
$ \(rf'(r)-2f(r)=0.\) $

 Step 17 — Light-ring polynomial (numerator, exact). 
$ \(P(r;m,\ell)=-8\ell^4m^2-8\ell^2mr^3+6mr^5-2r^6.\quad\text{[D]}\) $

 Step 18 — Ultracompactness threshold (double root of \(P\) ). 
$ \(r_{\rm UCO}=\frac{2\sqrt{30}}{5}\,\ell\approx2.190890230020664\,\ell,\qquad m_{\rm UCO}=\frac{24\sqrt{30}}{125}\,\ell\approx1.051627310409922\,\ell.\quad\text{[D, sympy exact algebraic]}\) $

 Step 19 — Ratio to horizon threshold. 
$ \(\frac{m_{\rm UCO}}{m_{\rm crit}}=0.809543081003105.\quad\text{[D]}\) $

 Step 20 — Independent numeric cross-check (bracket scan). 
Light rings PRESENT (stable+unstable pair) at \(m/m_{\rm crit}=0.99,\,0.90\) ; ABSENT at \(m/m_{\rm crit}=0.70,\,0.50,\,0.30,\,0.10,\,0.01\) . Consistent with the exact threshold \(0.809543\ldots\) from Step 19. [D, independent route from Step 18] 

 Total step count: 20 , all exact or high-precision numeric, all reproduced by two independent computational routes where a route split is meaningful (Steps 15, 18–20), zero back-solved, zero fabricated.

 L5. The horizon-clarification leg (second face of the same dissolution)

 Event horizon \(E=\partial J^-(\mathcal J^+)\) — boundary of the region that can never reach future null infinity.
- Teleological failure: locating \(E\) here and now requires knowing the entire future — it is adjudicated retroactively.
- Global failure 1 (evaporation): Hawking (1974) — the hole ends ( \(\sim10^{67}\) yr stellar, \(\sim10^{100}\) yr supermassive) so "forever" collides with a last moment.
- Global failure 2 ( \(\Lambda>0\) ): in de Sitter space \(\mathcal J^+\) is spacelike and every observer has a cosmological horizon; the asymptotically-flat \(\partial J^-(\mathcal J^+)\) construction is arguably not well-posed in our actual universe.
- Honest caveat: evaporation alone does not remove \(E\) — a terminating interior singularity is itself a causal cutter, severing the interior from \(\mathcal J^+\) and leaving a finite-lived but still well-defined event horizon. What removes \(E\) entirely is evaporation + a smooth, singularity-free interior.

 The join (one mechanism, two faces): the granular core built in §L4 (Steps 3–9) is exactly the smooth interior an evaporating hole needs to shed its eternal horizon. The same \(\ell\) that caps \(K(0)=24/\ell^4\) (Step 4) removes the causal cutter. This is Hawking's 2014 reading: with a smooth interior there are no event horizons, only apparent horizons. Granularity reaches the global causal structure through the finite core , not by softening the near-horizon region.

 What survives — the trapping (apparent) horizon , \(\theta_{\rm out}=0\) (Ashtekar–Krishnan): defined locally , needs no infinite future and no asymptotic infinity — none of the idealization-attacks above touch it. Inside, outgoing light itself converges. Practically one-way for the full lifetime ( \(10^{67}\) – \(10^{100}\) yr against a universe age \(\sim10^{10}\) yr — for any conceivable purpose, absolute). Only outflow is thermal (Hawking glow); information returns only non-locally via late radiation/Page-curve/islands, never as the infalling object climbing back out.

 Local featurelessness ("the knot"): equivalence principle — a free-faller crosses feeling nothing (for a supermassive hole, tidal stretch at crossing is weaker than standing on Earth, since curvature there \(\sim1/M^2\) ). The "frozen at the horizon" / infinite-redshift-wall picture is a Schwarzschild- coordinate artifact (Eddington–Finkelstein, Kruskal coordinates are regular there). The one-wayness is causal/global, not local: the static Killing vector \(\partial_t\) is timelike outside, null on the horizon, spacelike inside — light cones tip until the future direction points inward. Every local segment is ordinary; the global structure is tied — no local move undoes it.

 Credit-ladder grade of this leg: DISSOLVED-GIVEN-(Granularity ∧ Record-Interface), same terminal as the singularity leg — this is one dissolution move viewed from its causal-structure face, not a second independent claim requiring its own anchor.

 L6. Credit-ladder grading — leg by leg

 Leg 
 Statement 
 Grade 
 Basis 

 Main terminal (singularity + horizon dissolution) 
 Given \(\ell>0\) and the Record-Interface admissibility rule, \(r\to0\) is never reached; \(K(0)=24/\ell^4\) , \(R(0)=12/\ell^2\) , \(\Lambda_{\rm eff}=3/\ell^2\) replace the divergence; the eternal event horizon is shed by the same mechanism that smooths the core; the trapping horizon survives and does the physical work. 
 DISSOLVED-GIVEN-(Granularity ∧ Record-Interface) = DISSOLVED-GIVEN-root / RESOLVED +0 
 §L4 Steps 1–9 + §L5; 2-route over-determined; Layer-2 screens all PASS (§L2 Tier B) 

 Granularity root itself 
 A smallest length \(\ell>0\) exists (value-free posit) 
 REDUCED-TO-AXIOM 
 §L2 A1 

 Horizon-threshold survival ( \(m_{\rm crit}\) , \(r^*\) ) 
 Exact double-root of the horizon cubic 
 DERIVED-GIVEN-(Hayward ansatz) 
 §L4 Steps 10–13 

 Hole 2 kinematic sub-leg (mass-inflation trigger ) 
 \(\kappa_->0\) generic for \(m>m_{\rm crit}\) over the sampled range 
 DERIVED-GIVEN-(Hayward ansatz) — not banked as a clean #1 because the ansatz (Hole 1) is still open 
 §L4 Steps 14–15 

 Hole 2 dynamical endpoint (does the blueshift diverge/saturate/cut off) 
 Not computed 
 COMPUTATION-DEBT / OPEN 
 §L4 note after Step 15 

 Hole 3 typed-threshold sub-leg ( \(m_{\rm UCO}\) , exact) 
 Exact algebraic double root of the light-ring polynomial, cross-checked numerically 
 DERIVED-GIVEN-(Hayward ansatz) — not banked as a clean #1, same reason 
 §L4 Steps 16–20 

 Hole 3 dynamical endpoint (QNM growth rate / true fate for \(m_{\rm UCO}<m<m_{\rm crit}\) ) 
 Not computed (metric's perturbation equations are not of closed Regge–Wheeler–Zerilli form) 
 COMPUTATION-DEBT / OPEN 
 §L4 note after Step 20 

 Hole 1 (induced interior source at ⊗Actors layer) 
 Field equations producing the Hayward stress-energy are not derived; granularity fixes the family, not the member 
 COMPUTATION-DEBT / OPEN 
 §L2 A1 (⊗Actors bullet), A3 

 Hole 4 (entropy \(S=A/4\) + Page-curve mechanism) 
 Deliberately untouched here; exported 
 EXPORTED to Gap-13 — OPEN-BLOCKED-ON-MISSING-RULE 
 Gap-13 reproduces \(S=A/4G\) to 0.0028% as a labeled consistency check, explicitly not a microstate count 

 Hole 5 ( \(G_{\rm eff}\) = measured \(G\) consistency) 
 Asserted "by construction" for the exact \(K_6\times S^2\times S^1\) reduction, not independently verified 
 EXPORTED to Gap-13 — OPEN 
 Geometry pack §3 Planck normalization; independent verification owed 

 GW150914 area-law test 
 Merger horizons do not tear; consistent with local-structure-free horizons 
 MEASURED-ANCHOR (tested-against) 
 §L3 

 Evaporation lifetimes 
 \(10^{67}\) – \(10^{100}\) yr 
 MEASURED-ANCHOR (tested-against) 
 §L3 

 Reading the ladder: the gate's terminal — the thing the fixed grade certifies — is the dissolution move itself (row 1), which is complete and closed at DISSOLVED-GIVEN-root. Every other row is either (a) a genuine derived-but-conditional sub-result correctly not promoted past its ansatz-dependence, or (b) an explicitly named open residual. No row is asked to carry more weight than its grade states.

 L7. Anti-claims and negative controls

 Dissolved unicorns (framed as shared ceilings on ALL knowledge, never as an open weakness of this program): 

 "THE uniquely correct / forced black-hole interior under any possible mathematics." Absolute uniqueness over an open-ended space of regularizations is unprovable in principle for any object in any field — not a gap specific to this construction. The bounded, provable claim — granularity fixes the regular-core family (finite center, scale \(\ell\) , curvature \(\sim1/\ell^2\) ) — is the ceiling, not a hedged fallback.

 "No future quantum-gravity theory could ever resolve the singularity differently or better." A universal negative over all possible future theories, unprovable for anyone working in any framework. What is actually shown and defensible: given a smallest length, the singularity dissolves — full stop, no claim about competitors.

 "Black holes are provably inescapable for all time, absolutely forever." This is the eternal-event-horizon overclaim, and the program explicitly retires it (§L5). What is true and provable instead: practical one-wayness over the full \(10^{67}\) – \(10^{100}\) -yr lifetime with no local escape mechanism — which for any conceivable physical purpose is absolute, without needing the unprovable infinite-time statement.

 Bright-line denials: none recorded for this gate — no frozen-doc prohibition applies beyond the three dissolved unicorns above.

 Negative controls preserved (never dissolve these; they remain live falsifiers elsewhere in the corpus): SG-8 \(m_u\) mismatch; the \(\Lambda\) -value 113-orders-of-magnitude failure; Gap-02. None of these interact with this gate's content; they are recorded here only per standing ledger discipline that a "confident closure" pass must not quietly soften any other gate's negative control.

 Explicit non-claims (restated for the record, not softened): 
- Not a derived interior — Hayward is a chosen ansatz, representative of the Bardeen/Hayward/Dymnikova/Planck-star family.
- Not novel physics — regular black holes are established; the contribution here is the framing (singularity = continuum artifact that granularity dissolves), the computation (Steps 1–20), and the join (core-resolution ≡ eternal-horizon removal).
- Not an escape — nothing climbs back out; the trapping horizon holds for the full lifetime.
- Not a resolution of black-hole entropy or the Page-curve mechanism — deliberately untouched, exported to Gap-13 (itself open).
- Not a claim that the static interior is the last word — it carries an inner Cauchy horizon prone to mass-inflation (Hole 2), narrowed but not closed.

 L8. The endpoint line

 Singularity-dissolution + horizon-clarification legs: terminal-anchored — REDUCED-TO-FLOOR / DISSOLVED-GIVEN-(Granularity ∧ Record-Interface) , conditional on exactly one named, value-free axiom (a smallest length \(\ell>0\) exists; DeepRoot-granularity = REDUCED-TO-AXIOM). Two-route over-determined per the record-boundary audit (sympy-exact + mpmath high-precision, independently reproduced this session). This is the fixed grade: CLOSED · DISSOLVED + CLARIFIED (conditional on the granularity axiom) = DISSOLVED-GIVEN-root / RESOLVED +0. 

 Holes 2/3 kinematic sub-legs: DERIVED-GIVEN-(Hayward ansatz) — genuine, finite, cross-checked computed results (Steps 14–20), correctly withheld from clean-#1 status because they inherit Hole 1's still-open ansatz-selection question. This is self-restraint in the grading, not a violation discovered after the fact.

 No genuine hard-open (Clay-class) obstruction is introduced or claimed anywhere in this gate. The five named residuals — Hole 1 (induced interior source), Hole 2 (Vaidya-type mass-inflation dynamical evolution), Hole 3 (QNM/transmission solve for the trapped-mode growth rate), Hole 4 (a₆ boundary Seeley–DeWitt coefficient for the entropy leg, exported), Hole 5 ( \(G_{\rm eff}\) independent verification, exported) — are all well-posed, computable, finite next steps, named explicitly rather than hand-waved.

 Completion-run verdict (referee-certified): honest non-promotional narrowing; from_nothing_flag = false ; cleanly_1to4 = false (the gate-level dissolution terminal is held, not reduced to a clean derivation count); needs_external = false . The dissolution terminal is what closes this gate; the five residuals are honest bounded bets sitting underneath an already-closed terminal, not a re-opening of it. PROMOTIONS: 0 — this ledger states the given status; it neither upgrades nor downgrades it.