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

Merged

zredlined merged 11 commits intomainfrom

feat/699-policy-prover-rust/zredlined

Apr 9, 2026

Commits on Apr 9, 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
chore(prover): add missing SPDX license headers to registry and testdata YAML files
zredlined
committed
fix(prover): revert serde_yaml to serde_yml to match workspace dependency on main
zredlined
committed
fix(prover): apply cargo fmt formatting to prover and cli source files
zredlined
committed
ci: add clang and libclang-dev to CI image for z3-sys bindgen
zredlined
committed
fix(prover): use system libz3 instead of compiling from source
zredlined
committed
fix(prover): use u16 for ports, align include_workdir default with runtime
zredlined
committed
refactor(prover): embed registry at compile time, replace hand-rolled glob
zredlined
committed
docs: add Z3 system library to prerequisites
zredlined
committed
fix(prover): apply cargo fmt formatting
zredlined
committed