diff --git a/ROADMAP.adoc b/ROADMAP.adoc
index ca756b1..d7aa668 100644
--- a/ROADMAP.adoc
+++ b/ROADMAP.adoc
@@ -62,8 +62,9 @@ are refused
 
 |3d. Import the estate's fully proved `TropicalAdapterPath.lean` behind
 the `Marches/Tropical.lean` seam. Do NOT paraphrase it. It lives in
-hyperpolymath/tropical-types (lake package `tropical-resource-typing`) at
-`e172f8a`, on Lean v4.13.0. Decided 2026-10-14: *depend, tracking latest*.
+hyperpolymath/tropical-types (lake package `tropical-resource-typing`); read
+on 2026-10-14 at `e172f8a`, then on Lean v4.13.0 (historical; the current
+pin is in `lakefile.toml`). Decided 2026-10-14: *depend, tracking latest*.
 `lakefile` requires tropical-types at a pinned commit, and the weekly
 re-pin bot keeps that commit current. Prerequisite, upstream in
 tropical-types: build on marches' toolchain (hyperpolymath/tropical-types#65).