skein-finish

name	skein-finish
description	task 收尾闭环门。check 全绿后使用 (被 skein-flow finish 委托, 或用户显式 "收尾/归档/闭环") — 派 skein-finisher 收尾勘察 (diff/subtask 核对/悬挂清单, 同步门) → skein finish (commit→merge→archive→销 worktree, 先闭环) → 异步 fire-and-forget 派 skein-specer 跑 sediment 判定门 + 自主写盘 (不阻塞 finish)
argument-hint	[任务ID]
arguments	[任务ID]
model	haiku
effort	medium

skein-finish — 收尾闭环门

check 全绿后、archive 前的收尾门。未 archive = 未闭环, 禁宣告 Done。

载体分工

动作	谁	产出
收尾勘察	派 skein-finisher (只读, 同步门)	diff 摘要 + subtask 逐条核对 + 悬挂清单
清悬挂 + 生命周期	main 同步跑 (不算实质工作)	TaskList/TaskStop + skein finish (commit→merge→archive→销 worktree)
sediment 沉淀	异步 fire-and-forget 派 skein-specer (finish 闭环后)	memorier 自主跑判定门 + skein-spec sediment 写盘 + reindex (main 不等回传, finish 已闭环)

流程 (每步 输入 → 动作 → 出口)

1. 收尾勘察 (同步门) — 输入 task id + worktree 路径 → 派 skein-finisher → 出口: diff 摘要 + subtask 完成核对 + 悬挂清单。未完成 subtask / 未满足验收 → 退回 exec 或 check, 禁放行。
2. 清悬挂 — TaskList 查残留 subagent / 后台任务 → TaskStop 关闭。未关 = 未闭环, 禁 finish。
3. archive (闭环) — skein finish <id> (commit→merge→archive→销 worktree)。finish 到此即闭环, 禁为 sediment 阻塞。
4. sediment (异步 fire-and-forget) — finish 闭环后异步派 skein-specer, main 不等回传即结束回合。细节见 references/sediment-protocol.md。

失败模式 (if-then 三段式: 触发 → 一线修复 → 仍失败兜底)

触发	一线修复	仍失败兜底
finisher 报未完成 subtask	退回 exec 补该 subtask	反复不完成 → 回 skein-plan 深化拆分
skein finish merge 冲突	读冲突文件手动解 → 重跑 finish	解不开 → 停手, 保留 worktree, 报用户裁
悬挂 subagent TaskStop 关不掉	重试 TaskStop	仍在 → 停手, 禁 archive (未闭环)

❌ 反例 (命中=流程错误)

🔒 Iron Law: 未 archive = 未闭环, 禁宣告 Done; sediment 异步 fire-and-forget 禁阻塞 finish。

• main 亲跑收尾勘察 (应派 skein-finisher)。
• finisher 自己改码 / 跑 sediment (勘察只读, sediment 归 memorier)。
• sediment 阻塞 finish — finish 应先闭环 (archive + 销 worktree), sediment 异步 fire-and-forget 在后, 禁为等 memorier 回传延后 skein finish。
• ❌ sediment 判定不输出 trace → ✅ memorier 回传到达后 main 补 output trace 供审阅。
• 未 archive 宣告 Done。