{ "doc": "fix7-p0-rehearsal-execution-plan", "date": "2026-06-12", "scope": "ISOLATED_CLONE_ONLY_NO_PRODUCTION_CONTACT", "table_C_rehearsal_execution_plan": [ {"step": "RX-0", "command": "mktemp -d + seed sqlite birth_registry(3) + executor model", "target": "local clone", "expected_mutation": "clone only (create)", "rollback": "dispose temp dir", "allowed": true}, {"step": "RX-1", "command": "SELECT rows twice (entry==exit invariant)", "target": "local clone", "expected_mutation": "none (read-only)", "rollback": "n/a", "allowed": true}, {"step": "RX-2", "command": "BEGIN; INSERT id=4; SELECT(applied); ROLLBACK", "target": "local clone", "expected_mutation": "in-transaction only, aborted", "rollback": "ROLLBACK", "allowed": true}, {"step": "RX-3", "command": "cp db snap; INSERT id=5 (commit); cp snap db (restore)", "target": "local clone", "expected_mutation": "committed then restored from snapshot", "rollback": "restore-from-snapshot", "allowed": true}, {"step": "RX-4", "command": "shasum canonical executor model before/after", "target": "local clone", "expected_mutation": "none (integrity invariant)", "rollback": "n/a", "allowed": true}, {"step": "RX-5", "command": "hardened_dryrun_validator.check_rollback_proof + --selftest + negative control", "target": "frozen JSON", "expected_mutation": "none", "rollback": "n/a", "allowed": true}, {"step": "RX-6", "command": "rehearsal_bad_input_probes.py (10 fail-closed)", "target": "local static", "expected_mutation": "none", "rollback": "n/a", "allowed": true}, {"step": "PROD-APPLY", "command": "(production birth apply / REAL_RUN / QT001 / cutover)", "target": "production", "expected_mutation": "production", "rollback": "n/a", "allowed": false, "note": "FORBIDDEN in this lane; requires production OPT-4 + per-action grants + proven production rollback"} ], "forbidden_steps_attempted": false, "production_mutation": false }