IndisputableMonolith.TruthCore.Display
The TruthCore.Display module aliases the kinematic display speed identity λ_kin/τ_rec = c in RS-native units. Researchers working on the TruthCore layer would cite it for this definition. It is a definition module containing no proofs.
claim$λ_{kin}/τ_{rec} = c$
background
The module resides in the TruthCore domain and imports IndisputableMonolith.Constants. That upstream module defines the fundamental RS time quantum τ₀ = 1 tick. The alias connects the kinematic wavelength λ_kin and recovery time τ_rec to the speed of light c, consistent with RS-native units where c = 1.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module feeds the TruthCore layer by providing the display speed identity λ_kin/τ_rec = c. It builds directly on the Constants module's definition of τ₀ and supports the Recognition Science forcing chain from T0 to T8.
scope and limits
- Does not contain theorems or proofs.
- Does not import modules beyond Constants.
- Does not list any downstream uses.