Spaces:
Running
Running
deploy(hf): sync szl-holdings/a11oy@2605e81476fe306683dfd22ca7b2ab2171574d66 derived COPY set
4c1fba4 verified | { | |
| "$id": "https://schemas.a11oy.net/v8/counsel/decision-graph.schema.json", | |
| "$schema": "https://json-schema.org/draft/2020-12/schema", | |
| "additionalProperties": true, | |
| "properties": { | |
| "authority": { | |
| "type": "object" | |
| }, | |
| "decision_id": { | |
| "minLength": 1, | |
| "type": "string" | |
| }, | |
| "decision_state": { | |
| "enum": [ | |
| "PROPOSED", | |
| "DENIED", | |
| "ABSTAINED", | |
| "ESCALATED", | |
| "AWAITING_APPROVAL", | |
| "APPROVED", | |
| "EXECUTED", | |
| "VERIFIED", | |
| "FAILED", | |
| "ROLLED_BACK", | |
| "CORRECTED", | |
| "REVOKED" | |
| ] | |
| }, | |
| "entities": { | |
| "type": "array" | |
| }, | |
| "evidence": { | |
| "items": { | |
| "additionalProperties": true, | |
| "properties": { | |
| "class": { | |
| "enum": [ | |
| "MEASURED", | |
| "REPORTED", | |
| "SIMULATED", | |
| "MODELED", | |
| "PROVED", | |
| "CONJECTURE", | |
| "UNAVAILABLE" | |
| ] | |
| }, | |
| "digest": { | |
| "type": "string" | |
| }, | |
| "evidence_id": { | |
| "type": "string" | |
| }, | |
| "limitations": { | |
| "type": "array" | |
| } | |
| }, | |
| "required": [ | |
| "evidence_id", | |
| "class", | |
| "digest", | |
| "limitations" | |
| ], | |
| "type": "object" | |
| }, | |
| "type": "array" | |
| }, | |
| "formula_results": { | |
| "items": { | |
| "properties": { | |
| "authority": { | |
| "const": "NONE" | |
| }, | |
| "formula_id": { | |
| "enum": [ | |
| "F1", | |
| "F11", | |
| "F12", | |
| "F18", | |
| "F19", | |
| "F22", | |
| "F4", | |
| "F7", | |
| "LAMBDA" | |
| ] | |
| }, | |
| "limit": { | |
| "type": "string" | |
| } | |
| }, | |
| "required": [ | |
| "formula_id", | |
| "authority", | |
| "limit" | |
| ], | |
| "type": "object" | |
| }, | |
| "type": "array" | |
| }, | |
| "outcome": { | |
| "type": "object" | |
| }, | |
| "policy": { | |
| "type": "object" | |
| }, | |
| "proposal": { | |
| "type": "object" | |
| }, | |
| "receipt": { | |
| "type": "object" | |
| }, | |
| "relationships": { | |
| "type": "array" | |
| }, | |
| "schema": { | |
| "const": "szl.decision-integrity-graph/v1" | |
| }, | |
| "source_observations": { | |
| "items": { | |
| "additionalProperties": true, | |
| "properties": { | |
| "freshness": { | |
| "enum": [ | |
| "LIVE", | |
| "CACHED", | |
| "STALE", | |
| "UNAVAILABLE" | |
| ] | |
| }, | |
| "observed_at": { | |
| "format": "date-time", | |
| "type": "string" | |
| }, | |
| "revision": { | |
| "type": "string" | |
| }, | |
| "rights_state": { | |
| "enum": [ | |
| "ADMITTED", | |
| "RESTRICTED", | |
| "EXPIRED", | |
| "PROHIBITED", | |
| "UNKNOWN" | |
| ] | |
| }, | |
| "source_id": { | |
| "type": "string" | |
| } | |
| }, | |
| "required": [ | |
| "source_id", | |
| "revision", | |
| "observed_at", | |
| "rights_state", | |
| "freshness" | |
| ], | |
| "type": "object" | |
| }, | |
| "type": "array" | |
| }, | |
| "tenant_id": { | |
| "minLength": 1, | |
| "type": "string" | |
| }, | |
| "vertical_id": { | |
| "const": "counsel" | |
| } | |
| }, | |
| "required": [ | |
| "schema", | |
| "vertical_id", | |
| "tenant_id", | |
| "decision_id", | |
| "source_observations", | |
| "entities", | |
| "relationships", | |
| "evidence", | |
| "proposal", | |
| "formula_results", | |
| "policy", | |
| "authority", | |
| "decision_state", | |
| "receipt", | |
| "outcome" | |
| ], | |
| "title": "Counsel Assurance Decision Graph", | |
| "type": "object" | |
| } | |