IndisputableMonolith.RRF.Foundation

   1import IndisputableMonolith.RRF.Foundation.MetaPrinciple
   2import IndisputableMonolith.RRF.Foundation.Constants
   3import IndisputableMonolith.RRF.Foundation.Ledger
   4import IndisputableMonolith.RRF.Foundation.Predictions
   5import IndisputableMonolith.RRF.Foundation.VantageCategory
   6import IndisputableMonolith.RRF.Foundation.WaterSubstrate
   7import IndisputableMonolith.RRF.Foundation.Consciousness
   8import IndisputableMonolith.RRF.Foundation.Gravity
   9import IndisputableMonolith.RRF.Foundation.SelfReference
  10import IndisputableMonolith.RRF.Foundation.UltimateIsomorphism
  11
  12/-!
  13# RRF Foundation
  14
  15The foundational layer of the Reality Recognition Framework.
  16
  17This module contains:
  18- **MetaPrinciple**: The single foundational axiom (MP)
  19- **Constants**: Physical constants derived from φ
  20- **Ledger**: Double-entry bookkeeping and conservation
  21- **Predictions**: The predictions registry with falsifiers
  22- **VantageCategory**: Formal equivalence of vantages
  23- **WaterSubstrate**: Biophysical bridge to biology
  24- **Consciousness**: Cursor model and qualia = strain
  25- **Gravity**: Gravity as ledger curvature
  26- **SelfReference**: The framework describing itself
  27- **UltimateIsomorphism**: The final unification theorem
  28
  29## The Derivation Chain
  30
  31```
  32MP → Ledger → φ → E_coh → τ₀ → c → ℏ → G → α
  33```
  34
  35## The Vantage Equivalence
  36
  37```
  38Outside (Physics) ≃ Act (Meaning) ≃ Inside (Qualia)
  39```
  40
  41## Usage
  42
  43```lean
  44import IndisputableMonolith.RRF.Foundation
  45
  46open IndisputableMonolith.RRF.Foundation
  47
  48-- Access the Meta-Principle
  49#check MetaPrinciple
  50
  51-- Access derived constants
  52#check E_coh
  53
  54-- Access predictions
  55#check allPredictions
  56
  57-- Access vantage equivalence
  58#check vantages_equivalent
  59```
  60-/
  61
  62namespace IndisputableMonolith.RRF.Foundation
  63
  64-- All definitions are already in the Foundation namespace from the submodules
  65-- No need for explicit exports; just importing the modules brings them in
  66
  67end IndisputableMonolith.RRF.Foundation
  68