{ "doc": "fix7-p0-clone-rollback-evidence", "date": "2026-06-12", "scope": "ISOLATED_CLONE_ONLY_NO_PRODUCTION_CONTACT", "clone_realpath": "/private/tmp/fix7-rehearsal-clone.XXXXXX", "readonly_entry_exit_invariant": { "hash_in": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "hash_out": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "entry_equals_exit": true }, "canonical_executor_integrity": { "before_sha256": "b589a14a6a5424f1ad2a4c660571b48895c3227a85559d244a9d1ca12114f714", "after_sha256": "b589a14a6a5424f1ad2a4c660571b48895c3227a85559d244a9d1ca12114f714", "unchanged": true, "note": "model of sql/prod/99_run_all.sql; never mutated (not a rollback entry)" }, "entries": [ { "id": "RB-CLONE-TXN", "surface": "clone birth_registry (sqlite) -- transactional BEGIN..INSERT..ROLLBACK", "method": "open transaction, insert birth row id=4, ROLLBACK; in-transaction state captured as applied", "before_rows": 3, "after_apply_rows": 4, "after_rollback_rows": 3, "before_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "after_apply_hash": "b49ebad8dce114a644533b6bcf4a319a796b355322edb6144cbaf5a3b680e4a4", "after_rollback_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "expected_restored_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "restored_match": true, "apply_mutated": true, "verify_after_rollback": "row count before==after (3==3); content hash restored" }, { "id": "RB-CLONE-SNAP", "surface": "clone birth_registry (sqlite) -- committed insert + snapshot restore", "method": "snapshot db, COMMIT insert birth row id=5, restore from before-state snapshot", "before_rows": 3, "after_apply_rows": 4, "after_rollback_rows": 3, "before_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "after_apply_hash": "d368c20551bcc9ee0fc7a6814cb36e09ef321cc894b625fb99abb93405293388", "after_rollback_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "expected_restored_hash": "a1fe3e7e5b84a52753a25ae9b4ac34d2732fe42061842e592e107b2fb44f7eef", "restored_match": true, "apply_mutated": true, "verify_after_rollback": "row count before==after (3==3); content hash restored from snapshot" } ], "production_mutation": false }