34 lines
1009 B
Markdown
34 lines
1009 B
Markdown
# Case: `fail-marks-thread-failed`
|
||
|
||
## 用例意义
|
||
|
||
验证租约拥有者可以把线程推进到 `failed` 终态，并生成失败结果消息。
|
||
|
||
## 前置条件
|
||
|
||
- `worker-b` 已成功 `claim` 线程 `THREAD_ID`
|
||
|
||
## 输入
|
||
|
||
```bash
|
||
inbox --db TMPDIR/coord.db --json fail --agent worker-b --thread THREAD_ID --summary "Migration failed" --body "The migration cannot proceed because the prior schema is inconsistent."
|
||
```
|
||
|
||
## 预期输出
|
||
|
||
- 命令退出码为 `0`
|
||
- `thread.status == "failed"`
|
||
- `message.kind == "result"`
|
||
|
||
## 断言结论
|
||
|
||
- `fail` 与 `done` 共享结果消息模型，但进入的是失败终态
|
||
- 成功 `fail` 后会释放当前活跃 lease，避免线程停留在失败终态却仍显示被占用
|
||
|
||
## 补充约束
|
||
|
||
- 当 `--agent` 未显式提供时，可以回退使用根级 `--agent`
|
||
- `fail` 生成的 `result` 消息会发回线程创建者，而不是发给当前执行者自己
|
||
- 如果线程没有活跃 lease，`fail` 应返回 `invalid_state`，而不是 `lease_conflict`
|
||
|