Socket options on live handles and accept defaults (#34) - #36

Merged

proggeramlug merged 11 commits into

mainfrom

Sep 15, 2026

Commits on Sep 15, 2026

Add a typed socket-option API on live handles
proggeramlug
committed
d72cbd8
Report a creation-time nodelay WASI cannot apply, and cover the option surface
proggeramlug
committed
cf596f8
Add the sockopts lane report
proggeramlug
committed
08b8904
Point the socket-option docs at DESIGN 7.7 and simplify a test helper
proggeramlug
committed
bbd1cfa
Document the keep-alive partial-failure contract
proggeramlug
committed
aa14acd
Refuse an unappliable accept default at the accept, not only at listen
proggeramlug
committed
994b1d6
Prove a listener's accept defaults travel with detach/attach
proggeramlug
committed
5c60117
Update the lane report for the transfer contract
proggeramlug
committed
ad2ad63
Record the final verification runs in the lane report
proggeramlug
committed
7d97b2a
Assert a floor, not an exact size, for kernel-chosen socket buffers
proggeramlug
committed
b87bae6
Record the green CI run in the lane report
proggeramlug
committed
84cfa4f