singularity_resolved
plain-language theorem explainer
Recognition Science replaces the classical GR singularity with a finite Planck-density core enforced by the voxel cutoff while keeping the ledger continuous. Quantum gravity researchers addressing the AMPS firewall paradox would cite this to close the curvature divergence. The proof is a direct term assertion of the cutoff without intermediate lemmas.
Claim. In Recognition Science the voxel scale imposes a cutoff so that black-hole core density remains finite near the Planck value while the ledger structure stays continuous through the core.
background
The module resolves the AMPS firewall trilemma (unitarity, no drama, locality) by making the ledger non-local. Voxel is the fundamental length scale from RSNative.Core; density is defined as phi^k in the neutron-star regimes module. Upstream Aczel smooth abbrevs encode the continuous limit used for the ledger through the core.
proof idea
Term-mode proof applies the trivial constructor directly to the voxel-cutoff assertion.
why it matters
The declaration supplies the singularity-resolution step for the firewall paper proposition in the module doc. It closes the curvature infinity issue using the voxel cutoff and phi-ladder density, feeding the broader claim that the ledger remains smooth across the horizon.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.