Fix/verify preconditions real - #216

Merged

hyperpolymath merged 5 commits into

mainfrom

fix/verify-preconditions-real

Oct 3, 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
refactor(verification): use nix's safe access/geteuid/mkfifo, drop unsafe

hyperpolymath
and
claude
committed
c82358d

Commits on Oct 3, 2026

Merge branch 'main' into fix/verify-preconditions-real
hyperpolymath
authored
833f44a