Repository navigation

release(0.69): batch — 15 receipted PRs + fleet-pv andon fix, one CI run, one queue slot - #3669

Merged

noahgift merged 128 commits into

mainfrom

release/0.69-batch

Sep 21, 2026

Merged

release(0.69): batch — 15 receipted PRs + fleet-pv andon fix, one CI run, one queue slot#3669
noahgift merged 128 commits into
mainfrom
release/0.69-batch

Commits on Sep 16, 2026
Commits on Sep 18, 2026
- roadmap(PMAT-3495): VERIFY-001 on 0.71.0 — run the 132 Kani harnesses in CI (proof credit from runs, not declarations), then a Verus pilot on one dequant/parser function (#3495)
  
  noahgift
  and
  claude
  committed
  57e0e4d
- quorum(PMAT-3496 brief, PR #3496): 3/3 PASS on 57e0e4dfb — gemini lanes, measured; author claude-fable-5-1
  
  noahgift
  and
  claude
  committed
  3fea1c6
Commits on Sep 20, 2026
Commits on Sep 21, 2026