pith. sign in
module module moderate

IndisputableMonolith.Core.ConstantsAndPatterns

show as:
view Lean formalization →

Core.ConstantsAndPatterns aggregates the base RS-native constants and structural patterns required for all downstream derivations. It imports the time quantum definition and pattern library to enforce uniform units across the monolith. Researchers building the forcing chain or phi-ladder mass formulas cite this module for consistent starting data. The module contains no proofs and serves purely as an organizational layer.

claimExposes the RS time quantum $τ_0 = 1$ (tick) together with pattern definitions for the J-function, Recognition Composition Law, and phi-ladder structures.

background

Recognition Science starts from a single functional equation whose solutions generate all physical constants and dimensions. The upstream Constants module supplies the fundamental RS time quantum $τ_0 = 1$ tick. The Patterns module supplies the recurring algebraic and geometric objects (J-cost, defectDist, self-similar fixed points) used throughout the framework. This core module simply re-exports both so that every later file works in the same native units without redefinition.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

Supplies the constant and pattern foundation required by the UnifiedForcingChain (T0–T8) and all mass-formula and alpha-band calculations. Without this aggregation, downstream modules would duplicate the base definitions or risk unit mismatches. The module therefore sits at the root of the depends-on graph for the entire IndisputableMonolith.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.