# Case: `run-show-returns-run-summary-and-task-counts`

## 用例意义

验证 `run show` 会返回 run 元数据与聚合任务统计，适合作为 leader 端的轻量总览命令。

## 前置条件

- 已存在 `run_blog_001`
- 该 run 下至少已有一个任务，以便产生非空 `task_counts`

## 输入

```bash
orch --db TMPDIR/coord.db --json run init --run run_blog_001 --goal "Build blog MVP" --summary "Public blog plus admin CRUD"
orch --db TMPDIR/coord.db --json task add --run run_blog_001 --task T1 --title "Implement retry policy" --summary "Add retry policy to HTTP client" --default-to worker-a
orch --db TMPDIR/coord.db --json run show --run run_blog_001
```

## 预期输出

- `run show` 退出码为 `0`
- `data.run.run_id == "run_blog_001"`
- `data.run.status == "ready"`
- `data.task_counts.ready >= 1`
- 返回值不包含 `tasks` 数组

## 断言结论

- `run show` 提供的是聚合视图，而不是完整任务明细
- run 级状态会反映当前任务聚合结果；当 run 下已有 `ready` 任务时，返回状态会是 `ready`
- 任务计数可以在不调用 `status` 的情况下被读取

## 补充约束

- 当 `--run` 指向不存在的 run 时，应返回 `not_found`
