sillyspec 3.32.7 → 3.32.9

package/src/fr-index.js

@@ -594,8 +594,17 @@ export function indexRequirements({ changeDir, knowledgeRoot, headHash = '', del
       // 落域机械改进（2026-09-27-knowledge-digest）：伪域告警附交付路径推导的建议域——
       // 归档时转达人工 1 秒确认（建议器与 digest 信号卡共用 suggestDomainFromFiles 单源）
       const suggested = suggestDomainFromFiles(deliverableFiles || [], { knowledgeRoot })
+      // 坑 fr-redomain-advisory-and-selectivity-gap（2026-10-13）：告警接专用命令 +
+      // --by-change 条目级过滤 + D-001 迁域不换号铁律明示（防手工迁移按序重编号断
+      // supersede 链）。锚定域取告警列出的伪域文件名（auto-x.md → auto-x）。
+      const pseudoDomains = [...new Set(pseudoHits.map((w) => String(w.file || '').replace(/\.md$/, '')))].filter(Boolean)
       console.warn(`⚠️ [FR 域路由降级] 本变更 ${pseudoHits.length} 条 FR 落伪域/unmapped（${[...new Set(pseudoHits.map((w) => w.file))].join('、')}）${suggested ? `——按交付路径建议域：${suggested}（确认后可迁移；` : '（'}补模块卡（docs/<项目>/modules/_module-map.yaml 登记该目录）后，新变更将自动落回真域；绿地仓可跑 sillyspec run scan 校准）`)
-      if (suggested) console.warn(`   迁移/存量清单：sillyspec knowledge digest（伪域信号卡）`)
+      if (suggested) {
+        console.warn(`   域级整体迁移：sillyspec tests --redomain --from <伪域> --to ${suggested} --write（干跑去 --write）；只迁本变更条目：加 --by-change <本变更名>`)
+        if (pseudoDomains.length > 0) console.warn(`   例：sillyspec tests --redomain --from ${pseudoDomains[0]} --to ${suggested} --by-change <本变更名> --write`)
+        console.warn(`   ⚠️ 迁域不换号（D-001 铁律）：条目 ID 保持原样（绑定/supersede 链按 ID 寻址）——手工搬移时勿按目标域接续重编号`)
+        console.warn(`   迁移/存量清单：sillyspec knowledge digest（伪域信号卡）`)
+      }
     }
     const unm = all.get('unmapped')
     if (unm && unm.sections.length > 50) {

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 收编在途工作时此行漏透传——预览列整域、落盘只迁
@@ -4044,6 +4046,53 @@ SillySpec worktree — git worktree 隔离管理
           }
           break;
         }
