quipu_policy_check
Evaluates a governance policy's SPARQL ASK claim against the committed graph and returns a reproducible verdict (satisfied, unsatisfied, or unknown) bound to an evidence hash.
Instructions
Committed-tier evaluation of a governance Policy over the graph of record: evaluates the policy's aegis:claim (a SPARQL ASK, optionally with a $target placeholder) against the committed graph and returns a Verdict — outcome ∈ {satisfied | unsatisfied | unknown} bound to a reproducible evidence_hash. Deterministic and reproducible: any verifier re-running the same ASK over the same committed evidence gets the same verdict (checked, not trusted). Returns the verdict UNSIGNED (signing + persistence is the Phase-0 verifier registry's job).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tx | No | Maximum transaction for the policy evaluation. | |
| claim | No | Inline SPARQL ASK claim (alternative to 'policy') | |
| policy | No | Policy IRI whose aegis:claim to evaluate (alternative to inline 'claim') | |
| target | Yes | Target IRI bound to the $target placeholder | |
| valid_at | No | Point-in-time for valid-time evaluation (ISO-8601). Omit for current state. | |
| predicate_id | No | Predicate identifier recorded in the verdict (inline claims only; default: 'inline') | |
| evidence_probe | No | Inline ASK for 'does the evidence exist?' — false yields outcome 'unknown' instead of 'unsatisfied' |