pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Constants.Codata

show as:
view Lean formalization →

The Constants.Codata module supplies the RS-native values for the speed of light, reduced Planck constant, and gravitational constant. Researchers deriving mass spectra on the phi-ladder or checking the alpha band would reference these to set units. It contains direct definitions of c, hbar, G together with proofs of positivity and nonzeroness.

claimIn Recognition Science units the constants are defined by $c = 1$, $hbar = phi^{-5}$, $G = phi^5 / pi$, each accompanied by proofs that the value is positive and nonzero.

background

Recognition Science derives all physics from the J-cost functional and the Recognition Composition Law. This module in the Constants domain fixes the three fundamental constants to align with the self-similar fixed point phi and the eight-tick octave. The definitions set c = 1 as the exact speed of light in these units while hbar and G follow from phi scaling. Positivity follows from phi > 1 and standard real arithmetic.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module provides the constant values required by the mass formula yardstick * phi^(rung - 8 + gap(Z)) and the Berry creation threshold. It supports parent results on the phi-ladder rung assignments and the alpha inverse interval (137.030, 137.039). It serves as the base layer for all numerical evaluations in the framework.

scope and limits

declarations in this module (9)