mobridge-mcp 0.6.0 → 0.8.0

package/AI-USAGE.md

@@ -0,0 +1,63 @@
+# MoBridge 0.7 — hướng dẫn cho AI
+
+MoBridge dùng một daemon dùng chung (`mobd`). CLI và MCP đi qua cùng daemon, vì vậy không mở
+WebSocket riêng và không gọi ADB trực tiếp.
+
+## Cài đặt
+
+Chạy `npx -y mobridge-mcp install --yes` để tự cấu hình các agent đã phát hiện. Installer backup
+config cũ, gỡ registration MoBridge cũ, cài launcher `~/.mobridge/bin/mobridge`, trích companion
+APK và ghi tài liệu này vào `~/.mobridge/AI-USAGE.md`. Sau đó restart agent.
+
+## Chọn CLI hay MCP
+
+- Có shell: dùng CLI cho discovery, health/preflight, chẩn đoán, workflow JSONL, output file và
+  chuỗi lệnh nhiều bước. Lệnh chính: `mobridge devices`, `connect`, `health`, `observe`, `find`,
+  `run`, `trace`.
+- Chỉ có MCP: dùng đúng 5 tool `mobile.device.connect`, `mobile.screen.observe`,
+  `mobile.screen.act`, `mobile.screen.capture`, `mobile.run`.
+- MCP dùng cho semantic action và ảnh inline; CLI dùng cho batch/run, stream, diagnostics và file.
+
+## Khởi động phiên
+
+1. Gọi `mobile.device.connect` hoặc `mobridge connect -d ANDROID:<serial>` một lần.
+2. Luôn đọc `deviceId`, `supportedCapabilities` và trạng thái provision.
+3. Khi có nhiều thiết bị, luôn truyền `deviceId`/`-d`.
+4. Với CLI, preflight là `mobridge health --preflight <package>`.
+5. Mọi response live phải có `backend: "device"`. Nếu thấy `backend: "simulated"`, dừng và không coi kết quả là thao tác trên máy thật. Backend thật là mặc định; fixture chỉ bật tường minh bằng `--simulated` hoặc `MOBRIDGE_BACKEND=sim` cho test.
+
+## Quy tắc thao tác nhanh
+
+- Kết nối một lần. Nếu đã biết query, gọi thẳng `mobile.screen.act` với `query`; không observe/find riêng.
+- Từ hai bước trở lên dùng `mobile.run`/`mobridge run`; daemon giữ dataflow và session nóng.
+- Chỉ observe khi chưa biết màn hình, sau navigation, khi ambiguous hoặc khi action lỗi.
+- Mỗi MCP act chỉ một verb. Mutation phải có verify; `DISPATCHED` không đồng nghĩa `VERIFIED`.
+- NodeRef phải giữ `snapshotId` và `generation`; NodeRef thuần stale thì dừng, chỉ query gốc mới được resolve lại.
+- `mobile.run` không observe cuối mặc định; dùng `returnState:true` hoặc `mobridge run --return-state` khi cần.
+- Evidence lớn nằm trong trace; response thường chỉ có verdict, state gọn và traceId.
+- Dùng `mobile.run`/`mobridge run` cho dataflow; `$name` chỉ được resolve ở host.
+- Không retry mutation sau transport drop hoặc `RESULT_UNKNOWN`; đọc có thể recovery/retry một lần.
+- Mỗi mutation đơn cần `operationId`; workflow cần `workflowId` và `stepId` ổn định. Khi đổi MCP↔CLI,
+  tra operation/workflow status bằng ID gốc trước khi quyết định tiếp. `requestId` chỉ nhận diện một lần gọi.
+- JSONL workflow có checkpoint bền: dùng `mobridge run --status --workflow-id <id>` hoặc `mobile.run`
+  với plan `{"control":"status"}`; chỉ resume cùng plan/device bằng token hiện tại.
+- WAL giữ operation tombstone sau 5 phút; unresolved cũ thành `EXPIRED_UNKNOWN`, không trở thành mutation mới.
+  Checkpoint workflow tồn tại 24 giờ, chỉ lưu HMAC plan hash và verdict/step IDs, không lưu plan/secret; sau daemon restart hãy status rồi resume bằng token mới.
+- Không gọi `adb`, `uiautomator`, tọa độ hoặc `adb shell input` trong luồng semantic.
+- App control không có authorize/allowlist/denylist theo package. Device identity tường minh, fixed argv,
+  safety confirmation và runtime-permission policy vẫn áp dụng; `mobridge app authorize` không tồn tại.
+- Response dùng `transport: "accessibility"` cho semantic/gesture và `transport: "adb"` cho fallback/app step. Gesture tọa độ luôn `verification.level: "unverified"`.
+- Nếu response có `state.interactionBlocked:true` và `state.loadingLikely:true`, UI đang kẹt ở màn hình loading sparse. `mobridge run` sẽ giới hạn wait của bước đó tối đa 2 giây và trả `APP_LOADING_STUCK`; không retry vòng lặp, hãy `capture`/kiểm tra dialog, quyền hoặc mạng rồi observe lại.
+- Secret ưu tiên `valueRef`/secret broker được người dùng cho phép; CLI có thể đọc stdin. Không truyền secret trong argv,
+  không dùng environment làm mặc định, không lưu plaintext trong checkpoint, trace hoặc audit.
+- Ad fast path dùng BACK nhưng chỉ xác nhận thành công khi foreground Activity rời ad; nếu chưa rời thì dùng assisted capture/vision.
+
+## Ví dụ
+
+```bash
+mobridge devices --json
+mobridge connect -d ANDROID:<serial>
+mobridge tap --text Login --verify auto
+mobridge run login.jsonl -d ANDROID:<serial>
+mobridge trace <traceId>
+```

