frc-20261004
A framework release of finite-ring-space (decision Q06: dated, cut at paper milestones, pinned by every published paper). Tag frc-20261004 at commit 15cb5a62260b475e16cd916e54bc85b97815c56b; Lean leanprover/lean4:v4.34.0, Mathlib 695d840c.
The framework archive: frc-20261004.tar.gz (58 files: lean/ without the web copies, frc/, ci/; SHA-256 5036b1a26389a7cd…). All releases: releases.
The Lean web copies at the release, each an executable file for Lean Live, the Lean web editor: Algebra.lean, Causality.lean, Dimensions.lean, Dirac.lean, Entropy.lean, Epi.lean, Fourier.lean, FrcCore.lean, Geometry.lean, Godel.lean, Gravity.lean, Reductio.lean, Representation.lean, Rh.lean, core/Algebra.lean, core/Causality.lean, core/Complex.lean, core/Dimensions.lean, core/Dirac.lean, core/Entropy.lean, core/Epi.lean, core/Fourier.lean, core/Geometry.lean, core/Godel.lean, core/Gravity.lean, core/Quaternion.lean, core/Reductio.lean, core/Representation.lean, core/Rh.lean.
| Paper | Title | Package and tree | Pinned sdist | Checks at the tag |
|---|---|---|---|---|
| 1-alg | Relativistic Algebra over Finite Ring Continuum | src/1-algebra9266a87b | frc-1-algebra-20260926.tar.gz | 16/16 |
| 2-geom | Geometry and Constants in Finite Ring Continuum | src/2-geometry041fec4d | frc-2-geometry-20260926.tar.gz | 18/18 |
| 3-caus | Euclidean–Lorentzian Dichotomy and Algebraic Causality in Finite Ring Continuum | src/3-causality3927274b | frc-3-causality-20260926.tar.gz | 16/16 |
| 4-rep | Universal Latent Representation in FRC | src/4-representation4c8c12c5 | frc-4-representation-20260926.tar.gz | 13/13 |
| 5-red | Paradoxes of Infinity as Reductio ad Absurdum | src/5-reductio5c3505e1 | frc-5-reductio-20260926.tar.gz | 17/17 |
| 6-four | Scale-Shift and Fractional Fourier Transform as Rotations over Finite Holographic Substrate | src/6-fourier8e2a2dd6 | frc-6-fourier-20260926.tar.gz | 39/39 |
| 8-dirac | Schrödinger and Dirac Dynamics | src/8-dirac590c6358 | frc-8-dirac-20260926.tar.gz | 52/52 |
| 10-dim | Dimensional Analysis over Finite Holographic Substrate | src/10-dimensions69551018 | frc-10-dimensions-20260926.tar.gz | 13/13 |
| 13-epi | Finite Field Realisation of π and e | src/13-epif329faff | frc-13-epi-20260926.tar.gz | 41/41 |
| 14-entr | De Sitter Entropy Estimates over Finite Holographic Substrate | src/14-entropya2c10096 | frc-14-entropy-20260926.tar.gz | 19/19 |
| 20-rh | Riemann Hypothesis over the Holographic Substrate | src/20-rhd24e28db | frc-20-rh-20260926.tar.gz | 95/95 |
| 21-grav | Gravitation as Phase Synchronisation | src/21-gravityb8e882b1 | the package tree at the tag | 21/21 |
| 22-qm | Quantum Observation over Finite Substrate | src/22-quantum8eed868e | the package tree at the tag | 17/17 |
| 23-gold | Binary Goldbach over Finite Substrate | src/23-goldbach251ee27d | the package tree at the tag | no check records |
| 25-göd | Incompleteness Without Infinity | src/25-godel3bbba814 | frc-25-godel-20261003.tar.gz | 20/20 |
| 26-pnp | P versus NP: Computation as Counting | src/26-pnp811cf254 | the package tree at the tag | no check records |
| 27-fld | Standard-Model Interactions over Finite Substrate | src/27-fields5a0a5316 | the package tree at the tag | 28/28 |
| 28-flav | Fermion Flavour Sector over Finite Substrate | src/28-flavourc1b84aa3 | the package tree at the tag | 16/16 |
| 32-dark | The Dark Sector over Finite Substrate | src/32-darkeb66c043 | the package tree at the tag | 13/13 |
| 35-hadr | Ground-State Light Hadron Spectroscopy over Finite Substrate | src/35-hadronsb71ba24a | the package tree at the tag | 16/16 |
| 38-s13 | Exact Quantum Dynamics on (13,233) | src/38-s13d11f1851 | the package tree at the tag | 13/13 |