diff --git a/packages/opencode/test/cli/smokes/read-only.test.ts b/packages/opencode/test/cli/smokes/read-only.test.ts
new file mode 100644
index 0000000000..3fdf1d57d0
--- /dev/null
+++ b/packages/opencode/test/cli/smokes/read-only.test.ts
@@ -0,0 +1,113 @@
+// Tier-A smoke tests for read-only commands. Each test asserts only that the
+// command exits 0 and produces *some* output in the isolated harness env.
+//
+// These are not behavioral tests — they're the cheapest possible signal that
+// the dependency-layer wiring (config load, DB init, server boot, provider
+// resolution) doesn't crash for the broad class of "no inputs, no side
+// effects" commands. A regression in any shared layer (an Effect.fail that
+// propagates out of a service constructor, a renamed env var, a broken DB
+// migration) will fail one or more of these tests.
+//
+// If a future change should make one of these commands intentionally fail in
+// an empty env, update the assertion + add a note explaining the new contract.
+//
+// Speed: each test pays ~1.5s for bun startup. 7 tests serialize within this
+// file. Tracked as task #16 — investigate bun pre-warm if the suite grows.
+import { describe, expect } from "bun:test"
+import { Effect } from "effect"
+import { cliIt } from "../../lib/cli-process"
+
+describe("opencode read-only commands (smoke)", () => {
+  // `mcp list` reads MCP server config and pings each one. With the empty
+  // OPENCODE_CONFIG_CONTENT={} we provide, no servers should be configured
+  // and the command should report that cleanly.
+  cliIt.live(
+    "mcp list: exits 0",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["mcp", "list"])
+        opencode.expectExit(r, 0, "mcp list")
+      }),
+    60_000,
+  )
+
+  // `providers list` enumerates credentials + env-resolved providers.
+  // (Not config-injected ones — those don't appear here by design.) We just
+  // assert it produced the two section headers, which proves the resolver
+  // walked both sources without crashing.
+  cliIt.live(
+    "providers list: exits 0 and prints credential/environment sections",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["providers", "list"])
+        opencode.expectExit(r, 0, "providers list")
+        expect(r.stdout).toContain("Credentials")
+        expect(r.stdout).toContain("Environment")
+      }),
+    60_000,
+  )
+
+  // `models` lists models from configured providers. Our test/test-model
+  // should appear because it's wired into the test provider config.
+  cliIt.live(
+    "models: exits 0 and lists the test model",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["models"])
+        opencode.expectExit(r, 0, "models")
+        expect(r.stdout).toContain("test/test-model")
+      }),
+    60_000,
+  )
+
+  // `agent list` walks the agent config. Empty config means no agents
+  // configured; the command should still exit 0 with a "no agents" line or
+  // similar. We don't pin the message — just exit cleanly.
+  cliIt.live(
+    "agent list: exits 0",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["agent", "list"])
+        opencode.expectExit(r, 0, "agent list")
+      }),
+    60_000,
+  )
+
+  // `session list` reads the session DB. Fresh OPENCODE_TEST_HOME means
+  // empty DB. Exit 0 with no sessions.
+  cliIt.live(
+    "session list: exits 0",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["session", "list"])
+        opencode.expectExit(r, 0, "session list")
+      }),
+    60_000,
+  )
+
+  // `stats` aggregates token usage from the session DB. Empty DB → all zeros.
+  cliIt.live(
+    "stats: exits 0",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["stats"])
+        opencode.expectExit(r, 0, "stats")
+      }),
+    60_000,
+  )
+
+  // `db path` prints the DB file location. Under harness isolation the DB
+  // resolves to SQLite's `:memory:` (no on-disk pollution between tests);
+  // in production it'd be a path under OPENCODE_TEST_HOME / XDG_DATA_HOME.
+  // Accept either form — both prove the resolver ran without crashing.
+  cliIt.live(
+    "db path: exits 0 and prints a path or :memory:",
+    ({ opencode }) =>
+      Effect.gen(function* () {
+        const r = yield* opencode.spawn(["db", "path"])
+        opencode.expectExit(r, 0, "db path")
+        expect(r.stdout.trim()).toMatch(/^(:memory:|[/\\].+\.(db|sqlite|sqlite3))$/i)
+      }),
+    60_000,
+  )
+})