{
  "id": "record-constraints",
  "name": "Declarative record constraints",
  "description": "Evaluate up to 40 bounded rules across 500 supplied records: presence, JSON type, inclusive numeric bounds, string/array length, typed allowed values and composite uniqueness. Returns per-rule counts and row-addressed violations. No expressions, regex or automatic repair.",
  "category": "data-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": [
    "validate dataset quality rules and composite uniqueness",
    "find records violating required fields ranges enums lengths",
    "return machine-readable row violations for data quality gates"
  ],
  "whenToUse": [
    "validate dataset quality rules and composite uniqueness",
    "find records violating required fields ranges enums lengths",
    "return machine-readable row violations for data quality gates"
  ],
  "whenNotToUse": [
    "Arbitrary JSON Schema conformance",
    "Evaluate code SQL regex or repair data automatically"
  ],
  "capabilities": [
    "declarative data quality rules",
    "composite unique keys",
    "row-level violation evidence",
    "complete counts with bounded findings"
  ],
  "related": [
    "record-profile",
    "record-relations",
    "json-schema-check"
  ],
  "limits": {
    "inputBytes": 100000,
    "outputBytes": 400000,
    "jsonNodes": 12000,
    "depth": 20,
    "evidence": 200,
    "keyWorkBytes": 3000000,
    "matchingSteps": 2000000,
    "records": 500,
    "rules": 40,
    "compositeFields": 5
  },
  "errorCodes": [
    "INPUT_LIMIT",
    "OUTPUT_LIMIT",
    "COMPLEXITY_LIMIT",
    "UNSAFE_KEY",
    "INVALID_NUMBER",
    "INVALID_POINTER",
    "DUPLICATE_ID",
    "DUPLICATE_FIELD",
    "INVALID_RULE",
    "KEY_WORK_LIMIT",
    "LABEL_LIMIT",
    "UNJUDGED_DOCUMENT",
    "INVALID_SPAN",
    "DUPLICATE_SPAN",
    "INVALID_UNICODE",
    "MATCHING_LIMIT",
    "INVALID_CADENCE",
    "INVALID_INTERVAL",
    "NUMERIC_OVERFLOW"
  ],
  "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": "record-constraints",
      "operation.category": "data-assurance",
      "limit.httpRequestBytes": 131072,
      "limit.requestBytes": 100000,
      "limit.responseBytes": 524288,
      "limit.resultBytes": 400000,
      "limit.jsonDepth": 20,
      "limit.jsonNodes": 12000,
      "input.records.maxItems": 500,
      "input.rules.maxItems": 40,
      "input.rules.minItems": 1
    },
    "unknownPolicy": "Undeclared requirements are unknown, never compatible. Matching declared facts does not establish semantic fit or input validity.",
    "preflight": "/preflight"
  },
  "documentation": "/reference/tools/record-constraints.md",
  "serviceContract": "/reference/services/record-constraints.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/record-constraints",
    "mpp": "/v1/mpp/record-constraints"
  },
  "inputSchema": {
    "$schema": "https://json-schema.org/draft/2020-12/schema",
    "type": "object",
    "properties": {
      "records": {
        "maxItems": 500,
        "type": "array",
        "items": {
          "type": "object",
          "propertyNames": {
            "type": "string"
          },
          "additionalProperties": {
            "$ref": "#/$defs/__schema0"
          }
        }
      },
      "rules": {
        "minItems": 1,
        "maxItems": 40,
        "type": "array",
        "items": {
          "oneOf": [
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "present"
                },
                "path": {
                  "type": "string",
                  "maxLength": 512,
                  "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                },
                "allowNull": {
                  "default": false,
                  "type": "boolean"
                }
              },
              "required": [
                "id",
                "kind",
                "path"
              ],
              "additionalProperties": false
            },
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "type"
                },
                "path": {
                  "type": "string",
                  "maxLength": 512,
                  "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                },
                "type": {
                  "type": "string",
                  "enum": [
                    "string",
                    "number",
                    "integer",
                    "boolean",
                    "null",
                    "array",
                    "object"
                  ]
                }
              },
              "required": [
                "id",
                "kind",
                "path",
                "type"
              ],
              "additionalProperties": false
            },
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "number-range"
                },
                "path": {
                  "type": "string",
                  "maxLength": 512,
                  "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                },
                "min": {
                  "type": "number"
                },
                "max": {
                  "type": "number"
                }
              },
              "required": [
                "id",
                "kind",
                "path"
              ],
              "additionalProperties": false
            },
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "length"
                },
                "path": {
                  "type": "string",
                  "maxLength": 512,
                  "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                },
                "min": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                },
                "max": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                }
              },
              "required": [
                "id",
                "kind",
                "path"
              ],
              "additionalProperties": false
            },
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "one-of"
                },
                "path": {
                  "type": "string",
                  "maxLength": 512,
                  "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                },
                "values": {
                  "minItems": 1,
                  "maxItems": 50,
                  "type": "array",
                  "items": {
                    "type": [
                      "string",
                      "number",
                      "boolean",
                      "null"
                    ]
                  }
                }
              },
              "required": [
                "id",
                "kind",
                "path",
                "values"
              ],
              "additionalProperties": false
            },
            {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string",
                  "minLength": 1,
                  "maxLength": 80
                },
                "kind": {
                  "type": "string",
                  "const": "unique"
                },
                "paths": {
                  "minItems": 1,
                  "maxItems": 5,
                  "type": "array",
                  "items": {
                    "type": "string",
                    "maxLength": 512,
                    "description": "RFC 6901 JSON string pointer; empty string selects the row root. URI fragments and unsafe property names are rejected."
                  }
                },
                "missing": {
                  "default": "reject",
                  "type": "string",
                  "enum": [
                    "reject",
                    "ignore"
                  ]
                },
                "nulls": {
                  "default": "value",
                  "type": "string",
                  "enum": [
                    "value",
                    "ignore"
                  ]
                }
              },
              "required": [
                "id",
                "kind",
                "paths"
              ],
              "additionalProperties": false
            }
          ]
        }
      }
    },
    "required": [
      "records",
      "rules"
    ],
    "additionalProperties": false,
    "$defs": {
      "__schema0": {
        "anyOf": [
          {
            "type": "string"
          },
          {
            "type": "number"
          },
          {
            "type": "boolean"
          },
          {
            "type": "null"
          },
          {
            "type": "array",
            "items": {
              "$ref": "#/$defs/__schema0"
            }
          },
          {
            "type": "object",
            "propertyNames": {
              "type": "string"
            },
            "additionalProperties": {
              "$ref": "#/$defs/__schema0"
            }
          }
        ]
      }
    }
  },
  "outputSchema": {
    "type": "object",
    "required": [
      "operation",
      "version",
      "result",
      "provenance"
    ],
    "properties": {
      "operation": {
        "const": "record-constraints",
        "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": "record-constraints-v1"
          },
          "passes": {
            "type": "boolean"
          },
          "rowCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "violationCount": {
            "type": "integer",
            "minimum": 0,
            "maximum": 9007199254740991
          },
          "rules": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "id": {
                  "type": "string"
                },
                "evaluatedCount": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                },
                "ignoredCount": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                },
                "violationCount": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                }
              },
              "required": [
                "id",
                "evaluatedCount",
                "ignoredCount",
                "violationCount"
              ],
              "additionalProperties": false
            }
          },
          "violations": {
            "type": "array",
            "items": {
              "type": "object",
              "properties": {
                "code": {
                  "type": "string"
                },
                "rowIndex": {
                  "type": "integer",
                  "minimum": 0,
                  "maximum": 9007199254740991
                },
                "path": {
                  "type": "string"
                },
                "message": {
                  "type": "string"
                },
                "ruleId": {
                  "type": "string"
                },
                "relatedRowIndex": {
                  "anyOf": [
                    {
                      "type": "integer",
                      "minimum": 0,
                      "maximum": 9007199254740991
                    },
                    {
                      "type": "null"
                    }
                  ]
                }
              },
              "required": [
                "code",
                "rowIndex",
                "path",
                "message",
                "ruleId",
                "relatedRowIndex"
              ],
              "additionalProperties": false
            }
          },
          "truncated": {
            "type": "boolean"
          },
          "caveats": {
            "type": "array",
            "items": {
              "type": "string"
            }
          }
        },
        "required": [
          "profile",
          "passes",
          "rowCount",
          "violationCount",
          "rules",
          "violations",
          "truncated",
          "caveats"
        ],
        "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": {
    "records": [
      {
        "id": "a",
        "score": 0.8
      },
      {
        "id": "a",
        "score": 1.2
      },
      {
        "score": null
      }
    ],
    "rules": [
      {
        "id": "id-required",
        "kind": "present",
        "path": "/id"
      },
      {
        "id": "score-range",
        "kind": "number-range",
        "path": "/score",
        "min": 0,
        "max": 1
      },
      {
        "id": "id-unique",
        "kind": "unique",
        "paths": [
          "/id"
        ]
      }
    ]
  },
  "exampleResponse": {
    "operation": "record-constraints",
    "version": "0.29.0",
    "result": {
      "profile": "record-constraints-v1",
      "passes": false,
      "rowCount": 3,
      "violationCount": 5,
      "rules": [
        {
          "id": "id-required",
          "evaluatedCount": 3,
          "ignoredCount": 0,
          "violationCount": 1
        },
        {
          "id": "score-range",
          "evaluatedCount": 3,
          "ignoredCount": 0,
          "violationCount": 2
        },
        {
          "id": "id-unique",
          "evaluatedCount": 3,
          "ignoredCount": 0,
          "violationCount": 2
        }
      ],
      "violations": [
        {
          "code": "MISSING_VALUE",
          "rowIndex": 2,
          "path": "/id",
          "message": "Field is absent",
          "ruleId": "id-required",
          "relatedRowIndex": null
        },
        {
          "code": "OUT_OF_RANGE",
          "rowIndex": 1,
          "path": "/score",
          "message": "Number is outside inclusive bounds",
          "ruleId": "score-range",
          "relatedRowIndex": null
        },
        {
          "code": "TYPE_MISMATCH",
          "rowIndex": 2,
          "path": "/score",
          "message": "Expected number; observed null",
          "ruleId": "score-range",
          "relatedRowIndex": null
        },
        {
          "code": "DUPLICATE_VALUE",
          "rowIndex": 1,
          "path": "",
          "message": "Composite key duplicates an earlier row",
          "ruleId": "id-unique",
          "relatedRowIndex": 0
        },
        {
          "code": "MISSING_VALUE",
          "rowIndex": 2,
          "path": "",
          "message": "A unique-key field is absent",
          "ruleId": "id-unique",
          "relatedRowIndex": null
        }
      ],
      "truncated": false,
      "caveats": [
        "All rules are evaluated independently. Counts include findings beyond the retained evidence limit.",
        "Unique violations identify each later duplicate and its first row; missing and null policies are explicit. String length uses UTF-16 code units."
      ]
    },
    "provenance": {
      "inputSha256": "39ce3bc4f0e0760179cdc3f84efcab5402ccceee5fb13137750a1cf60d26e1b2",
      "outputSha256": "d09e9b55481c864dbd6d0d45e910854e079e33edb7ea1599b9db64ab31ac8370",
      "deterministic": true,
      "externalRequests": 0
    }
  },
  "requiredHeaders": {
    "Content-Type": "application/json",
    "Idempotency-Key": "random 16–128 character operation identifier"
  },
  "fixedExample": "/reference/examples/record-constraints.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."
  }
}
