sockets: Update documentation (#884)

* Update sockets documentation:
- Limit the prose to about 80 characters per line.
- Describe POSIX equivalents of the error codes.
- Removed outdated `stream` info from:
    - `resolve-addresses`
    - `tcp-socket::receive`
- Describe shared ownership semantics of sockets and their streams/futures as we landed on in #870
- Capture the "lessons learned" so far:
    - TCP & UDP `connect` may update the socket's local address. See bytecodealliance/wasmtime#12589
    - TCP `bind` should always set SO_REUSEADDR. See bytecodealliance/wasmtime#12402
    - send/receive buffer sizes may be dynamically adjusted by the OS. See bytecodealliance/wasmtime#12561
    - Windows does not perform an implicit bind on UDP `send`.

* Update proposals/sockets/wit-0.3.0-draft/types.wit

Co-authored-by: Bailey Hayes <ricochet@users.noreply.github.com>

* Apply suggestions from code review

Co-authored-by: Bailey Hayes <ricochet@users.noreply.github.com>

---------

Co-authored-by: Bailey Hayes <ricochet@users.noreply.github.com>

Author: badeend

proposals/sockets/TcpSocketOperationalSemantics-0.3.0-draft.md

@@ -33,7 +33,7 @@ stateDiagram-v2
     state "closed" as Closed
 
 
-    [*] --> Unbound: create-tcp-socket() -> ok
+    [*] --> Unbound: create() -> ok
     Unbound --> Bound: bind() -> ok
     Unbound --> Connecting: connect()
 

proposals/sockets/wit-0.3.0-draft/ip-name-lookup.wit

@@ -7,6 +7,9 @@ interface ip-name-lookup {
     @since(version = 0.3.0-rc-2026-02-09)
     enum error-code {
         /// Unknown error
+        ///
+        /// This is an escape hatch for WASI implementations to handle failures
+        /// that can not be categorized under any of the other error codes.
         unknown,
 
         /// Access denied.
@@ -37,9 +40,9 @@ interface ip-name-lookup {
 
     /// Resolve an internet host name to a list of IP addresses.
     ///
-    /// Unicode domain names are automatically converted to ASCII using IDNA encoding.
-    /// If the input is an IP address string, the address is parsed and returned
-    /// as-is without making any external requests.
+    /// Unicode domain names are automatically converted to ASCII using IDNA
+    /// encoding. If the input is an IP address string, the address is parsed
+    /// and returned as-is without making any external requests.
     ///
     /// See the wasi-socket proposal README.md for a comparison with getaddrinfo.
     ///
@@ -49,9 +52,6 @@ interface ip-name-lookup {
     /// with at least one address. Additionally, this function never returns
     /// IPv4-mapped IPv6 addresses.
     ///
-    /// The returned future will resolve to an error code in case of failure.
-    /// It will resolve to success once the returned stream is exhausted.
-    ///
     /// # References:
     /// - <https://pubs.opengroup.org/onlinepubs/9699919799/functions/getaddrinfo.html>
     /// - <https://man7.org/linux/man-pages/man3/getaddrinfo.3.html>