detectionMethods
plain-language theorem explainer
The definition enumerates four experimental channels for detecting ledger shadows as dark matter in the phantom sector. Cosmologists working in Recognition Science cite it when organizing tests of the 8-tick phase structure and its electromagnetic decoupling. The body is a direct list construction that references upstream phase definitions to support the accompanying note on phase-mismatch suppression.
Claim. The detection methods for ledger shadows are the list consisting of gravitational observations (confirmed via rotation curves and lensing), direct detection via nuclear scattering (ongoing), indirect detection through annihilation products in cosmic rays, and collider production (no results reported).
background
The Cosmology.DarkMatter module treats dark matter as ledger shadows from the σ=0, Z≠0 phantom sector at temporal resolution, specifically odd-phase orbits within the 8-tick parity cycle. This is one of five projections of the same object, with the 8-tick phase given by kπ/4 for k in Fin 8 and periodic with period 2π. The setting draws on the phase definition from EightTick, the meta-realization structure from UniversalForcingSelfReference, and the complex phase from the Riemann Hypothesis wedge.
proof idea
The definition is a direct list construction of four strings. It incorporates the phase concepts from the upstream EightTick.phase and Wedge.phase declarations to ground the phase-mismatch comment that follows the list.
why it matters
This definition supports the module's target of explaining dark matter as non-luminous ledger configurations within the Recognition Science framework, linking to the eight-tick octave (T7) and the phantom sector. It highlights the suppression mechanism for direct detection via phase mismatch, consistent with J(φ)-suppressed signals at the 1.79 GeV scale. No downstream theorems are recorded, leaving open quantitative integration with mass ladders or Berry thresholds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.