add interpolation (§1.13 Part 1): template strings with holes holding any expr — §1.12 inherited inside holes by construction (hole bodies scan as CODE, pushed as sealed sub-levels; identical teaching error to a bare line); numbers free, {{ }} literal, bytes-in-hole rejected, world-prim-in-hole lifts >>; vis_interp builder, owned text freed; objects/{the prefix}/{the rest} proven exact in text_probe oracle; 1294/1294, oracle 1/1, ASan-clean

dev · 18 hours ago · 2026-06-24 · 702.9 KB

session: text construction · agent: claude-opus-4-8

$ koh steal kepr.uk/vision@231a1aa64169
·
← 77c1b4246206 3666b99ca324 →
⇓ download .face