Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Changelog

The canonical changelog lives at CHANGELOG.md in the repository root.

v0.1.0 — 2026-05-20 — first real release

  • All 27 workspace crates published to crates.io.
  • Factorial round-trip green in CI (Python → Rust + rustc -O + assert_eq!).
  • 12 contracts at 100% QUORUM; 638 stratum-vote artifacts.
  • Eleven UNIVERSAL Diamond milestones (depth-3..13); 171 wired Diamond theorems; 13 recurring algebraic templates.
  • cargo install xpile installs the CLI for end users.

See the full CHANGELOG for the PMAT work-item series.