package/README.md

@@ -1,155 +1,195 @@
 # mobridge-mcp
 
-**MoBridge** is a Model Context Protocol (MCP) server that gives an AI assistant fast, accurate **eyes and hands on a real Android (and iOS) device** — through the accessibility tree, not screen-scraping. The agent observes the screen as a small semantic model, finds a target, acts on it, and verifies the result. Full-screen pixel screenshots are available when they are genuinely needed.
+Drive a real **Android** phone from an AI agent (or a shell) through the Accessibility tree, not pixels. MoBridge reads the screen as semantic JSON, acts on a target, waits, and **verifies** the effect before it reports success. System work (install, permissions, logs, process control) goes through ADB; pixels are only used when meaning is missing.
 
-- **Perception-first.** `screen.observe` returns a lean, deterministic view of what is on screen (app, screen title, actionable controls) — typically ~100× smaller than a full accessibility dump.
-- **Targeted, not brute force.** `screen.find` resolves one target to an act-able `NodeRef` seeded by the platform's own query APIs, with a full-tree oracle as the correctness fallback.
-- **Correctness gates.** Every action re-resolves the target on a fresh capture and is generation-checked: a stale reference fails closed (`STALE_NODE_REF`) instead of acting on the wrong node. No silent "closest match".
-- **Screenshots when you want them.** `screen.capture` returns an inline image (fast WebP by default, lossless PNG on request). `FLAG_SECURE` windows are always refused.
+> Android only. iOS is not supported.
 
----
+Requires Node.js 18+, Android Platform Tools (`adb`) on `PATH`, and an Android 10+ device (USB debugging on, unlocked for the first connect).
 
-## Quick start
+## Install
 
 ```bash
-npx -y mobridge-mcp
+npx -y mobridge-mcp install --yes   # wires every detected agent: Claude Code, Claude Desktop, Cursor, Windsurf, Codex
 ```
 
