{
  "id": "citation-coverage-audit",
  "name": "Citation Coverage Audit",
  "description": "Audit an explicit claim-to-evidence-to-source map for missing required citations, orphan references, duplicate links and unused evidence. Coverage counts valid structural links only; caller declares which claims need citations. No claim extraction, truth scoring or semantic entailment assessment.",
  "category": "workflow-assurance",
  "priceUsd": "0.01",
  "pricingStatus": "proposed-unverified",
  "pricing": {
    "unit": "one successful operation call",
    "proposedNominalUsd": "0.01",
    "sixDecimalTokenBaseUnits": "10000",
    "subscription": false,
    "includesPayerWalletOrNetworkFees": false,
    "liveQuoteVerified": false,
    "condition": "Actual SDK challenge is authoritative only within the caller's explicit authorization; configured six-decimal token peg is an operator assertion, not a conversion guarantee."
  },
  "intents": [
    "Audit citation coverage of an agent report with explicit claim IDs",
    "Find orphan evidence references and unsupported-by-links required claims"
  ],
  "whenToUse": [
    "Audit citation coverage of an agent report with explicit claim IDs",
    "Find orphan evidence references and unsupported-by-links required claims"
  ],
  "whenNotToUse": [
    "Deciding whether evidence proves a claim",
    "Automatically extracting every factual claim from prose"
  ],
  "capabilities": [
    "Claim-level evidence/source edges and uncited IDs",
    "Zero required claims yields null coverage rather than a fabricated score"
  ],
  "related": [
    "evidence-quote-check",
    "context-budget-pack"
  ],
  "limits": {
    "inputBytes": 100000,
    "outputBytes": 400000,
    "jsonNodes": 8000,
    "depth": 20,
    "findings": 200,
    "quoteSearchCharacters": 4000000,
    "quoteOccurrenceEvaluations": 200000,
    "sources": 100,
    "claims": 200,
    "evidence": 200,
    "citations": 500
  },
  "errorCodes": [
    "INPUT_LIMIT",
    "OUTPUT_LIMIT",
    "COMPLEXITY_LIMIT",
    "UNSAFE_KEY",
    "DUPLICATE_ID",
    "EDGE_LIMIT",
    "EVALUATION_LIMIT",
    "INVALID_UNICODE",
    "INVALID_RETRY_AFTER",
    "INVALID_RETRY_INPUT"
  ],
  "requirementsProfile": {
    "format": "declared-requirements-v1",
    "facts": {
      "execution.suppliedCode": false,
      "execution.remoteMutation": false,
      "execution.llmInference": false,
      "execution.paidMcp": false,
      "verification.semanticTruth": false,
      "verification.sourceAuthenticity": false,
      "verification.liveVulnerabilities": false,
      "numbers.arbitraryPrecisionJson": false,
      "numbers.model": "ieee754-binary64",
      "privacy.requestBodyPersisted": false,
      "execution.deterministic": true,
      "execution.networkAccess": false,
      "privacy.resultBodyPersisted": false,
      "payment.x402": true,
      "payment.mpp": true,
      "operation.id": "citation-coverage-audit",
      "operation.category": "workflow-assurance",
      "limit.httpRequestBytes": 131072,
      "limit.requestBytes": 100000,
      "limit.responseBytes": 524288,
      "limit.resultBytes": 400000,
      "limit.jsonDepth": 20,
      "limit.jsonNodes": 8000,
      "input.sourceIds.maxItems": 100,
      "input.claims.maxItems": 200,
      "input.evidence.maxItems": 200,
      "input.citations.maxItems": 500
    },
    "unknownPolicy": "Undeclared requirements are unknown, never compatible. Matching declared facts does not establish semantic fit or input validity.",
    "preflight": "/preflight"
  },
  "documentation": "/reference/tools/citation-coverage-audit.md",
  "serviceContract": "/reference/services/citation-coverage-audit.json",
  "errors": [
    {
      "status": 400,
      "meaning": "Malformed JSON, missing/invalid idempotency key, or payment identifier mismatch",
      "retry": "Correct the request before payment"
    },
    {
      "status": 402,
      "meaning": "Payment challenge or rejected payment",
      "retry": "Use official protocol SDK; inspect payment outcome before another payment"
    },
    {
      "status": 409,
      "meaning": "Idempotency conflict, duplicate proof, or PAYMENT_UNCERTAIN",
      "retry": "Keep original key, body, and proof; reconcile uncertainty with operator; never blindly repay"
    },
    {
      "status": 413,
      "meaning": "Input or generated output too large",
      "retry": "Reduce input; no payment attempted for validation failure"
    },
    {
      "status": 415,
      "meaning": "Unsupported media type or compression",
      "retry": "Send uncompressed application/json"
    },
    {
      "status": 422,
      "meaning": "Schema or service-specific semantic validation failure",
      "retry": "Correct input using returned error code; no payment attempted"
    },
    {
      "status": 429,
      "meaning": "Request/payment-attempt rate exceeded",
      "retry": "Wait for rate limit window; preserve existing payment identity"
    },
    {
      "status": 503,
      "meaning": "Payment configuration/provider/state unavailable, or live DNS preparation failed before settlement",
      "retry": "Check readiness; DNS preparation failures may retry the identical key/body/credential only; uncertainty requires reconciliation"
    }
  ],
  "numericPrecision": "JavaScript IEEE-754 numbers; use strings for large integer IDs/exact decimals where the schema accepts strings. No lossless numeric parsing.",
  "paymentWorkflow": {
    "discoveryOnly": false,
    "supportedProtocols": [
      "x402",
      "mpp"
    ],
    "x402": {
      "credentialHeader": "PAYMENT-SIGNATURE",
      "challengeHeader": "PAYMENT-REQUIRED",
      "receiptHeader": "PAYMENT-RESPONSE",
      "version": 2,
      "scheme": "exact",
      "paymentIdentifier": "payment-identifier extension MUST equal the HTTP Idempotency-Key",
      "sdk": "@x402/core with @x402/evm"
    },
    "mpp": {
      "supported": true,
      "credentialHeader": "Authorization",
      "challengeHeader": "WWW-Authenticate",
      "receiptHeader": "Payment-Receipt",
      "method": "tempo",
      "intent": "charge",
      "sdk": "mppx",
      "tokenDecimals": 6
    },
    "steps": [
      "Check configured readiness and the exact service schema",
      "Generate a fresh random Idempotency-Key for this operation; never use a discovery probe fixture for purchases",
      "Send valid input without a credential to obtain the official protocol challenge",
      "Use the official SDK and authorized wallet to fulfill the challenge",
      "Retry only with identical key, body, protocol and credential",
      "On PAYMENT_UNCERTAIN stop and request operator reconciliation; never blindly pay again"
    ],
    "versionedRetries": "Request fingerprint includes service release version. Retries across a version upgrade can conflict; coordinate upgrades outside the 24-hour replay window and reconcile pending attempts.",
    "docs": "/llms.txt"
  },
  "method": "POST",
  "paths": {
    "x402": "/v1/x402/citation-coverage-audit",
    "mpp": "/v1/mpp/citation-coverage-audit"
  },
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "sourceIds": {
        "maxItems": 100,
        "type": "array",
        "items": {
          "type": "string",
          "minLength": 1,
          "maxLength": 80
        }
      },
      "claims": {
        "maxItems": 200,
        "type": "array",
        "items": {
          "type": "object",
          "properties": {
            "id": {
              "type": "string",
              "minLength": 1,
              "maxLength": 80
            },
            "requiresCitation": {
              "default": true,
              "type": "boolean"
            }
          },
          "required": [
            "id"
          ],
          "additionalProperties": false
        }
      },
      "evidence": {
        "maxItems": 200,
        "type": "array",
        "items": {
          "type": "object",
          "properties": {
            "id": {
              "type": "string",
              "minLength": 1,
              "maxLength": 80
            },
            "sourceId": {
              "type": "string",
              "minLength": 1,
              "maxLength": 80
            }
          },
          "required": [
            "id",
            "sourceId"
          ],
          "additionalProperties": false
        }
      },
      "citations": {
        "maxItems": 500,
        "type": "array",
        "items": {
          "type": "object",
          "properties": {
            "claimId": {
              "type": "string",
              "minLength": 1,
              "maxLength": 80
            },
            "evidenceId": {
              "type": "string",
              "minLength": 1,
              "maxLength": 80
            }
          },
          "required": [
            "claimId",
            "evidenceId"
          ],
          "additionalProperties": false
        }
      }
    },
    "required": [
      "sourceIds",
      "claims",
      "evidence",
      "citations"
    ],
    "additionalProperties": false
  },
  "outputSchema": {
    "type": "object",
    "required": [
      "operation",
      "version",
      "result",
      "provenance"
    ],
    "properties": {
      "operation": {
        "const": "citation-coverage-audit",
        "type": "string"
      },
      "version": {
        "const": "0.29.0",
        "type": "string"
      },
      "result": {
        "$schema": "https://json-schema.org/draft/2020-12/schema",
        "type": "object",
        "properties": {
          "profile": {
            "type": "string",
            "const": "citation-coverage-v1"
          },
          "passesChecks": {
            "type": "boolean"
          },
          "verifiesTruth": {
            "type": "boolean",
            "const": false
          },
          "requiredClaimCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "coveredRequiredClaimCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "coverageRatio": {
            "anyOf": [
              {
                "type": "number",
                "minimum": 0,
                "maximum": 1
              },
              {
                "type": "null"
              }
            ]
          },
          "uncitedClaimIds": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "unusedEvidenceIds": {
            "type": "array",
            "items": {
              "type": "string"
            }
          },
          "claimCoverage": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "claimId": {
                  "type": "string"
                },
                "requiresCitation": {
                  "type": "boolean"
                },
                "evidenceIds": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                },
                "sourceIds": {
                  "type": "array",
                  "items": {
                    "type": "string"
                  }
                }
              },
              "required": [
                "claimId",
                "requiresCitation",
                "evidenceIds",
                "sourceIds"
              ],
              "additionalProperties": false
            }
          },
          "findings": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "code": {
                  "type": "string"
                },
                "severity": {
                  "type": "string",
                  "enum": [
                    "error",
                    "warning"
                  ]
                },
                "path": {
                  "type": "string"
                },
                "message": {
                  "type": "string"
                }
              },
              "required": [
                "code",
                "severity",
                "path",
                "message"
              ],
              "additionalProperties": false
            }
          },
          "findingCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "errorCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "truncated": {
            "type": "boolean"
          }
        },
        "required": [
          "profile",
          "passesChecks",
          "verifiesTruth",
          "requiredClaimCount",
          "coveredRequiredClaimCount",
          "coverageRatio",
          "uncitedClaimIds",
          "unusedEvidenceIds",
          "claimCoverage",
          "findings",
          "findingCount",
          "errorCount",
          "truncated"
        ],
        "additionalProperties": false
      },
      "provenance": {
        "type": "object",
        "required": [
          "inputSha256",
          "outputSha256",
          "deterministic",
          "externalRequests"
        ],
        "properties": {
          "inputSha256": {
            "type": "string",
            "pattern": "^[a-f0-9]{64}$"
          },
          "outputSha256": {
            "type": "string",
            "pattern": "^[a-f0-9]{64}$"
          },
          "deterministic": {
            "const": true
          },
          "externalRequests": {
            "const": 0
          }
        }
      }
    },
    "additionalProperties": false
  },
  "exampleInput": {
    "sourceIds": [
      "memo"
    ],
    "claims": [
      {
        "id": "approval-rule"
      },
      {
        "id": "launch-date"
      }
    ],
    "evidence": [
      {
        "id": "quote-1",
        "sourceId": "memo"
      }
    ],
    "citations": [
      {
        "claimId": "approval-rule",
        "evidenceId": "quote-1"
      }
    ]
  },
  "exampleResponse": {
    "operation": "citation-coverage-audit",
    "version": "0.29.0",
    "result": {
      "profile": "citation-coverage-v1",
      "passesChecks": false,
      "verifiesTruth": false,
      "requiredClaimCount": 2,
      "coveredRequiredClaimCount": 1,
      "coverageRatio": 0.5,
      "uncitedClaimIds": [
        "launch-date"
      ],
      "unusedEvidenceIds": [],
      "claimCoverage": [
        {
          "claimId": "approval-rule",
          "requiresCitation": true,
          "evidenceIds": [
            "quote-1"
          ],
          "sourceIds": [
            "memo"
          ]
        },
        {
          "claimId": "launch-date",
          "requiresCitation": true,
          "evidenceIds": [],
          "sourceIds": []
        }
      ],
      "findings": [
        {
          "code": "UNCITED_REQUIRED_CLAIM",
          "severity": "error",
          "path": "/claims",
          "message": "Claim launch-date has no valid evidence-to-source link"
        }
      ],
      "findingCount": 1,
      "errorCount": 1,
      "truncated": false
    },
    "provenance": {
      "inputSha256": "4f74ca06a726ee2f32a640ff4e79e8fb59ef6c5938e3969ca51faf7d42c4b282",
      "outputSha256": "3c4d1e1e27ebfe0574ab37e53045fd333d94c31fcbf9f6a3469556cc1fc3f744",
      "deterministic": true,
      "externalRequests": 0
    }
  },
  "requiredHeaders": {
    "Content-Type": "application/json",
    "Idempotency-Key": "random 16–128 character operation identifier"
  },
  "fixedExample": "/reference/examples/citation-coverage-audit.json",
  "execution": {
    "deterministic": true,
    "externalRequests": 0,
    "maxExternalRequests": 0,
    "resultSnapshotPersisted": false,
    "fixedExampleIsIllustrativeSnapshot": false,
    "requiresPayment": true,
    "supportsMcpExecution": false
  },
  "releaseSnapshot": {
    "format": "static-release-reference-v1",
    "sourceVersion": "0.29.0",
    "sourceRegistrySha256": "a2b5ec09bf6c38b9d2879d746a4fded374f5928b445377b0270ef6aa8e6cac65",
    "generatedAt": "2026-10-06T15:38:00Z",
    "releaseAcceptance": "not-verified-by-generator",
    "runtimeReadiness": "not-evaluated",
    "livePaymentsVerified": false,
    "indexingVerified": false,
    "apiOrigin": null,
    "notice": "Build-time release reference. Runtime readiness, deployment, payment settlement and external indexing are not evaluated here. Prices are proposed; this file cannot authorize execution or payment."
  }
}
