Policy to executable decisions

Turn policy prose into a decision system you can audit.

Compile one written policy into explicit allow, block, and approval-required outcomes—each linked back to its source.

Try the fixture No sign-in · precomputed from the tested fixture

One product.

One decision.

Visible evidence.

Interactive proof

Reveal the verified fixture.

These exact five clauses and seven scenarios are checked by product.py.

Tested policy and scenario fixture

Policy:
POL-01: External transmissions containing PII must be blocked.
POL-02: Refunds above $500 and production deletion require human approval.
POL-03: Support may use lookup_customer and draft_reply.
POL-04: Finance may use issue_refund and lookup_customer.
POL-05: Admin may use every registered tool.

Scenarios:
[
  {"id":"S1","role":"support","tool":"lookup_customer","external":false,"pii":false,"amount":0},
  {"id":"S2","role":"support","tool":"send_email","external":true,"pii":true,"amount":0},
  {"id":"S3","role":"finance","tool":"issue_refund","external":false,"pii":false,"amount":120},
  {"id":"S4","role":"finance","tool":"issue_refund","external":false,"pii":false,"amount":900},
  {"id":"S5","role":"support","tool":"issue_refund","external":false,"pii":false,"amount":50},
  {"id":"S6","role":"admin","tool":"delete_production","external":false,"pii":false,"amount":0},
  {"id":"S7","role":"admin","tool":"rotate_logs","external":false,"pii":false,"amount":0}
]

The tested result is ready to inspect.

Reveal the expected decision generated by the product's deterministic acceptance fixture.

How it works

Small surface. Clear chain of proof.

Parse

Separate permissions, prohibitions, thresholds, and ambiguity clauses.

Compile

Convert every clause into an explicit decision rule with a source citation.

Challenge

Run $500 and $500.01 boundary cases plus ambiguity checks before an agent may use the policy.

✓ 7-case evaluation✓ Source-linked rules✓ Fail-closed ambiguity