sillyspec 3.32.10 → 3.33.1

package/src/flow.js

@@ -26,12 +26,13 @@
  * 幂等循 task-done 先例：子步各查自身完成标记，中断半态重入断点续，中段失败精确报告。
  */
 import { existsSync, readFileSync, writeFileSync, readdirSync, appendFileSync, renameSync, statSync } from 'node:fs'
+import { runtimeStatePath, runtimeTempPath } from './runtime-paths.js'
 import { join, relative, dirname } from 'node:path'
 import { DatabaseSync } from 'node:sqlite'
 import yaml from 'js-yaml'
 import { git, gitQuiet } from './git-helper.js'
 import { writeAtomicSync } from './fs-atomic.js'
-import { resolveRuntimeRoot, triggerSync, assertDatedChangeName } from './run/shared.js'
+import { resolveRuntimeRoot, triggerSync, triggerSyncTerminalStrict, assertDatedChangeName } from './run/shared.js'
 import { detectUiTouch, buildUiGuidanceLines, runUiVisualProbe, readUiVisualGate, UI_EVIDENCE_FILENAME } from './ui-visual.js'
 import { runHunkAttributionGate, readHunkGate, renderHunkAttributionLines } from './hunk-attribution.js'
 // 2026-10-13-thin-sync-stage：FLOW_STATE_FILE/readFlowState 单一源上移叶子模块 flow-state.js
@@ -686,18 +687,24 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
         try {
           const { spawnWatcher } = await import('./watcher.js')
           const w = await spawnWatcher(cwd, change, { specBase })
-          if (w.status === 'spawned') console.log(`🔄 [watcher] 观测旁路已拉起：事件流 .sillyspec/.runtime/watcher-events-${change}.jsonl（恒带 provisional:true）`)
+          if (w.status === 'spawned') console.log(`🔄 [watcher] 观测旁路已拉起：事件流 .sillyspec/.runtime/state/watcher-events-${change}.jsonl（恒带 provisional:true）`)
         } catch { /* 观测旁路 best-effort */ }
-        // adopt 标题（用户需求 2026-09-29）：头脑风暴 proposal 的 H1 是人写语义标题，
-        // deriveTitleFromLinkedChange 提取；--title 优先；兜底变更名。adopt 路径此前完全不
-        // 注册 changes 行——initChange 补插（幂等），既有行 title 空时回填。
+        // adopt 标题（2026-09-29；2026-10-16-short-change-title 提炼；2026-10-16-title-range-gate
+        // 硬区间 10-30）：头脑风暴 proposal H1 人写语义标题（纯模板 H1 回退动机首句）→ --title
+        // 优先（合区间校验，超界 exit 2）→ --input 首行提炼 → 兜底变更名。收编是既成事实的
+        // 延续面，非 flag 的超界不硬断（收编半态不可恢复）打 ⚠️ 强提示。
         try {
-          const { deriveTitleFromLinkedChange, deriveChangeTitle } = await import('./quicklog.js')
-          const adoptTitle = titleFlag || deriveTitleFromLinkedChange(specBase, change) || deriveChangeTitle(input) || change
+          const { deriveTitleFromLinkedChange, deriveShortChangeTitle, isValidChangeTitle, shortTitleRejectMessage, shortTitleRangeWarnLine } = await import('./quicklog.js')
+          if (titleFlag && !isValidChangeTitle(titleFlag)) {
+            console.error(shortTitleRejectMessage(titleFlag))
+            process.exit(2)
+          }
+          const adoptTitle = titleFlag || deriveTitleFromLinkedChange(specBase, change) || deriveShortChangeTitle(input) || change
           pm.initChange(cwd, change, { title: adoptTitle })
           const _arow = pm._ensureDB(cwd).getDb().prepare('SELECT title FROM changes WHERE name = ?').get(change)
           if (_arow && !_arow.title) pm.updateChangeMeta(cwd, change, { title: adoptTitle })
           console.log(`🏷️ 变更标题：${adoptTitle}（收编自头脑风暴产物；重入 --title 可改）`)
+          if (!isValidChangeTitle(adoptTitle)) console.log(shortTitleRangeWarnLine(adoptTitle))
         } catch { /* adopt 标题 best-effort */ }
         const materials = materialPaths(specBase, change, changeDir)
         const artifacts = changeArtifactPaths(changeDir)
@@ -719,7 +726,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
           `② 执行走任务循环：对 tasks.md 每个 pending 行——展示「Working on task N/M: <任务>」→ 做 → 测试绿后当场勾一格（\`- [ ]\`→\`- [x]\`：sillyspec task tick --change ${change} --task task-NN 或直接 Edit）→ 下一行；全勾后 flow done（收口硬门拒单拍多格勾选）。design/decisions 是本变更的承诺锚（flow done 豁免 design 四节槽，以其为准）。`,
           `requirements 测试绑定槽（收编追加）每条 FR 至少一行作答；写码前后顺手填。`,
           `✅ 任务面归你（工作分解契约）：tasks.md 是你的工作队列（机器种子可增删改，保持 \`- [ ] task-NN:\` 行形态）——CLI 以 checkbox 为进度状态机（task tick/flow status 实时读它），TodoWrite 类工具不替代；`,
-          `   勾选是收口证据面（逐格核提交 token/review.json）：做一件 → 勾一格（task tick 即时回显进度与下一任务）→ 继续下一条，勿攒一把勾；`,
+          `   勾选是收口证据面（逐格核提交 token/review.json）：做一件 → 勾一格（task tick 即时回显进度与下一任务）→ 继续下一条，勿攒一把勾；勾选修改与任务交付同一提交入库（pathspec 带上本变更 tasks.md——task tick 回显给现成命令）；`,
           `   任务拟法：收口/推送/发布类动作不单列 task（协议自身承担，成功标准照写 requirements）；确需单列的，勾选前先有消息预埋 task-NN token 的交付提交（回执类证据写进提交消息）。`,
           `   flow status --change ${change} 为自愿查看/恢复面（非协议必需，D-007 中间零必需交互；恢复时给下一任务指针与进度）。`,
           `⚠️ 交付纪律：收口前交付代码显式 pathspec 提交——冻结件范围=baseline..HEAD，未提交不进审计件。`,
