Repository navigation

fix: complete ProverSlug migration + Tier-3 prover coverage - #1

Closed

hyperpolymath wants to merge 3 commits into

mainfrom

feat/prover-kind-expansion

Closed

fix: complete ProverSlug migration + Tier-3 prover coverage#1
hyperpolymath wants to merge 3 commits into
mainfrom
feat/prover-kind-expansion

Commits on Apr 25, 2026
- fix: complete ProverSlug migration + Tier-3 prover coverage
  
  hyperpolymath
  and
  claude
  committed
  751edde
Commits on Apr 26, 2026
- docs(state): mark SONNET-TASKS Task 1 resolved in STATE.a2ml
  
  hyperpolymath
  and
  claude
  committed
  d081089
- fix(tests): repair 48 ProverKind→ProverSlug migration leftovers in test code
  
  hyperpolymath
  and
  claude
  committed
  91b8c70