@henols/c64-re-tools 0.1.12 → 0.2.0

package/bin/cli.mjs

@@ -26,14 +26,57 @@ const HERE = dirname(fileURLToPath(import.meta.url)); // installer/bin (packed)
 const PKG_ROOT = dirname(HERE);
 const SKILLS_SRC = join(PKG_ROOT, "skills");
 
+// The single version-resolution seam this repo maintains is
+// `.claude/mcp/vice/version.ts` (quick-260819-tsz, D-5). This package
+// deliberately does NOT import it: it ships without the seam file (its
+// `files[]` is `bin/`, `skills/`, `README.md`) and targets node >= 18, which
+// cannot type-strip the seam's `.ts` the way the vice-mcp package's own
+// node >= 22.18 runtime can. What follows is exactly the seam's own
+// precedence step 1 -- "read my own package.json's `.version`, trust it
+// when it is a real published number" -- not a second, independent
+// implementation of the resolution algorithm; there is no template/`-`
+// handling here because this package is never resolved from `VERSION`,
+// only ever published with a concrete version already stamped in. That
+// number is PRODUCED elsewhere: `scripts/version.mjs stamp` writes the
+// working-tree placeholder, and CI's `npm version` writes the real one at
+// publish time. Do not reimplement D-2's template-resolution rules here.
 const SELF = readJson(join(PKG_ROOT, "package.json")) ?? {};
 const SELF_VERSION = typeof SELF.version === "string" ? SELF.version : "0.0.0";
 const MCP_PKG = "@henols/vice-mcp";