+        case 'deps': {
+          // deps 状态显式覆写（坑 deps-gate-offline-fragile，2026-10-12 实证：离线环境
+          // npm ci 必败 + lockfile 本地改动致链接快路径失效，agent 被迫手改 meta.json 绕过
+          // ——未定义行为且零留痕。本命令把绕过通道 CLI 化：--set 显式值 + --reason 强制
+          // 留痕（写 depsOverrideNote / depsOverrideAt），审计面可对账。合法值收敛工具
+          // 认知集（n/a/linked/installed/failed）。
+          const setIdx = filteredArgs.indexOf('--set')
+          const setVal = setIdx !== -1 && filteredArgs[setIdx + 1] && !String(filteredArgs[setIdx + 1]).startsWith('--') ? String(filteredArgs[setIdx + 1]).trim() : null
+          const rIdx = filteredArgs.indexOf('--reason')
+          const reason = rIdx !== -1 && filteredArgs[rIdx + 1] ? String(filteredArgs[rIdx + 1]).trim() : null
+          if (!wtName || !setVal || !reason) {
+            console.error('用法: sillyspec worktree deps --change <变更名> --set <n/a|linked|installed|failed> --reason "<事实依据——必填留痕>"')
+            console.error('   离线/内网环境供给链失败时的显式覆写通道（写 meta.json + 覆写留痕）；先确认 node_modules 确实可用再 set linked')
+            process.exit(2)
+          }
+          if (!['n/a', 'linked', 'installed', 'failed'].includes(setVal)) {
+            console.error(`❌ --set 值非法 "${setVal}"（合法：n/a | linked | installed | failed）`)
+            process.exit(2)
+          }
+          try {
+            const specBaseWd = resolvePlatformSpecDir(dir, specDir)
+            const wtBase = join(specBaseWd, '.runtime', 'worktrees')
+            const wtDir = join(wtBase, wtName)
+            const metaPath = join(wtDir, 'meta.json')
+            // 跨仓 worktree：主 specBase 下无实体时扫各注册仓（简化：本命令聚焦主仓 worktree，
+            // 跨仓路径用 --spec-dir 指到对应 specBase；两形态 meta.json 同款）
+            if (!existsSync(metaPath)) {
+              console.error(`❌ 找不到 worktree meta：${metaPath}`)
+              console.error('   跨仓 worktree 用 --spec-dir 指向其 specBase 后重跑；变更名核对 sillyspec worktree list')
+              process.exit(1)
+            }
+            const meta = JSON.parse(String(readFileSync(metaPath, 'utf8')).replace(/^\uFEFF/, ''))
+            const prev = meta.depsStatus
+            meta.depsStatus = setVal
+            meta.depsOverrideNote = `手工覆写: ${reason}（前值 ${prev ?? 'null'}）`
+            meta.depsOverrideAt = new Date().toISOString()
+            const { writeAtomicSync } = await import('./fs-atomic.js')
+            writeAtomicSync(metaPath, JSON.stringify(meta, null, 2) + '\n')
+            console.log(`✅ deps 状态已覆写：${wtName} depsStatus ${prev ?? 'null'} → ${setVal}`)
+            console.log(`   留痕：${meta.depsOverrideNote}`)
+            console.log('   verify/archive 对账时以 depsOverrideNote 为审计锚——事实依据不实属未定义行为')
+          } catch (e) {
+            console.error(`❌ 覆写失败: ${e.message}`)
+            process.exit(1)
+          }
+          break;
+        }
         default:
           console.error(`❌ 未知子命令: worktree ${wtSubCmd}`);
           console.log('   运行 sillyspec worktree --help 查看帮助');
@@ -4350,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

@@ -23,6 +23,10 @@ import { StepStore } from './progress/step-store.js';
 import { StageMachine } from './progress/stage-machine.js';
 import { stageRegistry } from './stages/index.js';
 import { STAGE_ORDER, MAIN_FLOW_ORDER, VALID_STAGES, STAGE_LABELS, SPEC_DIR_NAME, CURRENT_VERSION, emptyStage } from './progress/shared.js';
+// 2026-10-13-thin-sync-stage：叶子模块（无内部依赖），同步投影读 thin 出身用——
+// 叶子化避免本文件为读一个状态文件拉入 flow 协议整条依赖链（评审 P3 勘误：
+// flow.js 静态 import 闭包实测不达本文件，非循环依赖问题）。
+import { readFlowState } from './flow-state.js';
 // resolveSpecDir 单一真相源在 src/run/shared.js（含 home 拒绝守卫，坑 cwd-correction-home-collision
 // 根治：home 下 .sillyspec 恒不命中，防 smoke/临时目录污染自我延续）。此处 re-export 保持
 // 既有 import 路径兼容；run/shared.js 对 progress.js 只有动态 import，无静态循环。
@@ -600,6 +604,18 @@ export class ProgressManager {
       // → 上行恒无标题，平台只能落 change_key（「英文 key」病灶的同步链一侧）。
       title: changeRow.title ?? null,
     };
+    // thin 出身上行投影（2026-10-13-thin-sync-stage）：tier=thin 且行 status=active 时
+    // current_stage 上报 'thin'——平台 StageEnum.THIN / 列表「轻量」徽章与筛选 / ingest
+    // 双守卫均按该值消费；本地行出生恒 'brainstorm'（thin 不走阶段机），照抄上行会让
+    // 平台读侧 is_thin 判定三分支全不命中（实证：进行中轻量变更无徽章）。仅覆写载荷，
+    // 本地 DB 行不动；归档（status=archived，行已翻 'archive'）与升厚（tier=thick）不
+    // 覆写；flow-state 缺失/损坏 readFlowState→null 按行值上行（fail-open 现状行为）。
+    if (
+      changeRow.status === 'active' &&
+      readFlowState(this._changePath(cwd, changeName))?.tier === 'thin'
+    ) {
+      changeProj.current_stage = 'thin';
+    }
 
     // 2. project 全局单行（只投影稳定字段 name/schema_version；created_at/updated_at 是本地库元数据，
     //    同步无意义且破坏 round-trip 跨库等值——与 changes 排除 created_at 同理，B2）
@@ -1201,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 需要动态构建）
  */