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

IndisputableMonolith.RRF.Foundation.Constants

show as:
view Lean formalization →

This module declares physical constants derived from the phi-ladder hypothesis in the Recognition Science framework. It sets the coherence energy E_coh equal to phi to the minus five in RS units, approximately 0.09 eV, together with related quantities such as tau_0, the eight-tick period, and derived values for hbar and alpha inverse. Researchers building the RRF foundation layer would cite these definitions when deriving scales from phi powers. The module consists of definitions and elementary properties with no complex proofs.

claim$E_{coh} = φ^{-5}$ (in RS units, ≈ 0.09 eV). Related constants include τ_0, the eight-tick octave period, and derived expressions for ħ and α^{-1} within the stated numerical band.

background

The module imports the phi-ladder hypothesis from IndisputableMonolith.RRF.Hypotheses.PhiLadder. That hypothesis states: 'The φ-ladder hypothesis: physical scales are organized by powers of φ. This is an EXPLICIT HYPOTHESIS, not a definitional truth. It generates prediction obligations that must be tested empirically.' The module supplies the concrete constants that realize this hypothesis inside the RRF foundation, using RS-native units where c = 1.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

This module supplies the constants that feed directly into the RRF.Foundation layer. The downstream module states: 'The foundational layer of the Reality Recognition Framework. This module contains: - MetaPrinciple: The single foundational axiom (MP) - Constants: Physical constants derived from φ - Ledger: Double-entry bookkeeping and conservation.' It therefore realizes the phi-ladder step that places physical scales on the phi powers required by the Recognition framework.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (20)