{"record_id":"470a5b9df9da6fc6b733999865d903a57dd1f053fe195f31e740932672eecc4b","record":{"schema_version":2,"test_id":"sqlite-savepoint-outer-rollback-v1","status":"passed","created_at":"2026-09-11T14:12:19.915698+00:00","environment":{"libc":["glibc","2.39"],"machine":"x86_64","os_release":{"ID":"ubuntu","VERSION_ID":"24.04"},"package_scope":"No third-party packages used or inventoried; standard-library sqlite3 only","packages":{},"python_abi":"cpython-312-x86_64-linux-gnu","python_implementation":"CPython","python_version":"3.12.14","sqlite_capabilities":{"connection_autocommit_attribute":true,"default_autocommit":-1,"default_in_transaction":false,"default_isolation_level":"","legacy_transaction_control_constant":true},"sqlite_compile_options_sha256":"600e922c0614cd07a1640976eb2e283b43072322af46cbeb0df7a998990095cb","sqlite_source_id":"2026-05-05 10:34:17 c88b22011a54b4f6fbd149e9f8e4de77658ce58143a1af0e3785e4e6475127e9","sqlite_version":"3.53.1","system":"Linux"},"fixed_environment":{"libc":["glibc","2.39"],"machine":"x86_64","os_release":{"ID":"ubuntu","VERSION_ID":"24.04"},"package_scope":"No third-party packages used or inventoried; standard-library sqlite3 only","packages":{},"python_abi":"cpython-312-x86_64-linux-gnu","python_implementation":"CPython","python_version":"3.12.14","sqlite_capabilities":{"connection_autocommit_attribute":true,"default_autocommit":-1,"default_in_transaction":false,"default_isolation_level":"","legacy_transaction_control_constant":true},"sqlite_compile_options_sha256":"600e922c0614cd07a1640976eb2e283b43072322af46cbeb0df7a998990095cb","sqlite_source_id":"2026-05-05 10:34:17 c88b22011a54b4f6fbd149e9f8e4de77658ce58143a1af0e3785e4e6475127e9","sqlite_version":"3.53.1","system":"Linux"},"failure":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","python_context_and_select_did_not_open_outer_transaction","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","outermost_release_ends_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":false,"isolation_level":""},"error":"reopened_rows_match_independent_fixture_oracle","error_type":"AssertionError","forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"broken","outer_begin_preceded_savepoint":false,"phase":"reopen_database","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","BEGIN ","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)","ROLLBACK"],"status":"check_failed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"01c6731a1e45e63e7a64cb4bb60da3adaca46a70000c320354ddaf8d345b7ab0","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":3,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null],[3,"LAB_savepoint",250]],"transaction_sql":["SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work","BEGIN ","ROLLBACK"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":false,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":false,"point":"after_release"},{"in_transaction":true,"point":"after_later_write"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","broken"],"exit_code":2,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"python_context_and_select_did_not_open_outer_transaction\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"outermost_release_ends_transaction\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": false, \"isolation_level\": \"\"}, \"error\": \"reopened_rows_match_independent_fixture_oracle\", \"error_type\": \"AssertionError\", \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"broken\", \"outer_begin_preceded_savepoint\": false, \"phase\": \"reopen_database\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"BEGIN \", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\", \"ROLLBACK\"], \"status\": \"check_failed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"01c6731a1e45e63e7a64cb4bb60da3adaca46a70000c320354ddaf8d345b7ab0\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 3, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null], [3, \"LAB_savepoint\", 250]], \"transaction_sql\": [\"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\", \"BEGIN \", \"ROLLBACK\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": false, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": false, \"point\": \"after_release\"}, {\"in_transaction\": true, \"point\": \"after_later_write\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.028366,"stdout_sha256":"df580fe1477330beac4ca122fbb3bede5532c30ca0ddccb8fe6c8a6b5e20e0d5","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"success":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","real_outer_transaction_active_before_savepoint","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","release_retains_outer_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved","reopened_rows_match_independent_fixture_oracle","trace_confirms_begin_savepoint_release_rollback_order","both_attempted_writes_absent_after_outer_rollback"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":true,"isolation_level":""},"forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"fixed","outer_begin_preceded_savepoint":true,"phase":"complete","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","BEGIN","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)","ROLLBACK"],"status":"passed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":2,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"transaction_sql":["BEGIN","SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work","ROLLBACK"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":true,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":true,"point":"after_release"},{"in_transaction":true,"point":"after_later_write"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","fixed"],"exit_code":0,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"real_outer_transaction_active_before_savepoint\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"release_retains_outer_transaction\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\", \"reopened_rows_match_independent_fixture_oracle\", \"trace_confirms_begin_savepoint_release_rollback_order\", \"both_attempted_writes_absent_after_outer_rollback\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": true, \"isolation_level\": \"\"}, \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"fixed\", \"outer_begin_preceded_savepoint\": true, \"phase\": \"complete\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"BEGIN\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\", \"ROLLBACK\"], \"status\": \"passed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 2, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"transaction_sql\": [\"BEGIN\", \"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\", \"ROLLBACK\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": true, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_release\"}, {\"in_transaction\": true, \"point\": \"after_later_write\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.02958,"stdout_sha256":"149c1d5fe0f18641c56d0edcd0d643b623d82f221c8d12c5e521ba2445fc051e","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"negative_controls":{"begin-too-late":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","python_context_and_select_did_not_open_outer_transaction","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","outermost_release_ends_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":false,"isolation_level":""},"error":"reopened_rows_match_independent_fixture_oracle","error_type":"AssertionError","forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"begin-too-late","outer_begin_preceded_savepoint":false,"phase":"reopen_database","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","BEGIN","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)","ROLLBACK"],"status":"check_failed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"01c6731a1e45e63e7a64cb4bb60da3adaca46a70000c320354ddaf8d345b7ab0","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":3,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null],[3,"LAB_savepoint",250]],"transaction_sql":["SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work","BEGIN","ROLLBACK"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":false,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":false,"point":"after_release"},{"in_transaction":true,"point":"after_later_write"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","begin-too-late"],"exit_code":2,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"python_context_and_select_did_not_open_outer_transaction\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"outermost_release_ends_transaction\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": false, \"isolation_level\": \"\"}, \"error\": \"reopened_rows_match_independent_fixture_oracle\", \"error_type\": \"AssertionError\", \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"begin-too-late\", \"outer_begin_preceded_savepoint\": false, \"phase\": \"reopen_database\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"BEGIN\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\", \"ROLLBACK\"], \"status\": \"check_failed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"01c6731a1e45e63e7a64cb4bb60da3adaca46a70000c320354ddaf8d345b7ab0\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 3, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null], [3, \"LAB_savepoint\", 250]], \"transaction_sql\": [\"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\", \"BEGIN\", \"ROLLBACK\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": false, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": false, \"point\": \"after_release\"}, {\"in_transaction\": true, \"point\": \"after_later_write\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.029562,"stdout_sha256":"00b3d3430667c25551a74142b9eb9f4bbc35b308abbf96582a18c9699e49bd3d","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"isolation-none":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","python_context_and_select_did_not_open_outer_transaction","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","outermost_release_ends_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":false,"isolation_level":null},"error":"reopened_rows_match_independent_fixture_oracle","error_type":"AssertionError","forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"isolation-none","outer_begin_preceded_savepoint":false,"phase":"reopen_database","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)"],"status":"check_failed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"8eeedddc2865425419560033b65f045172f0fc2cb74a1661645294c4d0515542","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":4,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null],[3,"LAB_savepoint",250],[4,"LAB_later_outer_write",400]],"transaction_sql":["SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":false,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":false,"point":"after_release"},{"in_transaction":false,"point":"after_later_write"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","isolation-none"],"exit_code":2,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"python_context_and_select_did_not_open_outer_transaction\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"outermost_release_ends_transaction\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": false, \"isolation_level\": null}, \"error\": \"reopened_rows_match_independent_fixture_oracle\", \"error_type\": \"AssertionError\", \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"isolation-none\", \"outer_begin_preceded_savepoint\": false, \"phase\": \"reopen_database\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\"], \"status\": \"check_failed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"8eeedddc2865425419560033b65f045172f0fc2cb74a1661645294c4d0515542\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 4, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null], [3, \"LAB_savepoint\", 250], [4, \"LAB_later_outer_write\", 400]], \"transaction_sql\": [\"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": false, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": false, \"point\": \"after_release\"}, {\"in_transaction\": false, \"point\": \"after_later_write\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.028496,"stdout_sha256":"2fc27715506e47ab434336b1632f36f01cd04f9bb1ccd593f09586276e3d1976","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}}},"boundary_controls":{"commit-control":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","real_outer_transaction_active_before_savepoint","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","release_retains_outer_transaction","intentional_success_reached","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved","reopened_rows_match_independent_fixture_oracle"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":true,"isolation_level":""},"forced_exception":null,"mode":"commit-control","outer_begin_preceded_savepoint":true,"phase":"complete","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","BEGIN","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)","COMMIT"],"status":"passed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"2f57265d1d20e7a941b463c222a3030bec9cad0e75a568bfc03e64ab5c5eb54a","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null],[3,"LAB_savepoint",250],[4,"LAB_later_outer_write",400]],"integrity_check":"ok","persisted_row_count":4,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null],[3,"LAB_savepoint",250],[4,"LAB_later_outer_write",400]],"transaction_sql":["BEGIN","SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work","COMMIT"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":true,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":true,"point":"after_release"},{"in_transaction":true,"point":"after_later_write"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","commit-control"],"exit_code":0,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"real_outer_transaction_active_before_savepoint\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"release_retains_outer_transaction\", \"intentional_success_reached\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\", \"reopened_rows_match_independent_fixture_oracle\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": true, \"isolation_level\": \"\"}, \"forced_exception\": null, \"mode\": \"commit-control\", \"outer_begin_preceded_savepoint\": true, \"phase\": \"complete\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"BEGIN\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\", \"COMMIT\"], \"status\": \"passed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"2f57265d1d20e7a941b463c222a3030bec9cad0e75a568bfc03e64ab5c5eb54a\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null], [3, \"LAB_savepoint\", 250], [4, \"LAB_later_outer_write\", 400]], \"integrity_check\": \"ok\", \"persisted_row_count\": 4, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null], [3, \"LAB_savepoint\", 250], [4, \"LAB_later_outer_write\", 400]], \"transaction_sql\": [\"BEGIN\", \"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\", \"COMMIT\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": true, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_release\"}, {\"in_transaction\": true, \"point\": \"after_later_write\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.029119,"stdout_sha256":"0a84b73e154f409b7aed093e92358c253720f591b37f62e0f80544d81f35aac4","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"unreleased-control":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","python_context_and_select_did_not_open_outer_transaction","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved","reopened_rows_match_independent_fixture_oracle"],"configuration":{"autocommit":-1,"autocommit_false_application":null,"explicit_begin_before_savepoint":false,"isolation_level":""},"forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"unreleased-control","outer_begin_preceded_savepoint":false,"phase":"complete","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","ROLLBACK"],"status":"passed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":2,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"transaction_sql":["SAVEPOINT nested_work","ROLLBACK"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":false,"point":"python_context_entered"},{"in_transaction":false,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":false,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","unreleased-control"],"exit_code":0,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"python_context_and_select_did_not_open_outer_transaction\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\", \"reopened_rows_match_independent_fixture_oracle\"], \"configuration\": {\"autocommit\": -1, \"autocommit_false_application\": null, \"explicit_begin_before_savepoint\": false, \"isolation_level\": \"\"}, \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"unreleased-control\", \"outer_begin_preceded_savepoint\": false, \"phase\": \"complete\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"ROLLBACK\"], \"status\": \"passed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 2, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"transaction_sql\": [\"SAVEPOINT nested_work\", \"ROLLBACK\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": false, \"point\": \"python_context_entered\"}, {\"in_transaction\": false, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": false, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.029576,"stdout_sha256":"457bdb571587bb40cc37254cc45883848c70a4ea84cf6edabdb0a7ebb0e51801","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}}},"alternative_fix":{"checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","real_outer_transaction_active_before_savepoint","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","release_retains_outer_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved","reopened_rows_match_independent_fixture_oracle","trace_confirms_begin_savepoint_release_rollback_order","both_attempted_writes_absent_after_outer_rollback"],"configuration":{"autocommit":false,"autocommit_false_application":"fresh Connection.autocommit = False after trace registration","explicit_begin_before_savepoint":false,"isolation_level":""},"forced_exception":{"message":"LAB forced outer failure after nested work","type":"ForcedOuterFailure"},"mode":"autocommit-false","outer_begin_preceded_savepoint":true,"phase":"complete","reopen_sql_trace":["SELECT id, label, amount_cents FROM ledger ORDER BY id","PRAGMA integrity_check"],"sql_trace":["BEGIN","SELECT id, label, amount_cents FROM ledger ORDER BY id","SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)","SELECT id, label, amount_cents FROM ledger ORDER BY id","RELEASE SAVEPOINT nested_work","INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)","ROLLBACK","BEGIN","ROLLBACK"],"status":"passed","summary":{"database_lifecycle":"new disposable file; writer closed; separate read-only connection queried; temporary directory removed","database_sha256_after_close":"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6","expected_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"integrity_check":"ok","persisted_row_count":2,"persisted_rows_after_reconnect":[[1,"LAB_seed",100],[2,"LAB_한글",null]],"transaction_sql":["BEGIN","SAVEPOINT nested_work","RELEASE SAVEPOINT nested_work","ROLLBACK","BEGIN","ROLLBACK"]},"transaction_states":[{"in_transaction":false,"point":"fresh_connection"},{"in_transaction":true,"point":"python_context_entered"},{"in_transaction":true,"point":"before_savepoint"},{"in_transaction":true,"point":"after_savepoint"},{"in_transaction":true,"point":"after_release"},{"in_transaction":true,"point":"after_later_write"},{"in_transaction":true,"point":"after_context_exit"}],"versions":{"python":"3.12.14","sqlite":"3.53.1"},"execution":{"command":["<same Python interpreter>","-I","pipeline.py","autocommit-false"],"exit_code":0,"stdout":"{\"checks\": [\"fresh_connection_has_no_pending_transaction\", \"seed_rows_match_public_fixture\", \"real_outer_transaction_active_before_savepoint\", \"savepoint_opens_or_joins_real_transaction\", \"savepoint_write_visible_inside_connection\", \"release_retains_outer_transaction\", \"forced_outer_failure_caught\", \"reopened_database_integrity_is_ok\", \"seed_null_unicode_and_values_preserved\", \"reopened_rows_match_independent_fixture_oracle\", \"trace_confirms_begin_savepoint_release_rollback_order\", \"both_attempted_writes_absent_after_outer_rollback\"], \"configuration\": {\"autocommit\": false, \"autocommit_false_application\": \"fresh Connection.autocommit = False after trace registration\", \"explicit_begin_before_savepoint\": false, \"isolation_level\": \"\"}, \"forced_exception\": {\"message\": \"LAB forced outer failure after nested work\", \"type\": \"ForcedOuterFailure\"}, \"mode\": \"autocommit-false\", \"outer_begin_preceded_savepoint\": true, \"phase\": \"complete\", \"reopen_sql_trace\": [\"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"PRAGMA integrity_check\"], \"sql_trace\": [\"BEGIN\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (3, 'LAB_savepoint', 250)\", \"SELECT id, label, amount_cents FROM ledger ORDER BY id\", \"RELEASE SAVEPOINT nested_work\", \"INSERT INTO ledger (id, label, amount_cents) VALUES (4, 'LAB_later_outer_write', 400)\", \"ROLLBACK\", \"BEGIN\", \"ROLLBACK\"], \"status\": \"passed\", \"summary\": {\"database_lifecycle\": \"new disposable file; writer closed; separate read-only connection queried; temporary directory removed\", \"database_sha256_after_close\": \"6c129576cb081a1fd9e800637a08ce397401ee655656265472aa343fdf1b36a6\", \"expected_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"integrity_check\": \"ok\", \"persisted_row_count\": 2, \"persisted_rows_after_reconnect\": [[1, \"LAB_seed\", 100], [2, \"LAB_한글\", null]], \"transaction_sql\": [\"BEGIN\", \"SAVEPOINT nested_work\", \"RELEASE SAVEPOINT nested_work\", \"ROLLBACK\", \"BEGIN\", \"ROLLBACK\"]}, \"transaction_states\": [{\"in_transaction\": false, \"point\": \"fresh_connection\"}, {\"in_transaction\": true, \"point\": \"python_context_entered\"}, {\"in_transaction\": true, \"point\": \"before_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_savepoint\"}, {\"in_transaction\": true, \"point\": \"after_release\"}, {\"in_transaction\": true, \"point\": \"after_later_write\"}, {\"in_transaction\": true, \"point\": \"after_context_exit\"}], \"versions\": {\"python\": \"3.12.14\", \"sqlite\": \"3.53.1\"}}\n","stderr":"","elapsed_seconds":0.028514,"stdout_sha256":"d3c152cfffe1c8d520596ed6013367a8c9cfac48db02252ed31d59ebc88b41d8","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}},"probe_execution":{"command":["<same Python interpreter>","-I","probe.py"],"exit_code":0,"stdout":"{\"libc\": [\"glibc\", \"2.39\"], \"machine\": \"x86_64\", \"os_release\": {\"ID\": \"ubuntu\", \"VERSION_ID\": \"24.04\"}, \"package_scope\": \"No third-party packages used or inventoried; standard-library sqlite3 only\", \"packages\": {}, \"python_abi\": \"cpython-312-x86_64-linux-gnu\", \"python_implementation\": \"CPython\", \"python_version\": \"3.12.14\", \"sqlite_capabilities\": {\"connection_autocommit_attribute\": true, \"default_autocommit\": -1, \"default_in_transaction\": false, \"default_isolation_level\": \"\", \"legacy_transaction_control_constant\": true}, \"sqlite_compile_options_sha256\": \"600e922c0614cd07a1640976eb2e283b43072322af46cbeb0df7a998990095cb\", \"sqlite_source_id\": \"2026-05-05 10:34:17 c88b22011a54b4f6fbd149e9f8e4de77658ce58143a1af0e3785e4e6475127e9\", \"sqlite_version\": \"3.53.1\", \"system\": \"Linux\"}\n","stderr":"","elapsed_seconds":0.021323,"stdout_sha256":"5ce222db83646e870480be897cc782ff038504ee0a3c14a539bc57f62c3d7376","stderr_sha256":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},"requirements_fixed":"# No pip installation required. Only the Python standard library is used.\n# Measured runtime: CPython 3.12.14, SQLite 3.53.1, Linux x86_64.\n","test_sha256":"c1e2c39cf5c26f7740da99f4af7cbe8b7fff207b77bc070351802716bf56b395","fixture_sha256":"4ced2f426b2ba81a2458bdefc5d29fae204752d400bdd129ce7104b7556a0e6a","checks":["fresh_connection_has_no_pending_transaction","seed_rows_match_public_fixture","real_outer_transaction_active_before_savepoint","savepoint_opens_or_joins_real_transaction","savepoint_write_visible_inside_connection","release_retains_outer_transaction","forced_outer_failure_caught","reopened_database_integrity_is_ok","seed_null_unicode_and_values_preserved","reopened_rows_match_independent_fixture_oracle","trace_confirms_begin_savepoint_release_rollback_order","both_attempted_writes_absent_after_outer_rollback"],"change_plan":{"kind":"transaction_boundary","dependency_changes":[],"before":{"driver":"stdlib sqlite3","transaction_mode":"legacy","isolation_level":"","outer_context":"with connection","real_begin_before_savepoint":false},"after":{"driver":"stdlib sqlite3","transaction_mode":"legacy","isolation_level":"","outer_context":"with connection","real_begin_before_savepoint":true},"implementation":"pipeline.py: explicit connection.execute('BEGIN') before SAVEPOINT in fixed mode","preconditions":["fresh connection with no pending transaction","one owner of the complete outer transaction","no intervening commit before forced rollback"],"do_not_apply":["blindly issue BEGIN inside an existing transaction","combine this explicit-BEGIN branch with autocommit=False","infer SQLAlchemy or async integration validation from this stdlib test"],"separate_measured_alternative":"Connection.autocommit=False on a fresh connection (Python 3.12+ interface; measured only on recorded runtime)"},"artifact_sha256":{"pipeline.py":"c1e2c39cf5c26f7740da99f4af7cbe8b7fff207b77bc070351802716bf56b395","fixture.json":"4ced2f426b2ba81a2458bdefc5d29fae204752d400bdd129ce7104b7556a0e6a","probe.py":"9a770dcc7e7f9fcad127131c05059e36afa305e5e694d5aed7622c0879e8ef64","verify.py":"8c540a0d121eb57e6561731726416027fe4eac212dd70ebd502c657f37b54389","requirements-fixed.txt":"86cec9cfcca8162a8d71b8a4dec4e890bd108cef8a29e1c1e480e50ac378fa29","README.md":"c88360604fa389c906dc7a3eaf32be472860f217e0a3d9c0f848a177697ec49b","SOURCES.md":"9b5f62cc3ab50171a107dced982947d7bd501c3ae7a74217bac5f5315bd52d20","runs/autocommit-false.execution.json":"340f39dd478825aa0107994f85a617f1fd9308e67abd9ef1a19f090913815ef4","runs/autocommit-false.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/autocommit-false.stdout.log":"d3c152cfffe1c8d520596ed6013367a8c9cfac48db02252ed31d59ebc88b41d8","runs/begin-too-late.execution.json":"b71ff825811753cc39c3eb46edabf02830bb8731e5379fbba289e2d218be8726","runs/begin-too-late.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/begin-too-late.stdout.log":"00b3d3430667c25551a74142b9eb9f4bbc35b308abbf96582a18c9699e49bd3d","runs/broken.execution.json":"df168c085b93deeeb8f7c898db12cc221d90313d925d85632c05715e75cb6301","runs/broken.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/broken.stdout.log":"df580fe1477330beac4ca122fbb3bede5532c30ca0ddccb8fe6c8a6b5e20e0d5","runs/commit-control.execution.json":"5e43c9020be60f9043cf126dc9fb245c7b98537c45b0e0cc60f174da7d8d0ccd","runs/commit-control.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/commit-control.stdout.log":"0a84b73e154f409b7aed093e92358c253720f591b37f62e0f80544d81f35aac4","runs/fixed.execution.json":"d38ce2f9fbddd832cee737d3f90474cb5ddfa881cce0a9cb94ab55d342ab6d91","runs/fixed.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/fixed.stdout.log":"149c1d5fe0f18641c56d0edcd0d643b623d82f221c8d12c5e521ba2445fc051e","runs/isolation-none.execution.json":"cfca33a0a9c6d1f1f24e7b4d65961bef5d44e63fd9ebaa1729f346130484592e","runs/isolation-none.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/isolation-none.stdout.log":"2fc27715506e47ab434336b1632f36f01cd04f9bb1ccd593f09586276e3d1976","runs/probe.execution.json":"aee5f2ea7b88bf1b03640d5cafc783f3cf1dde9006d8ae58c5efd2ed4e8e2380","runs/probe.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/probe.stdout.log":"5ce222db83646e870480be897cc782ff038504ee0a3c14a539bc57f62c3d7376","runs/unreleased-control.execution.json":"76814e098daff410463255e89c7a9d6d828d7d64f1c299d3bf4208bdb3f79a03","runs/unreleased-control.stderr.log":"e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","runs/unreleased-control.stdout.log":"457bdb571587bb40cc37254cc45883848c70a4ea84cf6edabdb0a7ebb0e51801"},"sources":[{"title":"SQLite SAVEPOINT and outermost RELEASE semantics","url":"https://www.sqlite.org/lang_savepoint.html"},{"title":"Python 3.12 sqlite3 transaction control","url":"https://docs.python.org/3.12/library/sqlite3.html#transaction-control"},{"title":"SQLAlchemy SQLite legacy transaction mode and SAVEPOINT","url":"https://docs.sqlalchemy.org/en/20/dialects/sqlite.html#legacy-transaction-mode-with-the-sqlite3-driver"}],"scope":"Measured on Linux x86_64, CPython 3.12.14 and SQLite 3.53.1, using only standard-library sqlite3. In a disposable file database, a SAVEPOINT released before a real outer BEGIN leaves its row after a forced later failure. A separate read-only connection observes 3 rows instead of the 2 seed rows. Explicit BEGIN before SAVEPOINT restores exact seed rows after rollback (12 checks). Controls measure BEGIN-too-late, isolation_level=None without BEGIN, successful commit, and unreleased SAVEPOINT rollback. Connection.autocommit=False is separately executed and passes on this runtime; this attribute was added in Python 3.12. No SQLAlchemy/ORM integration, async driver, concurrency, power-loss durability, package upgrade, alternate journal mode, other OS, other Python version or other SQLite version was tested. All data is public and synthetic. Matching recorded metadata is not proof of application compatibility.","record_id":"470a5b9df9da6fc6b733999865d903a57dd1f053fe195f31e740932672eecc4b"},"free":true,"feedback_required":false,"files":{"bundle":"https://execution-evidence-lab.tuned-drake-1114.chatgpt.site/downloads/sqlite-savepoint-outer-rollback/bundle.zip","probe":"https://execution-evidence-lab.tuned-drake-1114.chatgpt.site/downloads/sqlite-savepoint-outer-rollback/probe.py","test":"https://execution-evidence-lab.tuned-drake-1114.chatgpt.site/downloads/sqlite-savepoint-outer-rollback/pipeline.py","probe_role":"Historical environment probe"}}