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

IndisputableMonolith.Physics.TauZeroCalibratorFromConstants

show as:
view Lean formalization →

TauZeroCalibratorFromConstants calibrates the RS time quantum tauZero from base constants and defines cortical resonance at exactly 5 phi Hz. Physicists deriving resonance spectra or time calibrations in the Recognition framework cite these objects for direct use in phi-ladder models. The module is definitional, importing tau0 equals one tick from Constants and assigning the frequency without further reduction.

claim$f_c = 5 phi$ Hz for cortical resonance, where tau_0 denotes the fundamental RS time quantum fixed at one tick.

background

Recognition Science sets the native time unit as tau_0 equals one tick in the upstream Constants module. This module applies that unit to calibrate tauZero while introducing the cortical resonance frequency at five times phi hertz, consistent with the self-similar phi fixed point from the J-cost function. Notation follows RS conventions with phi as the solution to the fixed-point equation and resonance bands centered on this value.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the tauZero definition and cortical resonance frequency that sibling declarations such as tauZeroDefinition and corticalResonance_band rely on. It fills the calibration step linking the T0-T8 forcing chain constants to observable frequencies, supporting later derivations of resonance modes and the eight-tick octave.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (7)