-That launches the interactive installer, which wires MoBridge into the AI agents you choose. Restart the agent afterwards and ask it to connect to your device.
+Drop `--yes` for a wizard. The installer backs up each agent config, removes older MoBridge registrations, extracts the signed companion APK, installs a user-owned launcher at `~/.mobridge/bin/mobridge` (add it to `PATH` to use the CLI), writes the agent guide to `~/.mobridge/AI-USAGE.md` and registers `mobridge mcp`. Restart your agent afterwards. `mobridge install --dry-run` previews; `mobridge remove` undoes it.
 
-Requires **Node.js ≥ 18**. For a real Android device you also need **adb** (Android Platform Tools) on your `PATH` and USB debugging enabled.
+First connect is automatic: `mobile.device.connect` installs the companion app on the phone, enables its accessibility service through ADB and opens the channel. Nothing else to tap.
 
----
+## How it works
 
-## Installation
-
-### 1. Run the installer
-
-```bash
-npx -y mobridge-mcp
+```
+agent ──MCP (5 tools)──┐
+                       ├── mobd daemon ── WebSocket ── companion app (Accessibility)
+shell ──mobridge CLI───┘        └──────── ADB (system actions, fallback)
 ```
 
-You'll get a menu (powered by `@clack/prompts`):
+One per-user daemon (`mobd`) serves both the MCP adapter and the CLI, so they share one device lease, one audit log and one workflow state. You never choose a backend: the daemon routes UI work to Accessibility and system work to ADB, and it never switches executor after an ambiguous dispatch.
 
-1. **Pick your agents** — a multi-select of every client the installer can configure (pre-checked if it detects one already installed).
-2. **Pick the platform** — Android or iOS.
-3. **Pick the backend** — `ws` (real device over adb, recommended), `mock` (no device, to explore the tools), or `ios`.
+## The five MCP tools
 
-It then writes one `mcpServers` entry into each selected agent's config, **backing up the file first** and touching nothing else. Re-running is safe and idempotent.
+| Tool | Use it to |
+|---|---|
+| `mobile.device.connect` | Connect one device; returns `deviceId`, capabilities and a ready/blockers/warnings preflight. |
+| `mobile.screen.observe` | Read the screen as compact semantic JSON (no image). |
+| `mobile.screen.act` | Do **one** verified action: click, type, scroll, key, gesture, or click a point on a capture. |
+| `mobile.screen.capture` | Take real pixels (kept in daemon RAM under a `captureId`); also colour search and visual region scan. |
+| `mobile.run` | Run a multi-step JSONL workflow with dataflow, verification, checkpoints and resume. |
 
-Non-interactive (CI / scripted):
+### 1. Connect once
 
-```bash
-npx -y mobridge-mcp install --yes \
-  --agent claude-code,cursor,codex --platform android --backend ws
-npx -y mobridge-mcp install --dry-run   # show what it would write, change nothing
-npx -y mobridge-mcp remove              # remove the MoBridge entry again
+```json
+{ "deviceId": "ANDROID:<serial>" }
 ```
 
-### 2. Supported agents & config locations
+`deviceId` is optional with one device; with several, pass it on every call or you get `AMBIGUOUS_DEVICE`. Read `deviceId`, `supportedCapabilities` and the provision state from the result. Every live response carries `backend: "device"`; if you ever see `"simulated"`, stop, it is a test fixture and touched no phone.
+
+### 2. Observe (only when you do not know the screen)
 
-| Agent | Config file | Format |
-|---|---|---|
-| Claude Code (CLI) | `~/.claude.json` | JSON |
-| Claude Desktop | macOS: `~/Library/Application Support/Claude/claude_desktop_config.json`<br>Windows: `%APPDATA%\Claude\claude_desktop_config.json`<br>Linux: `~/.config/Claude/claude_desktop_config.json` | JSON |
-| Cursor | `~/.cursor/mcp.json` | JSON |
-| Windsurf | `~/.codeium/windsurf/mcp_config.json` | JSON |
-| Codex CLI | `~/.codex/config.toml` | TOML |
+```json
+{ "actionableOnly": true }
+```
 
