IndisputableMonolith.Constants.KDisplayCore
Defines clock-side display scales for RS constants, led by the recurrence time τ_rec(display) = (2π·τ₀)/(8 ln φ). Also packages kinematic wavelength display, the dimensionless K-gate ratio, and short ratio identities. Downstream unit and bridge modules import these as the ledger-to-continuum clock face. Pure definition module with algebraic unfoldings only.
claimClock-side display definitions: recurrence time $\tau_{\mathrm{rec}}^{\mathrm{display}} = \frac{2\pi\,\tau_0}{8\ln\varphi}$, kinematic wavelength display $\lambda_{\mathrm{kin}}^{\mathrm{display}}$, and the dimensionless gate ratio $K$ relating the two, together with the elementary ratio identities among them.
background
Recognition Science measures time in ledger ticks. The parent Constants module fixes the fundamental RS time quantum $\tau_0 = 1$ tick. Continuum display values must still carry a full $2\pi$ phase, the eight-tick octave period, and the golden-ratio self-similarity scale $\varphi$ forced upstream in the forcing chain.
This module is the clock-side face of that conversion. It introduces $\tau_{\mathrm{rec}}$ in display units as $(2\pi\cdot\tau_0)/(8\ln\varphi)$, the matching kinematic wavelength display, and the dimensionless ratio $K$ that bridges the two presentations. Sibling names are exactly those objects and the short ratio lemmas that relate them.
proof idea
This is a definition module, no substantive proofs. It declares the display constants and a handful of one-line ratio lemmas (display ratios, recovery of $\lambda_{\mathrm{kin}}$ from $\tau_{\mathrm{rec}}$, and the gate identity $K=K$) that unfold the algebraic definitions against $\tau_0$ and $\varphi$.
why it matters in Recognition Science
Supplies the clock-side primitives imported by Constants.KDisplay (dimensionless bridge ratio $K$ and display equalities), Constants.RSNativeUnits (RS-native tick/voxel/coh/act measurement system with no SI anchor), and RecogSpec.Spec. Without these display faces, ledger ticks cannot be compared to continuum periods while staying inside RS-native units. The eight-tick factor and $\ln\varphi$ tie the definitions to forcing-chain landmarks T6–T7.
scope and limits
- Does not derive φ or the eight-tick period; both are inputs from the forcing chain.
- Does not prove numerical match to any SI second or metre.
- Does not define mass-ladder, α, or coupling constants.
- Does not host the full K-display bridge theorems (those live in KDisplay).
- Does not choose an external SI anchor; units remain RS-native.