covenant__check_act
Check a proposed act against a covenant. Denies by default, records if allowed, idempotent to prevent double consumption, and logs to audit chain.
Instructions
[covenant — deny-by-default authority leases] Check (and if allowed, record) a proposed act against a covenant. Deny-by-default. Idempotent on act_id — retries never double-consume budget. Every check lands on the audit chain.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"covenant_id": "<covenant_id>",
"act_id": "<act_id>",
"scope": "<scope>"
},
"name": "covenant__check_act"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| scope | Yes | ||
| act_id | Yes | ||
| covenant_id | Yes | ||
| amount_minor | No |