Releases
The framework of finite-ring-space is released by date at paper milestones, and every published paper pins one (decision Q06). The site keeps each pinned release: its archive, its Lean web copies and the pinned papers' packages.
| Release | Date | Kind | Commit | Papers pinned |
|---|---|---|---|---|
| frc-20261015 | 2026-10-15 | framework release at a paper milestone (Q06) | 58ea3ae6 | 1 |
| frc-20261009 | 2026-10-09 | framework release at a paper milestone (Q06) | 1a29c85a | 1 |
| frc-20261004 | 2026-10-04 | pre-migration release (reports/ledger-migration-20261003.md, task LM02) | 15cb5a62 | 21 |