sillyspec 3.32.8 → 3.32.10

package/src/knowledge-vector.js

@@ -18,20 +18,65 @@
  *                "change": "2026-09-26-thin-agent-tasks", "score": 0.83 } ] }
  *   anchor = 决策条目 id（## D-xxx@vN）；change = 条目「变更：」字段——同号条目跨变更常见
  *   （runtime.md 七个 D-001@v1 先例），change 在场时消歧；缺省时同号条目全量带回（候选诚实）。
+ *   epoch 注记（2026-10-14-decision-global-id-epoch）：新蒸馏条目 anchor 为全局号形态
+ *   D-<域>-NNN@vN——等值匹配语义不变；平台重建索引窗口内向量召回对新形态条目降级
+ *   （本地词面回退不受影响），重索引后恢复。
  *
  * 降级纪律：任何失败（未连接/开关关闭/网络/404/5xx/超时/响应形态不符）静默降级本地层
  * ——检索是 advisory 面且高频（每方案步 --done），失败刷屏即狼来了；debug 排障可设
  * SILLYSPEC_KNOWLEDGE_VECTOR_DEBUG=1 打单行stderr。
+ *
+ * 开关契约（2026-10-15-vector-capability-autodetect 终态；前身 vector-gate-tighten 缺省关是
+ * 「端点不存在+无发现机制」时代的正确补丁，平台端点落地后 auto 成为诚实缺省）：
+ * 缺省（未写键/auto）跟随平台能力自动探测——能力缓存 .runtime/vector-capability.json
+ * （404→unavailable 重试窗 1h 内跳过；成功→available；按平台 URL 匹配；跨进程持久），
+ * 平台部署端点后最迟 1h 全仓自动启用，消费仓零配置。local.yaml on=强制开跳过探测、
+ * off=强制关（用户逃生阀）；env SILLYSPEC_KNOWLEDGE_VECTOR 同语义强制。
+ * 404 另有进程级死信短路（端点死信不再空转探测）。
  */
-import { readFileSync } from 'fs'
+import { existsSync, mkdirSync, readFileSync, writeFileSync } from 'fs'
 import { join, dirname } from 'path'
 import { readPlatformConfig } from './sync.js'
 import { matchByRouting, fallbackByQueryShingles, parseDecisionEntries } from './knowledge-match.js'
 
 const VECTOR_TIMEOUT_MS = 3000
 const ENDPOINT_PATH = '/api/spec/knowledge/vector-search'
+/** 能力缓存重试窗：unavailable 记录 1h 内不再探测（平台部署后最迟 1h 自动启用）。 */
+const CAPABILITY_RETRY_MS = 60 * 60 * 1000
+
+// ── 平台能力探测缓存（2026-10-15-vector-capability-autodetect）────────────────
+// .runtime/ 已 gitignored 且被 daemon spec 上传排除（UPLOAD_EXCLUDE_TOP_BASE），是仓内
+// 机器态的标准落点（knowledge-hits 同款）。写盘全 fail-soft；按平台 URL 匹配（换平台即失效）。
+
+function capabilityCachePath(cwd) {
+  return join(cwd, '.sillyspec', '.runtime', 'vector-capability.json')
+}
+
+function readCapabilityCache(cwd) {
+  try {
+    const obj = JSON.parse(readFileSync(capabilityCachePath(cwd), 'utf-8'))
+    const cfg = readPlatformConfig(cwd)
+    if (!cfg || !cfg.url) return null
+    if (obj.url !== String(cfg.url).replace(/\/+$/, '')) return null // 换平台 → 缓存失效
+    if (typeof obj.available !== 'boolean' || typeof obj.probedAt !== 'number') return null
+    return { available: obj.available, probedAt: obj.probedAt }
+  } catch { /* 无缓存/坏 JSON = 未探测 */ }
+  return null
+}
+
+function writeCapabilityCache(cwd, platformUrl, available) {
+  try {
+    const p = capabilityCachePath(cwd)
+    const cur = readCapabilityCache(cwd)
+    if (cur && cur.available === available && Date.now() - cur.probedAt < CAPABILITY_RETRY_MS) return // 值未变且未过期：零写盘
+    const dir = join(p, '..')
+    if (!existsSync(dir)) mkdirSync(dir, { recursive: true })
+    writeFileSync(p, JSON.stringify({ url: platformUrl, available, probedAt: Date.now() }), 'utf-8')
+  } catch { /* 缓存写失败不影响检索本体（fail-soft） */ }
+}
 
