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

IndisputableMonolith.Physics.PlanckConstantFromRS

show as:
view Lean formalization →

This module fixes the coherence exponent at 5 to define the reduced Planck constant in Recognition Science native units as phi to the negative fifth power. Physicists deriving quantum constants from the unified forcing chain cite these values for hbar_RS and G_RS. The module consists of direct definitions and positivity statements that follow from the imported time quantum tau_0 equals 1 tick.

claimThe coherence exponent is $k=5$, so that $h_{RS} = phi^{-5}$ and $G_{RS} = phi^5 / pi$ in units where $c=1$ and $tau_0=1$ tick.

background

Recognition Science obtains all constants from the J-cost function and the phi-ladder fixed point after the eight-tick octave. The module imports the base time quantum tau_0 equals 1 tick from Constants. It then introduces coherenceExponent as the integer 5 that sets the rung for the Planck scale.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the native hbar and G that enter mass formulas and PlanckConstantCert downstream. It realizes the scaling required by T5 J-uniqueness and T6 phi fixed point in the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (10)