{
  "source_revision": "7e282e2a363b9cc90cd74dd97809e6613a699af8",
  "test": "TestCheckerReadOnlyObservation",
  "exit_code": 0,
  "scope": "observational synthetic hot-WAL existing DB, exact current pinned connector; not a checker implementation or complete acceptance proof",
  "procedure": [
    "Separate child seeds WAL-mode table with one row; os.Exit without DB.Close preserves hot WAL",
    "Parent hashes main/WAL/SHM only while no checker process is active",
    "Separate reader child uses newBoundDatabase, PRAGMA query_only=ON, SELECT count(*)=1, checked close",
    "Parent rehashes files after reader exits"
  ],
  "observations": {
    "before": {
      "main": "52a371445ce0812ca930aea418e7d7e9d6459f1778a6e14cb56592f08f5a08af",
      "shm": "829996e6b81530e87ffc28a9ec48e135216cc8f45c31d7c256f36f21e90145a9",
      "wal": "6a9d5e24139ca28e2b5993f55a61e0f99aaab4ab9471984184b5e045138bfadf"
    },
    "after": {
      "main": "00e7703e9f60902de2294bf86a1ef2037b6999762ec647b4c24b2edefa39ad7b",
      "shm": "absent",
      "wal": "absent"
    }
  },
  "conclusion": "Current mode=rw pinned connector plus query_only does not promise byte-level no mutation; checked readonly connector requires separate design/implementation proof.",
  "repository_changed": false,
  "live_calls": false,
  "probe_sha256": "011b929f2990d7651b43e0e14a57f28330d0c5a616322307f5987685847da57d"
}