pith. sign in
module module high

IndisputableMonolith.Core.ConstantsAndPatterns

show as:
view Lean formalization →

Core.ConstantsAndPatterns aggregates the RS time quantum and pattern definitions into one import point for the core domain. Researchers constructing the forcing chain or mass formulas on the phi-ladder cite it to maintain RS-native units. The module performs no proofs and consists solely of imports from Constants and Patterns.

claim$\tau_0 = 1$ (tick) together with the pattern structures satisfying the Recognition Composition Law.

background

Recognition Science derives physics from a single functional equation whose landmarks include the J-uniqueness step and the eight-tick octave. The upstream Constants module supplies the fundamental RS time quantum $\tau_0 = 1$ tick. The Patterns module supplies the recurring algebraic structures used throughout the framework. This module simply reexports both for convenient access in the core namespace.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the base constants and patterns required by the forcing chain (T0-T8) and the Recognition Composition Law. It therefore feeds every downstream construction that relies on RS-native units or the phi-ladder.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.