assumptions

用途：维护项目级的 Assumption Ledger，即假设的持久记录，包含假设内容、置信度、验证状态与证据。支持每个 slice 使用全新上下文，同时不丢失认知连续性。\n\n输入与模式：入参为「模式 + 上下文」$ARGUMENTS。create 初始化新账本；update 从 card、spike 结论或 slice 结果中添加或更新假设；review 汇总当前账本并建议下一步验证什么。\n\n账本位置：默认 docs/assumptions.md；若已存在则更新，不要重复创建。\n\n每条记录的字段：ID（A-### 稳定标识）、Statement（一句话，尽量可证伪）、Type（Requirement、Architecture 或 Implementation）、Confidence（0-100%）、Status（Proposed、Validated、Invalidated 或 Obsolete）、Introduced by（card/spike/slice/commit）、Validated by（测试名、命令或 spike 证据，Validated/Invalidated 必填）、Last reviewed（YYYY-MM-DD）。\n\n毕业协议：假设只是记录不确定性，不是永久权威。稳定后需提升到正式载体：语义法则或术语边界 → docs/capsule.md 或 docs/capsule-<feature>.md；带可逆性与理由的战略选择 → docs/roadmap.md 及/或决策日志；临时阶段排序或延期 → docs/milestone.md；可强制执行的不变量 → /pragma:contract 加测试。提升后保留原条目作为历史，并加"Promoted to"引用路径或锚点。\n\n操作流程：create 创建 docs/assumptions.md，包含 Active (Proposed)、Validated、Invalidated/Obsolete、Open Questions 分区，若从 capsule/card 可明显看出，则先填 3-10 条初始假设。update 从上下文提取假设（card 中的 "ASSUMPTION:" 行、spike 结论、slice 摘要），与已有条目匹配后更新置信度/状态/证据，新条目分配 ID 放入 Active；置信度低于 70% 标记 High Risk 并建议澄清或 /pragma:spike；被 spike/测试证伪则移入 Invalidated，若被取代注明 "Replaced by A-###"；对已稳定假设执行毕业协议并加交叉引用。review 按置信度最低、影响最高排序 Active (Proposed)，建议对未知用 /pragma:spike，对可端到端验证的用 /pragma:card+/pragma:slice，对代码中已有行为的用 /pragma:characterize；找出过时假设与可提升假设及其目标权威文档。\n\n约束：假设不得含糊，如 "Should be scalable" 需改写为可证伪陈述；Validated/Invalidated 必须引用测试、命令输出或 spike 结论；不删除历史，失效假设也保留；假设不是功能，账本记录知识状态而非工作；不得把假设当作语义权威，持久定义与法则必须提升到 capsule。\n\n输出：更新后的 docs/assumptions.md 差异摘要、风险最高的 3 条活跃假设、提升摘要（含目标产物）、推荐的下一步（常为 /pragma:spike 或 /pragma:card）。生命周期：State 为 governance，Next 为 /pragma:consult（或明确推荐的下一步），Loop 默认为 /pragma:consult，除非用户明确直接继续。