oficina / home Public

Download this file

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