v0.3.0

The declared version had been 0.2.0 since 11 July while main moved 105 commits past that tag, and the v0.2.0 tag was never given a release — so the newest release anyone could see was v0.1.0 from 25 June. This release makes the version name the tree again.

What is in it

Everything merged since v0.2.0 (2026-07-11). The bulk of it is the public-system paper, which went through its sixth, seventh, eighth and ninth passes: grounding borrowed claims in primary sources, stating the contribution as a claim–evidence–limit contract rather than a ladder, placing that contract beside assurance cases and CAE notation, and bounding what it says about correctness, authorship and record repair. Alongside that: the served page is called Plectis rather than the project's former name, the README opens on the one-system-two-demonstrations frame, and CI was repaired and made considerably faster.

The full list is in CHANGELOG.md.

Verification

make ci on a fresh unauthenticated clone of this tag: 426 passed, 2 skipped. The package smoke reports version: plectis 0.3.0 on both the served and packaged paths.

What this is not

A hosted product, and not the private system. Plectis is the runnable public slice — real components packaged so you can run them locally and check what each one claims. Authority ceilings are explicit and the gates fail closed.