fix(rust-cli): real Lean precondition checks in verification.rs (P0-5) - #215

Merged

hyperpolymath merged 3 commits into

mainfrom

fix/verify-preconditions-real

Oct 2, 2026

Commits on Oct 2, 2026

fix(rust-cli): implement real Lean precondition checks in verification.rs

hyperpolymath
and
claude
committed
1a6f095
chore(rust-cli): remove broken .cargo/config.toml and no-op build.rs

hyperpolymath
and
claude
committed
2687e1c
fix(rust-cli): keep rmdir read_dir error text identical to the command

hyperpolymath
and
claude
committed
7cac31f