a73x

c4c105af

docs: CLAUDE.md's end invariant names the never-up tile's exception

a73x   2026-08-28 19:53

Commit message
docs: CLAUDE.md's end invariant names the never-up tile's exception

CLAUDE.md
Old New
@@ -131,7 +131,10 @@ real pty), `wsclient` (browser stand-in), `rawmode`, `delaypipe`, `render`.
131 `muxd upgrade` is refused while any session is ending rather than carry 131 `muxd upgrade` is refused while any session is ending rather than carry
132 a masterless pty across the exec. A daemon with no arm answers nothing 132 a masterless pty across the exec. A daemon with no arm answers nothing
133 and the client banners `[daemon too old to end a session]`. The tile 133 and the client banners `[daemon too old to end a session]`. The tile
134 leaves on the next list, not on the keypress. 134 leaves on the next list, not on the keypress — EXCEPT a tile that has
135 never come up, which names no session to end: `x` there closes the tile
136 locally, because a pump parked in `dial` reads no ask and birthing onto
137 an `unreachable` row is a designed path.
135 - **A daemon lives until `muxd stop`; emptiness is not an exit.** `x` ends a 138 - **A daemon lives until `muxd stop`; emptiness is not an exit.** `x` ends a
136 session, never a box: `reap` and `pumpOnce` answer nothing, a shell's code 139 session, never a box: `reap` and `pumpOnce` answer nothing, a shell's code
137 reaches that shell's own clients as `exit_status`, and an emptied daemon 140 reaches that shell's own clients as `exit_status`, and an emptied daemon