diff --git a/CLAUDE.md b/CLAUDE.md
index f64b2c9ddf0..386aa11acb3 100644
--- a/CLAUDE.md
+++ b/CLAUDE.md
@@ -70,8 +70,9 @@ The bar is not yet the tree. The standing failures are declared rather than remo
 The testing rules live where they are enforced: known reds in `src/redlist.rs`, tiers in `src/tiers.rs`, the PR gate and the nightly in `.github/workflows/`. Operationally:
 
 - `cargo run` builds everything (toolchain, kernel, bootloader, userland, image) and launches QEMU; `--build-only` skips the launch. `cargo test` runs the QEMU harness; `cargo test --workspace --exclude toyos-build` runs every host-crate suite.
-- **Agents never run QEMU.** An agent verifies with host tests and builds the image at most; the orchestrator runs every guest test, one suite at a time, and an agent reports only once nothing it started is still running.
+- **Agents never run QEMU.** An agent verifies with host tests and builds the image at most; the orchestrator runs every guest test, one suite at a time.
 - **Both produce large output**: run them in the background and read the output file — `[N characters truncated]` means data was lost. A full boot is under a second; incremental builds finish in seconds.
+- **Leave the machine as you found it.** The development machine is shared: every agent stops what it started, removes the worktrees and scratch build output it no longer needs, and never leaves an emulator, a build or a watcher running.
 
 ## Repository layout
 
diff --git a/issues/isolation/the-supervisor-is-host-tested-and-owns-the-stop.md b/issues/isolation/the-supervisor-is-host-tested-and-owns-the-stop.md
index a9c410d9d9c..c095893263b 100644
--- a/issues/isolation/the-supervisor-is-host-tested-and-owns-the-stop.md
+++ b/issues/isolation/the-supervisor-is-host-tested-and-owns-the-stop.md
@@ -27,9 +27,9 @@ nothing.
    | `init` | `supervisor` |
    | `netd` | `netstack` |
    | `logd` | `logkeeper` |
-   | `soundd` | open with the owner |
-   | `blockd` | open with the owner |
-   | `fsd` | open with the owner |
+   | `soundd` | `soundserver` |
+   | `blockd` | `diskserver` |
+   | `fsd` | `fileserver` |
    | `sshd` | `sshserver` |
    | `compositor` | unchanged |
 
@@ -82,7 +82,6 @@ nothing.
 
 ## Open with the owner
 
-- The new names of `fsd`, `soundd` and `blockd`.
 - Before stage 3: the ask's ABI (no syscall is proposed); whether a program
   started through `launcher` is asked or only stopped; whether
   `SYS_SHUTDOWN`/`SYS_REBOOT` change at all.