feat(prover): add standalone policy boundary checker - #3289

Open

johnnygreco wants to merge 15 commits into

mainfrom

2109-standalone-policy-prover/jg

Commits on Sep 11, 2026

feat(prover): add standalone policy maximum checker
johnnygreco
committed
680906e
refactor(prover): simplify check scope schema
johnnygreco
committed
a86633f
fix(prover): align containment and cancellation with runtime
johnnygreco
committed
f620c2f
fix(prover): stabilize containment checks in CI
johnnygreco
committed
51c3e0f
test(prover): avoid solver in fast-path guard test
johnnygreco
committed
72cf7cf
fix(prover): align string containment with runtime
johnnygreco
committed
ccb88dc
fix(prover): reject ambiguous z3 string escapes
johnnygreco
committed
fd2880f

Commits on Sep 12, 2026

fix(prover): align containment with runtime boundaries
johnnygreco
committed
8036d8f
fix(prover-cli): harden cancellation and invalid input
johnnygreco
committed
5764a6b
feat(packaging): install policy prover with OpenShell
johnnygreco
committed
1c21e6e
docs(prover): clarify installation and check results
johnnygreco
committed
ae699e1
docs(build): describe prover distribution directly
johnnygreco
committed
ad953f6

Commits on Sep 15, 2026

refactor(prover): rename maximum policy to boundary
johnnygreco
committed
8e5b406
refactor(prover): localize fail-closed validation
johnnygreco
committed
1fe1f95
test(prover): cover fail-closed CLI surfaces
johnnygreco
committed
5797c58