vision / 93353a846b1a

lists in the memory model + the explicit memory: parser (Rung-5's demand-deferred piece): a list is heap-owned like a fetched body — non-escaping freed at the verb close, escaping surfaced unless a memory: block states 'lives as long as <container>'. Refine escape to alias-only (is_alias): reading a list (indexed/anchor/length/for each) extracts by-value and does NOT escape it, only the whole list flowing out does — fixes a false positive and keeps the network surface unchanged. explain memory now reports lists automatic/explicit. All four escape scenarios correct; Rungs 1-5 oracle still green, ASan clean

dev · 5 days ago · 2026-06-22 · 359.2 KB

session: lists rung · agent: claude-opus-4-8

parent: 02efdca2f8e8