Changelog

The project is a living work. This page records every dated release with a version DOI and a short summary of what changed.

How versioning works

Releases are version-stamped and archived on Zenodo, each under its own permanent DOI.

Minor revisions (typo fixes, formatting, broken-link repair) update the live page without a new release entry. Substantive revisions — changes to a definition, a premise, a proof step, a derivation, or a constructive identification — trigger a new release with a new DOI and a dated entry below.

Releases

v0.1.0 — 2026-08-01

First public release and Zenodo deposit. Concept DOI: 10.5281/zenodo.21733264. Version DOI: 10.5281/zenodo.21733265. Initial working-manuscript snapshot archived; nothing prior to compare it against.

How to cite a specific version

See the How to Cite page for the project’s citation conventions, including how to pin a citation to a specific version DOI rather than the live page.