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

§17. Pinned versions and conventions

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

NixOS 26.05 (nixos-26.05 channel pinned to a commit in flake.lock; recorded in docs/pins.md; moves only by PR; 26.11 waits for Phase C). COSMIC from the channel module. Rust stable pinned. zbus, serde+JSON. No unsafe outside backends/ and watchdog/. License MPL-2.0. CI: tests, gym Phase A catalog, dependency-boundary check, Verus proofs, Kani harnesses.