{ "openapi": "3.1.0", "info": { "title": "Cellara Proof", "version": "1.0.0", "description": "Public cellara-proof/v1. Nine closed operations over fresh synthetic fixtures; customer records and external effects are refused." }, "servers": [ { "url": "/api/cellara-proof/v1" } ], "paths": { "/openapi.json": { "get": { "summary": "Download the exact Cellara Proof OpenAPI document", "tags": [ "meta" ], "x-cellara-proof-protocol-op": false, "responses": { "200": { "description": "OpenAPI document", "content": { "application/json": { "schema": { "type": "object" } } } } } } }, "/describe": { "get": { "operationId": "describe", "summary": "Describe public protocol and fixture catalog", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "responses": { "200": { "description": "Describe", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/DescribeResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/start": { "post": { "operationId": "start", "summary": "Start a bounded synthetic proof run", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/StartRequest" } } } }, "responses": { "200": { "description": "Started", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/StartResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "404": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "429": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "503": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/read": { "post": { "operationId": "read", "summary": "Pure read of run projections", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "responses": { "200": { "description": "Read", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ReadResponse" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "404": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } }, "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ReadRequest" } } } } } }, "/ask": { "post": { "operationId": "ask", "summary": "Pure lens projection", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/AskRequest" } } } }, "responses": { "200": { "description": "Ask", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/AskResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/tell": { "post": { "operationId": "tell", "summary": "Append untrusted source", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "parameters": [ { "name": "Idempotency-Key", "in": "header", "required": true, "schema": { "type": "string", "minLength": 22, "maxLength": 128, "pattern": "^[A-Za-z0-9._~-]+$" } } ], "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/TellRequest" } } } }, "responses": { "200": { "description": "Tell", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/TellResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "409": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/propose": { "post": { "operationId": "propose", "summary": "Create non-authority proposal", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "parameters": [ { "name": "Idempotency-Key", "in": "header", "required": true, "schema": { "type": "string", "minLength": 22, "maxLength": 128, "pattern": "^[A-Za-z0-9._~-]+$" } } ], "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ProposeRequest" } } } }, "responses": { "200": { "description": "Propose", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ProposeResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/request-policy-decision": { "post": { "operationId": "request_policy_decision", "summary": "Server-fixed policy decision; public outcomes admit|reject|request_evidence", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "parameters": [ { "name": "Idempotency-Key", "in": "header", "required": true, "schema": { "type": "string", "minLength": 22, "maxLength": 128, "pattern": "^[A-Za-z0-9._~-]+$" } } ], "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/RequestPolicyDecisionRequest" } } } }, "responses": { "200": { "description": "Decision", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/PublicDecisionOutcome" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/preview": { "post": { "operationId": "preview", "summary": "Zero-external-effect preview", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/PreviewRequest" } } } }, "responses": { "200": { "description": "Preview", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/PreviewResponse" } } } }, "400": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } } } }, "/receipt": { "post": { "operationId": "receipt", "summary": "Read public-redacted receipts", "tags": [ "public" ], "x-cellara-proof-protocol-op": true, "security": [ { "bearerAuth": [] } ], "responses": { "200": { "description": "Receipts", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ReceiptResponse" } } } }, "401": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } }, "404": { "description": "Error", "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ErrorEnvelope" } } } } }, "requestBody": { "required": true, "content": { "application/json": { "schema": { "$ref": "#/components/schemas/ReceiptRequest" } } } } } } }, "components": { "securitySchemes": { "bearerAuth": { "type": "http", "scheme": "bearer", "bearerFormat": "pcb_v1_", "description": "Opaque run capability from start. Authorization: Bearer only." } }, "schemas": { "StartRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.start.request/v1", "title": "proof.command.start.request/v1", "type": "object", "additionalProperties": false, "properties": { "fixture_id": { "type": "string", "maxLength": 128, "minLength": 1, "description": "State-3 fresh starts accept only the three closed synthetic archetypes. Customer records and free-form production data are refused." }, "fixture_version": { "type": "string", "maxLength": 64 } }, "required": [ "fixture_id" ] }, "StartResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.start.response/v1", "title": "proof.command.start.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "run_capability": { "type": "string", "pattern": "^pcb_v1_[A-Za-z0-9_-]{43}$", "minLength": 50, "maxLength": 50 }, "expires_at_ms": { "type": "integer", "minimum": 0 }, "fixture_id": { "type": "string", "maxLength": 128 }, "fixture_version": { "type": "string", "maxLength": 64 }, "dataset_id": { "type": "string", "maxLength": 128, "minLength": 1, "description": "seed-0001 for legacy replay fixtures; equals fixture_id for State-3 archetypes." }, "archetype": { "type": "string", "enum": [ "sales-lead-qualification", "payments-merchant-health", "financial-services-client-truth" ] }, "records_count": { "type": "integer", "minimum": 2, "maximum": 32 }, "records_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "answer_key_commitment": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "kernel_phase": { "const": "active" }, "budgets": { "type": "object", "additionalProperties": false, "properties": { "tells": { "type": "integer", "minimum": 0 }, "proposes": { "type": "integer", "minimum": 0 }, "decisions": { "type": "integer", "minimum": 0 } }, "required": [ "tells", "proposes", "decisions" ] }, "hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "release_id": { "type": "string", "maxLength": 128 }, "release_state": { "type": "string", "enum": [ "design-preview", "replay-evidence", "fresh-synthetic", "personal-shape" ] }, "logical_tick": { "const": 0 } }, "required": [ "ok", "protocol", "run_capability", "expires_at_ms", "fixture_id", "fixture_version", "dataset_id", "records_hash", "answer_key_commitment", "kernel_phase", "budgets", "hashes", "release_id", "release_state", "logical_tick" ] }, "ReadRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.read.request/v1", "type": "object", "additionalProperties": false, "properties": { "what": { "type": "string", "enum": [ "run_meta", "current_index", "open_proposals", "receipt_by_id", "claim_by_key", "source_by_id", "sandbox_summary", "account_truth_brief" ] }, "id": { "type": "string", "maxLength": 128 } }, "required": [ "what" ] }, "ReadResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.read.response/v1", "title": "proof.command.read.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "what": { "type": "string", "enum": [ "run_meta", "current_index", "open_proposals", "receipt_by_id", "claim_by_key", "source_by_id", "sandbox_summary", "account_truth_brief" ] }, "value": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "run_meta" }, "logical_tick": { "type": "integer", "minimum": 0 }, "kernel_phase": { "type": "string", "enum": [ "active", "answer_sealed", "scored" ] }, "fixture_id": { "type": "string", "maxLength": 128 }, "fixture_version": { "type": "string", "maxLength": 64 } }, "required": [ "kind", "logical_tick", "kernel_phase", "fixture_id", "fixture_version" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "current_index" }, "index": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] } }, "required": [ "kind", "index" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "open_proposals" }, "proposals": { "type": "array", "maxItems": 64, "items": { "type": "object", "additionalProperties": false, "properties": { "proposal_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "proposal_kind": { "type": "string", "enum": [ "claim_assertion", "action_recommendation", "evidence_request" ] }, "status": { "const": "open" }, "not_authority": { "const": true } }, "required": [ "proposal_ref", "proposal_kind", "status", "not_authority" ] } } }, "required": [ "kind", "proposals" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "receipt_by_id" }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "receipt_schema": { "const": "proof.receipt.public-redacted/v1" } }, "required": [ "kind", "receipt_ref", "receipt_schema" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "claim_by_key" }, "claim_key": { "type": "string", "maxLength": 128 }, "claim_version": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.claim-version/v1" }, "claim_version_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "version": { "type": "integer", "minimum": 1 }, "scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "enum": [ "account", "portfolio", "claim_key" ] }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] }, "body": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "quantity_delta" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "governing_seats": { "type": "integer", "minimum": 0 }, "billed_seats": { "type": "integer", "minimum": 0 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "governing_seats", "billed_seats", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "arr_observation" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "derived_current_arr": { "type": "integer", "minimum": 0 }, "crm_asserted_arr": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "derived_current_arr", "crm_asserted_arr", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "approval_state" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "monthly_fee_usd": { "type": "integer", "minimum": 0 }, "credit_cap_usd": { "type": "integer", "minimum": 0 }, "requested_credit_usd": { "type": "integer", "minimum": 0 }, "draft_credit_usd": { "type": "integer", "minimum": 0 }, "approved_credit_usd": { "oneOf": [ { "type": "null" }, { "type": "integer", "minimum": 0 } ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "monthly_fee_usd", "credit_cap_usd", "requested_credit_usd", "draft_credit_usd", "approved_credit_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "risk_note" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "annual_value_usd": { "type": "integer", "minimum": 0 }, "risk_signals": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "counterevidence": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "material_unknowns": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "annual_value_usd", "risk_signals", "counterevidence", "material_unknowns", "verified_contract_billing_gap_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "money_gap" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "monthly_amount_gap": { "type": "integer", "minimum": 0 }, "period_ids": { "type": "array", "items": { "type": "string", "pattern": "^\\d{4}-\\d{2}$" }, "minItems": 1, "maxItems": 24 }, "total_gap_usd": { "type": "integer", "minimum": 0 }, "recoverability": { "type": "string", "enum": [ "unknown_pending_finance", "not_asserted" ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "unit_price_monthly", "monthly_amount_gap", "period_ids", "total_gap_usd", "recoverability", "summary" ] } ] }, "body_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "source_ids": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "minItems": 1, "maxItems": 32 }, "decision_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "tick": { "type": "integer", "minimum": 0 }, "supersedes": { "type": "string", "maxLength": 128 } }, "required": [ "schema", "claim_version_id", "claim_key", "version", "scope", "body", "body_hash", "source_ids", "decision_id", "tick" ] } ] } }, "required": [ "kind", "claim_key", "claim_version" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "source_by_id" }, "source_id": { "type": "string", "maxLength": 128 }, "source_kind": { "type": "string", "maxLength": 64 }, "trust_class": { "type": "string", "enum": [ "trust/policy", "trust/contract-signed", "trust/billing-system", "trust/product-system", "trust/crm-asserted", "trust/support-system", "trust/customer-facing-comm", "trust/internal-draft", "trust/approvals-system", "trust/approved-decision", "trust/meeting-notes", "trust/untrusted-imported" ] }, "payload_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "kind", "source_id", "source_kind", "trust_class", "payload_hash" ] }, { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "sandbox_summary" }, "cell_count": { "type": "integer", "minimum": 0 }, "external_effect_count": { "const": 0 } }, "required": [ "kind", "cell_count", "external_effect_count" ] }, { "title": "proof.account-truth-brief/v1", "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.account-truth-brief/v1" }, "protocol": { "const": "cellara-proof/v1" }, "fixture_id": { "type": "string", "maxLength": 128 }, "archetype": { "type": "string", "enum": [ "sales-lead-qualification", "payments-merchant-health", "financial-services-client-truth" ] }, "account": { "type": "string", "maxLength": 128 }, "manager_summary": { "type": "string", "maxLength": 1024 }, "what_changed": { "type": "string", "maxLength": 512 }, "what_did_not_become_true": { "type": "string", "maxLength": 512 }, "source_references": { "type": "array", "minItems": 2, "maxItems": 8, "items": { "type": "object", "additionalProperties": false, "properties": { "source_id": { "type": "string", "maxLength": 64 }, "system": { "type": "string", "maxLength": 64 }, "type": { "type": "string", "maxLength": 64 }, "account": { "type": "string", "maxLength": 128 }, "trust_class": { "type": "string", "maxLength": 64 }, "payload_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "tick": { "type": "integer", "minimum": 0 }, "source_ordinal": { "type": "integer", "minimum": 0 } }, "required": [ "source_id", "system", "type", "trust_class", "payload_hash", "tick", "source_ordinal" ] } }, "current_view": { "type": "object" }, "conflicts": { "type": "array", "items": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "maxLength": 64 }, "summary": { "type": "string", "maxLength": 512 }, "source_ids": { "type": "array", "items": { "type": "string", "maxLength": 64 } }, "resolved?": { "type": "boolean" }, "status": { "type": "string", "enum": [ "open", "partially_governed", "resolved" ] } }, "required": [ "kind", "summary", "source_ids", "status", "resolved?" ] } }, "changed_claim": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "claim_key": { "type": "string", "maxLength": 128 }, "from_version": { "type": [ "integer", "null" ], "minimum": 0 }, "to_version": { "type": "integer", "minimum": 1 }, "from_body": {}, "to_body": {}, "append_only": { "const": true }, "prior_claim_version_id": { "type": [ "string", "null" ], "maxLength": 128 }, "claim_version_id": { "type": "string", "maxLength": 128 } }, "required": [ "claim_key", "to_version", "append_only", "claim_version_id" ] } ] }, "governing_decision": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "decision_id": { "type": "string", "maxLength": 128 }, "proposal_ref": { "type": [ "string", "null" ], "maxLength": 128 }, "outcome": { "type": "string", "enum": [ "admit", "reject", "request_evidence" ] }, "reason_code": { "type": "string", "maxLength": 128 }, "policy_id": { "type": "string", "maxLength": 128 }, "actor_kind": { "type": "string", "maxLength": 64 }, "source_ids": { "type": "array", "items": { "type": "string", "maxLength": 64 } }, "tick": { "type": "integer", "minimum": 0 }, "claim_version_id": { "type": [ "string", "null" ], "maxLength": 128 } }, "required": [ "decision_id", "outcome", "reason_code", "tick" ] } ] }, "material_unknowns": { "type": "array", "items": { "type": "string", "maxLength": 256 } }, "safe_next_question": { "type": "string", "maxLength": 512 }, "first_workflow_brief": { "type": "object", "additionalProperties": false, "properties": { "example_only": { "const": true }, "owner_or_role": { "type": "string", "maxLength": 128 }, "business_consequence": { "type": "string", "maxLength": 512 }, "recurring_question": { "type": "string", "maxLength": 512 }, "one_workflow": { "type": "string", "maxLength": 512 }, "redacted_account_type": { "type": "string", "maxLength": 128 }, "existing_sources": { "type": "array", "minItems": 2, "maxItems": 5, "items": { "type": "string", "maxLength": 128 } }, "known_conflict": { "type": "string", "maxLength": 512 }, "first_read_only_output": { "type": "string", "maxLength": 512 }, "forbidden_actions": { "type": "array", "minItems": 1, "maxItems": 8, "items": { "type": "string", "maxLength": 256 } }, "thirty_day_usage_measure": { "type": "string", "maxLength": 512 }, "custody_provider_questions": { "type": "array", "minItems": 1, "maxItems": 8, "items": { "type": "string", "maxLength": 256 } } }, "required": [ "example_only", "owner_or_role", "business_consequence", "recurring_question", "one_workflow", "redacted_account_type", "existing_sources", "known_conflict", "first_read_only_output", "forbidden_actions", "thirty_day_usage_measure", "custody_provider_questions" ] }, "refusal": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "reason_code": { "type": "string", "maxLength": 128 }, "message": { "type": "string", "maxLength": 512 }, "action_kind": { "type": "string", "maxLength": 64 }, "external_effect_count": { "const": 0 } }, "required": [ "reason_code", "message", "action_kind", "external_effect_count" ] } ] }, "limitations": { "type": "array", "minItems": 1, "items": { "type": "string", "maxLength": 256 } }, "receipt_reference": { "type": "object", "additionalProperties": false, "properties": { "receipt_schema": { "const": "proof.receipt.public-redacted/v1" }, "latest_mutation_receipt_id": { "type": [ "string", "null" ], "maxLength": 128 }, "mutation_receipt_count": { "type": "integer", "minimum": 0 }, "sealed_public_receipt_ref": { "type": [ "string", "null" ], "maxLength": 256 } }, "required": [ "receipt_schema", "mutation_receipt_count" ] }, "brief_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "schema", "protocol", "fixture_id", "manager_summary", "what_changed", "what_did_not_become_true", "source_references", "current_view", "conflicts", "material_unknowns", "safe_next_question", "first_workflow_brief", "limitations", "receipt_reference", "brief_hash" ] } ] }, "hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] } }, "required": [ "ok", "protocol", "what", "value", "hashes" ] }, "AskRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.ask.request/v1", "type": "object", "additionalProperties": false, "properties": { "lens_family": { "type": "string", "const": "revenue-truth" }, "scope_kind": { "type": "string", "enum": [ "account", "portfolio" ] }, "account_id": { "type": "string", "maxLength": 128 }, "question_id": { "type": "string", "maxLength": 64 } }, "required": [ "lens_family", "scope_kind" ] }, "AskResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.ask.response/v1", "title": "proof.command.ask.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "projection": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.lens-projection/v1" }, "projection_id": { "type": "string", "maxLength": 128 }, "lens_id": { "type": "string", "maxLength": 128 }, "tick": { "type": "integer", "minimum": 0 }, "selected_cell_refs": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "maxItems": 256 }, "selected_link_refs": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "maxItems": 512 }, "withheld": { "type": "array", "items": { "type": "object", "additionalProperties": false, "properties": { "cell_ref": { "type": "string", "maxLength": 128 }, "reason": { "type": "string", "enum": [ "correction-withheld", "private-harness", "out-of-scope", "redacted" ] } }, "required": [ "cell_ref", "reason" ] }, "maxItems": 64 }, "coverage": { "type": "object", "additionalProperties": false, "properties": { "selected": { "type": "integer", "minimum": 0 }, "total_in_scope": { "type": "integer", "minimum": 0 }, "ratio": { "type": "number", "minimum": 0, "maximum": 1 } }, "required": [ "selected", "total_in_scope", "ratio" ] }, "derived": { "const": true }, "not_authority": { "const": true }, "material": { "type": "array", "items": { "type": "object", "additionalProperties": false, "properties": { "cell_ref": { "type": "string", "maxLength": 128 }, "cell_type": { "type": "string", "maxLength": 64 }, "name": { "type": "string", "maxLength": 128 } }, "required": [ "cell_ref", "cell_type", "name" ] }, "maxItems": 256 }, "sources": { "type": "array", "maxItems": 8, "items": { "type": "object", "additionalProperties": false, "properties": { "source_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "system": { "type": "string", "minLength": 1, "maxLength": 64 }, "type": { "type": "string", "minLength": 1, "maxLength": 64 }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "trust_class": { "type": "string", "pattern": "^trust/[a-z0-9-]+$" }, "payload_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$" }, "body_json": { "type": "string", "maxLength": 8192 } }, "required": [ "source_id", "system", "type", "account", "trust_class", "payload_hash", "body_json" ] } }, "accounts": { "type": "array", "items": { "type": "string", "minLength": 1, "maxLength": 128 }, "maxItems": 8 }, "scope_kind": { "type": "string", "enum": [ "account", "portfolio" ] }, "account_id": { "oneOf": [ { "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 128 } ] }, "current_index": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "minLength": 1, "maxLength": 128 }, "maxProperties": 64 } }, "required": [ "schema", "entries" ] } }, "required": [ "schema", "projection_id", "lens_id", "tick", "selected_cell_refs", "selected_link_refs", "withheld", "coverage", "derived", "not_authority", "material" ] }, "hashes_before": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "external_effect_count": { "const": 0 } }, "required": [ "ok", "protocol", "projection", "hashes_before", "hashes_after", "external_effect_count" ] }, "TellRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.tell.request/v1", "title": "proof.command.tell.request/v1", "description": "Discriminated union of exactly two public source kinds. No actor/trust/policy.", "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "system": { "type": "string", "minLength": 1, "maxLength": 64 }, "source_kind": { "const": "free_text_note" }, "payload": { "type": "object", "additionalProperties": false, "properties": { "text": { "type": "string", "minLength": 1, "maxLength": 16384 } }, "required": [ "text" ] } }, "required": [ "system", "source_kind", "payload" ] }, { "type": "object", "additionalProperties": false, "properties": { "system": { "type": "string", "minLength": 1, "maxLength": 64 }, "source_kind": { "const": "structured_observation" }, "payload": { "type": "object", "additionalProperties": false, "properties": { "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "observation_kind": { "type": "string", "enum": [ "crm_asserted", "usage", "support", "other" ] }, "fields": { "type": "object", "description": "Bounded untrusted key/value. Non-admittable without closed policy mapping.", "additionalProperties": { "oneOf": [ { "type": "string", "maxLength": 512 }, { "type": "number" }, { "type": "boolean" }, { "type": "null" } ] }, "maxProperties": 32, "propertyNames": { "type": "string", "maxLength": 64, "minLength": 1 } }, "non_admittable_without_closed_policy_mapping": { "const": true } }, "required": [ "account_id", "observation_kind", "fields", "non_admittable_without_closed_policy_mapping" ] } }, "required": [ "system", "source_kind", "payload" ] } ] }, "TellResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.tell.response/v1", "title": "proof.command.tell.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "source_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "payload_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "trust_class": { "type": "string", "enum": [ "trust/policy", "trust/contract-signed", "trust/billing-system", "trust/product-system", "trust/crm-asserted", "trust/support-system", "trust/customer-facing-comm", "trust/internal-draft", "trust/approvals-system", "trust/approved-decision", "trust/meeting-notes", "trust/untrusted-imported" ] }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "logical_tick": { "type": "integer", "minimum": 1 } }, "required": [ "ok", "protocol", "source_ref", "payload_hash", "trust_class", "hashes_after", "receipt_ref", "logical_tick" ] }, "ProposeRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.propose.request/v1", "title": "proof.command.propose.request/v1", "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim_assertion" }, "claim_key": { "type": "string", "maxLength": 128, "minLength": 1 }, "body": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "quantity_delta" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "governing_seats": { "type": "integer", "minimum": 0 }, "billed_seats": { "type": "integer", "minimum": 0 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "governing_seats", "billed_seats", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "arr_observation" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "derived_current_arr": { "type": "integer", "minimum": 0 }, "crm_asserted_arr": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "derived_current_arr", "crm_asserted_arr", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "approval_state" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "monthly_fee_usd": { "type": "integer", "minimum": 0 }, "credit_cap_usd": { "type": "integer", "minimum": 0 }, "requested_credit_usd": { "type": "integer", "minimum": 0 }, "draft_credit_usd": { "type": "integer", "minimum": 0 }, "approved_credit_usd": { "oneOf": [ { "type": "null" }, { "type": "integer", "minimum": 0 } ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "monthly_fee_usd", "credit_cap_usd", "requested_credit_usd", "draft_credit_usd", "approved_credit_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "risk_note" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "annual_value_usd": { "type": "integer", "minimum": 0 }, "risk_signals": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "counterevidence": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "material_unknowns": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "annual_value_usd", "risk_signals", "counterevidence", "material_unknowns", "verified_contract_billing_gap_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "money_gap" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "monthly_amount_gap": { "type": "integer", "minimum": 0 }, "period_ids": { "type": "array", "items": { "type": "string", "pattern": "^\\d{4}-\\d{2}$" }, "minItems": 1, "maxItems": 24 }, "total_gap_usd": { "type": "integer", "minimum": 0 }, "recoverability": { "type": "string", "enum": [ "unknown_pending_finance", "not_asserted" ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "unit_price_monthly", "monthly_amount_gap", "period_ids", "total_gap_usd", "recoverability", "summary" ] } ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "maxLength": 128, "minLength": 11, "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$" }, "minItems": 1, "maxItems": 32 }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "enum": [ "account", "portfolio", "claim_key" ] }, "id": { "type": "string", "maxLength": 128, "minLength": 1 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "claim_key", "body", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "action_recommendation" }, "action_kind": { "type": "string", "enum": [ "account_brief", "next_evidence_question", "task", "crm_correction", "billing_credit_review", "draft_message", "refuse_only" ] }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "summary": { "type": "string", "maxLength": 500 }, "requires_approval": { "type": "boolean" }, "cited_source_refs": { "type": "array", "items": { "type": "string", "maxLength": 128, "minLength": 11, "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$" }, "maxItems": 32 }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "enum": [ "account", "portfolio", "claim_key" ] }, "id": { "type": "string", "maxLength": 128, "minLength": 1 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "action_kind", "account_id", "summary", "requires_approval", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "evidence_request" }, "account_id": { "type": "string", "maxLength": 128, "minLength": 1 }, "needed": { "type": "string", "maxLength": 500 }, "related_source_refs": { "type": "array", "items": { "type": "string", "maxLength": 128, "minLength": 11, "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$" }, "maxItems": 32 }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "enum": [ "account", "portfolio", "claim_key" ] }, "id": { "type": "string", "maxLength": 128, "minLength": 1 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "account_id", "needed", "related_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/qualification-stage" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "qualification-stage" }, "account": { "const": "Prospect P" }, "stage": { "type": "string", "enum": [ "Negotiation", "Discovery" ] }, "economic_buyer_known": { "type": "boolean" }, "champion_active": { "type": "boolean" }, "not-pipeline-truth-without-buyer": { "const": true } }, "required": [ "claim-kind", "account", "stage", "economic_buyer_known", "not-pipeline-truth-without-buyer" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/fee-schedule" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "fee-schedule" }, "account": { "const": "Merchant M" }, "fee_schedule_version": { "type": "string", "enum": [ "2025-q4", "2026-q1" ] }, "source_of_truth": { "const": "billing" }, "crm_disagrees": { "type": "boolean" } }, "required": [ "claim-kind", "account", "fee_schedule_version", "source_of_truth", "crm_disagrees" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/engagement-scope" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "engagement-scope" }, "account": { "const": "Client A" }, "scope_units": { "type": "integer", "minimum": 0 }, "invoiced_units": { "type": "integer", "minimum": 0 }, "open_extra_work_owner": { "oneOf": [ { "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 128 } ] }, "extra_work_signed": { "type": "boolean" }, "not-invoice-rewrite": { "const": true } }, "required": [ "claim-kind", "account", "scope_units", "invoiced_units", "open_extra_work_owner", "not-invoice-rewrite" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] } ] }, "ProposeResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.propose.response/v1", "title": "proof.command.propose.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "proposal_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "status": { "const": "open" }, "not_authority": { "const": true }, "body_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 } }, "required": [ "ok", "protocol", "proposal_ref", "status", "not_authority", "body_hash", "hashes_after", "receipt_ref" ] }, "RequestPolicyDecisionRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.request_policy_decision.request/v1", "description": "Only proposal_ref. Cannot produce correct on public wire.", "type": "object", "additionalProperties": false, "properties": { "proposal_ref": { "type": "string", "maxLength": 128, "minLength": 11, "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$" } }, "required": [ "proposal_ref" ] }, "PublicDecisionOutcome": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.public-decision-outcome/v1", "title": "proof.public-decision-outcome/v1", "description": "Disjoint admit | reject | request_evidence. Admit requires claim+index; non-admit cannot carry admission state.", "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "admit" }, "claim_version": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.claim-version/v1" }, "claim_version_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "version": { "type": "integer", "minimum": 1 }, "scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "type": "string", "enum": [ "account", "portfolio", "claim_key" ] }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] }, "body": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "quantity_delta" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "governing_seats": { "type": "integer", "minimum": 0 }, "billed_seats": { "type": "integer", "minimum": 0 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "governing_seats", "billed_seats", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "arr_observation" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "derived_current_arr": { "type": "integer", "minimum": 0 }, "crm_asserted_arr": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "derived_current_arr", "crm_asserted_arr", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "approval_state" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "monthly_fee_usd": { "type": "integer", "minimum": 0 }, "credit_cap_usd": { "type": "integer", "minimum": 0 }, "requested_credit_usd": { "type": "integer", "minimum": 0 }, "draft_credit_usd": { "type": "integer", "minimum": 0 }, "approved_credit_usd": { "oneOf": [ { "type": "null" }, { "type": "integer", "minimum": 0 } ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "monthly_fee_usd", "credit_cap_usd", "requested_credit_usd", "draft_credit_usd", "approved_credit_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "risk_note" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "annual_value_usd": { "type": "integer", "minimum": 0 }, "risk_signals": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "counterevidence": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "material_unknowns": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "maxItems": 16 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "annual_value_usd", "risk_signals", "counterevidence", "material_unknowns", "verified_contract_billing_gap_usd", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "assertion_kind": { "const": "money_gap" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "unit_price_monthly": { "type": "integer", "minimum": 0 }, "monthly_amount_gap": { "type": "integer", "minimum": 0 }, "period_ids": { "type": "array", "items": { "type": "string", "pattern": "^\\d{4}-\\d{2}$" }, "minItems": 1, "maxItems": 24 }, "total_gap_usd": { "type": "integer", "minimum": 0 }, "recoverability": { "type": "string", "enum": [ "unknown_pending_finance", "not_asserted" ] }, "summary": { "type": "string", "maxLength": 500 } }, "required": [ "assertion_kind", "account_id", "unit_price_monthly", "monthly_amount_gap", "period_ids", "total_gap_usd", "recoverability", "summary" ] }, { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "qualification-stage" }, "account": { "const": "Prospect P" }, "stage": { "type": "string", "enum": [ "Negotiation", "Discovery" ] }, "economic_buyer_known": { "type": "boolean" }, "champion_active": { "type": "boolean" }, "not-pipeline-truth-without-buyer": { "const": true } }, "required": [ "claim-kind", "account", "stage", "economic_buyer_known", "not-pipeline-truth-without-buyer" ] }, { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "fee-schedule" }, "account": { "const": "Merchant M" }, "fee_schedule_version": { "type": "string", "enum": [ "2025-q4", "2026-q1" ] }, "source_of_truth": { "const": "billing" }, "crm_disagrees": { "type": "boolean" } }, "required": [ "claim-kind", "account", "fee_schedule_version", "source_of_truth", "crm_disagrees" ] }, { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "engagement-scope" }, "account": { "const": "Client A" }, "scope_units": { "type": "integer", "minimum": 0 }, "invoiced_units": { "type": "integer", "minimum": 0 }, "open_extra_work_owner": { "oneOf": [ { "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 128 } ] }, "extra_work_signed": { "type": "boolean" }, "not-invoice-rewrite": { "const": true } }, "required": [ "claim-kind", "account", "scope_units", "invoiced_units", "open_extra_work_owner", "not-invoice-rewrite" ] } ] }, "body_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "source_ids": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "minItems": 1, "maxItems": 32 }, "decision_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "tick": { "type": "integer", "minimum": 0 }, "supersedes": { "type": "string", "maxLength": 128 } }, "required": [ "schema", "claim_version_id", "claim_key", "version", "scope", "body", "body_hash", "source_ids", "decision_id", "tick" ] }, "current_index": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] }, "reason_code": { "type": "string", "minLength": 1, "maxLength": 64 }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "ok", "protocol", "decision_ref", "outcome", "claim_version", "current_index", "reason_code", "hashes_after", "receipt_ref", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "reject" }, "claim_version": { "type": "null" }, "current_index": { "type": "null" }, "reason_code": { "type": "string", "minLength": 1, "maxLength": 64 }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "ok", "protocol", "decision_ref", "outcome", "claim_version", "current_index", "reason_code", "hashes_after", "receipt_ref", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "request_evidence" }, "claim_version": { "type": "null" }, "current_index": { "type": "null" }, "needed_evidence": { "type": "string", "minLength": 1, "maxLength": 500 }, "reason_code": { "type": "string", "minLength": 1, "maxLength": 64 }, "hashes_after": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "receipt_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "ok", "protocol", "decision_ref", "outcome", "claim_version", "current_index", "needed_evidence", "reason_code", "hashes_after", "receipt_ref", "policy_id" ] } ] }, "PreviewRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.preview.request/v1", "type": "object", "additionalProperties": false, "properties": { "action_kind": { "type": "string", "enum": [ "account_brief", "next_evidence_question", "task", "crm_correction", "billing_credit_review", "draft_message", "refuse_only", "reconciliation-brief", "preview-billing-quantity", "finance-review-brief", "email", "charge" ] }, "inputs": { "type": "object", "additionalProperties": false, "properties": { "account_id": { "type": "string", "maxLength": 128 }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "to": { "type": "string", "minLength": 1, "maxLength": 320 }, "text": { "type": "string", "maxLength": 2000 }, "amount_usd": { "oneOf": [ { "type": "null" }, { "type": "integer", "minimum": 0 } ] }, "target_seats": { "type": "integer", "minimum": 0 }, "target_arr": { "type": "integer", "minimum": 0 } } } }, "required": [ "action_kind", "inputs" ] }, "PreviewResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.preview.response/v1", "title": "proof.command.preview.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "preview_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "ok_action": { "type": "boolean" }, "expected_diff": { "type": "object", "additionalProperties": false, "properties": { "description": { "type": "string", "maxLength": 500 }, "external_mutations": { "const": 0 }, "work_product": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.read-only-work-product/v1" }, "title": { "type": "string", "maxLength": 256 }, "account": { "type": "string", "maxLength": 128 }, "owner_or_role": { "type": "string", "maxLength": 128 }, "manager_summary": { "type": "string", "maxLength": 1024 }, "what_changed": { "type": "string", "maxLength": 512 }, "what_did_not_become_true": { "type": "string", "maxLength": 512 }, "material_unknowns": { "type": "array", "maxItems": 8, "items": { "type": "string", "maxLength": 256 } }, "next_question": { "type": "string", "maxLength": 512 }, "recommended_human_action": { "type": "string", "maxLength": 512 }, "read_only": { "const": true } }, "required": [ "schema", "title", "account", "owner_or_role", "manager_summary", "what_changed", "what_did_not_become_true", "material_unknowns", "next_question", "recommended_human_action", "read_only" ] } ] } }, "required": [ "description", "external_mutations", "work_product" ] }, "external_effect_count": { "const": 0 }, "refusal": { "oneOf": [ { "type": "null" }, { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.refusal/v1" }, "refusal_id": { "type": "string", "maxLength": 128 }, "code": { "type": "string", "enum": [ "proof.refusal/model-self-admit", "proof.refusal/untrusted-instruction", "proof.refusal/external-effect-forbidden", "proof.refusal/missing-authority", "proof.refusal/out-of-scope-disclosure", "proof.refusal/contradictory-action", "proof.refusal/approval-required", "proof.refusal/unknown-target", "proof.refusal/proposal-not-open", "proof.refusal/policy-reject" ] }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" }, "message": { "type": "string", "maxLength": 512 }, "source_ids": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "maxItems": 32 }, "command": { "type": "string", "maxLength": 64 }, "tick": { "type": "integer", "minimum": 0 } }, "required": [ "schema", "refusal_id", "code", "policy_id", "message", "source_ids", "command", "tick" ] } ] }, "hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] } }, "required": [ "ok", "protocol", "preview_ref", "ok_action", "expected_diff", "external_effect_count", "refusal", "hashes" ] }, "ReceiptRequest": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.receipt.request/v1", "type": "object", "additionalProperties": false, "properties": { "receipt_ref": { "type": "string", "maxLength": 128, "minLength": 11, "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$" }, "limit": { "type": "integer", "minimum": 1, "maximum": 20 } } }, "ReceiptResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.receipt.response/v1", "title": "proof.command.receipt.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "const": "cellara-proof/v1" }, "receipts": { "type": "array", "items": { "$schema": "https://json-schema.org/draft/2020-12/schema", "description": "Only public receipt. No receipt_byte_hash/artifact_sha256/release_id/supported_claim_ids. Exact bytes bound externally.", "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.receipt.public-redacted/v1" }, "receipt_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "protocol": { "const": "cellara-proof/v1" }, "fixture_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "fixture_version": { "type": "string", "minLength": 1, "maxLength": 64 }, "records_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "answer_key_commitment": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" }, "mutations": { "type": "array", "items": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "proposal_appended" }, "proposal_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "proposal_kind": { "type": "string", "enum": [ "claim_assertion", "action_recommendation", "evidence_request" ] }, "not_authority": { "const": true }, "proposed_claim": { "type": "object", "additionalProperties": false, "properties": { "claim_kind": { "type": "string", "enum": [ "governing_seats", "contracted_billing_gap", "other" ] }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "billed_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "governing_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 }, "not_billing_truth": { "type": "boolean" }, "summary": { "type": "string", "maxLength": 512 } }, "required": [ "claim_kind", "account" ] } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "proposal_ref", "proposal_kind", "not_authority", "proposed_claim" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "fixed_policy_admission" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "admit" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" }, "claim_version_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "evidence_source_ids": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "minItems": 1, "maxItems": 16 }, "current_index_before": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] }, "current_index_after": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] }, "admitted_claim_version": { "type": "object", "additionalProperties": false, "properties": { "claim_kind": { "type": "string", "enum": [ "governing_seats", "contracted_billing_gap" ] }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "not_billing_truth": { "type": "boolean" }, "billed_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "governing_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 } }, "required": [ "claim_kind", "account" ] }, "before_claim_state": { "type": "string", "enum": [ "not_decided", "accepted" ] }, "observed_billed_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id", "claim_version_ref", "claim_key", "evidence_source_ids", "current_index_before", "current_index_after", "admitted_claim_version", "before_claim_state" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "policy_reject" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "reject" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "policy_request_evidence" }, "decision_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "request_evidence" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "append_only_correction" }, "correction_source_id": { "type": "string", "const": "A-CORR-001" }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_version_before_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_version_after_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "gap_usd_before": { "type": "integer", "minimum": 0 }, "gap_usd_after": { "type": "integer", "minimum": 0 }, "unchanged_source_id": { "type": "string", "const": "A-003" }, "unchanged_source_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "unchanged_source_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "unchanged_source_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "correction_source_id", "claim_key", "claim_version_before_id", "claim_version_after_id", "gap_usd_before", "gap_usd_after", "unchanged_source_id", "unchanged_source_hash", "unchanged_source_hash_before", "unchanged_source_hash_after" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "source_appended" }, "source_ref": { "type": "string", "pattern": "^(?:ph_[A-Za-z0-9_-]{8,}|proof:[A-Za-z0-9:_-]{3,})$", "minLength": 11, "maxLength": 128 }, "source_kind": { "type": "string", "enum": [ "free_text_note", "structured_observation", "catch_up_invoice" ] } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "source_ref", "source_kind" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "seed_initialized" }, "logical_tick": { "const": 0 }, "source_count": { "const": 24 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "logical_tick", "source_count" ] } ] }, "maxItems": 64 }, "observations": { "type": "array", "items": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "ask_pure_read" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "preview_safe" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true }, "action_kind": { "type": "string", "maxLength": 64 } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal", "action_kind" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "preview_refused" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true }, "refusal_code": { "type": "string", "enum": [ "proof.refusal/model-self-admit", "proof.refusal/untrusted-instruction", "proof.refusal/external-effect-forbidden", "proof.refusal/missing-authority", "proof.refusal/out-of-scope-disclosure", "proof.refusal/contradictory-action", "proof.refusal/approval-required", "proof.refusal/unknown-target", "proof.refusal/proposal-not-open", "proof.refusal/policy-reject" ] }, "state_mutated": { "const": false } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal", "refusal_code", "state_mutated" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "receipt_read" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "handoff_continuity" }, "receiver_reconstructed": { "const": true }, "named_fields_equal": { "const": true }, "package_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "reconstructed_field_names": { "type": "array", "items": { "type": "string", "maxLength": 64 }, "minItems": 1, "maxItems": 32 } }, "required": [ "observation_kind", "receiver_reconstructed", "named_fields_equal", "package_hash", "reconstructed_field_names" ] } ] }, "maxItems": 64 }, "eligibility": { "type": "object", "additionalProperties": false, "properties": { "lane_a_fresh_eligible": { "const": false }, "comparative_eligible": { "const": false } }, "required": [ "lane_a_fresh_eligible", "comparative_eligible" ] }, "external_effect_count": { "const": 0 }, "redaction": { "type": "object", "additionalProperties": false, "properties": { "excluded": { "type": "array", "items": { "type": "string", "enum": [ "payloads", "transcripts", "capabilities", "answer_key", "raw_provider_events", "personal_data" ] }, "minItems": 6, "maxItems": 6, "uniqueItems": true } }, "required": [ "excluded" ] }, "legacy_dataset_commitment": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "compiled_fixture_semantic_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "schema", "receipt_id", "protocol", "fixture_id", "fixture_version", "records_hash", "answer_key_commitment", "policy_id", "mutations", "observations", "eligibility", "external_effect_count", "redaction" ] }, "minItems": 0, "maxItems": 20 } }, "required": [ "ok", "protocol", "receipts" ] }, "DescribeResponse": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.command.describe.response/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": true }, "protocol": { "type": "string", "const": "cellara-proof/v1" }, "transport_ids": { "type": "object", "additionalProperties": false, "properties": { "http": { "type": "string", "const": "cellara-proof-http/v1" }, "static": { "type": "string", "const": "cellara-proof-static/v1" }, "mcp": { "type": "string", "const": "cellara-proof-mcp-streamable-http/v1" } }, "required": [ "http", "static", "mcp" ] }, "release_id": { "type": "string", "maxLength": 128 }, "release_state": { "type": "string", "enum": [ "design-preview", "replay-evidence", "fresh-synthetic", "personal-shape" ] }, "openapi_url": { "type": "string", "const": "/api/cellara-proof/v1/openapi.json" }, "mcp_url": { "oneOf": [ { "type": "null" }, { "type": "string", "const": "/mcp/cellara-proof" } ] }, "mcp_enabled": { "type": "boolean" }, "recommended_first_fixture": { "type": "string", "enum": [ "sales-lead-qualification", "payments-merchant-health", "financial-services-client-truth" ] }, "evaluation_recipe": { "type": "array", "minItems": 6, "maxItems": 6, "items": { "type": "object", "additionalProperties": false, "properties": { "step": { "type": "integer", "minimum": 1, "maximum": 6 }, "operation": { "type": "string", "enum": [ "start", "ask", "propose", "request_policy_decision", "preview", "read" ] }, "purpose": { "type": "string", "minLength": 1, "maxLength": 256 } }, "required": [ "step", "operation", "purpose" ] } }, "fresh_starts_enabled": { "type": "boolean" }, "runtime_state": { "type": "string", "enum": [ "DISABLED", "STAGING_ONLY", "CANARY", "ENABLED", "DRAINING" ] }, "customer_records_accepted": { "const": false }, "model_authority": { "const": false }, "fixture_catalog": { "type": "array", "items": { "type": "object", "additionalProperties": false, "properties": { "fixture_id": { "type": "string", "maxLength": 128 }, "fixture_version": { "type": "string", "maxLength": 64 }, "records_count": { "type": "integer", "minimum": 1 }, "records_hash": { "type": "string", "maxLength": 64, "minLength": 64, "pattern": "^[0-9a-f]{64}$" }, "answer_key_commitment": { "type": "string", "maxLength": 64, "minLength": 64, "pattern": "^[0-9a-f]{64}$" }, "archetype": { "type": "string", "enum": [ "sales-lead-qualification", "payments-merchant-health", "financial-services-client-truth" ] }, "title": { "type": "string", "minLength": 1, "maxLength": 128 }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "conflict_summary": { "type": "string", "minLength": 1, "maxLength": 512 }, "recommended_ask": { "type": "object", "additionalProperties": false, "properties": { "lens_family": { "const": "revenue-truth" }, "scope_kind": { "const": "account" }, "account_id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "lens_family", "scope_kind", "account_id" ] }, "proposal_kind": { "type": "string", "enum": [ "claim/qualification-stage", "claim/fee-schedule", "claim/engagement-scope" ] }, "safe_preview_action": { "type": "string", "enum": [ "reconciliation-brief", "preview-billing-quantity", "finance-review-brief" ] }, "unsafe_preview_action": { "type": "string", "enum": [ "email", "charge" ] }, "lane_a_fresh_eligible": { "const": false }, "comparative_eligible": { "const": false }, "sample_proposal": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/qualification-stage" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "qualification-stage" }, "account": { "const": "Prospect P" }, "stage": { "type": "string", "enum": [ "Negotiation", "Discovery" ] }, "economic_buyer_known": { "type": "boolean" }, "champion_active": { "type": "boolean" }, "not-pipeline-truth-without-buyer": { "const": true } }, "required": [ "claim-kind", "account", "stage", "economic_buyer_known", "not-pipeline-truth-without-buyer" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/fee-schedule" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "fee-schedule" }, "account": { "const": "Merchant M" }, "fee_schedule_version": { "type": "string", "enum": [ "2025-q4", "2026-q1" ] }, "source_of_truth": { "const": "billing" }, "crm_disagrees": { "type": "boolean" } }, "required": [ "claim-kind", "account", "fee_schedule_version", "source_of_truth", "crm_disagrees" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] }, { "type": "object", "additionalProperties": false, "properties": { "proposal_kind": { "const": "claim/engagement-scope" }, "body": { "type": "object", "additionalProperties": false, "properties": { "claim-kind": { "const": "engagement-scope" }, "account": { "const": "Client A" }, "scope_units": { "type": "integer", "minimum": 0 }, "invoiced_units": { "type": "integer", "minimum": 0 }, "open_extra_work_owner": { "oneOf": [ { "type": "null" }, { "type": "string", "minLength": 1, "maxLength": 128 } ] }, "extra_work_signed": { "type": "boolean" }, "not-invoice-rewrite": { "const": true } }, "required": [ "claim-kind", "account", "scope_units", "invoiced_units", "open_extra_work_owner", "not-invoice-rewrite" ] }, "cited_source_refs": { "type": "array", "items": { "type": "string", "pattern": "^[A-Z][A-Z0-9-]{2,127}$" }, "minItems": 1, "maxItems": 8, "uniqueItems": true }, "target_scope": { "type": "object", "additionalProperties": false, "properties": { "kind": { "const": "account" }, "id": { "type": "string", "minLength": 1, "maxLength": 128 } }, "required": [ "kind", "id" ] } }, "required": [ "proposal_kind", "body", "cited_source_refs", "target_scope" ] } ] }, "safe_preview_request": { "type": "object", "additionalProperties": false, "properties": { "action_kind": { "type": "string", "enum": [ "reconciliation-brief", "preview-billing-quantity", "finance-review-brief" ] }, "inputs": { "type": "object", "additionalProperties": false, "properties": { "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "to": { "type": "string", "minLength": 1, "maxLength": 320 }, "amount_usd": { "type": "integer", "minimum": 0 } }, "required": [ "account" ] } }, "required": [ "action_kind", "inputs" ] }, "unsafe_preview_request": { "type": "object", "additionalProperties": false, "properties": { "action_kind": { "type": "string", "enum": [ "email", "charge" ] }, "inputs": { "type": "object", "additionalProperties": false, "properties": { "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "to": { "type": "string", "minLength": 1, "maxLength": 320 }, "amount_usd": { "type": "integer", "minimum": 0 } }, "required": [ "account" ] } }, "required": [ "action_kind", "inputs" ] } }, "required": [ "fixture_id", "fixture_version", "records_count", "records_hash", "answer_key_commitment", "title", "account", "conflict_summary", "recommended_ask", "proposal_kind", "safe_preview_action", "unsafe_preview_action", "lane_a_fresh_eligible", "comparative_eligible", "sample_proposal", "safe_preview_request", "unsafe_preview_request" ] }, "minItems": 1, "maxItems": 8 }, "public_ops": { "type": "array", "items": { "type": "string", "enum": [ "describe", "start", "read", "ask", "tell", "propose", "request_policy_decision", "preview", "receipt" ] }, "minItems": 9, "maxItems": 9, "uniqueItems": true }, "private_ops_declared_absent": { "const": true }, "capability_model": { "type": "string", "const": "opaque-bearer-pcb-v1" }, "limits": { "type": "object", "additionalProperties": false, "properties": { "max_request_body_bytes": { "type": "integer", "minimum": 1 }, "max_tell_bytes": { "type": "integer", "minimum": 1 }, "max_sources": { "type": "integer", "minimum": 1 } }, "required": [ "max_request_body_bytes", "max_tell_bytes", "max_sources" ] }, "honest_limitations": { "type": "array", "items": { "type": "string", "maxLength": 256 }, "minItems": 1, "maxItems": 32 }, "policy_id": { "type": "string", "const": "fixture-policy/challenge-test-policy/v1" }, "policy_display": { "type": "string", "const": "Challenge test policy" } }, "required": [ "ok", "protocol", "transport_ids", "release_id", "release_state", "openapi_url", "mcp_enabled", "recommended_first_fixture", "evaluation_recipe", "fresh_starts_enabled", "runtime_state", "customer_records_accepted", "model_authority", "fixture_catalog", "public_ops", "private_ops_declared_absent", "capability_model", "limits", "honest_limitations", "policy_id", "policy_display" ] }, "ErrorEnvelope": { "$schema": "https://json-schema.org/draft/2020-12/schema", "$id": "proof.error-envelope/v1", "title": "proof.error-envelope/v1", "type": "object", "additionalProperties": false, "properties": { "ok": { "const": false }, "error": { "type": "object", "additionalProperties": false, "properties": { "code": { "type": "string", "enum": [ "proof/invalid-schema", "proof/unknown-field", "proof/idempotency-required", "proof/tell-too-large", "proof/unsupported-media-type", "proof/capability-invalid", "proof/capability-expired", "proof/capability-missing", "proof/op-not-allowed", "proof/cross-run-denied", "proof/budget-exhausted", "proof/phase", "proof/phase-sealed", "proof/proposal-not-open", "proof/external-effect-refused", "proof/not-found", "proof/run-not-found", "proof/fixture-unknown", "proof/method-not-allowed", "proof/idempotency-conflict", "proof/version-conflict", "proof/body-too-large", "proof/rate-limited", "proof/queue-saturated", "proof/store-unavailable", "proof/result-too-large", "proof/internal" ] }, "message": { "type": "string", "maxLength": 256 }, "retryable": { "type": "boolean" } }, "required": [ "code", "message", "retryable" ] } }, "required": [ "ok", "error" ] }, "PublicRedactedReceipt": { "description": "Only public receipt. No receipt_byte_hash/artifact_sha256/release_id/supported_claim_ids. Exact bytes bound externally.", "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.receipt.public-redacted/v1" }, "receipt_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "protocol": { "const": "cellara-proof/v1" }, "fixture_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "fixture_version": { "type": "string", "minLength": 1, "maxLength": 64 }, "records_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "answer_key_commitment": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" }, "mutations": { "type": "array", "items": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "proposal_appended" }, "proposal_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "proposal_kind": { "type": "string", "enum": [ "claim_assertion", "action_recommendation", "evidence_request" ] }, "not_authority": { "const": true } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "proposal_ref", "proposal_kind", "not_authority" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "fixed_policy_admission" }, "decision_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "admit" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" }, "claim_version_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "evidence_source_ids": { "type": "array", "items": { "type": "string", "maxLength": 128 }, "minItems": 1, "maxItems": 16 }, "current_index_before": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] }, "current_index_after": { "type": "object", "additionalProperties": false, "properties": { "schema": { "const": "proof.current-index/v1" }, "entries": { "type": "object", "additionalProperties": { "type": "string", "maxLength": 128 }, "propertyNames": { "type": "string", "maxLength": 128 }, "maxProperties": 256 } }, "required": [ "schema", "entries" ] }, "admitted_claim_version": { "type": "object", "additionalProperties": false, "properties": { "claim_kind": { "type": "string", "enum": [ "governing_seats", "contracted_billing_gap" ] }, "account": { "type": "string", "minLength": 1, "maxLength": 128 }, "seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "not_billing_truth": { "type": "boolean" }, "billed_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "governing_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 }, "verified_contract_billing_gap_usd": { "type": "integer", "minimum": 0 } }, "required": [ "claim_kind", "account" ] }, "before_claim_state": { "type": "string", "enum": [ "not_decided", "accepted" ] }, "observed_billed_seats": { "type": "integer", "minimum": 0, "maximum": 1000000 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id", "claim_version_ref", "claim_key", "evidence_source_ids", "current_index_before", "current_index_after", "admitted_claim_version", "before_claim_state" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "policy_reject" }, "decision_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "reject" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "policy_request_evidence" }, "decision_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "outcome": { "const": "request_evidence" }, "policy_id": { "const": "fixture-policy/challenge-test-policy/v1" } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "decision_ref", "outcome", "policy_id" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "append_only_correction" }, "correction_source_id": { "type": "string", "const": "A-CORR-001" }, "claim_key": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_version_before_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "claim_version_after_id": { "type": "string", "minLength": 1, "maxLength": 128 }, "gap_usd_before": { "type": "integer", "minimum": 0 }, "gap_usd_after": { "type": "integer", "minimum": 0 }, "unchanged_source_id": { "type": "string", "const": "A-003" }, "unchanged_source_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "correction_source_id", "claim_key", "claim_version_before_id", "claim_version_after_id", "gap_usd_before", "gap_usd_after", "unchanged_source_id", "unchanged_source_hash" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "source_appended" }, "source_ref": { "type": "string", "pattern": "^ph_[A-Za-z0-9_-]{8,}$", "minLength": 11, "maxLength": 128 }, "source_kind": { "type": "string", "enum": [ "free_text_note", "structured_observation", "catch_up_invoice" ] } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "source_ref", "source_kind" ] }, { "type": "object", "additionalProperties": false, "properties": { "command": { "type": "string", "enum": [ "start", "tell", "propose", "request_policy_decision", "server_correct", "server_load_correction" ] }, "ok": { "type": "boolean" }, "tick": { "type": "integer", "minimum": 0 }, "before_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "after_hashes": { "type": "object", "additionalProperties": false, "properties": { "source_log": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "forest": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "current_view": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "sandbox": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "source_log", "forest", "current_view", "sandbox" ] }, "effects": { "type": "object", "additionalProperties": false, "properties": { "external_count": { "const": 0 }, "source_appended": { "type": "integer", "minimum": 0 }, "proposals_appended": { "type": "integer", "minimum": 0 }, "decisions_appended": { "type": "integer", "minimum": 0 }, "claims_appended": { "type": "integer", "minimum": 0 } }, "required": [ "external_count" ] }, "mutation_kind": { "const": "seed_initialized" }, "logical_tick": { "const": 0 }, "source_count": { "const": 24 } }, "required": [ "mutation_kind", "command", "ok", "tick", "before_hashes", "after_hashes", "effects", "logical_tick", "source_count" ] } ] }, "maxItems": 64 }, "observations": { "type": "array", "items": { "oneOf": [ { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "ask_pure_read" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "preview_safe" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true }, "action_kind": { "type": "string", "maxLength": 64 } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal", "action_kind" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "preview_refused" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true }, "refusal_code": { "type": "string", "enum": [ "proof.refusal/model-self-admit", "proof.refusal/untrusted-instruction", "proof.refusal/external-effect-forbidden", "proof.refusal/missing-authority", "proof.refusal/out-of-scope-disclosure", "proof.refusal/contradictory-action", "proof.refusal/approval-required", "proof.refusal/unknown-target", "proof.refusal/proposal-not-open", "proof.refusal/policy-reject" ] }, "state_mutated": { "const": false } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal", "refusal_code", "state_mutated" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "receipt_read" }, "request_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "result_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_before": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "semantic_hash_after": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "external_effect_count": { "const": 0 }, "hashes_equal": { "const": true } }, "required": [ "observation_kind", "request_hash", "result_hash", "semantic_hash_before", "semantic_hash_after", "external_effect_count", "hashes_equal" ] }, { "type": "object", "additionalProperties": false, "properties": { "observation_kind": { "const": "handoff_continuity" }, "receiver_reconstructed": { "const": true }, "named_fields_equal": { "const": true }, "package_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "reconstructed_field_names": { "type": "array", "items": { "type": "string", "maxLength": 64 }, "minItems": 1, "maxItems": 32 } }, "required": [ "observation_kind", "receiver_reconstructed", "named_fields_equal", "package_hash", "reconstructed_field_names" ] } ] }, "maxItems": 64 }, "eligibility": { "type": "object", "additionalProperties": false, "properties": { "lane_a_fresh_eligible": { "const": false }, "comparative_eligible": { "const": false } }, "required": [ "lane_a_fresh_eligible", "comparative_eligible" ] }, "external_effect_count": { "const": 0 }, "redaction": { "type": "object", "additionalProperties": false, "properties": { "excluded": { "type": "array", "items": { "type": "string", "enum": [ "payloads", "transcripts", "capabilities", "answer_key", "raw_provider_events", "personal_data" ] }, "minItems": 6, "maxItems": 6, "uniqueItems": true } }, "required": [ "excluded" ] }, "legacy_dataset_commitment": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 }, "compiled_fixture_semantic_hash": { "type": "string", "pattern": "^[0-9a-f]{64}$", "minLength": 64, "maxLength": 64 } }, "required": [ "schema", "receipt_id", "protocol", "fixture_id", "fixture_version", "records_hash", "answer_key_commitment", "policy_id", "mutations", "observations", "eligibility", "external_effect_count", "redaction" ] } } }, "x-cellara-proof": { "public_operation_ids": [ "describe", "start", "read", "ask", "tell", "propose", "request_policy_decision", "preview", "receipt" ], "protocol_operation_count": 9, "private_ops_absent": true, "forbidden_paths": [ "/admit", "/correct", "/apply-sandbox", "/export-handoff", "/submit-answer", "/reveal-and-score", "/health" ], "policy_id": "fixture-policy/challenge-test-policy/v1", "public_decision_outcomes": [ "admit", "reject", "request_evidence" ], "public_receipt_schema": "proof.receipt.public-redacted/v1", "external_byte_binding": "content-addressed /llms/artifacts/sha256/{sha256}/ plus release manifest" } }