w0-bytes-io — std bytes I/O + raises Net + trusted-net RFC¶

Date: 2026-05-22
Plan: 2026-05-16-li-httpd-plan.md · todo w0-bytes-io

Summary¶

Ships the httpd P0 wire-buffer and trusted-network prerequisites in lic:

std/bytes: bytes_len, bytes_slice, bytes_append, bytes_byte_at, bytes_push_byte, stringview_*, and Reader/Writer incremental APIs.
raises Net: effect propagation enforced on std/runtime/seam.li externs; policy tests in li-tests/effects/ and li-tests/net_trusted/.
Trusted syscall RFC: 2026-05-16-li-trusted-net-rfc.md accepted; v1 axioms in docs/semantics/trusted.lean.

./scripts/check-w0-bytes-io.sh
./scripts/httpd-plan-gates.sh

Path	Role
`li-tests/bytes/reader_writer_smoke.li`	Reader/Writer round-trip
`li-tests/net_trusted/seam_policy_ok.li`	`tcp_listen` + `raises Net`
`li-tests/net_trusted/seam_missing_net.li`	compile_fail without `raises Net`
`packages/li-bytes/src/lib.li`	package re-exports `std.bytes`