pith. sign in
module module high

IndisputableMonolith.TruthCore.Display

show as:
view Lean formalization →

The TruthCore.Display module aliases the display speed identity as the ratio of kinematic wavelength to recognition time equaling c. Researchers normalizing velocities in Recognition Science native units cite it when handling kinematic and temporal scales. It is a definition module importing Constants with no internal proofs.

claimThe module aliases the display speed identity as $λ_{kin}/τ_{rec} = c$ with $c=1$ in RS-native units.

background

The module sits in the TruthCore domain and imports IndisputableMonolith.Constants, which defines the fundamental RS time quantum τ₀ = 1 tick. Recognition Science normalizes c to 1, so all velocities appear as dimensionless fractions. The alias provides shorthand for wavelength-time relations in kinematic contexts.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the speed identity alias supporting parent results in TruthCore and the T0-T8 forcing chain. It enables consistent c=1 normalization for mass formulas and recognition composition. No open questions are addressed.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (1)