669 B
669 B
Case: claim-rejects-when-thread-already-claimed
用例意义
验证同一线程在已有活跃租约时,其他执行者无法重复领取。
前置条件
worker-z已成功claim线程THREAD_ID
输入
inbox --db TMPDIR/coord.db --json claim --agent worker-y --thread THREAD_ID
预期输出
- 退出码为
20 - JSON 错误码为
lease_conflict
断言结论
- 活跃 lease 是
claim的排他条件
补充约束
claim只允许作用在pending线程上;如果线程已是claimed、in_progress、blocked,或已进入任一终态,则应返回invalid_state,而不是lease_conflict