FAHCE Integrity Repair

Free FAHCE contract discovery. Paid evidence determinations use wallet-only x402 REST endpoints.

使うべきか

品質と安全性

A
説明の品質
100%
スキーマの完全性
90%
命名の品質
80%
ポイズニングのリスク
100%
権限の一致
100%
プロトコルへの準拠
100%

ツール定義とプロトコルへの準拠に関する自動分析に基づいています。

コンテキストコスト

~9,095トークン数(ツール定義)
~28.6 KB一般的なレスポンスサイズ
注意への影響は大きい(128k コンテキストの 7.11%)

これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。

インストール

ワンクリックインストール

これを `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
}

コミュニティ

このサーバーを評価する

エビデンス

最近の観測

検証済みバージョンは記録されていませんツール 4 件