{ "schemaVersion": 1, "generatedAt": "2026-10-18T21:21:28.044389+00:00", "kind": "controlled software experiment", "environment": { "python": "3.12.3", "sqlite": "3.45.1", "sourceId": "2024-01-30 16:01:20 e876e51a0ed5c5b3126f52e532044363a014bc594cfefa87ffb5b82257ccalt1", "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" ] }, "method": "Eight closed/reopened DELETE-journal states; default FTS5 tokenizer; five single-ASCII-token queries; explicit full-row expectations; rolled-back diagnostic savepoints.", "limits": "Deliberately omitted backfill and update trigger. No crash, concurrency, hardware corruption, general tokenizer oracle or incident-rate estimate.", "sql": { "steps": [ [ "unbackfilled", "\nPRAGMA journal_mode=DELETE;\nCREATE TABLE docs(id INTEGER PRIMARY KEY, body TEXT NOT NULL);\nINSERT INTO docs VALUES(1, 'alpha'), (2, 'beta');\nCREATE VIRTUAL TABLE search USING fts5(body, content='docs', content_rowid='id');\nCREATE TRIGGER docs_ai AFTER INSERT ON docs BEGIN\n INSERT INTO search(rowid, body) VALUES(new.id, new.body);\nEND;\nCREATE TRIGGER docs_ad AFTER DELETE ON docs BEGIN\n INSERT INTO search(search, rowid, body) VALUES('delete', old.id, old.body);\nEND;\nCREATE TRIGGER docs_au AFTER UPDATE ON docs BEGIN\n INSERT INTO search(search, rowid, body) VALUES('delete', old.id, old.body);\n INSERT INTO search(rowid, body) VALUES(new.id, new.body);\nEND;\n" ], [ "future-insert", "INSERT INTO docs VALUES(3, 'gamma');" ], [ "rebuilt", "INSERT INTO search(search) VALUES('rebuild');" ], [ "maintained", "UPDATE docs SET body='delta' WHERE id=1; DELETE FROM docs WHERE id=2;" ], [ "stale", "DROP TRIGGER docs_au; UPDATE docs SET body='epsilon' WHERE id=1;" ], [ "reindex", "REINDEX;" ] ], "checks": { "quick": "PRAGMA quick_check", "full": "PRAGMA integrity_check", "ftsInternal": "INSERT INTO search(search) VALUES('integrity-check')", "ftsExternal": "INSERT INTO search(search, rank) VALUES('integrity-check', 1)" }, "match": "SELECT rowid, body FROM search WHERE search MATCH ? ORDER BY rowid", "backupRebuild": "INSERT INTO search(search) VALUES('rebuild');" }, "cases": [ { "stage": "unbackfilled", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [], "beta": [], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [ "alpha", "beta" ], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": false, "error": "database disk image is malformed", "errorCode": 267, "errorName": "SQLITE_CORRUPT_VTAB" } }, "sha256Before": "2b470dbe1e6a159a571539e950a875cde3c9bf14a284d7e0b6118b76bd1e3347", "sha256After": "2b470dbe1e6a159a571539e950a875cde3c9bf14a284d7e0b6118b76bd1e3347" }, { "stage": "future-insert", "rows": [ [ 1, "alpha" ], [ 2, "beta" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [] }, "mismatchedTokens": [ "alpha", "beta" ], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": false, "error": "database disk image is malformed", "errorCode": 267, "errorName": "SQLITE_CORRUPT_VTAB" } }, "sha256Before": "de40fd3a74c07c4a4d7bd35b39b5a5e984dcc689382c24e143078b35c4d57172", "sha256After": "de40fd3a74c07c4a4d7bd35b39b5a5e984dcc689382c24e143078b35c4d57172" }, { "stage": "rebuilt", "rows": [ [ 1, "alpha" ], [ 2, "beta" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ], [ 3, "gamma" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "afb999e9fd63acc93ea82c51069f78c21ed2578b4bf66ca30bc604fa06df1791", "sha256After": "afb999e9fd63acc93ea82c51069f78c21ed2578b4bf66ca30bc604fa06df1791" }, { "stage": "maintained", "rows": [ [ 1, "delta" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "delta" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "635c864f8ff7d03eaf36ffc43d6464f8e491506e18e3d101763f9d36ce312034", "sha256After": "635c864f8ff7d03eaf36ffc43d6464f8e491506e18e3d101763f9d36ce312034" }, { "stage": "stale", "rows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [ [ 1, "epsilon" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [ [ 1, "epsilon" ] ] }, "mismatchedTokens": [ "delta", "epsilon" ], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": false, "error": "database disk image is malformed", "errorCode": 267, "errorName": "SQLITE_CORRUPT_VTAB" } }, "sha256Before": "e5db43009266e542b2dfb487d7261ac562b5a46f8e35919a5ae8eb9412ddb936", "sha256After": "e5db43009266e542b2dfb487d7261ac562b5a46f8e35919a5ae8eb9412ddb936" }, { "stage": "reindex", "rows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [ [ 1, "epsilon" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [ [ 1, "epsilon" ] ] }, "mismatchedTokens": [ "delta", "epsilon" ], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": false, "error": "database disk image is malformed", "errorCode": 267, "errorName": "SQLITE_CORRUPT_VTAB" } }, "sha256Before": "1d46d65909328e677f8bd10d02aa1ca4985f55c9ebcc1493ff55c17c2b40f431", "sha256After": "1d46d65909328e677f8bd10d02aa1ca4985f55c9ebcc1493ff55c17c2b40f431" }, { "stage": "backup", "rows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [ [ 1, "epsilon" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [ [ 1, "epsilon" ] ] }, "mismatchedTokens": [ "delta", "epsilon" ], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": false, "error": "database disk image is malformed", "errorCode": 267, "errorName": "SQLITE_CORRUPT_VTAB" } }, "sha256Before": "1ddbbb49509d43c9173db34a483dee289a75ac3799a75942b622b6875842df54", "sha256After": "1ddbbb49509d43c9173db34a483dee289a75ac3799a75942b622b6875842df54" }, { "stage": "backup-rebuilt", "rows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "plainFtsRows": [ [ 1, "epsilon" ], [ 3, "gamma" ] ], "matches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [ [ 1, "epsilon" ] ] }, "expectedMatches": { "alpha": [], "beta": [], "gamma": [ [ 3, "gamma" ] ], "delta": [], "epsilon": [ [ 1, "epsilon" ] ] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "df5fb6901019ce39b5bc88f72a31a01e0bf80f65509f33dc9b04ab543952e587", "sha256After": "df5fb6901019ce39b5bc88f72a31a01e0bf80f65509f33dc9b04ab543952e587" } ], "backupProgress": [ { "status": 0, "remaining": 5, "total": 6 }, { "status": 0, "remaining": 4, "total": 6 }, { "status": 0, "remaining": 3, "total": 6 }, { "status": 0, "remaining": 2, "total": 6 }, { "status": 0, "remaining": 1, "total": 6 }, { "status": 101, "remaining": 0, "total": 6 } ], "sourceHashBeforeBackup": "1d46d65909328e677f8bd10d02aa1ca4985f55c9ebcc1493ff55c17c2b40f431", "sourceHashAfterBackup": "1d46d65909328e677f8bd10d02aa1ca4985f55c9ebcc1493ff55c17c2b40f431", "harnessSha256": "85b32a268355bf4f5682b78f5f09c7377b31dd6602e54965a450f780e82277c9" }