Cleanup public escapes

Drop "frozen" public escapes, and recompute in Start/Stop so Opto gets a  precise escape set.
Rename XInt.free -> XInt.alloc
Fix some String tests to not escape by default

1 files changed, 9 insertions, 2 deletions

diff --git a/docs/roadmap.md b/docs/roadmap.md
index 81bb8abb..0fa3933b 100644
--- a/docs/roadmap.md
+++ b/docs/roadmap.md
@@ -40,8 +40,15 @@ Remaining work:
   object should cost only for that graph and any affected existing nodes.
 - Make `GlobalEscapeNode`'s shared call/summary scan incremental. Compilation
   unit Stops now reuse its result, but updating that result still scans all
-  calls and unloaded summaries. Review the phase-dependent escape normalization
-  and reliance on the previous result before changing propagation further.
+  calls and unloaded summaries. Handle contributors changing or disappearing,
+  rather than only accumulating unions. The
+  [outside-world escape flow](../chapter29/docs/escape-flow.md), now in
+  Chapters 28a/28b/29, has removed the
+  frozen public inventory and previous-result escape normalization; the shared
+  scan remains.
+- Improve precision for identities discovered after Opto's foreign seed is
+  established. They currently remain in the cofinite foreign tail. Preserve
+  monotone propagation and imported callback behavior when refining this bound.
 
 Whole-program TypeCheck is acceptable for now; incremental checking is an
 optional later improvement. Expensive assertion walks are outside this