moon_resonance_pq
plain-language theorem explainer
The Moon-Earth spin-orbit resonance ratio is defined as exactly 1. Researchers modeling tidal locking in the Recognition Science framework cite this as the zero J-cost base case. The definition is a direct constant assignment with no computation.
Claim. The Moon-Earth spin-orbit resonance ratio is defined to be $1$.
background
Recognition Science derives spin-orbit resonance ratios as the phi-rational minima of the J-cost on the phase manifold. Here J(x) equals (x + x inverse)/2 minus 1, and the phi-ladder consists of powers of the golden ratio. The module treats the Moon-Earth 1:1 lock as the trivial case at exact zero cost.
proof idea
This is a direct definition assigning the constant value 1 to the Moon-Earth resonance ratio.
why it matters
It provides the base case for the tidal locking certificate structure and the one-statement theorem. The definition fills the 1:1 Moon-Earth entry in the phi-resonance chain of the AS6 track, anchoring the zero-cost trivial resonance before addressing Mercury's 3:2 near phi and Venus near phi cubed.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.