@ai-ecoverse/slicc-kernel 1.154.3 → 1.156.0

package/README.md

@@ -453,7 +453,7 @@ The module's default export (or its `main` export) is called with a context and
 - `wait(pid, { untraced })` resolves with `{ status }` once a child ends, or `{ status: 128 + signal, signal }` when a signal ended it, without blocking the program; with `untraced: true` it also resolves when the child stops, with `{ status: 128 + signal, signal, stopped: true }`, as `waitpid` with `WUNTRACED` (a child's `wait({ untraced })` is the same), and options that aren't an object are `EINVAL`; `kill(pid, signal)` signals any process, by number or as `'SIGTERM'` (the default);
 - `sudo(args)`, what the [`sudo`](#sudo) command calls: `args` are its arguments after `sudo`, and it resolves with `{ pid }`, the command the kernel started as the program's child, to `wait` for; `{ run }`, an argv to run as the caller (with `users: 'off'`); `{ list }`, the text of `sudo -l`; or `{ error, errno }`, the message to print;
 - `crontab({ action, user?, text? })`, what the [`crontab`](#cron) command calls: `action` is `'list'`, `'remove'` or `'install'` (with the table as `text`), on the caller's own table or, for an effective uid of 0, on `user`'s. It resolves with `{ text }` (the table for `list`, `''` otherwise) or `{ error }`, the message to print. A malformed call is `EINVAL`;
-- `net`: `listen({ port, host, backlog })` and `connect({ host, port, signal })` (`host` defaults to `127.0.0.1`) on the kernel's loopback, the same sockets WASIX programs use, so a JS server is reached by other processes, by the page as `<port>.kernel.localhost` (`loopbackFetch`, `dial`) and by attached clients. A listener has its `port` (as bound, so port `0` picks a free one), `accept({ signal })`, `close()` and `for await` over its connections. A connection has `local` and `remote` addresses, `readable` and `writable` web streams (closing the writable shuts down the sending side, so the peer reads the end), and `close()`. The loopback is IPv4 (`127.0.0.1` by default, or `0.0.0.0`), so an IPv6 host such as `::1` fails with `EADDRNOTAVAIL` for both `listen` and `connect`, and binding and connecting fail as they would for a WASIX program (`EADDRINUSE`, `ECONNREFUSED`, `EADDRNOTAVAIL`). `sync.net.listen` takes the same options and gives the same listener, bound and listening when it returns, so its `port` is known at once, as Node's `listen()` needs ([#1398](https://github.com/ai-ecoverse/slicc-kernel/issues/1398)); it needs the sync lane. A blocked accept, read or write waits without holding anything in the kernel, so aborting it or closing the socket leaves nothing behind. A write to a connection the peer closed fails with `EPIPE` and no `SIGPIPE`;
+- `net`: `listen({ port, host, backlog })` and `connect({ host, port, signal })` (`host` defaults to `127.0.0.1`) on the kernel's loopback, the same sockets WASIX programs use, so a JS server is reached by other processes, by the page as `<port>.kernel.localhost` (`loopbackFetch`, `dial`) and by attached clients. A listener has its `port` (as bound, so port `0` picks a free one), `accept({ signal })`, `close()` and `for await` over its connections. A connection has `local` and `remote` addresses, `readable` and `writable` web streams (closing the writable shuts down the sending side, so the peer reads the end), `close()`, and `reset()`, which closes it with an RST as Node's `resetAndDestroy()` does ([#1530](https://github.com/ai-ecoverse/slicc-kernel/issues/1530)): on the kernel's loopback, the peer's pending and later reads and its writes fail with `ECONNRESET` instead of seeing the end, and bytes still in flight to it are dropped. A TLS connection (`secure()`, a `tls` connect on the loopback) resets the same way. On an uplink connection `reset()` closes at once with a FIN, as the transport can't send an RST: bytes still buffered for the peer are discarded instead of sent. The loopback is IPv4 (`127.0.0.1` by default, or `0.0.0.0`), so an IPv6 host such as `::1` fails with `EADDRNOTAVAIL` for both `listen` and `connect`, and binding and connecting fail as they would for a WASIX program (`EADDRINUSE`, `ECONNREFUSED`, `EADDRNOTAVAIL`). `sync.net.listen` takes the same options and gives the same listener, bound and listening when it returns, so its `port` is known at once, as Node's `listen()` needs ([#1398](https://github.com/ai-ecoverse/slicc-kernel/issues/1398)); it needs the sync lane. A blocked accept, read or write waits without holding anything in the kernel, so aborting it or closing the socket leaves nothing behind. A write to a connection the peer closed fails with `EPIPE` and no `SIGPIPE`;
 - `net.connect({ host, port, tls: { servername, alpn, rejectUnauthorized, ca, path, cert, key, passphrase, sni, checkHostname, keylog } })` takes one of two paths. By default it's **A1, TLS through the transport** ([#914](https://github.com/ai-ecoverse/slicc-kernel/issues/914)), described first below. For a destination the uplink routes it can also be **A2, a TLS handshake in the kernel** ([#922](https://github.com/ai-ecoverse/slicc-kernel/issues/922)), described after it. `conn.tls.path` (`'transport'` or `'kernel'`) and `conn.tls.substitutes` say which one was taken.
   - **What it does:** there's no handshake in the kernel. The connection carries plain HTTP/1.1 (and WebSocket upgrades) to the realm proxy's HTTP path for the origin `https://<servername or host>[:port]`, exactly as a `CONNECT` through `127.0.0.1:3128` does after the kernel terminates its TLS. The transport (the page's `fetch` or WebSocket, or the uplink's) makes the real TLS connection and verifies it. So `https.request` over a socket, keep-alive agents, `agent-base` and `wss://` clients work with the transport's semantics. That includes sealed placeholders in headers, which reach the transport exactly as from `ctx.fetch`.
   - **The `tls` property:** the connection's `tls` is `{ path: 'transport', substitutes: true, protocol: 'transport', alpnProtocol: 'http/1.1', authorized: true, servername }`. `authorized` means the transport verified the server. There's no peer certificate chain and no TLS version of the kernel's own, so don't read it as a real handshake's result.
@@ -501,6 +501,7 @@ The module's default export (or its `main` export) is called with a context and
       - Before dialling, `cert` without `key` (or the reverse) is `EINVAL`. A key that doesn't match the leaf is `ERR_OSSL_X509_KEY_VALUES_MISMATCH`, a wrong passphrase `ERR_OSSL_BAD_DECRYPT`, a missing one `ERR_OSSL_CRYPTO_INTERRUPTED_OR_CANCELLED`, and a key the engine can't read `ERR_OSSL_UNSUPPORTED`.
       - `pfx` is `ENOTSUP`: pass `cert` and `key`.
       - A server that requires a certificate and gets none refuses with an alert. On TLS 1.2 that fails the connect (`ERR_SSL_HANDSHAKE_FAILURE`). On TLS 1.3 the client's side of the handshake is already done, so the next read or write fails with `ERR_SSL_FATAL_ALERT`, as Node's fails after `secureConnect`.
+      - **A reply that isn't TLS** ([#1548](https://github.com/ai-ecoverse/slicc-kernel/issues/1548)) is told apart by its first record's header, in OpenSSL's order, so a program gets Node's code: an SSLv2 version is `ERR_SSL_WRONG_VERSION_NUMBER`; a length over 16704 bytes `ERR_SSL_PACKET_LENGTH_TOO_LONG` (most plain-text replies, `HTTP/1.1 …` among them); a major version other than 3 `ERR_SSL_HTTP_REQUEST` for `GET ` or `PUT ` and `ERR_SSL_WRONG_VERSION_NUMBER` otherwise (`220 …`, `SSH-2.0…`, `+OK …`); a record over 16384 bytes `ERR_SSL_DATA_LENGTH_TOO_LONG`; and a handshake record that isn't a ServerHello `ERR_SSL_UNEXPECTED_MESSAGE`. Anything else stays `ERR_SSL_HANDSHAKE_FAILURE`, or `ECONNRESET` for a server that closes.
       - **A fatal alert from the server**, at the handshake or after it, is in the error: its `detail` ends in ` (alert <n>)`, and a JS program's error has `alert: n`, the alert's description number (116 certificate_required, 40 handshake_failure).
     - **`keylog: true`** ([#1504](https://github.com/ai-ecoverse/slicc-kernel/issues/1504), tls-engine 4.2.0-10) gives the session's NSS key log lines as `conn.tls.keylog`, a frozen list of strings: `CLIENT_RANDOM …` on TLS 1.2, the four `…_TRAFFIC_SECRET…` lines on TLS 1.3, the lines Node's `keylog` event and `SSLKEYLOGFILE` carry. **They are the session's secrets: anyone holding them and a capture of the traffic can read it.** So a keylogged session is never sealed (`substitutes: false`; a placeholder goes out as written), and `keylog` on the transport path (A1, where the page makes the TLS) is `ENOTSUP`. Without `keylog` the engine collects nothing. The kernel wipes its copies once the lines are in the reply (the engine zeroes its buffer as it hands them out); the lines reach the program as JS strings, which can't be wiped, so they live as long as the program keeps them, as with its own `key`. A TLS server takes `keylog` too (`listen({ tls })`, `secure(conn, { server: true })`), for every connection it serves.
     - **`sni: false`** sends no server name. The leaf is still checked against `servername` exactly as with SNI.

package/dist/kernel-worker.js

@@ -6097,8 +6097,8 @@ function link(a, b) {
     pipe.openRead();
     pipe.openWrite();
   }
-  a.attach({ rx: ba, tx: ab });
-  b.attach({ rx: ab, tx: ba });
+  a.attach({ rx: ba, tx: ab, peer: b });
+  b.attach({ rx: ab, tx: ba, peer: a });
 }
 var SERVE_CHUNK = 64 * 1024;
 var NEVER_ABORTED = new AbortController().signal;
@@ -6110,6 +6110,8 @@ var KernelSocket = class _KernelSocket {
   dialing;
   failed;
   reset;
+  abortive = false;
+  refused;
   local;
   peer;
   peerCred;
@@ -6146,20 +6148,25 @@ var KernelSocket = class _KernelSocket {
   }
   async read(max, signal) {
     const { rx } = this.connection();
+    if (this.refused) throw this.refused;
     if (this.readShut || max <= 0) return new Uint8Array(0);
     const bytes = await pipeCall(() => rx.read(max, signal));
+    if (this.refused) throw this.refused;
     if (bytes.length === 0 && this.reset) throw this.reset;
     return bytes;
   }
   async peek(max, signal) {
     const { rx } = this.connection();
+    if (this.refused) throw this.refused;
     if (this.readShut || max <= 0) return new Uint8Array(0);
     const bytes = await pipeCall(() => rx.peek(max, signal));
+    if (this.refused) throw this.refused;
     if (bytes.length === 0 && this.reset) throw this.reset;
     return bytes;
   }
   async write(bytes, signal) {
     const { tx } = this.connection();
+    if (this.refused) throw this.refused;
     if (this.writeShut) throw new KernelError("EPIPE");
     if (this.reset?.code === "EPROTO") throw this.reset;
     return pipeCall(() => tx.write(bytes, signal));
@@ -6346,10 +6353,11 @@ var KernelSocket = class _KernelSocket {
       handshaking = false;
       signal.removeEventListener("abort", abandon);
     }
-    this.link = uplinkLink(made2.conn, (err) => {
+    const plain3 = uplinkLink(made2.conn, (err) => {
       this.reset = err instanceof KernelError && err.code === "EPROTO" ? err : new KernelError("ECONNRESET");
       this.changes.wake();
     });
+    this.link = { ...plain3, ...raw2.peer ? { peer: raw2.peer } : {} };
     this.changes.wake();
     return made2.info;
   }
@@ -6467,8 +6475,22 @@ var KernelSocket = class _KernelSocket {
   setOption(level, name2, value2) {
     this.options.set(`${level}:${name2}`, value2);
   }
+  resetOnClose() {
+    this.connection();
+    this.abortive = true;
+  }
+  abort() {
+    const link2 = this.link;
+    if (link2.peer) link2.peer.resetBy();
+    else link2.tx.closeRead();
+  }
+  resetBy() {
+    this.refused ??= new KernelError("ECONNRESET");
+    this.changes.wake();
+  }
   close() {
     const was = this.state;
+    if (this.abortive && was === "connected") this.abort();
     this.state = "closed";
     this.dialing?.abort(new KernelError("ECONNABORTED"));
     this.dialing = void 0;
@@ -8090,7 +8112,7 @@ function satisfies(version, range2) {
 }
 
 // src/version.ts
-var KERNEL_VERSION = true ? "1.154.3" : "0.0.0-dev";
+var KERNEL_VERSION = true ? "1.156.0" : "0.0.0-dev";
 var OS_RELEASE = "6.0.0-slicc";
 function procVersion() {
   return `Linux version ${OS_RELEASE} (slicc-kernel ${KERNEL_VERSION}) #1 SMP PREEMPT_DYNAMIC
@@ -19445,6 +19467,7 @@ function openSession(o) {
 var Ciphertext = class {
   queue = [];
   ended = false;
+  opening = new Uint8Array(0);
   conn;
   session;
   constructor(conn, session) {
@@ -19453,11 +19476,19 @@ var Ciphertext = class {
   }
   hand(bytes) {
     if (bytes.length > 0) this.queue.push(bytes);
+    this.note(bytes);
+  }
+  note(bytes) {
+    if (this.opening.length >= OPENING) return;
+    const next3 = new Uint8Array(Math.min(OPENING, this.opening.length + bytes.length));
+    next3.set(this.opening);
+    next3.set(bytes.subarray(0, next3.length - this.opening.length), this.opening.length);
+    this.opening = next3;
   }
   async more() {
     if (this.queue.length === 0 && !this.ended) {
       const bytes = await this.conn.read();
-      if (bytes) this.queue.push(bytes);
+      if (bytes) this.hand(bytes);
       else this.ended = true;
     }
     if (this.queue.length === 0) {
@@ -19487,11 +19518,38 @@ async function send(conn, session) {
     }
   }
 }
-function refused2(engine, session, err) {
+var OPENING = 6;
+var PLAIN_MAX = 16384;
+var ENCRYPTED_MAX = PLAIN_MAX + 320;
+var HTTP_METHODS = ["GET ", "POST ", "HEAD ", "PUT ", "PATCH", "OPTIO", "DELET", "TRACE"];
+function headerClass(head) {
+  const [type, major, minor, hi, lo] = head;
+  if (major === 0 && minor === 2) return ["ERR_SSL_WRONG_VERSION_NUMBER", "wrong version number"];
+  const length2 = hi << 8 | lo;
+  if (length2 > ENCRYPTED_MAX) return ["ERR_SSL_PACKET_LENGTH_TOO_LONG", "packet length too long"];
+  if (major !== 3) {
+    const text = new TextDecoder("latin1").decode(head.subarray(0, 5));
+    if (HTTP_METHODS.some((m) => text.startsWith(m)))
+      return ["ERR_SSL_HTTP_REQUEST", "http request"];
+    return ["ERR_SSL_WRONG_VERSION_NUMBER", "wrong version number"];
+  }
+  if (length2 > PLAIN_MAX) return ["ERR_SSL_DATA_LENGTH_TOO_LONG", "data length too long"];
+  if (type === 22 && head.length > 5 && head[5] !== 2)
+    return ["ERR_SSL_UNEXPECTED_MESSAGE", "unexpected message"];
+  return void 0;
+}
+function recordRefusal(opening2) {
+  if (opening2.length < 5) return void 0;
+  const found = headerClass(opening2);
+  return found && new KernelError("EPROTO", `${found[0]}: ${found[1]}`);
+}
+function refused2(engine, session, err, opening2) {
   const flags2 = session.verifyResult;
   const code = verifyCode(flags2);
   if (code && flags2 !== -1)
     return new KernelError("EPROTO", `${code}: ${engine.verifyInfo(flags2).trim()}`);
+  const record2 = recordRefusal(opening2);
+  if (record2) return record2;
   const text = err instanceof TlsError ? err.message : String(err);
   return new KernelError("EPROTO", `ERR_SSL_HANDSHAKE_FAILURE: ${text}${alertOf(session)}`);
 }
@@ -19506,15 +19564,12 @@ async function handshake(conn, o, session, inbox) {
       done5 = session.handshake();
     } catch (err) {
       await send(conn, session).catch(() => void 0);
-      throw refused2(o.engine, session, err);
+      throw refused2(o.engine, session, err, inbox.opening);
     }
     await send(conn, session);
     if (done5) return;
     if (!await inbox.more()) {
-      throw new KernelError(
-        "ECONNRESET",
-        "the server closed the connection during the TLS handshake"
-      );
+      throw recordRefusal(inbox.opening) ?? new KernelError("ECONNRESET", "the server closed the connection during the TLS handshake");
     }
   }
 }
@@ -23272,6 +23327,7 @@ var SOCKET_OPS = [
   "sock-accept",
   "sock-connect",
   "sock-shutdown",
+  "sock-reset",
   "sock-name",
   "sock-getopt",
   "sock-setopt",
@@ -23339,6 +23395,9 @@ async function socketSyscall(req, proc) {
     case "sock-shutdown":
       anySocketAt(fds, req.fd).shutdown(req.how);
       return ok3();
+    case "sock-reset":
+      socketAt(fds, req.fd).resetOnClose();
+      return ok3();
     case "sock-name": {
       const socket = anySocketAt(fds, req.fd);
       const addr = req.peer ? socket.peer : socket.local;