Repository navigation

feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A) - #920

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/new-session-25msjx

Oct 14, 2026

Merged

feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01, PR A)#920
hyperpolymath merged 2 commits into
mainfrom
claude/new-session-25msjx

Commits on Oct 14, 2026
- fix(proof-status): check every claimed identifier, not every second one
  claude
  committed
  0aa54a4
- feat(abi): verdict record names its support; Sound only from a prover re-check (HYP-01)
  claude
  committed
  e0a3623