dryrun-execution-evidence.json
{ "doc": "fix7-p0-dryrun-execution-evidence", "date": "2026-06-11", "authority_of_this_doc": "DRYRUN_NON_AUTHORITY; records the actual staging/temp dry-run execution of dryrun-design.json DR-0..DR-5", "production_target": false, "staging_only": true, "no_vector_raw_evidence_pointer": "raw logs local at /tmp/fix7p0-dryrun.J70a0q/dryrun/logs/ + /tmp/fix7p0-dryrun.J70a0q/packet/logs/, hashed in HASH_MANIFEST.txt, regenerable via RERUN.sh; NVSZ root still owner/operator-pending (V02-PB-NVSZ-1)", "steps": [ { "id": "DR-0", "name": "Precondition readback (planning validator)", "production": false, "command": "python3 planning_packet_validator.py", "cwd": "/tmp/fix7p0-dryrun.J70a0q/recon-planning", "expected_exit": 0, "actual_exit": 0, "readonly": true, "log": "logs/A_verify_inputs.log", "verdict": "PASS", "evidence_present": true, "note": "all planning gates PASS; execution still blocked" }, { "id": "DR-1", "name": "Seal-vs-bytes recheck (PC-3)", "production": false, "command": "fetch canonicalizer rev3 -> recompute sha256 + utf8 byte count -> compare to P7 pin", "cwd": "/tmp/fix7p0-dryrun.J70a0q/dryrun", "expected_exit": 0, "actual_exit": 0, "readonly": true, "log": "logs/DR1_seal_vs_bytes.log", "verdict": "PASS", "evidence_present": true, "result": "sha256 49c386a9..b734d0 == P7 pin AND utf8_bytes 38756 == pinned 38756 (exact); rev3 confirmed (blueprint doc revision 3)" }, { "id": "DR-2", "name": "Stage operative blueprint doc (temp, new)", "production": false, "command": "author operative_blueprint_STAGED.md in /tmp referencing only sealed digests; cross-check no invented 64-hex tokens", "cwd": "/tmp/fix7p0-dryrun.J70a0q/dryrun", "expected_exit": 0, "actual_exit": 0, "readonly": false, "artifact_hash": "30bdca6e5562d0b412d32fb19542b3fa44bd73594393b763a578801f810afca4", "log": "logs/DR2_DR3_DR4_rollback.log", "verdict": "PASS", "evidence_present": true, "result": "6 hex tokens, 0 invented; DR-2_DIGEST_CROSSCHECK PASS; rolled back (RB-2)" }, { "id": "DR-3", "name": "Stage canonicalizer operative-status marker (temp copy)", "production": false, "command": "prepend OPERATIVE_STATUS marker to /tmp canon copy; verify body-below-marker == P7 pin", "cwd": "/tmp/fix7p0-dryrun.J70a0q/dryrun", "expected_exit": 0, "actual_exit": 0, "readonly": false, "artifact_hash": "91c520d94cb0f6eac3e024416a6a75a9664fa4a3c189af81a3c0d9c6bd55d864", "log": "logs/DR2_DR3_DR4_rollback.log", "verdict": "PASS", "evidence_present": true, "result": "marker-only diff; body-below-marker sha256 == 49c386a9..b734d0; rolled back to PIN/38756 (RB-3)" }, { "id": "DR-4", "name": "Stage governance addendum + collision scan (temp)", "production": false, "command": "collision-scan proposed FIX7 dry-run object IDs vs reserved ranges + registry max; stage addendum stub; reconcile against concurrent T2 378..388", "cwd": "/tmp/fix7p0-dryrun.J70a0q/dryrun", "expected_exit": 0, "actual_exit": 0, "readonly": false, "artifact_hash": "1cddd95e11f4a1a08dda84d33d6fd6ea3fcccd5d8b3e11178b4e80859b377d4b", "log": "logs/DR2_DR3_DR4_rollback.log; reconcile logs/DR4_collision_reconcile.log", "verdict": "PASS", "evidence_present": true, "result": "first scan TKT-OBJ-378..395 = 0 collisions vs then-known ranges; reconciliation discovered concurrent T2 378..388 -> renumbered final block to TKT-OBJ-389..406, re-scanned = 0 collisions; APPLY_NOW=NO; rolled back (RB-4); canonical registry JSON/MD never touched" }, { "id": "DR-5", "name": "Reconstruct + fail-closed proof in clean temp", "production": false, "command": "bash RERUN.sh (planning packet) -> shasum -c -> validator -> bad_input_probes.py", "cwd": "/tmp/fix7p0-dryrun.J70a0q/recon-planning", "expected_exit": 0, "actual_exit": 0, "readonly": true, "log": "logs/A_verify_inputs.log", "verdict": "PASS", "evidence_present": true, "result": "RERUN_RESULT: PASS; shasum -c 14/14 OK; probes 15/15 fail-closed; any_fail_open=false" } ], "all_steps_readonly_or_rolled_back": true, "production_mutation_in_dryrun": false }