sillyspec 3.32.9 → 3.32.10

package/src/knowledge-match.js

@@ -61,7 +61,7 @@ function isDecisionRoute(entry) {
   return /^decisions\//.test(String(entry.file || '').replace(/\\/g, '/'))
 }
 
-const DECISION_HEADER_RE = /^##\s+(D-\d+@v\d+)\s*(.*)$/
+const DECISION_HEADER_RE = /^##\s+(D-(?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+@v\d+)\s*(.*)$/
 const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supersedes)\s*[：:]\s*(.*)$/
 // 「锚点：」单独标签精确匹配读入（仿 docs-check.js parseDecisionEntries 先例）——绝不并入
 // DECISION_FIELD_RE：其 else-if 链末尾的 reason 回填（else if (!cur.reason)）会把锚点值
@@ -69,6 +69,12 @@ const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supe
 const DECISION_ANCHOR_RE = /^锚点\s*[：:]\s*(.*)$/
 // 变更：单独标签（变更名限定——D-xxx 是变更内局部序号，跨变更同号互不相干，去重键依赖它）
 const DECISION_CHANGE_RE = /^变更\s*[：:]\s*(.*)$/
+// 来源：兜底标签（2026-10-14-decision-id-p2-hardening）：2026-08-24 首修形态残留（后被「变更：」
+// 取代，现存 20 行）——变更行无条件覆盖在前，来源仅补缺（任意行序下变更优先）
+const DECISION_ORIGIN_RE = /^来源\s*[：:]\s*(.*)$/
+// 原编号：溯源标签（2026-10-14-decision-global-id-epoch）：epoch 形态条目的局部号——graph
+// supersedes 经它把「supersedes：D-011@v1」解析到同变更全局号段
+const DECISION_ORIGINID_RE = /^原编号\s*[：:]\s*(.*)$/
 
 /** 「文件：」值切分 + 逐项反斜杠归一 POSIX（与 decision-distill 的 entry.files 契约对齐：
  *  split /[,，、\s]+/ + replace(/\\/g,'/')）。 */
@@ -133,7 +139,7 @@ function parseDecisionFile(filePath, file) {
     const h = line.match(DECISION_HEADER_RE)
     if (h) {
       flush()
-      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '' }
+      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '', originId: '' }
       continue
     }
     if (!cur) continue