-/** local.yaml knowledge.vector_search 开关（行级扫描 knowledge: 段下 vector_search: off）。 */
+/** local.yaml knowledge.vector_search 开关（行级扫描 knowledge: 段下 vector_search 值；
+ *  未写键/无 yaml → null=未表态——2026-10-15-vector-gate-tighten 起缺省关，显式落盘才启用）。 */
 function vectorSwitchFromLocalYaml(cwd) {
   try {
     const lines = readFileSync(join(cwd, '.sillyspec', 'local.yaml'), 'utf-8').split(/\r?\n/)
@@ -43,16 +88,55 @@ function vectorSwitchFromLocalYaml(cwd) {
       const kv = line.match(/^\s+vector_search\s*:\s*(\S+)/)
       if (kv) return kv[1].toLowerCase()
     }
-  } catch { /* 无 local.yaml = 缺省 auto */ }
-  return 'auto'
+  } catch { /* 无 local.yaml = 未表态 */ }
+  return null
 }
 
+/**
+ * 向量层开关（2026-10-15-vector-capability-autodetect 终态契约；前身 2026-10-15-vector-gate-tighten
+ * 缺省关是「端点不存在+无发现机制」时代的正确补丁，端点落地后 auto 成为诚实缺省）：
+ *   env SILLYSPEC_KNOWLEDGE_VECTOR=on|auto → 强制启用；off（其他值保守视为 off）→ 强制关；
+ *   local.yaml knowledge.vector_search: on → 强制启用；off → 强制关（用户显式逃生阀）；
+ *   auto/未写键 → **跟随平台能力自动探测**：读能力缓存（.runtime/vector-capability.json，
+ *   {url,available,probedAt}）——unavailable 未过重试窗（1h）=关，否则乐观试（探测结果由
+ *   platformVectorRecall 落缓存，404→unavailable / 成功→available；跨进程持久）。
+ * 「端点部署本身就是开关」——平台部署后最迟 1h 内全仓自动启用，消费仓零配置。
+ */
 function vectorEnabled(cwd) {
   const env = String(process.env.SILLYSPEC_KNOWLEDGE_VECTOR || '').toLowerCase()
-  if (env === 'off' || env === 'auto') return env === 'auto'
-  return vectorSwitchFromLocalYaml(cwd) !== 'off'
+  if (env === 'on' || env === 'auto') return true
+  if (env) return false
+  const sw = vectorSwitchFromLocalYaml(cwd)
+  if (sw === 'off') return false
+  if (sw === 'on') return true
+  // absent/auto → 能力缓存判定（无平台配置=没得探测=关）
+  if (!readPlatformConfig(cwd)) return false
+  const cap = readCapabilityCache(cwd)
+  if (cap && !cap.available && Date.now() - cap.probedAt < CAPABILITY_RETRY_MS) return false
+  return true
 }
 
