Derivations from first principles
Every entry below begins from the Recognition Science primitives (ledger, tick, voxel, cost composition law) and ends at a measurable consequence. Each step is a clickable Lean theorem; every empirical claim carries a named falsifier. 222 published of 246 tracked.
Recently published
-
Foundational THEOREM
Law of Logic Forces the Canonical Cost
The Law of Logic cost theorem: the canonical reciprocal cost J(x) = 1/2(x + x^-1) - 1 is the unique continuous positive-ratio cost satisfying reciprocity, normalization, the RCL...
-
Foundational THEOREM
phi forcing complete
**COMPLETE PHI FORCING THEOREM**.
-
Foundational THEOREM
The Golden Ratio as a Forced Self-Similar Scale
**THEOREM**: The unique positive closed ratio is φ.
-
Derived MODEL
f gap
Anchored in `Constants.GapWeight`.
-
Derived THEOREM
tau0 Calibrator from Constants
tau0 is calibrated against CODATA constants self-consistently.
-
Derived THEOREM
Recognition Coupling Bridge
Recognition coupling encodes the bridge between micro and macro scales.
-
Applied HYPOTHESIS
Sterile Neutrino Exclusion
Eg parametric exclusion of an eV-scale sterile neutrino.
-
Foundational THEOREM
Count Law at D=3
Counting laws on the 3-cube reproduce the standard combinatorial bounds. If `CountLaw` holds for some encoding, then the family has cardinality exactly `2 ^ D - 1`.
Particle physics
Standard-Model masses, gauge couplings, mixing matrices, and representation counts.
| Derivation | Tier | Status | Anchors | Predictions |
|---|---|---|---|---|
|
Sterile Neutrino Exclusion
Eg parametric exclusion of an eV-scale sterile neutrino |
Applied | HYPOTHESIS | 1 | 0 |
|
String Theory from J-Cost
If strings exist, RS forces specific compactification structure |
Applied | MODEL | 3 | 0 |
|
Supersymmetry is Spontaneously Broken at the RS Scale
RS predicts a specific SUSY breaking pattern; sparticle masses lie above the EW scale |
Applied | MODEL | 1 | 0 |
|
W-Mass Anomaly Structure
RS prediction for the W-mass anomaly relative to Standard-Model expectations |
Applied | HYPOTHESIS | 1 | 0 |