{ "schemaVersion": 1, "evidenceType": "controlled-software-experiment", "generatedAt": "2026-10-18T03:20:50.681152+00:00", "sourceSha256": "0f43e900f670ae276b0cad4806d260490afc265ea53ddf1016370565be2ef54f", "environment": { "python": "3.12.3", "sqlite": "3.45.1", "sqliteSourceId": "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" ], "system": "Linux", "kernel": "6.8.0-146-generic" }, "method": { "sourceJournal": "DELETE", "writersDuringCopy": 0, "fixture": "Insert alpha/beta/gamma, commit deletion of row 1; saved reference is rowid 2 -> beta.", "reuse": "Compare committed highest-ID deletion with restoring a backup predating the committed issuance of ID 2.", "limits": [ "Designed fixtures, not sampled failures.", "No crash, power loss, network filesystem, WAL or whole-application recovery.", "Python iterdump is tested, not every SQL exporter.", "No guarantee that every VACUUM changes implicit rowids." ] }, "cases": [ { "schema": "hidden", "method": "backup", "ddl": "CREATE TABLE item (payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "60630e0d4a4bb71eae2ff97642c3c08d70ab7c59700a30e60ea27f4210074706" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "detail": { "progress": [ { "status": 0, "remaining": 1, "total": 2 }, { "status": 101, "remaining": 0, "total": 2 } ] }, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true }, { "schema": "hidden", "method": "vacuum-into", "ddl": "CREATE TABLE item (payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "e30cdb46be3ed6138f5858fc13b3fe251056ce34bc6695cacbfbe24a204179a1" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "detail": {}, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true }, { "schema": "hidden", "method": "vacuum", "ddl": "CREATE TABLE item (payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "after": { "rowidPayload": [ [ 1, "beta" ], [ 2, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "gamma" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "b23281e7f3f918a8fb58fad43b962a8d1849b5d553112016b7aebe7d0a5d34ba" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "detail": {}, "declaredRowsPreserved": true, "rowidsPreserved": false, "savedReferenceStillBeta": false }, { "schema": "hidden", "method": "python-iterdump", "ddl": "CREATE TABLE item (payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "after": { "rowidPayload": [ [ 1, "beta" ], [ 2, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "gamma" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "3bc73a98c9c882ff616d1a0e09c29187cee81c76d672437e395c1f15ea890cc1" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ "beta" ], [ "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": null, "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "072063b83a602e330bb9488cee6fb90db7b785d0f9e4690a17ca2edfd02e69ce" }, "detail": { "dumpSql": "BEGIN TRANSACTION;\nCREATE TABLE item (payload TEXT NOT NULL);\nINSERT INTO \"item\" VALUES('beta');\nINSERT INTO \"item\" VALUES('gamma');\nCOMMIT;" }, "declaredRowsPreserved": true, "rowidsPreserved": false, "savedReferenceStillBeta": false }, { "schema": "explicit", "method": "backup", "ddl": "CREATE TABLE item (id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "af63183d520e3594b4842828b68e553a3a8d7f8f8235273a9c17f09916e3e36a" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "detail": { "progress": [ { "status": 0, "remaining": 1, "total": 2 }, { "status": 101, "remaining": 0, "total": 2 } ] }, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true }, { "schema": "explicit", "method": "vacuum-into", "ddl": "CREATE TABLE item (id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d97bd2b287d63bc8ea869a41f41bb191c402c23d982a7c6a61760a0673110d96" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "detail": {}, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true }, { "schema": "explicit", "method": "vacuum", "ddl": "CREATE TABLE item (id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "25bd6d6a38e34c2fc5c03806fef6e0e6fef69dc12144c6c6a7e7d11b90eea7f7" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "detail": {}, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true }, { "schema": "explicit", "method": "python-iterdump", "ddl": "CREATE TABLE item (id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "before": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "after": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "17d3cd3bd13a0fea4891e075ede55c179321c68ce31f2066d8f64eac8c18f9ca" }, "sourceAfter": { "rowidPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "declaredRows": [ [ 2, "beta" ], [ 3, "gamma" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 2, "beta" ], [ 3, "gamma" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "d682fd1a37965fcf8946a0c22b71558f611d387987116ccc6d8f1d0df61ca850" }, "detail": { "dumpSql": "BEGIN TRANSACTION;\nCREATE TABLE item (id INTEGER PRIMARY KEY, payload TEXT NOT NULL);\nINSERT INTO \"item\" VALUES(2,'beta');\nINSERT INTO \"item\" VALUES(3,'gamma');\nCOMMIT;" }, "declaredRowsPreserved": true, "rowidsPreserved": true, "savedReferenceStillBeta": true } ], "reuse": [ { "autoincrement": false, "schedule": "delete-highest", "ddl": "CREATE TABLE item(id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "backupProgress": [], "backupBefore": null, "issuedState": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "53211f7107c8f0478f6fd6f225ddd976126e47365f32c2e2f540668b6f391943" }, "issuedId": 2, "newId": 2, "after": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "delta" ] ], "lookup2": [ [ "delta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "7d30fe16dbfb6019cae75bdfb0f2156079cadb84375863f2a6aded6fdffd0cee" }, "reusedIssuedId": true }, { "autoincrement": false, "schedule": "restore-old", "ddl": "CREATE TABLE item(id INTEGER PRIMARY KEY, payload TEXT NOT NULL)", "backupProgress": [ { "status": 0, "remaining": 1, "total": 2 }, { "status": 101, "remaining": 0, "total": 2 } ], "backupBefore": { "rowidPayload": [ [ 1, "alpha" ] ], "declaredRows": [ [ 1, "alpha" ] ], "lookup2": [], "declaredIdPayload": [ [ 1, "alpha" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "7984b4a951e1664cda0d6d9dc7c188d5494105c22d338c293e52a68f8ef1f6c7" }, "issuedState": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "53211f7107c8f0478f6fd6f225ddd976126e47365f32c2e2f540668b6f391943" }, "issuedId": 2, "newId": 2, "after": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "delta" ] ], "lookup2": [ [ "delta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [], "sha256": "6de98041ee006aaef8c4210e486fb406f368a5d9fceb9f59fe11e27bdab27f53" }, "reusedIssuedId": true }, { "autoincrement": true, "schedule": "delete-highest", "ddl": "CREATE TABLE item(id INTEGER PRIMARY KEY AUTOINCREMENT, payload TEXT NOT NULL)", "backupProgress": [], "backupBefore": null, "issuedState": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [ [ "item", 2 ] ], "sha256": "db40f998b41230e7c278fec395b5ccb6072081ba3f678811eaef28e806024d6b" }, "issuedId": 2, "newId": 3, "after": { "rowidPayload": [ [ 1, "alpha" ], [ 3, "delta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 3, "delta" ] ], "lookup2": [], "declaredIdPayload": [ [ 1, "alpha" ], [ 3, "delta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [ [ "item", 3 ] ], "sha256": "45c6e19ff34aa2e8d1005d030977a9bd1434ff909a48687d2f9a22f82b571955" }, "reusedIssuedId": false }, { "autoincrement": true, "schedule": "restore-old", "ddl": "CREATE TABLE item(id INTEGER PRIMARY KEY AUTOINCREMENT, payload TEXT NOT NULL)", "backupProgress": [ { "status": 0, "remaining": 2, "total": 3 }, { "status": 0, "remaining": 1, "total": 3 }, { "status": 101, "remaining": 0, "total": 3 } ], "backupBefore": { "rowidPayload": [ [ 1, "alpha" ] ], "declaredRows": [ [ 1, "alpha" ] ], "lookup2": [], "declaredIdPayload": [ [ 1, "alpha" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [ [ "item", 1 ] ], "sha256": "e893ffd42bf1c0ddd0c6ecc10fe4d3aa672df2d608c89d9354b8da8616865320" }, "issuedState": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "beta" ] ], "lookup2": [ [ "beta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "beta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [ [ "item", 2 ] ], "sha256": "db40f998b41230e7c278fec395b5ccb6072081ba3f678811eaef28e806024d6b" }, "issuedId": 2, "newId": 2, "after": { "rowidPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "declaredRows": [ [ 1, "alpha" ], [ 2, "delta" ] ], "lookup2": [ [ "delta" ] ], "declaredIdPayload": [ [ 1, "alpha" ], [ 2, "delta" ] ], "integrityCheck": [ [ "ok" ] ], "sequence": [ [ "item", 2 ] ], "sha256": "a19641f6f2cb4b4610f01b95f7e5822e3f282d6a151ffff28503f086a3bde380" }, "reusedIssuedId": true } ] }