@@ -780,17 +787,24 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
       writeFlowState(changeDir, { autopilot: true })
       console.log(`🤖 已声明 autopilot：spec 断点人审豁免（用户显式声明留痕）`)
     }
-    // 变更标题补写（用户需求 2026-09-29：title=中文概括 ≤50 字，建议 ~20 字）——存量在途
-    // 变更 title 空/缺失时的回填通道：显式 --title 恒生效（重入改标题）；否则从 --input 首
-    // 行推导、仅当库内 title 为空才写（不覆盖已有语义标题）。best-effort 不阻断恢复简报。
+    // 变更标题补写（2026-09-29 title=中文概括；2026-10-16-short-change-title 提炼 ≤30；
+    // 2026-10-16-title-range-gate 硬区间 10-30）——存量在途变更 title 空/缺失时的回填通道：
+    // 显式 --title 恒生效（重入改标题）且必须合区间（超界 exit 2，参数面最易修正）；提炼补写
+    // 仅当库内 title 为空才写（首写者胜），超界不阻断（resume 不可断）打 ⚠️ 强提示。
     try {
-      const { deriveChangeTitle } = await import('./quicklog.js')
+      const { deriveShortChangeTitleEx, isValidChangeTitle, shortTitleRejectMessage, shortTitleRangeWarnLine, SHORT_TITLE_HARDCUT_HINT } = await import('./quicklog.js')
+      if (titleFlag && !isValidChangeTitle(titleFlag)) {
+        console.error(shortTitleRejectMessage(titleFlag))
+        process.exit(2)
+      }
       const _row = pm._ensureDB(cwd).getDb().prepare('SELECT title FROM changes WHERE name = ?').get(change)
       const _cur = _row ? (_row.title || '') : ''
-      const _derived = titleFlag || deriveChangeTitle(input)
-      if (_derived && (titleFlag || !_cur)) {
-        pm.updateChangeMeta(cwd, change, { title: _derived })
-        console.log(`🏷️ 变更标题${titleFlag ? '已更新' : '已补写'}：${_derived}（面板显示用；建议 ~20 字中文概括，重入 --title 可改）`)
+      const _derived = titleFlag ? { title: titleFlag, hardCut: false } : deriveShortChangeTitleEx(input)
+      if (_derived && _derived.title && (titleFlag || !_cur)) {
+        pm.updateChangeMeta(cwd, change, { title: _derived.title })
+        console.log(`🏷️ 变更标题${titleFlag ? '已更新' : '已补写'}：${_derived.title}（面板显示用；须 10-30 字、建议 ~20 字，重入 --title 可改）`)
+        if (_derived.hardCut) console.log(SHORT_TITLE_HARDCUT_HINT)
+        if (!titleFlag && !isValidChangeTitle(_derived.title)) console.log(shortTitleRangeWarnLine(_derived.title))
       }
     } catch { /* 标题补写 best-effort */ }
     // 知识注入（2026-09-25-thin-fr-inject-parity）：resume 路径域路由走基线以来文件面——
@@ -893,16 +907,29 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
   // 形态信号：清晰度门管「需求说不清楚」（预段收编），升厚只留用户决策（--upgrade-thick 同意门）
   // 与运行时证据（实测失败升档/edit_ratio/评审——风险面在收口时点按承诺词/diff 原语/盲维判定）。
 
-  // 变更标题（用户需求 2026-09-29：title=中文概括 ≤50 字、建议 ~20 字，agent 总结）：
-  // --title 显式指定优先；否则 --input 首行推导（agent 在 input 首行写一句中文概括即为标题）；
-  // 两者皆缺用变更名兜底（可辨识但不达意——横幅提示下次带 --title）。
-  let changeTitle = null
+  // 变更标题硬区间门（2026-10-16-title-range-gate：10-30 字必须、建议 ~20、强制 agent 命名；
+  // 提炼口径见 2026-10-16-short-change-title）：--title 显式 > --input 首行提炼 > 变更名兜底。
+  // agent 命名时刻强制：不在区间/无 --input 兜底 → 拒绝启动（exit 2，在任何状态写入前——
+  // 零半态）；平台 writer 预建空目录（自动派发，无 agent 对话面）豁免硬门仅 ⚠️ 留痕。
+  let _st = null
+  let _rejectMsg = null
   try {
-    const { deriveChangeTitle } = await import('./quicklog.js')
-    changeTitle = titleFlag || deriveChangeTitle(input) || change
-  } catch { changeTitle = titleFlag || change }
+    const _q = await import('./quicklog.js')
+    _st = _q.resolveStartTitle({ titleFlag, input, change, enforce: !proceedFreshEmptyDir })
+    if (!_st.ok) _rejectMsg = _q.shortTitleRejectMessage(_st.kind === 'fallback' ? _st.rejectedTitle : _st.title)
+  } catch { /* quicklog 不可用（实践不可达）：降级保持旧行为兜底 */ _st = { title: titleFlag || change, ok: true, kind: titleFlag ? 'flag' : 'fallback', hardCut: false } }
+  if (_rejectMsg) {
+    console.error(_rejectMsg)
+    process.exit(2)
+  }
+  const changeTitle = _st.title
   pm.initChange(cwd, change, { title: changeTitle })
