sillyspec 3.33.4 → 3.33.6

package/src/flow-parity.js

@@ -516,12 +516,66 @@ export function detectPatchDrift({ cwd, change, freezeHead }) {
   } catch { return { drifted: false, ownCommits: [], head: null, ownFiles: [], governanceOnly: false, touchedPromiseFace: false } }
 }
 
+/**
+ * 交付面锚定判定（2026-10-24-flow-done-review-artifact-drift-loop，坑实证三连循环）：
+ * 复审锚（review.json.reviewedAgainst）之后的本变更 own 提交只碰治理文件（.sillyspec/**，
+ * 典型形态=review.json 自身的归档前提交）且未触承诺面（requirements/design）→ 评审对象
+ * （交付面）自锚点起未变，结论有效。
+ *
+ * 堵 detectPatchDrift 两保留路径的复合盲区：reviewAnchoredToHead 要求锚==当前 HEAD——锚与
+ * HEAD 之间隔着 review.json 提交即恒 false；governanceOnly 看整个冻结窗——窗口内更早的
+ * 复审前修复提交（复审 reviewedAgainst 已覆盖）把 ownFiles 拖进交付文件 → 恒 false →
+ * 隔离重评 → 重评再提交 review.json 又前移……循环。本判定把「已覆盖」的度量单位从窗口
+ * 换成锚点：锚后的 own 提交才是复审未见的面。
+ *
+ * fail-safe：锚空/非祖先（rebase 重写）/git 失败 → false（宁可多评）。
+ * @returns {{ok: boolean, ownCount: number, files: string[], touchedPromiseFace: boolean}}
+ */
+export function deliveryFaceAnchoredAfter({ cwd, change, anchorSha }) {
+  try {
+    const a = String(anchorSha || '').trim().toLowerCase()
+    if (!/^[0-9a-f]{7,40}$/.test(a)) return { ok: false, ownCount: 0, files: [], touchedPromiseFace: false }
+    // 非零退出码（非祖先/git 失败）由 execFileSync 抛出走 catch fail-safe
+    execFileSync('git', ['merge-base', '--is-ancestor', a, 'HEAD'], { cwd, encoding: 'utf8', timeout: 30000, windowsHide: true })
+    const log = execFileSync('git', ['log', '--name-only', '--format=%x00%s', `${a}..HEAD`], { cwd, encoding: 'utf8', timeout: 30000, windowsHide: true })
+    const files = []
+    let ownCount = 0
+    for (const block of String(log).split('\x00')) {
+      const lines = block.split('\n').map((l) => l.trim()).filter(Boolean)
+      const subject = lines[0]
+      if (!subject) continue
+      if (parseChangeNamesFromSubject(subject).includes(change)) {
+        ownCount++
+        for (const f of lines.slice(1)) files.push(f.replace(/\\/g, '/'))
+      }
+    }
+    const promiseFace = [`.sillyspec/changes/${change}/requirements.md`, `.sillyspec/changes/${change}/design.md`]
+    const touchedPromiseFace = files.some((f) => promiseFace.includes(f))
+    const ok = files.every((f) => f.startsWith('.sillyspec/')) && !touchedPromiseFace
+    return { ok, ownCount, files, touchedPromiseFace }
+  } catch { return { ok: false, ownCount: 0, files: [], touchedPromiseFace: false } }
+}
+
 /**
  * patch 冻结面收集（2026-09-25-thin-r16-patches 修复①，R16 P2：agent 提交晚于 done →
  * 冻结件只有治理件）。committed 提交面为主；exclusive（会话专属 worktree，调用方按
  * gate-snapshot 同款判定注入）时未提交 dirty 交付面一并入冻结——独占树内 dirty 全归属本变更；
  * 共享主仓无法归属 → 不入面只警告（他侧声明的 dirty 连警告都免）。
  */
