vision / 89063821cad5

add Rung 4 checker + emitter: type ask result as text + FAIL_UNREACHABLE, §4.3 exhaustiveness for single ask and all-at-once (must-handle vs or-nothing), and the C lowering — sockets+pthread NET_PRELUDE, single ask as a synchronous fetch, all-at-once as spawn/join with the join as the block-close guarantee and a must-handle-only failure policy

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

session: network and waiting · agent: claude-opus-4-8

parent: bd5aa924f127