From the research program of the Recognition Physics Research Institute, which runs Pith. Agreement with that program is not an input to any score on Pith. Who runs Pith
Derivations from first principles
222
published of 246 tracked
live · read 15 Nov 2026, 01:42 UTC
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.
The whole list, by domain
- Applied 7 Engineering predictions involving phi-spacing, recognition bandwidth, and device-scale falsifiers.
- Biology & medicine 1 Biological partitions and phi-ladder structures inherited from the recognition substrate.
- Consciousness & ethics 11 Sigma-equilibration, ethics, virtue, consent, and awareness as recognition-cost consequences.
- Fundamental constants 23 Dimensionless constants and SI bridge quantities forced by J-cost, phi, and the RS unit system.
- Cosmology 37 Large-scale observables including Omega_Lambda, H0, CMB structure, baryogenesis, and inflation.
- Gravity 32 Spacetime, curvature, black holes, gravitational propagation, and Regge-limit derivations.
- Mathematics & foundations 29 The formal forcing chain: logic, cost, phi, discreteness, dimension, arithmetic.
- Particle physics 55 Standard-Model masses, gauge couplings, mixing matrices, and representation counts.
- Quantum mechanics 27 Quantum mechanics as the small-tick limit of recognition dynamics.
- All domains 222
Every published derivation
222 entries, by domain, then tier, then title. 50 to a page.
Applied
7 entries
-
Phi-Ladder Plasmonic Modes
Plasmon resonances align with the phi-ladder
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
Phi-Spaced Pulses Beat Uniform Pulses
Phi-spaced excitation produces a measurable advantage over uniform spacing
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
Photonic Metamaterial from Phi
Phi-spaced photonic crystals deliver the predicted bandgaps
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
Planet Strata From RS
Planetary layering follows RS recognition octaves
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
Robotics Control from RS
Information-limited control gains emerge for RS-aware robotic systems
Applied · MODEL · 1 anchor · 0 predictions
-
Critical Recognition Loading
Phase transitions occur at canonical critical recognition loadings
Derived · OPEN · 1 anchor · 0 predictions
-
Registry Predictions Proved
The RS prediction registry forms a single proved bundle
Derived · OPEN · 1 anchor · 0 predictions
Biology & medicine
1 entry
-
The 1024-Tick Breath Cycle
Eight octaves of recognition form the breath cycle 2^10 = 1024
Derived · MODEL · 1 anchor · 0 predictions
Consciousness & ethics
11 entries
-
Consciousness Bandwidth
Awareness throughput is a recognition-bandwidth quantity
Derived · OPEN · 1 anchor · 0 predictions
-
Consent Interface from J-Cost
Consent is the J-cost-minimizing protocol for joint recognition
Derived · OPEN · 1 anchor · 0 predictions
-
Extraction is Thermodynamically Unstable
Net-extraction strategies cannot persist; equilibration always wins
Derived · OPEN · 1 anchor · 0 predictions
-
Love as the Unique Equilibrating Virtue
Among virtues that drive sigma to zero, love is the unique stable target
Derived · OPEN · 1 anchor · 1 prediction
-
Moral Debt as Accumulated Imbalance
Unredressed recognition imbalance forms a ledger of moral debt
Derived · OPEN · 1 anchor · 0 predictions
-
Recognition Bandwidth Saturation
Every physical system has a finite recognition bandwidth; saturation drives observable effects
Derived · OPEN · 3 anchors · 0 predictions
-
Stake Graph
The graph of who has a stake in a recognition event is forced by event topology
Derived · MODEL · 1 anchor · 0 predictions
-
Virtue Generators from J-Cost
The classical virtues are J-cost generators of recognition equilibration
Derived · OPEN · 4 anchors · 0 predictions
-
Virtues Form a Finite Lattice
All possible virtue combinations live in a finite, enumerable lattice
Derived · OPEN · 4 anchors · 0 predictions
-
Recognition Cost Model for Ethics
All ethical evaluations reduce to a recognition cost J(stakes)
Foundational · OPEN · 1 anchor · 0 predictions
-
Sigma Equilibration as Drive
The drive to equilibrate recognition imbalance is the basis of ethical action
Foundational · OPEN · 2 anchors · 0 predictions
Fundamental constants
23 entries
-
Explicit CODATA Handles in the Canon
The canon ships concrete definitions of c, hbar, G as CODATA constants for cross-checks
Applied · MODEL · 6 anchors · 0 predictions
-
External Anchors: CODATA Bridges
Empirical SI/CODATA anchors that the RS predictions are compared against
Applied · MODEL · 4 anchors · 0 predictions
-
alpha-G Score Card
Cross-bracket consistency of alpha and G predictions
Calibrated · OPEN · 1 anchor · 0 predictions
-
CODATA Alpha is Inside the RS Band
Explicit Lean check that the experimentally accepted alpha lies inside the certified band
Calibrated · OPEN · 2 anchors · 1 prediction
-
Fermi Coupling Constant Inside CODATA Bracket
The weak coupling G_F * (mu c)^2 / (hbar c)^3 lands inside the RS certified bracket
Calibrated · THEOREM · 3 anchors · 1 prediction
-
Newton's Gravitational Constant
G = phi^5 / pi in RS-native units; SI value reproduced via the unit-conversion bridge
Calibrated · THEOREM · 4 anchors · 1 prediction
-
Planck Constant in RS-Native Units
hbar = phi^{-5} in (tick, voxel, coh) units; SI value follows from the calibration
Calibrated · THEOREM · 3 anchors · 1 prediction
-
Planck Length in RS Units
The Planck length is reconstructible as a derived rung of the phi-ladder
Calibrated · THEOREM · 4 anchors · 1 prediction
-
tau0 Calibrator from Constants
tau0 is calibrated against CODATA constants self-consistently
Calibrated · OPEN · 1 anchor · 0 predictions
-
The Fine-Structure Constant
α⁻¹ = 4π·11·exp(−w₈·ln(φ)/(4π·11)) is forced from J-cost uniqueness, φ self-similarity, and D=3; the certified band (137.030, 137.039) contains CODATA 137.036
Calibrated · OPEN · 15 anchors · 2 predictions
-
The RS Unit System is Self-Consistent
tick, voxel, coh, and act compose consistently with derived c, hbar, G
Calibrated · THEOREM · 4 anchors · 0 predictions
-
The Speed of Light
c is one voxel per tick by construction; the SI value 299,792,458 m/s is a unit conversion, not a measurement of the universe
Calibrated · THEOREM · 10 anchors · 3 predictions
-
AlphaLock Window in the Unit Interval
The locked alpha lives in (0,1); the certified numerical bounds reproduce the CODATA value
Derived · OPEN · 5 anchors · 0 predictions
-
Boltzmann Constant from Recognition
k_B is a single RS rung tied to the thermal recognition channel
Derived · THEOREM · 4 anchors · 1 prediction
-
Derived · MODEL · 1 anchor · 0 predictions
-
Hartree and Rydberg Inside CODATA Brackets
RS predicts the Hartree-to-rest-mass and Rydberg-to-rest-mass ratios within tight bands
Derived · OPEN · 4 anchors · 0 predictions
-
Precision Band for the Fine-Structure Constant
Lean-certified upper and lower bounds on alpha^{-1} place CODATA inside
Derived · OPEN · 7 anchors · 1 prediction
-
Recognition Length lambda_rec
The canonical recognition length is the unique balanced positive root of the curvature-cost equation
Derived · THEOREM · 5 anchors · 1 prediction
-
RS Lambda_rec Matches the Planck Length
The recognition length lambda_rec coincides with the Planck length in SI
Derived · OPEN · 3 anchors · 0 predictions
-
Strong Coupling alpha_s from the Gauge Sum
alpha_s is forced by the RS gauge-sum prediction and its bounds
Derived · THEOREM · 4 anchors · 1 prediction
-
The pi^5 Curvature Tuple is Forced
The 5-dimensional config space forces a pi^5 angular factor
Derived · THEOREM · 4 anchors · 0 predictions
-
All Fundamental Constants Proved Together
A single Lean module collects the closed-form RS predictions of the core constants
Foundational · OPEN · 1 anchor · 0 predictions
-
Foundational · THEOREM · 4 anchors · 1 prediction
Cosmology
entries 1 to 8 of 37
-
Stellar Evolution Tracks
Main sequence to white-dwarf transitions anchored to RS phi-ladder
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
Tensor-to-Scalar Ratio Bound
RS predicts r within the BICEP/Keck-respecting band
Applied · HYPOTHESIS · 1 anchor · 0 predictions
-
XENON Detector Null Prediction
RS predicts a null signal in XENON-style direct detection experiments
Applied · HYPOTHESIS · 2 anchors · 0 predictions
-
Cosmological Constant Density Omega_Lambda = 11/16
The dark-energy density parameter equals exactly 11/16 in RS
Calibrated · OPEN · 4 anchors · 1 prediction
-
Early Universe Snapshot
Key parameters of the radiation-dominated era anchored to RS rungs
Calibrated · OPEN · 1 anchor · 0 predictions
-
Flatness and Horizon Problems Dissolved
Both classical inflation paradoxes are resolved by RS without fine-tuning
Calibrated · OPEN · 2 anchors · 0 predictions
-
Hubble Tension Resolution
Z-aging shifts reconcile CMB and SH0ES H_0 within RS bounds
Calibrated · OPEN · 6 anchors · 1 prediction
-
Primordial Nucleosynthesis Ratios
BBN H/He/Li ratios reproduced from RS thermal anchors
Calibrated · OPEN · 2 anchors · 0 predictions
Recently published
-
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, and unit log-curvature calibration.
Mathematics & foundations · Foundational · THEOREM
-
phi forcing complete
COMPLETE PHI FORCING THEOREM.
Mathematics & foundations · Foundational · THEOREM
-
The Golden Ratio as a Forced Self-Similar Scale
THEOREM: The unique positive closed ratio is φ.
Fundamental constants · Foundational · THEOREM
-
f gap
Anchored in
Constants.GapWeight.Fundamental constants · Derived · MODEL
-
tau0 Calibrator from Constants
tau0 is calibrated against CODATA constants self-consistently.
Fundamental constants · Calibrated · OPEN
-
Recognition Coupling Bridge
Recognition coupling encodes the bridge between micro and macro scales.
Mathematics & foundations · Derived · OPEN
-
Sterile Neutrino Exclusion
Eg parametric exclusion of an eV-scale sterile neutrino.
Particle physics · Applied · HYPOTHESIS
-
Count Law at D=3
Counting laws on the 3-cube reproduce the standard combinatorial bounds. If
CountLawholds for some encoding, then the family has cardinality exactly2 ^ D - 1.Mathematics & foundations · Foundational · THEOREM
How to read these pages
Pith derivations are a hybrid of narrative explanation and machine-checked proof. Anything tagged THEOREM names at least one Lean 4 theorem in the canonical Recognition library that exists, contains no sorry and is not vacuous; the corresponding declarations are linked inline. The tag is computed from the named anchors, and a page that names only modules is OPEN. A page is Calibrated rather than Derived when its record or its Lean statement uses a measured value such as a CODATA or PDG number. A tag of HYPOTHESIS means the claim is empirically falsifiable but not yet formally derived; a MODEL tag means the claim is a definitional choice. OPEN is reserved for active gaps.
Direct URL: https://pith.science/derivations/<slug>. JSON form: https://pith.science/derivations/<slug>.json. Search: https://pith.science/derivations/search.json?q=.... No nav link by design. Cite a derivation by its stable URL plus the version number printed at the top of the page.