-// Wire the project to the exact vice-mcp version this installer was built against.
-const MCP_VERSION =
-  (SELF.dependencies && typeof SELF.dependencies[MCP_PKG] === "string"
+// The dev placeholder every derived, publishable version string carries in
+// the working tree (R-2, quick-260819-tsz). Defined authoritatively as
+// `DEV_PLACEHOLDER` in `.claude/mcp/vice/version.ts` -- repeated here as a
+// literal, NOT imported, because this package deliberately ships without
+// that seam file (see the comment above) and targets node >= 18, which
+// cannot type-strip a `.ts` import the way the vice-mcp package's own
+// node >= 22.18 runtime can. This is the same disclosed divergence as
+// `SELF_VERSION` above: one literal, kept in sync by hand, documented here
+// so a future edit to the seam's placeholder is not missed.
+const MCP_DEV_PLACEHOLDER = "0.0.0-dev";
+// Wire the project to the exact vice-mcp version this installer was built
+// against -- EXCEPT when run from an unstamped dev checkout (MED-3):
+// `installer/package.json`'s dependency pin is the permanent working-tree
+// placeholder outside a CI-stamped publish job, and `@henols/vice-mcp` at
+// that literal version will never exist on the npm registry. Silently
+// writing it into a consumer's .mcp.json would 404 every time Claude Code
+// tries to launch the server, with no error until the user actually tries
+// to use it -- strictly worse than falling back to "latest". Fall back AND
+// warn loudly, so a developer testing the installer locally knows their
+// .mcp.json is unpinned rather than discovering it via a silent 404 later.
+const MCP_VERSION_RAW =
+  SELF.dependencies && typeof SELF.dependencies[MCP_PKG] === "string"
     ? SELF.dependencies[MCP_PKG].replace(/^[\^~]/, "")
-    : SELF_VERSION);
+    : SELF_VERSION;
+if (MCP_VERSION_RAW === MCP_DEV_PLACEHOLDER) {
+  console.error(
+    `c64-re-tools: WARNING -- running from an unstamped dev checkout (installer/package.json pins ` +
+      `${MCP_PKG}@${MCP_DEV_PLACEHOLDER}, the dev placeholder, not a real published version). ` +
+      `Falling back to "${MCP_PKG}@latest" in the generated .mcp.json instead of writing an ` +
+      `unresolvable pin. If you intended to test against a specific version, pass --vendor or fix ` +
+      `installer/package.json's dependency pin before packaging a release.`
+  );
+}
+const MCP_VERSION = MCP_VERSION_RAW === MCP_DEV_PLACEHOLDER ? "latest" : MCP_VERSION_RAW;
 
 function readJson(path) {
   try {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@henols/c64-re-tools",
-  "version": "0.1.12",
+  "version": "0.2.0",
   "description": "Installer that adds the C64 reverse-engineering skills and the VICE emulator MCP server (@henols/vice-mcp) to a project.",
   "type": "module",
   "bin": {
@@ -44,7 +44,7 @@
     "installer"
   ],
   "dependencies": {
-    "@henols/vice-mcp": "0.1.12"
+    "@henols/vice-mcp": "0.2.0"
   },
   "scripts": {
     "sync-skills": "node scripts/sync-skills.mjs",

package/skills/c64-program-recon/SKILL.md

@@ -168,5 +168,5 @@ editing a grade in place. File-changing work enters through a GSD command (`/gsd
 | A sprite decodes as noise | Check `$D015` first; a disabled sprite's registers are stale. Then check MCM — multicolor decoded as hires comes out twice as wide. |
 | Computed mode is "INVALID — screen goes black" | You caught the registers mid-update inside a raster split. Re-read. |
 | The emulator looks dead | Enumerate armed checkpoints before anything else. See hazard 2. |
-| `vice_keyboard_type` does nothing | The game polls `$DC00`/`$DC01` directly. Use `vice_keyboard_matrix`. |
+| `vice_keyboard_type` does nothing | The game polls `$DC00`/`$DC01` directly. Use `vice_keyboard_matrix` (**requires the fork backend** — see `references/observation-hazards.md` § 4 for the stock route). |
 | Two captures of the same checkpoint differ | Expected. Full-64K identity is impossible in principle; use `c64-ram-capture`'s drift rules. |

package/skills/c64-program-recon/references/control-flow.md

@@ -87,6 +87,11 @@ address to checkpoint when the emulator is next available — press RESTORE with
 until the line is released, so it is a press→release **edge**), then `vice_machine_reset` soft and
 hard, and record where the PC actually lands.
 
+**`vice_keyboard_restore` requires the fork backend.** The RESTORE key pulses the NMI line
+directly and is not part of the keyboard matrix, so stock's `KEYBOARD_FEED` (which only injects
+PETSCII text into the buffer) cannot produce it. Calling it on the stock backend returns an error
+naming the reason and the fork backend, rather than pulsing RESTORE.
+
 **Evidence:** derived mechanically from six three-run-verified captures; every value identical
 across all three runs of its release, so none of it is drift.
 **Confidence:** HIGH for the values and for the cross-release divergence. The *interpretation* of
@@ -156,6 +161,10 @@ at a title screen and again in gameplay, diff the two captures, and look for a s
 changed in zero page or low RAM. `vice_memory_compare` narrows this; `c64-ram-capture` § Compare
 two captures gives the volatility rules that stop you chasing drift.
 
+On stock, only `mode: 'ranges'` is served — capture the two states at different points in time and
+compare two live ranges. `mode: 'snapshot'` is refused with an explanatory message; there is no
+memory-only snapshot producer on either backend.
+
 ## Verified against this project — 2026-08-04
 
 Running `derive.mjs vectors` cold on both releases' `*-gameentry-run1.bin` returns `$01` = `$40`

package/skills/c64-program-recon/references/graphics.md

@@ -71,3 +71,9 @@ hardware registers are what the game uses.
 `vice_sprite_get` / `vice_sprite_inspect` do the pointer arithmetic and the multicolor bit-pair
 unpacking. Verify what they return once against a hand-resolved pointer — `derive.mjs sprites`
 gives you that hand resolution — then trust them.
+
+On stock, `vice_vicii_get_state`'s `$D018` pointers are reported **bank-relative**;
+`vice_sprite_get` resolves the absolute `screenBase` and per-sprite `dataAddress` for you.
+`vice_sprite_inspect`'s ASCII grid is the sprite's native 24x21 (hi-res) or 12x21 (multicolour)
+**data block** — it is **not** scaled by the `$D017`/`$D01D` expansion bits, so a sprite shown
+double-size on screen still renders at its native resolution in the grid.

package/skills/c64-program-recon/references/observation-hazards.md

@@ -80,6 +80,21 @@ Prefer the whole-chip reads — `vice_vicii_get_state`, `vice_cia_get_state`, `v
 — over raw register reads. Whether the VICE monitor's own read path is side-effect-free is
 **unverified**: treat it as verify-don't-assume rather than taking it on faith.
 
+On the stock backend, `vice_vicii_get_state`/`vice_cia_get_state` reads are `sidefx: false` with
+no argument able to override it — **VERIFIED**, asserted on the wire body by a regression test.
+Whether the emulator's own `MEM_GET` read path actually honours that flag for
+`$D01E`/`$D01F`/`$DC0D`/`$DD0D` — i.e. whether it truly cannot clear them — is **ASSUMED**, with
+no probe recorded in this repo; treat it as no worse than the fork's own unverified path, not as
+a proven guarantee. `vice_sid_get_state` is **fork-only**, since SID `$D400-$D418` is write-only
+in hardware and the binary monitor has no SID command. Also: on stock, an internal field the
+register map cannot expose is marked `{ available: false, reason }` in the answer, never a bare
+`0` — do not record a stock `0` from one of these fields as a measurement; check `available`
+first. A stock chip-state or sprite answer also **names the memory view it read** (`bank`, or
+`registerBank`/`dataBank`), read through the emulator's own `io`/`ram` banks, so it stays valid
+even while the program has I/O banked out ($01 driving the RAM/ROM/I-O switch). An answer with
+**no** bank field — an older transcript, or the fork backend — is suspect whenever `$01` may not
+have been `$37`: those bytes may be the RAM underneath the I/O area, not registers.
+
 ## 4. The keyboard buffer is not how games read keys
 
 **Evidence: live. Confidence: HIGH. Cost: an afternoon.**
@@ -88,6 +103,14 @@ Games and cracks poll the `$DC00`/`$DC01` matrix directly, bypassing the KERNAL
 `vice_keyboard_type` is invisible to them. Use `vice_keyboard_matrix`, and hold a key across a
 gate by releasing it at the trigger checkpoint, never earlier.
 
+**`vice_keyboard_matrix` requires the fork backend.** The binary monitor's `KEYBOARD_FEED` (0x72)
+only injects PETSCII text into the KERNAL keyboard buffer; the emulator recomputes CIA port B from
+its own keyboard array on every read, so there is no wire command that can drive the raw matrix —
+this is unrecoverable on stock, not merely unbuilt. On stock, use `vice_keyboard_type` /
+`vice_keyboard_petscii` when the gate reads the KERNAL buffer, or `vice_joystick_set` when it polls
+the matrix directly instead; either way, buffer injection is invisible to a program polling
+`$DC00`/`$DC01` itself, so a matrix-polling gate must be driven by the joystick or not at all.
+
 ## 5. Most state reads pause the emulator and do not resume it
 
 Read all state first, poll with `vice_ping` (the non-pausing poll), and resume **exactly once** at

package/skills/c64-program-recon/references/sound-and-input.md

@@ -53,12 +53,20 @@ One that programs `$DC04-$DC07` and enables timer A runs its own timebase.
   writing `$DD00` is usually talking to the drive.
 - **`$DC0D`/`$DD0D` clear the interrupt flags on read**, the same shape as `$D01E`/`$D01F`. Reading
   one steals an interrupt the game was about to service. Prefer `vice_cia_get_state`. The VICE
-  monitor's exact behaviour here is **unverified** — verify, don't assume.
+  monitor's exact behaviour here is **unverified** — verify, don't assume. On stock,
+  `vice_cia_get_state` reports the **read** side of `$xx0D` as `interruptStatus` and marks the
+  write-side enable mask `unavailable` — the two share one address with different meanings, so a
+  reader looking for "which interrupts are enabled" is not silently handed the flags that have
+  fired.
 - **Direct `$DC00`/`$DC01` polling is the norm, and it defeats `vice_keyboard_type`.**
   **Evidence: live, established on this project during recovery work. Confidence: HIGH. Cost: an
   afternoon.** Games and cracks bypass the KERNAL keyboard buffer and read the matrix directly.
   Assume it until shown otherwise, and drive input with `vice_keyboard_matrix` or the joystick
-  tools instead.
+  tools instead. **`vice_keyboard_matrix` requires the fork backend** — the binary monitor's
+  `KEYBOARD_FEED` only injects PETSCII buffer text and cannot drive the raw matrix. On stock, use
+  `vice_keyboard_type` / `vice_keyboard_petscii` when the gate reads the KERNAL buffer, or
+  `vice_joystick_set` when it polls the matrix directly; buffer injection stays invisible to a
+  program polling `$DC00`/`$DC01` itself.
 
 ## Finding input handling from the observable side
 

package/skills/c64-program-recon/references/tool-selection.md

@@ -14,11 +14,12 @@ usage, not measured). Individual rows that have since been exercised live are ma
 | What does the handler at this vector do? | `vice_disassemble` — the emulator's own decoder, not a dead listing |
 | Is this really the main loop? | `vice_checkpoint_add` + `vice_run_until` + `vice_registers_get` — fires once per frame ⇒ proven |
 | What code writes this? | `vice_watch_add` — finds **writers**. Best targets: `$D018`, VM+`$03F8`, `$D404` |
-| Whole-chip state without the read hazards | `vice_vicii_get_state` / `vice_sid_get_state` / `vice_cia_get_state` — **prefer these over raw register reads** |
-| Decode sprite data | `vice_sprite_get` / `vice_sprite_inspect` |
-| Find a known byte pattern | `vice_memory_search` |
-| Carry labels across sessions | `vice_symbols_load` / `vice_symbols_lookup` — ACME `--vicelabels` and regenerator2000 output share this channel |
-| Is the machine wedged, or did it stop itself? | `vice_diagnose` — five-state verdict with its evidence. **Reachable and proxy-intercepted as of 2026-08-04** (verified live). Triage tree: `vice-wedge-triage` |
+| Whole-chip VIC-II/CIA state without the read hazards | `vice_vicii_get_state` / `vice_cia_get_state` (**both backends**) — prefer these over raw register reads |
+| Whole-chip SID state without the read hazards | `vice_sid_get_state` (**requires the fork** — SID `$D400-$D418` is write-only in hardware and the binary monitor has no SID command; unrecoverable on stock) |
+| Decode sprite data | `vice_sprite_get` / `vice_sprite_inspect` (**both backends**) |
+| Find a known byte pattern | `vice_memory_search` (**both backends**) |
+| Carry labels across sessions | `vice_symbols_load` / `vice_symbols_lookup` (**both backends**) — ACME `--vicelabels` and regenerator2000 output share this channel |
+| Is the machine wedged, or did it stop itself? | `vice_diagnose` — five-state verdict with its evidence (the two backends' verdict sets differ by one; see `docs/stock-vice-parity.md` D-03). **Reachable and proxy-intercepted as of 2026-08-04** (verified live). Triage tree: `vice-wedge-triage` |
 | Replace a wedged instance | `vice_recycle` — destructive, requires a `reason`, and that reason is written into `.planning/incidents/` **before** anything is killed. The reason *is* the evidence record |
 | Read the restart epoch | **No tool does.** The proxy compares it around every forwarded call and raises drift itself; a value comes from that error or from `vice_diagnose` |
 
@@ -34,10 +35,14 @@ usage, not measured). Individual rows that have since been exercised live are ma
 
 ## Three traps in this table
 
-**`vice_run_until` has no working timeout.** Its schema documents `cycles` as *"not yet
-implemented"*, so a run to an address the program never reaches has nothing to bound it and looks
-exactly like a wedged emulator. Prefer `vice_checkpoint_add` + a bounded poll when the address is
-a hypothesis rather than a certainty. **Confidence: MEDIUM** — read off the schema, not reproduced.
+**`vice_run_until`'s timeout is backend-qualified — it has none on the fork, but stock bounds it
+(Phase 7, D-02).** On the fork, `cycles` is documented as *"not yet implemented"* and there is no
+`timeout_ms` either, so a run to an address the program never reaches has nothing to bound it and
+looks exactly like a wedged emulator; prefer `vice_checkpoint_add` + a bounded poll when the
+address is a hypothesis rather than a certainty. **Confidence: MEDIUM on the fork** — read off the
+schema, not reproduced. On stock, `timeout_ms` (default 30000, ceiling 600000) bounds the wait, and
+a timed-out answer says the machine is left halted rather than looking like a wedge — see
+`vice-wedge-triage` for the full triage judgement and its live evidence; do not restate it here.
 
 **`vice_diagnose` leaves the machine paused.** When it measures a cycle bracket it resumes the
 machine once or twice and then leaves it **paused** — resuming is your own next call. And a

package/skills/c64-ram-capture/SKILL.md

@@ -156,6 +156,11 @@ only after the provenance diff partitions loader from cracktro from game — see
 ## Find an entry point
 
 1. Press past any "hit any key" gate with `mcp__plugin_c64-re-tools_vice__vice_keyboard_matrix`.
+   **This call requires the fork backend** — the binary monitor's `KEYBOARD_FEED` only injects
+   PETSCII text into the KERNAL buffer and cannot drive the raw matrix. On stock, use
+   `vice_keyboard_type` / `vice_keyboard_petscii` when the gate reads the KERNAL buffer, or
+   `vice_joystick_set` when it polls the matrix directly; buffer injection stays invisible to a
+   program polling `$DC00`/`$DC01` itself.
 2. Step forward in batches with `mcp__plugin_c64-re-tools_vice__vice_execution_step`, reading
    `mcp__plugin_c64-re-tools_vice__vice_registers_get` after each batch.
 3. Stop when the program counter and the stack pointer both settle into a

package/skills/vice-wedge-triage/SKILL.md

@@ -5,8 +5,9 @@ description: Decide whether a VICE emulator that has stopped responding is genui
 
 # Triage a VICE that stopped moving
 
-**Four states look identical from outside, and the intuitive fix destroys a healthy machine in
-one of them.** Work the order below. Do not start with a remedy.
+**On the fork, four states look identical from outside; on stock, it is five, and the intuitive
+fix destroys a healthy machine in more than one of them.** Work the order below. Do not start with
+a remedy.
 
 | State | Cheap tell | Safe action |
 |---|---|---|
@@ -14,14 +15,22 @@ one of them.** Work the order below. Do not start with a remedy.
 | **Stopped itself at your checkpoint** | An armed *stopping* checkpoint on the live IRQ path | Delete/disable the checkpoint. **Never recycle** |
 | **Crashed and respawned** | The proxy raises epoch drift on the next forwarded call | Void the run, reboot from scratch. Already handled for you |
 | **Genuinely wedged** | Two consecutive cycle brackets read exactly `0` | `vice_recycle` with a reason, as a last resort |
+| **Monitor held elsewhere (stock only)** | A second client already holds this instance's single binary-monitor socket | Find the other holder. **Never recycle** — the instance is healthy, just claimed elsewhere |
 
 ```
-mcp__plugin_c64-re-tools_vice__vice_diagnose        # one call, no arguments, answers which of the five it is
+mcp__plugin_c64-re-tools_vice__vice_diagnose        # one call, no arguments, answers which state it is
 ```
 
-`vice_diagnose` returns a closed five-verdict vocabulary — `restarted`, `checkpoint_trap`,
-`wedged`, `stale_read_path`, `live` — with the evidence that produced it. Read its schema for the
-contract; this skill is the judgement around it.
+`vice_diagnose`'s verdict vocabulary differs by backend, because stock VICE's binary monitor
+services exactly one client and the fork's non-pausing `vice_ping` has no stock equivalent (see
+`docs/stock-vice-parity.md` D-03 for the full reasoning). The fork answers `restarted`,
+`checkpoint_trap`, `wedged`, `stale_read_path`, `live`; stock answers `restarted`,
+`checkpoint_trap`, `wedged`, `monitor_held_elsewhere`, `live`. Read the tool's own schema for the
+exact contract on whichever backend is active — as of **07-16 (WR-07)** this instruction is
+finally sound: `tools/list`'s advertised stock schema is the corrected stock manifest entry, not
+the fork's synthetic literal it was silently overwritten by before. Stock `vice_diagnose` can also
+answer a `diagnosis_unavailable` outcome when no verdict could be established at all — that is
+**not** a sixth verdict; see the table below.
 
 ## The order
 
@@ -31,7 +40,13 @@ contract; this skill is the judgement around it.
 2. **Read the verdict, not the vibe.** Each verdict has exactly one correct response — the table
    below. A verdict is not a suggestion to try things.
 3. **`diagnose` leaves the machine paused** when it ran a bracket. Resuming is your own next call.
-   Do not treat "still paused afterwards" as a symptom.
+   Do not treat "still paused afterwards" as a symptom. Every established verdict also reports
+   `machinePaused` plus `machinePausedSource` (07-15), so you can tell an actual observation from
+   an inference: `observed` means a wire `stopped`/`resumed`/`jam` event directly reported the
+   state; `structural` means it was inferred from the fact that every stock read halts the machine
+   (D-05), not from a specific event; `no_session` means no session was ever obtained (e.g. the
+   `monitor_held_elsewhere` verdict, or a `diagnosis_unavailable` acquisition failure) so no claim
+   about pause state is being made at all.
 4. **If the verdict is `wedged`, capture evidence before recovering.** `vice_recycle` requires a
    `reason`, and that string is written verbatim into a permanent, repo-tracked incident record
    under `.planning/incidents/` **before anything is killed**. That record is the evidence
@@ -43,11 +58,52 @@ contract; this skill is the judgement around it.
 
 | Verdict | What it means | Do |
 |---|---|---|
-| `live` | Cycles advanced | Resume and carry on. Suspect your own checkpoint conditions, not the emulator |
+| `live` | Cycles advanced | Resume and carry on. Suspect your own checkpoint conditions, not the emulator — **unless `evidence.jamObserved` is true** (below) |
 | `checkpoint_trap` | The machine stopped **itself** at an armed checkpoint | `vice_checkpoint_delete` or `vice_checkpoint_toggle` it, or `vice_execution_step` past it, then re-run `diagnose`. **Recycling here destroys a healthy instance** |
 | `restarted` | The epoch changed — a crash-and-respawn already happened | The run is void. `c64-ram-capture` § Void a run gives the artifact procedure. Reboot from `vice_disk_attach` |
-| `stale_read_path` | Some reads move while others do not | Do not trust any measurement taken across the boundary. Treat as void and re-derive |
-| `wedged` | Two brackets, zero cycles, no epoch change | Last resort: `vice_recycle` with a real reason |
+| `stale_read_path` **(fork only)** | Some reads move while others do not | Do not trust any measurement taken across the boundary. Treat as void and re-derive |
+| `monitor_held_elsewhere` **(stock only)** | A different client already holds this instance's single binary-monitor slot | Release or identify the other holder. **Never a reason to recycle** — recycling here destroys an instance that is not even wedged |
+| `wedged` | Two brackets, zero cycles, no epoch change | Last resort: `vice_recycle` with a real reason — **but check `evidence.jamObserved` first** (below) |
+| `diagnosis_unavailable` **(stock only, non-verdict outcome — not one of the five)** | No verdict could be established at all; the message starts `vice_diagnose: diagnosis_unavailable (<reason>)`. The machine's state is **UNKNOWN**, not any of the five above | **Do not recycle on this answer alone.** Read the reason class in the message and act on it — see below |
+
+### `evidence.jamObserved` — read it before acting on `wedged` *or* `live` (stock only, 07-REVIEW WR-04)
+
+Every stock `vice_diagnose` verdict carries `evidence.jamObserved` (always present, never omitted).
+It is `true` once a `JAM` (0x61) event has arrived on this instance's wire — the 6510 executed an
+illegal opcode and **the CPU is dead regardless of the verdict above**. The flag latches: it stays
+true for the rest of the session.
+
+It cuts across two verdicts in opposite directions, which is exactly why it is separate evidence
+rather than a sixth verdict:
+
+| `jamaction` | What `vice_diagnose` answers | Why | What to actually do |
+|---|---|---|---|
+| `-jamaction 2` (Monitor) | `wedged` | The machine stopped, so both brackets read zero advance | **`vice_machine_reset`, not `vice_recycle`.** Recycling destroys an instance a reset recovers — the same trap as `checkpoint_trap` |
+| default (continue) | `live` | The emulator keeps burning cycles refetching the same opcode, so both brackets **advance** | **`vice_machine_reset`.** "Cycles advanced" is true and irrelevant: the machine will never execute another instruction |
+
+**`jamObserved: true` is never a reason to recycle.** A jam is recovered by a reset; the instance
+itself is healthy. Treat a `live` verdict with `jamObserved: true` as a false negative on liveness,
+and a `wedged` verdict with it as a false positive on wedging.
+
+### `diagnosis_unavailable` — reason classes and response (07-15)
+
+`diagnosis_unavailable` is what `vice_diagnose` answers, on the `isError:true` channel, when it
+could not reach any of the five verdicts above — including a CR-01-class decode failure. It is
+never added to the verdict enum and is never grounds to `vice_recycle` by itself: the message says
+so explicitly. **Every** `isError:true` answer this tool can produce carries this prefix — there is
+no unclassified no-verdict path left (07-REVIEW.md WR-02). Eight reason classes exist, each with
+its own next move:
+
+| Reason | What it means | Do |
+|---|---|---|
+| `connection_lost` | The socket died mid-session | Retry once. If it recurs, treat as a real transport problem, not a wedge |
+| `request_timeout` | The wire went silent past the request bound | Retry once. If it recurs, fall to the manual cycle bracket below |
+| `monitor_acquisition_timeout` | Another client holds the monitor and the wait bound expired | Wait for the current holder to release, then retry — this is the bounded sibling of `monitor_held_elsewhere`, not a wedge. **The abandoned acquisition is not cancelled** (07-REVIEW WR-19): a session may be established moments after this answer, so a later-appearing held session is not a ghost. Its real outcome is written to stderr |
+| `session_refused` | The broker/lease itself refused the session | Read the raw detail in the message; this is a broker-level problem, not an emulator state |
+| `protocol_decode_failure` | This build answered a frame the client cannot decode | Report it as a tool defect — check `docs/stock-vice-parity.md`'s `CPUHISTORY_GET` history for a known class of this — and fall back to the manual cycle bracket below |
+| `evidence_gathering_failed` | A session was obtained but a read needed to build the verdict failed | `vice_execution_run` may be needed to unstick a stalled read path, then retry |
+| `liveness_unmeasurable` | The liveness bracket could not be **measured at all** — no `CPUHISTORY_GET` (needs VICE ≥ 3.10) and no `LIN`/`CYC` enumerated. **The expected outcome on a stock 3.9-class build**, e.g. every current Debian/Ubuntu package | **Not a wedge and not a tool defect.** A bracket that cannot measure is not one that measured zero. Judge liveness from outside the monitor (screenshot, process state), or use the fork backend. Retrying will produce the same answer |
+| `unknown` | None of the above classified the failure | Read the raw detail in the message; retry once before escalating |
 
 ## What is not recoverable
 
@@ -72,10 +128,37 @@ at a checkpoint — VICE's flag flips before the trap fires. Checkpoint bookkeep
 (`vice_checkpoint_add`/`list`/`delete`) also keeps returning healthy, self-consistent responses
 throughout a real wedge, so "the tools respond" proves nothing.
 
-**A `vice_run_until` on an address that is never reached looks exactly like a wedge.** Its `cycles`
-parameter is documented in its own schema as *"not yet implemented"*, so there is no working
-timeout to bound it. Before concluding anything, check whether you asked the machine to run to an
-address it cannot reach. **Confidence: MEDIUM** — read off the tool schema, not reproduced.
+**A `vice_run_until` on an address that is never reached looks exactly like a wedge — on the fork,
+still without a bound.** Its `cycles` parameter is *"not yet implemented"* on both backends, and the
+fork has no timeout to bound the wait for an address either — an unreachable address there is
+unbounded and indistinguishable from a wedge. **On stock, passing `cycles` is now REFUSED rather
+than ignored** (07-REVIEW WR-18) — including alongside `address`, where it used to be silently
+dropped while the answer still reported `reached: true`. Unexpected argument names are refused by
+name too, so a `timeoutMs`/`timeout_ms` typo can no longer run with the default bound in silence.
+**On stock, this is now bounded (D-02):** pass `timeout_ms` (default 30000, clamped to a ceiling of
+600000); an unreachable address returns an explicit, bounded `timedOut: true` answer — with the
+temporary checkpoint already cleaned up — rather than looking like a wedge. **Two further
+behaviours (07-14, closing WR-01/WR-02):** every non-error answer, hit or timeout, carries
+`machineHalted` plus a `machineHaltedNote` naming the resume call — the tool halts the machine on
+every read and says so explicitly. **`machineHalted` is `true` on a hit and on a timeout whose
+cleanup delete was answered (`cleanup: "deleted"` / `"already_gone"`); it is `false` when
+`cleanup: "delete_failed"` or the socket is already gone** and the run-state projection does not
+say `"stopped"`. **Do not read `machineHalted: false` as "still running"** — it means nothing here
+could establish the state, `machineHaltedNote` says so, and the next call should be
+`vice_diagnose`, not `vice_execution_run` (which may not reach the instance at all). And a timeout whose cleanup
+delete lands on an already-gone race no longer asserts `reached: false` outright: it reads the
+program counter and resolves the race (`raceResolved: "pc_at_address"` / `"pc_elsewhere"`), or, if
+the PC read itself fails, omits `reached` entirely and reports `reachedUnknown: true`
+(`raceResolved: "unresolved"`). **An absent `reached` is not "false"** — check `reachedUnknown`
+before assuming a miss. The underlying judgement is unchanged and still the right first question on
+either backend: before concluding anything, check whether you asked the machine to run to an
+address it cannot reach. **Confidence: HIGH on stock for the reach/timeout mechanism** —
+live-confirmed against genuine, unmodified `/usr/bin/x64sc` (VICE 3.9) and `/usr/local/bin/x64sc`
+(VICE 3.10): a real KERNAL address ($EA31) reached within its timeout, an unreached one ($C000)
+timing out with the checkpoint deleted (07-10's live pass). **MEDIUM for the WR-01/WR-02 honesty
+fields above** — unit-proven (`stock-run-until.test.ts`, 21/21, 07-14) but not independently
+re-exercised against a real emulator by this gap-closure batch. **MEDIUM on the fork** — read off
+the tool schema, not reproduced.
 
 ## The manual fallback, when `vice_diagnose` cannot answer
 
@@ -84,7 +167,7 @@ exists, that is a **host action for a human** — say so and stop. Nothing conta
 the emulator by another route.
 
 When the broker is up but you want the raw measurement, the cycle bracket is the only trustworthy
-liveness test, and it is four calls:
+liveness test. **On the fork**, it is four calls:
 
 1. `vice_cycles_stopwatch` `{action: "reset"}`
 2. `vice_execution_run`
@@ -96,6 +179,18 @@ liveness test, and it is four calls:
 thing — merely slow, a separate documented hazard measured at ~6,000/s when a loop polls without
 re-resuming. Read all state first, poll with `vice_ping`, resume exactly once at the end.
 
+**On stock, there is no non-pausing call at all — any inbound byte halts the machine — so the
+`vice_ping` ×3 poll measures nothing there and is fork-only.** The stock equivalent is the same
+bracket shape with zero calls during the wait:
+
+1. `vice_cycles_stopwatch` `{action: "reset"}`
+2. `vice_execution_run`
+3. A real wall-clock wait, with **no calls at all** during it
+4. `vice_cycles_stopwatch` `{action: "read"}`
+
+`vice_diagnose` already runs exactly this bracket internally on stock, so the manual fallback above
+is only for when the broker itself is unreachable and `vice_diagnose` cannot be called at all.
+
 **Enumerate your own checkpoints before running any bracket.** `vice_checkpoint_list`, then
 resolve the live IRQ handler (`$0314/$0315`, or `$FFFE/$FFFF` when `$01` has the ROMs banked out).
 An armed stopping checkpoint at or inside the live IRQ path, with the PC pinned at or just past
@@ -114,7 +209,8 @@ session, the last three all on that call).
 | Checkpoint delete / reset / step can all fail to recover | One recorded incident, all four attempts in sequence | HIGH, single incident |
 | A checkpoint trap explains all three recorded "silent stalls" | Cross-read, 3/3 correlation, mechanism consistent with every symptom — **not reproduced** | MEDIUM |
 | `vice_diagnose`'s five-verdict path behaves as its schema says | Schema read, and cross-checked against the tracked implementation's own report builders. **Not exercised end to end** | MEDIUM |
-| `vice_run_until` has no working timeout | Its schema says `cycles` is "not yet implemented" | MEDIUM |
+| `vice_run_until` has no working timeout **(fork only)** | Its schema says `cycles` is "not yet implemented"; the fork has no `timeout_ms` bound | MEDIUM |
+| Stock's five-verdict path (`restarted`, `checkpoint_trap`, `wedged`, `monitor_held_elsewhere`, `live`) and its bounded `vice_run_until` | Unit-proven (40/40 `stock-diagnose.test.ts`, 21/21 `stock-run-until.test.ts`, 07-15/07-14). **Live-proven** against genuine `/usr/bin/x64sc` (VICE 3.9) and `/usr/local/bin/x64sc` (VICE 3.10) for `live` (07-10), `checkpoint_trap`, `wedged` (confirmed on both capability routes — `frame_position` on 3.9, `cpu_history` on 3.10) and `restarted` (07-17). `monitor_held_elsewhere`'s **socket-level** contention bound is live-proven (07-13, ~1501-1502ms against a 1500ms bound). **UPDATED 2026-08-18 (quick task 260818-obc, `stock-live-broker-monitor.test.ts`, command `VICE_LIVE_BROKER_BIN=/usr/bin/x64sc` (or `/usr/local/bin/x64sc`) `node --test stock-live-broker-monitor.test.ts`):** both remaining unit-only residuals are now ALSO live-proven, on both binaries, in one real run — the **broker-mediated** `monitor_held_elsewhere` verdict (a real second `claimMonitor()` refusal from a genuine host broker daemon, naming the other real grant's id, settling in 1ms against the 10000ms bound) and the **broker-supervised** (not test-performed) `restarted` respawn (the host broker's OWN crash supervision relaunched the killed instance; `vice_diagnose` answered `restarted` with `baselineEpoch:1`/`currentEpoch:2` at zero-to-minimal emulator cost). `vice_run_until`'s reach/timeout mechanism is live-proven against both binaries (07-10); its WR-01/WR-02 honesty fields (`machineHalted`, `raceResolved`, `reachedUnknown`) remain unit-proven only (07-14) — NOT re-exercised live by this task, no blanket claim made here | HIGH for the five verdicts (including both the broker-mediated `monitor_held_elsewhere` path and the broker-supervised `restarted` path, both now live-proven) and the run_until reach/timeout mechanism; MEDIUM for the run_until honesty fields only, which stay unit-only |
 
 Full provenance in `.planning/RE-FINDINGS.md`. **Log a new incident there at the moment you hit
 it**, graded with `Evidence:` and `Confidence:`; promote by re-logging, never by editing a grade.
@@ -146,4 +242,5 @@ others carry.
 | Zero cycles, nothing armed, epoch unchanged | A wedge. `vice_recycle` with a reason that names the evidence |
 | A run "survived a reset" | Distrust it. You cannot read the epoch to confirm — but an unintended respawn inside the bracket would have raised a drift error on the next forwarded call, so absence of that error is the only evidence available |
 | `vice_recycle` refused for a missing reason | It is required, by design — the reason *is* the incident record |
+| `vice_diagnose` answers `monitor_held_elsewhere`, or a call hangs with no reply and no EOF (stock only) | Not a wedge. Find the other client holding this instance's single binary-monitor slot |
 </content>