Spaces:
Running
Running
| { | |
| "$schema": "https://json-schema.org/draft/2020-12/schema", | |
| "$id": "https://a-11-oy.com/schemas/evidenceos/claim-evaluate-request.v1.schema.json", | |
| "title": "EvidenceOS Claim Evaluate Request v1", | |
| "description": "Bounded proposal-only request for deterministic claim-integrity evaluation.", | |
| "$comment": "Cross-record invariants that JSON Schema cannot express are enforced by parse_evaluate_request after identifier whitespace normalization: explicit claim_id values are unique; external-signal keys and contradiction IDs reference explicit claim IDs; refutes_claim_ids is a subset of claim_ids.", | |
| "type": "object", | |
| "additionalProperties": false, | |
| "required": [ | |
| "claims" | |
| ], | |
| "properties": { | |
| "claims": { | |
| "type": "array", | |
| "maxItems": 32, | |
| "items": { | |
| "$ref": "#/$defs/claim" | |
| } | |
| }, | |
| "external_signals": { | |
| "type": "object", | |
| "maxProperties": 32, | |
| "propertyNames": { | |
| "$ref": "#/$defs/nonblankId" | |
| }, | |
| "additionalProperties": { | |
| "$ref": "#/$defs/signalEnvelope" | |
| } | |
| }, | |
| "contradictions": { | |
| "type": "array", | |
| "maxItems": 32, | |
| "items": { | |
| "$ref": "#/$defs/contradiction" | |
| } | |
| } | |
| }, | |
| "$defs": { | |
| "nonblankId": { | |
| "type": "string", | |
| "maxLength": 128, | |
| "pattern": "^[\\s\\S]*\\S[\\s\\S]*$" | |
| }, | |
| "boundedReference": { | |
| "type": "string", | |
| "maxLength": 512 | |
| }, | |
| "provenance": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "source_id": { | |
| "$ref": "#/$defs/boundedReference" | |
| }, | |
| "content_sha256": { | |
| "type": "string", | |
| "minLength": 64, | |
| "maxLength": 64, | |
| "pattern": "^[0-9a-fA-F]{64}$" | |
| }, | |
| "receipt_ref": { | |
| "$ref": "#/$defs/boundedReference" | |
| } | |
| } | |
| }, | |
| "owner": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "owner_id": { | |
| "type": "string", | |
| "maxLength": 128 | |
| }, | |
| "accountability_scope": { | |
| "type": "string", | |
| "maxLength": 1024 | |
| } | |
| } | |
| }, | |
| "evidence": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "reference_id": { | |
| "type": "string", | |
| "maxLength": 128 | |
| }, | |
| "evidence_state": { | |
| "$ref": "#/$defs/claimState" | |
| }, | |
| "provenance": { | |
| "$ref": "#/$defs/provenance" | |
| }, | |
| "verification_ref": { | |
| "$ref": "#/$defs/boundedReference" | |
| } | |
| } | |
| }, | |
| "claim": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "claim_id": { | |
| "$ref": "#/$defs/nonblankId" | |
| }, | |
| "statement": { | |
| "type": "string", | |
| "maxLength": 4096 | |
| }, | |
| "atomic": { | |
| "type": "boolean" | |
| }, | |
| "evidence_refs": { | |
| "type": "array", | |
| "maxItems": 8, | |
| "items": { | |
| "$ref": "#/$defs/evidence" | |
| } | |
| }, | |
| "consequence_owner": { | |
| "oneOf": [ | |
| { | |
| "type": "null" | |
| }, | |
| { | |
| "$ref": "#/$defs/owner" | |
| } | |
| ] | |
| } | |
| } | |
| }, | |
| "semanticSignal": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "value": { | |
| "type": "number", | |
| "minimum": 0, | |
| "maximum": 1 | |
| }, | |
| "source_ref": { | |
| "$ref": "#/$defs/boundedReference" | |
| }, | |
| "method": { | |
| "type": "string", | |
| "maxLength": 256 | |
| } | |
| } | |
| }, | |
| "factualitySignal": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "state": { | |
| "$ref": "#/$defs/claimState" | |
| }, | |
| "source_ref": { | |
| "$ref": "#/$defs/boundedReference" | |
| }, | |
| "method": { | |
| "type": "string", | |
| "maxLength": 256 | |
| } | |
| } | |
| }, | |
| "signalEnvelope": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "semantic_uncertainty": { | |
| "$ref": "#/$defs/semanticSignal" | |
| }, | |
| "factuality": { | |
| "$ref": "#/$defs/factualitySignal" | |
| } | |
| } | |
| }, | |
| "contradiction": { | |
| "type": "object", | |
| "additionalProperties": false, | |
| "properties": { | |
| "claim_ids": { | |
| "type": "array", | |
| "maxItems": 32, | |
| "uniqueItems": true, | |
| "items": { | |
| "$ref": "#/$defs/nonblankId" | |
| } | |
| }, | |
| "status": { | |
| "type": "string", | |
| "enum": [ | |
| "UNRESOLVED", | |
| "CONFIRMED", | |
| "RESOLVED" | |
| ] | |
| }, | |
| "provenance": { | |
| "$ref": "#/$defs/provenance" | |
| }, | |
| "refutes_claim_ids": { | |
| "type": "array", | |
| "maxItems": 32, | |
| "uniqueItems": true, | |
| "items": { | |
| "$ref": "#/$defs/nonblankId" | |
| } | |
| }, | |
| "resolution_ref": { | |
| "$ref": "#/$defs/boundedReference" | |
| } | |
| } | |
| }, | |
| "claimState": { | |
| "type": "string", | |
| "enum": [ | |
| "VERIFIED", | |
| "SUPPORTED", | |
| "UNCERTAIN", | |
| "REFUTED", | |
| "UNKNOWN" | |
| ] | |
| } | |
| } | |
| } | |