Cover search exhaustion and fallback selection

docs/roadmap/remediation.md

@@ -74,6 +74,8 @@ sequence-item, and budget checks to verify the extraction.
 
 ## Finding 3 — Exhaustion and lazy fallback lack focused regression coverage
 
+**Status** — Complete. Public tests cover search exhaustion, root-only main context, and missing fallbacks when they win or are shadowed.
+
 **Priority P3.** The context-selection test uses an existing fallback when
 checking that main derivation wins. It would still pass if the loader
 prematurely opened that fallback. The no-base tests use `NoSource()`, and