-  console.log(`🏷️ 变更标题：${changeTitle}${changeTitle === change ? '（变更名兜底——下次带 --title "<≤20 字中文概括>" 更达意）' : '（面板显示用；建议 ~20 字中文概括，重入 flow start --title 可改）'}`)
+  console.log(`🏷️ 变更标题：${changeTitle}（面板显示用；须 10-30 字、建议 ~20 字，重入 flow start --title 可改）`)
+  try {
+    const { isValidChangeTitle, shortTitleRangeWarnLine, SHORT_TITLE_HARDCUT_HINT } = await import('./quicklog.js')
+    if (_st.hardCut) console.log(SHORT_TITLE_HARDCUT_HINT)
+    if (proceedFreshEmptyDir && !isValidChangeTitle(changeTitle)) console.log(shortTitleRangeWarnLine(changeTitle))
+  } catch { /* 提示行 best-effort */ }
   try {
     const { resolveSessionIdentity } = await import('./progress.js')
     const { session } = resolveSessionIdentity({ flagSession: null, cwd })
@@ -915,7 +942,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
   try {
     const { spawnWatcher } = await import('./watcher.js')
     const r = await spawnWatcher(cwd, change, { specBase })
-    if (r.status === 'spawned') console.log(`🔄 [watcher] 观测旁路已拉起：事件流 .sillyspec/.runtime/watcher-events-${change}.jsonl（恒带 provisional:true）`)
+    if (r.status === 'spawned') console.log(`🔄 [watcher] 观测旁路已拉起：事件流 .sillyspec/.runtime/state/watcher-events-${change}.jsonl（恒带 provisional:true）`)
   } catch { /* 观测旁路 best-effort，绝不阻断协议面 */ }
 
   const head = gitQuiet(cwd, ['rev-parse', 'HEAD'])
@@ -1112,13 +1139,13 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     `   也有 1/4 抽查采样。要强制/豁免可重启时带 --review / --no-review${reviewForce === true ? '（本变更已声明 --review）' : reviewForce === false ? '（本变更已声明 --no-review）' : ''}。`,
     `⚠️ 交付纪律：收口前先把交付代码用显式 pathspec 提交（git add -- <文件> && git commit）——`,
     `   patch 冻结件范围=baseline..HEAD 提交面，未提交的代码不进审计件（R16 评审 P2 实证）；`,
-    `   tasks.md 一并显式 pathspec 提交（勾选证据进 git 历史，勿 untracked 直至归档——R19 实证）。`,
+    `   tasks.md 一并显式 pathspec 提交（勾选证据进 git 历史，勿 untracked 直至归档——R19 实证；task tick 回显会给现成命令）。`,
     `✅ 任务面归你（工作分解契约，2026-10-07-thin-tasks-v3）：tasks.md 是你的工作队列——机器种子按真实实现路径改写`,
     `   （每行=可独立完成并当场验证的一步：做什么+怎么验证；增删改随意，保持 \`- [ ] task-NN:\` 行形态）；`,
     `   执行循环：对每个未勾行 Working on task N/M → 做一件 → 测试绿后当场勾这一格 → 下一行——CLI 以 checkbox 为进度状态机`,
     `   （sillyspec task tick --change ${change} --task task-NN 即时回显进度 N/M 与下一任务指针，flow status 同源；或直接 Edit 翻格 \`- [ ]\`→\`- [x]\`），watcher 实时上平台。`,
     `   ⚠️ harness 的 TodoWrite 类工具是会话内便利面，不替代 tasks.md——平台进度/收口证据只读它（0/12 事故实证：todo 全 completed 而 tasks.md 0 勾）；`,
-    `   勾选是收口证据面：每格勾选要有对应提交（消息带 task-NN——逐个列出或 /、，连写如 task-01/02/03，「task-01..task-05」区间写法不认）或 review.json，全勾但零证据会被拒收；勿攒一把勾（收口硬门拒单拍多格）；`,
+    `   勾选是收口证据面：每格勾选要有对应提交（消息带 task-NN——逐个列出或 /、，连写如 task-01/02/03，「task-01..task-05」区间写法不认；pathspec 带上本变更 tasks.md——勾选修改与任务交付同一提交入库，task tick 回显会给现成命令）或 review.json，全勾但零证据会被拒收；勿攒一把勾（收口硬门拒单拍多格）；`,
     // 任务拟法指引（2026-10-12-closeout-task-guidance，三次「哨兵抓收口型任务零证据」复盘）：
     // 成功标准≠工作分解——收口/推送/发布是协议自身承担的动作；单列则证据（token 提交）必须先于勾选存在。
     `   任务拟法：收口/推送/发布类动作不单列 task（提交、归档、推送是 flow start→done 协议自身承担的动作——成功标准照写 requirements，勿逐字搬进任务清单）；确需单列的收口/操作型任务，勾选前先做消息预埋 task-NN token 的交付提交——回执类证据（push/publish 回执、构建日志路径）写进提交消息，勿依赖勾选后补；`,
@@ -1138,7 +1165,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     `   ②③断点 agent 自主跳过。`,
     `   随时可查进度：sillyspec flow status --change ${change}`,
     ...(detectUiTouch(input)
-      ? [...buildUiGuidanceLines(), '']
+      ? [...buildUiGuidanceLines(specBase), '']
       : []),
     ``,
     `【协议调用 2/2（干完后）】sillyspec flow done --change ${change}`,
@@ -1177,7 +1204,7 @@ function printRecoveryBriefing({ cwd, specBase, change, changeDir, runtimeRoot,
     ? (gitQuiet(cwd, ['rev-list', '--count', `${st.baseline_commit}..HEAD`]) || '0').toString().trim()
     : '?'
   const dirty = changedFilesSinceBaseline(cwd, st.baseline_commit).length
-  const hasLedger = existsSync(join(runtimeRoot, `verify-quality-scan-${change}.json`))
+  const hasLedger = existsSync(runtimeStatePath(runtimeRoot, `verify-quality-scan-${change}.json`))
   console.log([
     `🔁 flow start 恢复简报（重入）: ${change}（tier=${st.tier}${st.legacy_fallback ? '，legacy_fallback=true 混跑回退中' : ''}）`,
     `══════════════════════════════════════════════════════`,
@@ -1265,7 +1292,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
   // 不许在失败面丢失；成功收口走函数末尾同款记录，失败面只多不少）
   const appendTelemetry = (review) => {
     try {
-      appendFileSync(join(runtimeRoot, 'flow-telemetry.jsonl'), JSON.stringify({
+      appendFileSync(runtimeTempPath(runtimeRoot, 'flow-telemetry.jsonl'), JSON.stringify({
         ts: new Date().toISOString(), change, protocolCalls: 2,
         draftAmendments: st.edit_ratio != null ? 1 : 0, editRatio: st.edit_ratio ?? null,
         routeHint: st.route_hint ?? null, tier: st.tier, upgraded: st.upgrade_reason ?? null,
@@ -1369,6 +1396,22 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
     let _sentinelNonMirrorTasks = null // 镜像豁免面外的任务数（null=哨兵未跑；0=纯镜像任务面——节奏 advisory 静默）
     let _sentinelEvidenceComplete = false // 哨兵证据完备（status=complete——每格已勾任务均有 token/review.json）：单拍降级判据（2026-10-13-batchtick-evidence-domain-hint）
     let _autopilotTicked = 0 // 机器代勾格数（>0 时勾选节奏门降 advisory——代勾是单拍多格机械写，非 agent 纪律面）
+    // 勾选观测共享采集（2026-10-17-tick-timing-source）：watcher 事件流 + task-ticks.jsonl 侧车
+    // 一次读取——时点判定与勾选节奏门同源消费（此前节奏门单独读，现两门一份数据；检测逻辑
+    // 与优先序不变：事件流先判、空结果回退侧车突发）。侧车=CLI tick 逐格毫秒时戳事实源（随
+    // 归档进 git、不受观测盲窗影响）。任一源缺失按空（fail-open），绝不阻断收口。
+    const _tickObs = await (async () => {
+      try {
+        const { readWatcherEvents } = await import('./watcher.js')
+        const { detectBatchCheckCadence, detectTickBurst } = await import('./sentinel-assertions.js')
+        const stream = readWatcherEvents({ runtimeRoot, change })
+        let ticks = []
+        try { ticks = (await import('./timeline.js')).parseTickLog(readFileSync(join(changeDir, 'task-ticks.jsonl'), 'utf8')) } catch { /* 侧车缺失/不可读按空（fail-open） */ }
+        let batch = stream.exists ? detectBatchCheckCadence(stream.events) : null
+        if (!batch) batch = detectTickBurst(ticks)
+        return { stream, ticks, batch }
+      } catch { return { stream: { exists: false, events: [] }, ticks: [], batch: null } }
+    })()
     // 证据面=整条提交消息（2026-09-25-thin-done-gate-calibration 坑2：%s 只取标题行，正文里的
     // token 被判零证据，与文案「提交带 task-NN」口径漂移）——%B%x1e 按提交切记录，advisory 的
     // 提交计数不因多行正文失真。
@@ -1436,20 +1479,31 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         if (sent.status === 'complete') {
           _sentinelEvidenceComplete = true
           console.log(`🛡️ 哨兵：全勾 ${sent.checked}/${sent.claimTotal} 证据齐（提交 token/review.json）`)
-          // 勾选时点判定（2026-09-26-tick-loop-nudge，R19 行为发现）：tasks.md 的 git 首次提交
-          // == 收口窗口最后提交（一把勾模式）→ 放行但打行为提醒（不阻断——token 证据已验，
-          // 这是提醒边干边勾纪律，非假勾）。tasks.md 全程 untracked（未随交付提交）时同款提醒。
-          // 首提锚定（2026-10-07-tick-timing-first-commit）：--reverse 全 history 首行=首次提交——
-          // 旧实现 -n 1 取最近一次提交，每任务随交付提交 tasks.md 的渐进形态（首提早于 HEAD）
-          // 被误报一把勾（完整实测实证：历史 0→1→2 渐进勾选仍出警告）。
+          // 勾选时点判定（2026-10-17-tick-timing-source 换源）：判据从「tasks.md git 首次提交
+          // == 收口最后提交」整体退役——git 历史形态被官方允许的 reset --soft 压扁无声摧毁
+          // （tick-timing-squash-blindspot 坑：并行会话压扁归档把边干边勾的渐进历史抹平，警告
+          // 照出，结构性误报；且 tasks.md 不进交付 pathspec 的纪律下「untracked 直至归档」恒
+          // 复现）。换源=task-ticks.jsonl 侧车墙钟时戳（detectTickTiming 纯函数：跨度超 120s
+          // =边干边勾确认；挤 ≤120s 短窗且变更存活 ≥10×跨度=末尾集中勾选）——墙钟时戳是文件
+          // 事实，压扁/rebase 不可改写，与「审计真相锚 change.patch sha256、不依赖 git 形态」
+          // 口径对齐。节奏门已检出单拍跳/突发时让位（防双重警告——其判定覆盖同一批格子）；
+          // 无侧车观测输出一行 task tick 教学（不再作结构性警告）；advisory 不阻断语义不变。
           try {
-            const _firstRaw = gitQuiet(cwd, ['log', '--reverse', '--format=%h', '--', tasksPath])
-            const tasksIn = _firstRaw ? (String(_firstRaw).split(/\r?\n/).map((x) => x.trim()).filter(Boolean)[0] || null) : null
-            const lastIn = gitQuiet(cwd, ['log', '--format=%h', '-n', '1'])
-            if (!tasksIn) {
-              console.warn(`⚠️ 勾选时点：tasks.md 未随交付提交（untracked 直至归档）——勾选证据链靠归档兜底，git 历史不可回溯；下次收口前 tasks.md 一并显式 pathspec 提交`)
-            } else if (String(tasksIn).trim() === String(lastIn).trim()) {
-              console.warn(`⚠️ 勾选时点：tasks.md 的首次 git 提交 == 收口最后提交（一把勾模式）——token 证据齐放行，但边干边勾是进度锚（OS Guardrails 同款纪律），下次完成单元即勾`)
+            if (_tickObs.batch) {
+              /* 节奏门将报单拍多格/突发——时点判定让位 */
+            } else {
+              const _baseRaw = st && st.baseline_commit ? gitQuiet(cwd, ['show', '-s', '--format=%ct', String(st.baseline_commit)]) : null
+              const _baseTs = Number(String(_baseRaw ?? '').trim())
+              const { detectTickTiming } = await import('./sentinel-assertions.js')
+              const t = detectTickTiming({ ticks: _tickObs.ticks, lifespanMs: Number.isFinite(_baseTs) && _baseTs > 0 ? Date.now() - _baseTs * 1000 : NaN })
+              if (t.status === 'concentrated') {
+                console.warn(`⚠️ 勾选时点：${t.count} 格勾选时戳集中在 ${Math.max(1, Math.round(t.spanMs / 1000))}s 短窗内（末尾集中勾选形态）——token 证据齐放行，但边干边勾是进度锚，下次完成单元即勾（task tick 回显含现成提交命令）`)
+              } else if (t.status === 'spread') {
+                console.log(`✅ 勾选时点：${t.count} 格勾选时戳跨度 ${Math.max(1, Math.round(t.spanMs / 60000))} 分钟——边干边勾确认（判据=task-ticks 侧车墙钟时戳，不受 git 压扁影响）`)
+              } else if (t.status === 'no-ticks') {
+                console.log(`ℹ️ 勾选时点：无 tick 时戳观测（未走 task tick）——下次勾选建议 sillyspec task tick --change ${change} --task task-NN（即时回显进度与现成提交命令）`)
+              }
+              /* 'single'/'no-anchor' 静默：单格无节奏可言；缺存活锚 fail-open 不判 */
             }
           } catch { /* 时点判定 fail-soft */ }
         }
@@ -1459,7 +1513,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         // 任务面与实际不符可先改写 tasks.md（工作分解归 agent）再逐格勾。token 代勾（governance-
         // autopilot）已在上方先跑：有证据未勾的格子已代勾，此处拒的纯属零证据未完成面。
         if (sent.claimTotal > 0 && sent.checked < sent.claimTotal) {
-          console.error(`🚫 任务未全勾（${sent.checked}/${sent.claimTotal}）——tasks.md 是完成状态机：完成一件勾一格（每格勾选需对应提交带 task-NN token 或 review.json），全勾后重跑 flow done`)
+          console.error(`🚫 任务未全勾（${sent.checked}/${sent.claimTotal}）——tasks.md 是完成状态机：完成一件勾一格（每格勾选需对应提交带 task-NN token 或 review.json；提交 pathspec 带上本变更 tasks.md——勾选修改与任务交付同一提交入库），全勾后重跑 flow done`)
           console.error('   任务面与实际实现路径不符时，先改写 tasks.md（工作分解归你，增删改随意）再逐格勾；查下一任务：sillyspec task tick --change ' + `${change}` + ' --task task-NN（回显进度与指针）')
           appendTelemetry({ sentinel: 'incomplete-tasks', checked: sent.checked, total: sent.claimTotal })
           reportMidFail('ledger')
@@ -1477,19 +1531,12 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
     // 侧车突发回退（2026-10-14-tick-burst-sidecar-gate）：CLI 收口端快连点对事件流不可见（单格
     // 精确跳），空结果时回退 task-ticks.jsonl 毫秒时戳判突发——CLI 与直接 Edit 两条路径同判。
     try {
-      const { readWatcherEvents } = await import('./watcher.js')
-      const { detectBatchCheckCadence, detectTickBurst, resolveBatchTickAction } = await import('./sentinel-assertions.js')
-      const stream = readWatcherEvents({ runtimeRoot, change })
-      let batch = stream.exists ? detectBatchCheckCadence(stream.events) : null
-      if (!batch) {
-        // 侧车突发回退（2026-10-14-tick-burst-sidecar-gate）：事件流空结果时读 change 目录
-        // task-ticks.jsonl（CLI tick 毫秒时戳事实源，随归档进 git、不受观测盲窗影响）判快连点；
-        // 事件流结果优先不双重报告；侧车缺失/坏文件按无证据静默（fail-open）。
-        try {
-          const { parseTickLog } = await import('./timeline.js')
-          batch = detectTickBurst(parseTickLog(readFileSync(join(changeDir, 'task-ticks.jsonl'), 'utf8')))
-        } catch { /* 侧车缺失/不可读 → 无侧车证据（fail-open） */ }
-      }
+      const { resolveBatchTickAction } = await import('./sentinel-assertions.js')
+      // 观测消费共享采集（2026-10-17-tick-timing-source）：事件流/侧车/突发判定已在前文哨兵段
+      // 前置采集为 _tickObs（时点判定与节奏门同源一份数据；读取仅前移，检测逻辑与优先序不变
+      // ——事件流先判、空结果回退侧车突发，侧车缺失按空 fail-open）。
+      const stream = _tickObs.stream
+      const batch = _tickObs.batch
       if (batch) {
         // 代勾计数取「本拍实时代勾 ∨ 持久化代勾」较大者（二轮 P2-B：重入漂移防护）；决策纯函数
         // 单源（resolveBatchTickAction）四态与豁免优先序见其 JSDoc——代勾须解释整跳才降级
@@ -2449,7 +2496,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
   // ⑥ events：事件收口（watcher 观测旁路 best-effort 读回，非真相源）
   if (st.substeps?.events === 'done') { skip('events') } else {
     try {
-      const eventsPath = join(runtimeRoot, `watcher-events-${change}.jsonl`)
+      const eventsPath = runtimeStatePath(runtimeRoot, `watcher-events-${change}.jsonl`)
       if (existsSync(eventsPath)) {
         const n = readFileSync(eventsPath, 'utf8').split('\n').filter(Boolean).length
         console.log(`📊 watcher 事件收口：${n} 条 provisional 事件在案（.runtime 留档，平台展示面）`)
@@ -2483,8 +2530,10 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
       console.log(`   注：knowledge「最近确认」hash 为溯源快照，压扁后成孤儿引用属预期（非活引用）。`)
     }
   } catch { /* 指引 best-effort */ }
-  // 平台同步（同 flow start 尾部接线——归档后的 docs/knowledge/FR 面随本轮回推平台）
-  try { await triggerSync(cwd, change) } catch { /* 同步绝不阻断协议面 */ }
+  // 平台同步（同 flow start 尾部接线——归档后的 docs/knowledge/FR 面随本轮回推平台）。
+  // 终态强校验（2026-10-17-archive-half-state-location-stuck-active）：flow done 到此 =
+  // 变更已归档，文件树推送失败不再静默半态（🚨 告警 + 自救命令 + exit 1）
+  try { await triggerSyncTerminalStrict(cwd, change) } catch { /* 同步绝不阻断协议面 */ }
   return { change, substeps: doneList }
 }
 
@@ -2663,7 +2712,7 @@ export async function cmdFlow(args, cwd, specDir = null, opts = {}) {
         console.error(`❌ ${e.message}`)
         // 可照抄实例（2026-10-05-input-teach-copyable）：引号内换行合法，行级 trim 容忍缩进
         console.error('   重试（--input 引号内换行合法，可照抄）：')
-        console.error('   sillyspec flow start --change <YYYY-MM-DD-简短描述> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
+        console.error('   sillyspec flow start --change <YYYY-MM-DD-简短描述> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）；随后动机与背景')
         console.error('')
         console.error('   成功标准：')
         console.error('   - <可验证标准>"')
@@ -2892,9 +2941,9 @@ export async function cmdFlow(args, cwd, specDir = null, opts = {}) {
     console.log(`✅ flow amend-draft 留痕重锚：${r.reanchored.join('、')}——ledger amendment 审计在案；editRatio=${maxRatio}（段级最大；基准=首版原文，AGENT 槽不计入）`)
     return r
   }
-  console.error('用法: sillyspec flow start --change <名> --input "<一句中文概括（首行即变更标题）＋动机与背景详述＋独立一行『成功标准：』＋每行一条『- 可验证标准』>" [--thick|--with-tasks] [--no-prestage（hindsight 标记在场时声明需求已含决策，留痕放行）] | sillyspec flow done --change <名> | sillyspec flow status --change <名> [--json] | sillyspec flow diff --change <名> [--json]（只读文件统计）')
+  console.error('用法: sillyspec flow start --change <名> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）＋动机与背景详述＋独立一行『成功标准：』＋每行一条『- 可验证标准』>" [--thick|--with-tasks] [--no-prestage（hindsight 标记在场时声明需求已含决策，留痕放行）] | sillyspec flow done --change <名> | sillyspec flow status --change <名> [--json] | sillyspec flow diff --change <名> [--json]（只读文件统计）')
   console.error('      --input 可照抄形态（引号内换行合法）：')
-  console.error('      sillyspec flow start --change <名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
+  console.error('      sillyspec flow start --change <名> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）；随后动机与背景')
   console.error('')
   console.error('      成功标准：')
   console.error('      - <可验证标准>"')

package/src/forensics.js

@@ -0,0 +1,236 @@
+/**
+ * forensics.js — 会话取证证据包装配 + 取证任务书渲染（2026-10-15-session-forensics）
+ *
+ * 定位：`sillyspec diagnose --change <名>` 的只读装配面。对照 obra/superpowers
+ * diagnosing-superpowers 的取证形态做 SillySpec 原生版——分工沿本仓哲学：
+ * CLI 装配机械事实（证据包六面），agent 做语义判断（按任务书读 transcript、出
+ * path:line 证据报告）。全程零写入：证据源全是事后读取的静态文件，单源缺失/
+ * 损坏 fail-soft 空清单+注记，不抛错不阻断（取证要容忍现场变动）。
+ *
+ * 数据源（全部既有，零新格式）：
+ *   - 变更目录 / 归档目录（flow-state.yaml 身份面、review 轮次文件）
+ *   - <runtimeRoot>/agent-session-log.json（run 命令登记的会话日志路径，
+ *     按 change_key 精确相等过滤——登记面唯一键，无子串误命中面）
+ *   - <runtimeRoot>/friction-ledger.json（readFrictionLedger 既有 API）
+ *   - <runtimeRoot>/verify-runs/<时间戳目录>/test-result.json（mtime 近序取前 N）
+ *
+ * 红线：零内容枚举——任务书六维度是结构骨架（CLI 自有任务书面集合，同
+ * review_probes scope 判例），不是内容词表；CLI 不解析 transcript 本体
+ * （三 harness 格式 × 演化泥潭，解读交给 agent）。
+ */
+import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs'
+import { join } from 'node:path'
+import yaml from 'js-yaml'
+import { readFrictionLedger } from './friction-ledger.js'
+
+/** verify-runs 证据默认截断数（近序 N 条，防大仓 runtime 灌爆输出；模块内常量——导出即死码债） */
+const VERIFY_RUNS_LIMIT = 3
+
+/** 读 JSON 文件，失败/不存在返回 null（fail-soft 取证立场）。 */
+function readJsonSafe(path) {
+  try {
+    return JSON.parse(readFileSync(path, 'utf8'))
+  } catch {
+    return null
+  }
+}
+
+/** 读 YAML 文件，失败/不存在返回 null。 */
+function readYamlSafe(path) {
+  try {
+    return yaml.load(readFileSync(path, 'utf8'))
+  } catch {
+    return null
+  }
+}
+
+/**
+ * 装配证据包六面。纯读函数，零写入。
+ * @param {{ specBase: string, runtimeRoot: string, changeName: string, verifyRunsLimit?: number }} p
+ * @returns {{ identity: object, agentLogs: object[], friction: object[], verifyRuns: object[], reviews: object[], warnings: string[] }}
+ */
+export function assembleForensicsPack({ specBase, runtimeRoot, changeName, verifyRunsLimit = VERIFY_RUNS_LIMIT }) {
+  const warnings = []
+  const changeDir = join(specBase, 'changes', changeName)
+  const archivedDir = join(specBase, 'changes', 'archive', changeName)
+
+  // ① 变更身份（active / archived / missing + flow-state 态）
+  const identity = { changeName, status: 'missing', changeDir: null, archivedDir: null, tier: null, substeps: null }
+  if (existsSync(changeDir)) {
+    identity.status = 'active'
+    identity.changeDir = changeDir
+  } else if (existsSync(archivedDir)) {
+    identity.status = 'archived'
+    identity.changeDir = archivedDir
+    identity.archivedDir = archivedDir
+    warnings.push('变更已归档——证据包从归档目录读取，transcript 仍按登记路径取')
+  }
+  const flowStatePath = identity.changeDir ? join(identity.changeDir, 'flow-state.yaml') : null
+  if (flowStatePath && existsSync(flowStatePath)) {
+    const fs_ = readYamlSafe(flowStatePath)
+    if (fs_ && typeof fs_ === 'object') {
+      identity.tier = fs_.tier ?? null
+      identity.substeps = fs_.substeps && typeof fs_.substeps === 'object' ? fs_.substeps : null
+    } else {
+      warnings.push(`flow-state.yaml 解析失败（${flowStatePath}）——身份面降级`)
+    }
+  } else {
+    warnings.push('无 flow 态（archive 件或无 flow-state.yaml）')
+  }
+
+  // ② agent 会话日志（change_key 精确相等——登记面唯一键）
+  const registryPath = join(runtimeRoot, 'agent-session-log.json')
+  const registry = readJsonSafe(registryPath)
+  let agentLogs = []
+  if (registry && Array.isArray(registry.entries)) {
+    agentLogs = registry.entries.filter((e) => e && typeof e === 'object' && e.change_key === changeName)
+  } else {
+    warnings.push(`会话日志登记缺失或不可解析（${registryPath}）——本机未跑过 run 命令或登记面损坏`)
+  }
+
+  // ③ 摩擦账本（readFrictionLedger 容错：缺文件/坏 JSON → []）
+  const friction = readFrictionLedger(runtimeRoot).filter((e) => e.change === changeName)
+
+  // ④ verify-runs（mtime 近序，同 mtime 路径字典序破平；截断前 N）
+  //    fail-soft：runsRoot 为普通文件/权限损坏形态时 readdirSync 抛 ENOTDIR——捕获降级，不阻断取证。
+  const runsRoot = join(runtimeRoot, 'verify-runs')
+  const verifyRuns = []
+  if (existsSync(runsRoot)) {
+    let runEntries = []
+    try {
+      runEntries = readdirSync(runsRoot, { withFileTypes: true })
+    } catch {
+      warnings.push(`verify-runs 不可读（非目录或损坏形态，${runsRoot}）——降级为空`)
+    }
+    const dirs = runEntries
+      .filter((d) => d.isDirectory())
+      .map((d) => join(runsRoot, d.name))
+    const withTime = dirs
+      .map((dir) => {
+        try {
+          return { dir, mtimeMs: statSync(dir).mtimeMs }
+        } catch {
+          return null
+        }
+      })
+      .filter(Boolean)
+      .sort((a, b) => (b.mtimeMs - a.mtimeMs) || (a.dir < b.dir ? -1 : a.dir > b.dir ? 1 : 0))
+    for (const { dir, mtimeMs } of withTime.slice(0, Math.max(1, verifyRunsLimit))) {
+      const resultPath = join(dir, 'test-result.json')
+      verifyRuns.push({
+        dir,
+        resultPath: existsSync(resultPath) ? resultPath : null,
+        mtimeIso: new Date(mtimeMs).toISOString(),
+      })
+    }
+  } else {
+    warnings.push(`无 verify-runs 目录（${runsRoot}）——本变更未跑过收口实测或 runtime 已清理`)
+  }
+
+  // ⑤ 评审轮次（review.json + superseded-*，mtime 近序；目录损坏形态同上降级）
+  const reviews = []
+  if (identity.changeDir && existsSync(identity.changeDir)) {
+    let reviewFiles = []
+    try {
+      reviewFiles = readdirSync(identity.changeDir).filter((f) => /^review\.json(\.superseded-.+)?$/.test(f))
+    } catch {
+      warnings.push(`变更目录不可读（${identity.changeDir}）——评审轮次面降级为空`)
+    }
+    for (const f of reviewFiles) {
+      const p = join(identity.changeDir, f)
+      let mtimeIso = null
+      try {
+        mtimeIso = new Date(statSync(p).mtimeMs).toISOString()
+      } catch { /* 文件刚被删——列名不留 mtime */ }
+      reviews.push({ file: p, superseded: f !== 'review.json', mtimeIso })
+    }
+    reviews.sort((a, b) => (b.mtimeIso || '').localeCompare(a.mtimeIso || ''))
+  } else {
+    warnings.push('变更目录不存在——评审轮次面为空')
+  }
+
+  return { identity, agentLogs, friction, verifyRuns, reviews, warnings }
+}
+
+/**
+ * 渲染取证任务书（markdown）。六维度是结构骨架不是封闭清单；四纪律钉死
+ * diagnosing-superpowers 的核心铁律（path:line 锚、唯一可写产物、先读本体、时间盒）。
+ * @param {{ identity: object, agentLogs: object[], friction: object[], verifyRuns: object[], reviews: object[], warnings: string[] }} pack
+ * @returns {string}
+ */
+export function renderForensicsTaskbook(pack) {
+  const { identity, agentLogs, friction, verifyRuns, reviews, warnings } = pack
+  const lines = []
+  lines.push(`# 会话取证任务书 — ${identity.changeName}`)
+  lines.push('')
+  lines.push(`【角色】你是取证分析员（干净上下文）——还原这个会话里实际发生了什么，拿证据说话，不替流程辩护也不替人辩护。报告读者是「要决定下一步怎么办的人」。`)
+  lines.push('')
+  lines.push('## 证据包（CLI 装配的机械事实——先读这些文件本体，再下结论）')
+  lines.push('')
+  lines.push(`- 变更身份：status=${identity.status}｜tier=${identity.tier ?? '无'}｜目录=${identity.changeDir ?? '（不存在）'}`)
+  lines.push(`- agent 会话日志（${agentLogs.length} 条，change_key=${identity.changeName} 精确过滤）：`)
+  for (const e of agentLogs) {
+    lines.push(`  - [${e.harness}/${e.format ?? '?'}] ${e.log_path}（session=${e.session_id ?? '?'}${e.exists === false ? '，⚠️ 文件不在场' : ''}）`)
+  }
+  if (agentLogs.length === 0) lines.push('  - （零命中——本机未登记过本变更的会话日志）')
+  lines.push(`- 摩擦账本（${friction.length} 条）：${friction.map((e) => JSON.stringify(e.counts ?? {})).join(' / ') || '（无）'}`)
+  lines.push(`- verify-runs（近 ${verifyRuns.length} 次）：`)
+  for (const r of verifyRuns) lines.push(`  - ${r.resultPath ?? r.dir + '（无 test-result.json）'} @ ${r.mtimeIso}`)
+  lines.push(`- 评审轮次（${reviews.length} 份，含 superseded）：`)
+  for (const r of reviews) lines.push(`  - ${r.file}${r.superseded ? '（superseded——前轮评审结论，对比两轮可还原修复轨迹）' : ''}`)
+  if (warnings.length) {
+    lines.push(`- 降级注记：${warnings.join('；')}`)
+  }
+  lines.push('')
+  lines.push('## 分析维度（结构骨架——常见失事面，不是封闭清单：证据指向维度外时照报，报告允许增设章节）')
+  lines.push('')
+  lines.push('1. **时间线重建**：这个会话按时间实际做了什么（步骤推进/等待/回滚/中断点）。')
+  lines.push('2. **计划遵从**：做的是计划内的事吗？偏离处有没有留痕（决策/账本/提交消息）？')
+  lines.push('3. **重复工作**：有没有同一件事做两遍（重派/重审/重跑）？根因是什么？')
+  lines.push('4. **停等与重试**：哪里停等了用户/子代理？重试了几次？是否有可避免的空转？')
+  lines.push('5. **成本与轮次**：轮次/token 花在哪了（读文件长尾？全量重验？）？')
+  lines.push('6. **门禁摩擦**：gate 回滚/评审打回/实测失败的完整链条与最终清偿方式。')
+  lines.push('')
+  lines.push('## 取证纪律')
+  lines.push('')
+  lines.push('1. **每条 finding 必须带 `path:line` 锚，无锚不成立**——锚指向证据包列出的文件或其内容（行号取自你实际读到的文件）。')
+  lines.push('2. **唯一可写产物是 `diagnosis-report.md`**（写在变更目录）——禁止修改任何其他文件、禁止 git 操作。固定章节：`## 问题陈述` / `## 时间线` / `## Findings`（分维度）/ `## 无法证实面`（证据不足的疑点如实列，不脑补）。')
+  lines.push('3. **先读证据包列出的文件本体再下结论，禁止全量扫读仓**——矛盾经常藏在交叉处，定向读那一处。')
+  lines.push('4. **时间盒收敛**：结论存疑时定向补证；连续扩面仍零结论 = 基于已读材料收敛，把疑点写进「无法证实面」。')
+  lines.push('')
+  lines.push('【无子代理通道时】主会话按本任务书自行分析即可，如实标注执行方式；有子代理通道时按维度分派并行分析、汇总时逐条核对锚点。')
+  lines.push('')
+  return lines.join('\n')
+}
+
+/**
+ * 命令入口：sillyspec diagnose --change <名> [--detect] [--json]
+ * 只读零写入；--detect 先透传 agent-session-log 现场探测（不落盘语义随既有 cmdAgentLog）。
+ * @param {string[]} args - filteredArgs.slice(1)（'diagnose' 之后）
+ * @param {{ json?: boolean, cwd?: string, specDir?: string|null }} opts
+ */
+export async function cmdForensics(args, { json = false, cwd = process.cwd(), specDir = null } = {}) {
+  const changeIdx = args.indexOf('--change')
+  const changeName = changeIdx >= 0 && args[changeIdx + 1] && !String(args[changeIdx + 1]).startsWith('--') ? args[changeIdx + 1] : null
+  if (!changeName) {
+    console.error('用法: sillyspec diagnose --change <名> [--detect] [--json] [--spec-dir <路径>]')
+    console.error('  只读装配会话取证证据包 + 取证任务书（path:line 铁律；唯一可写产物是变更目录的 diagnosis-report.md，由执行任务书的 agent 产出）')
+    process.exit(2)
+  }
+  const specBase = specDir || join(cwd, '.sillyspec')
+  const runtimeRoot = join(specBase, '.runtime')
+
+  if (args.includes('--detect')) {
+    const { cmdAgentLog } = await import('./agent-session-log.js')
+    await cmdAgentLog(['--detect'], { json: false, cwd, specDir })
+  }
+
+  const pack = assembleForensicsPack({ specBase, runtimeRoot, changeName })
+  const taskbook = renderForensicsTaskbook(pack)
+
+  if (json || args.includes('--json')) {
+    console.log(JSON.stringify({ ...pack, taskbook }))
+    return
+  }
+  console.log(taskbook.trimEnd())
+}

package/src/fr-index.js

@@ -18,6 +18,7 @@
  */
 
 import { readChangeTrace, upsertFrBindings, applySupersededToEntryLines, testAnchorFile, resolveTestFileRel } from './test-bindings.js'
+import { modulePathMatches } from './modules.js'
 import { suggestDomainFromFiles, snapDomainToDictionary } from './knowledge-digest.js'
 import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from 'fs';
 import { basename, dirname, join } from 'path';
@@ -250,7 +251,7 @@ export function matchedModuleIds(moduleIndex, filePath) {
   const hits = [];
   for (const [modId, mod] of Object.entries(moduleIndex)) {
     const paths = (mod && Array.isArray(mod.paths)) ? mod.paths : [];
-    if (paths.some((pp) => filePath === pp || filePath.startsWith(pp.endsWith('/') ? pp : pp + '/'))) {
+    if (paths.some((pp) => modulePathMatches(filePath, pp))) {
       hits.push(modId);
     }
   }

package/src/friction-ledger.js

@@ -31,6 +31,7 @@
  * 本模块自身不打印任何输出。
  */
 import { readFileSync, mkdirSync } from 'fs'
+import { runtimeStatePath } from './runtime-paths.js'
 import { dirname, join } from 'path'
 import { writeAtomicSync } from './fs-atomic.js'
 import { withFileLock } from './quicklog.js'
@@ -45,7 +46,7 @@ const LEDGER_CAP = 200
 const LEDGER_FILENAME = 'friction-ledger.json'
 
 function ledgerFilePath(runtimeRoot) {
-  return join(runtimeRoot, LEDGER_FILENAME)
+  return runtimeStatePath(runtimeRoot, LEDGER_FILENAME)
 }
 
 /**