fix(proofs): finish Isabelle base corpus repair (polymorphic nat/list lemmas)#279

Merged

hyperpolymath merged 26 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