From ce3b04603d7af995004291d9a7eb668f313e6772 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Fri, 6 Nov 2026 16:06:02 -0800 Subject: 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 --- docs/roadmap.md | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'docs') 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 -- cgit v1.2.3