object — Additional properties rejected
| Field | Required at this level | Type | Description and constraints |
|---|---|---|---|
check |
Yes | object |
Additional properties rejected |
check.compilerVersion |
Yes | Constant autonomy-policy-check-v1 |
— |
check.valid |
Yes | boolean |
— |
check.errors |
Yes | Array of string |
— |
check.authorityExpansion |
Yes | boolean |
— |
check.exactPolicyHash |
Yes | Hash | — |
check.executable |
Yes | Constant false |
— |
check.activationGates |
Yes | Array of string |
— |
check.checkedAt |
Yes | string |
Format: date-time |
evidence |
Yes | All of: RecordEnvelope; object |
— |
evidence.allOf[2].payload |
Yes | PolicyIntentDraft | — |
Nested required fields apply when their parent object or matching union branch is present. Named types link to their complete schema.
Exact definition: #/components/schemas/PolicyCheckResult in the OpenAPI contract.