@@ -144,6 +150,10 @@ function parseDecisionFile(filePath, file) {
     // 域文件跨变更同号条目常见（D-xxx 是变更内局部序号），去重键须含变更名否则先到条目遮蔽后来者）
     const c = line.match(DECISION_CHANGE_RE)
     if (c) { cur.change = c[1].trim(); continue }
+    const o = line.match(DECISION_ORIGIN_RE)
+    if (o) { if (!cur.change) cur.change = o[1].trim(); continue }
+    const oi = line.match(DECISION_ORIGINID_RE)
+    if (oi) { cur.originId = oi[1].trim(); continue }
     const f = line.match(DECISION_FIELD_RE)
     if (!f) continue
     const value = f[2].trim()
@@ -170,20 +180,25 @@ function parseDecisionFile(filePath, file) {
 export function parseDecisionEntries(indexDir, indexEntries = null) {
   const routes = (indexEntries || parseKnowledgeIndex(indexDir)).filter(isDecisionRoute)
   const hits = []
+  // 路由行按文件去重单解析（2026-10-14-decision-id-p2-hardening）：多条路由行指向同一域文件只解析
+  // 一次——此前靠条目级折叠兜完全重复，legacy 不折叠后从源头消除重复
+  const parsed = new Set()
   for (const route of routes) {
+    const fileKey = String(route.file || '').replace(/\\/g, '/')
+    if (parsed.has(fileKey)) continue
+    parsed.add(fileKey)
     const filePath = join(indexDir, route.file)
     if (!existsSync(filePath)) continue // 路由行失效（域文件已删）→ 跳过不阻断
     hits.push(...parseDecisionFile(filePath, route.file))
   }
-  // 多条路由行指向同一域文件时按 file+id+变更 去重（完全重复折叠）；键含变更名——
-  // 跨变更同号条目（D-xxx 是变更内局部序号，域文件内同 id 不同变更常见）不再被先到者
-  // 遮蔽（坑 decision-cross-change-id-shadow，2026-09-11 dogfood 实证：runtime.md 七个
-  // D-001@v1 分属七变更，旧键只放行首个——同号 rejected 决策在 {DECISION_HITS} 防复潮
-  // 注入同样被遮蔽）。无「变更：」行的 legacy 条目 change='' 与同号 legacy 条目互折叠
-  // （维持旧行为，不放大历史条目数）。
+  // 带 change 条目按 file+id+change 去重（坑 decision-cross-change-id-shadow，2026-09-11 dogfood 实证：
+  // 域文件跨变更同号条目常见，键须含变更名否则先到遮蔽——runtime.md 七个 D-001@v1 分属七变更）。
+  // 无「变更：/来源：」行的 legacy 条目不再互折叠（2026-10-14-decision-id-p2-hardening：旧互折叠致
+  // 同号 legacy 互相遮蔽——实测 2 条 implemented 条目永久隐身；路由单解析后完全重复已从源头消除）。
   const seen = new Set()
   return hits.filter(h => {
-    const key = `${h.file}#${h.id}#${h.change || ''}`
+    if (!h.change) return true
+    const key = `${h.file}#${h.id}#${h.change}`
     if (seen.has(key)) return false
     seen.add(key)
     return true
@@ -221,6 +236,16 @@ export function matchDecisionsByFiles(indexDir, files) {
   return result
 }
 
+/** 决策展示行变更名限定词（2026-10-14-supersedes-mislink-and-change-display）：D-xxx 是变更内
+ *  局部序号，跨变更同号条目常见（知识库 D-001@v1 ×296、其中 192 条同题）——四处展示面
+ *  （{DECISION_HITS}/轻量道防复潮/knowledge-gate/decision-touch）经本函数统一渲染限定词消歧；
+ *  change 缺失（legacy 无「变更：」行）固定降级「变更未记录」——不编造、不省略。
+ *  单一源防四处文案漂移（与 deathPathNote 同址同规约）。 */
+export function decisionChangeQualifier(change) {
+  const c = String(change || '').trim()
+  return c ? `变更 ${c}` : '变更未记录'
+}
+
 /** 死路注记短句提取（消费方渲染用）：理由里「死路：…」到首个句读为止；无标记时截前 60 字。
  *  单一源供 flow 知识注入段与 complete.js knowledge-gate 回显共用（2026-09-28-knowledge-inject-ranking）。 */
 export function deathPathNote(reason) {

package/src/knowledge-stats.js

@@ -99,6 +99,10 @@ export function buildHitMatrix(knowledgeDir, runtimeDir, { sinceDays = 30 } = {}
 }
 
 // ── FR 索引实验聚合（2026-09-18-fr-index-l1 后续钩子·L3 裁决仪表盘）──
+// L3 已裁决冻结（2026-10-15-fr-chain-l3-adjudication D-001@v1）：证伪三条件全中（承接引用率
+// 1/452≈0% / fr-supersede 窗口 2 次 / fr-duplicate-warning 24 次零候选），条款明文合法结局——
+// 活规格树不建，fr 索引降级保留检索/注入面；本区指标转历史观察，候选视图退役为冻结注记。
+const FR_L3_ADJUDICATED_NOTE = '已裁决（2026-10-15 D-001@v1）：L3 冻结不建，fr 索引保留检索/注入面——本区指标转历史观察（复潮条件见裁决条目）'
 
 /**
  * 聚合 L1 四类 fr-* 遥测事件 + knowledge/fr/ 索引面统计——L3 裁决（design 实验证伪条款）
@@ -314,7 +318,7 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
     if (frIndex.present) {
       const e = frIndex.events
       const i = frIndex.index
-      lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）`)
+      lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）｜${FR_L3_ADJUDICATED_NOTE}`)
       lines.push(`  注入 fr-inject ${e.frInject} 次（${e.frInjectChanges} 变更） | 取代链 fr-supersede ${e.frSupersede} 次（${e.frSupersedeChanges} 变更） | 重复拦截 fr-duplicate-warning ${e.frDuplicateWarning} 次（${e.frDuplicateWarningCandidates || e.frDuplicateCandidates || 0} 候选）`)
       lines.push(`  腐烂 suspect fr-rot-suspect ${e.frRotSuspect || 0} 次（${e.frRotSuspectChanges || 0} 变更${e.frRotSuspectByDomain && e.frRotSuspectByDomain.length > 0 ? `，按域 ${e.frRotSuspectByDomain.map(d => `${d.domain}×${d.count}`).join('，')}` : ''}）`)
       if (e.frUnreferenced.length > 0) {
@@ -325,10 +329,8 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
       lines.push(`  承接引用率：${frIndex.supersedeRate === null ? '—（索引空）' : `${(frIndex.supersedeRate * 100).toFixed(0)}%（${e.frSupersedeChanges}/${i.sourceChanges}，分子窗口内/分母全量——裁决用大窗口）`}`)
       const cand = frIndex.adjudicationCandidates || []
       if (cand.length > 0) {
-        lines.push('  裁决候选 Top-10（suspect×unref 条目级聚合——候选非裁决，确认无人承接→承接翻链或人工退休）：')
-        for (const c of cand.slice(0, 10)) {
-          lines.push(`    - ${c.id} suspect×${c.suspect} unref×${c.unreferenced}${c.change ? `（来源 ${c.change}）` : ''}`)
-        }
+        // L3 冻结后候选视图退役（数据面 adjudicationCandidates 保留 JSON 可查）——显示冻结注记
+        lines.push(`  裁决候选视图已退役｜${FR_L3_ADJUDICATED_NOTE}`)
       }
     } else {
       lines.push('（FR 索引面不存在——knowledge/fr/ 目录缺失或无条目；归档完整流程变更后此处可查）')
@@ -375,12 +377,12 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
 
   lines.push(`遥测计数（窗口内）：注入 ${result.totalInjects} 次 | 归类 ${result.totalClassifies} 次${lastEventAt ? ` | 数据截至 ${lastEventAt.slice(0, 10)}` : ''}`)
 
-  // FR 索引实验（L3 裁决仪表盘——证伪条款出数面；裁决时建议 --since-days 大窗口读全口径）
+  // FR 索引实验（L3 裁决仪表盘——证伪条款出数面；L3 已裁决冻结 2026-10-15，指标转历史观察）
   if (frIndex.present) {
     const e = frIndex.events
     const i = frIndex.index
     lines.push('')
-    lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）`)
+    lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）｜${FR_L3_ADJUDICATED_NOTE}`)
     lines.push(`  注入 fr-inject ${e.frInject} 次（${e.frInjectChanges} 变更） | 取代链 fr-supersede ${e.frSupersede} 次（${e.frSupersedeChanges} 变更） | 重复拦截 fr-duplicate-warning ${e.frDuplicateWarning} 次（${e.frDuplicateCandidates} 候选）`)
     if (e.frUnreferenced.length > 0) {
       const top = e.frUnreferenced.slice(0, 5).map((u) => `${u.domain}×${u.count}`).join('，')
@@ -388,14 +390,11 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
     }
     lines.push(`  索引面：${i.entries} 条（active ${i.active} / superseded ${i.superseded}）| 来源变更 ${i.sourceChanges} 个 | 域 ${i.domains.join(', ') || '—'}`)
     lines.push(`  承接引用率：${frIndex.supersedeRate === null ? '—（索引空）' : `${(frIndex.supersedeRate * 100).toFixed(0)}%（${e.frSupersedeChanges}/${i.sourceChanges}，分子窗口内/分母全量——裁决用大窗口）`}`)
-    // 裁决候选视图（2026-10-03-fr-governance-telemetry）：条目级 id 聚合（事件 frIds/ids，帽 20 抽样
-    // 为下界）。候选非裁决——高 suspect 天然来自热文件；处置出口：确认无人承接 → 承接翻链或人工退休。
+    // 裁决候选视图退役（L3 冻结，2026-10-15-fr-chain-l3-adjudication D-001@v1）——数据面
+    // adjudicationCandidates 保留 JSON 可查，显示面只留冻结注记。
     const cand = frIndex.adjudicationCandidates || []
     if (cand.length > 0) {
-      lines.push('  裁决候选 Top-10（suspect×unref 条目级聚合——候选非裁决，确认无人承接→承接翻链或人工退休）：')
-      for (const c of cand.slice(0, 10)) {
-        lines.push(`    - ${c.id} suspect×${c.suspect} unref×${c.unreferenced}${c.change ? `（来源 ${c.change}）` : ''}`)
-      }
+      lines.push(`  裁决候选视图已退役｜${FR_L3_ADJUDICATED_NOTE}`)
     }
   }
 

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/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/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

@@ -232,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('     - <可验证标准>"')
@@ -858,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('   - <可验证标准>"')
@@ -2076,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) {