Repository navigation
INT-03 follow-up: socket recv/send/accept primitives — byte-level buffer marshalling #487
Description
Activity
- added a commit that references this issue
on May 31, 2026 Preview1 sockio lowering is on the branch:
net_recv/net_send/net_accept→sock_recv/sock_send/sock_accept, EffectNet, stub tests + gatedtests/componentize/sockio_smoke.sh.Landed on
wasi-485-closeout(main...feat/wasi-485-closeout). Index #175 closed.PR opened: #757 (
feat/wasi-485-closeout→main).Landed in #757 (merged to
main).net_recv/net_send/net_accept→sock_recv/sock_send/sock_accept, EffectNet, gatedtests/componentize/sockio_smoke.sh.Closing this follow-up.
ADR-015 S6b shipped
net_shutdown(lowers towasi_snapshot_preview1.sock_shutdown; command-adapter bridges towasi:sockets/tcp) — the on-ramp. Larger socket primitivessock_recv/sock_send/sock_acceptneed byte-level buffer and network-address marshalling that goes beyond what S6b shipped.Pattern is settled: the byte-level wasm IR (
I32Load8U/I32Store8and siblings) landed in #339 alongsideenv_at/arg_atand is what unblocks this. Helper shape will mirrorgen_str_at_via_get(lib/wasi_runtime.ml): allocate iovec + byte buffer, call the WASI import, copy bytes into a length-prefixed AS string for the recv side; for send, walk the AS string into an iovec; for accept, read the new fd + remote-addr fields.Effect surface stays
Net(reserved at S6b). Component adapter already bridges towasi:sockets/tcpinternally — no host-sidewasi:sockets/*requirement.Ledger: INT-03 follow-up (S2 important — not substrate-blocking; the on-ramp suffices for
net_shutdownconsumers today). Refs #180.