Repository navigation

secret-alerts: HYP-01 verdict fields + Idris2 line contract (PROOF-POLICY §1) - #1024

Merged

hyperpolymath merged 5 commits into

mainfrom

claude/kind-clarke-aqpe7a-verdict-chora

Nov 10, 2026

Merged

secret-alerts: HYP-01 verdict fields + Idris2 line contract (PROOF-POLICY §1)#1024
hyperpolymath merged 5 commits into
mainfrom
claude/kind-clarke-aqpe7a-verdict-chora

Commits on Nov 9, 2026
- fix(secret-alerts): give each finding its HYP-01 verdict fields
  claude
  committed
  9b80032
- proof(abi): Idris2 contract for the secret-alerts line (PROOF-POLICY §1)
  claude
  committed
  44e63ef
Commits on Nov 10, 2026