Repository navigation

roadmap(PMAT-3495): VERIFY-001 on 0.71.0 — Kani harnesses run in CI, then a Verus pilot (#3495) - #3496

Closed

noahgift wants to merge 10 commits into

mainfrom

roadmap/PMAT-3495-verify-001

Closed

roadmap(PMAT-3495): VERIFY-001 on 0.71.0 — Kani harnesses run in CI, then a Verus pilot (#3495)#3496
noahgift wants to merge 10 commits into
mainfrom
roadmap/PMAT-3495-verify-001

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
- merge origin/main (roadmap 3-way by id)
  noahgift
  committed
  740571f
Commits on Sep 21, 2026