tabular contract audit derived

{
  "input": {
    "body": {
      "csv": "order_id,currency,amount,placed_at,email\n1001,USD,42.50,2026-09-30,a@example.com\n1002,EUR,-3,2026-09-31,\n1001,GBP,19.99,2026-10-01,c@example.com\n",
      "contract": {
        "columns": [
          {
            "name": "order_id",
            "type": "integer",
            "unique": true,
            "required": true
          },
          {
            "enum": [
              "USD",
              "EUR"
            ],
            "name": "currency",
            "type": "string",
            "required": true
          },
          {
            "min": 0,
            "name": "amount",
            "type": "number",
            "required": true
          },
          {
            "name": "placed_at",
            "type": "date",
            "required": true
          },
          {
            "name": "email",
            "type": "string",
            "max_null_rate": 0.1
          }
        ],
        "primary_key": [
          "order_id"
        ]
      }
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "header": {
        "missing": [],
        "declared": [
          "order_id",
          "currency",
          "amount"
        ],
        "observed": [
          "order_id",
          "currency",
          "amount"
        ],
        "duplicated": [],
        "unexpected": [],
        "order_changed": false
      },
      "limits": {
        "maxRows": 5000,
        "maxColumns": 64,
        "maxCsvBytes": 262144,
        "patternAtoms": 64,
        "maxCellLength": 4096,
        "maxEnumValues": 100,
        "maxViolations": 500,
        "maxSafeInteger": 9007199254740991,
        "patternValueLength": 256
      },
      "passed": false,
      "complete": true,
      "encoding": {
        "byte_order_mark": false,
        "crlf_line_endings": false,
        "mixed_line_endings": false,
        "replacement_characters": 0
      },
      "warnings": [],
      "row_count": 3,
      "request_id": "example-request",
      "service_id": "tabular_contract_audit",
      "violations": [
        {
          "row": 3,
          "code": "BELOW_MINIMUM",
          "value": "-3",
          "column": "amount",
          "detail": "Row 3: amount is -3, below the declared minimum 0."
        },
        {
          "row": 3,
          "code": "TYPE_MISMATCH",
          "value": "2026-09-31",
          "column": "placed_at",
          "detail": "Row 3: placed_at is declared date but \"2026-09-31\" reads as string."
        },
        {
          "row": 4,
          "code": "DUPLICATE_VALUE",
          "value": "1001",
          "column": "order_id",
          "detail": "Row 4: order_id repeats \"1001\", first seen at row 2."
        }
      ],
      "assumptions": [
        "Values are compared as the text supplied. No locale, thousands separator or ambiguous date order is inferred, so normalise before auditing if your source uses them.",
        "An empty field is treated as absent, because a literal empty string cannot be distinguished from a missing value in delimited text."
      ],
      "limitations": [
        "Structural and value-level conformance against the supplied contract only. Business meaning, referential integrity against other datasets, and whether the contract itself is correct are not assessed.",
        "Row, column, cell and violation bounds are applied before and during the audit. Anything left unexamined is named in not_examined, and passed is false whenever complete is false.",
        "Patterns use a documented non-backtracking subset with no groups or alternation, so a native regular expression relying on those will be refused rather than approximated."
      ],
      "observed_at": "2026-10-02T00:00:00.000Z",
      "column_count": 5,
      "not_examined": [],
      "column_profiles": [
        {
          "name": "order_id",
          "present": true,
          "null_rate": 0,
          "max_length": 4,
          "min_length": 4,
          "null_count": 0,
          "max_numeric": 1002,
          "min_numeric": 1001,
          "declared_type": "integer",
          "inferred_type": "integer",
          "distinct_count": 2,
          "inferred_type_counts": {
            "integer": 3
          }
        },
        {
          "name": "currency",
          "present": true,
          "null_rate": 0,
          "max_length": 3,
          "min_length": 3,
          "null_count": 0,
          "max_numeric": null,
          "min_numeric": null,
          "declared_type": "string",
          "inferred_type": "string",
          "distinct_count": 3,
          "inferred_type_counts": {
            "string": 3
          }
        },
        {
          "name": "amount",
          "present": true,
          "null_rate": 0,
          "max_length": 5,
          "min_length": 2,
          "null_count": 0,
          "max_numeric": 42.5,
          "min_numeric": -3,
          "declared_type": "number",
          "inferred_type": "number",
          "distinct_count": 3,
          "inferred_type_counts": {
            "number": 2,
            "integer": 1
          }
        }
      ],
      "service_version": "1.0.0",
      "violation_count": 6,
      "supplied_row_count": 3,
      "violations_by_code": {
        "NOT_IN_ENUM": 1,
        "BELOW_MINIMUM": 1,
        "TYPE_MISMATCH": 1,
        "DUPLICATE_VALUE": 1,
        "NULL_RATE_EXCEEDED": 1,
        "DUPLICATE_PRIMARY_KEY": 1
      }
    }
  }
}