frc-20261015

A framework release of finite-ring-space (decision Q06: dated, cut at paper milestones, pinned by every published paper). Tag frc-20261015 at commit 58ea3ae6585c7483c2904101f18949398eab8856; Lean leanprover/lean4:v4.34.0, Mathlib 695d840c.

The framework archive: frc-20261015.tar.gz (261 files: lean/ without the web copies, frc/, ci/; SHA-256 3991672e9646cc05…). 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, Keys.Chart.lean, Keys.Gravity.lean, Reductio.lean, Representation.lean, Rh.lean, S13.lean, Theme.Chart.lean, Theme.Gravity.lean, Theme.Strong.lean, core/Algebra.lean, core/Causality.lean, core/Complex.lean, core/Dimensions.lean, core/Dirac.lean, core/Entropy.lean, core/Epi.lean, core/Finitism.lean, core/Fourier.lean, core/Geometry.lean, core/Godel.lean, core/Gravity.lean, core/Keys.Carrier.lean, core/Keys.Extension.lean, core/Keys.Foundation.lean, core/Keys.Fourier.lean, core/Keys.Frame.lean, core/Keys.Gravity.lean, core/Keys.Horizon.lean, core/Keys.Interactions.lean, core/Keys.Logic.lean, core/Keys.Numbers.lean, core/Keys.Projective.lean, core/Keys.Quantum.lean, core/Keys.Subject.lean, core/Quaternion.lean, core/Reductio.lean, core/Representation.lean, core/Rh.lean, core/S13.lean.