Gate 21 — Black-Hole Singularity and Horizon Structure
Complete technical dossier
Binding endpoint statement
Physical endpoint: SCOPED-CLOSED / CONSTRUCTION-ANCHORED REGULAR CORE. The adopted Hayward metric is an exact, internally checkable witness that a static, asymptotically Schwarzschild, curvature-regular black-hole geometry exists. Its center, effective source, horizon threshold, surface gravities, and light-ring threshold are derived exactly. The full Hiking Physics theory has not yet derived that metric, its length scale, its effective source, or a stable rotating and evaporating completion from the frozen 13-dimensional parent Dynamics.
Project-dependency endpoint: CLOSED / RESOLVED +0. Gate 21 does not block downstream work because the project has a complete, falsifiable regular-core construction witness and a precise ledger of what remains unowned. This project closure must never be represented as a proof that nature uses the Hayward core, as a theorem that operational granularity removes geodesic incompleteness, or as a derivation of a minimum spacetime length.
Reviewer first read
This dossier is a constitutional reconstruction of the twenty-first gate. It was produced because the earlier gate text mixed three distinct claims that must be separated under the project’s current closure constitution:
- an operational statement about whether an exactly resolved continuum point is an admitted physical record;
- a geometric statement about whether a Lorentzian spacetime is geodesically incomplete or curvature singular;
- a construction statement about whether a selected regular metric supplies a finite core and black-hole-like horizon structure.
Those claims are not equivalent. A finite operational resolution does not alter Einstein’s equations. It does not turn an incomplete spacetime into a complete one. It does not choose a stress tensor, a modified-gravity action, a boundary condition, or a unique interior profile. Conversely, a regular metric can be written and checked without proving that the project’s foundational Granularity root predicts a smallest length. The current Granularity source explicitly places the floor on a Lorentz-scalar operational cost and explicitly denies that the root asserts a minimum spacetime length. That correction is load-bearing.
The dossier therefore preserves the owner-ratified project bookkeeping—Gate 21 remains a closed project dependency—while replacing the old physical rationale with a technically defensible one. The strongest result actually earned is conditional and exact:
Given the static spherically symmetric Hayward line element \[ ds^2=-f(r)dt^2+f(r)^{-1}dr^2+r^2d\Omega_2^2, \qquad f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}, \] with \(m=GM/c^2\) and construction scale \(\ell>0\), the center is curvature regular, \[ R(0)=\frac{12}{\ell^2},\qquad R_{abcd}R^{abcd}\big|_{r=0}=\frac{24}{\ell^4}, \] the exterior approaches Schwarzschild, an outer and inner horizon exist when \[ m>m_{\rm crit}=\frac{3\sqrt3}{4}\ell, \] and the horizonless branch develops a pair of light rings above \[ m_{\rm UCO}=\frac{24\sqrt{30}}{125}\ell. \]
Every one of those statements follows from the selected metric. None follows from operational granularity alone.
A hostile reviewer should attack the following points first:
- Does the project’s parent action derive the regular core, or is the metric inserted?
- Is \(\ell\) a predicted scale, a measured anchor, or a construction parameter?
- Is the spacetime globally geodesically complete, or merely curvature regular at the center?
- Is the inner Cauchy horizon stable under generic perturbations?
- Does a rotating extension remain regular and dynamically viable?
- Does a dynamical evaporation model possess a global event horizon, only trapping horizons, or neither?
- Does the direct-product 13-dimensional geometry satisfy its full field equations after the 4D metric is changed?
- Which empirical observation distinguishes this construction from classical Kerr outside the horizon?
The dossier answers each question without upgrading the evidence.
One-page verdict
The exact gate question
The compact form of the gate is:
Does the Hiking Physics construction physically eliminate the black-hole singularity while preserving a lawful black-hole exterior and causal structure?
That compact question contains four separate obligations:
- Classical diagnosis: identify what standard GR actually proves and what “singularity” means.
- Existence witness: exhibit at least one lawful geometry with a regular center and an acceptable exterior.
- Theory ownership: show whether the complete Shape–Scale–Granularity–Dynamics object derives that geometry.
- Physical viability: test horizons, energy conditions, global extension, perturbative stability, and observational recovery.
Verdict by obligation
| Obligation | Verdict | Reason |
|---|---|---|
| Schwarzschild center diagnosis | PASS | The Kretschmann scalar is \(48m^2/r^6\); \(r=0\) is a curvature singularity and the maximal extension is geodesically incomplete. |
| Singularity-theorem interpretation | PASS | The theorems establish geodesic incompleteness under hypotheses; they do not define a singularity as merely an unmeasurable point or always as curvature divergence. |
| Granularity-only cure | FAIL AS WRITTEN | Operational granularity constrains admitted records; it does not alter the metric, Einstein tensor, geodesic equations, or global extension. The root does not assert a minimum length. |
| Hard radial cutoff | FAIL | Excising \(r<\ell\) hides the singular region but creates a boundary and does not provide a regular completion or lawful source. |
| Hayward regular-core witness | PASS, CONDITIONAL | All curvature invariants examined are finite at the center, Schwarzschild is recovered asymptotically, and horizon/light-ring thresholds follow exactly. |
| Full 13D derivation | NOT ACHIEVED | No frozen 13D parent-Dynamics derivation selects the Hayward profile or fixes \(\ell\). |
| Global completeness | NOT CERTIFIED | Center regularity removes the local curvature obstruction, but a complete proof for the maximal extension is not supplied. |
| Inner-horizon stability | OPEN PHYSICAL RESIDUAL | The static metric has an inner Cauchy horizon and the standard mass-inflation concern remains. |
| Rotating completion | OPEN PHYSICAL RESIDUAL | Astrophysical black holes rotate; no unique stable 13D rotating regular solution is derived here. |
| Project dependency | CLOSED | A complete construction witness and a fail-closed residual ledger exist. |
Final grade
PHYSICAL ENDPOINT:
SCOPED-CLOSED / CONSTRUCTION-ANCHORED REGULAR CORE
Exact conditional witness; not a derivation from the full theory.
PROJECT-DEPENDENCY ENDPOINT:
CLOSED / RESOLVED +0
No downstream gate may treat the residual as solved physics.
Table of contents
- Authority, provenance, and status reconciliation
- Gate charter and completion contract
- Child-level explanation
- Definitions and notation
- Constitutional projection: Shape, Scale, Granularity, Dynamics
- Empirical anchors and law/constraint layer
- Implicit-assumption and wrong-object audit
- Forced truth table and burden allocation
- Complete branch grammar
- Classical GR baseline
- Full 13-dimensional placement
- Construction witness: Hayward regular core
- Exact curvature derivation
- Effective source and energy-condition ledger
- Horizon algebra and surface gravity
- Light rings and ultracompact threshold
- Geodesic, causal, and global-structure audit
- Dynamical viability: collapse, evaporation, mass inflation, rotation
- Same-ruler and observer-map audit
- Recovery, observables, and empirical non-predictions
- Negative controls and destruction tests
- Hostile-review objections and answers
- Reproducibility and fail-closed computation contract
- Dependency graph, ownership graph, and residual ledger
- Final adjudication and reopen triggers
- Preservation manifest and change log
- Appendices
Part I — Authority, provenance, and status
1. Authority stack
The gate is reconstructed against the following project authorities, in descending order for this edition:
- Two-Anchor-Plus-Law Gate Closure Constitution, version 1.0, dated 2026-07-13. It requires a separate physical endpoint and project-dependency endpoint whenever the project bookkeeping is stronger than the physical derivation.
- Canonical Gate Dossier Reconstruction and Verification Protocol, version 3.0. It requires a self-contained authority, hostile-review simulation, complete branch grammar, falsifiers, negative controls, dependency and ownership graphs, preservation manifest, and reconstruction ledger.
- Granularity root dossier, source-of-truth version 1.7, reconciled 2026-07-12. It states that Granularity is a Lorentz-scalar operational cost floor, not a minimum spacetime length, and that it dissolves only the continuum-existence face—not finite observables or dynamical debts.
- Physics handoff 2026-07-12, which records Gate 21 as “CLOSED — construction-anchored regular core” and assigns the residual task “derive the regular core from the full theory.”
- GATES — Source of Truth, assembled 2026-07-11, which records the legacy endpoint “DISSOLVED-GIVEN-root / RESOLVED +0” and contains the prior long-form calculations.
- Master Implicit-Assumptions Ledger v1.3, especially A-01, A-02, A-05, A-07, A-09 through A-12, A-21 through A-26, and A-37 through A-44.
- The frozen 13-dimensional Shape, Scale, Granularity, and Dynamics dossiers and the GUT/TOE review bundles.
When these sources conflict, the later constitutional correction controls the claim type, while the earlier exact calculations remain usable if independently verified.
1.1 Status migration
The old dossier stated that a “smallest physical length” follows from Granularity and that this alone dissolves the singularity. That chain cannot remain authoritative because the current Granularity root says the opposite: no smallest length is asserted; the operational floor is a Lorentz scalar such as action or information cost. A minimum proper length may be adopted by a construction, but it is not a theorem of the root.
The migration is therefore:
| Layer | Legacy wording | Reconstructed wording |
|---|---|---|
| Granularity | A smallest length \(\ell>0\) is the load-bearing root. | Granularity limits admitted operational distinctions; it does not modify the metric or supply \(\ell\). |
| Singularity | The \(r\to0\) limit is unphysical, so the singularity dissolves. | Operational inadmissibility of an exact point does not prove geodesic completeness or finite curvature. |
| Hayward core | Granularity forces a family of finite cores. | The Hayward metric is a selected construction witness with a free scale \(\ell\). |
| Horizon | A regular core removes the event horizon and leaves only an apparent horizon. | The static Hayward geometry above threshold has an outer Killing/event horizon and an inner Cauchy horizon. A dynamical evaporation model requires a separate global analysis. |
| Gate status | DISSOLVED-GIVEN-root / RESOLVED +0. | Project dependency CLOSED; physical result CONSTRUCTION-ANCHORED. |
This is a correction, not a downgrade of the useful mathematics. The metric calculations survive. The causal and ontological promotion does not.
1.2 What is preserved from the previous gate
The following results are retained after independent symbolic verification:
- the Hayward metric function;
- its small-radius series;
- \(R(0)=12/\ell^2\);
- \(K(0)=24/\ell^4\);
- asymptotic Schwarzschild recovery;
- the exact effective density and pressures;
- the horizon cubic and discriminant;
- \(r_{\rm crit}=\sqrt3\ell\) and \(m_{\rm crit}=3\sqrt3\ell/4\);
- the signed surface-gravity expression on a horizon;
- the light-ring equation;
- \(r_{\rm UCO}=2\sqrt{30}\ell/5\);
- \(m_{\rm UCO}=24\sqrt{30}\ell/125\);
- the residual concerns about inner-horizon and stable-light-ring behavior.
The following statements are retired:
- “the singularity is only a coordinate-chart-domain statement”;
- “continuity as \(\ell\to0\) proves the Schwarzschild singularity is purely a continuum artifact”;
- “Granularity asserts a smallest length”;
- “a regular core by itself removes the global event horizon”;
- “positive cosmological constant makes an event horizon ill-defined”;
- “the static witness proves a complete evaporation geometry”;
- “finite center curvature proves global geodesic completeness.”
1.3 Review posture
The document is designed to fail closed. A reviewer need not accept the project’s endpoint taxonomy. They need only check whether each statement is typed correctly:
- theorem;
- exact calculation given an ansatz;
- empirical record;
- construction hypothesis;
- project-dependency decision;
- unresolved physical residual.
A disagreement about the project’s bookkeeping must not be turned into a disagreement about the equations, and an exact equation must not be promoted into a theory-selection claim.
Part II — Gate charter and completion contract
2. Exact gate obligation
The gate must not be phrased as “is the singularity real or an idealization?” because that wording smuggles in the desired answer. The exact obligation is:
Within the complete Hiking Physics theory object, determine whether gravitational collapse produces a physically admissible spacetime that is free of the singular behavior diagnosed by classical GR, while recovering the tested exterior and satisfying the declared causal, stability, and observer-map constraints.
This splits into eight testable subcontracts.
G21-C1 — Correct classical object
State the classical singularity correctly. In modern GR, a spacetime singularity is not ordinarily represented as a point belonging to the manifold. The rigorous diagnosis is incomplete inextendible causal geodesics or related causal incompleteness. Curvature divergence is an important sufficient diagnostic in Schwarzschild, but it is not the universal definition.
G21-C2 — Complete theory object
Place the candidate in the complete Shape–Scale–Granularity–Dynamics object. A 4D line element alone is not a full 13D solution. The internal metric, bundles, matter Actors, boundary conditions, and parent equations must be identified or explicitly frozen as spectators.
G21-C3 — Lawful source or modified dynamics
A regular metric must satisfy a declared field equation. Under the 4D Einstein equation, its effective stress tensor must be calculated. Under modified gravity, the modified action and equations must be supplied. “Granularity smooths it” is not an equation of motion.
G21-C4 — Regularity
At minimum, prove finite metric coefficients in a regular chart and finite independent curvature invariants at the center. For stronger closure, prove local extendibility and global geodesic completeness of the maximal extension.
G21-C5 — Exterior recovery
Recover the observationally tested weak-field and strong-field exterior at the appropriate ruler. For a static spherical witness, the minimum requirement is asymptotic Schwarzschild behavior. A realistic endpoint ultimately requires Kerr-like rotation.
G21-C6 — Horizon and causal structure
Distinguish Killing horizons, event horizons, apparent horizons, trapping horizons, and Cauchy horizons. Do not infer global event-horizon absence from local regularity. The causal diagram is part of the object.
G21-C7 — Stability
Test at least radial/linear perturbations, inner-horizon blueshift, light-ring trapping, and compactification stability. A regular but violently unstable solution is an existence witness, not a viable endpoint.
G21-C8 — Empirical interface and falsifier
Identify what finite observation could distinguish the candidate from GR/Kerr, or state honestly that current exterior records do not discriminate it. A physically meaningful construction can remain unconfirmed; it cannot be called empirically closed without an empirical footprint.
2.1 Minimum completion matrix
| Contract | Required for construction witness | Required for full physical closure | Current state |
|---|---|---|---|
| C1 classical object | yes | yes | complete |
| C2 full theory placement | scoped | yes | scoped only |
| C3 source/dynamics | effective source sufficient | parent derivation required | effective source complete; parent derivation open |
| C4 regularity | finite invariants | global completeness | local curvature regularity complete; global proof open |
| C5 recovery | Schwarzschild asymptotic | rotating observational recovery | spherical recovery complete; rotating open |
| C6 causal structure | static horizons | dynamical collapse/evaporation diagram | static complete; dynamical open |
| C7 stability | named residuals | demonstrated viability | open |
| C8 empirical interface | non-prediction ledger | discriminating test | ledger complete; discriminating prediction absent |
2.2 Stop rule
The gate may stop as a project dependency when:
- a fully specified regular construction exists;
- exact calculations are reproducible;
- every unowned physical obligation is named;
- downstream gates are forbidden from treating those residuals as solved.
It may stop as full physical closure only when the parent Dynamics selects the core and the viability conditions survive.
Part III — Child-level explanation
3. The problem in plain language
General relativity describes gravity as the shape of spacetime. For an idealized nonrotating black hole, its equations say that anything falling far enough inward reaches the end of the classical spacetime after a finite amount of its own time. In the Schwarzschild solution, curvature also grows without bound as the radial coordinate approaches zero.
There are two very different ways to react:
- Hide the last region: say no measurement can resolve arbitrarily small distances. This limits what can be observed, but it does not change the geometry.
- Change the interior: choose new matter or new gravity equations so that the metric becomes smooth and finite. This can remove the curvature blow-up, but it costs a physical construction.
The Hiking Physics Granularity principle supports caution about treating infinitely precise records as physical. It does not automatically do the second job. The dossier therefore uses a well-known smooth metric as a test model. That model shows that a black-hole-like object can have a finite center, but it does not show that the full theory has selected that model.
A useful analogy is a torn bridge on a map. Declaring that your camera cannot zoom in far enough to see the tear does not repair the bridge. Drawing a new bridge that joins the two sides proves that a repair is possible. Engineering the bridge from the project’s actual materials and laws is the remaining task.
3.1 What the exact witness teaches
The selected metric replaces the Schwarzschild mass \(m\) by a radius-dependent mass function
\[ M(r)=\frac{mr^3}{r^3+2m\ell^2}. \]
Far away, \(M(r)\to m\), so the usual exterior returns. Near the center,
\[ M(r)\sim \frac{r^3}{2\ell^2}, \]
which is the mass profile of an approximately constant-density, vacuum-like core. This is why the center is finite. The price is an effective stress tensor with negative pressure and violation of the strong energy condition near the center. That is not a bookkeeping detail; it is exactly how the singularity-theorem hypotheses are evaded.
3.2 What remains unknown
The theory has not yet shown:
- why this mass function is selected;
- what fixes \(\ell\);
- whether a realistic collapsing star forms it;
- whether the inner horizon survives perturbations;
- whether the rotating version is regular and stable;
- what an evaporating causal diagram looks like;
- which observation would reveal the core.
That is why the dossier is confident about the exact construction and careful about nature.
Part IV — Definitions and notation
4. Conventions
Unless otherwise stated:
- signature \((-+++ )\);
- \(G=c=1\) in derivations;
- \(m=GM/c^2\) when restoring units, so \(m\) has dimensions of length;
- \(\ell>0\) is a construction scale, not a derived minimum length;
- \(d\Omega_2^2=d\theta^2+\sin^2\theta\,d\phi^2\);
- \(K=R_{abcd}R^{abcd}\) denotes the Kretschmann scalar;
- “regular center” means finite local curvature invariants and a locally extendible metric in an appropriate chart, not automatically global completeness.
4.1 Singularity
A spacetime in GR is a differentiable Lorentzian manifold with metric. A “singular point” is generally not included as an ordinary point of that manifold. The standard rigorous signal is geodesic incompleteness: there exists an inextendible causal geodesic whose affine parameter has finite range. This definition captures cases where scalar curvature invariants need not diverge.
For Schwarzschild, the stronger scalar-curvature statement also holds:
\[ K_{\rm Schw}=\frac{48m^2}{r^6}\to\infty\quad(r\to0). \]
Therefore the gate must address both the rigorous causal diagnosis and the specific curvature pathology.
4.2 Coordinate singularity
A coordinate singularity is a failure of a chart, not of the geometry. The Schwarzschild-coordinate divergence at \(r=2m\) is removed by horizon-penetrating coordinates. The curvature divergence at \(r=0\) is invariant and cannot be removed by a coordinate change.
The previous phrase “the divergence is a statement about the coordinate chart’s domain” is therefore retired. The correct statement is that the singular boundary lies outside the differentiable manifold of the maximal regular extension, while incomplete geodesics terminate there.
4.3 Horizon vocabulary
- Killing horizon: a null hypersurface where a Killing vector becomes null.
- Event horizon: a global boundary defined relative to the causal past of an appropriate future asymptotic region.
- Apparent horizon: outer boundary of trapped surfaces on a chosen spacelike slice; foliation dependent.
- Trapping horizon: a hypersurface foliated by marginal surfaces, often classified as future/past and outer/inner.
- Cauchy horizon: boundary of the domain of dependence; beyond it, initial data on the original surface do not uniquely determine the solution.
In the static Hayward metric above threshold, the two positive roots of \(f=0\) are Killing horizons. The outer one is also an event horizon in the standard asymptotically flat stationary extension. The inner one is Cauchy-horizon-like and is the site of the mass-inflation concern.
4.4 Operational granularity
The project’s Granularity root concerns finite distinguishability and a Lorentz-scalar operational cost floor. It licenses the statement that infinitely refined records are not physically admitted. It does not license any of the following without additional structure:
- replacing \(r\) by \(\max(r,\ell)\);
- removing points from a manifold;
- modifying Einstein’s equation;
- selecting a regular metric;
- proving a minimum proper length;
- fixing \(\ell\) to the Planck length;
- establishing geodesic completeness.
4.5 Construction witness
A construction witness is an explicit object that demonstrates logical and mathematical possibility under declared equations. It is weaker than a derivation from the theory and stronger than a verbal proposal. The Hayward metric is treated in exactly this sense.
Part V — Constitutional projection
5. Complete theory object
The controlling theory object is
\[ \mathfrak T=(\mathfrak S,\mathfrak L,\mathfrak G,\mathfrak D), \]
where \(\mathfrak S\) is Shape, \(\mathfrak L\) is Scale, \(\mathfrak G\) is Granularity, and \(\mathfrak D\) is Dynamics. The gate cannot be closed physically by one root in isolation.
The frozen active geometric carrier is schematically
\[ \mathcal M_{13}=\mathcal M_4\times K_6\times S^2\times S_Y^1/\mathbb Z_2, \qquad K_6=SU(3)/T^2, \]
with zero-dimensional Rulebook and Actor layers carrying admissibility, bundles, operators, boundary data, and sector projectors. Gate 21 changes the noncompact Lorentzian metric on \(\mathcal M_4\). That change is not automatically compatible with the frozen compactification.
5.1 Shape projection
Stage
At the Stage layer, the candidate is a block-diagonal product or warped-product geometry. The simplest witness used here is the unwarped direct product
\[ ds_{13}^2=ds_4^2+ds_{K_6}^2+ds_{S^2}^2+ds_{S_Y^1/\mathbb Z_2}^2. \]
For a true direct product with no mixed connection components, scalar curvature and Riemann-squared decompose additively:
\[ R_{13}=R_4+R_{K_6}+R_{S^2}, \]
\[ \|\mathrm{Riem}_{13}\|^2 =\|\mathrm{Riem}_4\|^2 +\|\mathrm{Riem}_{K_6}\|^2 +\|\mathrm{Riem}_{S^2}\|^2, \]
with the flat circle/orbifold bulk contributing zero away from fixed points. Therefore:
- a divergent 4D Kretschmann scalar remains divergent in 13D; finite compact-factor invariants cannot cancel a positive norm-square divergence;
- a finite 4D core combined with finite compact factors gives finite local product invariants;
- neither statement proves the product solves the 13D equations.
This decomposition is the correct full-shape answer to the common claim that “extra dimensions automatically smooth the center.” They do not. Smoothing must occur in the noncompact metric, in a warp factor, in the compact factors, or in the field equations.
Rulebook
The Rulebook must specify:
- metric signature and differentiability class;
- coordinate domains and atlas extensions;
- orbifold boundary conditions;
- which energy conditions are demanded, relaxed, or replaced;
- whether the 4D Einstein equation is fundamental or effective;
- matching conditions between core and exterior;
- causal and observer-map rules;
- whether a global event horizon is part of the claim.
The current witness uses a smooth single metric function rather than a junction of two metrics, so no thin shell is introduced at a matching radius. This is an advantage of the construction, not a proof of its origin.
Actors
The Actor layer contains the source of the metric. In 4D Einstein form it is the effective anisotropic stress tensor calculated in Part XIV. In the full 13D theory it would have to arise from some combination of:
- higher-dimensional matter fields;
- curvature corrections;
- quantum effective action terms;
- compactification backreaction;
- nonlocal form factors;
- boundary or defect degrees of freedom.
No such derivation is frozen in the project sources for Gate 21. The Actor is therefore construction-anchored.
5.2 Scale projection
The witness has two independent scales:
- \(m=GM/c^2\), fixed by the asymptotic mass record;
- \(\ell\), the core scale.
The exact calculations determine dimensionless ratios such as \(m/\ell\), \(r/\ell\), and \(m_{\rm UCO}/m_{\rm crit}\). They do not determine \(\ell\) in meters or GeV\(^{-1}\).
The scale ledger is:
| Quantity | Role | Status |
|---|---|---|
| \(G\) | measured low-energy gravitational coupling | empirical anchor |
| \(M\) | asymptotic mass of a selected object | observational input |
| \(m=GM/c^2\) | geometric mass length | derived from anchors |
| \(\ell\) | core construction scale | free construction parameter |
| \(R_0\) compactification radius | frozen project scale | not used to derive \(\ell\) |
| \(M_{\rm Pl}\) | measured scale convention | not sufficient to set \(\ell\) |
Setting \(\ell=\ell_{\rm Pl}\) is a possible model choice. It is not performed in the gate and would not follow merely from dimensional analysis. A full derivation must compute the relation
\[ \ell=F(R_0,M_*,M_{\rm Pl},\text{couplings},\text{state},\text{renormalization scheme}) \]
or show why only one such relation is admissible.
5.3 Granularity projection
Granularity contributes three valid insights and no more.
First, it blocks the illicit promotion of exact continuum points into automatically measurable records. The statement “an observer measures the value at exactly \(r=0\)” is not an operational protocol.
Second, it demands finite auditability. A proposed resolution must produce finite, testable readouts rather than hiding behind undefined infinities.
Third, it prevents a continuum-existence demand from being mistaken for a finite observable. The literal ontology of arbitrarily refined points may be treated as outside the admitted record language.
Granularity does not physically discharge the singularity theorem. The theorem’s conclusion concerns the causal structure of a metric and the affine length of geodesics. A resolution cutoff in the observer map leaves those objects unchanged.
The correct Granularity terminal for this gate is therefore:
OPERATIONAL FACE:
Exact-point readout is not an admitted finite record.
DYNAMICAL FACE:
Unchanged. A lawful regular metric or modified Dynamics is still owed.
5.4 Dynamics projection
Dynamics is the decisive root. A full closure requires an action or evolution law from which the metric and source follow.
At the effective 4D level, one can always define
\[ 8\pi G\,T^{\rm eff}_{\mu\nu}=G_{\mu\nu}[g]. \]
This guarantees a formal source for any sufficiently smooth metric. It does not guarantee that the source arises from a stable, causal, unitary, local—or acceptably nonlocal—field theory. It does not guarantee a valid 13D uplift.
The current Dynamics state is:
- static effective Einstein equation: complete;
- microscopic Actor: not derived;
- collapse from regular initial data: not derived;
- evaporation law: not derived;
- inner-horizon nonlinear evolution: not derived;
- rotating solution: not derived;
- 13D backreaction and compactification stability: not derived.
The physical closure cannot exceed that state.
5.5 Tier-B admissibility screens
Invariance
PASS for the exact scalar calculations. \(R\) and \(K\) are coordinate invariants. Horizon locations in a static chart are roots of the invariantly characterized Killing norm, although their coordinate values depend on the chosen areal radius, which is geometrically defined by sphere area \(4\pi r^2\).
Record Interface
PARTIAL. Asymptotic mass, lensing, orbital motion, and ringdown have observer maps. Core curvature and inner-horizon quantities currently lack a direct measurement protocol. They are legitimate theoretical observables, not empirical anchors.
Causal Order
PARTIAL. The static metric has a well-defined local causal cone. A claim about formation, evaporation, or event-horizon absence requires a complete time-dependent global spacetime and is not supplied by the static line element.
Nonseparability
PARTIAL. The 4D metric is treated while compact factors are held fixed. This is a controlled truncation only if the 13D equations consistently permit it. That consistency is not proved here.
5.6 Tier-C recovery targets
| Target | Result |
|---|---|
| Locality | metric and Einstein tensor are local; microscopic source unknown |
| Positivity/unitarity | not adjudicated at microscopic level |
| Ordered Dynamics-time | static only; no collapse/evaporation evolution |
| Classical recovery | Schwarzschild recovered asymptotically |
| Newtonian recovery | follows from \(f=1-2m/r+O(r^{-4})\) |
| Thermodynamic recovery | not owned by this gate |
| Full-KK recovery | not demonstrated |
Part VI — Empirical anchors and law/constraint layer
6. Empirical anchor ledger
The gate is not a parameter fit to an observed core. No current observation directly measures the interior. The empirical layer consists of inherited records that any candidate must preserve.
OBS-G21-1 — Newtonian weak-field gravity
For \(r\gg m,\ell\),
\[ g_{tt}=-(1-2m/r+\cdots), \]
so \(\Phi=-GM/r\) is recovered. This is an inherited record, not a new prediction.
OBS-G21-2 — Schwarzschild exterior tests
Spherical weak-field lensing, gravitational redshift, periapsis advance, and time delay constrain the exterior. The Hayward correction begins at high inverse powers of radius and can be made negligible when \(\ell\ll r\).
OBS-G21-3 — Compact-object horizon-scale behavior
Black-hole imaging and gravitational-wave observations constrain large deviations near the photon sphere and horizon scale. They do not presently determine the central core profile. This dossier therefore treats exterior agreement as necessary but non-discriminating.
OBS-G21-4 — Astrophysical rotation
Observed compact objects are generally rotating. The nonrotating witness is therefore not a complete astrophysical model. Rotation is an empirical ownership requirement, not an optional embellishment.
OBS-G21-5 — No observed outgoing signal from inside a true event horizon
No empirical record licenses superluminal escape. The project’s open-system insight must be applied only outside a true event horizon or in a spacetime whose global horizon structure differs.
6.1 Law registry
L-G21-1 — General covariance
The calculation must be expressible in invariant terms. Coordinate artifacts cannot close the gate.
L-G21-2 — Einstein equation at the selected effective scope
The witness is interpreted through
\[ G_{\mu\nu}=8\pi T^{\rm eff}_{\mu\nu} \]
in geometrized units. This is a scoped effective equation, not a claim that classical GR remains fundamental at the core.
L-G21-3 — Causal structure
Future-directed causal curves remain inside or on local light cones. External work cannot pull a worldline from inside a true event horizon to the same asymptotic infinity.
L-G21-4 — Singularity-theorem logic
To evade a theorem, at least one hypothesis must fail. In the witness, the strong energy condition fails near the center. The dossier does not claim that “finite resolution” invalidates the theorem.
L-G21-5 — Bianchi identity
\(\nabla_\mu G^{\mu\nu}=0\) implies conservation of the effective source. Because the source is defined from the Einstein tensor of the smooth metric, the conservation identity holds geometrically. A microscopic matter model must reproduce it dynamically.
L-G21-6 — Matching and asymptotic mass
The mass function must approach a finite ADM mass in the asymptotically flat witness. Here \(M(r)\to m\).
L-G21-7 — Stability requirement
A background solution is not physically selected merely because it solves static equations. Generic perturbations must not destroy the claimed phase on timescales shorter than the process being modeled.
6.2 Anchor/law closure matrix
| Requirement | Root support | Empirical support | Law support | Grade |
|---|---|---|---|---|
| identify singularity | Dynamics/Shape | inherited GR tests | causal geometry | pass |
| reject exact-point measurement as observable | Granularity | finite apparatus records | record interface | pass, operational only |
| regular center witness | Shape/Dynamics construction | none direct | Einstein equation with effective source | conditional pass |
| exterior recovery | Scale/Shape | weak/strong exterior tests | asymptotic matching | pass |
| horizon threshold | construction | none direct | null-surface algebra | exact conditional result |
| stable physical core | complete theory required | none direct | perturbation dynamics | open |
| empirical discrimination | observer map | not yet available | measurement theory | open |
Part VII — Implicit-assumption and wrong-object audit
7. Assumption sweep
The master ledger entries below are applied individually. Each row states whether the assumption is active and how it changes the gate.
A-01 — Exact point origin or point endpoint
Triggered. The naive question treats \(r=0\) as an ordinary physical point at which an instrument reads curvature. In Schwarzschild, however, the singular boundary is not an ordinary point of the manifold. The correction is to ask about invariant curvature behavior and geodesic completeness.
This does not dissolve the physical problem. It improves the object being tested.
A-02 — Arbitrarily fine continuum objects are physical records
Triggered on the observer map. Granularity blocks the claim that exact point values are directly measured. It does not block mathematical limits used to diagnose a model. Curvature divergence as \(r\to0\) remains a valid statement about the classical solution.
A-04 — Closed subsystem
Relevant but not curative. External work changes reachability outside an event horizon and can alter collapse before horizon formation. It cannot provide causal escape from within a true event horizon. Any dynamical regular-core scenario must specify boundary fluxes and reservoirs.
A-05 — Horizon conflation
Strongly triggered. Event, apparent, trapping, Killing, and Cauchy horizons were conflated in the old text. The reconstructed dossier separates them.
A-06 — Unknown route proves impossibility
Triggered as a warning. The absence of a derived 13D core does not prove no derivation exists. It leaves a named open task.
A-07 — Universal negative
Triggered. The gate does not owe a proof that no future theory can resolve singularities differently. It owes a result within the declared theory.
A-08 — Wrong ruler
Triggered. Operational resolution, local curvature, affine geodesic length, and observational angular resolution are different rulers. No one can substitute for another.
A-09 — 4D or zero-mode result promoted to full higher-dimensional result
Triggered. The Hayward witness is 4D. The full 13D uplift is not certified merely by appending fixed compact factors.
A-10 — Local promoted to global
Triggered. Finite local invariants at \(r=0\) do not prove a global event-horizon claim or global geodesic completeness.
A-11 — Effective result promoted to UV completion
Triggered. The regular metric is a finite effective construction. It is not a quantum-gravity completion.
A-12 — Every scale must be derived from nothing
Not used as an excuse. \(\ell\) may legitimately remain a measured or construction anchor in a scoped model, but its role must be declared before comparison. Here it is a construction parameter.
A-21 — Brute-force Dynamics before topology/symmetry
Applied. Spherical symmetry, mass-function form, invariant scalars, and polynomial discriminants are used before numerical evolution.
A-22 — Stage alone is the theory
Triggered. A metric without source, boundary rules, and Dynamics is not a full physical object.
A-24 — Ansatz equals derivation
Decisive. The old dossier sometimes treated the selected regular metric as if Granularity forced it. That promotion is prohibited. The metric is an ansatz with exact consequences.
A-25 — Reachable point equals prediction
Triggered. The existence of some \(\ell\) that hides deviations does not predict \(\ell\). Exterior agreement is not an overdetermined success unless \(\ell\) was frozen independently.
A-26 — Every problem must have a positive solution
Applied. The full-theory derivation is allowed to remain open. The construction witness is not inflated to avoid a negative result.
A-37 — Permanent event horizon automatically present
Applied carefully. The static witness has a standard outer event horizon in its stationary asymptotically flat completion. A dynamical evaporating geometry may differ, but must be built.
A-38 — Gravity factorizes across a spatial cut
Relevant to information questions, not gate-closing here. Entropy and Page-curve claims belong to Gate 19/Gap-13 and are not imported.
A-39 — Microstates localized inside
Out of scope. No microstate ontology is used.
A-40 — Early and late Hawking quanta independent
Out of scope for the static witness. A dynamical quantum-process analysis is exported.
A-41 — Granularity fixes the area-law coefficient
Rejected. This gate makes no entropy derivation.
A-42 — \(a_6\) required for leading area term
Rejected dependency. The gate’s local regularity calculation does not require the unresolved graviton \(a_6\) coefficient. Higher-curvature corrections to a microscopic core may depend on it, but that is a different ownership path.
A-43 — Page curve requires islands
Out of scope. No Page-curve mechanism is claimed.
A-44 — External work proves escape from a true event horizon
Rejected. No such escape claim appears in the reconstructed endpoint.
7.1 Minimal thought experiments
Thought experiment 1 — Same metric, different microscope
Keep the Schwarzschild metric fixed. Give one observer an arbitrarily fine ideal instrument and another a finite-resolution instrument. The geodesic equations and curvature invariant are identical. Therefore measurement resolution alone does not cure the singularity.
Thought experiment 2 — Same exterior, two interiors
Choose Schwarzschild outside a radius \(r_m\). Inside, compare a singular continuation and a smooth de Sitter-like continuation satisfying junction conditions. Exterior records can be identical while interior regularity differs. Therefore exterior agreement cannot select the core.
Thought experiment 3 — Same regular metric, different microscopic sources
Define the same \(g_{\mu\nu}\) but realize its Einstein tensor using different effective fields or a modified-gravity operator moved to the source side. The geometry does not identify the microscopic Actor uniquely.
Thought experiment 4 — Static and evaporating spacetimes
Hold one static time slice approximately fixed but complete it with two different futures: one eternal stationary future and one evaporation geometry. The event horizon can differ because it is global. Therefore a static core does not decide the evaporation horizon.
Thought experiment 5 — 4D regularity with unstable compact factors
Append the same regular 4D metric to two internal configurations, one stabilized and one tachyonic. The 4D curvature result is identical while the 13D solution viability differs. Therefore full-shape closure is not automatic.
7.2 Wrong-object findings
The gate originally asked one object to answer another object’s question:
| Wrong object | Intended object | Correction |
|---|---|---|
| exact-point readout | geodesic completeness | compute causal extension |
| operational floor | modified metric | provide Dynamics |
| static Killing horizon | evaporating event horizon | construct global spacetime |
| finite scalar invariants | full stability | solve perturbations |
| 4D effective metric | 13D solution | check uplift equations |
| de Sitter center coefficient | unique microscopic core | derive source/action |
Part VIII — Forced truth table and burden allocation
8. Truth table
The following table is forced before branch selection.
| Proposition | Must be true for full physical closure | Must be false | Current evidence |
|---|---|---|---|
| classical Schwarzschild is singular | diagnostic only | — | true |
| exact-point measurement is operationally available | no | yes | rejected by Granularity |
| operational inaccessibility changes geodesics | no | yes | false |
| a regular core can coexist with Schwarzschild asymptotics | yes | — | Hayward witness proves existence |
| the witness has finite central invariants | yes | — | exact pass |
| the witness’s source obeys every classical energy condition | no | — | SEC violated; DEC partly violated |
| some theorem hypothesis must fail | yes | — | SEC failure identified |
| \(\ell\) is predicted by current roots | — | yes, under current corpus | not predicted |
| static regularity removes event horizon | — | yes | false for static two-horizon branch |
| inner horizon is harmless | yes for viability | — | not established |
| 13D equations select the witness | yes for derivation | — | open |
| core produces current discriminating observation | desirable | — | none identified |
8.1 Burden allocation
Burden owned by Gate 21
- correct GR diagnosis;
- construction witness;
- exact local curvature and source calculation;
- static horizon and light-ring census;
- explicit scope and stability residuals;
- full-theory derivation contract.
Burden exported
- entropy microstates and Page curve: Gap-13;
- full UV gravitational completion: UQF-5C/UQF-9/UQF-14;
- compactification-wide stability: UQF-10/SG-6;
- observational waveform pipeline: future phenomenology dossier;
- consciousness or record ontology: foundations companion, not physics closure.
Burden dissolved as malformed
- universal proof that no other theory resolves the singularity;
- demand for a literal instrument reading at an exact mathematical point;
- requirement that this gate derive the numerical value of every scale from nothing.
8.2 Honest branch outcomes
The branch grammar admits four terminal types:
- Derived regular core: full parent action selects a stable core.
- Construction-anchored regular core: exact witness, source known effectively, microscopic origin open.
- Closed-negative: every admissible regular branch fails recovery or stability.
- Scoped unresolved: no complete witness or no source.
The current gate is type 2.
Part IX — Complete branch grammar
9. Why branch grammar is required
A gate cannot claim that one selected model is “the” solution unless the admissible alternatives have been typed. The purpose is not to enumerate every quantum-gravity theory. It is to close the finite grammar actually used by this project and to expose where a choice enters.
The grammar is organized by what changes relative to classical Schwarzschild.
9.1 Branch A — Classical vacuum continuation
Object: Schwarzschild metric everywhere in the maximal vacuum extension.
Advantages: exact vacuum solution; unique static spherical asymptotically flat solution under standard assumptions; exterior recovery automatic.
Failure: curvature divergence at \(r=0\) and geodesic incompleteness. This is the baseline negative control.
Terminal: closed-negative for Gate 21.
9.2 Branch B — Hard excision at \(r=\ell\)
Object: retain Schwarzschild for \(r\ge\ell\), delete the interior, and declare no finer record admissible.
Advantages: no calculation is requested below the cutoff; operationally finite readouts can be enforced.
Failure: the spacetime has an inner boundary. Geodesics reach that boundary in finite affine parameter unless a boundary law reflects, absorbs, or continues them. Junction data and stress energy are missing. The construction hides the singular region rather than replacing it.
Terminal: rejected as physical closure; admissible only as a regulated computational domain.
9.3 Branch C — Smooth Einstein-matter regular core
Object: a smooth metric sourced by an effective stress tensor in ordinary Einstein gravity. Bardeen-, Hayward-, and Dymnikova-type metrics sit here.
Advantages: curvature can remain finite; exterior can recover Schwarzschild; theorem evasion is transparent through energy-condition failure.
Costs: exotic or effective matter; inner horizons often occur; microscopic source and stability are nontrivial.
Selected witness: Hayward metric, because it is algebraically simple and supplies exact thresholds.
Terminal: construction-anchored pass.
9.4 Branch D — Modified-gravity regular core
Object: alter the gravitational action with higher curvature, nonlocal form factors, running couplings, limiting curvature, asymptotic safety, loop-inspired corrections, or other terms.
Advantages: the effective source may be interpreted geometrically; regularity may follow from the action.
Costs: theory dependence; ghosts or extra degrees of freedom may appear; the project must derive coefficients and solve the full equations.
Current project state: candidate route, not completed for Gate 21.
9.5 Branch E — Bounce or black-to-white transition
Object: collapse reaches a high-curvature region and transitions to an expanding branch.
Advantages: potential geodesic extension; may avoid a permanent interior endpoint.
Costs: requires time dependence, causal matching, quantum transition law, and consistency with exterior lifetime. A static regular metric does not prove this branch.
Current state: not selected.
9.6 Branch F — Horizonless ultracompact object
Object: regular center with no horizon. The Hayward family itself enters this branch for \(m<m_{\rm crit}\).
Advantages: no event horizon or inner Cauchy horizon.
Costs: if sufficiently compact, stable light rings and long-lived modes may threaten stability; a material surface or effective stress profile must be supplied; exterior observational constraints become important.
Current state: exact threshold known; dynamical endpoint open.
9.7 Branch G — Fuzzball/microstate geometry or nonclassical interior
Object: no single classical interior metric represents the exact state; classical black-hole geometry is coarse grained.
Advantages: can change the singularity and information questions at the ontological level.
Costs: requires a state-counting and observer-map construction outside the present gate. No such object is derived from the current 13D project.
Current state: external competitor, not part of closure grammar.
9.8 Branch H — Remain agnostic below an effective cutoff
Object: use classical exterior EFT and refuse all interior claims.
Advantages: maximally conservative; compatible with current observations.
Failure for this gate: does not answer whether the project possesses a regular core. It is a legitimate scope boundary, not a positive closure.
9.9 Branch I — Compactification-driven core
Object: the internal dimensions, warp factors, or KK modes react near high 4D curvature and regularize the total 13D solution.
Advantages: would be native to the project’s Shape.
Costs: requires solving coupled 13D field equations. The direct-product spectator assumption would fail, and moduli stability must be demonstrated.
Current state: the most project-specific derivation route, still open.
9.10 Branch J — Operational equivalence class only
Object: multiple interiors are treated as physically equivalent because all admitted external records coincide.
Advantages: aligns with Granularity and finite-record philosophy.
Limit: empirical equivalence does not prove geometric identity or regularity. It can dissolve a selection demand among observationally identical interiors, but it cannot certify that every member is nonsingular.
9.11 Branch elimination table
| Branch | Regular center | Exterior recovery | Full Dynamics | Stability | Disposition |
|---|---|---|---|---|---|
| A classical vacuum | no | yes | yes at classical scope | exterior stable | reject for core |
| B hard excision | undefined | yes | no boundary law | unknown | reject |
| C smooth Einstein-matter | yes | yes | effective only | open | selected witness |
| D modified gravity | possible | possible | model dependent | open | future derivation route |
| E bounce | possible | possible | absent | open | not selected |
| F horizonless UCO | yes | yes | effective | light-ring concern | subbranch retained |
| G microstate geometry | state dependent | intended | absent in project | unknown | external |
| H agnostic EFT | no claim | yes | scoped | scoped | not positive closure |
| I compactification-driven | possible | required | not solved | open | preferred native route |
| J empirical equivalence | not determined | identical records | observer-level | N/A | selection dissolution only |
9.12 Why Hayward is selected only as a witness
The Hayward form is not selected because it is uniquely minimal or derived. It is selected because it satisfies a narrow audit purpose:
- one smooth rational metric function;
- finite center;
- Schwarzschild exterior;
- exact mass function;
- exact stress tensor;
- exact horizon discriminant;
- exact photon-ring merger threshold;
- visible inner-horizon risk.
A construction that makes its weaknesses algebraically visible is preferable for auditing to one that hides them behind numerical integration. That is an audit criterion, not a law of nature.
Part X — Classical GR baseline
10. Schwarzschild geometry
The vacuum, static, spherically symmetric, asymptotically flat line element is
\[ ds^2=-\left(1-\frac{2m}{r}\right)dt^2 +\left(1-\frac{2m}{r}\right)^{-1}dr^2+r^2d\Omega_2^2. \]
Birkhoff’s theorem makes this the unique local vacuum form under the stated symmetry assumptions. This uniqueness is important: changing the interior metric requires matter, modified equations, a boundary, or loss of the assumptions.
10.1 Horizon versus center
At \(r=2m\), Schwarzschild coordinates fail, but curvature invariants remain finite. Ingoing Eddington–Finkelstein coordinates,
\[ v=t+r_* ,\qquad r_*=r+2m\ln\left|\frac{r}{2m}-1\right|, \]
extend smoothly across the future horizon. The horizon is therefore not a curvature singularity.
At \(r=0\), the Kretschmann scalar is
\[ K_{\rm Schw}=R_{abcd}R^{abcd}=\frac{48m^2}{r^6}. \]
No coordinate transformation can make this finite because it is a scalar. The interior issue is physical within classical GR.
10.2 Geodesic incompleteness
A freely falling observer can cross the horizon without local pathology and reach the singular boundary after finite proper time. For a radial geodesic dropped from rest at infinity, the proper time from the horizon to \(r=0\) is finite and of order \(m\). The precise value depends on the geodesic’s conserved energy, but finiteness is the load-bearing fact.
Thus “no instrument can resolve the exact center” is not enough. The observer’s worldline ends after finite proper time in the classical spacetime.
10.3 Singularity theorems
The Penrose theorem and related Hawking–Penrose results do not generally conclude “there exists a point where curvature equals infinity.” They conclude causal geodesic incompleteness when conditions such as trapped surfaces, causality assumptions, and suitable convergence/energy conditions hold.
The theorem architecture matters for this gate:
- gravitational collapse forms a trapped surface;
- causal focusing, via the Raychaudhuri equation and an energy condition, drives null congruences toward conjugate behavior;
- global causal assumptions prevent the focusing from being harmlessly avoided;
- at least one null geodesic is incomplete.
A regular-core construction must therefore identify the failed hypothesis. In the Hayward witness, the effective source violates the strong energy condition near the core. The null and weak energy conditions are not violated by the simple static stress tensor, but theorem variants have different hypotheses; one must not summarize the entire theorem literature with one energy-condition sentence.
10.4 Raychaudhuri equation
For a hypersurface-orthogonal timelike congruence with tangent \(u^a\),
\[ \frac{d\theta}{d\tau} =-\frac{1}{3}\theta^2-\sigma_{ab}\sigma^{ab} +\omega_{ab}\omega^{ab}-R_{ab}u^au^b. \]
With zero vorticity and \(R_{ab}u^au^b\ge0\), initially converging geodesics focus in finite proper time. The regular-core effective source produces a de Sitter-like region where the relevant focusing condition is reversed. This is the physical mechanism of theorem evasion.
10.5 Why a hard cutoff fails
Suppose one declares \(r\ge\ell\) and discards \(r<\ell\). The truncated manifold has a boundary \(r=\ell\). A radial causal geodesic can arrive at that boundary in finite affine parameter. Unless a boundary condition supplies an extension, reflection, absorption, or new phase, the spacetime remains incomplete. Moreover, a timelike or spacelike boundary inside the horizon carries junction conditions and generally a surface stress tensor.
The cutoff is a regulator, not a solution.
10.6 Why \(\ell\to0\) continuity proves less than previously claimed
The Hayward family satisfies \(K(0)=24/\ell^4\), which diverges as \(\ell\to0\). This proves that the selected family approaches singular behavior as its regularization scale vanishes. It does not prove that the Schwarzschild singularity is “purely” an artifact of continuum ontology. Many physically distinct regulated theories recover singular classical limits. The continuity is a recovery check, not an ontological theorem.
10.7 Classical benchmark summary
A candidate passes the baseline only if it can answer:
- What replaces the incomplete Schwarzschild interior?
- Which field equation supports it?
- Which theorem hypothesis fails?
- Does the exterior remain acceptable?
- Is the replacement stable and globally extendible?
The Hayward witness answers the middle three conditionally and leaves the first at microscopic level and the last at dynamical level open.
Part XI — Full 13-dimensional placement
11. Frozen arena
The project’s Stage is
\[ \mathcal M_4\times K_6\times S^2\times S_Y^1/\mathbb Z_2, \qquad \dim=4+6+2+1=13. \]
The compact factors have finite frozen curvature invariants and radii. Gate 21 concerns the noncompact Lorentzian factor, but a physical uplift must still satisfy the 13D equations.
11.1 Direct-product curvature theorem
For a direct product \(M\times N\) with product metric, the Levi-Civita connection has no mixed curvature components. Consequently,
\[ R[M\times N]=R[M]+R[N], \]
and
\[ R_{ABCD}R^{ABCD}[M\times N] =R_{abcd}R^{abcd}[M]+R_{ijkl}R^{ijkl}[N]. \]
Applying this recursively to the frozen arena gives
\[ K_{13}(r)=K_4(r)+K_{K_6}+K_{S^2}+K_{S_Y^1/\mathbb Z_2,\,\mathrm{bulk}}. \]
The compact terms are finite constants in the interior bulk. Hence:
\[ K_4\to\infty\quad\Longrightarrow\quad K_{13}\to\infty. \]
No finite internal curvature can cancel the positive sum of squared block curvatures. The 13D shape is not, by itself, a singularity cure.
For the Hayward witness,
\[ K_{13}(0)=\frac{24}{\ell^4}+K_{K_6}+K_{S^2}+K_{\rm orbifold,bulk}, \]
which is finite away from distributional orbifold fixed-point terms. This is a local regularity statement for the product ansatz only.
11.2 13D Einstein equations
A product metric generally satisfies the higher-dimensional Einstein equation only if the stress tensor and internal curvature balance separately. Changing \(R_4(r)\) from zero outside to positive near the core alters the trace and component equations. Holding the compact factors rigid requires compensating source terms or a consistent truncation theorem.
The full equations schematically read
\[ G^{(13)}_{AB}+\Lambda_{13}g_{AB}+H_{AB}^{\rm higher-curvature} =\kappa_{13}^2T_{AB}^{\rm actors}. \]
A 4D effective source \(T_{\mu\nu}^{\rm eff}\) does not determine the internal components \(T_{ij}\). The internal equations can impose additional pressure, flux, or modulus conditions. This is one reason the 4D witness cannot be called a full 13D solution.
11.3 Consistent truncation question
A truncation to the 4D metric is consistent if every solution of the reduced equations uplifts to a solution of the full equations with the truncated fields fixed. No such theorem is supplied for the regular-core sector. The dossier therefore labels the compact factors “spectators in the witness,” not “proven inert in the theory.”
11.4 Possible native 13D routes
A full derivation could proceed through one or more of these mechanisms:
- curvature-dependent compactification radii that generate an effective limiting curvature;
- KK towers whose integrated stress tensor produces \(M(r)\sim r^3\) near the center;
- higher-dimensional Lovelock or heat-kernel terms;
- nonlocal form factors from integrating out compact modes;
- topological flux or boundary terms that violate the effective 4D SEC;
- an FRG-improved coupling \(G(r)\) derived from the project’s spectrum;
- a state-dependent condensate in the Actor layer.
Each route requires a frozen action and a target-blind calculation. None may begin by inserting the desired Hayward mass function and reverse-engineering a source without charging that as a construction.
11.5 Same-shape negative control
Take the exact same 13D compactification and replace \(ds_4^2\) with Schwarzschild. The total curvature still diverges. Therefore Shape alone cannot be credited with the regularity result. This negative control prevents “13D” from functioning as a decorative closure label.
Part XII — Construction witness: the Hayward regular core
12. Metric and mass function
The selected static spherical metric is
\[ ds^2=-f(r)dt^2+\frac{dr^2}{f(r)}+r^2d\Omega_2^2, \]
\[ f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}. \]
Writing \(f=1-2M(r)/r\) identifies the Misner–Sharp mass function
\[ \boxed{M(r)=\frac{mr^3}{r^3+2m\ell^2}}. \]
This representation makes the two limits transparent.
Center
\[ M(r)=\frac{r^3}{2\ell^2}+O(r^6), \]
so the enclosed mass scales as volume. The central density is finite.
Infinity
\[ M(r)=m\left(1-\frac{2m\ell^2}{r^3}+O(r^{-6})\right), \]
and therefore
\[ f(r)=1-\frac{2m}{r}+\frac{4m^2\ell^2}{r^4}+O(r^{-7}). \]
Schwarzschild is recovered with a leading correction at order \(r^{-4}\) in \(f\).
12.1 Dimensional analysis
- \([r]=[m]=[\ell]=L\);
- \(r^3+2m\ell^2\) has dimension \(L^3\);
- \(2mr^2/(r^3+2m\ell^2)\) is dimensionless;
- \(R\sim L^{-2}\);
- \(K\sim L^{-4}\).
Every exact expression below obeys these dimensions.
12.2 Regularity of the metric function
For \(m>0\), \(\ell>0\), and \(r\ge0\), the denominator
\[ r^3+2m\ell^2>0. \]
The function is analytic at \(r=0\) as a one-sided function of areal radius and has expansion
\[ \boxed{ f(r)=1-\frac{r^2}{\ell^2} +\frac{r^5}{2m\ell^4} -\frac{r^8}{4m^2\ell^6}+O(r^{11}). } \]
The absence of linear and cubic terms is compatible with a regular spherical center. In local Cartesian coordinates, the leading geometry is de Sitter-like. The odd \(r^5\) term means the metric is not exactly de Sitter throughout a finite neighborhood; only the leading central curvature is de Sitter.
12.3 Why the metric is a useful witness
The construction simultaneously provides:
- a finite center;
- no thin shell;
- asymptotic mass \(m\);
- algebraically solvable horizon threshold;
- calculable energy-condition violations;
- an explicit inner horizon that exposes a stability debt;
- a horizonless subcritical branch.
It is therefore a stringent test object rather than a cosmetically perfect model.
Part XIII — Exact curvature derivation
13. General invariant formulas
For
\[ ds^2=-fdt^2+f^{-1}dr^2+r^2d\Omega_2^2, \]
the Ricci scalar is
\[ \boxed{ R=-f''-\frac{4f'}{r}+\frac{2(1-f)}{r^2}. } \]
The Kretschmann scalar is
\[ \boxed{ K=(f'')^2+4\left(\frac{f'}{r}\right)^2 +4\left(\frac{1-f}{r^2}\right)^2. } \]
The second identity reproduces Schwarzschild immediately:
\[ f'=\frac{2m}{r^2},\qquad f''=-\frac{4m}{r^3} \quad\Rightarrow\quad K=\frac{48m^2}{r^6}. \]
13.1 Exact Ricci scalar
Let
\[ D(r)=r^3+2m\ell^2. \]
Direct differentiation and simplification give
\[ \boxed{ R(r)=\frac{24m^2\ell^2\left(4m\ell^2-r^3\right)}{\left(r^3+2m\ell^2\right)^3}. } \]
At the center,
\[ R(0)=\frac{24m^2\ell^2(4m\ell^2)}{(2m\ell^2)^3} =\frac{96m^3\ell^4}{8m^3\ell^6} =\boxed{\frac{12}{\ell^2}}. \]
At large radius,
\[ R(r)\sim-\frac{24m^2\ell^2}{r^6}+O(r^{-9}), \]
so the effective source decays but is not compactly supported.
13.2 Exact Kretschmann scalar
The exact result is
\[ \boxed{ K(r)= \frac{48m^2\left( 32m^4\ell^8-16m^3\ell^6r^3 +72m^2\ell^4r^6-8m\ell^2r^9+r^{12} \right)}{\left(r^3+2m\ell^2\right)^6}. } \]
At \(r=0\),
\[ K(0)= \frac{48m^2\cdot32m^4\ell^8}{(2m\ell^2)^6} =\frac{1536m^6\ell^8}{64m^6\ell^{12}} =\boxed{\frac{24}{\ell^4}}. \]
At large radius, the highest-power term dominates:
\[ K(r)=\frac{48m^2r^{12}}{r^{18}}\left[1+O(r^{-3})\right] =\frac{48m^2}{r^6}+O(r^{-9}). \]
The Schwarzschild invariant is recovered.
13.3 De Sitter identification
Static de Sitter space has
\[ f_{\rm dS}=1-\frac{\Lambda r^2}{3}. \]
Comparing with \(f=1-r^2/\ell^2+\cdots\) gives
\[ \Lambda_{\rm eff}=\frac{3}{\ell^2}. \]
For four-dimensional de Sitter,
\[ R=4\Lambda,\qquad K=\frac{8}{3}\Lambda^2. \]
Therefore
\[ R(0)=\frac{12}{\ell^2},\qquad K(0)=\frac{8}{3}\frac{9}{\ell^4}=\frac{24}{\ell^4}, \]
in exact agreement with the direct calculation.
13.4 Other curvature invariants
At a de Sitter center,
\[ R_{ab}R^{ab}=4\Lambda^2=\frac{36}{\ell^4}, \]
and the Weyl tensor vanishes at leading order. The finite central values demonstrate local curvature regularity. A complete invariant classification away from the center is not necessary for the gate because the rational denominator is nonzero for \(r\ge0\), so the displayed polynomials remain finite there except at coordinate horizons where scalar invariants remain finite.
13.5 Local extendibility
The expansion
\[ f=1-r^2/\ell^2+O(r^5) \]
implies that the metric approaches a smooth constant-curvature center in appropriate local coordinates. Radial null and timelike equations do not encounter an infinite local curvature barrier at \(r=0\). This supports local extension through a regular origin.
The dossier does not promote this to a theorem that the maximal analytic extension is globally geodesically complete. Inner horizons, repeated extensions, and dynamical instability require separate analysis.
13.6 Recovery controls
The witness passes four exact recovery controls:
- \(\ell\to0\) at fixed \(r>0\): \(f\to1-2m/r\).
- \(r\to\infty\): \(M(r)\to m\).
- \(m\to0\) at fixed \(r>0\): \(f\to1\), although the joint \(m,r\to0\) limit must be handled by the explicit series.
- \(r\to0\) at fixed \(m,\ell>0\): de Sitter center.
These are consistency checks given the ansatz. They do not determine the ansatz.
Part XIV — Effective source and energy-condition ledger
14. Einstein-tensor reconstruction
For any metric of the form
\[ f(r)=1-\frac{2M(r)}{r}, \]
the Einstein equation with an anisotropic fluid
\[ T^a{}_b=\operatorname{diag}(-\rho,p_r,p_t,p_t) \]
gives
\[ \rho=\frac{M'}{4\pi r^2},\qquad p_r=-\rho, \qquad p_t=-\frac{M''}{8\pi r}. \]
For
\[ M(r)=\frac{mr^3}{r^3+2m\ell^2}, \]
one finds
\[ M'(r)=\frac{6m^2\ell^2r^2}{(r^3+2m\ell^2)^2}, \]
and therefore
\[ \boxed{ \rho(r)=\frac{3m^2\ell^2}{2\pi(r^3+2m\ell^2)^2}. } \]
The radial pressure is
\[ \boxed{p_r=-\rho.} \]
A second derivative yields
\[ \boxed{ p_t(r)= \frac{3m^2\ell^2(r^3-m\ell^2)}{\pi(r^3+2m\ell^2)^3}. } \]
These expressions are not optional interpretation. They are the exact effective Actor required by the selected metric under ordinary 4D Einstein equations.
14.1 Center source
At \(r=0\),
\[ \rho(0)=\frac{3}{8\pi\ell^2}, \]
\[ p_r(0)=p_t(0)=-\frac{3}{8\pi\ell^2}. \]
Thus
\[ p=-\rho, \]
which is the vacuum equation of state associated with \(\Lambda_{\rm eff}=3/\ell^2\), because
\[ \rho_\Lambda=\frac{\Lambda}{8\pi}=rac{3}{8\pi\ell^2}. \]
14.2 Conservation
The anisotropic conservation equation is
\[ p_r'+\frac{f'}{2f}(\rho+p_r)+\frac{2}{r}(p_r-p_t)=0. \]
Since \(\rho+p_r=0\), it reduces to
\[ p_r'+\frac{2}{r}(p_r-p_t)=0, \]
which follows identically from the mass-function formulas. This is the local Bianchi-identity check.
14.3 Null and weak energy conditions
For a diagonal anisotropic source, the NEC requires
\[ \rho+p_r\ge0, \qquad \rho+p_t\ge0. \]
Here
\[ \boxed{\rho+p_r=0,} \]
and
\[ \boxed{ \rho+p_t= \frac{9m^2\ell^2r^3}{2\pi(r^3+2m\ell^2)^3}\ge0. } \]
Therefore the NEC is saturated radially and satisfied tangentially for \(r\ge0\). Since \(\rho\ge0\), the WEC is also satisfied.
This is an important correction to overly broad statements that every regular black hole must violate the NEC. The selected static source does not.
14.4 Strong energy condition
For this source,
\[ \rho+p_r+2p_t=2p_t =\frac{6m^2\ell^2(r^3-m\ell^2)}{\pi(r^3+2m\ell^2)^3}. \]
Hence the SEC fails when
\[ r^3<m\ell^2. \]
At the center it is negative. This de-focusing region is the explicit theorem-evasion mechanism.
The radius
\[ r_{\rm SEC}=(m\ell^2)^{1/3} \]
marks the sign change of the tangential pressure and SEC sum. It is not a horizon; it is a source-structure scale.
14.5 Dominant energy condition
The DEC requires \(\rho\ge |p_i|\). Radially, \(|p_r|=\rho\), so it is saturated. Tangentially,
\[ \frac{p_t}{\rho}=\frac{2(r^3-m\ell^2)}{r^3+2m\ell^2}. \]
For \(r\ge0\), the lower bound \(p_t/\rho\ge-1\) holds. The upper bound \(p_t/\rho\le1\) requires
\[ r^3\le4m\ell^2. \]
Thus the effective source violates the DEC in its far tail, although its magnitude there decays rapidly. This is a genuine weakness of interpreting the metric as ordinary classical matter.
14.6 Source nonuniqueness
The computed \(T^{\rm eff}_{\mu\nu}\) is unique given the metric and Einstein equation. Its microscopic interpretation is not unique. Possible representations include nonlinear electrodynamics, vacuum polarization, effective anisotropic fluids, or moving modified-gravity terms to the source side.
A future full-theory derivation must do more than reproduce \(T^{\rm eff}\). It must establish:
- field content;
- action;
- signs of kinetic terms;
- absence of ghosts;
- hyperbolicity and causal propagation;
- stability of the background;
- correct 13D uplift;
- renormalization-scale dependence;
- state preparation through collapse.
14.7 Source ledger conclusion
The source calculation upgrades the witness from “a smooth line element” to “an exact effective Einstein solution.” It does not upgrade it to a fundamental solution of the project.
Part XV — Horizon algebra and surface gravity
15. Horizon equation
Horizons of the static metric occur at roots of \(f(r)=0\):
\[ 1-\frac{2mr^2}{r^3+2m\ell^2}=0. \]
Multiplying by the positive denominator gives
\[ \boxed{P_H(r)=r^3-2mr^2+2m\ell^2=0.} \]
The cubic’s discriminant is
\[ \boxed{ \Delta_H=4m^2\ell^2(16m^2-27\ell^2). } \]
Therefore:
- \(m>3\sqrt3\ell/4\): three real roots, two positive and one negative;
- \(m=3\sqrt3\ell/4\): a positive double root;
- \(m<3\sqrt3\ell/4\): no positive horizon root.
15.1 Extremal threshold
At a double root,
\[ P_H=0,\qquad P_H'=3r^2-4mr=0. \]
For the nonzero root,
\[ r_*=\frac{4m}{3}. \]
Substitution gives
\[ -\frac{32}{27}m^3+2m\ell^2=0, \]
so
\[ \boxed{m_{\rm crit}=\frac{3\sqrt3}{4}\ell}, \qquad \boxed{r_{\rm crit}=\sqrt3\ell}. \]
Numerically,
\[ \frac{m_{\rm crit}}{\ell}=1.299038105676658, \qquad \frac{r_{\rm crit}}{\ell}=1.732050807568877. \]
15.2 Exact root form
For \(m\ge m_{\rm crit}\), define
\[ \chi=\arccos\left(1-\frac{27\ell^2}{8m^2}\right). \]
The three real roots can be written as
\[ r_k=\frac{2m}{3} +\frac{4m}{3}\cos\left(\frac{\chi-2\pi k}{3}\right), \qquad k=0,1,2, \]
with ordering chosen so that two roots are positive. The larger positive root \(r_+\) is the outer Killing horizon and the smaller \(r_-\) is the inner horizon.
The exact trigonometric form is useful for numerical reproduction but not needed for the threshold proof.
15.3 Surface gravity
For a nondegenerate static Killing horizon,
\[ \kappa_h=\frac12|f'(r_h)|. \]
Using the horizon relation to eliminate \(m\), the signed expression simplifies to
\[ \frac12 f'(r_h)=\frac{r_h^2-3\ell^2}{2r_h^3}. \]
Therefore
\[ \boxed{ \kappa_h=\frac{|r_h^2-3\ell^2|}{2r_h^3}. } \]
At the extremal horizon \(r_h=\sqrt3\ell\), \(\kappa=0\). For the outer horizon \(r_+>\sqrt3\ell\), the signed derivative is positive. For the inner horizon \(r_-<\sqrt3\ell\), it is negative and the magnitude is positive.
15.4 Large-mass limits
When \(m\gg\ell\), the outer root is close to Schwarzschild:
\[ r_+=2m-\frac{\ell^2}{2m}+O(\ell^4/m^3). \]
The outer surface gravity approaches
\[ \kappa_+=\frac{1}{4m}+O(\ell^2/m^3). \]
The inner root scales approximately as
\[ r_-\sim\ell+O(\ell^2/m), \]
and its surface-gravity magnitude can greatly exceed \(\kappa_+\). This separation is the kinematic basis for inner-horizon blueshift concerns.
15.5 Horizon classification
For the static asymptotically flat geometry:
- \(r_+\) is a Killing horizon and, in the standard maximal stationary completion, an event horizon;
- \(r_-\) is a Killing horizon and a Cauchy-horizon-like boundary;
- at extremality the horizons merge;
- below threshold no Killing horizon exists.
The statement “only apparent horizons remain” is not true of this static object. A locally defined trapping horizon can coincide with a Killing horizon in spherical symmetry, but this does not erase the global event-horizon classification.
15.6 Event horizons with cosmological constant
A positive cosmological constant changes the asymptotic structure but does not make event-horizon concepts meaningless. Black-hole and cosmological event horizons can be defined relative to the conformal boundary or observer-accessible asymptotic region. The precise definition must match the global spacetime. The old claim that \(\Lambda>0\) by itself invalidates event horizons is rejected.
15.7 Hawking temperature at static scope
If the usual semiclassical relation is applied to the outer Killing horizon,
\[ T_H=\frac{\hbar\kappa_+}{2\pi c k_B} \]
with units restored appropriately. Near extremality \(T_H\to0\) in this static model. This is a diagnostic, not a complete evaporation law: greybody factors, species, backreaction, and time dependence are not included.
Part XVI — Light rings and ultracompact threshold
16. Null circular orbit condition
For equatorial null geodesics of a static spherical metric, the effective potential is proportional to
\[ V_{\rm null}(r)=\frac{L^2f(r)}{r^2}. \]
A circular null orbit satisfies
\[ \frac{d}{dr}\left(\frac{f}{r^2}\right)=0, \]
or
\[ \boxed{rf'(r)-2f(r)=0.} \]
For the Hayward function, clearing the denominator gives
\[ \boxed{ P_L(r)=r^6-3mr^5+4m\ell^2r^3+4m^2\ell^4=0. } \]
16.1 Pair-creation threshold
Introduce dimensionless variables
\[ x=\frac{r}{\ell},\qquad \mu=\frac{m}{\ell}. \]
Then
\[ P_L/\ell^6=x^6-3\mu x^5+4\mu x^3+4\mu^2. \]
At the merger of two light rings,
\[ P_L=0, \qquad \partial_xP_L=0. \]
The unique positive solution is
\[ \boxed{x_{\rm UCO}=\frac{2\sqrt{30}}{5}}, \qquad \boxed{\mu_{\rm UCO}=\frac{24\sqrt{30}}{125}}. \]
Restoring dimensions,
\[ \boxed{r_{\rm UCO}=\frac{2\sqrt{30}}{5}\ell}, \qquad \boxed{m_{\rm UCO}=\frac{24\sqrt{30}}{125}\ell}. \]
Numerically,
\[ r_{\rm UCO}=2.190890230020664\ell, \]
\[ m_{\rm UCO}=1.051627310409919\ell. \]
The ratio to the horizon threshold is
\[ \boxed{ \frac{m_{\rm UCO}}{m_{\rm crit}} =\frac{32\sqrt{10}}{125} =0.809543081003105. } \]
16.2 Physical branch census
The exact thresholds divide the family into three static regimes.
Regime I — Black-hole branch
\[ m\ge m_{\rm crit}. \]
There are two positive horizons. An outer photon sphere exists. The inner horizon creates a mass-inflation concern.
Regime II — Horizonless ultracompact branch
\[ m_{\rm UCO}<m<m_{\rm crit}. \]
No horizon exists, but a pair of light rings exists. In generic smooth ultracompact objects, one member of the pair is stable. Long-lived trapped modes may create nonlinear instability.
Regime III — Non-ultracompact regular branch
\[ 0<m<m_{\rm UCO}. \]
No horizon and no light-ring pair exist. This removes the specific stable-light-ring diagnostic but does not prove matter or radial stability.
16.3 What the threshold does not prove
The exact light-ring threshold is a geodesic result. It does not compute:
- the perturbation spectrum of the coupled metric/source system;
- damping or growth rates;
- nonlinear endpoint;
- formation probability;
- lifetime;
- observability.
The previous dossier correctly identified the threshold but occasionally let the generic instability literature sound like a completed calculation for this source. The reconstructed dossier keeps the distinction explicit.
16.4 Rotating light rings
Rotation changes spherical photon spheres into families of prograde/retrograde photon orbits and, more generally, photon regions. The static threshold cannot be carried into a Kerr-like geometry unchanged. Any observational application must use the rotating branch.
Part XVII — Geodesic, causal, and global-structure audit
17. Local center regularity
Near \(r=0\), the metric is de Sitter-like and curvature invariants are finite. A regular center requires that the area of symmetry spheres vanish as \(4\pi r^2\) and that the metric admit a smooth local representation. The mass function behaves as \(M\propto r^3\), which is the correct leading condition.
This removes the local Schwarzschild curvature obstruction.
17.1 Geodesic equations
For equatorial geodesics, conserved energy \(E\) and angular momentum \(L\) give
\[ \dot t=\frac{E}{f}, \qquad \dot\phi=\frac{L}{r^2}, \]
and
\[ \dot r^2=E^2-f\left(\epsilon+\frac{L^2}{r^2}\right), \]
where \(\epsilon=1\) for timelike and \(0\) for null geodesics.
Near a regular center with \(f\to1\), radial geodesics with \(L=0\) do not encounter an infinite effective potential. Nonradial geodesics have the usual centrifugal term. A local extension through the origin can be described by continuing the trajectory in regular Cartesian coordinates rather than treating negative areal radius as a second physical region.
17.2 Why global completeness is not automatically established
A global completeness proof must classify all inextendible causal geodesics across:
- outer horizon;
- inner horizon;
- center;
- asymptotic regions;
- maximal analytic extensions.
Even when scalar invariants remain finite at the inner horizon in the unperturbed static solution, perturbations may make the effective mass and curvature diverge. Completeness of the exact background is therefore not sufficient for physical stability, and background regularity is not sufficient for the perturbed spacetime.
This dossier records:
LOCAL CURVATURE REGULARITY: PASS.
LOCAL CENTER EXTENDIBILITY: STRONGLY SUPPORTED BY SERIES.
GLOBAL GEODESIC COMPLETENESS: NOT CERTIFIED.
PERTURBED COMPLETENESS: OPEN.
17.3 Penrose diagram caution
Static regular black-hole metrics often possess repeating asymptotic regions in their maximal analytic extensions because the inner Cauchy horizon can be crossed in the ideal exact solution. Such diagrams are mathematical completions of a stationary metric, not necessarily collapse geometries formed from one asymptotic universe.
A physical causal diagram must be obtained from regular initial data and the actual source Dynamics. The dossier does not use the maximally extended static diagram as a formation claim.
17.4 Event horizon versus trapping horizon
A trapping horizon can be located quasi-locally from null expansions. An event horizon depends on the entire future. In a static asymptotically flat solution, the outer Killing horizon supplies both structures in the expected way. In a dynamical evaporation model, they may separate.
A regular center is compatible with several possibilities:
- a permanent event horizon;
- an event horizon ending at a future boundary;
- only temporary trapped regions with no global event horizon;
- a remnant with a horizon;
- a horizonless final object.
The core alone does not choose among them.
17.5 Open-system reasoning
External work can prevent an object from crossing a horizon or extract it while it remains outside. Once a worldline lies inside a true event horizon relative to a given asymptotic region, causal external control cannot return it to that region. A dynamical trapping horizon may shrink across matter, but that is a change in the spacetime’s causal structure, not a rope overpowering light cones.
17.6 Causal boundary condition for full closure
A future Gate 21 dynamics certificate must provide:
- a regular initial-value surface;
- collapsing matter or field state;
- formation or nonformation of trapped surfaces;
- core transition law;
- outgoing flux and backreaction;
- late-time endpoint;
- conformal diagram;
- proof of no causal contradiction or record duplication.
Without this object, claims about evaporation and event horizons remain outside the static witness.
Part XVIII — Dynamical viability
18. Collapse formation
An exact static metric does not prove that generic collapse forms it. The formation problem asks whether regular initial data evolve toward the core without generating a shell-crossing singularity, shock, gradient instability, or different phase.
A sufficient calculation would solve a time-dependent spherical system such as
\[ ds^2=-e^{2\Phi(v,r)}F(v,r)dv^2+2e^{\Phi(v,r)}dvdr+r^2d\Omega^2, \]
with
\[ F(v,r)=1-\frac{2M(v,r)}{r}, \]
and a source evolution law. The static mass function could appear as a late-time attractor, but that must be demonstrated.
18.1 Mass inflation at the inner horizon
The inner horizon has nonzero surface-gravity magnitude away from extremality. In known two-horizon spacetimes, ingoing and outgoing perturbations are infinitely blueshifted relative to one another near a Cauchy horizon, causing the internal mass parameter to grow rapidly. This is the mass-inflation mechanism.
The static surface-gravity result is a kinematic warning. It is not a complete proof of the nonlinear endpoint for the Hayward source. A gate-owned calculation would require at least:
- a double-null or ingoing/outgoing flux model;
- perturbation equations for the effective source;
- backreaction on \(M(v,r)\);
- curvature diagnostics;
- comparison of growth timescale with any core-regulating scale;
- determination of whether the Cauchy horizon becomes weakly singular, spacelike singular, or dynamically replaced.
Until that calculation survives, the inner horizon is the principal physical vulnerability of the black-hole branch.
18.2 Why a finite \(K(0)\) does not solve mass inflation
The unperturbed center can be finite while the perturbed inner horizon develops large curvature at \(r>0\). A mechanism that limits central curvature must be shown to act on the dynamically generated blueshift region. One cannot assume the same cutoff automatically saturates every invariant.
18.3 Evaporation
Applying a static Hawking temperature at each moment is an adiabatic approximation. A full evaporation model requires a semiclassical stress tensor \(\langle T_{ab}\rangle\), greybody flux, backreaction, and a prescription near extremality.
Possible endpoints include:
- extremal remnant;
- horizonless remnant;
- complete evaporation;
- transition to an expanding/white-hole region;
- breakdown of the effective model.
The static metric does not select one.
18.4 Rotation
Real black holes carry angular momentum. A rotating regular metric is not obtained reliably by a purely formal coordinate algorithm unless its stress tensor and field equations are checked. Common rotating “regular black hole” constructions can develop pathologies such as:
- residual ring singularities;
- closed timelike curves;
- energy-condition violations;
- nonseparable perturbation equations;
- ambiguous mass functions;
- instability.
Full closure therefore requires a stationary axisymmetric solution derived from the parent Dynamics, reducing to Kerr outside and to the spherical witness as angular momentum vanishes.
18.5 Charge
Astrophysical charge is expected to be small, but charged solutions are useful stress tests because inner-horizon structure is explicit. A derived theory should show how electromagnetic and geometric charges affect regularity without using charge as an unobserved tuning knob.
18.6 Radial stability of the source
An anisotropic effective fluid needs an equation of state and perturbation closure relation. The background functions \(\rho,p_r,p_t\) alone do not determine sound speeds or perturbations. Reverse-engineering a static source is insufficient to establish stability.
18.7 Compactification stability
Near the core, \(R_4\sim\ell^{-2}\). If this approaches compactification scales, internal moduli can be excited. Holding \(K_6\), \(S^2\), and the orbifold fixed may cease to be valid. The required test is the 13D Hessian and coupled perturbation spectrum in the black-hole background, not the vacuum spectrum alone.
18.8 Dynamics verdict
| Dynamic question | Current result |
|---|---|
| static background solution | exact at effective 4D scope |
| collapse formation | open |
| inner-horizon nonlinear endpoint | open |
| evaporation | open |
| rotating completion | open |
| source perturbation theory | open |
| 13D compactification response | open |
This table is the reason the physical endpoint is construction-anchored rather than derived.
Part XIX — Same-ruler and observer-map audit
19. Why the same-ruler audit is decisive
The legacy dossier compared objects that occupy different categories: a mathematical limit, an operational resolution, a local curvature scalar, a global horizon, and a 13D construction. This section pins every comparison to one tuple:
(theory dimension, observer dimension, frame, coordinate invariant,
renormalization scale, projection, truncation, causal scope,
observable definition, data role)
A mismatch suspends the comparison rather than producing a result.
19.1 Ruler matrix
| Object | Dimension | Ruler | Scope | Observer access | Role |
|---|---|---|---|---|---|
| \(K(r)\) | 4D or 13D scalar | inverse length\(^4\) | local | inferred, not directly sampled inside | theoretical diagnostic |
| geodesic affine length | spacetime causal geometry | proper/affine parameter | global along curve | local clock in principle | singularity diagnostic |
| operational granularity | record space | cost/action/information | observer interface | foundational | admissibility rule |
| \(\ell\) | metric construction | length | model-wide | not measured | free parameter |
| event horizon | global spacetime | causal boundary | entire future | not locally detectable | global structure |
| trapping horizon | foliation/quasi-local | null expansion | local/quasi-local | inferable from geometry | dynamical structure |
| photon ring | exterior geodesics | areal radius/frequency | near exterior | potentially observable | phenomenology |
| compactification radius | 13D internal geometry | length/energy | internal | indirect | frozen model scale |
19.2 Operational floor versus metric length
A Lorentz-scalar action floor does not transform as a spatial length. Converting it to \(\ell\) requires a physical process, energy scale, state, and frame-invariant prescription. For example, \(\Delta S\sim E\Delta t\) can define a length only after relating \(E\) and \(\Delta t\) through additional dynamics. The dossier therefore forbids the direct identity
\[ \Delta_0>0\quad\Rightarrow\quad \ell>0 \]
without a derivation map.
19.3 Four-dimensional versus thirteen-dimensional curvature
A 4D scalar \(K_4\) and the 13D scalar \(K_{13}\) are different observables. In the direct-product witness their relation is additive, not equality. Any comparison with a full-theory cutoff must use \(K_{13}\) or the relevant invariant in the parent action.
19.4 Static versus dynamical horizon
The root \(f(r_h)=0\) identifies a static Killing horizon. It does not by itself identify the global event horizon in a time-dependent evaporation spacetime. The same areal radius at one time can lie inside, outside, or on a future event horizon depending on later evolution.
19.5 Core invariant versus exterior observation
An observed shadow size or ringdown frequency is not a direct measurement of \(K(0)\). The observer map must solve perturbations and photon propagation from the core to infinity. If the exterior is exactly or nearly Schwarzschild, the map can erase almost all core dependence.
19.6 Energy-condition ruler
Energy conditions can be imposed on:
- physical matter stress tensor;
- total effective stress tensor including modified gravity;
- averaged stress along geodesics;
- quantum expectation values.
The calculation in Part XIV concerns the total effective 4D source after placing all non-Einstein effects on the right-hand side. It does not prove that microscopic matter violates or satisfies the same conditions.
19.7 Same-ruler pass/fail ledger
| Comparison | Verdict |
|---|---|
| Hayward \(K_4(0)\) vs Schwarzschild \(K_4(r\to0)\) | valid model comparison |
| operational cost floor vs metric \(\ell\) | invalid without map |
| static \(r_+\) vs dynamical event horizon | invalid without global completion |
| 4D regularity vs 13D regularity | conditionally valid only for direct product |
| surface gravity vs Hawking temperature | valid semiclassically, not full evaporation |
| light-ring existence vs instability rate | invalid promotion |
| exterior agreement vs core confirmation | invalid promotion |
Part XX — Recovery, observables, and empirical non-predictions
20. Exterior expansion
The metric function has asymptotic series
\[ f(r)=1-\frac{2m}{r}+\frac{4m^2\ell^2}{r^4} -\frac{8m^3\ell^4}{r^7}+O(r^{-10}). \]
The first correction is suppressed by
\[ \frac{\delta f}{2m/r}\sim\frac{2m\ell^2}{r^3}. \]
If \(\ell\) is microscopic compared with the gravitational radius, exterior deviations are extraordinarily small. This makes the model compatible with exterior tests but also makes it hard to falsify.
20.1 Newtonian potential
Using \(g_{tt}\simeq-(1+2\Phi)\),
\[ \Phi(r)=-\frac{m}{r}+\frac{2m^2\ell^2}{r^4}+O(r^{-7}). \]
The correction is not a new long-range force. It is a short-distance modification.
20.2 Photon sphere shift on the black-hole branch
For \(m\gg\ell\), the outer photon sphere is close to \(r=3m\). A perturbative expansion can be derived by solving \(rf'-2f=0\). The shift scales as \(\ell^2/m\) or higher in radius units. Because \(\ell\) is free, no numerical shadow prediction is frozen here.
A future phenomenology paper must:
- fix \(\ell/m\) independently;
- compute the rotating photon region;
- include emission model and inclination;
- compare with covariance and systematics;
- blind the fit.
20.3 Quasinormal modes
Static spherical perturbations depend on the source’s perturbation response, not only the background metric. Treating the effective source as frozen while perturbing the metric can violate conservation or omit physical degrees of freedom. Therefore a trustworthy ringdown prediction requires a microscopic or closed effective perturbation model.
20.4 Tidal response
Love numbers and tidal heating can, in principle, distinguish compact-object interiors. Classical 4D black holes have characteristic tidal responses. A regular-core model may alter them, but the result depends on horizon presence, boundary conditions, and source perturbations. No value is claimed.
20.5 Echoes
A regular center does not automatically produce gravitational-wave echoes. Echoes generally require a reflecting or partially reflecting structure outside or near the would-be horizon, or a cavity in the perturbation potential. The black-hole branch retains an outer horizon, so a core behind it does not generically send echoes to infinity.
20.6 Evaporation signatures
A near-extremal remnant or modified late-time temperature could be a signature, but the static temperature formula is insufficient. The model must calculate backreaction and species dependence. No lifetime or remnant abundance is claimed.
20.7 Empirical status
The construction is currently:
- compatible with tested exterior behavior for small \(\ell/m\);
- not confirmed by an interior observation;
- not uniquely selected by data;
- not yet equipped with a frozen discriminating prediction.
This is a valid theoretical status. It is not empirical closure.
20.8 Observable registry placeholder
A production release should connect this gate to the project’s current OBS-* registry. The minimum entries are:
OBS-G21-MASS: asymptotic mass measurement and uncertainty.
OBS-G21-SPIN: dimensionless spin and uncertainty.
OBS-G21-EXTERIOR: lensing/orbital/ringdown constraints.
OBS-G21-HORIZON: null tests of material surfaces or large near-horizon deviations.
OBS-G21-COSMOLOGY: ambient curvature scale if asymptotic flatness is relaxed.
The registry must record provenance, covariance, and whether each value is used for calibration, comparison, exclusion, or context.
Part XXI — Negative controls and destruction tests
21. Purpose
A construction that cannot be destroyed is not a certificate. The following tests are pre-registered. A failure either kills the witness or downgrades its scope.
21.1 NC-1 — Schwarzschild negative control
Set \(\ell=0\) at fixed \(r>0\). The metric must reduce to Schwarzschild and the center limit must recover singular behavior. Pass:
\[ f\to1-2m/r, \qquad K(0)\sim24/\ell^4\to\infty. \]
Interpretation: recovery control only, not proof of ontology.
21.2 NC-2 — Wrong invariant control
Replace the Kretschmann scalar with a coordinate component such as \(g_{rr}\). A divergence at a horizon could then be removed by coordinates. The gate requires scalar invariants and geodesic structure. Any closure based only on \(g_{rr}\) fails.
21.3 NC-3 — Hard-cutoff kill test
Use Schwarzschild for \(r\ge\ell\) without a completion. If geodesics terminate at the cutoff boundary, the branch fails physical regularity. Expected result: fail.
21.4 NC-4 — Denominator-zero test
Check
\[ r^3+2m\ell^2>0 \]
for \(m,\ell>0\), \(r\ge0\). Pass. A sign choice producing a positive-radius denominator zero would create a new singularity and kill the branch.
21.5 NC-5 — Curvature-limit test
Compute \(R(0)\) and \(K(0)\) by at least two independent routes: exact rational formula and de Sitter series identity. Pass.
21.6 NC-6 — Bianchi/conservation test
Verify the effective anisotropic source satisfies \(\nabla_aT^{ab}=0\). Pass geometrically. A failure would indicate an algebra or convention error.
21.7 NC-7 — Energy-condition disclosure test
If the source satisfied the relevant theorem hypotheses everywhere while a trapped surface and global assumptions remained, the regularity claim would conflict with the theorem architecture. The explicit SEC failure is therefore required. Pass.
21.8 NC-8 — Horizon discriminant test
The cubic discriminant must change sign at
\[ 16m^2=27\ell^2. \]
Pass. A numerical root scan inconsistent with the discriminant kills the implementation.
21.9 NC-9 — Extremal surface-gravity test
At \(r_h=\sqrt3\ell\),
\[ \kappa=0. \]
Pass. A nonzero result indicates a derivative or normalization error.
21.10 NC-10 — Photon-ring double-root test
Solve both \(P_L=0\) and \(\partial_rP_L=0\). Pass at the exact \(r_{\rm UCO}\), \(m_{\rm UCO}\). A simple root is insufficient.
21.11 NC-11 — Full-shape test
Add finite compact-factor invariants. A Schwarzschild divergence must remain. Pass conceptually. Any claim that internal finite constants cancel \(K_4\to\infty\) fails positivity and block decomposition.
21.12 NC-12 — Minimum-length provenance test
Search the Granularity authority. If it says no minimum length is asserted, any use of \(\ell\) as a derived root output fails. Current result: legacy chain killed; construction survives.
21.13 NC-13 — Static/global horizon test
Complete the static geometry asymptotically flat. If an outer event horizon exists, any statement that a smooth core alone removes event horizons fails. Current result: legacy horizon statement killed.
21.14 NC-14 — Rotating reality test
Attempt a derived rotating branch. If regularity, field equations, or stability fail for astrophysically relevant spin, the construction cannot be promoted to realistic black-hole closure.
21.15 NC-15 — Inner-horizon perturbation test
Introduce arbitrarily small ingoing and outgoing flux. If curvature grows without an admissible saturation mechanism, the black-hole branch is physically unstable and must be downgraded or replaced.
21.16 NC-16 — Source ghost test
Construct a microscopic action. A wrong-sign kinetic term, superluminal ill-posed evolution, or unbounded Hamiltonian kills that Actor realization even if the background metric remains smooth.
21.17 NC-17 — Formation test
Evolve regular collapse initial data. If the solution does not approach the regular core without fine tuning, the metric remains a static curiosity rather than a formation endpoint.
21.18 NC-18 — Blind scale test
Freeze \(\ell\) before loading exterior data. If \(\ell\) is chosen afterward solely to hide deviations, exterior agreement is a fit, not a prediction.
21.19 NC-19 — Compactification test
Solve internal modulus perturbations in the core background. A tachyon or runaway invalidates the spectator uplift.
21.20 NC-20 — Causal-escape test
Place a worldline inside the true outer event horizon of the static branch. No future-directed causal path to the same exterior infinity exists. Any claimed rope or external-work escape fails.
21.21 Destruction hierarchy
A failure is graded by location:
- algebra failure: kills the calculation;
- source failure: kills the Einstein-matter interpretation;
- stability failure: kills physical viability but may preserve existence;
- uplift failure: limits the result to 4D effective theory;
- observer-map failure: removes empirical promotion;
- scale-provenance failure: removes prediction status;
- governance mismatch: changes project status but not equations.
Part XXII — Hostile-review objections and answers
22. Objection 1 — “You have not solved the singularity; you wrote down a regular metric.”
Answer: Correct at the theory-derivation level. The dossier claims an exact construction witness and a closed project dependency, not a derivation from the full 13D theory. The physical endpoint is explicitly construction-anchored.
22.1 Objection 2 — “Granularity cannot modify GR.”
Answer: Correct. The reconstructed dossier uses Granularity only to classify exact-point records and finite auditability. The metric modification belongs to the construction/Dynamics layer.
22.2 Objection 3 — “A singularity is not a point of infinite curvature.”
Answer: Correct in general. The dossier defines singularity through geodesic incompleteness and treats Schwarzschild curvature divergence as an additional specific diagnostic.
22.3 Objection 4 — “Finite curvature invariants do not prove geodesic completeness.”
Answer: Correct. Local center extendibility is supported; global completeness is left uncertified.
22.4 Objection 5 — “The outer horizon is still an event horizon.”
Answer: Correct for the static asymptotically flat black-hole branch. The legacy claim is retired. Dynamical alternatives require a separate causal diagram.
22.5 Objection 6 — “A positive cosmological constant does not abolish event horizons.”
Answer: Correct. The reconstructed dossier removes that statement and requires the horizon definition to match the global asymptotic structure.
22.6 Objection 7 — “The inner horizon is unstable.”
Answer: This is the leading physical vulnerability. The nonzero inner surface gravity identifies the kinematic trigger; the nonlinear endpoint is open.
22.7 Objection 8 — “The effective matter is unphysical.”
Answer: The background source satisfies NEC and WEC but violates SEC near the core and DEC in a far tail. Whether a healthy microscopic Actor realizes it is open. The objection blocks derivation, not the exact Einstein-tensor identity.
22.8 Objection 9 — “You chose \(\ell\) freely.”
Answer: Yes. It is typed as a construction parameter. No numerical prediction is claimed.
22.9 Objection 10 — “The model is observationally indistinguishable from Schwarzschild if \(\ell\) is tiny.”
Answer: Yes. Compatibility is not confirmation. The empirical footprint remains open.
22.10 Objection 11 — “Astrophysical black holes rotate.”
Answer: Yes. The spherical witness is a mechanism certificate, not the final astrophysical solution. Rotation is a reopen condition for any promotion.
22.11 Objection 12 — “Appending compact dimensions does not create a 13D solution.”
Answer: Correct. The direct product proves only local invariant finiteness conditional on spectator factors. Full equations and moduli are unverified.
22.12 Objection 13 — “The de Sitter core is exact only at the center.”
Answer: Correct. The first non-de-Sitter term occurs at order \(r^5\). The dossier uses the phrase “de Sitter-like center,” not an exact finite de Sitter ball.
22.13 Objection 14 — “NEC violation is usually needed for regular black holes.”
Answer: The exact source here saturates radial NEC and satisfies tangential NEC. The theorem evasion visible in this model is SEC violation. Broader no-go statements depend on assumptions and global structure.
22.14 Objection 15 — “The DEC violation in the tail is embarrassing.”
Answer: It is a real model weakness and is disclosed. The tail decays, but small magnitude does not convert a violated condition into a satisfied one. A different regular metric or modified-gravity interpretation may improve it.
22.15 Objection 16 — “The photon-ring threshold does not prove instability.”
Answer: Correct. It identifies the regime where the generic stable-light-ring concern applies. Growth rates and endpoints are not calculated.
22.16 Objection 17 — “Hawking temperature is not an evaporation solution.”
Answer: Correct. It is a static semiclassical diagnostic only.
22.17 Objection 18 — “The project status is artificially generous.”
Answer: The project-dependency status is a governance decision. The physical endpoint is reported separately as required by the constitution. A reviewer may reject the project label without changing the conditional calculations.
22.18 Objection 19 — “Why use Hayward rather than Bardeen or another model?”
Answer: Audit tractability. The choice is not presented as unique. A comparative appendix records alternatives and the selection criterion.
22.19 Objection 20 — “Does the metric arise from nonlinear electrodynamics?”
Answer: Some regular metrics admit nonlinear-electrodynamics interpretations, but this dossier does not claim a unique or project-derived NLED action. The effective stress tensor is the only frozen source statement.
22.20 Objection 21 — “Could the center still contain a non-scalar singularity?”
Answer: The displayed smooth series and finite constant-curvature leading behavior strongly support local regularity. A complete parallelly propagated curvature and extension analysis would strengthen the claim; global perturbed behavior remains open.
22.21 Objection 22 — “Does \(m\to0\) cause an ambiguous center limit?”
Answer: Joint limits can be path dependent in parameterized families. The gate fixes a positive asymptotic mass when describing a compact object and takes the center limit at fixed \(m,\ell>0\). The Minkowski limit is taken at fixed \(r>0\). Claims are scoped accordingly.
22.22 Objection 23 — “What about distributional orbifold curvature in 13D?”
Answer: Orbifold fixed-point terms belong to the internal boundary/defect sector and must be included in a full uplift. They do not cancel a 4D singularity and are not used in the local product invariant claim.
22.23 Objection 24 — “A regular metric with a Cauchy horizon may be less physical than Schwarzschild.”
Answer: Possibly. The witness proves regular static geometry exists, not that it is dynamically preferred. The inner-horizon residual is therefore gate-owned and potentially branch-killing.
22.24 Objection 25 — “The singularity problem may require quantum states, not a classical metric.”
Answer: Agreed. That would move the physical solution to a different branch. The current witness remains an effective geometric benchmark against which such a theory can be tested.
22.25 Objection 26 — “You cannot call it a black hole below threshold.”
Answer: Correct. The family splits. Below \(m_{\rm crit}\) it is a horizonless regular compact geometry, not a black hole in the global causal sense.
22.26 Objection 27 — “Does asymptotic flatness conflict with the observed cosmological background?”
Answer: It is a local idealization. A cosmological embedding would replace infinity with an appropriate asymptotic region and slightly alter horizons. The local core calculations survive only after the new metric is checked.
22.27 Objection 28 — “Why does project closure survive the correction?”
Answer: Because the gate’s role in the board is dependency management. A complete construction witness exists and all unowned physics is fenced. The constitutional correction prevents that bookkeeping from being mistaken for a full derivation.
22.28 Objection 29 — “Can external energy rescue an infaller?”
Answer: Only before the worldline is inside a true event horizon, or in a spacetime whose future global structure never creates such a horizon. External energy does not violate causal cones.
22.29 Objection 30 — “What result would most decisively strengthen the gate?”
Answer: A target-blind derivation of a stable rotating regular core from the frozen 13D parent action, including a consistent collapse solution and a fixed \(\ell\)-map. That would convert a construction anchor into a derived physical endpoint.
Part XXIII — Reproducibility and fail-closed computation contract
23. Reproduction objective
A future reviewer must be able to regenerate every exact number in the gate without using prose as an authority. The computation contract accepts only symbolic identities or independently converged numerical checks. It must fail if any asserted identity does not simplify to zero.
23.1 Frozen inputs
Metric signature: (-,+,+,+)
Units: G=c=1
Coordinates: (t,r,theta,phi)
Areal-radius domain: r >= 0
Parameters: m>0, ell>0
Metric function:
f(r)=1-2*m*r^2/(r^3+2*m*ell^2)
Field equation for effective-source readout:
G_ab=8*pi*T_ab
No observational target is loaded. No value of \(\ell\) is supplied.
23.2 Required symbolic outputs
The reproducer must generate:
- the center series of \(f\);
- exact \(R(r)\);
- exact \(K(r)\);
- \(R(0)\) and \(K(0)\);
- mass function \(M(r)\);
- \(\rho,p_r,p_t\);
- energy-condition combinations;
- horizon polynomial and discriminant;
- extremal radius and mass;
- surface gravity at a root;
- light-ring polynomial;
- double-root light-ring threshold;
- exact threshold ratio.
23.3 Fail-closed assertions
The script shipped with this dossier asserts:
\[ R(0)-12/\ell^2=0, \]
\[ K(0)-24/\ell^4=0, \]
\[ \Delta_H-4m^2\ell^2(16m^2-27\ell^2)=0, \]
\[ r_{\rm UCO}-2\sqrt{30}\ell/5=0, \]
\[ m_{\rm UCO}-24\sqrt{30}\ell/125=0, \]
\[ \rho+p_r=0, \]
\[ \rho+p_t-rac{9m^2\ell^2r^3}{2\pi(r^3+2m\ell^2)^3}=0. \]
Any failed assertion terminates the reproduction.
23.4 Independent-route requirements
At least two routes are required for the center invariants and thresholds.
Center curvature
- route A: full exact curvature formulas and limits;
- route B: de Sitter Taylor coefficient identities.
Horizon threshold
- route A: simultaneous \(P_H=P_H'=0\);
- route B: cubic discriminant \(\Delta_H=0\).
Light-ring threshold
- route A: exact simultaneous polynomial solve;
- route B: numerical root-count change across the threshold.
23.5 Numerical scan protocol
Numerical work is diagnostic only. A recommended scan uses dimensionless \(\ell=1\), masses on both sides of the exact thresholds, high-precision polynomial roots, and residual checks
\[ |P(r_i)|<10^{-p} \]
at precision \(p\). Numerical scans may not replace exact threshold algebra.
23.6 Environment record
The included verification was executed with Python and SymPy. A release manifest should record:
- Python version;
- SymPy version;
- operating system;
- SHA-256 of the script;
- SHA-256 of the JSON output;
- dossier hash;
- execution timestamp;
- exit code.
23.7 Reproduction artifacts
This dossier is accompanied in the working package by:
verify_gate21.py
symbolic reproducer with assertions
gate21_verification.json
exact expressions and decimals
gate21_verification_stdout.txt
human-readable run output
The Markdown file remains self-contained because the code is reproduced in Appendix B.
23.8 What reproducibility does not certify
A symbolic match certifies algebra given the metric. It does not certify:
- that the metric is selected by nature;
- that the source is microscopically healthy;
- that collapse forms the geometry;
- that the inner horizon is stable;
- that the 13D uplift solves the parent equations;
- that \(\ell\) has a particular value;
- that an observation confirms the core.
Part XXIV — Dependency graph, ownership graph, and residual ledger
24. Dependency graph
Shape root
-> frozen 13D carrier
-> 4D noncompact metric slot
-> requirement for full uplift
Scale root
-> G and asymptotic mass ruler
-> compactification scales
-> ell-map still missing
Granularity root
-> finite-record discipline
-> exact-point readout not empirical
-X-> no automatic metric smoothing
Dynamics root
-> parent action/evolution owed
-> effective Einstein readout available
-> microscopic source open
Gate 21 witness
-> finite center
-> horizon threshold
-> light-ring threshold
-> source/energy ledger
Downstream
-> Gap-13 entropy/Page: may use a regular background only conditionally
-> UQF-10 compactification: must test black-hole background
-> UQF-5C/9/14: may own UV derivation
-> phenomenology: may compute signatures after ell/spin freeze
24.1 Ownership graph
| Object | Primary owner | Gate 21 use | Status |
|---|---|---|---|
| 13D geometry | Shape root / SG-1 | background carrier | frozen |
| operational cost floor | Granularity root | observer-map discipline | certified root |
| gravitational action | Dynamics root / UQF | source of metric | incomplete for core |
| \(G\), \(M\) | empirical/Scale | mass ruler | anchored |
| \(\ell\) | Gate 21 construction | core scale | free |
| Hayward profile | Gate 21 construction | witness | selected, not derived |
| effective stress tensor | Gate 21 | Einstein readout | exact |
| entropy/Page curve | Gap-13 | explicitly excluded | separate |
| UV completion | UQF-5C/9/14 | potential derivation | external/open |
| compactification stability | UQF-10/SG-6 | uplift viability | external/open |
| rotating phenomenology | future Gate 21 extension | realism | open |
24.2 Residual ledger
R21-1 — Parent-action derivation
Question: Does the frozen 13D action produce the regular core without target-loading?
Type: physical blocker to derived closure.
Completion contract: derive field equations, solve for the core, reproduce or replace the Hayward profile, and freeze all coefficients before comparison.
R21-2 — Scale map
Question: What fixes \(\ell\)?
Type: identifiability and prediction debt.
Completion contract: derive \(\ell\) from frozen scales/couplings or classify it as a measured anchor with an independent measurement protocol.
R21-3 — Global completeness
Question: Is the maximal physical spacetime geodesically complete?
Type: mathematical/causal debt.
Completion contract: classify all causal geodesics in the physical collapse geometry, not merely the static background.
R21-4 — Inner-horizon endpoint
Question: Does mass inflation destroy regularity?
Type: branch-killing stability debt.
Completion contract: nonlinear perturbation/backreaction calculation with the actual source.
R21-5 — Formation
Question: Does collapse reach the core from generic regular data?
Type: Dynamics debt.
Completion contract: time-dependent solution and basin-of-attraction analysis.
R21-6 — Evaporation
Question: What is the late-time causal structure?
Type: semiclassical Dynamics debt.
Completion contract: renormalized stress tensor, backreaction, endpoint, and conformal diagram.
R21-7 — Rotation
Question: Is there a stable regular Kerr-like branch?
Type: empirical realism debt.
Completion contract: derived axisymmetric solution, source, regularity, horizon structure, and perturbations.
R21-8 — Full 13D uplift
Question: Do compact factors remain stable and satisfy their equations?
Type: full-object debt.
Completion contract: solve internal components and coupled Hessian/KK spectrum.
R21-9 — Empirical discriminator
Question: What frozen observable distinguishes the core?
Type: empirical footprint debt.
Completion contract: target-blind prediction with uncertainty and covariance.
R21-10 — Microscopic source health
Question: Is the Actor ghost-free, causal, and stable?
Type: consistency debt.
Completion contract: explicit action and perturbation analysis.
24.3 Gating versus nongating residuals
For the current project board, all residuals are nongating because the dependency endpoint is construction-anchored. For a journal claim that the theory resolves black-hole singularities, R21-1, R21-4, R21-5, R21-7, R21-8, and R21-10 are gating.
24.4 Value-of-information ranking
- R21-1 parent-action derivation — highest value; may transform the gate.
- R21-4 inner-horizon evolution — highest branch-kill risk.
- R21-7 rotating completion — highest empirical relevance.
- R21-8 13D uplift — highest project-specific consistency value.
- R21-2 scale map — needed for prediction.
- R21-5 formation — needed for physical realization.
- R21-9 empirical discriminator — needed for external confirmation.
- R21-6 evaporation — important but overlaps Gap-13/UV work.
- R21-10 source action — may be included in R21-1.
- R21-3 completeness theorem — should follow the dynamical geometry.
Part XXV — Final adjudication and reopen triggers
25. Five-part constitutional closure test
The closure constitution requires full-root support, empirical support, law support, same-ruler validity, and negative controls.
A-root support
- Shape: scoped spectator placement only;
- Scale: mass anchored, core scale free;
- Granularity: operational discipline only;
- Dynamics: effective source reconstructed, parent derivation open.
Result: insufficient for full derived physical closure; sufficient for a construction witness.
Empirical support
The exterior recovery is consistent with inherited records. No direct core observation exists.
Result: compatibility support, not confirmation.
Law support
Covariance, Einstein-tensor reconstruction, Bianchi identity, horizon algebra, and theorem-hypothesis evasion are explicit.
Result: pass at static effective scope.
Same-ruler support
Legacy mismatches are corrected. Static and dynamical claims are separated; \(\ell\) is typed correctly.
Result: pass for the reconstructed scope.
Negative controls
Twenty destruction tests are registered, with major legacy claims already killed by two of them.
Result: pass.
25.1 Physical endpoint
SCOPED-CLOSED / CONSTRUCTION-ANCHORED REGULAR CORE
Meaning:
- the exact selected geometry is curvature regular at the center;
- its effective Einstein source is fully calculated;
- the exterior and static thresholds are reproducible;
- the theory does not yet derive or physically validate the complete object.
25.2 Project-dependency endpoint
CLOSED / RESOLVED +0
Meaning:
- downstream work may use “a regular core exists as a construction branch”;
- downstream work may not use “the theory has proved singularities absent in nature”;
- every use must carry the construction parameter \(\ell\) and stability/uplift caveats.
25.3 Reopen triggers
The project dependency reopens only if one of the following named events occurs:
- an algebraic error makes the center invariant divergent;
- the denominator has an unrecognized physical-domain zero;
- the effective source violates a project-mandatory consistency condition not currently scoped out;
- the selected branch cannot be embedded even as a controlled 4D effective construction;
- a contradiction appears in the horizon/light-ring algebra;
- governance changes so construction anchors no longer close project dependencies.
The physical endpoint strengthens or weakens under additional triggers:
- strengthen to derived: parent action selects a stable core and fixes \(\ell\);
- downgrade to existence-only: inner-horizon or source instability is generic and fatal;
- retire Hayward branch: rotating/uplift calculations fail with no lawful repair;
- promote empirically: a frozen discriminating prediction survives data;
- remain unchanged: another regular metric works better but Hayward remains a valid witness.
25.4 Do-not-overclaim fence
The following sentences are prohibited in downstream documents:
- “Granularity proves a minimum length.”
- “A finite measurement resolution removes a GR singularity.”
- “The 13D shape automatically smooths black holes.”
- “The Hayward core is derived by the theory.”
- “A smooth core means no event horizon.”
- “The model is geodesically complete” without a global proof.
- “The inner horizon is stable.”
- “The core is observed.”
- “The gate solves the information paradox.”
Approved sentence:
Gate 21 is closed as a project dependency by an exact construction-anchored regular-core witness. The full 13D Dynamics derivation, scale fixing, rotating completion, and nonlinear stability remain explicit physical residuals.
Part XXVI — Preservation manifest and change log
26. Preservation manifest
Canonical objects preserved
- gate number and name;
- project board dependency status;
- frozen 13D carrier identity;
- Hayward metric witness;
- exact central invariants;
- effective source formulas;
- horizon and light-ring thresholds;
- residual stability concerns;
- separation from entropy/Page gate.
Objects retyped
- \(\ell\): from alleged Granularity output to construction parameter;
- regular core: from root-forced to selected witness;
- horizon statement: from “no event horizon” to static two-horizon classification;
- endpoint: from single label to physical/project pair.
Objects retired
- smallest-length derivation from Granularity;
- operational cutoff as singularity cure;
- global event-horizon removal from center regularity;
- positive-\(\Lambda\) event-horizon dismissal;
- global completeness by finite scalar invariants.
26.1 Reconstruction completeness ledger
| Required item | Location | Complete? |
|---|---|---|
| exact charter | Part II | yes |
| child explanation | Part III | yes |
| definitions | Part IV | yes |
| constitutional roots | Part V | yes |
| empirical/law anchors | Part VI | yes |
| assumptions | Part VII | yes |
| truth table | Part VIII | yes |
| branch grammar | Part IX | yes |
| classical baseline | Part X | yes |
| full 13D placement | Part XI | yes |
| selected construction | Parts XII–XVI | yes |
| causal/global audit | Part XVII | yes |
| Dynamics/stability | Part XVIII | yes, residuals named |
| same-ruler audit | Part XIX | yes |
| empirical interface | Part XX | yes |
| negative controls | Part XXI | yes |
| hostile review | Part XXII | yes |
| reproducibility | Part XXIII / Appendix B | yes |
| dependencies/ownership | Part XXIV | yes |
| endpoints/reopen triggers | Part XXV | yes |
| preservation/change log | Part XXVI | yes |
26.2 Version change log
Version 1.x — legacy gate
- status
DISSOLVED-GIVEN-root / RESOLVED +0; - minimum-length premise attributed to Granularity;
- Hayward calculations and thresholds developed;
- event-horizon and completeness language overpromoted.
Version 2.0-reconstructed — current dossier
- applied 2026-07-13 closure constitution;
- separated physical and project endpoints;
- reconciled with 2026-07-12 Granularity correction;
- independently re-derived exact formulas;
- retyped \(\ell\) as construction scale;
- corrected singularity definition;
- corrected event-horizon and cosmological-horizon language;
- added full Shape–Scale–Granularity–Dynamics projection;
- added 13D product-curvature audit;
- added DEC tail violation;
- added complete branch grammar, negative controls, and reopen triggers;
- retained project dependency as closed.
26.3 Future change-control rule
Any future edit that strengthens the physical endpoint must include:
- new frozen evidence;
- exact affected section list;
- dependency propagation;
- negative control;
- before/after status table;
- independent reproduction;
- preservation of adverse results.
No status may be changed by prose alone.
Appendix A — Full derivation notebook
A.1 Derivatives of the metric function
Let
\[ D=r^3+2m\ell^2, \qquad f=1-\frac{2mr^2}{D}. \]
Then
\[ f'=-2m\frac{2rD-r^2D'}{D^2}, \qquad D'=3r^2. \]
Therefore
\[ f'=-2m\frac{2r(r^3+2m\ell^2)-3r^4}{D^2} =2m\frac{r^4-4m\ell^2r}{D^2}. \]
Equivalently,
\[ \boxed{ f'=\frac{2mr(r^3-4m\ell^2)}{(r^3+2m\ell^2)^2}. } \]
Differentiating again gives an exact rational expression. For practical invariant calculations it is simpler to let a symbolic engine combine \(f''\) with the general formulas, but a hand derivation can proceed by quotient rule. Define
\[ N=2mr(r^3-4m\ell^2)=2mr^4-8m^2\ell^2r. \]
Then
\[ f''=\frac{N'D^2-2NDD'}{D^4} =\frac{N'D-2ND'}{D^3}, \]
where
\[ N'=8mr^3-8m^2\ell^2. \]
Substitution and polynomial collection produce the expressions used in \(R\) and \(K\).
A.2 Ricci scalar by direct substitution
Starting from
\[ R=-f''-\frac{4f'}{r}+\frac{2(1-f)}{r^2}, \]
use
\[ 1-f=\frac{2mr^2}{D} \quad\Rightarrow\quad \frac{2(1-f)}{r^2}=\frac{4m}{D}. \]
The derivative terms share denominator \(D^3\). After expansion, all high-degree terms cancel except a term proportional to \(4m\ell^2-r^3\):
\[ R=\frac{24m^2\ell^2(4m\ell^2-r^3)}{D^3}. \]
The cancellation is a useful algebra control. If an implementation leaves an \(r^6\) or \(r^9\) numerator term after simplification, it likely contains a derivative error.
A.3 Kretschmann scalar formula check
For the orthonormal frame of a static spherical metric, the independent curvature magnitudes can be arranged into radial-time, angular-time, angular-radial, and angular-angular components. Squaring and summing yields
\[ K=(f'')^2+4(f'/r)^2+4((1-f)/r^2)^2. \]
Three calibration metrics test the formula.
Minkowski
\[ f=1\Rightarrow f'=f''=0\Rightarrow K=0. \]
Schwarzschild
\[ f=1-2m/r\Rightarrow K=48m^2/r^6. \]
de Sitter
\[ f=1-r^2/\ell^2, \]
so
\[ f'=-2r/\ell^2, \qquad f''=-2/\ell^2, \]
and
\[ K=\frac{4}{\ell^4}+4\frac{4}{\ell^4}+4\frac{1}{\ell^4} =\frac{24}{\ell^4}. \]
All controls pass.
A.4 Mass-function source derivation
For
\[ f=1-\frac{2M(r)}{r}, \]
the \(tt\) Einstein equation gives
\[ 8\pi\rho=\frac{1-f-rf'}{r^2}=\frac{2M'}{r^2}. \]
Thus
\[ M'=4\pi r^2\rho. \]
With
\[ M=\frac{mr^3}{D}, \]
\[ M'=m\frac{3r^2D-r^3(3r^2)}{D^2} =\frac{6m^2\ell^2r^2}{D^2}, \]
and
\[ \rho=\frac{3m^2\ell^2}{2\pi D^2}. \]
The equality \(g_{tt}g_{rr}=-1\) in this gauge implies \(G^t{}_t=G^r{}_r\), hence \(p_r=-\rho\).
For the tangential pressure,
\[ M''=\frac{24m^2\ell^2r(m\ell^2-r^3)}{D^3}, \]
so
\[ p_t=-\frac{M''}{8\pi r} =\frac{3m^2\ell^2(r^3-m\ell^2)}{\pi D^3}. \]
A.5 Energy-condition regions
Define
\[ x=\frac{r^3}{m\ell^2}\ge0. \]
Then
\[ \frac{p_t}{\rho}=\frac{2(x-1)}{x+2}. \]
This compact form makes the conditions transparent.
- At \(x=0\), \(p_t/\rho=-1\).
- At \(x=1\), \(p_t=0\).
- As \(x\to\infty\), \(p_t/\rho\to2\).
The DEC upper bound fails for \(x>4\). The SEC sum changes sign at \(x=1\). NEC is always nonnegative because
\[ \rho+p_t=\rho\left(1+\frac{2(x-1)}{x+2}\right) =\rho\frac{3x}{x+2}\ge0. \]
A.6 Horizon discriminant derivation
For a cubic
\[ a r^3+b r^2+c r+d, \]
the discriminant is
\[ \Delta=b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd. \]
Here
\[ a=1,\quad b=-2m,\quad c=0,\quad d=2m\ell^2. \]
Therefore
\[ \Delta=-4b^3d-27d^2 =-4(-8m^3)(2m\ell^2)-27(4m^2\ell^4), \]
\[ \Delta=64m^4\ell^2-108m^2\ell^4 =4m^2\ell^2(16m^2-27\ell^2). \]
A.7 Surface gravity derivation
At a horizon,
\[ r_h^3-2mr_h^2+2m\ell^2=0, \]
so
\[ m=\frac{r_h^3}{2(r_h^2-\ell^2)}. \]
Substitute this into
\[ f'=\frac{2mr(r^3-4m\ell^2)}{(r^3+2m\ell^2)^2}. \]
Use the horizon identity \(r_h^3+2m\ell^2=2mr_h^2\). Then
\[ f'(r_h) =\frac{2mr_h(r_h^3-4m\ell^2)}{4m^2r_h^4} =\frac{r_h^3-4m\ell^2}{2mr_h^3}. \]
Replacing \(m\) and simplifying gives
\[ f'(r_h)=\frac{r_h^2-3\ell^2}{r_h^3}, \]
hence
\[ \kappa_h=\frac{|r_h^2-3\ell^2|}{2r_h^3}. \]
A.8 Light-ring threshold derivation
The dimensionless light-ring polynomial is
\[ Q(x,\mu)=x^6-3\mu x^5+4\mu x^3+4\mu^2. \]
Its derivative is
\[ Q_x=6x^5-15\mu x^4+12\mu x^2 =3x^2(2x^3-5\mu x^2+4\mu). \]
For a positive double root, solve
\[ 2x^3-5\mu x^2+4\mu=0 \]
for \(\mu\):
\[ \mu=\frac{2x^3}{5x^2-4}. \]
Substitute into \(Q=0\). After clearing denominators and removing unphysical factors, the positive solution is
\[ x^2=\frac{24}{5}, \]
so
\[ x=\frac{2\sqrt{30}}{5}. \]
Substitution into \(\mu\) yields
\[ \mu=\frac{24\sqrt{30}}{125}. \]
A.9 Threshold ordering
The exact ratio is
\[ \frac{m_{\rm UCO}}{m_{\rm crit}} =\frac{24\sqrt{30}/125}{3\sqrt3/4} =\frac{32\sqrt{10}}{125}<1. \]
To verify the inequality without decimals,
\[ \left(\frac{32\sqrt{10}}{125}\right)^2 =\frac{10240}{15625}<1. \]
Therefore the light-ring pair appears before the horizon as mass increases.
A.10 Large-radius series
Use
\[ \frac{1}{r^3+2m\ell^2} =\frac{1}{r^3} \left(1-\frac{2m\ell^2}{r^3} +\frac{4m^2\ell^4}{r^6}+\cdots\right). \]
Then
\[ \frac{2mr^2}{r^3+2m\ell^2} =\frac{2m}{r} -\frac{4m^2\ell^2}{r^4} +\frac{8m^3\ell^4}{r^7}+\cdots, \]
and
\[ f=1-\frac{2m}{r} +\frac{4m^2\ell^2}{r^4} -\frac{8m^3\ell^4}{r^7}+\cdots. \]
A.11 Small-radius series
Use
\[ \frac{1}{r^3+2m\ell^2} =\frac{1}{2m\ell^2} \left(1-\frac{r^3}{2m\ell^2} +\frac{r^6}{4m^2\ell^4}-\cdots\right). \]
Then
\[ f=1-\frac{r^2}{\ell^2} +\frac{r^5}{2m\ell^4} -\frac{r^8}{4m^2\ell^6}+\cdots. \]
The series contains powers \(r^{2+3n}\). The center invariants depend on the leading \(r^2\) coefficient.
A.12 Restoring units
The geometrized variables are related by
\[ m=\frac{GM}{c^2}. \]
The critical physical mass is therefore
\[ M_{\rm crit} =\frac{c^2}{G}\frac{3\sqrt3}{4}\ell. \]
No numerical value should be quoted until \(\ell\) is independently fixed.
The center curvature has SI dimension \(\mathrm{m}^{-4}\):
\[ K(0)=24/\ell^4. \]
A comparison to a quantum-gravity scale requires a declared conversion and action, not only units.
Appendix B — Exact symbolic reproducer
#!/usr/bin/env python3
"""Exact symbolic checks for Gate 21's Hayward construction witness."""
import json
import sympy as sp
r, m, ell = sp.symbols('r m ell', positive=True)
pi = sp.pi
D = r**3 + 2*m*ell**2
f = 1 - 2*m*r**2/D
fp = sp.diff(f, r)
fpp = sp.diff(fp, r)
R = sp.factor(-fpp - 4*fp/r + 2*(1-f)/r**2)
K = sp.factor(
fpp**2
+ 4*(fp/r)**2
+ 4*((1-f)/r**2)**2
)
M = sp.factor(m*r**3/D)
rho = sp.factor((1-f-r*fp)/(8*pi*r**2))
p_r = sp.factor(-rho)
p_t = sp.factor((fpp/2 + fp/r)/(8*pi))
horizon_poly = sp.expand(r**3 - 2*m*r**2 + 2*m*ell**2)
horizon_disc = sp.factor(sp.discriminant(horizon_poly, r))
mcrit = 3*sp.sqrt(3)*ell/4
rcrit = sp.sqrt(3)*ell
m_from_horizon = sp.solve(horizon_poly, m)[0]
kappa_expr = sp.factor(
sp.simplify(fp.subs(m, m_from_horizon)/2)
)
light_num = sp.factor(
sp.together(r*fp - 2*f).as_numer_denom()[0]
)
x, mu = sp.symbols('x mu', positive=True)
light_dimless = sp.factor(
x**6 - 3*mu*x**5 + 4*mu*x**3 + 4*mu**2
)
sol = sp.solve(
[light_dimless, sp.diff(light_dimless, x)],
[x, mu],
dict=True,
)[0]
r_uco = sp.simplify(sol[x]*ell)
m_uco = sp.simplify(sol[mu]*ell)
ratio_uco = sp.simplify(m_uco/mcrit)
assert sp.simplify(sp.limit(R, r, 0) - 12/ell**2) == 0
assert sp.simplify(sp.limit(K, r, 0) - 24/ell**4) == 0
assert sp.simplify(
horizon_disc - 4*ell**2*m**2*(16*m**2-27*ell**2)
) == 0
assert sp.simplify(r_uco - 2*sp.sqrt(30)*ell/5) == 0
assert sp.simplify(m_uco - 24*sp.sqrt(30)*ell/125) == 0
assert sp.simplify(ratio_uco - 32*sp.sqrt(10)/125) == 0
assert sp.simplify(rho+p_r) == 0
assert sp.factor(rho+p_t) == (
9*ell**2*m**2*r**3
/(2*pi*(2*ell**2*m+r**3)**3)
)
outputs = {
"f_series_r0": str(sp.series(f, r, 0, 9)),
"R_exact": str(R),
"K_exact": str(K),
"R_center": str(sp.limit(R, r, 0)),
"K_center": str(sp.limit(K, r, 0)),
"M": str(M),
"rho": str(rho),
"p_r": str(p_r),
"p_t": str(p_t),
"horizon_polynomial": str(horizon_poly),
"horizon_discriminant": str(horizon_disc),
"critical_radius": str(rcrit),
"critical_mass": str(mcrit),
"surface_gravity_signed": str(kappa_expr),
"light_ring_numerator": str(light_num),
"light_ring_radius": str(r_uco),
"light_ring_mass": str(m_uco),
"threshold_ratio": str(ratio_uco),
}
print(json.dumps(outputs, indent=2))B.1 Expected exact output
R_center = 12/ell**2
K_center = 24/ell**4
horizon_discriminant = 4*ell**2*m**2*(-27*ell**2 + 16*m**2)
critical_radius = sqrt(3)*ell
critical_mass = 3*sqrt(3)*ell/4
surface_gravity_signed = (-3*ell**2 + r**2)/(2*r**3)
light_ring_radius = 2*sqrt(30)*ell/5
light_ring_mass = 24*sqrt(30)*ell/125
threshold_ratio = 32*sqrt(10)/125
B.2 Machine-review instructions
A technical AI should:
- run the script unchanged;
- inspect the exact symbolic expressions rather than only decimals;
- independently derive at least one invariant from the Christoffel symbols;
- verify dimensional homogeneity;
- test random positive numerical points against direct tensor computation;
- confirm that no target values enter;
- refuse any status promotion beyond the ansatz.
Appendix C — Comparative regular-core atlas
C.0 Purpose and scope
The Hayward metric is not unique. A hostile reviewer should verify that the gate does not rely on a property common to all regular metrics as if it were unique to Hayward, or rely on a Hayward-specific property as if Granularity forced it. This appendix compares representative branches at the level needed for gate governance. It is not an exhaustive literature review.
Every candidate is tested against the same columns:
- central regularity;
- asymptotic recovery;
- source interpretation;
- horizon structure;
- inner-horizon risk;
- rotating extension;
- scale provenance;
- relation to the 13D project.
C.1 Bardeen-type mass function
A common form is
\[ f_B(r)=1-\frac{2mr^2}{(r^2+g^2)^{3/2}}, \]
where \(g\) is a length scale often interpreted as a magnetic charge in a nonlinear-electrodynamics realization.
Near the center,
\[ f_B(r)=1-\frac{2m}{g^3}r^2+O(r^4), \]
so the center is de Sitter-like with effective curvature set by \(m/g^3\), not by a mass-independent \(1/\ell^2\). This is a structural difference from the Hayward witness. The Bardeen scale can be tied to a charge-like parameter, but if that charge is not observed it may function as another construction knob.
Strengths:
- smooth central expansion;
- asymptotic Schwarzschild recovery;
- known effective source constructions;
- long history as a regular-black-hole benchmark.
Weaknesses:
- source interpretation can depend on magnetic monopole-like structure;
- horizon and inner-horizon issues remain;
- parameter provenance is not supplied by Hiking Physics;
- realistic rotation and stability remain nontrivial.
Gate use: valid alternative witness. Its existence confirms that the regularity conclusion is not unique to the rational Hayward profile. It does not weaken the exact Hayward calculations; it weakens any uniqueness language.
C.2 Dymnikova-type density profile
Dymnikova-type constructions begin from a smooth density that approaches a vacuum-like constant at the center and decays at large radius. A schematic mass function is
\[ M_D(r)=m\left(1-e^{-r^3/r_0^3}\right), \]
with \(r_0\) chosen to produce the desired central density. Near the center,
\[ M_D(r)\sim m\frac{r^3}{r_0^3}, \]
again yielding a de Sitter-like core.
Strengths:
- entire-function smoothness;
- direct density-profile interpretation;
- no rational denominator concerns.
Weaknesses:
- the profile and scale are selected;
- effective matter and perturbation closure remain model dependent;
- exact horizon thresholds may require transcendental analysis;
- full 13D origin is absent.
Gate use: demonstrates that the load-bearing regularity condition is \(M(r)=O(r^3)\), not the exact Hayward denominator.
C.3 General mass-function regularity condition
For
\[ f=1-\frac{2M(r)}{r}, \]
a sufficient central condition is
\[ M(r)=a r^3+O(r^{3+\delta}),\qquad \delta>0. \]
Then
\[ f=1-2a r^2+\cdots, \]
and the center is constant-curvature-like with
\[ \Lambda_{\rm eff}=6a. \]
The density satisfies
\[ \rho(0)=\frac{3a}{4\pi}. \]
This general result is the correct “family” statement. Granularity does not force it. Regular spherical Einstein metrics with finite density do.
A hostile reviewer should demand that any proposed mass function satisfy:
- \(M(0)=0\);
- \(M'(0)=M''(0)=0\) in the appropriate smooth sense;
- \(M(r)/r^3\) finite;
- finite derivatives needed by the claimed curvature order;
- \(M(r)\to m\) at infinity.
C.4 Thin-shell de Sitter–Schwarzschild constructions
One can join a de Sitter interior to a Schwarzschild exterior at a radius \(R\). Israel junction conditions determine the shell stress tensor. Such gravastar-like constructions make the source and matching cost explicit.
Strengths:
- interior and exterior are each exact simple solutions;
- no central singularity;
- can avoid an event horizon for selected radius;
- shell degrees of freedom are localized and auditable.
Weaknesses:
- shell equation of state and stability are extra inputs;
- junction may require exotic stresses;
- formation mechanism is unclear;
- observational surface effects may be constrained.
Negative-control lesson: a regular core is not free. If smooth interpolation hides the matching layer, the Einstein tensor still records the equivalent distributed source.
C.5 Simpson–Visser black-bounce-type geometries
Black-bounce models replace the areal factor by a nonsingular expression such as
\[ r^2\mapsto r^2+a^2, \]
allowing a continuous family between black holes, one-way wormholes, and traversable wormholes depending on parameters. They can be curvature regular and have no \(r=0\) areal center in the usual sense.
Strengths:
- explicit global continuation;
- tunable causal classes;
- useful for testing whether “regular center” is the right object.
Weaknesses:
- often require NEC violation;
- topology and throat interpretation differ from the project’s current branch;
- parameter \(a\) remains construction data;
- stability and formation are open.
Gate use: shows that singularity resolution may change topology rather than only smooth a center. The finite branch grammar must not pretend the Hayward topology is forced.
C.6 Limiting-curvature constructions
A limiting-curvature theory modifies Dynamics so selected curvature invariants cannot exceed a bound. Schematically, auxiliary fields constrain
\[ I[g]\le I_{\max}. \]
Strengths:
- regularity can be action-derived;
- the bound can directly control the relevant invariant;
- potentially more native to the project’s constraint-first philosophy.
Weaknesses:
- choice of invariant and constraint action is nonunique;
- higher-derivative dynamics can introduce extra modes;
- covariance, hyperbolicity, and stability must be checked;
- a 13D invariant may not reduce to the intended 4D bound.
Project opportunity: this is a plausible route to convert the current construction anchor into a Dynamics result. The Uniform Operational Cell Law alone is insufficient; an explicit covariant limiting-curvature Actor or multiplier is needed.
C.7 Asymptotic-safety or running-coupling improvement
A common heuristic replaces \(G\) by a scale-dependent coupling \(G(k(r))\), producing
\[ f(r)=1-\frac{2M G(r)}{c^2r}. \]
If \(G(r)\) decreases rapidly enough near the center, curvature can soften.
Strengths:
- connects regularity to renormalization flow;
- could use the project’s spectral/heat-kernel data;
- may derive a core scale from running.
Weaknesses:
- scale identification \(k(r)\) is ambiguous;
- RG improvement of a classical solution is not the same as solving quantum effective equations;
- gauge and scheme dependence can enter;
- full 13D running and compactification must be included.
Required anti-fitting test: freeze the RG scale map before checking whether the resulting metric resembles Hayward.
C.8 Nonlocal ghost-free form-factor branch
Actions with analytic functions of \(\Box\), for example
\[ R+R F_1(\Box)R+R_{ab}F_2(\Box)R^{ab}+\cdots, \]
can smear point sources and soften short-distance behavior.
Strengths:
- regularity can follow from propagator structure;
- nonlocality may be bounded and covariant;
- source smearing can be calculated.
Weaknesses:
- causal prescription and initial-value formulation are delicate;
- form factors are model data;
- black-hole solutions are harder than linearized potentials;
- unitarity claims depend on analytic structure.
Gate use: possible Dynamics route, not current evidence.
C.9 Loop-inspired polymer or Planck-star branch
These models replace classical interior evolution with discrete or effective quantum geometry and may produce a bounce.
Strengths:
- directly attacks geodesic incompleteness;
- can make the minimum-area or volume structure dynamical within the model;
- offers a causal transition rather than only a static center.
Weaknesses:
- effective prescriptions differ;
- matching to the exterior and lifetime can be controversial;
- covariance and full quantum state control are difficult;
- no derivation from Hiking Physics exists.
C.10 String microstate/fuzzball branch
Here the exact state may have no traditional empty interior, and the classical black hole emerges after coarse graining.
Strengths:
- addresses singularity and entropy in one microscopic framework;
- provides explicit state constructions in controlled sectors.
Weaknesses:
- realistic astrophysical state coverage and collapse remain hard;
- relation to the project’s 13D geometry is unbuilt;
- this gate intentionally does not import entropy closure.
C.11 Comparative table
| Branch | Center/endpoint | Field-equation ownership | Horizon classes | Main risk | Project status |
|---|---|---|---|---|---|
| Hayward | de Sitter-like center | effective Einstein source | 2/1/0 by mass | inner horizon | selected witness |
| Bardeen | de Sitter-like center | often NLED effective | 2/1/0 | source/inner horizon | alternative witness |
| Dymnikova | smooth density core | anisotropic effective matter | model dependent | profile/stability | alternative witness |
| thin shell/gravastar | de Sitter interior + shell | junction source explicit | often horizonless | shell stability | alternative branch |
| black bounce | throat/bounce | exotic effective source | BH/wormhole classes | NEC/topology | alternative branch |
| limiting curvature | bounded invariant | modified action | model dependent | extra modes | promising derivation route |
| RG improved | running coupling | effective/heuristic | model dependent | scale map | promising but unclosed |
| nonlocal | smeared core | modified action | model dependent | causality/unitarity | external route |
| loop-inspired | bounce | quantum effective | dynamical | covariance/matching | external route |
| fuzzball | microstate geometry | microscopic theory | state dependent | realistic formation | external route |
C.12 Selection conclusion
The Hayward metric wins only the audit-traceability contest. It does not win a theory-selection contest. A future derived branch may have a different profile and still strengthen Gate 21, provided it satisfies the completion contract and preserves the exact negative controls.
Appendix D — Singularity-theorem and horizon review card
D.1 Penrose theorem review card
A reviewer should not accept a one-line summary. The relevant structure is:
- noncompact Cauchy surface or appropriate global condition;
- closed trapped surface;
- null convergence condition, often expressed as \(R_{ab}k^ak^b\ge0\);
- causal/global assumptions;
- conclusion of null geodesic incompleteness.
The exact hypotheses vary with theorem formulation. Gate 21 must state which one its branch violates. The effective Hayward source satisfies the pointwise NEC in the simple static calculation, so a reviewer must not casually claim “NEC violation evades Penrose.” The global structure, genericity, completeness assumptions, and applicability of the theorem to a pre-existing regular core must be examined carefully. The visible local de-focusing is most directly reflected in SEC violation and de Sitter behavior, but the theorem audit should use the exact theorem chosen.
This is a reason not to advertise the construction as a theorem-level refutation. It is an explicit regular spacetime model with altered source assumptions.
D.2 Hawking–Penrose theorem review card
The Hawking–Penrose theorem uses a broader set of causal and convergence conditions. Again, the conclusion is incompleteness, not necessarily scalar curvature divergence. A regular model must invalidate at least one condition or evade the initial trapped-surface/generic structure.
D.3 Borde-type or inflationary incompleteness results
Cosmological incompleteness theorems concern averaged expansion and past-directed geodesics. They are not automatically black-hole interior theorems. Gate 21 must not import cosmological conclusions without matching hypotheses.
D.4 Event-horizon definition card
In asymptotically flat spacetime, a standard event horizon is
\[ \mathcal H^+=\partial J^-(\mathscr I^+). \]
This definition is global and teleological in the sense that locating it requires the full future. It is still mathematically well-defined in a completed spacetime. “Teleological” does not mean “unphysical” or “nonexistent.”
In asymptotically de Sitter or other backgrounds, the definition is adapted to the appropriate conformal boundary or observer region. The correct lesson is scope dependence, not abolition.
D.5 Trapped-surface card
For null normals \(\ell^a,n^a\) to a two-sphere, expansions \(\theta_{(\ell)}\), \(\theta_{(n)}\) classify trapped and marginal surfaces. In spherical symmetry, roots of \(f\) often coincide with marginal surfaces in static coordinates, but the general dynamical definition is expansion-based.
D.6 Cauchy-horizon card
A Cauchy horizon marks failure of global hyperbolicity relative to initial data. Exact stationary inner horizons are highly sensitive to perturbations. A regular central core does not remove the Cauchy-horizon issue; it can make it more prominent by replacing the spacelike singularity with a second horizon.
D.7 Area theorem card
The classical area theorem assumes conditions including an appropriate energy condition and global structure. Semiclassical evaporation violates the classical monotonicity through quantum stress. This gate does not use the area theorem to infer core structure.
D.8 No-escape card
Inside a true event horizon, all future-directed causal curves fail to reach the defining exterior future region. A rope, signal, pressure wave, or external actuator also follows causal propagation. External work can prevent crossing or act outside; it does not reverse the global causal classification after crossing.
D.9 Hawking 2014 statement card
Proposals emphasizing apparent horizons rather than event horizons are legitimate research positions in dynamical quantum gravity. They are not theorems that any regular center eliminates global event horizons. A dossier may cite them as branch motivation only.
D.10 Review card verdict
The reconstructed Gate 21 passes the horizon vocabulary audit because it makes only the static classification actually supported and leaves the dynamical global diagram open.
Appendix E — Technical AI self-test and hostile-review checklist
E.0 Purpose
A future AI should not merely summarize this dossier. It should demonstrate that it understands the claim boundaries well enough to reconstruct or destroy them. The following self-test is passed only when every answer preserves the separation between exact conditional mathematics, project governance, and physical derivation.
E.1 Twenty core questions
Q1. What is the strongest exact result?
Required answer: Given the Hayward metric, the center invariants, effective source, horizon threshold, surface gravity, and light-ring threshold are exactly derivable and finite.
Q2. What is not derived?
Required answer: The metric profile, core scale \(\ell\), microscopic source, collapse formation, evaporation, rotating completion, stability, and 13D uplift are not derived from the full theory.
Q3. Does Granularity produce a smallest length?
Required answer: No. The current project root states a Lorentz-scalar operational cost floor and explicitly denies a minimum spacetime length.
Q4. Does finite operational resolution cure geodesic incompleteness?
Required answer: No. It changes the observer map, not the metric or geodesic equations.
Q5. What is a GR singularity?
Required answer: Rigorously, causal geodesic incompleteness or related inextendibility; curvature divergence is a specific diagnostic, present for Schwarzschild but not the universal definition.
Q6. Is \(r=2m\) a curvature singularity?
Required answer: No. It is a coordinate singularity in Schwarzschild coordinates and a regular horizon in suitable coordinates.
Q7. Is the Hayward center exactly de Sitter everywhere?
Required answer: No. It is de Sitter-like at leading central order. The first deviation appears at \(r^5\).
Q8. Which energy condition fails near the center?
Required answer: The strong energy condition fails. The simple effective source satisfies WEC and NEC; the DEC fails in the far tail for \(r^3>4m\ell^2\).
Q9. Does the static black-hole branch have an event horizon?
Required answer: Yes, in the standard asymptotically flat stationary completion, the outer Killing horizon is also an event horizon.
Q10. What is the principal stability risk?
Required answer: Inner-horizon mass inflation on the black-hole branch; stable-light-ring behavior on part of the horizonless ultracompact branch.
Q11. What is the horizon threshold?
\[ m_{\rm crit}=3\sqrt3\ell/4. \]
Q12. What is the light-ring-pair threshold?
\[ m_{\rm UCO}=24\sqrt{30}\ell/125. \]
Q13. Which threshold is lower?
Required answer: \(m_{\rm UCO}<m_{\rm crit}\), with ratio \(32\sqrt{10}/125\approx0.80954\).
Q14. Does the 13D product cure Schwarzschild?
Required answer: No. Product curvature norm-squares add; a divergent 4D term remains divergent.
Q15. What does the 13D product prove for Hayward?
Required answer: Only local finite invariants for the product ansatz if compact factors are finite; it does not prove the 13D field equations.
Q16. Is exterior agreement a prediction?
Required answer: Not without independent freezing of \(\ell\). It is a recovery property and can be made nondiscriminating.
Q17. What is the physical endpoint?
Required answer: Scoped-closed, construction-anchored regular core.
Q18. What is the project endpoint?
Required answer: Closed/resolved +0 as a dependency, with residuals fenced.
Q19. What result would reopen the project dependency?
Required answer: A named failure of the exact witness or a governance change; generic desire for deeper derivation does not automatically reopen project bookkeeping.
Q20. What result would promote the physical endpoint?
Required answer: A target-blind derivation from the frozen parent action, including scale fixing, stable rotating/collapse solution, and valid 13D uplift.
E.2 Algebra self-test
A reviewer must reproduce without looking up the answer:
- the mass function from \(f=1-2M/r\);
- \(M'(r)\);
- \(\rho(0)\);
- the horizon discriminant;
- the double-root critical mass;
- the signed surface gravity;
- the light-ring polynomial;
- the threshold ratio.
A failure on any algebra item should route to the symbolic script, not be repaired by prose.
E.3 Claim-typing self-test
Classify each sentence.
| Sentence | Correct type |
|---|---|
| “\(K(0)=24/\ell^4\).” | exact result given ansatz |
| “Nature uses this core.” | unsupported physical claim |
| “Exact-point readout is not an admitted record.” | project-root statement |
| “The spacetime is globally complete.” | unproved theorem claim |
| “The static branch has an outer horizon above threshold.” | exact conditional result |
| “The inner horizon is stable.” | unsupported claim |
| “Gate 21 is project-closed.” | governance status |
| “The full theory resolves singularities.” | overclaim |
| “A regular spherical mass function behaves as \(r^3\) near a finite-density center.” | general local geometry result |
| “\(\ell\) equals the Planck length.” | optional construction choice, not adopted |
E.4 Same-ruler self-test
Reject each invalid inference:
- finite telescope resolution \(\Rightarrow\) finite affine geodesic length;
- finite \(K_4\) \(\Rightarrow\) 13D field-equation solution;
- static Killing horizon \(\Rightarrow\) complete evaporation event horizon;
- light ring \(\Rightarrow\) calculated instability rate;
- asymptotic recovery \(\Rightarrow\) observed core;
- measured \(M_{\rm Pl}\) \(\Rightarrow\) derived \(\ell\);
- finite background invariant \(\Rightarrow\) perturbative stability.
E.5 Reviewer scoring rubric
A technical reviewer may score each category from 0 to 4.
| Category | 0 | 2 | 4 |
|---|---|---|---|
| Definitions | wrong object | partly corrected | theorem-grade precise |
| Algebra | unreproducible | mostly correct | exact independent routes |
| Full-object placement | 4D mislabeled 13D | spectator caveat | full uplift solved |
| Dynamics | verbal smoothing | effective source | parent derivation |
| Stability | ignored | residual named | nonlinear pass |
| Observer map | confirmation rhetoric | compatibility only | frozen prediction |
| Claim discipline | overclaim | mixed | endpoints separated |
| Negative controls | absent | some | branch-killing suite |
The current dossier expects high scores for definitions, algebra, claim discipline, and negative controls; medium scores for full-object placement and observer map; and deliberately low-to-medium scores for parent Dynamics and stability because those are honest residuals.
E.6 Automatic rejection phrases
An AI review should automatically flag the following phrase patterns unless immediately qualified:
"granularity removes the singularity"
"minimum length follows from the root"
"the center cannot be reached, therefore it does not exist"
"no event horizon, only apparent horizon"
"finite curvature proves completeness"
"13D cures the 4D singularity"
"regular black hole is derived"
"Hawking radiation lets information escape the event horizon"
"external work pulls an object out after crossing"
"light rings prove instability"
E.7 Passing certificate
A future AI may state “Gate 21 dossier self-test passed” only if it can produce the following five-line summary from memory:
1. Schwarzschild is curvature singular and geodesically incomplete.
2. Operational granularity does not alter that geometry and supplies no minimum length.
3. The Hayward metric is an exact regular-core construction witness with a free ell.
4. Static algebra passes; parent derivation, inner-horizon stability, rotation, and 13D uplift remain open.
5. Physical endpoint is construction-anchored; project dependency remains closed.
Appendix F — Glossary and notation register
F.1 ADM mass
The mass defined at asymptotic infinity in an asymptotically flat spacetime. In the witness, the mass function tends to \(m\), so \(m\) is the geometrized ADM mass parameter.
F.2 Affine parameter
A parameter along a geodesic for which the geodesic equation takes its standard homogeneous form. Finite affine length of an inextendible causal geodesic is the central singularity diagnostic.
F.3 Apparent horizon
The outer boundary of trapped surfaces on a chosen spatial slice. It is foliation dependent and not interchangeable with an event horizon.
F.4 Areal radius
The invariantly defined radius \(r\) such that a symmetry two-sphere has area \(4\pi r^2\). Although \(r\) is a coordinate, this geometric definition gives it invariant content in spherical symmetry.
F.5 Bianchi identity
The geometric identity \(\nabla_aG^{ab}=0\). Under Einstein’s equation it implies covariant conservation of the total source.
F.6 Cauchy horizon
A boundary beyond which data on a chosen initial surface cease to determine the solution uniquely. Inner horizons of charged, rotating, and many regular black holes have this character.
F.7 Construction anchor
A declared object introduced to complete a scoped model when the full theory does not derive it. It is legitimate if labeled, falsifiable, and prevented from masquerading as a prediction.
F.8 Curvature regularity
Finiteness and smoothness of curvature tensors/invariants in an appropriate frame or chart. It is weaker than global geodesic completeness.
F.9 DEC
Dominant energy condition. Roughly, energy flux should be causal and energy density dominate principal pressures. The effective Hayward source violates tangential DEC in its far tail.
F.10 de Sitter core
A central region whose leading metric behaves like positive-\(\Lambda\) de Sitter space. In this dossier the center is de Sitter-like to leading order, not an exactly finite de Sitter patch at all radii.
F.11 Event horizon
A global causal boundary separating events that can communicate with a selected future asymptotic region from those that cannot.
F.12 Geodesic completeness
The property that all inextendible geodesics have complete affine-parameter ranges of the relevant type. Completeness is a global statement.
F.13 Granularity
In Hiking Physics, a root concerning finite operational distinguishability and a Lorentz-scalar cost floor. It is not a theorem of discrete spacetime or minimum length.
F.14 Hayward metric
The selected regular-core metric with
\[ f=1-2mr^2/(r^3+2m\ell^2). \]
F.15 Inner horizon
The smaller positive root of \(f=0\) on the two-horizon branch. It is associated with Cauchy-horizon instability concerns.
F.16 Killing horizon
A null hypersurface where a Killing vector becomes null. In a static metric, a simple root of \(f\) is a Killing horizon.
F.17 Kretschmann scalar
\[ K=R_{abcd}R^{abcd}. \]
A coordinate-invariant curvature diagnostic. It diverges at Schwarzschild \(r=0\) and is finite at the Hayward center.
F.18 Light ring
A circular null geodesic in a stationary spacetime. In spherical symmetry it satisfies \(rf'-2f=0\).
F.19 Mass inflation
Rapid growth of an internal mass function caused by counterstreaming and blueshift near an inner horizon. It can turn a regular stationary background into a singular perturbed spacetime.
F.20 Misner–Sharp mass
A quasi-local mass in spherical symmetry. For \(f=1-2M(r)/r\), the function \(M(r)\) is the Misner–Sharp mass in geometrized units.
F.21 NEC
Null energy condition: \(T_{ab}k^ak^b\ge0\) for null \(k^a\). The effective source satisfies it pointwise in the static witness.
F.22 Observer map
The complete mapping from theoretical object to a finite observable record, including dimension, projection, dynamics, propagation, instrument response, and inference.
F.23 Outer horizon
The larger positive root on the black-hole branch. It approaches the Schwarzschild horizon for \(m/\ell\gg1\).
F.24 Project-dependency closure
A governance state indicating that downstream work has a sufficient typed input and residual ledger. It need not equal full physical derivation.
F.25 Regular black hole
A black-hole spacetime with a horizon and without the targeted central curvature singularity in the background geometry. The term does not automatically imply stability or global completeness.
F.26 SEC
Strong energy condition, connected to timelike geodesic focusing. It fails near the core of the effective Hayward source.
F.27 Surface gravity
A horizon acceleration scale. For the static witness,
\[ \kappa_h=|r_h^2-3\ell^2|/(2r_h^3). \]
F.28 Trapped surface
A closed spacelike two-surface for which both future-directed null normal congruences have negative expansion.
F.29 Trapping horizon
A hypersurface foliated by marginally trapped surfaces. It is quasi-local and useful in dynamical settings.
F.30 UCO
Ultracompact object, here meaning a horizonless branch with a light-ring pair. It is not automatically stable.
F.31 WEC
Weak energy condition: nonnegative energy density for timelike observers. The effective source satisfies it.
F.32 \(\ell\)
The positive length entering the Hayward construction. It is not derived by the current Granularity root and has no frozen numerical value in this dossier.
Appendix G — Source map and scholarly references
G.1 Internal project sources
GATES_SOURCE_OF_TRUTH.md, Gate 21: legacy long-form dossier and board status.HIKING_PHYSICS_MASTER_IMPLICIT_ASSUMPTIONS_LEDGER_v1_3(2).md: universal assumptions and black-hole addendum.Gate_Closure_Constitution(1).md: two-anchor-plus-law architecture and endpoint separation.PHYSICS_HANDOFF_2026-07-12.zip:01_GATE_CLOSURE_STATUS_ALL_GATES.md;03_ROOT_SHAPE_dossier.md;04_ROOT_SCALE_dossier.md;05_ROOT_GRANULARITY_dossier.md;06_ROOT_DYNAMICS_dossier.md.
Canonical_Gate_Dossier_Protocols_v3_Pack: dossier reconstruction and completeness rules.DISCOVERY_AND_GATE_CLOSURE_CONSTITUTION_HANDOFF_V1: wrong-object, same-ruler, branch grammar, negative-control, and terminal protocols.TOE_review_bundle.zip: prior black-hole singularity dossier, anchor ledger, and related Gap-13 material.GUT.md: frozen 13D carrier and compact-factor conventions.
G.2 General relativity and singularity references
- R. Penrose, “Gravitational Collapse and Space-Time Singularities,” Physical Review Letters 14, 57–59 (1965), DOI: 10.1103/PhysRevLett.14.57.
- S. W. Hawking and R. Penrose, “The Singularities of Gravitational Collapse and Cosmology,” Proceedings of the Royal Society A 314, 529–548 (1970).
- S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge University Press (1973).
- R. M. Wald, General Relativity, University of Chicago Press (1984).
- E. Poisson, A Relativist’s Toolkit: The Mathematics of Black-Hole Mechanics, Cambridge University Press (2004).
G.3 Regular black-hole references
- J. M. Bardeen, regular black-hole proposal presented at GR5, Tbilisi (1968), historically cited as the first regular black-hole model.
- S. A. Hayward, “Formation and Evaporation of Nonsingular Black Holes,” Physical Review Letters 96, 031103 (2006), DOI: 10.1103/PhysRevLett.96.031103.
- I. Dymnikova, “Vacuum Nonsingular Black Hole,” General Relativity and Gravitation 24, 235–242 (1992).
- E. Ayón-Beato and A. García, works interpreting Bardeen-type geometries through nonlinear electrodynamics.
- A. Simpson and M. Visser, black-bounce and traversable-wormhole interpolation studies.
G.4 Inner-horizon and stability references
- E. Poisson and W. Israel, “Inner-Horizon Instability and Mass Inflation in Black Holes,” Physical Review Letters 63, 1663 (1989), DOI: 10.1103/PhysRevLett.63.1663.
- E. Poisson and W. Israel, “Internal Structure of Black Holes,” Physical Review D 41, 1796 (1990).
- A. J. S. Hamilton and P. P. Avelino, “The Physics of the Relativistic Counter-Streaming Instability That Drives Mass Inflation inside Black Holes,” Physics Reports 495, 1–32 (2010).
- V. Cardoso, L. C. B. Crispino, C. F. B. Macedo, H. Okawa, and P. Pani, “Light Rings as Observational Evidence for Event Horizons: Long-Lived Modes, Ergoregions and Nonlinear Instabilities of Ultracompact Objects,” Physical Review D 90, 044069 (2014).
- P. V. P. Cunha, E. Berti, and C. A. R. Herdeiro, “Light-Ring Stability for Ultracompact Objects,” Physical Review Letters 119, 251102 (2017).
G.5 Horizon frameworks
- A. Ashtekar and B. Krishnan, reviews on isolated and dynamical horizons.
- S. A. Hayward, work on trapping horizons and dynamical black-hole definitions.
- S. W. Hawking, “Information Preservation and Weather Forecasting for Black Holes,” arXiv:1401.5761 (2014), treated here as a proposal, not a theorem.
G.6 Citation discipline
The scholarly references support established background and known model classes. They do not supply the project-specific derivation. Every project claim must still be reconstructed from the frozen internal sources and exact calculations.
Appendix H — Claim/evidence matrix
H.0 Reading rule
Every claim in this dossier is assigned one of the following evidence types:
- EXACT: algebraic identity given the frozen metric and conventions;
- ESTABLISHED: standard theorem or accepted GR result at stated scope;
- CONSTRUCTION: property of the selected ansatz, not theory-derived;
- EMPIRICAL-RECOVERY: preserves inherited observations without new prediction;
- PROJECT-STATUS: owner/governance classification;
- OPEN: named residual;
- REJECTED: legacy or candidate claim killed by audit.
H.1 Core claims
| ID | Claim | Type | Evidence | Failure consequence |
|---|---|---|---|---|
| G21-001 | Schwarzschild \(K=48m^2/r^6\) | ESTABLISHED/EXACT | invariant calculation | baseline invalid if false |
| G21-002 | Schwarzschild interior is geodesically incomplete | ESTABLISHED | maximal extension/theorems | gate object changes |
| G21-003 | horizon coordinate divergence is removable | ESTABLISHED | EF/Kruskal charts | wrong singularity diagnosis if false |
| G21-004 | operational exact-point readout is not required | PROJECT ROOT | Granularity | observer-map claim changes |
| G21-005 | Granularity does not supply a minimum length | PROJECT ROOT | current root dossier | legacy chain remains killed |
| G21-006 | hard excision is not a completion | ESTABLISHED reasoning | boundary/geodesic audit | regulator promoted illegally |
| G21-007 | Hayward denominator is positive on physical domain | EXACT | \(r^3+2m\ell^2>0\) | branch killed if false |
| G21-008 | center series begins \(1-r^2/\ell^2\) | EXACT | Taylor expansion | central interpretation changes |
| G21-009 | \(R(0)=12/\ell^2\) | EXACT | two routes | branch killed if false |
| G21-010 | \(K(0)=24/\ell^4\) | EXACT | two routes | branch killed if false |
| G21-011 | center is de Sitter-like | CONSTRUCTION/EXACT | leading series/invariants | wording downgraded if false |
| G21-012 | full finite region is exact de Sitter | REJECTED | \(r^5\) term | prohibited claim |
| G21-013 | exterior tends to Schwarzschild | EXACT/RECOVERY | asymptotic series | witness fails if false |
| G21-014 | \(M(r)=mr^3/D\) | EXACT | definition | source ledger fails if false |
| G21-015 | \(\rho=3m^2\ell^2/(2\pi D^2)\) | EXACT | Einstein tensor | source ledger fails if false |
| G21-016 | \(p_r=-\rho\) | EXACT | Einstein tensor | source ledger fails if false |
| G21-017 | tangential pressure formula | EXACT | Einstein tensor | energy audit fails if false |
| G21-018 | NEC/WEC satisfied | EXACT at effective scope | combinations | theorem interpretation changes |
| G21-019 | SEC violated near core | EXACT | sign of \(p_t\) | evasion mechanism changes |
| G21-020 | DEC violated in tail | EXACT | pressure ratio | source health worsens/improves |
H.2 Horizon claims
| ID | Claim | Type | Evidence | Failure consequence |
|---|---|---|---|---|
| G21-021 | horizon cubic \(r^3-2mr^2+2m\ell^2=0\) | EXACT | algebra | thresholds fail if false |
| G21-022 | discriminant \(4m^2\ell^2(16m^2-27\ell^2)\) | EXACT | cubic formula | threshold fail |
| G21-023 | \(m_{crit}=3\sqrt3\ell/4\) | EXACT | double root/discriminant | branch census fail |
| G21-024 | \(r_{crit}=\sqrt3\ell\) | EXACT | double root | branch census fail |
| G21-025 | two positive horizons above threshold | EXACT | root/discriminant analysis | static classification fail |
| G21-026 | no positive horizon below threshold | EXACT | root analysis | horizonless branch fail |
| G21-027 | outer horizon is event horizon in static AF completion | ESTABLISHED/CONSTRUCTION | global stationary geometry | legacy no-event claim remains rejected |
| G21-028 | regular center alone removes event horizon | REJECTED | counterexample: static branch | prohibited claim |
| G21-029 | signed surface gravity formula | EXACT | horizon relation | temperature/blueshift diagnostics fail |
| G21-030 | extremal surface gravity vanishes | EXACT | substitution | extremal classification fail |
H.3 Light-ring and stability claims
| ID | Claim | Type | Evidence | Failure consequence |
|---|---|---|---|---|
| G21-031 | light-ring condition \(rf'-2f=0\) | ESTABLISHED | null effective potential | photon audit fails |
| G21-032 | light-ring polynomial | EXACT | substitution | thresholds fail |
| G21-033 | \(m_{UCO}=24\sqrt{30}\ell/125\) | EXACT | double root | branch census fail |
| G21-034 | light-ring pair exists in part of horizonless branch | EXACT/CONSTRUCTION | threshold ordering | UCO classification fail |
| G21-035 | light-ring existence proves instability rate | REJECTED | missing perturbation solve | prohibited promotion |
| G21-036 | inner horizon creates mass-inflation concern | ESTABLISHED analogy + exact trigger | nonzero \(\kappa_-\) | physical viability open |
| G21-037 | Hayward inner horizon endpoint is solved | REJECTED | no nonlinear calculation | prohibited claim |
| G21-038 | rotating branch is complete | REJECTED/OPEN | no solution | blocks realistic promotion |
| G21-039 | collapse forms static core | OPEN | no evolution | blocks derived closure |
| G21-040 | evaporation endpoint known | OPEN | no backreaction | blocks global horizon claim |
H.4 Full-theory and empirical claims
| ID | Claim | Type | Evidence | Failure consequence |
|---|---|---|---|---|
| G21-041 | product curvature scalars add | ESTABLISHED | product connection | 13D audit changes |
| G21-042 | finite compact factors cannot cure divergent \(K_4\) | ESTABLISHED | positive block sum | Shape-only cure rejected |
| G21-043 | regular 4D product has finite local \(K_{13}\) | CONSTRUCTION | finite sum | local uplift witness fails if false |
| G21-044 | product solves 13D equations | OPEN | internal components absent | blocks full-theory claim |
| G21-045 | \(\ell\) fixed by project scales | OPEN/REJECTED as current | no map | blocks numerical prediction |
| G21-046 | exterior recovery is compatible with observations | EMPIRICAL-RECOVERY | asymptotic form | construction may be excluded if false |
| G21-047 | exterior recovery confirms core | REJECTED | degeneracy | prohibited claim |
| G21-048 | current data discriminate Hayward core | OPEN | no frozen pipeline | empirical closure absent |
| G21-049 | project dependency is closed | PROJECT-STATUS | board/governance | may change only by authority or witness failure |
| G21-050 | physical theory has solved singularities | REJECTED | parent residuals | prohibited claim |
H.5 Matrix conclusion
The claim ledger contains a deliberately mixed result:
- many exact calculations pass;
- several established GR facts anchor the interpretation;
- the project status remains closed;
- the highest-level physical claim remains construction-anchored;
- multiple legacy promotions are explicitly rejected.
That pattern is not a weakness in the dossier. It is the correct evidence geometry for a mature construction witness.
Appendix I — Future specialist execution plan
I.0 Mission
Convert Gate 21 from a construction-anchored project closure into a derived physical result, or kill the selected branch cleanly. The execution order prevents expensive simulations from being run on an ill-posed object.
I.1 Stage 0 — Freeze authority and scope
Freeze:
- parent 13D action;
- field content and boundary terms;
- compactification background;
- renormalization scheme and scale;
- allowed higher-curvature/nonlocal operators;
- empirical records reserved for final comparison;
- project status vocabulary.
Do not freeze a desired regular metric as an input to a derivation intended to prove that metric.
I.2 Stage 1 — Derive the effective spherical action
Use the full theory to derive a symmetry-reduced action without substituting the target mass function. Keep lapse, radial metric function, moduli, and relevant Actors independent until variation.
A schematic reduction is
\[ S_{13}\to S_{2,\rm eff}[g_{AB}(t,r),\,r(t,r),\,\varphi_i(t,r),\,A_i(t,r),\ldots]. \]
Check that variation and truncation commute. If they do not, restore the missing modes.
I.3 Stage 2 — Exact wrong-object audit
Before solving, ask:
- Is a metric the fundamental object, or an expectation value?
- Is the center a regular origin, a throat, a bounce, or a boundary?
- Is the physical observable geodesic completeness, bounded curvature, finite tidal distortion, or finite records?
- Does the theory predict a single geometry or an equivalence class?
Freeze the answer before branch search.
I.4 Stage 3 — Local series classification
Assume only a regular spherical series
\[ f(r)=1-a_2r^2-a_3r^3-a_4r^4-\cdots \]
and solve the parent equations order by order. Determine whether:
- \(a_2>0\) is forced;
- odd terms vanish by smoothness/parity;
- coefficients are fixed by charges or state data;
- the Hayward pattern \(a_3=a_4=0\), \(a_5\ne0\) emerges;
- a different topology is required.
This stage can kill the Hayward target without solving the global equations.
I.5 Stage 4 — Scale identifiability
Determine whether the equations fix a core invariant scale. Run identifiability tests:
- rescaling symmetries;
- field redefinitions;
- scheme dependence;
- boundary-state dependence;
- compactification-modulus dependence.
If a continuous family remains, classify \(\ell\) as a boundary or measured anchor rather than a prediction.
I.6 Stage 5 — Global static branch
Solve the boundary-value problem from the regular center to the exterior. Required conditions:
\[ M(r)=O(r^3)\quad(r\to0), \]
\[ M(r)\to m\quad(r\to\infty), \]
plus internal-modulus and Actor boundary conditions. Map all branches, not only the one nearest Hayward.
I.7 Stage 6 — Constraint and ghost audit
Linearize the full reduced action. Count physical degrees of freedom. Check:
- kinetic matrix signs;
- constraint rank;
- characteristic speeds;
- hyperbolicity;
- boundary conditions;
- gauge fixing;
- strong coupling.
A background with a ghost is branch-killed.
I.8 Stage 7 — Radial perturbations
Compute the coupled radial spectrum. A single metric master equation is insufficient if the source has degrees of freedom. Require no exponentially growing normalizable modes at the declared scope.
I.9 Stage 8 — Inner-horizon evolution
Use double-null coordinates and generic small ingoing/outgoing fluxes. Compute:
\[ \partial_u\partial_v r, \quad \partial_u\partial_v M, \quad R, \quad K, \]
and the source response. Determine the endpoint before invoking a cutoff.
I.10 Stage 9 — Collapse
Evolve regular initial data. Record the basin of attraction and whether trapped surfaces form. A core that requires finely tuned negative-energy input is not a generic collapse endpoint.
I.11 Stage 10 — Rotation
Construct the axisymmetric branch directly from the equations. Verify:
- no ring singularity;
- correct Kerr limit;
- no unacceptable closed timelike curves in the physical domain;
- regular horizons or declared horizonless class;
- source consistency;
- perturbative stability.
I.12 Stage 11 — Semiclassical state and evaporation
Choose the quantum state appropriate to collapse, calculate or approximate \(\langle T_{ab}\rangle\), and evolve backreaction. The state is an input unless a selection theorem is supplied.
I.13 Stage 12 — Full 13D stability
Allow internal moduli and KK modes to fluctuate in the core background. Compute the coupled Hessian or spectral problem. A 4D stable mode can mix with an unstable compact mode.
I.14 Stage 13 — Observer map
Only after the architecture is frozen, derive:
- shadow/photon-region changes;
- quasinormal modes;
- tidal response;
- accretion effects;
- possible late evaporation signals.
Propagate uncertainties from the parent parameters.
I.15 Stage 14 — Blind comparison
Load observations only after predictions and uncertainty bands are frozen. Register a negative control guaranteed not to fit if the pipeline is honest.
I.16 Stage 15 — Final adjudication
Possible outcomes:
DERIVED-PASS:
Stable full-theory regular core; fixed or honestly anchored scale.
SCOPED-PASS:
Stable effective core below cutoff; UV ownership explicit.
CONSTRUCTION-PASS:
Exact witness remains, no derivation.
CLOSED-NEGATIVE:
Hayward or all admissible regular branches fail.
DISSOLVED-WRONG-OBJECT:
Full theory replaces single-metric ontology with a demonstrably
empirically equivalent and lawful object.
I.17 Recommended specialist order
The first specialist should not begin with observational fitting. The highest-value sequence is:
- derive the local center series from the parent action;
- determine whether \(\ell\) is identifiable;
- derive the source perturbation equations;
- attack the inner horizon;
- only then build rotation and phenomenology.
Appendix J — Machine-readable gate record
gate:
number: 21
name: black-hole-singularity
question: >
Does the complete Hiking Physics theory produce a lawful,
observationally recovering, singularity-free gravitational-collapse
spacetime?
endpoints:
physical: SCOPED-CLOSED_CONSTRUCTION-ANCHORED
project_dependency: CLOSED_RESOLVED_PLUS_0
legacy: DISSOLVED-GIVEN-root_RESOLVED_PLUS_0
legacy_correction:
minimum_length_from_granularity: rejected
operational_cutoff_cures_geodesics: rejected
regular_core_removes_event_horizon: rejected
finite_invariants_prove_global_completeness: rejected
construction:
metric: "f(r)=1-2*m*r^2/(r^3+2*m*ell^2)"
m_role: asymptotic_geometric_mass
ell_role: free_construction_scale
theory_derivation: false
exact_outputs:
R_center: "12/ell^2"
K_center: "24/ell^4"
rho: "3*m^2*ell^2/(2*pi*(r^3+2*m*ell^2)^2)"
p_r: "-rho"
p_t: "3*m^2*ell^2*(r^3-m*ell^2)/(pi*(r^3+2*m*ell^2)^3)"
horizon_polynomial: "r^3-2*m*r^2+2*m*ell^2"
horizon_discriminant: "4*m^2*ell^2*(16*m^2-27*ell^2)"
m_critical: "3*sqrt(3)*ell/4"
r_critical: "sqrt(3)*ell"
surface_gravity: "abs(r_h^2-3*ell^2)/(2*r_h^3)"
light_ring_polynomial: "r^6-3*m*r^5+4*m*ell^2*r^3+4*m^2*ell^4"
m_uco: "24*sqrt(30)*ell/125"
r_uco: "2*sqrt(30)*ell/5"
ratio_uco_critical: "32*sqrt(10)/125"
energy_conditions:
NEC: satisfied_or_saturated
WEC: satisfied
SEC: violated_for_r_cubed_less_than_m_ell_squared
DEC: violated_for_r_cubed_greater_than_4_m_ell_squared
full_theory:
13D_local_product_regularity: conditional_pass
13D_equations: open
compactification_stability: open
source_action: open
scale_map: open
collapse: open
inner_horizon: open
evaporation: open
rotation: open
empirical_discriminator: open
reopen_triggers:
- exact_algebra_failure
- physical_domain_singularity
- invalid_effective_source_scope
- failed_4D_construction_embedding
- governance_regrade
promotion_requirements:
- parent_action_derivation
- ell_identifiability_or_independent_anchor
- nonlinear_stability
- rotating_completion
- full_13D_uplift
- target_blind_observableAppendix K — Publication-ready summaries
K.1 Technical abstract
We reconstruct the Hiking Physics black-hole-singularity gate under the project’s current two-anchor-plus-law closure constitution. The prior gate correctly contained a detailed analysis of a Hayward regular-black-hole metric but incorrectly attributed its minimum-length parameter to the project’s Granularity root and overpromoted local center regularity into global event-horizon and geodesic-completeness claims. The current Granularity authority instead specifies a Lorentz-scalar operational cost floor and explicitly does not assert a minimum spacetime length. We therefore separate the physical endpoint from the project-dependency endpoint.
For the static spherical metric
\[ f(r)=1-\frac{2mr^2}{r^3+2m\ell^2}, \]
we independently derive the exact Ricci and Kretschmann scalars, effective anisotropic stress tensor, energy-condition regions, horizon discriminant, extremal threshold, surface gravity, and light-ring pair threshold. The center is curvature regular with \(R(0)=12/\ell^2\) and \(K(0)=24/\ell^4\). The effective source satisfies NEC and WEC, violates SEC near the core, and violates tangential DEC in a decaying far tail. Two positive horizons exist for \(m>3\sqrt3\ell/4\); the horizonless branch acquires a light-ring pair for \(m>24\sqrt{30}\ell/125\). The static black-hole branch retains an outer event/Killing horizon and an inner Cauchy horizon, so nonlinear mass-inflation stability remains a central physical residual.
The metric is an exact construction witness but is not derived from the frozen 13-dimensional parent Dynamics; \(\ell\), the microscopic source, collapse formation, evaporation, rotating completion, and compactification response remain open. The physical endpoint is therefore SCOPED-CLOSED / CONSTRUCTION-ANCHORED REGULAR CORE, while the project dependency remains CLOSED / RESOLVED +0 with explicit no-overclaim fences.
K.2 Reviewer summary
The dossier’s strongest contribution is not a novel regular metric. It is the corrected epistemic partition:
- operational granularity constrains records;
- the selected metric changes geometry;
- the Einstein tensor specifies an effective source;
- exact algebra certifies the construction;
- full theory derivation and stability remain separate.
A reviewer who accepts the equations need not accept that nature uses the metric. A reviewer who rejects the project’s +0 taxonomy need not reject the construction witness. The two issues are intentionally decoupled.
K.3 Public-facing summary
Classical relativity predicts that the simplest black-hole interior ends at a breakdown of spacetime. This project has not yet derived the true replacement from its full theory. It does have a precise test geometry showing that a black-hole exterior can coexist with a finite, de Sitter-like center. The construction’s equations are exact, but its core scale and microscopic origin remain assumptions, and its inner horizon may be unstable. The gate is therefore closed for project planning, not declared solved by nature.
K.4 Five-sentence executive version
- The classical Schwarzschild black hole is genuinely singular in GR; finite measurement resolution does not change that.
- Hiking Physics Granularity does not predict a minimum length and cannot by itself regularize the metric.
- A selected Hayward metric provides an exact regular-core witness with finite center curvature and calculable horizon thresholds.
- The witness retains an event horizon on the static black-hole branch and carries serious open stability, rotation, scale, and 13D-uplift debts.
- Gate 21 is closed as a project dependency but physically remains construction-anchored rather than fully derived.
Final canonical endpoint
Gate 21 is complete as a dossier and closed as a project dependency.
The exact construction witness survives hostile algebraic review. The prior minimum-length and no-event-horizon promotions do not. The complete theory has not yet derived the regular core, and this dossier preserves that fact as the primary physical residual rather than hiding it behind the board status.
PHYSICAL ENDPOINT:
SCOPED-CLOSED / CONSTRUCTION-ANCHORED REGULAR CORE
PROJECT-DEPENDENCY ENDPOINT:
CLOSED / RESOLVED +0
DO NOT PROPAGATE:
"Granularity alone solves black-hole singularities."
DO PROPAGATE:
"An exact regular-core branch exists; full Dynamics selection and
physical viability remain explicit."
End of Gate 21 canonical technical dossier, version 2.0-reconstructed.