Agent Skills
› spacedriveapp/spacebot
› async-state-safety
async-state-safety
GitHub用于处理异步状态安全，防止竞态条件回归。涵盖工作流生命周期、取消、重试及状态机转换的规范与验证，确保幂等性和数据一致性。
Trigger Scenarios
修改 worker 生命周期
处理取消或超时逻辑
调整重触发行为
实现状态机转换
解决竞态条件问题
Install
npx skills add spacedriveapp/spacebot --skill async-state-safety -g -y
SKILL.md
Frontmatter
{
"name": "async-state-safety",
"description": "This skill should be used when the user asks to change \"worker lifecycle\", \"cancellation\", \"retrigger behavior\", \"state machine\", \"delivery receipts\", \"timeouts\", or \"race conditions\". Enforces explicit async\/state invariants and targeted race-safe verification."
}
Async State Safety
Goal
Prevent race regressions in async and stateful paths.
Required Invariants
- Define valid terminal states before coding.
- Define allowed state transitions before coding.
- Keep terminal transitions idempotent.
- Ensure duplicate events cannot double-apply terminal effects.
- Ensure retries do not corrupt state.
Race Checklist
- Cancellation racing completion
- Timeout racing completion
- Retry racing ack/receipt update
- Concurrent updates to the same worker/channel record
- Missing-handle and stale-handle behavior
Implementation Checklist
- Add or update transition guards.
- Keep error handling explicit and structured.
- Preserve status/event emission on all terminal branches.
- Document why each race path converges safely.
Verification Checklist
- Run targeted tests for each touched race path.
- Add at least one negative-path test for terminal convergence.
- Add at least one idempotency test where applicable.
- Run broad gate checks after targeted checks pass.
Handoff Requirements
- Terminal states and transition matrix
- Race windows analyzed
- Targeted commands and outcomes
- Residual risks and follow-up tests
Version History
- ac52277 Current 2026-07-05 14:56
