{
  "schema_version": 1,
  "generated_at": "2026-10-19T23:22:03.089422+00:00",
  "kind": "controlled software observation",
  "environment": {
    "python": "3.12.3",
    "sqlite": "3.45.1",
    "platform": "Linux-6.8.0-146-generic-x86_64-with-glibc2.39",
    "machine": "x86_64",
    "sqlite_source_id": "2024-01-30 16:01:20 e876e51a0ed5c5b3126f52e532044363a014bc594cfefa87ffb5b82257ccalt1"
  },
  "provenance": {
    "generator_sha256": "3cecc8c5ccf607cdfd7d9ed8f73cde8504b0221c977de609d7a5d24ef89e891a",
    "fixture": "Five explicit decimal lexemes; no external data or personal information",
    "license": "CC0-1.0; applies to this experiment code and generated observations",
    "units": "Exact numeric values or source strings; no performance measurements",
    "large_number_encoding": "strings, with SQLite storage class and Python type recorded"
  },
  "schemas": {
    "ordinary_numeric": "CREATE TABLE ordinary_numeric(id INTEGER PRIMARY KEY, v NUMERIC)",
    "ordinary_any": "CREATE TABLE ordinary_any(id INTEGER PRIMARY KEY, v ANY)",
    "strict_integer": "CREATE TABLE strict_integer(id INTEGER PRIMARY KEY, v INTEGER) STRICT",
    "strict_any": "CREATE TABLE strict_any(id INTEGER PRIMARY KEY, v ANY) STRICT",
    "strict_text": "CREATE TABLE strict_text(id INTEGER PRIMARY KEY, v TEXT) STRICT"
  },
  "rows": [
    {
      "id": 1,
      "source_lexeme": "9007199254740993",
      "transport": "text",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 2,
      "source_lexeme": "9007199254740993",
      "transport": "text",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 3,
      "source_lexeme": "9007199254740993",
      "transport": "text",
      "schema": "strict_integer",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 4,
      "source_lexeme": "9007199254740993",
      "transport": "text",
      "schema": "strict_any",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 5,
      "source_lexeme": "9007199254740993",
      "transport": "text",
      "schema": "strict_text",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 6,
      "source_lexeme": "9007199254740993",
      "transport": "exact_integer",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 7,
      "source_lexeme": "9007199254740993",
      "transport": "exact_integer",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 8,
      "source_lexeme": "9007199254740993",
      "transport": "exact_integer",
      "schema": "strict_integer",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 9,
      "source_lexeme": "9007199254740993",
      "transport": "exact_integer",
      "schema": "strict_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 10,
      "source_lexeme": "9007199254740993",
      "transport": "exact_integer",
      "schema": "strict_text",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 11,
      "source_lexeme": "9007199254740993",
      "transport": "binary64",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 12,
      "source_lexeme": "9007199254740993",
      "transport": "binary64",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 13,
      "source_lexeme": "9007199254740993",
      "transport": "binary64",
      "schema": "strict_integer",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 14,
      "source_lexeme": "9007199254740993",
      "transport": "binary64",
      "schema": "strict_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 15,
      "source_lexeme": "9007199254740993",
      "transport": "binary64",
      "schema": "strict_text",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.00719925474099e+15",
        "exact_decimal": "9.00719925474099E+15",
        "storage_class": "text"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 16,
      "source_lexeme": "9007199254740993.0",
      "transport": "text",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 17,
      "source_lexeme": "9007199254740993.0",
      "transport": "text",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 18,
      "source_lexeme": "9007199254740993.0",
      "transport": "text",
      "schema": "strict_integer",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 19,
      "source_lexeme": "9007199254740993.0",
      "transport": "text",
      "schema": "strict_any",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 20,
      "source_lexeme": "9007199254740993.0",
      "transport": "text",
      "schema": "strict_text",
      "bound": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993.0",
        "exact_decimal": "9007199254740993.0",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 21,
      "source_lexeme": "9007199254740993.0",
      "transport": "exact_integer",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 22,
      "source_lexeme": "9007199254740993.0",
      "transport": "exact_integer",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 23,
      "source_lexeme": "9007199254740993.0",
      "transport": "exact_integer",
      "schema": "strict_integer",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 24,
      "source_lexeme": "9007199254740993.0",
      "transport": "exact_integer",
      "schema": "strict_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 25,
      "source_lexeme": "9007199254740993.0",
      "transport": "exact_integer",
      "schema": "strict_text",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 26,
      "source_lexeme": "9007199254740993.0",
      "transport": "binary64",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 27,
      "source_lexeme": "9007199254740993.0",
      "transport": "binary64",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 28,
      "source_lexeme": "9007199254740993.0",
      "transport": "binary64",
      "schema": "strict_integer",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 29,
      "source_lexeme": "9007199254740993.0",
      "transport": "binary64",
      "schema": "strict_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 30,
      "source_lexeme": "9007199254740993.0",
      "transport": "binary64",
      "schema": "strict_text",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.00719925474099e+15",
        "exact_decimal": "9.00719925474099E+15",
        "storage_class": "text"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 31,
      "source_lexeme": "9.007199254740993e15",
      "transport": "text",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 32,
      "source_lexeme": "9.007199254740993e15",
      "transport": "text",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 33,
      "source_lexeme": "9.007199254740993e15",
      "transport": "text",
      "schema": "strict_integer",
      "bound": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 34,
      "source_lexeme": "9.007199254740993e15",
      "transport": "text",
      "schema": "strict_any",
      "bound": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 35,
      "source_lexeme": "9.007199254740993e15",
      "transport": "text",
      "schema": "strict_text",
      "bound": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.007199254740993e15",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 36,
      "source_lexeme": "9.007199254740993e15",
      "transport": "exact_integer",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 37,
      "source_lexeme": "9.007199254740993e15",
      "transport": "exact_integer",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 38,
      "source_lexeme": "9.007199254740993e15",
      "transport": "exact_integer",
      "schema": "strict_integer",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 39,
      "source_lexeme": "9.007199254740993e15",
      "transport": "exact_integer",
      "schema": "strict_any",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 40,
      "source_lexeme": "9.007199254740993e15",
      "transport": "exact_integer",
      "schema": "strict_text",
      "bound": {
        "python_type": "int",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9007199254740993",
        "exact_decimal": "9007199254740993",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 41,
      "source_lexeme": "9.007199254740993e15",
      "transport": "binary64",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 42,
      "source_lexeme": "9.007199254740993e15",
      "transport": "binary64",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 43,
      "source_lexeme": "9.007199254740993e15",
      "transport": "binary64",
      "schema": "strict_integer",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9007199254740992",
        "exact_decimal": "9007199254740992",
        "storage_class": "integer"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 44,
      "source_lexeme": "9.007199254740993e15",
      "transport": "binary64",
      "schema": "strict_any",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 45,
      "source_lexeme": "9.007199254740993e15",
      "transport": "binary64",
      "schema": "strict_text",
      "bound": {
        "python_type": "float",
        "value": "9007199254740992.0",
        "exact_decimal": "9007199254740992",
        "hex": "0x1.0000000000000p+53"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.00719925474099e+15",
        "exact_decimal": "9.00719925474099E+15",
        "storage_class": "text"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 46,
      "source_lexeme": "00123",
      "transport": "text",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 47,
      "source_lexeme": "00123",
      "transport": "text",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 48,
      "source_lexeme": "00123",
      "transport": "text",
      "schema": "strict_integer",
      "bound": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 49,
      "source_lexeme": "00123",
      "transport": "text",
      "schema": "strict_any",
      "bound": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 50,
      "source_lexeme": "00123",
      "transport": "text",
      "schema": "strict_text",
      "bound": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "00123",
        "exact_decimal": "123",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 51,
      "source_lexeme": "00123",
      "transport": "exact_integer",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 52,
      "source_lexeme": "00123",
      "transport": "exact_integer",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 53,
      "source_lexeme": "00123",
      "transport": "exact_integer",
      "schema": "strict_integer",
      "bound": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 54,
      "source_lexeme": "00123",
      "transport": "exact_integer",
      "schema": "strict_any",
      "bound": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 55,
      "source_lexeme": "00123",
      "transport": "exact_integer",
      "schema": "strict_text",
      "bound": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 56,
      "source_lexeme": "00123",
      "transport": "binary64",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 57,
      "source_lexeme": "00123",
      "transport": "binary64",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 58,
      "source_lexeme": "00123",
      "transport": "binary64",
      "schema": "strict_integer",
      "bound": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "123",
        "exact_decimal": "123",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 59,
      "source_lexeme": "00123",
      "transport": "binary64",
      "schema": "strict_any",
      "bound": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6",
        "storage_class": "real"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 60,
      "source_lexeme": "00123",
      "transport": "binary64",
      "schema": "strict_text",
      "bound": {
        "python_type": "float",
        "value": "123.0",
        "exact_decimal": "123",
        "hex": "0x1.ec00000000000p+6"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "123.0",
        "exact_decimal": "123.0",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 61,
      "source_lexeme": "9223372036854775807",
      "transport": "text",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 62,
      "source_lexeme": "9223372036854775807",
      "transport": "text",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 63,
      "source_lexeme": "9223372036854775807",
      "transport": "text",
      "schema": "strict_integer",
      "bound": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 64,
      "source_lexeme": "9223372036854775807",
      "transport": "text",
      "schema": "strict_any",
      "bound": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 65,
      "source_lexeme": "9223372036854775807",
      "transport": "text",
      "schema": "strict_text",
      "bound": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 66,
      "source_lexeme": "9223372036854775807",
      "transport": "exact_integer",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 67,
      "source_lexeme": "9223372036854775807",
      "transport": "exact_integer",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 68,
      "source_lexeme": "9223372036854775807",
      "transport": "exact_integer",
      "schema": "strict_integer",
      "bound": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 69,
      "source_lexeme": "9223372036854775807",
      "transport": "exact_integer",
      "schema": "strict_any",
      "bound": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "integer"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": false
    },
    {
      "id": 70,
      "source_lexeme": "9223372036854775807",
      "transport": "exact_integer",
      "schema": "strict_text",
      "bound": {
        "python_type": "int",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9223372036854775807",
        "exact_decimal": "9223372036854775807",
        "storage_class": "text"
      },
      "numeric_equals_source": true,
      "lexeme_equals_source": true
    },
    {
      "id": 71,
      "source_lexeme": "9223372036854775807",
      "transport": "binary64",
      "schema": "ordinary_numeric",
      "bound": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 72,
      "source_lexeme": "9223372036854775807",
      "transport": "binary64",
      "schema": "ordinary_any",
      "bound": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 73,
      "source_lexeme": "9223372036854775807",
      "transport": "binary64",
      "schema": "strict_integer",
      "bound": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63"
      },
      "error": {
        "name": "unknown",
        "code": 3091,
        "message": "cannot store REAL value in INTEGER column strict_integer.v"
      },
      "stored": null
    },
    {
      "id": 74,
      "source_lexeme": "9223372036854775807",
      "transport": "binary64",
      "schema": "strict_any",
      "bound": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63"
      },
      "error": null,
      "stored": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63",
        "storage_class": "real"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    },
    {
      "id": 75,
      "source_lexeme": "9223372036854775807",
      "transport": "binary64",
      "schema": "strict_text",
      "bound": {
        "python_type": "float",
        "value": "9.223372036854776e+18",
        "exact_decimal": "9223372036854775808",
        "hex": "0x1.0000000000000p+63"
      },
      "error": null,
      "stored": {
        "python_type": "str",
        "value": "9.22337203685478e+18",
        "exact_decimal": "9.22337203685478E+18",
        "storage_class": "text"
      },
      "numeric_equals_source": false,
      "lexeme_equals_source": false
    }
  ],
  "collision_controls": [
    {
      "table": "collision_integer",
      "events": [
        {
          "source_lexeme": "9007199254740992.0",
          "error": null
        },
        {
          "source_lexeme": "9007199254740993.0",
          "error": {
            "name": "SQLITE_CONSTRAINT_UNIQUE",
            "code": 2067,
            "message": "UNIQUE constraint failed: collision_integer.v"
          }
        }
      ],
      "reopened_rows": [
        {
          "python_type": "int",
          "value": "9007199254740992",
          "exact_decimal": "9007199254740992",
          "storage_class": "integer"
        }
      ]
    },
    {
      "table": "collision_any",
      "events": [
        {
          "source_lexeme": "9007199254740992.0",
          "error": null
        },
        {
          "source_lexeme": "9007199254740993.0",
          "error": null
        }
      ],
      "reopened_rows": [
        {
          "python_type": "str",
          "value": "9007199254740992.0",
          "exact_decimal": "9007199254740992.0",
          "storage_class": "text"
        },
        {
          "python_type": "str",
          "value": "9007199254740993.0",
          "exact_decimal": "9007199254740993.0",
          "storage_class": "text"
        }
      ]
    }
  ],
  "rejection_controls": [
    {
      "source_lexeme": "1.5",
      "error": {
        "name": "unknown",
        "code": 3091,
        "message": "cannot store REAL value in INTEGER column rejection.v"
      }
    },
    {
      "source_lexeme": "abc",
      "error": {
        "name": "unknown",
        "code": 3091,
        "message": "cannot store TEXT value in INTEGER column rejection.v"
      }
    }
  ],
  "source_checks": {
    "quick_check": [
      "ok"
    ],
    "integrity_check": [
      "ok"
    ]
  },
  "backup": {
    "progress": [
      {
        "status": 0,
        "remaining": 10,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 9,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 8,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 7,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 6,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 5,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 4,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 3,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 2,
        "total": 11
      },
      {
        "status": 0,
        "remaining": 1,
        "total": 11
      },
      {
        "status": 101,
        "remaining": 0,
        "total": 11
      }
    ],
    "checks": {
      "quick_check": [
        "ok"
      ],
      "integrity_check": [
        "ok"
      ]
    },
    "matrix_equal_after_reopen": true,
    "collision_rows": {
      "collision_integer": [
        {
          "python_type": "int",
          "value": "9007199254740992",
          "exact_decimal": "9007199254740992",
          "storage_class": "integer"
        }
      ],
      "collision_any": [
        {
          "python_type": "str",
          "value": "9007199254740992.0",
          "exact_decimal": "9007199254740992.0",
          "storage_class": "text"
        },
        {
          "python_type": "str",
          "value": "9007199254740993.0",
          "exact_decimal": "9007199254740993.0",
          "storage_class": "text"
        }
      ]
    },
    "sha256": "2bc0475f31df7d45d37dcdaa9af8178c779ecad9f4c9e8e1712be158613f92be"
  },
  "source_sha256_before": "3efadc64565cf6eaf7282b3e03a23dcbc47d6cb8b0e6e2f35b6eb6c4cd446243",
  "source_sha256_after": "3efadc64565cf6eaf7282b3e03a23dcbc47d6cb8b0e6e2f35b6eb6c4cd446243",
  "limits": [
    "Designed cases on one recorded runtime, not a frequency estimate or new vulnerability.",
    "No custom adapters, converters, concurrent writer, crash, WAL or storage fault.",
    "Source spelling and exact numeric value are separate acceptance criteria.",
    "A backup preserves the imported database, not discarded original digits."
  ]
}