mondStatus
plain-language theorem explainer
MOND status definition records that modified Newtonian dynamics reproduces galactic rotation curves at low accelerations yet fails for galaxy clusters and cosmic microwave background data. A cosmologist comparing modified-gravity proposals to Recognition Science ledger-shadow models cites this entry to mark the empirical boundary. The definition is a direct string assignment accompanied by a summary comment block.
Claim. Modified Newtonian Dynamics modifies gravitational acceleration below $a_0$ and accounts for galactic rotation curves without dark matter, but fails to match galaxy-cluster dynamics and cosmic-microwave-background observations.
background
Recognition Science treats dark matter as ledger shadows arising from the odd phases of the eight-tick parity cycle. The fundamental time quantum is one tick, and the eight phases are multiples of π/4. Upstream lemmas establish the phase definition and the J-cost factorization that calibrate the phantom sector at temporal resolution.
proof idea
One-line wrapper that directly assigns the string literal summarizing MOND's empirical reach, followed by a comment block that contrasts the ledger-shadow mechanism with modified gravity.
why it matters
The definition anchors the module's assertion that dark matter is real (ledger shadows from eight-tick phases) rather than a modification of Newtonian gravity. It aligns with the Recognition Science forcing chain through the eight-tick octave and phase structure, supporting the phantom-sector stratification without introducing new theorems.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.