pith. sign in
module module high

IndisputableMonolith.RRF.Foundation

show as:
view Lean formalization →

RRF.Foundation assembles the foundational layer of the Reality Recognition Framework by importing ten submodules on axioms, constants, and ledger structures. Researchers deriving physics from recognition principles would cite this module as the starting point. The module functions as an import aggregator with no internal theorems or proofs.

claimThe Meta-Principle asserts that nothing cannot recognize itself. Constants obey the derivation chain $\phi \to E_{\rm coh} \to \tau_0 \to c \to \hbar \to G \to \alpha^{-1}$. The ledger enforces debit + credit = 0 for every transaction.

background

The module documentation states: 'The foundational layer of the Reality Recognition Framework. This module contains: - MetaPrinciple: The single foundational axiom (MP) - Constants: Physical constants derived from φ - Ledger: Double-entry bookkeeping and conservation.' Submodules introduce Consciousness as the cursor model with past verified propositions and present verification, Gravity as ledger curvature where mass equals transaction density, and the Meta-Principle as the root axiom.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

This module supplies the base layer that feeds the parent RRF.Foundation and downstream submodules on predictions, self-reference, and consciousness. It establishes the Meta-Principle and φ-derived constants as the entry point for the framework, consistent with the single-axiom derivation of physical constants.

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.