FAHCE Integrity Repair
Free FAHCE contract discovery. Paid evidence determinations use wallet-only x402 REST endpoints.
使うべきか
品質と安全性
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"fahce-integrity-repair": {
"url": "https://fahce.kinganlogic.com/mcp"
}
}
}リモートエンドポイント
https://fahce.kinganlogic.com/mcpstreamable-httpできること
ツール一覧
ツール(4)
⚪fahce_diagnose_integrity(request, idempotency_key)
Diagnose unsupported claims, contradictions, wrong attribution, stale authority, and unsafe execution claims in a candidate output. This operation stores an immutable receipt and meters one logical determination; it does not execute an external repair.
入力スキーマ
{
"type": "object",
"properties": {
"request": {
"type": "object",
"additionalProperties": false,
"required": [
"schema",
"candidate_output",
"evidence"
],
"description": "The entire UTF-8 encoded JSON body must fit within 524288 bytes (512 KiB), including all fields, labels, escaping and JSON overhead. Per-field maxima are independent ceilings; they cannot all be used at once. MCP includes its JSON-RPC wrapper in the same body ceiling. Character limits are UTF-16 code units.",
"x-fahce-request-bytes": 524288,
"properties": {
"schema": {
"const": "FAHCE_MACHINE_REQUEST_V1"
},
"candidate_output": {
"type": "string",
"minLength": 1,
"maxLength": 200000,
"description": "The exact candidate output to diagnose or verify. Never use payment evidence as semantic evidence."
},
"expected_output": {
"type": "string",
"maxLength": 200000,
"description": "Optional response-contract and repair-target context for all operations, including Diagnose. Supported response-format directives (for example, Return JSON) and implemented explicit constraints can affect the diagnosis. Ordinary matching or mismatching factual text is not compared for string equality and is not a trusted answer oracle or supporting evidence; supply independent evidence for factual claims."
},
"evidence": {
"type": "array",
"maxItems": 12,
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"kind",
"source_label",
"text"
],
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z0-9_-]{1,64}$"
},
"kind": {
"enum": [
"log",
"paste",
"document",
"description"
]
},
"source_label": {
"type": "string",
"maxLength": 160
},
"text": {
"type": "string",
"maxLength": 200000
},
"claim_bearing": {
"type": "boolean"
}
}
}
}
}
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 128,
"pattern": "^[A-Za-z0-9_-]{8,128}$"
}
},
"required": [
"request"
],
"additionalProperties": false
}出力スキーマ
{
"type": "object",
"properties": {
"schema": {
"const": "FAHCE_MACHINE_RESPONSE_V1"
},
"billing": {
"type": "object",
"required": [
"billable",
"free_retry",
"reason",
"determination_status"
],
"properties": {
"determination_status": {
"enum": [
"DETERMINATION_COMPLETE",
"DETERMINATION_COMPLETE_NEGATIVE",
"DETERMINATION_NOT_PRODUCED"
]
},
"billable": {
"type": "boolean"
},
"free_retry": {
"type": "boolean"
},
"reason": {
"type": [
"string",
"null"
]
}
}
},
"operation": {
"enum": [
"diagnose",
"repair",
"verify",
"repair-bundle"
]
},
"request_id": {
"type": "string",
"format": "uuid",
"description": "Determination UUID, identical to receipt.case_id and receipt.run_id. Use this UUID as receipt_id in GET /api/v1/receipts/{receipt_id}. Error-envelope request_id is a separate HTTP trace; use its receipt_id when present."
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"binding": {
"type": "object",
"required": [
"actor_id",
"tenant_id",
"nonce",
"idempotency_key"
],
"properties": {
"operation_scope": {
"type": "string",
"enum": [
"machine:diagnose",
"machine:repair",
"machine:verify",
"machine:repair-bundle"
]
},
"actor_id": {
"type": "string"
},
"tenant_model": {
"enum": [
"PILOT_USER_ISOLATION",
"PAYMENT_CONTEXT_ISOLATION"
],
"description": "Cloudflare wallet-only purchases use PAYMENT_CONTEXT_ISOLATION: one authorization-bound principal, no human account privileges. Legacy key calls use PILOT_USER_ISOLATION."
},
"tenant_id": {
"type": "string"
},
"credential_id": {
"type": [
"string",
"null"
],
"description": "Null for wallet-only Cloudflare machine purchases. A credential exists only for legacy key-backed calls; it is never a prerequisite for an ordinary paid buyer."
},
"nonce": {
"type": "string"
},
"idempotency_key": {
"type": "string"
},
"payment_context_hash": {
"type": [
"string",
"null"
]
}
}
},
"evidence_provenance": {
"type": "array",
"items": {
"type": "object",
"required": [
"id",
"item_id",
"sha256",
"source_label",
"trust"
],
"properties": {
"id": {
"type": "string"
},
"item_id": {
"type": "string"
},
"sha256": {
"type": "string"
},
"source_label": {
"type": "string"
},
"trust": {
"const": "CALLER_SUPPLIED_NOT_AUTHENTICATED_SOURCE"
}
}
}
},
"execution_state": {
"type": "object",
"properties": {
"claimed_execution": {
"enum": [
"ASSERTED",
"NOT_ASSERTED"
]
},
"provable_execution": {
"enum": [
"NOT_PROVEN",
"PARTIALLY_PROVEN"
]
},
"action_details": {
"type": "array",
"items": {
"type": "object"
}
},
"action_classification": {
"type": "array",
"items": {
"enum": [
"PERMISSION",
"APPROVAL",
"INTENT",
"REQUESTED_ACTION",
"QUEUED_ACTION",
"ATTEMPTED_ACTION",
"FAILED_ACTION",
"NONEXECUTION",
"REVERSED_ACTION",
"CLAIMED_COMPLETED_ACTION"
]
}
},
"notes": {
"type": "string"
}
}
},
"authority": {
"type": "object",
"properties": {
"payment_approval": {
"type": "string"
},
"integrity_support": {
"type": "string"
},
"external_verification": {
"const": "NOT_ESTABLISHED"
},
"permission_to_execute": {
"const": "NOT_GRANTED"
}
}
},
"diagnosis": {
"type": "object",
"additionalProperties": false,
"required": [
"state",
"claims",
"contradictions",
"missing_evidence",
"missing_evidence_details",
"claim_ceiling"
],
"properties": {
"evidence_coverage": {
"type": "array",
"items": {
"type": "object",
"required": [
"item_id",
"status",
"available_characters",
"inspected_characters",
"reasons"
],
"properties": {
"item_id": {
"type": "string"
},
"status": {
"enum": [
"INSPECTED",
"PARTIAL",
"OMITTED"
]
},
"byte_inspection": {
"enum": [
"INSPECTED",
"OMITTED"
],
"description": "Source bytes inspected; this does not establish semantic interpretation of every field."
},
"available_characters": {
"type": "integer",
"minimum": 0
},
"inspected_characters": {
"type": "integer",
"minimum": 0
},
"reasons": {
"type": "array",
"items": {
"type": "string"
}
},
"semantic_fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"ref",
"source_location",
"subject",
"context",
"field",
"value",
"semantic_status",
"reason",
"relevant_to_claim"
],
"properties": {
"ref": {
"type": "string"
},
"source_location": {
"type": "object",
"properties": {
"line": {
"type": [
"integer",
"null"
]
},
"json_pointer": {
"type": "string"
}
}
},
"subject": {
"type": "string"
},
"context": {
"type": "object",
"additionalProperties": {
"type": "string"
}
},
"field": {
"type": "string"
},
"value": {},
"semantic_status": {
"enum": [
"INTERPRETED",
"UNINTERPRETED"
]
},
"reason": {
"type": [
"string",
"null"
]
},
"relevant_to_claim": {
"type": "boolean"
}
}
}
}
}
}
},
"hold_reason": {
"type": "object"
},
"state": {
"enum": [
"HOLD",
"BLOCK",
"QUARANTINE",
"REPAIR_REQUIRED",
"CLEAR_WITH_CEILING"
]
},
"claims": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim",
"source",
"support",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim": {
"type": "string"
},
"source": {
"type": "string"
},
"support": {
"enum": [
"SUPPORTED",
"UNSUPPORTED",
"CONTRADICTED",
"UNVERIFIED"
]
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
},
"review": {
"type": "object"
}
}
}
},
"contradictions": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim_id",
"reason",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim_id": {
"type": "string"
},
"reason": {
"type": "string"
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
}
}
}
},
"missing_evidence": {
"type": "array",
"items": {
"type": "string"
}
},
"missing_evidence_details": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"scope",
"family",
"requirement"
],
"properties": {
"scope": {
"enum": [
"CLAIM",
"CASE"
]
},
"claim_id": {
"type": "string"
},
"family": {
"type": "string"
},
"requirement": {
"type": "string"
}
}
}
},
"claim_ceiling": {
"type": "string"
}
}
},
"repair": {
"anyOf": [
{
"type": "object",
"additionalProperties": false,
"required": [
"plan",
"treatment",
"proposed_output",
"status"
],
"properties": {
"status": {
"const": "PROPOSED_NOT_EXECUTED"
},
"proposed_output": {
"type": [
"string",
"null"
]
},
"treatment": {
"type": [
"object",
"null"
]
},
"plan": {
"type": "object",
"required": [
"required",
"bounded_steps",
"authority_note"
],
"properties": {
"required": {
"type": "boolean"
},
"authority_note": {
"type": "string"
},
"validated_ir": {
"type": "object"
},
"claim_corrections": {
"type": "array",
"items": {
"type": "object"
}
},
"bounded_steps": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"step",
"boundary"
],
"properties": {
"step": {
"type": "string"
},
"boundary": {
"type": "string"
}
}
}
}
}
}
}
},
{
"type": "null"
}
]
},
"verification": {
"type": "object",
"additionalProperties": false,
"required": [
"verified",
"scope",
"external_execution_verified"
],
"properties": {
"verified": {
"type": "boolean"
},
"scope": {
"type": "string"
},
"external_execution_verified": {
"const": false
}
}
},
"receipt": {
"type": "object",
"additionalProperties": false,
"required": [
"case_id",
"run_id",
"input_hash",
"result_hash",
"hash_scheme",
"provider",
"model",
"engine_version",
"created_at",
"response_hash_scheme",
"response_hash",
"payment_status",
"payment_receipt",
"settled_price_atomic_units"
],
"properties": {
"case_id": {
"type": "string",
"format": "uuid"
},
"provider": {
"type": "string"
},
"model": {
"type": "string"
},
"engine_version": {
"type": "string"
},
"created_at": {
"type": "string",
"format": "date-time"
},
"hash_scheme": {
"enum": [
"SHA256_CANONICAL_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V1",
"SHA256_SORTED_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V2"
]
},
"response_hash_scheme": {
"enum": [
"SHA256_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V1",
"SHA256_SORTED_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V2"
]
},
"run_id": {
"type": "string",
"format": "uuid"
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"result_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"response_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"payment_status": {
"enum": [
"PILOT_KEY_NO_PAYMENT",
"AUTHORIZED_PENDING_GATEWAY_SETTLEMENT"
]
},
"payment_receipt": {
"type": "null",
"description": "Immutable origin receipt; separate gateway PAYMENT-RESPONSE is retained by the buyer."
},
"settled_price_atomic_units": {
"type": "null",
"description": "Origin has no confirmed gateway settlement amount. Financial confirmation is recorded separately; the original response remains immutable and settlement is never inferred."
}
}
},
"next_safe_action": {
"type": "object",
"additionalProperties": false,
"required": [
"action",
"reason"
],
"properties": {
"action": {
"type": "string"
},
"reason": {
"type": "string"
}
}
}
},
"required": [
"schema",
"operation",
"request_id",
"input_hash",
"diagnosis",
"repair",
"verification",
"billing",
"receipt",
"next_safe_action"
],
"additionalProperties": false
}⚪fahce_plan_bounded_repair(request, idempotency_key)
Produce a bounded, evidence-preserving repair plan for an integrity failure. The plan never claims execution or verification. This operation stores an immutable receipt and meters one logical determination; it does not execute an external repair.
入力スキーマ
{
"type": "object",
"properties": {
"request": {
"type": "object",
"additionalProperties": false,
"required": [
"schema",
"candidate_output",
"evidence"
],
"description": "The entire UTF-8 encoded JSON body must fit within 524288 bytes (512 KiB), including all fields, labels, escaping and JSON overhead. Per-field maxima are independent ceilings; they cannot all be used at once. MCP includes its JSON-RPC wrapper in the same body ceiling. Character limits are UTF-16 code units.",
"x-fahce-request-bytes": 524288,
"properties": {
"schema": {
"const": "FAHCE_MACHINE_REQUEST_V1"
},
"candidate_output": {
"type": "string",
"minLength": 1,
"maxLength": 200000,
"description": "The exact candidate output to diagnose or verify. Never use payment evidence as semantic evidence."
},
"expected_output": {
"type": "string",
"maxLength": 200000,
"description": "Optional response-contract and repair-target context for all operations, including Diagnose. Supported response-format directives (for example, Return JSON) and implemented explicit constraints can affect the diagnosis. Ordinary matching or mismatching factual text is not compared for string equality and is not a trusted answer oracle or supporting evidence; supply independent evidence for factual claims."
},
"evidence": {
"type": "array",
"maxItems": 12,
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"kind",
"source_label",
"text"
],
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z0-9_-]{1,64}$"
},
"kind": {
"enum": [
"log",
"paste",
"document",
"description"
]
},
"source_label": {
"type": "string",
"maxLength": 160
},
"text": {
"type": "string",
"maxLength": 200000
},
"claim_bearing": {
"type": "boolean"
}
}
}
}
}
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 128,
"pattern": "^[A-Za-z0-9_-]{8,128}$"
}
},
"required": [
"request"
],
"additionalProperties": false
}出力スキーマ
{
"type": "object",
"properties": {
"schema": {
"const": "FAHCE_MACHINE_RESPONSE_V1"
},
"billing": {
"type": "object",
"required": [
"billable",
"free_retry",
"reason",
"determination_status"
],
"properties": {
"determination_status": {
"enum": [
"DETERMINATION_COMPLETE",
"DETERMINATION_COMPLETE_NEGATIVE",
"DETERMINATION_NOT_PRODUCED"
]
},
"billable": {
"type": "boolean"
},
"free_retry": {
"type": "boolean"
},
"reason": {
"type": [
"string",
"null"
]
}
}
},
"operation": {
"enum": [
"diagnose",
"repair",
"verify",
"repair-bundle"
]
},
"request_id": {
"type": "string",
"format": "uuid",
"description": "Determination UUID, identical to receipt.case_id and receipt.run_id. Use this UUID as receipt_id in GET /api/v1/receipts/{receipt_id}. Error-envelope request_id is a separate HTTP trace; use its receipt_id when present."
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"binding": {
"type": "object",
"required": [
"actor_id",
"tenant_id",
"nonce",
"idempotency_key"
],
"properties": {
"operation_scope": {
"type": "string",
"enum": [
"machine:diagnose",
"machine:repair",
"machine:verify",
"machine:repair-bundle"
]
},
"actor_id": {
"type": "string"
},
"tenant_model": {
"enum": [
"PILOT_USER_ISOLATION",
"PAYMENT_CONTEXT_ISOLATION"
],
"description": "Cloudflare wallet-only purchases use PAYMENT_CONTEXT_ISOLATION: one authorization-bound principal, no human account privileges. Legacy key calls use PILOT_USER_ISOLATION."
},
"tenant_id": {
"type": "string"
},
"credential_id": {
"type": [
"string",
"null"
],
"description": "Null for wallet-only Cloudflare machine purchases. A credential exists only for legacy key-backed calls; it is never a prerequisite for an ordinary paid buyer."
},
"nonce": {
"type": "string"
},
"idempotency_key": {
"type": "string"
},
"payment_context_hash": {
"type": [
"string",
"null"
]
}
}
},
"evidence_provenance": {
"type": "array",
"items": {
"type": "object",
"required": [
"id",
"item_id",
"sha256",
"source_label",
"trust"
],
"properties": {
"id": {
"type": "string"
},
"item_id": {
"type": "string"
},
"sha256": {
"type": "string"
},
"source_label": {
"type": "string"
},
"trust": {
"const": "CALLER_SUPPLIED_NOT_AUTHENTICATED_SOURCE"
}
}
}
},
"execution_state": {
"type": "object",
"properties": {
"claimed_execution": {
"enum": [
"ASSERTED",
"NOT_ASSERTED"
]
},
"provable_execution": {
"enum": [
"NOT_PROVEN",
"PARTIALLY_PROVEN"
]
},
"action_details": {
"type": "array",
"items": {
"type": "object"
}
},
"action_classification": {
"type": "array",
"items": {
"enum": [
"PERMISSION",
"APPROVAL",
"INTENT",
"REQUESTED_ACTION",
"QUEUED_ACTION",
"ATTEMPTED_ACTION",
"FAILED_ACTION",
"NONEXECUTION",
"REVERSED_ACTION",
"CLAIMED_COMPLETED_ACTION"
]
}
},
"notes": {
"type": "string"
}
}
},
"authority": {
"type": "object",
"properties": {
"payment_approval": {
"type": "string"
},
"integrity_support": {
"type": "string"
},
"external_verification": {
"const": "NOT_ESTABLISHED"
},
"permission_to_execute": {
"const": "NOT_GRANTED"
}
}
},
"diagnosis": {
"type": "object",
"additionalProperties": false,
"required": [
"state",
"claims",
"contradictions",
"missing_evidence",
"missing_evidence_details",
"claim_ceiling"
],
"properties": {
"evidence_coverage": {
"type": "array",
"items": {
"type": "object",
"required": [
"item_id",
"status",
"available_characters",
"inspected_characters",
"reasons"
],
"properties": {
"item_id": {
"type": "string"
},
"status": {
"enum": [
"INSPECTED",
"PARTIAL",
"OMITTED"
]
},
"byte_inspection": {
"enum": [
"INSPECTED",
"OMITTED"
],
"description": "Source bytes inspected; this does not establish semantic interpretation of every field."
},
"available_characters": {
"type": "integer",
"minimum": 0
},
"inspected_characters": {
"type": "integer",
"minimum": 0
},
"reasons": {
"type": "array",
"items": {
"type": "string"
}
},
"semantic_fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"ref",
"source_location",
"subject",
"context",
"field",
"value",
"semantic_status",
"reason",
"relevant_to_claim"
],
"properties": {
"ref": {
"type": "string"
},
"source_location": {
"type": "object",
"properties": {
"line": {
"type": [
"integer",
"null"
]
},
"json_pointer": {
"type": "string"
}
}
},
"subject": {
"type": "string"
},
"context": {
"type": "object",
"additionalProperties": {
"type": "string"
}
},
"field": {
"type": "string"
},
"value": {},
"semantic_status": {
"enum": [
"INTERPRETED",
"UNINTERPRETED"
]
},
"reason": {
"type": [
"string",
"null"
]
},
"relevant_to_claim": {
"type": "boolean"
}
}
}
}
}
}
},
"hold_reason": {
"type": "object"
},
"state": {
"enum": [
"HOLD",
"BLOCK",
"QUARANTINE",
"REPAIR_REQUIRED",
"CLEAR_WITH_CEILING"
]
},
"claims": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim",
"source",
"support",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim": {
"type": "string"
},
"source": {
"type": "string"
},
"support": {
"enum": [
"SUPPORTED",
"UNSUPPORTED",
"CONTRADICTED",
"UNVERIFIED"
]
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
},
"review": {
"type": "object"
}
}
}
},
"contradictions": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim_id",
"reason",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim_id": {
"type": "string"
},
"reason": {
"type": "string"
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
}
}
}
},
"missing_evidence": {
"type": "array",
"items": {
"type": "string"
}
},
"missing_evidence_details": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"scope",
"family",
"requirement"
],
"properties": {
"scope": {
"enum": [
"CLAIM",
"CASE"
]
},
"claim_id": {
"type": "string"
},
"family": {
"type": "string"
},
"requirement": {
"type": "string"
}
}
}
},
"claim_ceiling": {
"type": "string"
}
}
},
"repair": {
"anyOf": [
{
"type": "object",
"additionalProperties": false,
"required": [
"plan",
"treatment",
"proposed_output",
"status"
],
"properties": {
"status": {
"const": "PROPOSED_NOT_EXECUTED"
},
"proposed_output": {
"type": [
"string",
"null"
]
},
"treatment": {
"type": [
"object",
"null"
]
},
"plan": {
"type": "object",
"required": [
"required",
"bounded_steps",
"authority_note"
],
"properties": {
"required": {
"type": "boolean"
},
"authority_note": {
"type": "string"
},
"validated_ir": {
"type": "object"
},
"claim_corrections": {
"type": "array",
"items": {
"type": "object"
}
},
"bounded_steps": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"step",
"boundary"
],
"properties": {
"step": {
"type": "string"
},
"boundary": {
"type": "string"
}
}
}
}
}
}
}
},
{
"type": "null"
}
]
},
"verification": {
"type": "object",
"additionalProperties": false,
"required": [
"verified",
"scope",
"external_execution_verified"
],
"properties": {
"verified": {
"type": "boolean"
},
"scope": {
"type": "string"
},
"external_execution_verified": {
"const": false
}
}
},
"receipt": {
"type": "object",
"additionalProperties": false,
"required": [
"case_id",
"run_id",
"input_hash",
"result_hash",
"hash_scheme",
"provider",
"model",
"engine_version",
"created_at",
"response_hash_scheme",
"response_hash",
"payment_status",
"payment_receipt",
"settled_price_atomic_units"
],
"properties": {
"case_id": {
"type": "string",
"format": "uuid"
},
"provider": {
"type": "string"
},
"model": {
"type": "string"
},
"engine_version": {
"type": "string"
},
"created_at": {
"type": "string",
"format": "date-time"
},
"hash_scheme": {
"enum": [
"SHA256_CANONICAL_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V1",
"SHA256_SORTED_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V2"
]
},
"response_hash_scheme": {
"enum": [
"SHA256_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V1",
"SHA256_SORTED_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V2"
]
},
"run_id": {
"type": "string",
"format": "uuid"
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"result_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"response_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"payment_status": {
"enum": [
"PILOT_KEY_NO_PAYMENT",
"AUTHORIZED_PENDING_GATEWAY_SETTLEMENT"
]
},
"payment_receipt": {
"type": "null",
"description": "Immutable origin receipt; separate gateway PAYMENT-RESPONSE is retained by the buyer."
},
"settled_price_atomic_units": {
"type": "null",
"description": "Origin has no confirmed gateway settlement amount. Financial confirmation is recorded separately; the original response remains immutable and settlement is never inferred."
}
}
},
"next_safe_action": {
"type": "object",
"additionalProperties": false,
"required": [
"action",
"reason"
],
"properties": {
"action": {
"type": "string"
},
"reason": {
"type": "string"
}
}
}
},
"required": [
"schema",
"operation",
"request_id",
"input_hash",
"diagnosis",
"repair",
"verification",
"billing",
"receipt",
"next_safe_action"
],
"additionalProperties": false
}⚪fahce_verify_repaired_output(request, idempotency_key)
Recheck a repaired candidate against independent evidence and return a deterministic, scoped verification receipt. This operation stores an immutable receipt and meters one logical determination; it does not execute an external repair.
入力スキーマ
{
"type": "object",
"properties": {
"request": {
"type": "object",
"additionalProperties": false,
"required": [
"schema",
"candidate_output",
"evidence"
],
"description": "The entire UTF-8 encoded JSON body must fit within 524288 bytes (512 KiB), including all fields, labels, escaping and JSON overhead. Per-field maxima are independent ceilings; they cannot all be used at once. MCP includes its JSON-RPC wrapper in the same body ceiling. Character limits are UTF-16 code units.",
"x-fahce-request-bytes": 524288,
"properties": {
"schema": {
"const": "FAHCE_MACHINE_REQUEST_V1"
},
"candidate_output": {
"type": "string",
"minLength": 1,
"maxLength": 200000,
"description": "The exact candidate output to diagnose or verify. Never use payment evidence as semantic evidence."
},
"expected_output": {
"type": "string",
"maxLength": 200000,
"description": "Optional response-contract and repair-target context for all operations, including Diagnose. Supported response-format directives (for example, Return JSON) and implemented explicit constraints can affect the diagnosis. Ordinary matching or mismatching factual text is not compared for string equality and is not a trusted answer oracle or supporting evidence; supply independent evidence for factual claims."
},
"evidence": {
"type": "array",
"maxItems": 12,
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"kind",
"source_label",
"text"
],
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z0-9_-]{1,64}$"
},
"kind": {
"enum": [
"log",
"paste",
"document",
"description"
]
},
"source_label": {
"type": "string",
"maxLength": 160
},
"text": {
"type": "string",
"maxLength": 200000
},
"claim_bearing": {
"type": "boolean"
}
}
}
}
}
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 128,
"pattern": "^[A-Za-z0-9_-]{8,128}$"
}
},
"required": [
"request"
],
"additionalProperties": false
}出力スキーマ
{
"type": "object",
"properties": {
"schema": {
"const": "FAHCE_MACHINE_RESPONSE_V1"
},
"billing": {
"type": "object",
"required": [
"billable",
"free_retry",
"reason",
"determination_status"
],
"properties": {
"determination_status": {
"enum": [
"DETERMINATION_COMPLETE",
"DETERMINATION_COMPLETE_NEGATIVE",
"DETERMINATION_NOT_PRODUCED"
]
},
"billable": {
"type": "boolean"
},
"free_retry": {
"type": "boolean"
},
"reason": {
"type": [
"string",
"null"
]
}
}
},
"operation": {
"enum": [
"diagnose",
"repair",
"verify",
"repair-bundle"
]
},
"request_id": {
"type": "string",
"format": "uuid",
"description": "Determination UUID, identical to receipt.case_id and receipt.run_id. Use this UUID as receipt_id in GET /api/v1/receipts/{receipt_id}. Error-envelope request_id is a separate HTTP trace; use its receipt_id when present."
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"binding": {
"type": "object",
"required": [
"actor_id",
"tenant_id",
"nonce",
"idempotency_key"
],
"properties": {
"operation_scope": {
"type": "string",
"enum": [
"machine:diagnose",
"machine:repair",
"machine:verify",
"machine:repair-bundle"
]
},
"actor_id": {
"type": "string"
},
"tenant_model": {
"enum": [
"PILOT_USER_ISOLATION",
"PAYMENT_CONTEXT_ISOLATION"
],
"description": "Cloudflare wallet-only purchases use PAYMENT_CONTEXT_ISOLATION: one authorization-bound principal, no human account privileges. Legacy key calls use PILOT_USER_ISOLATION."
},
"tenant_id": {
"type": "string"
},
"credential_id": {
"type": [
"string",
"null"
],
"description": "Null for wallet-only Cloudflare machine purchases. A credential exists only for legacy key-backed calls; it is never a prerequisite for an ordinary paid buyer."
},
"nonce": {
"type": "string"
},
"idempotency_key": {
"type": "string"
},
"payment_context_hash": {
"type": [
"string",
"null"
]
}
}
},
"evidence_provenance": {
"type": "array",
"items": {
"type": "object",
"required": [
"id",
"item_id",
"sha256",
"source_label",
"trust"
],
"properties": {
"id": {
"type": "string"
},
"item_id": {
"type": "string"
},
"sha256": {
"type": "string"
},
"source_label": {
"type": "string"
},
"trust": {
"const": "CALLER_SUPPLIED_NOT_AUTHENTICATED_SOURCE"
}
}
}
},
"execution_state": {
"type": "object",
"properties": {
"claimed_execution": {
"enum": [
"ASSERTED",
"NOT_ASSERTED"
]
},
"provable_execution": {
"enum": [
"NOT_PROVEN",
"PARTIALLY_PROVEN"
]
},
"action_details": {
"type": "array",
"items": {
"type": "object"
}
},
"action_classification": {
"type": "array",
"items": {
"enum": [
"PERMISSION",
"APPROVAL",
"INTENT",
"REQUESTED_ACTION",
"QUEUED_ACTION",
"ATTEMPTED_ACTION",
"FAILED_ACTION",
"NONEXECUTION",
"REVERSED_ACTION",
"CLAIMED_COMPLETED_ACTION"
]
}
},
"notes": {
"type": "string"
}
}
},
"authority": {
"type": "object",
"properties": {
"payment_approval": {
"type": "string"
},
"integrity_support": {
"type": "string"
},
"external_verification": {
"const": "NOT_ESTABLISHED"
},
"permission_to_execute": {
"const": "NOT_GRANTED"
}
}
},
"diagnosis": {
"type": "object",
"additionalProperties": false,
"required": [
"state",
"claims",
"contradictions",
"missing_evidence",
"missing_evidence_details",
"claim_ceiling"
],
"properties": {
"evidence_coverage": {
"type": "array",
"items": {
"type": "object",
"required": [
"item_id",
"status",
"available_characters",
"inspected_characters",
"reasons"
],
"properties": {
"item_id": {
"type": "string"
},
"status": {
"enum": [
"INSPECTED",
"PARTIAL",
"OMITTED"
]
},
"byte_inspection": {
"enum": [
"INSPECTED",
"OMITTED"
],
"description": "Source bytes inspected; this does not establish semantic interpretation of every field."
},
"available_characters": {
"type": "integer",
"minimum": 0
},
"inspected_characters": {
"type": "integer",
"minimum": 0
},
"reasons": {
"type": "array",
"items": {
"type": "string"
}
},
"semantic_fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"ref",
"source_location",
"subject",
"context",
"field",
"value",
"semantic_status",
"reason",
"relevant_to_claim"
],
"properties": {
"ref": {
"type": "string"
},
"source_location": {
"type": "object",
"properties": {
"line": {
"type": [
"integer",
"null"
]
},
"json_pointer": {
"type": "string"
}
}
},
"subject": {
"type": "string"
},
"context": {
"type": "object",
"additionalProperties": {
"type": "string"
}
},
"field": {
"type": "string"
},
"value": {},
"semantic_status": {
"enum": [
"INTERPRETED",
"UNINTERPRETED"
]
},
"reason": {
"type": [
"string",
"null"
]
},
"relevant_to_claim": {
"type": "boolean"
}
}
}
}
}
}
},
"hold_reason": {
"type": "object"
},
"state": {
"enum": [
"HOLD",
"BLOCK",
"QUARANTINE",
"REPAIR_REQUIRED",
"CLEAR_WITH_CEILING"
]
},
"claims": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim",
"source",
"support",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim": {
"type": "string"
},
"source": {
"type": "string"
},
"support": {
"enum": [
"SUPPORTED",
"UNSUPPORTED",
"CONTRADICTED",
"UNVERIFIED"
]
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
},
"review": {
"type": "object"
}
}
}
},
"contradictions": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim_id",
"reason",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim_id": {
"type": "string"
},
"reason": {
"type": "string"
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
}
}
}
},
"missing_evidence": {
"type": "array",
"items": {
"type": "string"
}
},
"missing_evidence_details": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"scope",
"family",
"requirement"
],
"properties": {
"scope": {
"enum": [
"CLAIM",
"CASE"
]
},
"claim_id": {
"type": "string"
},
"family": {
"type": "string"
},
"requirement": {
"type": "string"
}
}
}
},
"claim_ceiling": {
"type": "string"
}
}
},
"repair": {
"anyOf": [
{
"type": "object",
"additionalProperties": false,
"required": [
"plan",
"treatment",
"proposed_output",
"status"
],
"properties": {
"status": {
"const": "PROPOSED_NOT_EXECUTED"
},
"proposed_output": {
"type": [
"string",
"null"
]
},
"treatment": {
"type": [
"object",
"null"
]
},
"plan": {
"type": "object",
"required": [
"required",
"bounded_steps",
"authority_note"
],
"properties": {
"required": {
"type": "boolean"
},
"authority_note": {
"type": "string"
},
"validated_ir": {
"type": "object"
},
"claim_corrections": {
"type": "array",
"items": {
"type": "object"
}
},
"bounded_steps": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"step",
"boundary"
],
"properties": {
"step": {
"type": "string"
},
"boundary": {
"type": "string"
}
}
}
}
}
}
}
},
{
"type": "null"
}
]
},
"verification": {
"type": "object",
"additionalProperties": false,
"required": [
"verified",
"scope",
"external_execution_verified"
],
"properties": {
"verified": {
"type": "boolean"
},
"scope": {
"type": "string"
},
"external_execution_verified": {
"const": false
}
}
},
"receipt": {
"type": "object",
"additionalProperties": false,
"required": [
"case_id",
"run_id",
"input_hash",
"result_hash",
"hash_scheme",
"provider",
"model",
"engine_version",
"created_at",
"response_hash_scheme",
"response_hash",
"payment_status",
"payment_receipt",
"settled_price_atomic_units"
],
"properties": {
"case_id": {
"type": "string",
"format": "uuid"
},
"provider": {
"type": "string"
},
"model": {
"type": "string"
},
"engine_version": {
"type": "string"
},
"created_at": {
"type": "string",
"format": "date-time"
},
"hash_scheme": {
"enum": [
"SHA256_CANONICAL_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V1",
"SHA256_SORTED_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V2"
]
},
"response_hash_scheme": {
"enum": [
"SHA256_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V1",
"SHA256_SORTED_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V2"
]
},
"run_id": {
"type": "string",
"format": "uuid"
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"result_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"response_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"payment_status": {
"enum": [
"PILOT_KEY_NO_PAYMENT",
"AUTHORIZED_PENDING_GATEWAY_SETTLEMENT"
]
},
"payment_receipt": {
"type": "null",
"description": "Immutable origin receipt; separate gateway PAYMENT-RESPONSE is retained by the buyer."
},
"settled_price_atomic_units": {
"type": "null",
"description": "Origin has no confirmed gateway settlement amount. Financial confirmation is recorded separately; the original response remains immutable and settlement is never inferred."
}
}
},
"next_safe_action": {
"type": "object",
"additionalProperties": false,
"required": [
"action",
"reason"
],
"properties": {
"action": {
"type": "string"
},
"reason": {
"type": "string"
}
}
}
},
"required": [
"schema",
"operation",
"request_id",
"input_hash",
"diagnosis",
"repair",
"verification",
"billing",
"receipt",
"next_safe_action"
],
"additionalProperties": false
}⚪fahce_integrity_repair_bundle(request, idempotency_key)
Return diagnosis, bounded repair plan, verification state, and receipt in one machine-readable response. This operation stores an immutable receipt and meters one logical determination; it does not execute an external repair.
入力スキーマ
{
"type": "object",
"properties": {
"request": {
"type": "object",
"additionalProperties": false,
"required": [
"schema",
"candidate_output",
"evidence"
],
"description": "The entire UTF-8 encoded JSON body must fit within 524288 bytes (512 KiB), including all fields, labels, escaping and JSON overhead. Per-field maxima are independent ceilings; they cannot all be used at once. MCP includes its JSON-RPC wrapper in the same body ceiling. Character limits are UTF-16 code units.",
"x-fahce-request-bytes": 524288,
"properties": {
"schema": {
"const": "FAHCE_MACHINE_REQUEST_V1"
},
"candidate_output": {
"type": "string",
"minLength": 1,
"maxLength": 200000,
"description": "The exact candidate output to diagnose or verify. Never use payment evidence as semantic evidence."
},
"expected_output": {
"type": "string",
"maxLength": 200000,
"description": "Optional response-contract and repair-target context for all operations, including Diagnose. Supported response-format directives (for example, Return JSON) and implemented explicit constraints can affect the diagnosis. Ordinary matching or mismatching factual text is not compared for string equality and is not a trusted answer oracle or supporting evidence; supply independent evidence for factual claims."
},
"evidence": {
"type": "array",
"maxItems": 12,
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"kind",
"source_label",
"text"
],
"properties": {
"id": {
"type": "string",
"pattern": "^[A-Za-z0-9_-]{1,64}$"
},
"kind": {
"enum": [
"log",
"paste",
"document",
"description"
]
},
"source_label": {
"type": "string",
"maxLength": 160
},
"text": {
"type": "string",
"maxLength": 200000
},
"claim_bearing": {
"type": "boolean"
}
}
}
}
}
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 128,
"pattern": "^[A-Za-z0-9_-]{8,128}$"
}
},
"required": [
"request"
],
"additionalProperties": false
}出力スキーマ
{
"type": "object",
"properties": {
"schema": {
"const": "FAHCE_MACHINE_RESPONSE_V1"
},
"billing": {
"type": "object",
"required": [
"billable",
"free_retry",
"reason",
"determination_status"
],
"properties": {
"determination_status": {
"enum": [
"DETERMINATION_COMPLETE",
"DETERMINATION_COMPLETE_NEGATIVE",
"DETERMINATION_NOT_PRODUCED"
]
},
"billable": {
"type": "boolean"
},
"free_retry": {
"type": "boolean"
},
"reason": {
"type": [
"string",
"null"
]
}
}
},
"operation": {
"enum": [
"diagnose",
"repair",
"verify",
"repair-bundle"
]
},
"request_id": {
"type": "string",
"format": "uuid",
"description": "Determination UUID, identical to receipt.case_id and receipt.run_id. Use this UUID as receipt_id in GET /api/v1/receipts/{receipt_id}. Error-envelope request_id is a separate HTTP trace; use its receipt_id when present."
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"binding": {
"type": "object",
"required": [
"actor_id",
"tenant_id",
"nonce",
"idempotency_key"
],
"properties": {
"operation_scope": {
"type": "string",
"enum": [
"machine:diagnose",
"machine:repair",
"machine:verify",
"machine:repair-bundle"
]
},
"actor_id": {
"type": "string"
},
"tenant_model": {
"enum": [
"PILOT_USER_ISOLATION",
"PAYMENT_CONTEXT_ISOLATION"
],
"description": "Cloudflare wallet-only purchases use PAYMENT_CONTEXT_ISOLATION: one authorization-bound principal, no human account privileges. Legacy key calls use PILOT_USER_ISOLATION."
},
"tenant_id": {
"type": "string"
},
"credential_id": {
"type": [
"string",
"null"
],
"description": "Null for wallet-only Cloudflare machine purchases. A credential exists only for legacy key-backed calls; it is never a prerequisite for an ordinary paid buyer."
},
"nonce": {
"type": "string"
},
"idempotency_key": {
"type": "string"
},
"payment_context_hash": {
"type": [
"string",
"null"
]
}
}
},
"evidence_provenance": {
"type": "array",
"items": {
"type": "object",
"required": [
"id",
"item_id",
"sha256",
"source_label",
"trust"
],
"properties": {
"id": {
"type": "string"
},
"item_id": {
"type": "string"
},
"sha256": {
"type": "string"
},
"source_label": {
"type": "string"
},
"trust": {
"const": "CALLER_SUPPLIED_NOT_AUTHENTICATED_SOURCE"
}
}
}
},
"execution_state": {
"type": "object",
"properties": {
"claimed_execution": {
"enum": [
"ASSERTED",
"NOT_ASSERTED"
]
},
"provable_execution": {
"enum": [
"NOT_PROVEN",
"PARTIALLY_PROVEN"
]
},
"action_details": {
"type": "array",
"items": {
"type": "object"
}
},
"action_classification": {
"type": "array",
"items": {
"enum": [
"PERMISSION",
"APPROVAL",
"INTENT",
"REQUESTED_ACTION",
"QUEUED_ACTION",
"ATTEMPTED_ACTION",
"FAILED_ACTION",
"NONEXECUTION",
"REVERSED_ACTION",
"CLAIMED_COMPLETED_ACTION"
]
}
},
"notes": {
"type": "string"
}
}
},
"authority": {
"type": "object",
"properties": {
"payment_approval": {
"type": "string"
},
"integrity_support": {
"type": "string"
},
"external_verification": {
"const": "NOT_ESTABLISHED"
},
"permission_to_execute": {
"const": "NOT_GRANTED"
}
}
},
"diagnosis": {
"type": "object",
"additionalProperties": false,
"required": [
"state",
"claims",
"contradictions",
"missing_evidence",
"missing_evidence_details",
"claim_ceiling"
],
"properties": {
"evidence_coverage": {
"type": "array",
"items": {
"type": "object",
"required": [
"item_id",
"status",
"available_characters",
"inspected_characters",
"reasons"
],
"properties": {
"item_id": {
"type": "string"
},
"status": {
"enum": [
"INSPECTED",
"PARTIAL",
"OMITTED"
]
},
"byte_inspection": {
"enum": [
"INSPECTED",
"OMITTED"
],
"description": "Source bytes inspected; this does not establish semantic interpretation of every field."
},
"available_characters": {
"type": "integer",
"minimum": 0
},
"inspected_characters": {
"type": "integer",
"minimum": 0
},
"reasons": {
"type": "array",
"items": {
"type": "string"
}
},
"semantic_fields": {
"type": "array",
"items": {
"type": "object",
"required": [
"ref",
"source_location",
"subject",
"context",
"field",
"value",
"semantic_status",
"reason",
"relevant_to_claim"
],
"properties": {
"ref": {
"type": "string"
},
"source_location": {
"type": "object",
"properties": {
"line": {
"type": [
"integer",
"null"
]
},
"json_pointer": {
"type": "string"
}
}
},
"subject": {
"type": "string"
},
"context": {
"type": "object",
"additionalProperties": {
"type": "string"
}
},
"field": {
"type": "string"
},
"value": {},
"semantic_status": {
"enum": [
"INTERPRETED",
"UNINTERPRETED"
]
},
"reason": {
"type": [
"string",
"null"
]
},
"relevant_to_claim": {
"type": "boolean"
}
}
}
}
}
}
},
"hold_reason": {
"type": "object"
},
"state": {
"enum": [
"HOLD",
"BLOCK",
"QUARANTINE",
"REPAIR_REQUIRED",
"CLEAR_WITH_CEILING"
]
},
"claims": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim",
"source",
"support",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim": {
"type": "string"
},
"source": {
"type": "string"
},
"support": {
"enum": [
"SUPPORTED",
"UNSUPPORTED",
"CONTRADICTED",
"UNVERIFIED"
]
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
},
"review": {
"type": "object"
}
}
}
},
"contradictions": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"id",
"claim_id",
"reason",
"evidence_refs"
],
"properties": {
"id": {
"type": "string"
},
"claim_id": {
"type": "string"
},
"reason": {
"type": "string"
},
"evidence_refs": {
"type": "array",
"items": {
"type": "string"
}
}
}
}
},
"missing_evidence": {
"type": "array",
"items": {
"type": "string"
}
},
"missing_evidence_details": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"scope",
"family",
"requirement"
],
"properties": {
"scope": {
"enum": [
"CLAIM",
"CASE"
]
},
"claim_id": {
"type": "string"
},
"family": {
"type": "string"
},
"requirement": {
"type": "string"
}
}
}
},
"claim_ceiling": {
"type": "string"
}
}
},
"repair": {
"anyOf": [
{
"type": "object",
"additionalProperties": false,
"required": [
"plan",
"treatment",
"proposed_output",
"status"
],
"properties": {
"status": {
"const": "PROPOSED_NOT_EXECUTED"
},
"proposed_output": {
"type": [
"string",
"null"
]
},
"treatment": {
"type": [
"object",
"null"
]
},
"plan": {
"type": "object",
"required": [
"required",
"bounded_steps",
"authority_note"
],
"properties": {
"required": {
"type": "boolean"
},
"authority_note": {
"type": "string"
},
"validated_ir": {
"type": "object"
},
"claim_corrections": {
"type": "array",
"items": {
"type": "object"
}
},
"bounded_steps": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": false,
"required": [
"step",
"boundary"
],
"properties": {
"step": {
"type": "string"
},
"boundary": {
"type": "string"
}
}
}
}
}
}
}
},
{
"type": "null"
}
]
},
"verification": {
"type": "object",
"additionalProperties": false,
"required": [
"verified",
"scope",
"external_execution_verified"
],
"properties": {
"verified": {
"type": "boolean"
},
"scope": {
"type": "string"
},
"external_execution_verified": {
"const": false
}
}
},
"receipt": {
"type": "object",
"additionalProperties": false,
"required": [
"case_id",
"run_id",
"input_hash",
"result_hash",
"hash_scheme",
"provider",
"model",
"engine_version",
"created_at",
"response_hash_scheme",
"response_hash",
"payment_status",
"payment_receipt",
"settled_price_atomic_units"
],
"properties": {
"case_id": {
"type": "string",
"format": "uuid"
},
"provider": {
"type": "string"
},
"model": {
"type": "string"
},
"engine_version": {
"type": "string"
},
"created_at": {
"type": "string",
"format": "date-time"
},
"hash_scheme": {
"enum": [
"SHA256_CANONICAL_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V1",
"SHA256_SORTED_JSON_RESULT_WITH_EMPTY_RESULT_HASH_V2"
]
},
"response_hash_scheme": {
"enum": [
"SHA256_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V1",
"SHA256_SORTED_JSON_RESPONSE_WITH_EMPTY_RESPONSE_HASH_V2"
]
},
"run_id": {
"type": "string",
"format": "uuid"
},
"input_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"result_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"response_hash": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"payment_status": {
"enum": [
"PILOT_KEY_NO_PAYMENT",
"AUTHORIZED_PENDING_GATEWAY_SETTLEMENT"
]
},
"payment_receipt": {
"type": "null",
"description": "Immutable origin receipt; separate gateway PAYMENT-RESPONSE is retained by the buyer."
},
"settled_price_atomic_units": {
"type": "null",
"description": "Origin has no confirmed gateway settlement amount. Financial confirmation is recorded separately; the original response remains immutable and settlement is never inferred."
}
}
},
"next_safe_action": {
"type": "object",
"additionalProperties": false,
"required": [
"action",
"reason"
],
"properties": {
"action": {
"type": "string"
},
"reason": {
"type": "string"
}
}
}
},
"required": [
"schema",
"operation",
"request_id",
"input_hash",
"diagnosis",
"repair",
"verification",
"billing",
"receipt",
"next_safe_action"
],
"additionalProperties": false
}コミュニティ
エビデンス