FAHCE Integrity Repair

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

Sollte ich dies verwenden

Qualität und Sicherheit

A
Qualität der Beschreibung
100%
Vollständigkeit des Schemas
90%
Qualität der Benennung
80%
Risiko der Vergiftung
100%
Übereinstimmung der Berechtigungen
100%
Einhaltung des Protokolls
100%

Basierend auf einer automatisierten Analyse der Tool-Definitionen und der Einhaltung des Protokolls.

Kontextkosten

~9,095Tokens (Tool-Definitionen)
~28.6 KBTypische Antwortgröße
Erhebliche Auswirkung auf die Aufmerksamkeit (7.11% von 128k Kontext)

Dies ist die ungefähre Anzahl der Tokens, die jedes Mal verbraucht werden, wenn die Tools des Servers in den Kontext eines Modells geladen werden. Höhere Werte verringern die Aufmerksamkeit, die für andere Aufgaben verfügbar ist.

Installieren

Installation mit einem Klick

Fügen Sie dies Ihrer Datei `claude_desktop_config.json` hinzu:

{
  "mcpServers": {
    "fahce-integrity-repair": {
      "url": "https://fahce.kinganlogic.com/mcp"
    }
  }
}

Remote-Endpunkte

https://fahce.kinganlogic.com/mcpstreamable-http

Was es kann

Tool-Inventar

Tools (4)

🟢 Nur lesen🟡 Schreiben🔴 Löschen⚪ Unbekannt
⚪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.

Eingabe-Schema

{
  "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
}

Ausgabe-Schema

{
  "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.

Eingabe-Schema

{
  "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
}

Ausgabe-Schema

{
  "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.

Eingabe-Schema

{
  "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
}

Ausgabe-Schema

{
  "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.

Eingabe-Schema

{
  "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
}

Ausgabe-Schema

{
  "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
}

Community

Diesen Server bewerten

Nachweis

Aktuelle Beobachtungen

verifiziertVersion nicht aufgezeichnet4 Tools