detectionMethods
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.
claimThe 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 in Recognition Science
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.
scope and limits
- Does not compute numerical cross-sections or suppression factors.
- Does not assert existence or absence of signals, only lists channels.
- Does not derive connections to specific candidates such as WIMPs or axions.
- Does not address unification across the five phantom projections.
formal statement (Lean)
231def detectionMethods : List String := [
proof body
Definition body.
232 "Gravitational (confirmed)",
233 "Direct detection (ongoing)",
234 "Indirect detection (cosmic rays)",
235 "Collider production (none yet)"
236]
237
238/-- RS prediction for direct detection:
239
240 Cross-section suppressed by phase mismatch.
241 σ ~ σ_weak × (phase mismatch factor)
242
243 This explains null results so far! -/