Back to Registry
tau2.policy.constraint_not_violated
HARD
Pure-logic verifier checking agent action traces against domain policy rules. Works for any domain with codifiable constraints.
Scorecard
| Determinism | deterministic |
| Evidence Quality | hard-state |
| Intended Use | eval-and-train |
| Gating Required | No |
| Permissions | None |
Test Fixtures
9 total
| Type | Count |
|---|---|
| Positive | 3 |
| Negative | 3 |
| Adversarial | 3 |
Metadata
| Version | 0.1.0 |
| Domain | cross-domain |
| Task Type | policy_compliance |
| Contributor | vr.dev |
| Source | arXiv:2406.12045 |
Use in SDK
# CLI
vr verify --verifier tau2.policy.constraint_not_violated --ground-truth '{"order_id": "ORD-42"}'
# Python
from vrdev import verify
result = verify("tau2.policy.constraint_not_violated", ground_truth={"order_id": "ORD-42"})
# API
curl -X POST https://api.vr.dev/v1/verify \
-H "X-API-Key: vr_live_..." \
-d '{"verifier": "tau2.policy.constraint_not_violated", "ground_truth": {"order_id": "ORD-42"}}'