sillyspec 3.32.8 → 3.32.9

package/src/index.js

@@ -3382,17 +3382,19 @@ ${generated.length} 个骨架已就绪——逐节把 <!--TODO--> 替换为语
       // --from <域> --to <域> [--anchor <FR-id> 可重复]；干跑缺省列条目，--write 落盘。
       // 身份铁律：迁域不换号（绑定/supersede 链靠 ID 寻址）；平台伪域卡「一键迁移」的 CLI 端。
       if (has('--redomain')) {
-        const fromD = flag('--from')
-        const toD = flag('--to')
+        const { planRedomain, redomainFrEntries, normalizeDomainArg } = await import('./redomain.js')
+        // 入参归一化（2026-10-14-redomain-domain-arg-normalize）：--from/--to 容忍
+        // flow done 提示语原样形态（fr/auto-backend、auto-backend.md），回显/报错统一裸域名。
+        const fromD = normalizeDomainArg(flag('--from'))
+        const toD = normalizeDomainArg(flag('--to'))
         // --by-change（坑 fr-domain-suggest-typo-and-no-split-migration 缺陷2）：unmapped 等
         // 混合池按「变更：<名>」字段分批迁移——整域迁移会错置大部分条目，来源变更才是分批键。
         const byChangeD = flag('--by-change')
-        if (!fromD || !toD) { fail('用法: sillyspec tests --redomain --from <源域> --to <目标域> [--anchor <FR-id>] [--by-change <变更名>] [--write]'); break }
+        if (!fromD || !toD) { fail('用法: sillyspec tests --redomain --from <源域> --to <目标域> [--anchor <FR-id>] [--by-change <变更名>] [--write]\n  域名可带 fr/ 前缀与 .md 后缀（fr/auto-backend ≍ auto-backend.md ≍ auto-backend）'); break }
         // 多 --anchor 收集
         const anchorList = []
         for (let i = 0; i < filteredArgs.length - 1; i++) if (filteredArgs[i] === '--anchor') anchorList.push(filteredArgs[i + 1])
         try {
-          const { planRedomain, redomainFrEntries } = await import('./redomain.js')
           if (!has('--write')) {
             // 预览与落盘同口径透传 byChange（坑 redomain-plan-preview-by-change-ignored，
             // 2026-10-02 实证：76338b4d 收编在途工作时此行漏透传——预览列整域、落盘只迁
@@ -4397,7 +4399,15 @@ SillySpec platform — SillyHub 平台同步
           const syncChangeName = syncChangeIdx >= 0 && args[syncChangeIdx + 1] && !String(args[syncChangeIdx + 1]).startsWith("--") ? args[syncChangeIdx + 1] : null;
           if (syncChangeName) {
             // manual：用户显式同步，change_deleted 回执噪音闸旁路（显式动作的回执必须可见）
-            await syncModule.sync(syncChangeName, dir, { manual: true });
+            // 失败必须 exit 1（2026-10-13-sync-ledger-tombstone，事故 2026-10-13-new-change-e5a27813）：
+            // 此前忽略返回值恒 exit 0——变更不存在/未连接平台都「假成功」，daemon RPC
+            // （sillyspec.sync_change）据退出码回执，假成功掩盖行缺失。成功路径（含
+            // change_deleted 预期回执、台账墓碑补推）errors 为空，exit 0 语义不变。
+            const syncResult = await syncModule.sync(syncChangeName, dir, { manual: true });
+            if (syncResult && Array.isArray(syncResult.errors) && syncResult.errors.length > 0) {
+              console.error(`❌ platform sync 失败（${syncChangeName}）: ${syncResult.errors.join('；')}`);
+              process.exit(1);
+            }
           } else {
             // 全树 spec 文件同步（2026-10-11-sync-conflict-tri-fix FR-03）：不带 --change
             // 此前报「需要指定变更名称」——归档/历史变更无活跃会话标签时无从下手。现走

package/src/progress/change-registry.js

@@ -3,6 +3,7 @@
 // pm._changePath（persistence-core 留 facade 本体）。无共享常量依赖。
 import { existsSync, mkdirSync, readFileSync, renameSync } from 'fs';
 import { join } from 'path';
+import { appendDeletedLedger } from '../deleted-ledger.js';
 
 // 所有权活跃心跳窗缺省（2026-09-14-change-ownership-guards task-02 / FR-01）：owner 非本会话
 // 且 now-last_active < 窗口 → 拒绝接管；窗口外 → 自动接管。local.yaml change-ownership.
@@ -601,6 +602,9 @@ export class ChangeRegistry {
       // 本地脏度（D-013 / task-04）：删除也是本地状态推进（triggerSync 据此推终态/墓碑上行）
       this.pm._touchLocalModified(cwd, changeName, now);
     });
+    // 删除台账（2026-10-13-sync-ledger-tombstone）：DB 行被外部物理清除后墓碑链的唯一
+    // 终态凭证。事务提交后追加、fail-open（见 deleted-ledger.js 头注释）。
+    appendDeletedLedger(this.pm._getSpecDir(cwd), changeName, 'deleted');
   }
 
   /**
@@ -669,6 +673,9 @@ export class ChangeRegistry {
       // 本地脏度（D-013 / task-04）：归档也是本地状态推进
       this.pm._touchLocalModified(cwd, changeName, now);
     });
+    // 删除台账（2026-10-13-sync-ledger-tombstone）：归档终态同记（archived）——行被外部
+    // 清除后 sync 台账分支据此补推 archived 墓碑（平台 location='archive'）。fail-open。
+    appendDeletedLedger(this.pm._getSpecDir(cwd), changeName, 'archived');
   }
 }
 

package/src/progress.js

@@ -1217,6 +1217,73 @@ export class ProgressManager {
     return this.read(cwd, changeName);
   }
 
+  /**
+   * 原子抢占式建变更（2026-10-13-autocreate-atomic-claim，事故 2026-10-13-new-change-e5a27813）。
+   *
+   * 背景：run brainstorm / run auto 无 --change 的自动建名此前是「listChanges 查零活跃 →
+   * initChange 插行」两步——检查与插入非原子，并行进程都能通过检查各建一行（当日
+   * daemon-log-config-view 与 new-change-e5a27813 同秒落地实证）。本方法把「零活跃检查 +
+   * 建行」收敛为单条 INSERT..SELECT（NOT EXISTS active / NOT EXISTS 同名 双守卫）——
+   * SQLite 单语句原子；跨进程 WAL 快照过期（BUSY_SNAPSHOT）由 db.js transaction 的
+   * BUSY 整体重跑收敛：重跑后守卫见到先行者已提交的 active 行即拒绝。
+   *
+   * 与 initChange 的差异（调用方仅 run/command.js 自动建名两处；显式 --change / 平台
+   * 工具 / 测试 fixture 继续用 initChange，语义不动）：
+   *   - 检查+插行原子化（败者零写入）；
+   *   - 目录创建移到抢占成功之后（败者不留 changes/<自动名>/ 空目录）；
+   *   - 失败返回原因而非静默创建。
+   *
+   * @param {string} cwd 项目根
+   * @param {string} changeName 变更名（自动名恒为日期前缀名；quick 会话名与 default 不走本方法）
+   * @param {{title?: string|null, quicklogId?: string|null}} [meta]
+   * @returns {{created: true, progress: object} | {created: false, reason: 'active_exists'|'name_exists', activeChanges?: string[]}}
+   */
+  initChangeIfNoActive(cwd, changeName, meta = {}) {
+    if (!changeName) {
+      console.warn('⚠️  initChangeIfNoActive: changeName 为空，跳过');
+      return { created: false, reason: 'name_exists' };
+    }
+    const db = this._ensureDB(cwd);
+    let claimed = false;
+    db.transaction(() => {
+      const sqlDb = db.getDb();
+      const now = new Date().toISOString();
+      // 单语句原子抢占：守卫与插入同一语句，无跨语句竞态窗口
+      const claim = sqlDb.prepare(
+        `INSERT INTO changes (name, current_stage, status, created_at, last_active, title, quicklog_id)
+         SELECT ?, 'brainstorm', 'active', ?, ?, ?, ?
+         WHERE NOT EXISTS (SELECT 1 FROM changes WHERE status = 'active')
+           AND NOT EXISTS (SELECT 1 FROM changes WHERE name = ?)`
+      ).run(changeName, now, now, meta.title || null, meta.quicklogId || null, changeName);
+      claimed = claim.changes === 1;
+      if (!claimed) return; // 败者：事务内零后续写入，提交为空事务
+      // 抢到后与 initChange 同款收尾（同事务）：种全部合法阶段 + 本地脏度戳
+      const changeRow = sqlDb.prepare('SELECT id FROM changes WHERE name = ?').get(changeName);
+      for (const stage of VALID_STAGES) {
+        sqlDb.prepare(
+          `INSERT OR IGNORE INTO stages (change_id, stage, status)
+           VALUES (?, ?, 'pending')`
+        ).run(changeRow.id, stage);
+      }
+      this._touchLocalModified(cwd, changeName, now);
+    });
+    if (!claimed) {
+      const sqlDb = db.getDb();
+      const activeChanges = sqlDb.prepare("SELECT name FROM changes WHERE status = 'active'").all().map((r) => r.name);
+      const sameName = sqlDb.prepare('SELECT id FROM changes WHERE name = ?').get(changeName);
+      // 判序：同名行存在（任意 status）优先报 name_exists（重名与自动名随机碰撞兜底）；
+      // 否则按 active_exists 附清单（调用方走多活跃引导）
+      return sameName && !activeChanges.includes(changeName)
+        ? { created: false, reason: 'name_exists' }
+        : { created: false, reason: 'active_exists', activeChanges };
+    }
+    // 抢占成功后才建目录（败者零残留）；quick/default 豁免与 initChange 同款（防辅助阶段空目录物化）
+    if (!/^quick-[0-9a-f]{8}$/.test(changeName) && changeName !== 'default') {
+      this._ensureChangeDir(cwd, changeName);
+    }
+    return { created: true, progress: this.read(cwd, changeName) };
+  }
+
   setStage(cwd, stage, changeName = null) { return this._stepStore.setStage(cwd, stage, changeName); }
 
   addStep(cwd, stage, stepName, changeName = null) { return this._stepStore.addStep(cwd, stage, stepName, changeName); }

package/src/redomain.js

@@ -21,6 +21,27 @@ import { writeAtomicSync } from './fs-atomic.js'
 /** 条目段头（## FR-xxx-NNN / ## FR-NNN）判定与 ID 提取 */
 const FR_HEADER_RE = /^## (FR-[\w.-]+-\d+|FR-\d+)\s*(.*)$/
 
+/**
+ * 域名入参归一化（2026-10-14-redomain-domain-arg-normalize）。
+ *
+ * flow done 伪域告警提示语（fr-index.js）给出的是 `fr/auto-backend` 形态、手工
+ * 输入还可能带 `.md` 后缀，而本模块按裸域名拼 `fr/${from}.md`——两种口径曾打架
+ * 产生 `fr/fr/` 双前缀报错。本函数把入参统一收敛为裸域名：trim → 剥前导 `fr/`
+ * （不区分大小写）→ 剥尾随 `.md`；裸名原样返回，幂等。可能返回空串（如只传
+ * `fr/`）——空值拒绝由调用方负责（报错文案需含「fr/ 前缀」用法提示）。
+ * 域文件物理上都在 fr/ 目录内、裸名不含 `/`，`fr/xxx` 只可能是前缀形态，无歧义。
+ */
+export function normalizeDomainArg(v) {
+  return String(v ?? '').trim().replace(/^fr\//i, '').replace(/\.md$/i, '').trim()
+}
+
+/** 归一化后空值拒绝（统一文案，调用方在一切 fs IO 之前调用） */
+function assertDomainArgs({ from, to }) {
+  if (!from || !to) {
+    throw new Error('源域/目标域为空：域名可带 fr/ 前缀与 .md 后缀（fr/auto-backend ≍ auto-backend.md ≍ auto-backend）')
+  }
+}
+
 function frEntryId(headerLine) {
   const m = FR_HEADER_RE.exec(headerLine)
   return m ? m[1] : null
@@ -64,6 +85,9 @@ function entrySourceChange(sectionLines) {
  * @throws 源域缺席 / 无匹配条目 / anchor 未命中
  */
 export function redomainFrEntries({ knowledgeRoot, from, to, anchors = null, byChange = null }) {
+  from = normalizeDomainArg(from)
+  to = normalizeDomainArg(to)
+  assertDomainArgs({ from, to })
   const frDir = join(knowledgeRoot, 'fr')
   const fromPath = join(frDir, `${from}.md`)
   const toPath = join(frDir, `${to}.md`)
@@ -134,6 +158,9 @@ export function redomainFrEntries({ knowledgeRoot, from, to, anchors = null, byC
 
 /** 干跑预览：列出将迁移条目，不落盘（byChange 同执行侧过滤） */
 export function planRedomain({ knowledgeRoot, from, to, anchors = null, byChange = null }) {
+  from = normalizeDomainArg(from)
+  to = normalizeDomainArg(to)
+  assertDomainArgs({ from, to })
   const frDir = join(knowledgeRoot, 'fr')
   const fromPath = join(frDir, `${from}.md`)
   if (!existsSync(fromPath)) throw new Error(`源域文件不存在：fr/${from}.md`)

package/src/route-hindsight.js

@@ -32,7 +32,7 @@
  *     flow-state substeps 无失败计数面（执行期裁决 D-006：数据源从卡面所述「flow-state
  *     substeps」改读同为既有记录面的 verify-runs 时间线，封闭面语义不变）。
  */
-import { existsSync, readFileSync, readdirSync, mkdirSync } from 'node:fs'
+import { existsSync, readFileSync, readdirSync, mkdirSync, rmSync } from 'node:fs'
 import { createHash } from 'node:crypto'
 import { join, basename, dirname } from 'node:path'
 import { writeAtomicSync } from './fs-atomic.js'
@@ -273,4 +273,36 @@ export function readHindsightHint({ specBase }) {
   }
 }
 
-export default { HINDSIGHT_THRESHOLDS, snapshotBaseline, computeHindsightMetrics, markHindsight, readHindsightHint }
+/**
+ * 标记结构化读取（2026-10-14-prestage-consent-gate）：同意门需要 change/reasons 组文案，
+ * 提示行渲染（resume 路径）仍走 readHindsightHint。无文件/损坏 → null（读不到=无门）。
+ * @returns {{ change: string, marked_at?: string, metrics?: object, reasons?: string[] } | null}
+ */
+export function readHindsightMark({ specBase }) {
+  try {
+    const raw = readFileSync(join(specBase, '.runtime', MARK_FILE), 'utf8')
+    const j = JSON.parse(raw)
+    if (!j || typeof j !== 'object' || !j.change) return null
+    return j
+  } catch {
+    return null
+  }
+}
+
+/**
+ * 消费标记（声明放行 --no-prestage / adopt 头脑风暴收编时由 flow.js 调用）：删除标记文件。
+ * 一次性反馈语义——声明只豁免下一次 start，不豁免之后所有（之后再被标记会重新落盘重新拦）。
+ * @returns {boolean} 是否真删（无标记/删除失败 = false，幂等零副作用）
+ */
+export function clearHindsightMark({ specBase }) {
+  try {
+    const p = join(specBase, '.runtime', MARK_FILE)
+    if (!existsSync(p)) return false
+    rmSync(p)
+    return true
+  } catch {
+    return false
+  }
+}
+
+export default { HINDSIGHT_THRESHOLDS, snapshotBaseline, computeHindsightMetrics, markHindsight, readHindsightHint, readHindsightMark, clearHindsightMark }

package/src/run/command.js

@@ -24,7 +24,7 @@ import { existsSync, readdirSync, mkdirSync, writeFileSync, readFileSync, rmSync
 import { randomBytes, randomUUID } from 'node:crypto'
 import { fileURLToPath } from 'node:url'
 import { writeAtomicSync } from '../fs-atomic.js'
-import { resolveSpecDir, countAncestorSpecDirs, ancestorSpecDirs, resolveAncestorCeiling, resolveChangeDir, triggerSync, getStageSteps, formatWaitOptions, checkApproval, warnApprovalUnknown, didYouMean, assertSafeChangeName, assertDatedChangeName, detectQuickSessionDrift, detectWorktreeSpecDrift, resolveRuntimeRoot, resolveQuickSessionsDir, writePlatformPointer, checkPlatformManaged, isSelfReferentialSpecRoot, isTempResidueSpecRoot, PLATFORM_MANAGED_FILENAME, warnSelfRefPointerOnce, readStageBurst, STAGE_BURST_STAGES } from './shared.js'
+import { resolveSpecDir, countAncestorSpecDirs, ancestorSpecDirs, resolveAncestorCeiling, resolveChangeDir, triggerSync, getStageSteps, formatWaitOptions, checkApproval, warnApprovalUnknown, didYouMean, assertSafeChangeName, assertDatedChangeName, detectQuickSessionDrift, detectWorktreeSpecDrift, resolveRuntimeRoot, resolveQuickSessionsDir, writePlatformPointer, checkPlatformManaged, isSelfReferentialSpecRoot, isTempResidueSpecRoot, PLATFORM_MANAGED_FILENAME, warnSelfRefPointerOnce, readStageBurst, STAGE_BURST_STAGES, isRetiredAutoBrainstormTable, printRetiredAutoBrainstormRefusal } from './shared.js'
 import { resolveQuickLinkedChanges } from './quick-audit.js'
 import { outputStep, collectStageWaitHistory } from './prompt.js'
 import { completeStep, completeStepBurst, skipStep, waitStep, continueStep, synthesizeStepOutput } from './complete.js'
@@ -34,7 +34,7 @@ import { ProgressManager, resolveSessionIdentity } from '../progress.js'
 import { validateChangeExists, checkTransition } from '../stage-contract.js'
 import { READONLY_AUXILIARY_STAGES } from '../constants.js'
 import { stageRegistry, auxiliaryStages } from '../stages/index.js'
-import { definition as brainstormAutoDef } from '../stages/brainstorm-auto.js'
+
 import { setQuickFileNotes } from '../quicklog.js'
 import { checkQuickSessionOwner, writeQuickSessionOwner } from '../quick-session-owner.js'
 import { hasDecisionId } from '../decisions-io.js'
@@ -171,6 +171,14 @@ function resolveChangeName(cwd, progress, specDir = null) {
 export async function ensureStageSteps(progress, stageName, cwd, specDir = null) {
   if (!progress.stages) progress.stages = {}
 
+  // 退役自动道守门（2026-10-14-brainstorm-auto-retire）：存量 brainstorm 4 步 auto 表在此明确
+  // 拒绝——否则下方「步骤表与当前定义漂移」分支会把 auto 表静默重种为主模式 8 步表并清零进度。
+  // --reset/--reopen 走 resetStage 内联重种（不经此函数）= 指引中的恢复出路。
+  if (stageName === 'brainstorm' && isRetiredAutoBrainstormTable(progress.stages.brainstorm?.steps)) {
+    printRetiredAutoBrainstormRefusal(progress?.change || null)
+    process.exit(2)
+  }
+
   const steps = await getStageSteps(stageName, cwd, progress, specDir)
   if (!steps) return false
 
@@ -1340,39 +1348,45 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
           process.exit(2) // 用法错（--done 找不到变更，未传 --change）→ exit 2
         }
         // task-03 (D-006@v1 / FR-05): 无 --change 仅当无已存在活跃变更时 auto-create；
-        // 多活跃变更仓强制 --change（exit 2 引导），防 B8 幽灵变更。活跃变更数用 pm.listChanges
-        // （与 progress show 同源，DB changes 表 status='active'）。
-        const activeChanges = pm.listChanges(cwd)
-        if (activeChanges.length > 0) {
+        // 多活跃变更仓强制 --change（exit 2 引导），防 B8 幽灵变更。
+        // 2026-10-13-autocreate-atomic-claim：listChanges 检查 + initChange 两步非原子
+        // （并行进程同过检查各建一行，2026-10-13-new-change-e5a27813 事故实证）——改
+        // initChangeIfNoActive 单语句原子抢占，败者走同一引导。
+        const date = new Date().toISOString().slice(0, 10)
+        const autoName = `${date}-new-change-${randomBytes(4).toString('hex')}`
+        const claim = pm.initChangeIfNoActive(cwd, autoName, { title: inputText ? (deriveChangeTitle(inputText) || sanitizeDesc(inputText)) : autoName })
+        if (!claim.created) {
+          const activeChanges = claim.activeChanges || []
           console.error(`❌ 已存在 ${activeChanges.length} 个活跃变更，run brainstorm 无 --change 不会自动创建新变更。`)
           console.error(`   活跃变更：${activeChanges.join('、')}`)
           console.error('   请用 --change <变更名> 指定要操作的变更，')
           console.error('   或先归档/收尾现有活跃变更后重试。')
           process.exit(2) // 用法错（多活跃变更未指定 --change）→ exit 2
         }
-        const date = new Date().toISOString().slice(0, 10)
-        const autoName = `${date}-new-change-${randomBytes(4).toString('hex')}`
         console.log(`🔄 自动创建变更：${autoName}`)
         console.log(`  提示：可以用 --change <名称> 指定自定义变更名`)
         console.log(`  或事后重命名：sillyspec change-rename ${autoName} <新名称>`)
-        // brainstorm 自动创建变更也写 title（--input 需求描述优先 / 自动名兜底），proposal 落盘后刷新。
-        progress = pm.initChange(cwd, autoName, { title: inputText ? (deriveChangeTitle(inputText) || sanitizeDesc(inputText)) : autoName })
+        progress = claim.progress
         changeName = autoName
       } else if (stageName === 'auto') {
         // auto 零活跃建变更（2026-09-08-auto-driver D-003@v1，Grill P1-②）：SKILL 启动命令即
         // run auto --input——此前此处 exit 2 是断头路。复用 brainstorm 命名（date-new-change-hex）。
-        // pm.read 对零/多活跃都返 null——先分流：多活跃报错列候选（不隐式选择），零活跃才建。
-        const activeCount = pm.listChanges(cwd)
-        if (activeCount.length > 1) {
+        // pm.read 对零/多活跃都返 null——多活跃报错列候选（不隐式选择），零活跃才建。
+        // 2026-10-13-autocreate-atomic-claim：同 brainstorm 改原子抢占；顺带收紧「恰好 1 个
+        // 活跃也建第二个」的旧宽限（旧 >1 检查与其「零活跃才建」注释自相矛盾，且计数宽限
+        // 正是并发双建的温床）——1 活跃现与多活跃同走 exit 2 引导。
+        const date = new Date().toISOString().slice(0, 10)
+        const autoName = `${date}-new-change-${randomBytes(4).toString('hex')}`
+        const claim = pm.initChangeIfNoActive(cwd, autoName, { title: inputText ? (deriveChangeTitle(inputText) || sanitizeDesc(inputText)) : autoName })
+        if (!claim.created) {
+          const activeCount = claim.activeChanges || []
           console.error(`❌ 已存在 ${activeCount.length} 个活跃变更，run auto 无法自动定位目标。`)
           console.error('   活跃变更：' + activeCount.join('、'))
           console.error('   请用 --change <变更名> 显式指定，或先归档/收尾现有变更。')
           process.exit(2)
         }
-        const date = new Date().toISOString().slice(0, 10)
-        const autoName = `${date}-new-change-${randomBytes(4).toString('hex')}`
         console.log(`🔄 auto 模式自动创建变更：${autoName}（可用 --change 指定名称，或事后 change-rename）`)
-        progress = pm.initChange(cwd, autoName, { title: inputText ? (deriveChangeTitle(inputText) || sanitizeDesc(inputText)) : autoName })
+        progress = claim.progress
         changeName = autoName
       } else {
         console.error('❌ 未找到进度数据，请先运行 sillyspec init 或指定 --change <变更名>')
@@ -2021,11 +2035,9 @@ async function runAutoMode(pm, progress, cwd, flags, changeName, platformOpts =
     }
   }
 
-  // Helper: 在 auto 模式下获取步骤定义
+  // Helper: 在 auto 模式下获取步骤定义（brainstorm-auto 已删除 2026-10-14-brainstorm-auto-retire：
+  // brainstorm 一律主模式定义，wait 步由 auto 驱动方按 SS-META requiresUser 自行推进）
   const getAutoSteps = async (stage) => {
-    if (stage === 'brainstorm') {
-      return brainstormAutoDef.steps
-    }
     return getStageSteps(stage, cwd, progress, platformOpts?.specRoot || null)
   }
 
@@ -2037,27 +2049,11 @@ async function runAutoMode(pm, progress, cwd, flags, changeName, platformOpts =
   const ensureAutoStage = async (stage) => {
     const stageChanged = progress.currentStage !== stage
     progress.currentStage = stage
-    // Auto 模式下 brainstorm 使用 artifact-first 步骤
-    if (stage === 'brainstorm') {
-      const existingSteps = progress.stages?.brainstorm?.steps
-      const isAutoModeSteps = existingSteps?.length === 4 && existingSteps?.[0]?.name === '进度确认与上下文加载'
-      // auto 表在位即早退（2026-09-08 E2E 实证 bug：此前仅 !isAutoModeSteps 重种后 return，
-      // auto 表存在时掉进下方通用 ensureStageSteps——主模式 8 步定义判 4 步 auto 表「漂移」
-      // 重种主模式表，与 getAutoSteps 渲染双轨互踩，进度永远回 step1）
-      if (isAutoModeSteps) return progress
-      if (!isAutoModeSteps) {
-        if (!progress.stages) progress.stages = {}
-        progress.stages.brainstorm = {
-          status: 'in-progress',
-          startedAt: new Date().toLocaleString('zh-CN', { hour12: false }),
-          completedAt: null,
-          steps: brainstormAutoDef.steps.map(s => ({ name: s.name, status: 'pending' }))
-        }
-        pm._write(cwd, progress, changeName)
-        triggerSync(cwd, changeName, platformOpts)
-        progress = pm.read(cwd, changeName)
-        return progress
-      }
+    // 退役自动道守门（2026-10-14-brainstorm-auto-retire）：存量 4 步 auto 表明确拒绝（下方通用
+    // ensureStageSteps 同款拒绝兜底，此处先行给带变更名的文案）
+    if (stage === 'brainstorm' && isRetiredAutoBrainstormTable(progress.stages?.brainstorm?.steps)) {
+      printRetiredAutoBrainstormRefusal(changeName)
+      process.exit(2)
     }
     // specRoot 必传（坑 auto-mode-specroot-miss）：平台模式 specRoot 是外部目录，漏传时
     // getStageSteps 从 cwd 推导 miss 掉 plan/execute 动态步骤（buildPlanSteps(null) 只剩

package/src/run/complete.js

@@ -22,22 +22,19 @@ import { writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
 import { writeCloseTraceArtifacts, projectTraceFaceRows } from '../flow-parity.js'
 import { withFileLock } from '../quicklog.js'
-import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer } from './shared.js'
+import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer, isRetiredAutoBrainstormTable, printRetiredAutoBrainstormRefusal } from './shared.js'
 import { isExplicitReviewWrite, collectWorktreeChangedFiles } from '../task-review.js'
 
-// auto 模式 brainstorm 步骤表感知解析（2026-09-08 E2E 实证 bug：--done/--wait 推进主模式 8 步表，
-// 与 runAutoMode getAutoSteps 的 4 步 auto 表双轨互踩——ensureAutoStage 判非 auto 表重种清零，
-// 进度永远回 step1）。DB 现存 brainstorm 表为 auto 形态（4 步+首名「进度确认与上下文加载」）时，
-// complete 路径与渲染路径同源用 brainstormAutoDef.steps。
-async function getStageStepsAutoAware(stageName, cwd, progress, specDir) {
-  const steps = await getStageSteps(stageName, cwd, progress, specDir)
-  if (stageName !== 'brainstorm') return steps
-  const existing = progress?.stages?.brainstorm?.steps
-  const isAutoTable = Array.isArray(existing) && existing.length === 4
-    && existing[0]?.name === '进度确认与上下文加载'
-  if (!isAutoTable) return steps
-  const { definition: brainstormAutoDef } = await import('../stages/brainstorm-auto.js')
-  return brainstormAutoDef.steps
+// 退役自动道守门（2026-10-14-brainstorm-auto-retire）：brainstorm-auto 4 步表已随自动道删除。
+// 2026-09-08 双轨互踩 bug 的兼容面（complete 路径感知 auto 表用 auto 定义推进）就此退役——
+// 存量 auto 表变更在此明确拒绝（不静默重种清零进度）；--reset/--reopen 走 resetStage 内联
+// 重种主模式表 = 恢复出路。
+async function getStageStepsAutoAware(stageName, cwd, progress, specDir, changeName = null) {
+  if (stageName === 'brainstorm' && isRetiredAutoBrainstormTable(progress?.stages?.brainstorm?.steps)) {
+    printRetiredAutoBrainstormRefusal(changeName)
+    process.exit(2)
+  }
+  return getStageSteps(stageName, cwd, progress, specDir)
 }
 
 import { executeScanPreflight, executeScanPostcheck, computeScanProfile, executeScanDetectProjects, executeScanResumeCheck, executeScanFinalize } from './scan-profile.js'
@@ -337,7 +334,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
   }
 
   // ── requiresWait 硬门控 ──
-  const defStepsForCurrent = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null)
+  const defStepsForCurrent = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null, changeName)
   // def↔DB 一致性守卫（坑 execute-step-table-drift，2026-08-20 实证）：runCommand 入口已按名
   // 重播种（ensureStageSteps），但同一命令进程内 plan.md 若再次被改（或绕过 runCommand 直调
   // completeStep 的路径），def 与 DB 步数错位会让 currentIdx 的门控/prompt 施加到错误的步骤上
@@ -1028,7 +1025,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
     }
   }
 
-  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null)
+  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null, changeName)
   console.log(`✅ Step ${currentIdx + 1}/${steps.length} 完成：${steps[currentIdx].name}\n`)
 
   // Workflow post_check（W6 Step6 抽至 complete-handlers.js handleWorkflowPostCheck）
@@ -1888,7 +1885,7 @@ export async function waitStep(pm, progress, stageName, cwd, outputText, waitRea
 
   // maxWaitRounds 硬上限：达到后拒绝继续 --wait
   const currentStep = stageData.steps[currentIdx]
-  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null)
+  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null, changeName)
   const stepDef = defSteps?.[currentIdx] || {}
   const maxWaitRounds = currentStep.maxWaitRounds ?? stepDef.maxWaitRounds
   const currentWaitRound = currentStep.waitRound || 0
@@ -2038,7 +2035,7 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
   } else {
     currentIdx = waitingSteps[0].idx
   }
-  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null)
+  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null, changeName)
   const currentStepDef = defSteps?.[currentIdx] || {}
   const currentStep = stageData.steps[currentIdx]
   const isRepeatableWait = currentStepDef.repeatableWait === true || currentStep.repeatableWait === true
@@ -2247,7 +2244,7 @@ export async function skipStep(pm, progress, stageName, cwd, changeName, platfor
     console.log(`⚠️  Step "${steps[currentIdx].name}" 此前被门控阻断（blocked），本次 --skip 将跳过该步——若门控条件已修复，更宜直接 --done 推进。`)
   }
 
-  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null)
+  const defSteps = await getStageStepsAutoAware(stageName, cwd, progress, platformOpts?.specRoot || null, changeName)
   const stepDef = defSteps ? defSteps[currentIdx] : null
   if (stepDef && !stepDef.optional) {
     console.error(`❌ 步骤 "${steps[currentIdx].name}" 不可跳过`)

package/src/run/gates.js

@@ -224,7 +224,7 @@ export function warnMissingUiPrototype(stageName, changeName, currentStepName, s
   const design = readFileSync(designPath, 'utf8')
   const feExts = [...new Set((design.match(/\.(vue|svelte|astro|tsx|jsx|css|scss|sass|less|styl|html)\b/gi) || []).map(s => s.replace('.', '').toLowerCase()))]
   if (feExts.length === 0) return
-  console.warn(`   ⚠️ design.md 命中前端文件类型（${feExts.join('/')}）但变更目录无 prototype-*.html——轻微样式改动可忽略；布局/交互流程级变化应补原型（sillyspec run brainstorm --reopen 回到「分段展示设计」，或直接让 agent 补生成）`)
+  console.warn(`   ⚠️ design.md 命中前端文件类型（${feExts.join('/')}）但变更目录无 prototype-*.html——轻微样式改动可忽略；布局/交互流程级变化应补原型（sillyspec run brainstorm --reopen 回到「分段展示设计」，或直接让 agent 补生成；已有可复跑 HTML 原型则登记复用：复制进变更目录并命名 prototype-<名称>.html，execute 按此命名注入）`)
 }
 
 /**

package/src/run/prompt.js

@@ -2247,6 +2247,16 @@ ${maskVolatileForGuide(guideTemplate)}
     }
     console.log('<!--SS-META:' + JSON.stringify(meta) + '-->')
   }
+
+  // 尾部全文锚（2026-10-14-guide-anchor-adopt-proto，sess_fb51d988 实证）：首见全量渲染可能被
+  // harness 工具结果截断保尾——长动态注入段（模块欠账/知识命中等）把决策关键节（原型分级/生成
+  // 要求等）顶出可见窗口，agent 只见铁律半句就临场发挥。末尾一行带 step-guides 全文路径，截断后
+  // 仍能 Read 回完整规则（complete.js task-08 锚定行的补全：带路径，不只报位置）。复入分支顶部
+  // 已有 📄 行，但其动态附录同样可能很长把顶部顶掉——尾部统一再锚一次。guide 关闭/--json 劫持/
+  // 文件不在场时零输出（stdout 确定性测试面不变）。
+  if (guideEnabled && !jsonHijacked && existsSync(guideFile)) {
+    console.log(`📄 指引全文锚：${guideFile}（本输出被截断或上下文丢失时 Read 此文件拿回完整步骤规则——决策关键节都在内）`)
+  }
 }
 /**
  * 替换 prompt 文本中的路径根占位符 {SPEC_ROOT}/{DOCS_ROOT}/{PROJECTS_ROOT}/

package/src/run/shared.js

@@ -2308,6 +2308,25 @@ export function _clearMultiRepoCtxCache(cwd, changeName) {
 }
 
 
+/**
+ * 退役自动道步骤表形态判定（2026-10-14-brainstorm-auto-retire）：brainstorm 4 步 auto 表
+ *（首名「进度确认与上下文加载」——与主模式首步「进度确认」字面可区分）。检测到时调用方必须
+ * 报退役指引并退出：防止 ensureStageSteps 把 auto 表判「漂移」静默重种清零存量进度。
+ * --reset/--reopen 走 resetStage 内联重种（不经此判定）——即指引中的恢复出路。
+ */
+export function isRetiredAutoBrainstormTable(steps) {
+  return Array.isArray(steps) && steps.length === 4
+    && steps[0]?.name === '进度确认与上下文加载'
+}
+
+/** 退役拒绝文案（单一真相源：ensureStageSteps / getStageStepsAutoAware / ensureAutoStage 三入口共用）。 */
+export function printRetiredAutoBrainstormRefusal(changeName) {
+  console.error(`⛔ 该变更的 brainstorm 步骤表来自已退役的自动道（4 步 auto 表，brainstorm-auto 已于 2026-10-14 删除——其设计产物流程无原型分级/真码口径，且双轨步骤表机制易互踩）。`)
+  console.error(`   处置：① sillyspec run brainstorm --change ${changeName || '<变更名>'} --reset（重种主模式 8 步表从头开始——brainstorm 尚未收口时适用）② sillyspec doctor（诊断后处置）。`)
+  console.error(`   进度未被修改（拒绝不写盘，不静默重种）。`)
+}
+
+
 /**
  * 获取阶段的步骤定义（execute 需要动态构建）
  */

package/src/scope-audit.js

@@ -1329,7 +1329,7 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
  *   { key, repoPath, anchor, totals, degraded, degradedReason, patch?, patchSha256? }；
  *   notes 为调用方 note 链的增量行（跨仓计数行 + 降级行）。
  */
-export function reconcileCrossRepoPlan({ cwd, specBase, runtimeRoot, changeName, planEntries, collectPatch = false }) {
+export function reconcileCrossRepoPlan({ cwd, specBase, runtimeRoot, changeName, planEntries, collectPatch = false, crossBaselines = null }) {
   const rows = []
   const repos = []
   const notes = []
@@ -1344,7 +1344,7 @@ export function reconcileCrossRepoPlan({ cwd, specBase, runtimeRoot, changeName,
     let repoActual = null
     let repoFailure = null
     try {
-      repoActual = collectRepoActual({ repoKey, specBase, cwd, runtimeRoot, changeName })
+      repoActual = collectRepoActual({ repoKey, specBase, cwd, runtimeRoot, changeName, crossBaselines })
     } catch (e) {
       repoFailure = e && e.message ? String(e.message).split('\n')[0] : String(e)
     }

package/src/stages/brainstorm.js

@@ -67,7 +67,7 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
 （2 调用协议收口）。用户同意则本阶段可在此收尾（\`--done\` 并提示转轻量变更），不必继续走完整设计流程。
 - **明显 large**（需要 Wave 并行编排/上下文分片/多阶段治理，或用户显式要求完整流程）→ 不要提示轻量变更，继续进入下一步「对话式探索与需求澄清」。
 - **拿不准 → 继续探索**（这正是头脑风暴的职责；澄清完成后 Step 8 按同轴精判——注意：经过头脑风暴澄清的需求通常已可单上下文吞吐，出口默认收编轻量道）。
-- 这是**粗判**，只为让明显的纯执行小变更免走设计流程；后续「生成规范文件」步骤做精判兜底。
+- 这是**粗判**，只为让明显的纯执行小变更免走设计流程；后续「生成规范文件」步骤做精判兜底（方案在澄清中缩水后按定稿重判，本步印象不作数）。
 
 ### 输出
 项目现状理解摘要（3-5 句话，关键约定和架构决策）+ 可能涉及的模块列表 + 本次需求所属子项目 + （如命中）quick 建议
@@ -248,11 +248,15 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
 3. 展示完整设计方案（不要逐段停顿，一次性展示）
 4. 分段设计含新机制时同上检索（固定动作）：设计的分段内容引入新机制词（例词为举例非机制，不构成封闭清单）时，先跑 \`sillyspec knowledge search --query "<机制词>"\`，命中条目必读（尤其 status=rejected 的防复潮条目）再定稿设计
 5. 确认变更名（格式：\`YYYY-MM-DD-<简短描述>\`，例如 \`2026-05-13-user-auth\`——CLI 已强制：新建/改名不带日期前缀直接 exit 2）
-6. 按「HTML 原型分级」生成原型或写出跳过原因（二选一必填，见下）
+6. 按「HTML 原型分级」三选一必填：生成原型 / 登记复用既有原型 / 写出跳过原因（见下）
 7. 暂停等待用户确认或修改意见
 
 ### HTML 原型分级（按改动程度，不是"是否碰前端文件"）
 判定对象是**改造后的界面相对现状的变化程度**：
+- **免生成·登记复用**（用户已提供**可复跑**的 HTML 原型且覆盖本次 UI 面——先判本档再判改动程度）：
+  - 不重画。把原型文件**复制**进 \`{SPEC_ROOT}/changes/<change-name>/\` 并**必须命名为 \`prototype-<名称>.html\`**——execute 阶段按此命名扫描注入原型引用，保留中文名/原名＝没登记＝白复用
+  - 输出复用声明：原型来源路径 + 覆盖面（覆盖哪些页面/端）；只覆盖部分 UI 面时如实声明，未覆盖部分仍按下两档生成（变更目录允许多个 prototype-*.html 共存）
+  - 截图/静态设计稿**不适用本档**（不可复跑）——仍按「必须生成」产出可跑 HTML
 - **必须生成**（布局/结构/流程级变化）：
   - 新增页面、视图、路由
   - 页面布局变化：区域增删、骨架重排、信息层级调整（如单栏改多栏、列表改看板）
@@ -265,19 +269,20 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
   - 文案、颜色、间距、字号、图标等样式微调
   - 纯后端逻辑/CLI/配置/文档，无任何界面变化
 
-### 生成要求
-生成一个独立的 HTML 文件（内联 CSS + JS），保存到：
-\`{SPEC_ROOT}/changes/<change-name>/prototype-<名称>.html\`（目录不存在则先创建）
-- 单文件，浏览器直接打开
-- 高保真：布局/组件/交互流程按真实效果呈现，后续 execute 阶段可直接对照复用
-- 与项目代码风格一致：优先复用项目现有技术栈/组件库/设计 token（先查 scan 文档与现有前端代码），不另起风格
+### 生成要求（定稿原型＝真码产物，不是手绘图）
+入口文件保存到 \`{SPEC_ROOT}/changes/<change-name>/prototype-<名称>.html\`（目录不存在则先创建；该命名是 execute 注入契约，不改）。真码五要素：
+- **与实现同方言**：用项目真实前端栈构建——组件库/设计 token/样式从项目源码或 node_modules 真实引入（例：React 项目挂真实组件而非仿制标签、Vue 项目用真实 SFC；例词非封闭清单），不手搓仿制样式
+- **可复跑**：能被本项目工具链跑起来（dev server / 组件文档页 / 构建产物均可，入口 HTML 从本地 node_modules 引真实库也行）——先查 scan 文档与现有前端代码就近发现项目原型管线，已有则复用，没有则搭最小入口并留在项目惯例位置
+- **高保真＝组件即实现原料**：布局/组件/交互按真实效果呈现，execute 阶段直接对照搬组件，不经过"看图重新翻译"
+- **手绘单文件（自造样式）仅限一次性粗选对比，不得作为定稿原型**（frontend-apple-style 实证：手绘定稿后每条意见都要反向翻译回真实代码）；粗选定了方向，升级真码再收口
+- **例外与降级**：项目本身即单文件 HTML 方言（纯静态站）时单文件即真码，不适用手绘限定；无法同方言真码化（如目标平台无 HTML 运行面）时显式声明降级与理由请用户裁决留痕——静默降级会被收口「UI 视觉证据」探针拦下
 
 ### 铁律 — 必须等待用户确认设计
 - 展示完整设计方案后必须暂停等用户确认，**不要自己说"设计已充分确认"然后推进**（命令由 CLI 在下方注入）
-- 原型生成或跳过声明必须在暂停**之前**完成——暂停是本步骤最后动作，用户确认后直接进入写 design.md，不会回头补
+- 原型生成、复用登记或跳过声明必须在暂停**之前**完成（复用登记＝原型文件已按 \`prototype-<名称>.html\` 落在变更目录）——暂停是本步骤最后动作，用户确认后直接进入写 design.md，不会回头补
 
 ### 输出
-完整设计方案 + 变更名 + 原型文件路径 或 跳过原因（二选一必填；跳过时写明分级依据，用户可当场否决要求补）
+完整设计方案 + 变更名 + 原型文件路径 或 复用声明（来源+覆盖面+登记后路径）或 跳过原因（三选一必填；跳过时写明分级依据，用户可当场否决要求补）
 
 ### 注意
 - 不要一次输出大段文字，按模块/Phase 分段
@@ -531,9 +536,12 @@ status: passed | needs-user-input | blocked | skipped
 按**复杂度/上下文轴**判断本次变更规模（2026-09-29-brainstorm-exit-thin-default：此前文件数轴「≤2 文件才 small」与选道表第 3 行的复杂度措辞不一致，且模糊需求探索完很少只碰 2 文件——出口几乎必然五阶段，实测坐实）：
 - **small（收编轻量道）**：单上下文可吞吐——预计无需 Wave 并行编排、无需上下文分片（单会话吃得下全部任务）、无多阶段治理/设计期人机对抗需求
 - **large（完整五阶段）**：需要 Wave 并行编排、或单任务规模大需上下文分片、或多阶段治理、或用户显式要求完整流程
+  - **反判据（2026-10-14-scale-large-evidence，deploy-release-notes 实证：零建表定稿被早期印象判 large 走了五阶段）**：跨多端/多仓/多文件**不是** large 依据——轻量道支持多文件与跨仓交付；任务间**顺序依赖也不是**（B 等 A 的契约/产物正是轻量道任务循环的天然形态，一波等一波不构成 Wave）。Wave 证据=存在**可真并行**的任务簇（互相不等）**且单会话上下文吃不下**，两条同时成立才够 large
+  - **Wave 证据落盘**：判 large 时必须在 design.md（总体方案/Phase-Wave 处）写明——哪些任务簇可真并行、单会话上下文为何吃不下；**写不出 Wave 证据 = 改判 small**
+  - **按定稿方案重判**：Step 2 早期筛查只是路由粗判，方案在澄清中缩水（砍建表/砍迁移/砍端点）后必须按**定稿实质**重判——沿用早期筛查印象会把已缩水的方案误判厚（实证：plan 阶段自判单会话执行〔execution_mode=main〕反证 Wave 并非真需求）
 - **拿不准 → small**（与 thin-default-flip 同哲学：预判反诱发误升厚——R16 实证；升厚留运行时证据：实测失败自动升厚＋--upgrade-thick 用户决策）
 在 design.md frontmatter 写入 \`scale: small\` 或 \`scale: large\`（frontmatter 不存在则补 \`author\`/\`created_at\`/\`scale\`）。规模决定下面的产物范围和实现路径。
-（注：早期「加载项目上下文」步骤已做过一次粗判并可能建议过走 quick；此处基于 design 方案实质做精判兜底——判据同轴。）
+（注：早期「加载项目上下文」步骤已做过一次粗判并可能建议过走 quick；此处基于 design 方案实质做精判兜底——判据同轴，方案缩水后按定稿重判、早期印象不作数。）
 
 ### 操作
 1. **按规模生成规范文件**：

package/src/stages/execute.js

@@ -1425,7 +1425,7 @@ ${worktreeNoticeSingle}
 
 **主代理直写（execution_mode: main）——你直接实现，不派子代理。**
 
-逐任务闭环（串行，完成一个再下一个）：读 task 卡（路径见下方任务摘要）→ 在 worktree 内实现（TDD：先写测试再实现）→ 跑该 task 卡 verify 命令 → \`sillyspec wt-commit --change <change-name> -- <task-files>\` 逐任务提交 → 手动勾选 tasks.md 对应 checkbox（完成=实现+测试绿+wt-commit 即勾，2026-09-26 Task Review 退役起勾选回归 agent 手动，同 thin 工作单元语义）→ 下一任务。
+逐任务闭环（串行，完成一个再下一个）：读 task 卡（路径见下方任务摘要）→ 在 worktree 内实现（TDD 按层适用：纯逻辑先写测试再实现，行为契约断言用户可见行为，样式/纯配置不写——判据见「测试用例设计」）→ 跑该 task 卡 verify 命令 → \`sillyspec wt-commit --change <change-name> -- <task-files>\` 逐任务提交 → 手动勾选 tasks.md 对应 checkbox（完成=实现+测试绿+wt-commit 即勾，2026-09-26 Task Review 退役起勾选回归 agent 手动，同 thin 工作单元语义）→ 下一任务。
 
 worktree 隔离 / 写入守卫（allowed_paths）/ verify 门禁全部保留——只换执行宿主，不换任何防线。