pith. sign in
module module high

IndisputableMonolith.RRF.Foundation

show as:
view Lean formalization →

The RRF Foundation module assembles the core axioms and structures of the Reality Recognition Framework, including the Meta-Principle, φ-derived constants, and ledger conservation. Researchers in foundational physics cite it as the entry point for unifying recognition with physical constants and bookkeeping. The module functions as an import hub organizing submodules without internal proofs.

claimThe foundational module defines the Meta-Principle (MP) as the axiom that nothing cannot recognize itself, the derivation chain $φ → E_{coh} → τ_0 → c → ℏ → G → α^{-1}$, and the ledger constraint that debit + credit = 0 for every transaction.

background

The Reality Recognition Framework (RRF) treats recognition as the primitive process from which physics derives. This module is the foundational layer containing the Meta-Principle (MP) as the single axiom, constants obtained from φ via gate identities, and ledger algebra that enforces conservation. Submodules develop consciousness as the recognition cursor, gravity as ledger curvature, and related structures. The setting derives all physics from these recognition primitives, aligning with the broader Recognition Science chain from T0 to T8.

proof idea

This is a definition module, no proofs. It organizes content by importing specialized submodules that supply the Meta-Principle, constants, ledger, consciousness, gravity, and related components.

why it matters in Recognition Science

This module supplies the base layer of the Reality Recognition Framework and feeds the parent RRF structure that assembles MetaPrinciple, Constants, Ledger, and downstream constructions. It provides the axiom and derivations used by higher modules for predictions and isomorphisms, closing the foundational loop in the framework.

scope and limits

used by (1)

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

depends on (11)

Lean names referenced from this declaration's body.