vision / 3666b99ca324

add slicing + membership (§1.13 Part 2): 1-based inclusive the first/last n letters of, letters from onward/to of (over-length saturates); starts with/ends with/contains; hash-split differential proves the first 2 letters + letters 3 onward == Zig hash[0..2]/hash[2..] bit-identical; %expect 1 documents the benign dangling-of; 1330/1330, oracle 1/1, ASan-clean

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

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

parent: 231a1aa64169