fix(proofs): finish Isabelle base gate; descope Mizar (#280); fix verif-idris perms#281

Merged

hyperpolymath merged 28 commits into

mainfrom

claude/loving-cannon-AtUSm

Jun 21, 2026

Commits on Jun 5, 2026

Commits on Jun 21, 2026

merge: bring loving-cannon up to origin/main (absorb merged #256-#274)
claude
committed
ci(proofs): gate Lean 4 verification corpus (verification/proofs/lean4)
claude
committed
ci(proofs): gate the Idris2 verification corpus (verification/proofs/idris2)
claude
committed
merge: sync loving-cannon with main (absorb #275 Lean gate squash)
claude
committed
merge: sync loving-cannon with main (absorb #276 Idris2 gate squash)
claude
committed
ci(proofs): weekly cron gating the Isabelle + Mizar self-proof corpora
claude
committed
ci(proofs): add path-filtered pull_request trigger to verification cron
claude
committed
ci(proofs): discover Isabelle/Mizar download URLs at runtime
claude
committed
ci(proofs): fix GroupTheory import + Mizar two-stage discovery
claude
committed
ci(proofs): gate base-HOL Isabelle only; fix Mizar binary PATH
claude
committed
ci(proofs): make Mizar recipe diagnostic (dump .err + source per file)
claude
committed
merge: sync loving-cannon with main (absorb #277 cron squash)
claude
committed
fix(proofs): repair Isabelle Nat/List corpus (rename + nat annotations)
claude
committed
fix(proofs): annotate remaining polymorphic Isabelle nat/list lemmas
claude
committed
merge: sync with main (absorb #278 squash)
claude
committed
merge: sync with main (absorb #279 squash)
claude
committed
fix(proofs): finish Isabelle base; descope Mizar; fix verif-idris perms
claude
committed