Pith. sign in
module module moderate

IndisputableMonolith.Physics.TauZeroCalibratorFromConstants

show as:
view Lean formalization →

The module calibrates the RS time quantum τ₀ from constants by fixing cortical resonance frequency at 5φ Hz. Recognition Science researchers cite it when setting the native time scale for frequency and mass formulas. It is a definition module that introduces tauZeroDefinition, tauZero_exists, and TauZeroCert without complex proofs.

claimCortical resonance frequency equals $5\phi$ Hz. The RS time quantum satisfies $\tau_0 = 1$ tick with existence certificate TauZeroCert.

background

The module imports IndisputableMonolith.Constants, whose doc-comment states that τ₀ is the fundamental RS time quantum (RS-native) with τ₀ = 1 tick. It operates inside the Recognition Science framework that derives physics from a single functional equation and the T0-T8 forcing chain. Sibling declarations in the module define corticalResonance5phi, corticalResonance_band, tauZeroDefinition, and TauZeroCert.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the calibrated τ₀ used by downstream physics results that depend on the time quantum. It directly implements the cortical resonance frequency = 5φ Hz relation stated in the module doc-comment and connects to the phi fixed point from the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)