diff --git a/docs/installation.md b/docs/installation.md
index fa041bfcc..0a8f3fb32 100644
--- a/docs/installation.md
+++ b/docs/installation.md
@@ -154,7 +154,10 @@ its supported command-line interface does not attach to an already-open
 document. While another live REA session owns the same target and loader
 profile, a second session reports the owning run ID instead of opening a
 duplicate document. Closing the owning REA session releases this guard; Hopper
-keeps its document open.
+keeps its document open. A later REA session can therefore open another
+document for the same target. REA does not currently identify, focus, or reuse
+that existing GUI document, and the supported launcher exposes no attach or
+reuse action for it.
 
 On supported Linux distributions, approved setup verifies Hopper's official
 `.deb`, `.rpm`, or Arch package before invoking the native package manager.
diff --git a/skills/reverse-engineer-anything/references/evidence-workflows.md b/skills/reverse-engineer-anything/references/evidence-workflows.md
index 3deba9815..f05216b1e 100644
--- a/skills/reverse-engineer-anything/references/evidence-workflows.md
+++ b/skills/reverse-engineer-anything/references/evidence-workflows.md
@@ -1,9 +1,9 @@
 # Evidence, comparison, and verification workflows
 
-REA results are Evidence v2. Cite evidence IDs and preserve authority,
-limitations, coverage, and residual unknowns. Read the smallest deterministic
-page that answers the question. Continue from a returned next offset while
-`has_more` is true only when exhaustive coverage matters.
+REA results are inline evidence. Cite evidence IDs and preserve authority,
+limitations, coverage, and residual unknowns. Inventory and search tools return
+their complete results in one call; use focused queries when the full inventory
+is not needed.
 
 Use `record_unknown` only with explicit approval and name the authority or
 environment still required. Supply supporting and contradicting evidence IDs.