sillyspec 3.26.8 → 3.26.10

package/src/run/complete.js

@@ -24,7 +24,7 @@ import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveR
 import { executeScanPreflight, executeScanPostcheck, computeScanProfile } from './scan-profile.js'
 import { executePlanPostcheck as runPlanPostcheckLib } from '../stages/plan-postcheck.js'
 import { outputStep } from './prompt.js'
-import { enforceDepsGate, enforceReviewJsonGate, completeStageGates, readDesignScale } from './gates.js'
+import { enforceDepsGate, enforceReviewJsonGate, enforceSymbolImpactGate, completeStageGates, readDesignScale } from './gates.js'
 import { handleArchiveConfirmStep, handlePlanGeneratePlanStep, handleScanProjectListStep, handleWorkflowPostCheck, handleQuickStageCompletion, handleExecuteWaveArtifact } from './complete-handlers.js'
 import { formatExecuteSummary } from '../worktree-apply.js'
 import { isEndToEndTaskText } from '../change-risk-profile.js'
@@ -160,6 +160,9 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
   // review.json 字段硬门（坑 review-json-field-gap）：已勾 [x] task 的 review.json 必须 schema 完整，
   // 提前到每次 --done 校验（而非等 Task Review Gate 在整阶段收尾才暴露，迫使用户事后批量补）。
   await enforceReviewJsonGate(stageName, cwd, changeName, steps[currentIdx], steps, currentIdx, specBase, platformOpts)
+  // 符号影响面报告硬门（ql-20260816-005-3d7f）：execute「加载上下文」步产出落盘核验——
+  // symbol-impact.md 存在 + plan 每 task 有结论行；防前缀步被一句「上下文在会话内」盖章跳过。
+  await enforceSymbolImpactGate(stageName, changeName, steps[currentIdx]?.name, specBase)
 
   // ── noAI 步骤硬门（坑 noai-done-bypass）：noAI 步骤的确定性校验不可被 --done 绕过 ──
   // 正常路径 agent 跑 `run <stage>` 推进到 noAI step 时，runStage 自动执行 _cliAction
@@ -323,6 +326,9 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       console.warn('⚠️ 阶段完成 ctx 构造失败，降级单仓 gate（' + (e && e.message ? e.message : e) + '）')
     }
     const _stageGatesResult = await completeStageGates({ stageName, cwd, changeName, platformOpts, specBase, progress, pm, stageData, steps, currentIdx, outputText, ctx: _completeCtx })
+    // task-04 / A5：gate 失败（stageCompleted===false）设进程退出码 1，对齐 quick 审计 blocked→exit 1 惯例。
+    // 用 process.exitCode 而非 process.exit(1)：让回滚 pm._write + triggerSync 落盘完成后自然退出，保留失败现场。
+    if (_stageGatesResult?.stageCompleted === false) process.exitCode = 1
     if (_stageGatesResult) return _stageGatesResult
 
     // 完整流程 change title 刷新：proposal/design 落盘后（brainstorm/plan 完成），从 proposal 首个 #
@@ -805,6 +811,8 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
       console.warn('⚠️ 阶段完成 ctx 构造失败，降级单仓 gate（' + (e && e.message ? e.message : e) + '）')
     }
     const _stageGatesResult = await completeStageGates({ stageName, cwd, changeName, platformOpts, specBase, progress, pm, stageData, steps: stageData.steps, currentIdx, outputText: null, ctx: _contCtx })
