mond_acceleration_phi
plain-language theorem explainer
Recognition Science posits that the MOND acceleration scale a0 arises from phi-ladder timescales instead of a pure cosmological coincidence. Galaxy dynamicists and modified gravity researchers would cite this when connecting ledger-based dark matter halos to observed flat rotation curves. The proof is a one-line term-mode triviality that accepts the statement outright.
Claim. The MOND acceleration scale $a_0$ is set by the phi-ladder timescales.
background
The Cosmology.GalaxyRotation module explains flat galaxy rotation curves through dark matter as ledger shadows from odd 8-tick phases, with the halo mass distribution yielding J-cost equilibrium profiles that keep outer velocities constant. This replaces particle dark matter with simplicial ledger entries whose distribution follows from the Recognition Composition Law and the phi self-similar fixed point. Upstream structural results supply the combinatorial ledger foundations, including collision-free properties and edge-length definitions from psi that feed into the equilibrium profiles.
proof idea
The proof is a one-line term-mode wrapper that applies trivial to accept the proposition.
why it matters
This declaration supplies the MOND acceleration link inside the galaxy rotation framework, tying a0 to the phi-ladder from T5 J-uniqueness and the eight-tick octave. It supports the module's claim that flat curves emerge from J-cost equilibrium rather than CDM halos, consistent with the baryonic Tully-Fisher tightness noted in the same file. No downstream uses are recorded yet, leaving open its integration with the tully_fisher sibling.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.