cohQuantum
The definition sets the coherence energy quantum to E_coh, which equals phi to the power of negative five in RS-native units. Researchers working with Recognition Science constants cite it when scaling energies, actions, and masses from coherence counts. The implementation is a direct noncomputable abbreviation that pulls the value from the upstream phi-power scale function.
claimThe coherence energy quantum is defined by $E_ {coh} := phi^{-5}$.
background
The RSNativeUnits module establishes a native measurement system whose base units are the tick (one ledger interval) and voxel (light travel distance in one tick). Derived quanta include coh as the fundamental energy unit and act as the action unit. All quantities sit on the phi-ladder, where integer powers of phi supply the natural scaling for masses, energies, and lengths, with c fixed at unity. The upstream scale definition supplies the phi-power function used here: noncomputable def scale (k : ℕ) : ℝ := phi ^ k.
proof idea
One-line definition that aliases E_coh directly to the result of the scale function evaluated at rung -5.
why it matters in Recognition Science
This supplies the base energy quantum that feeds energy_raw, hbarQuantum, massQuantum, and momentumQuantum inside the same module. It realizes the RS-native constants block of the framework, where hbar equals phi^{-5} and G equals phi^5 over pi, and anchors the phi-ladder used in the forcing chain from T5 onward. Downstream lemmas such as hbarQuantum_eq_Ecoh rely on it to equate action and energy scales under c = 1.
scope and limits
- Does not derive or prove the numerical value of phi.
- Does not supply SI conversion factors or external calibration.
- Does not perform dimensional analysis outside the RS tick-voxel-coh system.
- Does not address quantum field operators or state spaces.
formal statement (Lean)
98@[simp] noncomputable def cohQuantum : ℝ := E_coh
proof body
Definition body.
99
100/-- Convert energy count (in coh) to raw RS scale. -/