pith. machine review for the scientific record. sign in

IndisputableMonolith.RRF.Hypotheses

IndisputableMonolith/RRF/Hypotheses.lean · 36 lines · 0 declarations

show as:
view math explainer →

open module explainer GitHub source

Explainer status: pending

   1import IndisputableMonolith.RRF.Hypotheses.EightTick
   2import IndisputableMonolith.RRF.Hypotheses.PhiLadder
   3import IndisputableMonolith.RRF.Hypotheses.TauGate
   4
   5/-!
   6# RRF Hypotheses
   7
   8Umbrella file for RRF explicit hypotheses.
   9
  10These are PHYSICAL CLAIMS, not definitional truths or proven theorems.
  11Each hypothesis:
  121. Makes specific predictions
  132. Has explicit falsification criteria
  143. Is isolated from Core (never imported by Core)
  15
  16## Contents
  17
  18- `PhiLadder`: The φ-scaling hypothesis
  19- `EightTick`: The 8-phase discretization hypothesis
  20- `TauGate`: The tau lepton / biological gate correspondence
  21-/
  22
  23
  24namespace IndisputableMonolith
  25namespace RRF
  26
  27/-!
  28## RRF Hypotheses Status
  29
  30Hypotheses are explicit and falsifiable. They are NOT imported by Core,
  31ensuring the core definitions remain hypothesis-agnostic.
  32-/
  33
  34end RRF
  35end IndisputableMonolith
  36

source mirrored from github.com/jonwashburn/shape-of-logic