-### 3. Manual installation
+`mode: "fast"` (default) is the cheap survey; `"understand"` adds more context. Observe after navigation, when a result is ambiguous, or after an error. Do **not** observe after every click.
 
-If you'd rather edit the config yourself, add this server entry.
+### 3. Act: one verb per call
 
-**JSON agents** (Claude, Cursor, Windsurf) — merge into `mcpServers`:
+A target is a **query** (resolved on the device, so no stale reference) or a **NodeRef** copied whole from a previous result. Text fields are objects, not strings.
+
+```json
+{ "action": "CLICK", "operationId": "op_login_0001",
+  "query": { "text": { "value": "Sign in", "match": "NORMALIZED_EXACT" } },
+  "verify": { "policy": "NODE_STATE_CHANGED" } }
+```
 
 ```json
-{
-  "mcpServers": {
-    "mobridge": {
-      "command": "npx",
-      "args": ["-y", "mobridge-mcp", "serve"],
-      "env": { "MSM_PLATFORM": "android", "MSM_BACKEND": "ws", "MSM_TOOL_PROFILE": "full" }
-    }
-  }
-}
+{ "action": "SET_TEXT", "operationId": "op_email_0001",
+  "query": { "label": { "value": "Email" } }, "text": "a@b.c" }
 ```
 
-**Codex CLI** — append to `~/.codex/config.toml`:
+Other verbs: `SCROLL` (`direction: FORWARD|BACKWARD`), `KEY` (`BACK`, `HOME`, `RECENTS`), `GESTURE` (`TAP|LONG_PRESS|SWIPE|DRAG|PINCH_OPEN|PINCH_CLOSE` with pixel coordinates; last resort, always unverified), and `CLICK` with `at` (below).
 
-```toml
-[mcp_servers.mobridge]
-command = "npx"
-args = ["-y", "mobridge-mcp", "serve"]
+- `operationId` (>= 8 chars) is required for every mutation. It identifies the logical effect: reuse it to look the result up, never to retry.
+- `match` is `EXACT`, `NORMALIZED_EXACT` or `CONTAINS`. Also available in a query: role, resource id, state filters.
+- Many matches returns `AMBIGUOUS_MATCH` with candidates. Narrow the query. MoBridge never clicks the first of several.
+- `verify.policy`: `NODE_STATE_CHANGED`, `NODE_APPEARED`, `NODE_DISAPPEARED`, `NODE_VALUE_EQUALS`, `WINDOW_CHANGED`, `PACKAGE_CHANGED`, or `DISPATCH_ONLY`. Omit it and a sensible one is chosen per verb.
 
-[mcp_servers.mobridge.env]
-MSM_PLATFORM = "android"
-MSM_BACKEND = "ws"
-MSM_TOOL_PROFILE = "full"
-```
+### 4. Reading a result
 
-On **Windows**, MCP clients spawn `npx.cmd`; if a client fails to start the server, use `"command": "cmd"` with `"args": ["/c", "npx", "-y", "mobridge-mcp", "serve"]`. Inside JSON on Windows, escape backslashes in any paths (`\\`).
+| Field / status | Meaning |
+|---|---|
+| `SUCCESS_VERIFIED` | The effect was observed. Trust it. |
+| `VERIFIED_LATE` | The UI rendered after the settle window; a fresh read proved the predicate. Still a success, no replay happened. |
+| `ACTION_DISPATCHED` / `DISPATCHED_NO_VERIFIED_EFFECT` | The input was accepted but its effect is unknown (always the case for coordinate gestures). Observe before continuing. |
+| `RESULT_UNKNOWN` | The link dropped after dispatch. **Do not repeat the action.** Call `mobridge operation status <operationId>` (or `mobile.run` with plan `{"control":"status"}`). |
+| `AMBIGUOUS_MATCH` / `AMBIGUOUS_VISUAL` | More than one candidate. Narrow the query or look at a capture. |
+| `STALE_NODE_REF` / `STALE_CAPTURE` | The screen moved on. Re-observe or re-capture and choose again. |
+| `NEEDS_VISION` | Semantics are not enough. Use `mobile.screen.capture`, look, then act with `at`. |
+| `USER_CONFIRMATION_REQUIRED` | A safety gate wants the user. Stop and ask. |
 
