Pith.

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

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

Fundamental constants

23 entries

Cosmology

entries 1 to 8 of 37

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 CountLaw holds for some encoding, then the family has cardinality exactly 2 ^ 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.