{
  "schemaVersion": 1,
  "generatedAt": "2026-10-17T18:07:27.619556+00:00",
  "evidenceType": "measured behavior under constructed schedules",
  "environment": {
    "python": "3.12.3",
    "sqlite": "3.45.1",
    "sqliteSourceId": "2024-01-30 16:01:20 e876e51a0ed5c5b3126f52e532044363a014bc594cfefa87ffb5b82257ccalt1",
    "os": "Linux",
    "kernel": "6.8.0-146-generic",
    "machine": "x86_64",
    "compileOptions": [
      "ATOMIC_INTRINSICS=1",
      "COMPILER=gcc-13.3.0",
      "DEFAULT_AUTOVACUUM",
      "DEFAULT_CACHE_SIZE=-2000",
      "DEFAULT_FILE_FORMAT=4",
      "DEFAULT_JOURNAL_SIZE_LIMIT=-1",
      "DEFAULT_MMAP_SIZE=0",
      "DEFAULT_PAGE_SIZE=4096",
      "DEFAULT_PCACHE_INITSZ=20",
      "DEFAULT_RECURSIVE_TRIGGERS",
      "DEFAULT_SECTOR_SIZE=4096",
      "DEFAULT_SYNCHRONOUS=2",
      "DEFAULT_WAL_AUTOCHECKPOINT=1000",
      "DEFAULT_WAL_SYNCHRONOUS=2",
      "DEFAULT_WORKER_THREADS=0",
      "DIRECT_OVERFLOW_READ",
      "ENABLE_COLUMN_METADATA",
      "ENABLE_DBSTAT_VTAB",
      "ENABLE_FTS3",
      "ENABLE_FTS3_PARENTHESIS",
      "ENABLE_FTS3_TOKENIZER",
      "ENABLE_FTS4",
      "ENABLE_FTS5",
      "ENABLE_LOAD_EXTENSION",
      "ENABLE_MATH_FUNCTIONS",
      "ENABLE_PREUPDATE_HOOK",
      "ENABLE_RTREE",
      "ENABLE_SESSION",
      "ENABLE_STMTVTAB",
      "ENABLE_UNLOCK_NOTIFY",
      "ENABLE_UPDATE_DELETE_LIMIT",
      "HAVE_ISNAN",
      "LIKE_DOESNT_MATCH_BLOBS",
      "MALLOC_SOFT_LIMIT=1024",
      "MAX_ATTACHED=10",
      "MAX_COLUMN=2000",
      "MAX_COMPOUND_SELECT=500",
      "MAX_DEFAULT_PAGE_SIZE=32768",
      "MAX_EXPR_DEPTH=1000",
      "MAX_FUNCTION_ARG=127",
      "MAX_LENGTH=1000000000",
      "MAX_LIKE_PATTERN_LENGTH=50000",
      "MAX_MMAP_SIZE=0x7fff0000",
      "MAX_PAGE_COUNT=0xfffffffe",
      "MAX_PAGE_SIZE=65536",
      "MAX_SCHEMA_RETRY=25",
      "MAX_SQL_LENGTH=1000000000",
      "MAX_TRIGGER_DEPTH=1000",
      "MAX_VARIABLE_NUMBER=250000",
      "MAX_VDBE_OP=250000000",
      "MAX_WORKER_THREADS=8",
      "MUTEX_PTHREADS",
      "SECURE_DELETE",
      "SOUNDEX",
      "SYSTEM_MALLOC",
      "TEMP_STORE=1",
      "THREADSAFE=1",
      "USE_URI"
    ]
  },
  "scriptSha256": "6442cd7b5e59861fc86c74c4675e7adde137c1784a8025f32ac973319ee5e081",
  "method": {
    "rowsPerDatabase": 4,
    "payloadBytesPerRow": 512,
    "pageSizeBytes": 4096,
    "mmapSizeBytes": 0,
    "privateCaches": true,
    "sequentialCalls": true,
    "writerSynchronous": "FULL",
    "walAutocheckpoint": 0,
    "busyTimeoutMs": 0,
    "rowDigestEncoding": "ASCII compact JSON of ordered [id,generation,payload_hex] rows"
  },
  "limits": [
    "Immutable mutation cases deliberately violate the API precondition; no SQLite defect is claimed.",
    "No process crash, power loss, hardware fault, network filesystem, simultaneous calls or timing measurement.",
    "Exact outcomes describe this build and schedule, not a production frequency or behavior guaranteed after misuse.",
    "The installed version identifies evidence; it is not a current-patch recommendation.",
    "Read-only statements are not evidence of zero filesystem writes; no VFS or syscall tracing was performed."
  ],
  "cases": [
    {
      "id": "delete-mode-ro",
      "journal": "DELETE",
      "readerMode": "mode-ro",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 1,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "7d86c483a3b9f1eb318358c78f6f8e9ad342cf920712ca24ae2f5f240e7ee650",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "61c663873218fe648a98eec4b0739e178e35b557f8ab697c37387d8452ddeb55",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "delete-query-only",
      "journal": "DELETE",
      "readerMode": "query-only",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 1,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "7d86c483a3b9f1eb318358c78f6f8e9ad342cf920712ca24ae2f5f240e7ee650",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "61c663873218fe648a98eec4b0739e178e35b557f8ab697c37387d8452ddeb55",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "delete-immutable",
      "journal": "DELETE",
      "readerMode": "immutable",
      "deliberatelyFalseImmutablePromise": true,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 1,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "7d86c483a3b9f1eb318358c78f6f8e9ad342cf920712ca24ae2f5f240e7ee650",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "61c663873218fe648a98eec4b0739e178e35b557f8ab697c37387d8452ddeb55",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "wal-mode-ro",
      "journal": "WAL",
      "readerMode": "mode-ro",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 2,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 8272
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "wal-query-only",
      "journal": "WAL",
      "readerMode": "query-only",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 2,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 8272
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "wal-immutable",
      "journal": "WAL",
      "readerMode": "immutable",
      "deliberatelyFalseImmutablePromise": true,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 2,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 8272
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "wal-mode-ro-pinned",
      "journal": "WAL",
      "readerMode": "mode-ro",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": true,
      "staticControl": false,
      "writerGeneration": 2,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 8272
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": true
        },
        {
          "phase": "writer-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": true
        },
        {
          "phase": "reader-after-release",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "delete-immutable-static",
      "journal": "DELETE",
      "readerMode": "immutable",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": true,
      "writerGeneration": 0,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": false,
      "checkpointResult": null,
      "checkpointFiles": null,
      "baselineFiles": {
        "mainSha256": "7d86c483a3b9f1eb318358c78f6f8e9ad342cf920712ca24ae2f5f240e7ee650",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "7d86c483a3b9f1eb318358c78f6f8e9ad342cf920712ca24ae2f5f240e7ee650",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 0,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "45ecb922fb4071011c731e69b50ac8d0868e8f7e91fd42033b633936e93a17ab",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    },
    {
      "id": "wal-query-only-checkpoint",
      "journal": "WAL",
      "readerMode": "query-only",
      "deliberatelyFalseImmutablePromise": false,
      "pinnedTransaction": false,
      "staticControl": false,
      "writerGeneration": 2,
      "writeRejected": {
        "code": 8,
        "name": "SQLITE_READONLY"
      },
      "checkpointRequested": true,
      "checkpointResult": [
        0,
        0,
        0
      ],
      "checkpointFiles": {
        "mainSha256": "194d2272a71083f4ee7c8db8bd96bc32c46bfe496859d2f89bbe827ccf551ee0",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "baselineFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 0
      },
      "afterFiles": {
        "mainSha256": "a79b9c87a9b1453c74b8975ae8f0d4640af6fa2af2fd6e75fba6f661a4d45ab4",
        "mainBytes": 8192,
        "walBytes": 8272
      },
      "observations": [
        {
          "phase": "reader-before",
          "generation": 1,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "48867a99737b86ad7f8fe6333cc1c6e2dddddb25961778db132bdda34444141f",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "writer-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "reader-after-checkpoint",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        },
        {
          "phase": "fresh-reader",
          "generation": 2,
          "rows": 4,
          "payloadBytesCompared": 2048,
          "rowDigestSha256": "640307f06c91b1e7c2346ba960396cfb23fdd09ad86052924785c110b10bbb30",
          "fullRowsMatch": true,
          "integrityCheck": [
            "ok"
          ],
          "inTransaction": false
        }
      ]
    }
  ]
}