+/**
+ * dirty_gate_ignore 读取（2026-10-23-dirty-gate-ignore，module_gate_ignore/readFlowConfig
+ * 同款逐键正则防线）：local.yaml 单行逗号串（目录/文件前缀，posix），列表块形态不支持。
+ * 三态 fail-soft——未配置/键值非法/local.yaml 不可读 → 空清单（dirty 门行为与现状逐字一致）。
+ */
+export function readDirtyGateIgnore(specBase) {
+  try {
+    const raw = readFileSync(join(specBase, 'local.yaml'), 'utf8')
+    const m = raw.match(/^\s*dirty_gate_ignore\s*:\s*(.+)$/m)
+    if (!m) return []
+    return m[1].split(',').map((s) => s.trim().replace(/\\/g, '/')).filter(Boolean)
+  } catch { return [] }
+}
+
 export function collectFreezeFiles({ cwd, specBase, change, committed, exclusive }) {
   const deliverable = (f) => !String(f).replace(/\\/g, '/').startsWith('.sillyspec/')
     && !isToolGovernancePath(f)
@@ -540,6 +594,12 @@ export function collectFreezeFiles({ cwd, specBase, change, committed, exclusive
       if (deliverable(path) && !dirty.includes(path)) dirty.push(path)
     }
   } catch { /* git 失败零 dirty 面 */ }
+  // 已知残渣前缀剔除（2026-10-23-dirty-gate-ignore，单一源）：仓主显式声明的残渣面
+  // （quicklog/、测试夹具运行库等）不进 dirty 冻结缺口——剔除进 dirtyIgnored 随返回值
+  // 留证（权威门打 ℹ️ 留痕行）；预检（flow-preflight.js）经本函数自动同源继承。
+  const ignorePrefixes = readDirtyGateIgnore(specBase)
+  const dirtyIgnored = ignorePrefixes.length > 0 ? dirty.filter((f) => ignorePrefixes.some((pfx) => f.startsWith(pfx))) : []
+  if (dirtyIgnored.length > 0) dirty = dirty.filter((f) => !dirtyIgnored.includes(f))
   // 归属切分单点：exclusive（worktree/--freeze-dirty）与共享主仓共用——他侧已声明 dirty 永不入冻
   // （评审 P2 修复：--freeze-dirty 承诺「非他侧声明」，全量冻入会造成跨变更审计双计；worktree
   // 下 own 恒为全量，切分无伤）
@@ -547,8 +607,8 @@ export function collectFreezeFiles({ cwd, specBase, change, committed, exclusive
   try {
     ownDirty = splitOwnVsForeignDiffFiles(cwd, change, dirty, { specBase }).own
   } catch { /* 归属切分失败：exclusive 保留全量（声明即边界），共享主仓退全量警告 */ }
-  if (exclusive) return { files: [...new Set([...committed, ...ownDirty])], dirtyAdded: ownDirty, dirtyWarned: [] }
-  return { files: [...committed], dirtyAdded: [], dirtyWarned: ownDirty }
+  if (exclusive) return { files: [...new Set([...committed, ...ownDirty])], dirtyAdded: ownDirty, dirtyWarned: [], dirtyIgnored }
+  return { files: [...committed], dirtyAdded: [], dirtyWarned: ownDirty, dirtyIgnored }
 }
 
 /**

package/src/flow-preflight.js

@@ -0,0 +1,67 @@
+/**
+ * flow-preflight.js — 收口预检（fail-together 一次报全，2026-10-23-flow-done-preflight）
+ *
+ * 背景（收口画像实证）：621 次 flow done 调用/255 变更=2.44 次/变更，净浪费 152 次 RTT（24.5%）
+ * 源于逐门 fail-fast 串行拒绝；dirty-gap 门在实测门之后——56% 触发率的门每次拦截都先付一轮
+ * 完整实测（58s 起、大仓分钟级）。
+ *
+ * 本模块是纯前移报告层：实测门前只读收集「独立可算的便宜阻断条件」，由 flow.js 侧渲染一次
+ * 报全后拦在付费实测之前。判定与权威门同源同判定（复用同一批函数而非重写），旗标与守卫
+ * 逐条镜像 patch 子步：
+ *   - dirty-gap 预判镜像 collectFreezeFiles dirtyWarned 非空 && !freezeDirty && !acceptDirtyGap
+ *     && !turbo（turbo 下权威门降 advisory，镜像不拦）
+ *   - orphan-face 预判镜像仅会话独占 worktree（shouldSkipGateSnapshotForWorktree）且
+ *     !acceptOrphanFace
+ *   - 守卫：baseline 缺席跳过（patch 子步整体跳过面）；patch 子步已 done 跳过——预检绝不
+ *     重复拦已过权威门的面（断点续不误拦）
+ *
+ * 放弃项（评审已裁决，见 design 风险与死路）：review.json schema 预验不做——schema 违规的
+ * 成本是「修正文件+重跑」一轮 RTT，与检测时点无关（同轮提前检测不省轮次）；且豁免轮
+ * （--no-review）权威门不读文件，预检先验会多拦权威门不拦的面（判定漂移），三路皆负。
+ *
+ * fail-safe 单向：预检异常静默放行（返回空 findings）——漏报由权威门兜底（仍在原子步原序），
+ * 预检不构成新失败面；全程零写盘（不落冻结件、不 mark 子步、不写 flow-state）。
+ */
+import { gitQuiet } from './git-helper.js'
+
+/**
+ * 收集收口预检阻断条件（纯计算零打印）。
+ * @returns {{ findings: Array<{id:'dirty-gap',count:number,files:string[]} | {id:'orphan-face',commits:string[],count:number,files:string[]}> }}
+ */
+export async function collectCloseoutPreflight({ cwd, specBase, change, st, freezeDirty = false, acceptDirtyGap = false, acceptOrphanFace = false, turbo = false }) {
+  const findings = []
+  const patchDone = st?.substeps?.patch === 'done'
+  // ── dirty-gap / orphan-face 预判（镜像 patch 子步判定链）──
+  if (!patchDone && st?.baseline_commit) {
+    try {
+      let exclusiveFrom = freezeDirty === true ? 'flag' : null
+      if (exclusiveFrom == null) {
+        try {
+          const { shouldSkipGateSnapshotForWorktree } = await import('./run/gate-snapshot.js')
+          if (shouldSkipGateSnapshotForWorktree(cwd)) exclusiveFrom = 'worktree'
+        } catch { /* 判定异常按共享主仓（权威门同款） */ }
+      }
+      const exclusive = exclusiveFrom != null
+      const committedRaw = String(gitQuiet(cwd, ['diff', '--name-only', `${st.baseline_commit}..HEAD`]) || '')
+        .split('\n').map((s) => s.trim().replace(/\\/g, '/')).filter(Boolean)
+      const { filterCommittedFace, collectFreezeFiles, scanOrphanFace } = await import('./flow-parity.js')
+      const ownPrefix = `.sillyspec/changes/${change}/`
+      const committed = filterCommittedFace(committedRaw, ownPrefix)
+      const freeze = collectFreezeFiles({ cwd, specBase, change, committed, exclusive })
+      if (freeze.dirtyWarned.length > 0 && !freezeDirty && !acceptDirtyGap && !turbo) {
+        findings.push({ id: 'dirty-gap', count: freeze.dirtyWarned.length, files: freeze.dirtyWarned })
+      }
+      if (exclusiveFrom === 'worktree' && !acceptOrphanFace) {
+        try {
+          const orphan = scanOrphanFace(cwd, { baseline: st.baseline_commit })
+          if (orphan.files.length > 0) {
+            findings.push({ id: 'orphan-face', commits: orphan.commits, count: orphan.files.length, files: orphan.files })
+          }
+        } catch { /* orphan 预判 fail-safe（权威门同款不阻断） */ }
+      }
+    } catch { /* 预检 fail-safe：异常静默放行（权威门仍在 patch 子步原序原判定） */ }
+  }
+  return { findings }
+}
+
+export default { collectCloseoutPreflight }

package/src/flow-review.js

@@ -337,7 +337,9 @@ export function renderReviewerTaskbook({ change, changeDir, head = null, probeLi
     ] : [
       `  "reviewedAgainst": "<评审对象 HEAD 完整 sha——照抄任务书标注的 sha>",`,
     ]),
-    `  "findings": [ { "severity": "P1|P2|P3", "title": "…", "evidence": "代码锚点+机理一句话", "location": "file:line" } ],`,
+    `  "findings": [ { "severity": "P1|P2|P3", "status": "open|resolved|resolved-as-accepted|accepted|false-positive", "title": "…", "evidence": "代码锚点+机理一句话", "location": "file:line" } ],`,
+    `  （增量复审：已解决/接受的历史条目保留在 findings 并标 status——收口阻断只计 open 的 P1；首评可省略 status，缺省=open）`,
+    `  （写入纪律（2026-10-24-flow-done-review-artifact-drift-loop）：review.json 写 ${'<changeDir>/review.json'}——目录不存在=变更已归档/被移，停止并报告，勿重建目录；评审产物保持工作区未提交态，随归档提交一次性入库（先行提交会触发审计时点漂移判定））`,
     `  "dimensionNotes": { "乱序": "ok|finding|n/a", "并发": "ok|finding|n/a", "切换": "ok|finding|n/a", "作用域": "ok|finding|n/a" },`,
     `  "reviewedAt": "<ISO 时间>"`,
     `}`,
@@ -354,7 +356,7 @@ export function renderReviewerTaskbook({ change, changeDir, head = null, probeLi
  * 不回写文件（校验器只读铁律）。误命中面（如连写分支名含 ≥7 位 hex 段）后果有限：
  * reviewedAgainst 是溯源锚非门禁比对；风险评估见变更 design 风险1。
  */
-const extractAnchorSha = (v) => {
+export const extractAnchorSha = (v) => {
   if (typeof v !== 'string') return null
   const m = v.match(/(?<![0-9a-fA-F])[0-9a-fA-F]{7,40}(?![0-9a-fA-F])/)
   return m ? m[0].toLowerCase() : null
@@ -376,11 +378,25 @@ function readCrossRepoKeys(changeDir) {
 }
 
 /**
- * review.json 校验（三态：ok / schema 错误清单）。FAIL 或含 P1 由调用方拦截。
+ * finding 开放态判定（2026-10-24-flow-done-review-findings-status-blind，坑实证）：增量复审
+ * （FAIL 后修复 → resume 同一评审员）天然在 findings 中保留历史条目并标 status——阻断判定
+ * 只数开放项。已解决集（评审员侧语义面，大小写不敏感）：resolved / resolved-as-accepted /
+ * accepted / false-positive；status 缺省/未知值=开放（fail-closed：不因新词表静默放行）。
+ */
+export function isOpenFinding(f) {
+  const s = String((f && f.status) || '').trim().toLowerCase()
+  if (!s) return true
+  return !['resolved', 'resolved-as-accepted', 'accepted', 'false-positive'].includes(s)
+}
+
+/**
+ * review.json 校验（三态：ok / schema 错误清单）。FAIL 或含开放 P1 由调用方拦截。
  * reviewedAgainst（评审对象锚）：可选字段——缺省容忍（旧产物向后兼容）。双形态
  * （2026-10-12-tick-evidence-multi-anchor）：字符串（既有，7-40 hex）或对象
  * {workspace: sha, repos: {<key>: sha}}——跨仓交付的「对着哪个面评审」可机核；
  * 仓键开放（local.yaml repos 注册表键空间，CLI 不枚举校验键集合）。
+ * findings[].status：可选字段（isOpenFinding 词表）——校验不拒绝未知值（展示面保留），
+ * 阻断语义由调用方按 isOpenFinding 收敛（fail-closed）。
  */
 export function validateReviewJson(path) {
   let raw