{ "schemaVersion": 1, "generatedAt": "2026-10-19T02:08:22.872720+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": "Four independent fixtures: base-table REPLACE or UPSERT crossed with explicit recursive_triggers 0 or 1; initial rebuild; rollback then commit the same operation; close/reopen before five-token query/check observations.", "limits": "One INTEGER PRIMARY KEY conflict, two single-token ASCII documents, default tokenizer, DELETE journal, all maintenance triggers present. Not direct writes to FTS, all UPSERT forms, concurrency, crash safety, a new defect or a failure-rate sample.", "sql": { "schema": "\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", "audit": "\nCREATE TABLE events(seq INTEGER PRIMARY KEY, event TEXT NOT NULL);\nCREATE TRIGGER audit_insert AFTER INSERT ON docs BEGIN\n INSERT INTO events(event) VALUES('insert');\nEND;\nCREATE TRIGGER audit_delete AFTER DELETE ON docs BEGIN\n INSERT INTO events(event) VALUES('delete');\nEND;\nCREATE TRIGGER audit_update AFTER UPDATE ON docs BEGIN\n INSERT INTO events(event) VALUES('update');\nEND;\n", "operations": { "replace": "INSERT OR REPLACE INTO docs VALUES(1, 'delta')", "upsert": "INSERT INTO docs VALUES(1, 'delta') ON CONFLICT(id) DO UPDATE SET body=excluded.body" } }, "harnessSha256": "414e8a69e86839542f7f0eae4523f3194c94a859fbfd255d85cfea3dd846719d", "helperSha256": "85b32a268355bf4f5682b78f5f09c7377b31dd6602e54965a450f780e82277c9", "cases": [ { "operation": "replace", "recursiveTriggers": 0, "sql": "INSERT OR REPLACE INTO docs VALUES(1, 'delta')", "baseline": { "stage": "baseline", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "triggers": [ "audit_delete", "audit_insert", "audit_update", "docs_ad", "docs_ai", "docs_au" ], "pendingEvents": [ "insert" ], "rollbackEvents": [], "transactionAfterRollback": false, "rolledBack": { "stage": "rolled-back", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "transactionAfterCommit": false, "committedEvents": [ "insert" ], "committed": { "stage": "committed", "rows": [ [ 1, "delta" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "delta" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "delta" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "mismatchedTokens": [ "alpha" ], "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": "f40232416c7f1ac6cbe5bf849ce15702130b2c11de218271b1eff9a9f1fd68f0", "sha256After": "f40232416c7f1ac6cbe5bf849ce15702130b2c11de218271b1eff9a9f1fd68f0" } }, { "operation": "replace", "recursiveTriggers": 1, "sql": "INSERT OR REPLACE INTO docs VALUES(1, 'delta')", "baseline": { "stage": "baseline", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "triggers": [ "audit_delete", "audit_insert", "audit_update", "docs_ad", "docs_ai", "docs_au" ], "pendingEvents": [ "delete", "insert" ], "rollbackEvents": [], "transactionAfterRollback": false, "rolledBack": { "stage": "rolled-back", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "transactionAfterCommit": false, "committedEvents": [ "delete", "insert" ], "committed": { "stage": "committed", "rows": [ [ 1, "delta" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "delta" ], [ 2, "beta" ] ], "matches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "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": "49fb914efca59200017cf8c34d20b7bfae4baca065aa80e283c314dab8cb9a24", "sha256After": "49fb914efca59200017cf8c34d20b7bfae4baca065aa80e283c314dab8cb9a24" } }, { "operation": "upsert", "recursiveTriggers": 0, "sql": "INSERT INTO docs VALUES(1, 'delta') ON CONFLICT(id) DO UPDATE SET body=excluded.body", "baseline": { "stage": "baseline", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "triggers": [ "audit_delete", "audit_insert", "audit_update", "docs_ad", "docs_ai", "docs_au" ], "pendingEvents": [ "update" ], "rollbackEvents": [], "transactionAfterRollback": false, "rolledBack": { "stage": "rolled-back", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "transactionAfterCommit": false, "committedEvents": [ "update" ], "committed": { "stage": "committed", "rows": [ [ 1, "delta" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "delta" ], [ 2, "beta" ] ], "matches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "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": "cd04adc691874081872a255a0598fb88c0b6b4d0068b672bbd187f65c652c19c", "sha256After": "cd04adc691874081872a255a0598fb88c0b6b4d0068b672bbd187f65c652c19c" } }, { "operation": "upsert", "recursiveTriggers": 1, "sql": "INSERT INTO docs VALUES(1, 'delta') ON CONFLICT(id) DO UPDATE SET body=excluded.body", "baseline": { "stage": "baseline", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "triggers": [ "audit_delete", "audit_insert", "audit_update", "docs_ad", "docs_ai", "docs_au" ], "pendingEvents": [ "update" ], "rollbackEvents": [], "transactionAfterRollback": false, "rolledBack": { "stage": "rolled-back", "rows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "matches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "expectedMatches": { "alpha": [ [ 1, "alpha" ] ], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [], "epsilon": [] }, "mismatchedTokens": [], "checks": { "quick": { "ok": true, "rows": [ [ "ok" ] ] }, "full": { "ok": true, "rows": [ [ "ok" ] ] }, "ftsInternal": { "ok": true, "rows": [] }, "ftsExternal": { "ok": true, "rows": [] } }, "sha256Before": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb", "sha256After": "2bf69be9eb6557372f19ad5be21097eb4bb6f32d1c2edf3259b158898f5a19eb" }, "transactionAfterCommit": false, "committedEvents": [ "update" ], "committed": { "stage": "committed", "rows": [ [ 1, "delta" ], [ 2, "beta" ] ], "plainFtsRows": [ [ 1, "delta" ], [ 2, "beta" ] ], "matches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "gamma": [], "delta": [ [ 1, "delta" ] ], "epsilon": [] }, "expectedMatches": { "alpha": [], "beta": [ [ 2, "beta" ] ], "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": "cd04adc691874081872a255a0598fb88c0b6b4d0068b672bbd187f65c652c19c", "sha256After": "cd04adc691874081872a255a0598fb88c0b6b4d0068b672bbd187f65c652c19c" } } ] }