predictions
plain-language theorem explainer
Recognition Science predicts a minimum length set by voxel discreteness at approximately 10^{-19} m rather than the Planck length, energies quantized along phi-ladder rungs, resolution of black-hole singularities by voxel structure, and modified high-energy dispersion relations. Phenomenologists testing quantum gravity against GRB delays or cosmic-ray spectra would cite this list when contrasting RS signatures with standard Planck-scale expectations. The declaration is a direct static enumeration of the four claims.
Claim. Recognition Science at the Planck scale asserts that the minimum length is the voxel length $l_0$ with $l_0 > l_P$, that energies near this scale are quantized as $E = E_P phi^n$ for integer $n$, that voxel structure eliminates singularities, and that the dispersion relation receives corrections beyond $E^2 = p^2 c^2 + m^2 c^4$.
background
The module derives Planck quantities from RS principles by relating $l_P$, $m_P$, and $t_P$ to the fundamental time scale tau_0 via negative powers of phi. Voxel length is the emergent discreteness scale below which continuous spacetime ceases. Upstream, the scale function from LargeScaleStructureFromRS supplies scale(k) = phi^k, while LorentzEmergence.dispersion supplies the 3D lattice Laplacian used for modified propagation.
proof idea
The definition constructs the list of four string statements by direct enumeration. No lemmas or tactics are invoked; it is a static list literal.
why it matters
The definition summarizes the observable consequences of the Planck-scale derivations (QG-009 and QG-010) that connect tau_0 to phi powers. It supplies the signatures referenced in the module's experimental-tests section, including GRB delays at the voxel scale and Lorentz-violation tests with ultra-high-energy cosmic rays. No downstream theorems depend on it yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.