pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.RRF.Core.Glossary

show as:
view Lean formalization →

The RRF.Core.Glossary module compiles core terminology for the Recognition Reality Framework, centering on J as the strain or cost of a state. It aggregates supporting concepts from display channels, octaves, strain measures, and three vantages. Researchers in Recognition Science cite it for standardized RRF vocabulary. As a pure glossary it organizes definitions without proofs or derivations.

claim$J$ denotes the strain or cost of a state. Related notions include display channels as projections into observation space, octaves as scales of manifestation related by powers of the golden ratio, strain as deviation from equilibrium, and vantages as the inside, act, and outside perspectives.

background

The module sits inside RRF Core, the umbrella that re-exports all foundational definitions for the Recognition Reality Framework. It imports four sibling modules whose doc-comments supply the working vocabulary: DisplayChannel treats observation as projection of a state; Octave describes manifestation scales linked by scaling factors; Strain defines the fundamental deviation measure with the law that strain tends to zero; Vantage supplies the three irreducible perspectives on any phenomenon.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The glossary supplies the shared terminology that the parent RRF.Core module re-exports to the rest of the framework. It thereby anchors downstream work on consistent states, minimization laws, and ledger closure by fixing the meanings of J, balance, and vantage without introducing constants or hypotheses.

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)