Repository navigation

fix(proofs): make the formal-verification layer actually type-check - #220

Merged

hyperpolymath merged 6 commits into

mainfrom

claude/loving-cannon-AtUSm

Jun 4, 2026

Merged

fix(proofs): make the formal-verification layer actually type-check#220
hyperpolymath merged 6 commits into
mainfrom
claude/loving-cannon-AtUSm

Commits on Jun 3, 2026
- fix(meta-checker): make Agda trust-pipeline proofs type-check
  claude
  committed
  aa3a16d
- fix(abi): make Idris2 ABI package type-check
  claude
  committed
  93d72b2
- fix(verification): import Data.Nat for LTE in Idris2 trust proofs
  claude
  committed
  439cf3b
- fix(verification): harden Idris2 trust-ordering proofs with lteLit
  claude
  committed
  27466d0
Commits on Jun 4, 2026
- fix(provers): migrate parsers to the nom 8 API
  claude
  committed
  1eb079a
- fix(governance): exempt fstar.rs hazard detector + test fixtures from trusted-base scan
  claude
  committed
  a2a7d66