pith. sign in
module module high

IndisputableMonolith.RRF.Core.Glossary

show as:
view Lean formalization →

The RRF.Core.Glossary module supplies core terminology for the Recognition Reality Framework, centering on J as the strain or cost of a state together with predicates for balance and consistency. Researchers constructing or auditing RRF models cite it to maintain uniform definitions across display channels, octaves, strain, and vantages. It is a definition module that imports four sibling modules and performs no proofs.

claim$J$ denotes the strain or cost of a state; $V$ a vantage; isBalanced, isMinimizer, isConsistent and consistentStates the associated predicates; JMinimizationLaw, LedgerClosure and ChannelEquiv the governing relations.

background

The module sits inside the RRF Core umbrella and imports four supporting modules. DisplayChannel defines a projection of a state into an observation space. Octave introduces scales of manifestation related by $\phi^n$ scaling, so that particles, proteins and thoughts appear as the same pattern at different levels. Strain records deviation from equilibrium, with the law that strain tends to zero. Vantage supplies the three fundamental perspectives: Inside (subjective), Act (dynamic) and Outside (objective).

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The glossary feeds the parent IndisputableMonolith.RRF.Core umbrella file, which re-exports all core RRF definitions and contains only definitional content with no physical constants or hypotheses. It supplies the terminological base required by every downstream RRF construction.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (4)

Lean names referenced from this declaration's body.

declarations in this module (9)