+    // task-04 / A5：gate 失败（stageCompleted===false）设进程退出码 1（与 completeStep 完成分支同语义）。
+    if (_stageGatesResult?.stageCompleted === false) process.exitCode = 1
     if (_stageGatesResult) return _stageGatesResult
     // 完整流程 change title 刷新（同 completeStep 完成分支，wait 解除后阶段完成也刷新）。
     if (changeName && !/^quick-[0-9a-f]{8}$/.test(changeName)) {

package/src/run/concurrent-detect.js

@@ -30,6 +30,28 @@ function normalizeGitPath(p) {
   return String(p).replace(/\\/g, '/')
 }
 
+/**
+ * 并发预检 ownFiles 锚点（2026-08-18 误归属修复）。
+ *
+ * 未声明会话（allowedFiles 空）维持旧口径 changedFiles ∪ baselineFiles——无声明即无归属信息，
+ * 收窄锚点会把本会话每次未声明的自身改动全误报他者。声明会话锚点 = baselineFiles ∪ allowedFiles
+ * （声明即归属）：窗口 diff（changedFiles）在多 agent 并发仓库可能含他者污染（ql-20260818-003
+ * 实证：并行会话窗口内改的文件被算进本会话 changedFiles 再被 ownFiles 自吞），超出声明集的
+ * 窗口新脏文件才作为 foreign 信号报出（= 他者或漏声明，歧义由 advisory 文案兜住）。
+ *
+ * 纯函数：不查盘不调 git，调用点（complete-handlers task-02 钩子）传入三个列表。
+ * @param {{ changedFiles?: string[], baselineFiles?: string[], allowedFiles?: string[] }} opts
+ * @returns {string[]} ownFiles 锚点集合（去重）
+ */
+export function resolveConcurrentAnchor({ changedFiles = [], baselineFiles = [], allowedFiles = [] } = {}) {
+  const arr = (x) => (Array.isArray(x) ? x : [])
+  const declared = arr(allowedFiles).map(normalizeGitPath).filter(Boolean)
+  if (declared.length === 0) {
+    return [...arr(changedFiles).map(normalizeGitPath), ...arr(baselineFiles).map(normalizeGitPath)]
+  }
+  return [...new Set([...arr(baselineFiles).map(normalizeGitPath), ...declared])]
+}
+
 /**
  * 检测工作树里的并发他者改动（非阻塞 advisory 用）。
  *

package/src/run/gates.js

@@ -27,6 +27,68 @@ import { handleScanStageCompleted, handleExecuteWorktreeCleanup } from './comple
 import { detectConcurrentChanges, formatConcurrentWarning } from './concurrent-detect.js'
 import { stageRegistry } from '../stages/index.js'
 
+/**
+ * 从 plan.md 提取全部 task id（task-XX）——符号影响面覆盖度校验用。
+ * 只认 checkbox 行 `- [ ] task-XX:` / `- [x] task-XX:`（与 execute.js parseWavesFromPlan 的
+ * 收容口径一致：### 标题式 task / 非 task 区 checkbox 不算），light plan 的 `## Tasks` 段同样收。
+ */
+function extractTaskIdsFromPlan(planContent) {
+  if (!planContent) return []
+  return [...String(planContent).matchAll(/^[-*]\s*\[[ x]\]\s*(?:.*\b)?task-(\d+)\b/gim)]
+    .map(m => `task-${m[1].padStart(2, '0')}`)
+}
+
+/**
+ * 符号影响面报告结构校验（纯函数）：execute「加载上下文」步的产出落盘核验。
+ *
+ * 治 persuasion-only 失效现场（ql-20260816-005-3d7f）：execute 前缀 4 步无任何 gate，agent 可
+ * <1s 连发 4 次 --done 盖章跳过，「符号影响面扫描」（execute.js 操作 11）被一句「上下文在会话内」
+ * 带过（输出契约只写「上下文摘要」，操作与输出脱节）。修法 = 报告落盘
+ * {SPEC_ROOT}/changes/<change>/symbol-impact.md + 本函数校验：plan.md 每个 task-XX 在报告中出现
+ * （逐 task 结论，「无签名级变更」也要显式写，治整体一句话带过）。语义质量（调用点找没找全）
+ * 仍归 agent，CLI 只核结构覆盖度——符合债单「persuasion-only → 补最小硬门」原则。
+ *
+ * @param {{reportContent: string|null, planContent: string|null}} params
+ * @returns {{ok: boolean, errors: string[]}}
+ */
+export function validateSymbolImpactReport({ reportContent, planContent }) {
+  const errors = []
+  if (!reportContent || !String(reportContent).trim()) {
+    return { ok: false, errors: ['symbol-impact.md 不存在或内容为空——「加载上下文」步的符号影响面报告必须落盘（逐 task 一行结论，「无签名级变更」也要显式写）'] }
+  }
+  const taskIds = extractTaskIdsFromPlan(planContent)
+  if (taskIds.length === 0) return { ok: true, errors } // plan 无 task 可列（默认兜底形态）→ 无可校验对象
+  const missing = taskIds.filter(id => !String(reportContent).includes(id))
+  for (const id of missing) {
+    errors.push(`${id} 未在 symbol-impact.md 中出现——每个 task 都要有一行结论（含「无签名级变更」的显式声明）`)
+  }
+  return { ok: errors.length === 0, errors }
+}
+
+/**
+ * 符号影响面报告硬门：execute「加载上下文」步 --done 时校验 symbol-impact.md 落盘 + task 覆盖度。
+ * fail-closed：不通过 → 当前步标 blocked + exit 1（进度不推进）。非目标步骤/阶段直接放行。
+ */
+export async function enforceSymbolImpactGate(stageName, changeName, currentStepName, specBase) {
+  if (stageName !== 'execute') return
+  if (!currentStepName || !currentStepName.includes('加载上下文')) return
+  const planPath = join(specBase, 'changes', changeName || '', 'plan.md')
+  const reportPath = join(specBase, 'changes', changeName || '', 'symbol-impact.md')
+  if (!existsSync(planPath)) return // plan.md 缺失场景已有 plan 阶段 gate 把关，此处不重复拦
+  let planContent = ''
+  try { planContent = readFileSync(planPath, 'utf8') } catch { return }
+  let reportContent = null
+  try { reportContent = readFileSync(reportPath, 'utf8') } catch { /* 缺失由 validate 报 */ }
+  const result = validateSymbolImpactReport({ reportContent, planContent })
+  if (result.ok) return
+  console.error('❌ ── 符号影响面报告校验阻断（本次 --done 未完成，进度未推进）──')
+  console.error(`   「加载上下文」步的符号影响面检查报告未落盘或不完整：`)
+  console.error(`   期望路径：${reportPath}`)
+  for (const e of result.errors) console.error(`   • ${e}`)
+  console.error('   修复：按「加载上下文」步操作 11 完成符号影响面扫描，逐 task 写结论（无签名级变更也要显式写「无」），落盘后重跑 execute --done。')
+  process.exit(1)
+}
+
 /**
  * 判断当前 execute step 所在 wave 是否全部 task 都声明 no_deps_verify: true（D-006@v2）。
  * 仅 wave 执行步骤（名如 "Wave N 执行"）可 opt-out；非 wave 步骤恒返回 false（保守过门）。
@@ -379,7 +441,11 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
           if (!executeRunId) {
             executeRunId = generateExecuteRunId()
             // 落盘（marker 缺失时 fallback 生成后写盘，保证后续 checkbox/gate 读到同一 ID）
-            try { mkdirSync(runtimeRoot, { recursive: true }); writeFileSync(runIdFile, executeRunId + '\n') } catch {}
+            // D-001#1 fallback 写入点：mkdir execute-runs/<runId>/tasks 先于 marker（不变量：
+            // marker 在则目录在）。不 try/catch——异常直穿外层 catch 走 fail-closed 阻断
+            //（gate 自身写 run 目录失败不能静默放行完成）。
+            mkdirSync(join(runtimeRoot, 'execute-runs', executeRunId, 'tasks'), { recursive: true })
+            writeFileSync(runIdFile, executeRunId + '\n')
           }
         }