ci(proofs): gate the Lean 4 verification corpus (verification/proofs/lean4) - #275

Merged

hyperpolymath merged 13 commits into

mainfrom

claude/loving-cannon-AtUSm

Jun 21, 2026

Commits on Jun 5, 2026

fix(ci): unbreak Agda type-check install + Justfile heal duplicate
claude
committed
6c01819
fix(proofs): fix all remaining idris2 + Agda scope errors
claude
committed
7f94f89
fix(proofs): repair full proof corpus — Coq, Lean4, Agda, Idris2
claude
committed
0a190ba
ci(proofs): gate the dogfood proof corpus (Coq, Lean, Agda, Idris validator)
claude
committed
757762d
ci(proofs): ASCII-only comments in dogfood-proofs-ci
claude
committed
d75d5bb
ci(proofs): bisect dogfood startup_failure — minimal skeleton
claude
committed
f1612ab
ci(proofs): bisect — restore Coq job only
claude
committed
7f95385
ci(proofs): bisect — isolate taiki install-action step
claude
committed
12321b3
ci(proofs): bisect — curl-install just instead of marketplace action
claude
committed
eac87fc
ci(proofs): restore full dogfood corpus CI without marketplace setup actions
claude
committed
7c6a602
ci(proofs): fetch Agda stdlib from GitHub (apt --fix-missing dropped it)
claude
committed
75ec354

Commits on Jun 21, 2026