IndisputableMonolith.RRF.Hypotheses
IndisputableMonolith/RRF/Hypotheses.lean · 36 lines · 0 declarations
show as:
view math explainer →
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