experiments
plain-language theorem explainer
Recognition Science lists four candidate experimental signatures for Planck-scale discreteness: gamma-ray burst time delays, ultra-high energy cosmic ray spectrum, gravitational wave echoes, and black hole ringdown modes. Phenomenologists testing discrete spacetime or modified dispersion relations would cite this enumeration when mapping RS predictions to data. The declaration is a direct list definition with no lemmas or reductions.
Claim. The proposed experimental probes of Recognition Science at the Planck scale are gamma-ray burst time delays, the ultra-high energy cosmic ray spectrum, gravitational wave echoes, and black hole ringdown modes.
background
The module derives the Planck length, mass, and time from RS principles using the fundamental tick τ₀ (one tick equals the RS time quantum) and the golden ratio φ. Planck length satisfies l_P = c τ₀ φ^{-n} for integer n tied to the φ-ladder. Upstream, the tick definition supplies the base time unit, while the eight-tick octave and φ-forcing chain fix the discrete scale at which quantum gravity effects appear.
proof idea
This is a direct definition that enumerates the four strings; no lemmas or tactics are invoked.
why it matters
The list supplies the experimental interface for the Planck-scale derivations, feeding directly into ANITA curvature-defect and DAMA substrate-model analyses. It connects the φ³⁴ structure and eight-tick octave to observable signatures, closing the loop from T7-T8 forcing to testable predictions. Downstream results treat these as the concrete observables that would confirm or refute the RS-native Planck relations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.