+/**
+ * 向量能力提示（2026-10-15-vector-capability-autodetect 语义随迁；前身 vector-switch-discoverability
+ * 的「未开请配置」提示随缺省 auto 退役——auto 模式下没有可执行配置，提示转为信息性）：
+ * 仅当 auto 模式（无显式键/键=auto）且能力缓存记 unavailable 时给一行信息——「平台部署后
+ * 自动启用，无需本仓配置」。强制关（yaml off/env off=用户显式选择）与已启用 → ''（零噪音）。
+ * 平台未连接 → ''。
+ */
+export function vectorSwitchHint(cwd) {
+  if (!readPlatformConfig(cwd)) return ''
+  if (vectorEnabled(cwd)) return ''
+  const cap = readCapabilityCache(cwd)
+  if (cap && !cap.available) {
+    return `ℹ️ 平台向量语义检索未就绪（自动探测缓存生效中）——平台部署 vector-search 端点后最迟 1 小时内本仓自动启用，无需配置`
+  }
+  return ''
+}
+
+/** 404 死信端点（进程级，按平台 URL 记）：端点未实现=今天真实平台状态，标记后本进程不再
+ *  对同 URL 空转探测（CLI 短进程生命周期天然重置；测试各用独立端口互不污染）。 */
+const vectorDeadEndpoints = new Set()
+
 /**
  * 平台向量召回（纯 HTTP 层）。未连接/失败/形态不符 → null（调用方降级）。
  * @returns {Promise<{results: Array<{spec_path: string, anchor: string, score: number}>}|null>}
@@ -60,19 +144,26 @@ function vectorEnabled(cwd) {
 export async function platformVectorRecall({ cwd, query, limit = 10, timeoutMs = VECTOR_TIMEOUT_MS }) {
   const cfg = readPlatformConfig(cwd)
   if (!cfg || !cfg.url || !cfg.token) return null
+  const base = String(cfg.url).replace(/\/+$/, '')
+  if (vectorDeadEndpoints.has(base)) return null
   const q = String(query || '').trim().slice(0, 4000)
   if (!q) return null
   try {
-    const res = await fetch(`${String(cfg.url).replace(/\/+$/, '')}${ENDPOINT_PATH}`, {
+    const res = await fetch(`${base}${ENDPOINT_PATH}`, {
       method: 'POST',
       headers: { Authorization: `Bearer ${cfg.token}`, 'Content-Type': 'application/json' },
       body: JSON.stringify({ query: q, limit }),
       signal: AbortSignal.timeout(timeoutMs),
     })
     if (!res.ok) {
+      if (res.status === 404) {
+        vectorDeadEndpoints.add(base) // 端点未实现——本进程短路后续探测
+        writeCapabilityCache(cwd, base, false) // 跨进程持久：重试窗内不再探测（平台部署后自动启用）
+      }
       if (process.env.SILLYSPEC_KNOWLEDGE_VECTOR_DEBUG) console.error(`[knowledge-vector] ${res.status} ${ENDPOINT_PATH}——降级本地`)
       return null
     }
+    writeCapabilityCache(cwd, base, true) // 端点在场——缓存 available（后续进程零探测直用）
     const body = await res.json().catch(() => null)
     const results = body && Array.isArray(body.results)
       ? body.results.filter((r) => r && typeof r.spec_path === 'string' && typeof r.anchor === 'string')

package/src/machine-interface.js

@@ -187,10 +187,25 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot, s
     // 各 spawn 2 个 git 进程（gate execute 一次省 ≈ 60-200ms on Windows）。
     const sharedEvidence = stage === 'execute' ? checkExecuteCodeEvidence(cwd, changeName) : undefined;
 
+    // ── gate 预检实况注入（2026-10-14-gate-verify-apiface-preflight FR-01~FR-03）：facts.apiFace
+    // 唯一生产者是 run verify --done 收尾前置 backfill（run/gates.js），gate 路径不回填且 --init
+    // 刻意不落键 → 锚点核对 parseSet 空/旧 → design接口表# 锚点恒空指（平台 6 轮 gate 实证）。
+    // 此处以同一解析器实况解析 design.md 经 context 注入 validator（与 --done backfill 产物同形
+    // 同源，零落盘守 D-002 只读契约）；design.md 缺失/不可读 helper 返 null、解析异常 fail-soft
+    // ——两种态都不注入，退回 facts 口径（现状行为；评审 P1：空面注入会覆写有效 facts 反致误阻断）。──
+    let apiFaceLive = null;
+    if (stage === 'verify') {
+      try {
+        const { computeApiFaceFromDesign } = await import('./verify-probes.js');
+        apiFaceLive = computeApiFaceFromDesign(join(specRoot, 'changes', changeName, 'design.md'));
+      } catch { /* fail-soft：不注入退回 facts 口径 */ }
+    }
+
     // ── a. artifacts：阶段产物校验（全部阶段）──
     const r = runValidators(stage, cwd, changeName, {
       projectName: progress.project,
       specRoot,
+      ...(apiFaceLive ? { apiFaceLive } : {}),
       ...(sharedEvidence ? { evidence: sharedEvidence } : {}),
     });
     checks.push({
@@ -752,10 +767,21 @@ export async function runDerive(facet, changeName, { cwd, specBase, runtimeRoot,
 
       // ── d. artifacts：当前阶段产物校验 ──
       // runValidators 需要 stage：用 progress.currentStage（若为空串则校验器内部处理）。
+      // verify 阶段同款实况注入（2026-10-14-gate-verify-apiface-preflight）：与 runGate 同因——
+      // facts.apiFace 唯一生产者是 --done backfill，derive 不回填 → 锚点核对恒空指；零落盘 +
+      // fail-soft（缺失返 null/异常两态都不注入退回 facts 口径），守 D-002 只读契约。
       case 'artifacts': {
+        let apiFaceLive = null;
+        if (currentStage === 'verify') {
+          try {
+            const { computeApiFaceFromDesign } = await import('./verify-probes.js');
+            apiFaceLive = computeApiFaceFromDesign(join(specRoot, 'changes', changeName, 'design.md'));
+          } catch { /* fail-soft：不注入退回 facts 口径 */ }
+        }
         const r = runValidators(currentStage, cwd, changeName, {
           projectName: progress.project,
           specRoot,
+          ...(apiFaceLive ? { apiFaceLive } : {}),
         });
         data = { ok: r.ok, errors: r.errors, warnings: r.warnings };
         ok = r.ok;

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/quicklog.js

@@ -124,13 +124,18 @@ export function sanitizeDesc(description) {
  * 「需求：/动机：」类标签前缀，空白折叠单行，超长截断加 …；空输入返回 ''（调用方兜底
  * change 名）。agent 在 --input 首行写一句中文概括即成标题（flow start 横幅有指引），
  * --title 显式覆盖一切推导。
+ * 段头行防御（2026-10-15-title-label-skip）：过门格式示例曾被读成段头形态——agent 把
+ * 「动机与背景：」独立成行照抄，白名单无复合词致整行成标题（进度库 6 变更实证）。两道
+ * 防御：白名单补复合词（动机与背景/背景与动机）；任意短段头行（≤12 字非冒号内容+行尾
+ * 冒号，如「变更背景：」「详细说明：」）整行跳过取次非空行——冒号后无内容不成标题。
  */
 export function deriveChangeTitle(input, max = 50) {
   for (const l of String(input || '').replace(/\r\n/g, '\n').split('\n')) {
     const t = l.trim()
     if (!t) continue
     if (/^成功标准\s*[:：]/.test(t)) break
-    const stripped = t.replace(/^(?:需求|动机|背景|任务|标题)\s*[:：]\s*/, '').trim()
+    if (/^[^:：]{1,12}[:：]$/.test(t)) continue
+    const stripped = t.replace(/^(?:需求|动机|背景|任务|标题|动机与背景|背景与动机)\s*[:：]\s*/, '').trim()
     if (!stripped) continue
     const one = stripped.replace(/\s+/g, ' ')
     return one.length > max ? one.slice(0, max) + '…' : one

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/archive-distill.js

@@ -39,6 +39,9 @@ export async function executeArchiveDistill({ cwd, specBase, changeName }) {
       console.warn(`\n⚠️  rejected 决策缺否决理由/复潮条件（needsWait）——这些条目未写盘，其余条目照常提炼。`)
       console.warn(`   裁决指引（确认归档 --confirm 前处理）：`)
       console.warn(`   ① 补录：把缺失字段补进 ${join(changeDir, 'decisions.md')} 后重跑提炼（幂等）——`)
+      console.warn(`      可复制补丁样例（在对应 D-xxx@vN 条目末尾追加两行，字段名与值之间用冒号+空格）：`)
+      console.warn(`      - 否决理由: <一句话核心劣势>`)
+      console.warn(`      - 复潮条件: <何种信号下可重议本方案>`)
       console.warn(`      node --input-type=module -e "import { distillIntoKnowledge } from '<sillyspec 源码路径>/src/decision-distill.js'; console.log(JSON.stringify(distillIntoKnowledge(${JSON.stringify(changeDir)}, ${JSON.stringify(knowledgeRoot)}, ${JSON.stringify(headHash)}), null, 2))"`)
       console.warn(`   ② 跳过：经用户裁决不入库该条，并在「确认归档」--output 注记跳过原因。`)
     }

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
 
@@ -224,7 +232,7 @@ export async function ensureStageSteps(progress, stageName, cwd, specDir = null)
 function emitReadonlyEmptyGuide() {
   console.log('ℹ️ 未找到进度数据（只读查询不建变更）')
   console.log('   → 可开始轻量变更（--input 引号内换行合法，下例可照抄）：')
-  console.log('     sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+  console.log('     sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
   console.log('')
   console.log('     成功标准：')
   console.log('     - <可验证标准>"')
@@ -850,7 +858,7 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
             quickFallbackUsed = true
           } else {
             console.log('   本仓无近期 quick 会话记录（current marker 与 quick-sessions 均空）——新工作请走轻量变更（--input 引号内换行合法，可照抄）：')
-            console.log('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+            console.log('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
             console.log('')
             console.log('   成功标准：')
             console.log('   - <可验证标准>"')
@@ -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) 只剩
@@ -2080,7 +2076,7 @@ async function runAutoMode(pm, progress, cwd, flags, changeName, platformOpts =
     if (classification.mode === 'quick') {
       console.log(`📊 auto 模式分类：${classification.reason} 判为小变更`)
       console.log(`   小变更请走轻量变更（quick 通道已退役，v3.30.0 起拒绝新会话；--input 引号内换行合法，可照抄）：`)
-      console.log('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+      console.log('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
       console.log('')
       console.log('   成功标准：')
       console.log('   - <可验证标准>"')

package/src/run/complete-handlers.js

@@ -816,9 +816,14 @@ export async function bakeArchiveTimeline({ cwd, specBase, changeName, destDir,
     const { readWatcherEvents, watcherEventsPath } = await import('../watcher.js')
     const res = readWatcherEvents({ runtimeRoot, change: changeName })
     if (!res.exists) return { ok: true, skipped: true, reason: `无事件流（${watcherEventsPath(runtimeRoot, changeName)}）` }
-    const { parseTaskLines, renderBakedTimeline, resolveCommitAnchors, readBirthTs } = await import('../timeline.js')
+    // 侧车透传（2026-10-14-timeline-ticktime-anchor-scope）：destDir 内 task-ticks.jsonl 已随归档包
+    // ——烤制面读包内侧车（与 tasks.md 同源同路径形态），精确勾选时刻跨机可读；锚收敛 changeName
+    // 进解析（消息不含变更名的提交不锚任务行）。
+    const { parseTaskLines, renderBakedTimeline, resolveCommitAnchors, parseTickLog, readBirthTs } = await import('../timeline.js')
     let tasks = null
     try { tasks = parseTaskLines(readRawImpl(join(destDir, 'tasks.md'), 'utf8')) } catch { /* 任务面缺失照烤（渲染层有降级段） */ }
+    let tickLog = []
+    try { tickLog = parseTickLog(readRawImpl(join(destDir, 'task-ticks.jsonl'), 'utf8')) } catch { /* 侧车缺失照烤（时刻退推断面） */ }
     let tier = null
     try { const m = /^tier:\s*(\S+)/m.exec(readRawImpl(join(destDir, 'flow-state.yaml'), 'utf8')); if (m) tier = m[1] } catch { /* 头脑风暴预段等无 flow-state 按未知 */ }
     const look = gitLook || ((hash) => {
@@ -829,12 +834,12 @@ export async function bakeArchiveTimeline({ cwd, specBase, changeName, destDir,
       const sep2 = rest.indexOf('\x1f')
       return { hash: out.slice(0, sep), dateISO: rest.slice(0, sep2), message: rest.slice(sep2 + 1) }
     })
-    const anchors = resolveCommitAnchors(res.events, look)
+    const anchors = resolveCommitAnchors(res.events, look, changeName)
     let eventsRaw = null
     try { eventsRaw = readRawImpl(watcherEventsPath(runtimeRoot, changeName), 'utf8') } catch { /* 副本缺源只烤渲染面 */ }
     const oversize = eventsRaw != null && Buffer.byteLength(eventsRaw, 'utf8') > eventsCopyMaxBytes
     // 评审 P3-1 清偿：副本未落盘（读源失败或超帽）时头注记必须显式「未随包」，不虚报在场
-    const timelineMd = renderBakedTimeline({ change: changeName, events: res.events, tasks, anchors, birthTs: readBirthTs(destDir), tier, bakedAtIso: nowIso || new Date().toISOString(), eventsCopySkipped: eventsRaw == null || oversize })
+    const timelineMd = renderBakedTimeline({ change: changeName, events: res.events, tasks, anchors, birthTs: readBirthTs(destDir), tier, bakedAtIso: nowIso || new Date().toISOString(), eventsCopySkipped: eventsRaw == null || oversize, tickLog })
     writeImpl(join(destDir, 'timeline.md'), timelineMd)
     const files = ['timeline.md']
     if (eventsRaw != null && !oversize) {