feat(prover): add native Rust policy prover with Z3 solver#741

Open

zredlined wants to merge 2 commits intomainfrom

feat/699-policy-prover-rust/zredlined

Commits on Apr 2, 2026

feat(prover): add native Rust policy prover with Z3 solver
zredlined
committed
fix(prover): skip L7-write in exfil, write bypass only on read-only intent
zredlined
committed