feat(ext): run / prove / debug digital twin

config/AGENTS.md

@@ -27,6 +27,26 @@ Do not claim real hardware was tested unless a hardware path actually ran.
 `hardware_observed` (flash + serial/RTT marker) is **never** upgraded to
 `model_verified`.
 
+## Session orientation
+
+1. Prefer MCP `labwired_context` (or an injected `[labwired_context]` block) before assuming board or twin state.
+2. Prefer `labwired_import` with `diagram_json` (P0) over hand-parsing schematics.
+3. If twin is not buildable, continue design from context + `labwired_part` / `labwired_datasheet`. Never invent pins.
+4. `model_verified` only from `labwired_verify`. `hardware_observed` only from desk-hw / real probe.
+
+## Local digital twins (client development)
+
+Local development should **not require cloud** for a basic twin loop:
+
+1. Mint `.labwired/diagram.json` (New board / Import).
+2. Run twin **local-first**: stdio `@labwired/mcp` `labwired_run` (board demo firmware) and/or CLI `smoke`.
+3. Extension setting `labwired.twinBackend`: `local` (default) | `hosted` | `auto`.
+4. For full F5 step-debug, use **LabWired Debugger** (DAP) on the same machine.
+5. Hosted MCP remains for compile-from-source and shared catalog when signed in — not the only path.
+
+Set `LABWIRED_REPO_ROOT` if local MCP needs board YAML packs from a monorepo checkout.
+
+
 ## Plots = elements (not ready-made views)
 
 When the user wants a **plot, chart, scope, overlay, or “show X over time”**:

docs/superpowers/specs/2026-08-11-context-first-workbench-design.md

@@ -0,0 +1,37 @@
+# Context-first workbench — agent mirror
+
+| Field | Value |
+|-------|-------|
+| **Canonical** | `labwired/docs/superpowers/specs/2026-08-11-context-first-workbench-design.md` |
+| **Binding plan v3** | `labwired/docs/superpowers/plans/2026-08-11-context-first-p0.md` |
+| **Ship claim** | Only **P0-ship** (`P0_SHIP_OK`), not P0a alone |
+
+---
+
+## Agent PRs
+
+| PR | This repo | Pass |
+|----|-----------|------|
+| **P0b** | Sync `contextFlags.generated.ts`; `workspaceContext` pure only; `assert-context-parity.mjs`; **no** version/chrome edits | tsc + parity exit 0 |
+| **P0d** | `config/AGENTS.md` session orientation (file already in package) | merged |
+
+P0a / P0c are monorepo. Do not start P1 kinds or desk-hw UI.
+
+---
+
+## Locked decisions
+
+- Packaging: **sha sync**, not path-dep on `@labwired/board-config`  
+- Chrome: **frozen** until P0-ship  
+- Prove: **mandatory** in monorepo P0c (not extension’s job to fake)  
+- Netlist: monorepo kill switch — not agent scope  
+
+---
+
+## Claims
+
+| Claim | Mints |
+|-------|--------|
+| design context | pack/context — not prove |
+| `model_verified` | `labwired_verify` only |
+| `hardware_observed` | desk-hw / probe only |