-Restart the agent after editing its config.
+The agent only needs to come back to the model for: ambiguity, `NEEDS_VISION`, `RESULT_UNKNOWN`, confirmation or unsupported operations. Everything else is deterministic.
 
----
+### 5. Capture: when meaning is missing
 
-## Connecting an Android device
+`mobile.screen.capture` returns an image plus a `captureId`. The pixels stay in daemon memory (last 5 captures, about 30 s, never written to disk). Default is a small preview; for fine detail pass `roi` (`x,y,w,h` in screen pixels) at native resolution instead of re-capturing the whole screen.
 
-1. Enable **Developer options → USB debugging** on the phone and plug it in over USB.
-2. Confirm `adb devices` lists it (accept the RSA prompt on the phone).
-3. Ask the agent to call `mobile.device.connect`. On first connect the companion runtime is provisioned automatically (the on-device app + its accessibility service).
+- **Click what you see.** Choose `x,y` in capture-image pixels and call act `CLICK` with `at: { captureId, x, y }`. A node under the point is clicked and verified; otherwise one guarded gesture is sent. Use `stalePolicy: "VISUAL_DYNAMIC"` for ads, video and canvas, whose tree changes every frame; the default `STRICT` refuses if the screen changed.
+- **Find by colour.** `color: { hex: "#1A73E8", tolerance: 60 }` returns `colorMatch` (`ONE` with a ref, `AMBIGUOUS`, `NONE`, `NEEDS_VISION`) measured on the device bitmap.
+- **Find controls nothing declares.** `scan: {}` (optional `zone: [l,t,r,b]`) returns `regionScan.regions[]`: compact visual components with `regionId`, `bounds`, `center`, `position` (3x3 cell), `aspectRatio`, `edgeDensity`, `contrast`, `semanticNode` (the labelled/actionable node under it, or `null`) and a ready-to-use `at`. System bars and FLAG_SECURE windows are excluded. MoBridge names no icon and picks nothing: look at the image, choose a region, act on its `at`.
+- Secure windows (`FLAG_SECURE`) block capture only (`CAPTURE_BLOCKED_SECURE_WINDOW`); semantic observe/act keeps working.
 
-Keep the screen awake during long sessions:
+### 6. Workflows with `mobile.run`
 
