diff --git a/docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json b/docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json
index c6e905a..e9d8bac 100644
--- a/docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json
+++ b/docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json
@@ -866,7 +866,10 @@
   "packages_total": 30,
   "partial_credit": false,
   "new_engine_or_full_roster_runs_for_ledger": 0,
-  "all_prior_failures_retained": true,
+  "all_prior_failures_retained": false,
+  "formal_test_raw_and_earlier_reviews_retained": true,
+  "prior_failure_retention_scope": "Kept: the raw output of every formal test (natives, registered validations, full rosters of S b06fec1, a073ccb and f5fe219), the earlier review results and deliveries, the failed local and diagnostic run logs and the receipts. Not kept as original bytes: the first run of the a073ccb follow-up script derivation (its two outputs, its stdout and the first script bytes; the failure text was transcribed from the conversation) and the two stage-only UI diagnostic copies of repair 2 (their logs, transcribed generating commands and derived-from source hashes are kept); see record_gaps_kept. No earlier S evidence is reused for the new S.",
+  "correction_note": "2026-10-25: all_prior_failures_retained was written true in the first version of this record; it is false because of the record gaps above (Root observation). The earlier version stays in the Git history (commit 8a2ea74).",
   "CLI_auth_recovered": false,
   "no_new_human_utterance": true
 }
diff --git a/docs/plans/original-completion-2026-10-02/plan_validation.json b/docs/plans/original-completion-2026-10-02/plan_validation.json
index af00ca8..639030f 100644
--- a/docs/plans/original-completion-2026-10-02/plan_validation.json
+++ b/docs/plans/original-completion-2026-10-02/plan_validation.json
@@ -243,7 +243,7 @@
     "facility_value_contracts_validation.json": "bf490a9ca585c48fc318e76c4a069ef244827d828d46e6415399f7710590dd16",
     "performance_audit.json": "0b630b15a392c3e0366f1362bfe4ddacb968f915f54549f82e4d6fa315384762",
     "progress_contract.json": "ccbdfce8c8365d5c13f59531955708834cce45acd0e136561c95295dfdb5df77",
-    "progress_snapshot.json": "26df613ebe1f3e05b48d9a79d660ecd90af328d3003c9aef7811306b90cfdab1",
+    "progress_snapshot.json": "9cc9c1502c04b13f4e0389ac2d8a8f263ede1d41f9c57beac2f889c15bbf7503",
     "progress_validator_guard_checks.json": "72ee513fcf1cad85c24bfd0a4b472f425f6acf117928ece0f6b41e29018da627",
     "progress_validator_guard_checks.r01.json": "14c26adffa5a1938241db4912e50ea54b660641ee6fee2e412d467dce14d0519",
     "requirement_coverage.json": "03b10e4da367579db502d0671a6e0dda36fd385111c6f1c0084acaff7605f593",
@@ -253,6 +253,6 @@
     "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
     "validate_plan.py": "2f698fbf38d3b16713835f99aaa391df9ebc30f44547f272644de19efb91f50a",
     "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
-    "work_packages.json": "a3c790b0f2b2c1adac24d19c7547136d20d0df11769c2810809deb169d017f29"
+    "work_packages.json": "dfd1bb4adf29178379bdd189bcf5cea9c7906bbd1aa59dd5e4136da7398ab38f"
   }
 }
diff --git a/docs/plans/original-completion-2026-10-02/progress_snapshot.json b/docs/plans/original-completion-2026-10-02/progress_snapshot.json
index 39894a3..2810cfd 100644
--- a/docs/plans/original-completion-2026-10-02/progress_snapshot.json
+++ b/docs/plans/original-completion-2026-10-02/progress_snapshot.json
@@ -10799,8 +10799,8 @@
     "main_base": "0b59d7c23c301cf014343e217827cb2d837cc11c",
     "evidence": {
       "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json",
-      "bytes": 49009,
-      "sha256": "e505d3045896741193d42b32bd69f1be7b6420eecec3c726f0cdf6b4c7d5ce29"
+      "bytes": 49987,
+      "sha256": "d1799f166f340f9500f60333fbf7ba01681d926dd8c0fd4d655051c2966a4721"
     },
     "independent_reviewer_session": "local_4e746265-c2a6-4576-a894-84cbb0b7fc46",
     "independent_result_sha256": "1f530e6c4e6158a469271d287763fc8a573295f44f04dd26bf9b5e6a93f8b737",
@@ -14443,8 +14443,8 @@
     "all4_normal_gates_passed": true,
     "proof": {
       "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json",
-      "bytes": 49009,
-      "sha256": "e505d3045896741193d42b32bd69f1be7b6420eecec3c726f0cdf6b4c7d5ce29"
+      "bytes": 49987,
+      "sha256": "d1799f166f340f9500f60333fbf7ba01681d926dd8c0fd4d655051c2966a4721"
     },
     "independent_review": {
       "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_INDEPENDENT_REVIEW_F5FE219.json",
diff --git a/docs/plans/original-completion-2026-10-02/work_packages.json b/docs/plans/original-completion-2026-10-02/work_packages.json
index 3a5e579..0cf43bd 100644
--- a/docs/plans/original-completion-2026-10-02/work_packages.json
+++ b/docs/plans/original-completion-2026-10-02/work_packages.json
@@ -8746,8 +8746,8 @@
         "evidence": [
           {
             "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json",
-            "bytes": 49009,
-            "sha256": "e505d3045896741193d42b32bd69f1be7b6420eecec3c726f0cdf6b4c7d5ce29",
+            "bytes": 49987,
+            "sha256": "d1799f166f340f9500f60333fbf7ba01681d926dd8c0fd4d655051c2966a4721",
             "scope": "P16-01-DISMISS auxiliary ten conditions formally completed; original P16-01 remains incomplete (recruitment, market/debt acquisition, cost per category); original credit zero",
             "linked_at_jst": "2026-10-25T18:51:22.217493+09:00"
           },
@@ -8803,8 +8803,8 @@
             },
             "formal_proof": {
               "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json",
-              "bytes": 49009,
-              "sha256": "e505d3045896741193d42b32bd69f1be7b6420eecec3c726f0cdf6b4c7d5ce29"
+              "bytes": 49987,
+              "sha256": "d1799f166f340f9500f60333fbf7ba01681d926dd8c0fd4d655051c2966a4721"
             },
             "acceptance_record": {
               "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_ACCEPTANCE_4CA3BBE.md",
@@ -8847,8 +8847,8 @@
           "auxiliary": "P16-01-DISMISS",
           "proof": {
             "path": "docs/plans/original-completion-2026-10-02/execution/p16-01-dismiss/DISMISS_FORMAL_COMPLETION_4CA3BBE.json",
-            "bytes": 49009,
-            "sha256": "e505d3045896741193d42b32bd69f1be7b6420eecec3c726f0cdf6b4c7d5ce29"
+            "bytes": 49987,
+            "sha256": "d1799f166f340f9500f60333fbf7ba01681d926dd8c0fd4d655051c2966a4721"
           },
           "state_unchanged": "planned",
           "noted_at_jst": "2026-10-25T18:51:22.217493+09:00",