From 4e03eb143c30f625730dc4fbf8470b75916cd221 Mon Sep 17 00:00:00 2001 From: japabu Date: Mon, 28 Sep 2026 16:42:00 +0200 Subject: [PATCH 1/2] Decide the three open program names, and write down the shared-machine rule fsd becomes fileserver, blockd becomes diskserver, soundd becomes soundserver; files stays the file manager's. Record the decision in the supervisor track alongside the already-decided names (init -> supervisor, netd -> netstack, logd -> logkeeper, sshd -> sshserver), moving all three out of "open with the owner". The rename stage's search exit already covers all seven old names, so it needs no change. Also add a Workflow bullet next to "Agents never run QEMU": every agent leaves the shared machine as it found it, stopping what it started and removing the worktrees and scratch output it no longer needs. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01W6rME2DoqwjcYFStYHHY4j --- CLAUDE.md | 1 + .../the-supervisor-is-host-tested-and-owns-the-stop.md | 7 +++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CLAUDE.md b/CLAUDE.md index f64b2c9ddf0..05dd9d0fbe4 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -71,6 +71,7 @@ The testing rules live where they are enforced: known reds in `src/redlist.rs`, - `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. +- **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. - **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. ## 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. From 9fb2316da8fc514c63dba7282ad512d8acfd239d Mon Sep 17 00:00:00 2001 From: japabu Date: Mon, 28 Sep 2026 20:27:33 +0200 Subject: [PATCH 2/2] Move the leave-the-machine-clean bullet after the line it followed "Both produce large output" refers to `cargo run` and `cargo test` two bullets up; the leave-the-machine-clean bullet had landed between them. Move it back to directly after "Both", unchanged. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01W6rME2DoqwjcYFStYHHY4j --- CLAUDE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CLAUDE.md b/CLAUDE.md index ab8ce6192b8..386aa11acb3 100644 --- a/CLAUDE.md +++ b/CLAUDE.md @@ -71,8 +71,8 @@ The testing rules live where they are enforced: known reds in `src/redlist.rs`, - `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. -- **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. - **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