Claude/fix prover wiring epy ir#29

Merged

hyperpolymath merged 8 commits intomainfrom

claude/fix-prover-wiring-epyIR

Apr 21, 2026

Commits on Apr 21, 2026

chore(provers): dedupe — drop orphan mizar_complete.rs and cvc5.rs.stub
claude
committed
feat(corpus): wire premise emission into 22 extractors
claude
committed
feat(corpus): emit premises from extract_minizinc.jl
claude
committed
feat(corpus): emit premises from naproche + nitpick extractors
claude
committed
docs(roadmap): canonical roadmap — supersedes scattered planning docs
claude
committed
feat(corpus): emit premises from 37 medium-priority extractors (model checkers/SMT/verifiers)
claude
committed
docs(claude): codify scout-pattern as standing instruction
claude
committed
chore(s3): stub crates/typed_wasm/Cargo.toml ahead of extraction
claude
committed