E_coh
plain-language theorem explainer
Coherence energy is defined as the dimensionless quantity in RS units equal to the locked lag constant, which is phi to the negative fifth power. Researchers deriving energy scales from the phi-ladder in the Recognition Science framework cite this when anchoring coherence thresholds. The implementation is a direct alias to the upstream locked lag constant with no additional computation.
Claim. The coherence energy equals $C_{lock} = phi^{-5}$ in dimensionless RS-native units, where $C_{lock}$ is the canonical locked lag constant.
background
The Constants module sets the fundamental RS time quantum to one tick. The upstream locked lag constant supplies the exact expression phi raised to the power of negative five. This supplies the dimensionless coherence energy scale used for energy calculations throughout the framework.
proof idea
One-line definition that aliases the upstream locked lag constant.
why it matters
This definition supplies the coherence energy scale required by Phase 2 derivations. The value phi^{-5} anchors to the phi-ladder fixed point and matches the RS-native hbar. No downstream uses are recorded, leaving open its explicit integration into mass formulas or Berry creation thresholds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.