WAI dev and the relay close a WebSocket cleanly; Quantum Studio opens its course from a link #538

Merged

dcharlot merged 4 commits from wai/relay-ws-close-drain-2 into main 2026-10-30 07:52:11 -04:00

Conversation 0 Commits 4 Files changed 10 +88 -17

2026-10-29

Transaction Science

Two tests held to what they test: a set's items less their paths, Ctrl+Enter by its entry ...

- wai-quantum engine::sets: "the same set runs to the same bytes, less the wall
  clock" stripped each item's elapsed_ms and receipt but kept its Merkle path.
  A path's sibling leaves digest the other items' results, elapsed_ms included,
  so two runs whose items took different times gave different paths, as on a
  loaded linux runner (#533, sets.rs:556: the second path hash differed). The
  path goes too; verify() still checks it against the root.
- Quantum Studio's browser test: after Ctrl+Enter it waited for the run button
  and an idle status, which can both hold before the run has begun, and then
  counted the history. It now waits for the history's new entry.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

b3f543ea8a

• View at this point in history

2026-10-29 16:38:31 -04:00

Transaction Science

wai dev: the relay's tunnel half-closes and reads the client's last bytes ...

wai dev's origin tunnels /moq to the relay. When the relay ended its side, the
tunnel shut the client's socket both ways at once (and the relay's when the
client ended first). A browser's WebSocket Close, sent right after its
CLOSE_SESSION, was then still unread, and a socket shut with the peer's bytes
unread is reset, not closed. WebKit reports the reset ("WebSocket connection to
ws://…/moq failed: Socket is not connected"): WAI Studio's "no console error"
check failed in WebKit on macOS after its pre-call test (no error after leaving
the room, one after the pre-call test).

Each side's end now goes on as a half-close. After the relay's end the tunnel
reads on (discarding what can no longer go to the relay) until the client ends
its side, or for at most 2 s. A relay that does not end its side after the
client has gone is shut after 5 s.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

36f03354d3

• View at this point in history

2026-10-29 16:38:31 -04:00

Transaction Science

joule-moq-relay: a closed session's pipe is read until the peer ends it ...

When a session closed (the peer's WT_CLOSE_SESSION, or this end's), the mux's
reader stopped reading at once; the writer then sent its Close and the socket
went. A browser sends its WebSocket Close right after its CLOSE_SESSION, so
that frame was still unread when the socket was shut, and a socket shut with
unread bytes is reset rather than closed. WebKit reports the reset on the
console ("WebSocket connection to ws://…/moq failed: Socket is not
connected"), which failed WAI Studio's "no console error" check in WebKit on
macOS after its pre-call test (which opens the relay's binding, waits for
SETUP and closes). Counted per step: no error after leaving the room, one after
the pre-call test.

The reader now reads on after the close, discarding, until the peer ends the
pipe or for at most 2 s, so the closing handshake finishes and the socket
closes cleanly.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

e97e6d52de

• View at this point in history

2026-10-29 16:38:31 -04:00

Transaction Science

Quantum Studio: #course opens the circuits course; llms.txt lists the site's pages ...

- Quantum Studio: `#course` in the page's address opens the Course pane, and
  `#course=<lesson>` opens it at that lesson; it goes with `#qasm=…`. A test
  opens `/#course=bell` and finds the pane open at the Bell lesson, with no
  console error. Both READMEs say so.
- The generated llms.txt (and llms-full.txt) list the quantum IDE, the
  interference course and WAI's home beside the console and Quantum Studio,
  and say the Studio's course opens from `#course`. The site's sync no longer
  needs to add them.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

2bb4d4ae86

• View at this point in history

2026-10-29 16:38:31 -04:00