-```bash
-adb shell svc power stayon usb
+Two or more steps: send a JSONL plan instead of many calls. The daemon keeps the dataflow, verifies each mutation and checkpoints progress.
+
+```json
+{ "workflowId": "wf_login_0001",
+  "plan": "{\"id\":\"u\",\"type\":{\"field\":\"Email\",\"text\":\"a@b.c\"}}\n{\"id\":\"go\",\"tap\":\"Sign in\"}\n" }
 ```
 
-Prefer a wired USB connection — wireless adb links can drop and interrupt the session.
+- Steps: `tap`, `type`, `scroll`, `key`, `gesture`, `capture` (`{"pause":true}` yields `NEEDS_VISION` with a `resumeToken`), `op: app|permission|package|...`, `wait`, plus `when` / `unless` conditions on `package` and `dialogKind`.
+- `$name` results are resolved on the host; secrets go through `valueRef`/stdin, never argv or plan text.
+- A failed or unverified mutation stops the run (`PAUSED`); nothing is replayed automatically. Resume with the same `workflowId`, plan, device and the `resumeToken`.
+- Status without re-running: plan `{"control":"status"}` (CLI: `mobridge run --status --workflow-id <id>`). Checkpoints live 24 h and hold only hashes and step ids.
+- The final screen is omitted unless `returnState: true`. `waitUntil` replaces any watch/stream.
 
----
+## Recipes
 
-## What the agent gets
+| Goal | How |
+|---|---|
+| Open an app and tap something | CLI `mobridge open <package>` then `act` with a query. Do not observe in between. |
+| Fill a form | One `mobile.run` plan with `type` steps and a final `tap`. |
+| Answer a permission dialog | CLI `mobridge permission respond --decision ALLOW_WHILE_USING` (answers the dialog like a user). `permission set <pkg> CAMERA` changes the state directly via ADB and reads it back. They are not interchangeable. |
+| Close an ad | CLI `mobridge ad dismiss`. It tries BACK, then assisted capture; it never taps a call-to-action. Exit 8 = pick the close point from the returned capture, then `mobridge ad tap-close`. |
+| Install / force-stop / uninstall | CLI `mobridge package install|uninstall`, `mobridge process stop`; each reads the package/process state back. |
+| Diagnose | CLI `mobridge diag LOGCAT|CRASH|BATTERY|NETWORK|DISPLAY|POWER`. |
+| Anything missing | `mobridge capabilities [--family F]` lists every operation, its executor, replay class and verification. |
+
+## Rules that keep it safe
+
+1. Connect once, then act directly when you know the target. Observe only to learn the screen.
+2. One mutation, one `operationId`. After `RESULT_UNKNOWN` look the operation up; never resend, and never fall back to raw ADB.
+3. `DISPATCHED` is not `VERIFIED`. Check `verification` before assuming success.
+4. NodeRefs are bound to a screen generation; a stale one fails closed instead of guessing.
+5. Do not call `adb`, `uiautomator` or coordinate taps from the agent; use the typed tools.
+6. Coordinates from a capture are valid only for that capture (`STALE_CAPTURE` otherwise).
 
-Progressive disclosure — cheap first, expensive only on demand:
+## Troubleshooting
 
-| Tool | Purpose |
+| Symptom | Fix |
 |---|---|
-| `mobile.screen.app` | O(1) — which app/screen am I on? |
-| `mobile.screen.observe` | "AI eyes": a lean list of on-screen text + actionable controls |
-| `mobile.screen.find` / `screen.target` | resolve a target to a `NodeRef` (never coordinates) |
-| `mobile.screen.node` / `screen.children` | inspect one node / one level, on demand |
-| `mobile.screen.act` | re-resolve + act + return before/after evidence for verification |
-| `mobile.screen.capture` | inline screenshot (`preset: "ai"` small & fast, `"full"` lossless) |
-| `mobile.screen.snapshot` | the full accessibility tree — the expensive escape hatch |
+| `AMBIGUOUS_DEVICE` | Pass `deviceId` (`mobridge devices`). |
+| `COMPONENT_MISSING` / `COMPANION_UNAVAILABLE` | Run `mobridge connect -d ANDROID:<serial>` again; it reinstalls and re-enables the companion. |
+| `ACCESSIBILITY_PREEMPTED` / `EXTERNAL_INSTRUMENTATION_ACTIVE` | Another tool (UiAutomator, a test runner, another agent) owns accessibility. Stop it and reconnect. |
+| `TRANSPORT_DEGRADED` | Link dropped; prefer USB over wireless adb. `mobridge health` shows the socket state. |
+| `UNSUPPORTED_PLATFORM` | You asked for iOS. Only Android is supported. |
+| Companion disables itself | By design after 5 minutes without a controller; the next connect re-arms it. |
 
-The AI stays in charge of *observe → understand → decide → act*. MoBridge only makes the **observe** step fast and precise; it never guesses intent or chains actions on its own.
+## CLI contract
 
----
+stdout is one JSON line when non-interactive (or with `--json`); logs go to stderr. `-d/--device` is accepted by every device command. With multiple devices, omitting it returns `AMBIGUOUS_DEVICE`.
 
-## Privacy & network model
+```text
+0 verified/read OK   1 known failure   2 dispatched/unverified
+3 result unknown/cancelled after dispatch   4 hard gate
+5 not found/ambiguous   6 safety/token block   7 not dispatched/retryable transport
+```
 
-- The device runtime talks to this local MCP server over an adb-forwarded loopback socket. Nothing is sent to third parties.
-- Screenshots stay on device unless a tool call explicitly returns one to the agent; secure (`FLAG_SECURE`) windows are never captured.
-- The installer only writes local agent config files (with backups). It installs no system services and needs no `local.properties`.
+Examples:
 
----
+```bash
+mobridge find --role button --text Save | mobridge screen act click - --verify auto
+mobridge screen act type --field email 'a@b.c' --verify auto
+mobridge screen act type --field password --secret-env LOGIN_PASSWORD --verify auto
+mobridge run login.jsonl -d ANDROID:<serial>
+mobridge trace <traceId>
+```
 
-## Troubleshooting
+`mobridge run` accepts JSONL dataflow. Results are resolved on the host (`$name`), never sent as literal placeholders to the device. Mutation steps require verification; the first error stops the plan. Reads may recover and retry once; mutations never replay automatically.
 
-- **Agent doesn't see the tools** — restart the agent after install; confirm the `mcpServers` entry is present and valid JSON/TOML.
-- **`npx` fails on Windows** — use the `cmd /c npx …` form shown above.
-- **`mobile.device.connect` fails** — check `adb devices`, re-accept the USB debugging prompt, and make sure only one device is attached (or pass the serial).
-- **Empty / one-node captures right after reinstalling the runtime** — toggle the phone's accessibility service off and on, then retry.
+## Transport and ADB
 
-Run the server directly (what the agent runs) for a smoke test:
+`mobd` keeps one stable controller lease. The application heartbeat is `device.status` every 60 seconds; WebSocket ping/pong runs at 5/10 seconds. Recovery is close → ADB remote connect when required → verify/create owned forward → re-enable accessibility → handshake → health. Recovery never installs an APK; missing components return `COMPONENT_MISSING` and suggest `mobridge connect`. The old semantic `MSM_BACKEND=adb` path is disabled; bounded ADB gestures are available only through a prepared fallback token.
 
-```bash
-npx -y mobridge-mcp serve
-```
+MoBridge forwards use `adb -s <serial> forward --no-rebind` on ports 18765–18865. Owned mappings persist in `~/.mobridge/state/ports.json`; unrelated forwards are never removed. Every ADB call has an explicit timeout and commands are serialized per serial.
+
+`mobridge health` reports server PID/version, port, WebSocket state, close code, heartbeat, serial and device state. `mobridge doctor --restart-adb` is the only command allowed to restart the ADB server.
+
+## Audit and safety
 
----
+Mutations use write-ahead audit (`intent` fsync before dispatch, `outcome` after). An intent without an outcome becomes `RESULT_UNKNOWN` after daemon restart and is reported as `orphanedMutations`. Host payloads are hashed/redacted; files are mode 0600, rotated daily, retained seven days and capped at 100 MB.
 
-## License
+Coordinate/ADB gestures require an explicit fallback token and a post-action observe. `type --secret` reads stdin or an environment variable and never places the secret in argv, audit, trace or error output. The daemon rejects raw `uiautomator` execution.
+
+## Development
+
+```bash
+npm run build
+npm run gate:adb-safety
+npm run gate:cli-contract
+npm run test:act-find
+npm run test:mutation-identity
+npm run test:stale-recovery
+```
 
-UNLICENSED — internal distribution. See the repository for terms.
+The packaged smoke gate must run against the actual packaged artifact. Live fault-injection runs record attached devices; if Samsung is not discovered its status is `NOT_RUN`, never `PASS`.