diff --git a/docs/TRUSTED-BASE-REDUCTION-POLICY.adoc b/docs/TRUSTED-BASE-REDUCTION-POLICY.adoc
index 5f490088..15672cf8 100644
--- a/docs/TRUSTED-BASE-REDUCTION-POLICY.adoc
+++ b/docs/TRUSTED-BASE-REDUCTION-POLICY.adoc
@@ -191,7 +191,7 @@ first (rough P0/P1/P2 ordering):
 |===
 | Priority | Repo | Why this one first
 
-| P0 | `ephapax`             | 3 `Admitted`s in `formal/Semantics.v` already have a discharge plan (memory: `project_ephapax_preservation_closure_plan`); annotate while closing.
+| P0 | `ephapax`             | 1 `Admitted` in `formal/Semantics.v` (`preservation`); was 3 at audit time, 2 discharged via https://github.com/hyperpolymath/ephapax/pull/146[ephapax#146]. Discharge plan in `ROADMAP.adoc` § "Preservation closure plan" + `formal/PRESERVATION-DESIGN.md` (four-layer redesign on branch `proof/l1-region-threading-design`). Migration filed: https://github.com/hyperpolymath/ephapax/pull/164[ephapax#164].
 | P0 | `boj-server`          | Reference implementation — formalise the existing harness as the canonical example.
 | P1 | `absolute-zero`       | 72 Coq + 315 Lean markers across 6638 proof files; needs the schema before any single-repo close-out is tractable.
 | P1 | `maa-framework`       | 134 markers in 25 files (high density); investigate whether vendored or original.