sillyspec 3.34.1 → 3.34.2

package/.agents/skills/deploy/SKILL.md

@@ -0,0 +1,108 @@
+---
+name: deploy
+description: sillyspec 仓的 npm 发布流程——遗留暂存件归属判别、版本面 bump 与锚点测试同步、验证门、sillyspec push、npm publish 与 202 异步传播核验。用户说「发布/deploy/部署/发版/publish/升版本/发个最小版本/重新发布 npm」时必须使用本 skill；只适用于本仓（sillyspec）的 npm 发布，不适用于消费仓。
+---
+
+# sillyspec npm 发布流程
+
+发布 = 五步顺序链：暂存区清障 → 版本面 → 验证门 → 推送 → npm publish。
+顺序有依据：暂存区不清 `sillyspec push` 拒跑；锚点测试断言新版本号所以必须先 bump 再跑门；验证回执写进 release 提交信息。
+
+每步动手前先 `export SILLYSPEC_SESSION_ID=<会话标识>`（多会话共享仓的所有权判定依赖它）。
+
+## ① 前置检查
+
+```bash
+npm whoami                                    # 未登录→停，让用户处理凭据
+git log origin/main..HEAD --oneline           # 未推送面：应只含预期提交
+git diff --cached --name-only                 # 暂存区全量读取（禁过滤式核对）
+```
+
+## ② 暂存区清障（push 的门）
+
+暂存区非空时 `sillyspec push` 拒跑。逐文件归属判别，再分类处理：
+
+```bash
+# 归属判别：暂存 diff 里含哪个变更名就是谁的
+git diff --cached -- <file> | grep -c '<change-name>'
+```
+
+- **既往归档变更的蒸馏产物滞留**（owning 变更从未立项/未批准）：按用户指示入库——`chore(knowledge)` 提交，显式 pathspec，提交信息写明来源与授权
+- **活跃并行会话的在途文件**：默认不动、如实报告让用户拍板；用户说「一并提交」才入库
+- SillyHub/multi-agent-platform 等其它项目的域文件同样按归属判别处理，不机械照单全收
+
+## ③ 版本面
+
+**版本号**：用户指定号优先（如「3.34.1 应该是」）；未指定则最小补丁位 +1（3.34.0→3.34.1）。
+
+```bash
+npm version <版本号> --no-git-tag-version      # package.json + package-lock 双文件同步
+```
+
+**锚点测试同步**（不同步必红）：
+
+- `test/quick-retired.test.mjs` R5 断言 `pkg.version === '<新版本号>'`——精确等于，逐字改
+- `test/flow-order-canon.test.mjs` 断言 `> 3.33.1`——推进断言，版本高于该值就不动
+
+**提交**（先例：`chore(release): 3.34.1 版本面——…`，先跑完 ④ 验证门再提交，回执写进信息）：
+
+```bash
+git commit -m 'chore(release): <版本号> 版本面——package.json/package-lock <旧>→<新>（用户指定发布号），quick-retired R5 精确锚同步…；lint …绿、锚点套件 …/…绿' -- package.json package-lock.json test/quick-retired.test.mjs
+```
+
+⚠️ 提交信息含反引号时用**单引号**包 `-m`——bash 双引号内反引号会被解释成命令替换。
+
+## ④ 验证门（release 提交前跑）
+
+```bash
+npm run lint                                                    # check-syntax，~1111 文件
+node --test test/quick-retired.test.mjs test/flow-order-canon.test.mjs   # 版本锚点 8 例
+node --test test/<本次交付相关护栏测试>                          # 变更面护栏
+npm pack --dry-run                                              # 体量核验：~480 文件 5.3MB 量级
+```
+
+**既有红归属判别**（全量红不阻断发布，但必须留痕）：红的测试若疑似非本次引入，用 stash 法证明：
+
+```bash
+git stash push -- <疑似源文件> && node --test <红测试>   # 仍红→与该文件无关（既有红）
+git stash pop                                             # 恢复，切勿忘
+```
+
+归属结论写进 release 提交信息（先例：「doc-ref-check 既有红为并行会话在途改动，stash 归属判别留痕」）。
+
+## ⑤ 推送
+
+```bash
+sillyspec push            # 禁裸 git push / --force / 手工 reset --soft 压扁
+```
+
+CLI 可能判定「无需压扁直推」——正常，保留原历史快进。推送输出里的「预存锚点异常 advisory」不阻断。
+
+## ⑥ npm publish 与 202 异步核验
+
+```bash
+npm publish
+```
+
+**关键认知：registry 返回 202 = 异步受理，不是发布失败。** npm 打出 `+ sillyspec@<版本号>` 即受理成功；随后几分钟 registry 可能仍 404——那是传播窗口，**禁止重复 publish**。核验方法（绕过 npm view 的 CDN 缓存，用 curl 直查）：
+
+```bash
+curl -s https://registry.npmjs.org/-/package/sillyspec/dist-tags   # {"latest":"<版本号>"} 才算完成
+```
+
+不放心受理状态时，查 debug 日志确认（而非猜）：
+
+```bash
+grep 'PUT 202' "$(ls -t C:/Users/<user>/AppData/Local/npm-cache/_logs/*.log | head -1)"
+```
+
+## 坑清单速查
+
+| 症状 | 真相 | 处置 |
+|---|---|---|
+| `sillyspec push` 报「index 有 N 个已暂存文件」 | 暂存区门，防夹带并行会话文件 | 回 ② 归属判别清障 |
+| bump 后锚点套件红 | quick-retired R5 精确断言没同步 | 逐字改成新版本号 |
+| publish 后 registry 查不到新版本 | 202 异步传播窗口（可数分钟） | sleep+curl 直查 dist-tags，勿重发 |
+| `npm view` 版本滞后 | CDN 缓存 | curl 直查 registry |
+| 提交时报 unexpected EOF | 信息里的反引号被 bash 吃了 | `-m` 用单引号包 |
+| 全量测试有个别红 | 多会话共享仓常态 | stash 归属判别→既有红留痕不阻断 |

package/.claude/skills/sillyspec-flow/SKILL.md

@@ -50,7 +50,7 @@ sillyspec flow start --change <变更名> --input "<一句 10-30 字中文概括
 
 ### ③ 断点①：批准后才动码
 
-把 FR 条目+design 四节摘要给用户看 → 用户运行 `sillyspec flow approve --change <名>`（agent 代跑如实声明通道 `--user-confirmed` / `--self-approved`，无 flag 按 unattested 留痕）；用户明确说「直接跑完/不用问我」→ 重跑 `flow start --autopilot` 声明豁免（用户显式授权，非 agent 自选补救）。未批准且未声明 --autopilot 时 flow done 拒收。
+用 AskUserQuestion 把 FR 条目+design 四节摘要与选项（批准开始实现 / 需要调整 / 否决）呈现给用户——不要用纯文字提问等回复 → 用户批准后运行 `sillyspec flow approve --change <名>`（agent 代跑如实声明通道 `--user-confirmed` / `--self-approved`，无 flag 按 unattested 留痕）；用户明确说「直接跑完/不用问我」→ 重跑 `flow start --autopilot` 声明豁免（用户显式授权，非 agent 自选补救）。未批准且未声明 --autopilot 时 flow done 拒收。
 
 ### ④ 干活（已批准）
 

package/assets/command-cards/flow.md

@@ -21,7 +21,8 @@ sillyspec flow start --change <变更名> --input "<一句 10-30 字中文概括
 # ② 补 spec 面（动码前）：requirements FR 行为句（强度词）+ 测试绑定行、design.md 四节作答
 #    （空节 flow done 拒收；列改动文件用独立「## 文件变更清单」节）；tasks.md 改写为工作队列
 #    ——机器种子改写为实现步骤（每行做什么+怎么验证，保持 `- [ ] task-NN:` 行形态）。
-#    然后过断点①：摘要给用户看 → 用户运行 sillyspec flow approve --change <名>（批准留痕；
+#    然后过断点①：用 AskUserQuestion 把摘要与选项（批准开始实现/需要调整/否决）呈现给用户
+#    ——不要用纯文字提问等回复；用户批准后运行 sillyspec flow approve --change <名>（批准留痕；
 #    用户显式说「直接跑完」→ 重跑 start --autopilot 豁免）。批准是动码前置义务，不是收口补救。
 # ③ 干活（已批准）：写测试、改代码（按层适用——纯逻辑先写、行为契约断用户所见、样式/纯配置不写）；
 #    执行循环：Working on task N/M → 做一件 → 测试绿后当场勾一格（sillyspec task tick --change <名> --task task-NN

package/eval/knowledge/baseline.json

@@ -3,9 +3,9 @@
   "generated_by": "eval/knowledge/run.mjs",
   "snapshot": {
     "sillyspec": {
-      "head": "f483db394bdbdb4d8dad72fbc5836d5c4fab7bef",
-      "knowledge_hash": "26efd903ad32adbdaef0b3515a156f4ca48ebdb757504d5eebb894de72174ca8",
-      "knowledge_files": 139
+      "head": "c5b1d9a5a6cd83437910253ba0a6ff9ea5dd7904",
+      "knowledge_hash": "ef33189ed3662e37e286fb6827eb06e5ea449853459da0a74a99d0305b973665",
+      "knowledge_files": 141
     }
   },
   "cases": {
@@ -265,13 +265,13 @@
         "raw": {
           "top1": 0.6667,
           "top3": 0.75,
-          "mrr": 0.7257,
+          "mrr": 0.7215,
           "n": 12
         },
         "rendered": {
           "top1": 0.6667,
           "top3": 0.75,
-          "mrr": 0.7257,
+          "mrr": 0.7215,
           "n": 12
         },
         "truncated": [],
@@ -326,8 +326,8 @@
           },
           {
             "id": "s-scope-04",
-            "raw_rank": 4,
-            "rendered_rank": 4,
+            "raw_rank": 5,
+            "rendered_rank": 5,
             "truncated": false
           },
           {
@@ -360,7 +360,7 @@
           "added": {
             "top1": 0.4,
             "top3": 0.6,
-            "mrr": 0.5167,
+            "mrr": 0.5067,
             "n": 5,
             "reachable": 0.8
           },
@@ -380,7 +380,7 @@
         "raw": {
           "top1": 0.25,
           "top3": 0.5,
-          "mrr": 0.4236,
+          "mrr": 0.4167,
           "n": 4
         },
         "rendered": {
@@ -408,7 +408,7 @@
           },
           {
             "id": "s-man-10",
-            "raw_rank": 9,
+            "raw_rank": 12,
             "rendered_rank": null,
             "truncated": true
           },
@@ -423,7 +423,7 @@
           "approx": {
             "top1": 0,
             "top3": 0.3333,
-            "mrr": 0.2315,
+            "mrr": 0.2222,
             "n": 3,
             "reachable": 1
           },
@@ -441,7 +441,7 @@
   "self_smoke": {
     "sillyspec": {
       "cases": 214,
-      "skipped": 603,
+      "skipped": 618,
       "own_hit_top3": 0.0187,
       "name_only_top3": 0.028,
       "leak_gap": -0.0093

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.34.1",
+  "version": "3.34.2",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",

package/src/flow.js

@@ -403,9 +403,13 @@ export async function flowKnowledgeDigest({ specBase, change, changeDir, input,
       ...(km.routeHits || []).slice(0, 3).map((e) => (e.anchor ? `${e.file}#${e.anchor}` : e.file)),
       ...scopeMatchedFiles,
     ])].slice(0, 12)
-    if (thinMatchedFiles.length > 0 || rejected.length > 0 || scopeMatchedFiles.length > 0) {
-      try {
-        const { appendKnowledgeHit } = await import('./knowledge-hits.js')
+    // 遥测（FR-04，2026-11-05-knowledge-search-observability）：channel 单源记录（调优/画像
+    // 数据地基）；真零命中也落盘（zeroHit 标记 + 空 matchedFiles——stats 文件矩阵零贡献，
+    // 真实零命中率恰是向量层的目标场景，此前「仅命中才落盘」把它定义没了）。fail-soft 不阻断注入。
+    try {
+      const { appendKnowledgeHit } = await import('./knowledge-hits.js')
+      const { resultChannel } = await import('./knowledge-vector.js')
+      if (thinMatchedFiles.length > 0 || rejected.length > 0 || scopeMatchedFiles.length > 0) {
         appendKnowledgeHit(join(specBase, '.runtime'), {
           type: 'inject',
           change,
@@ -415,10 +419,24 @@ export async function flowKnowledgeDigest({ specBase, change, changeDir, input,
           mentionedFiles,
           ...(scopeMatchedFiles.length > 0 ? { scopeMatchedFiles } : {}),
           rejectedCount: rejected.length,
+          channel: resultChannel(km),
           source: 'thin-start',
         })
-      } catch { /* 遥测 fail-soft（R-04）：hits 落盘失败不影响注入本体 */ }
-    }
+      } else {
+        appendKnowledgeHit(join(specBase, '.runtime'), {
+          type: 'inject',
+          change,
+          query: kmQuery,
+          matchedFiles: [],
+          injectedFiles: [],
+          mentionedFiles: [],
+          rejectedCount: 0,
+          channel: resultChannel(km),
+          zeroHit: true,
+          source: 'thin-start',
+        })
+      }
+    } catch { /* 遥测 fail-soft（R-04）：hits 落盘失败不影响注入本体 */ }
     if (domains.length === 0 && rejected.length === 0 && !km.matched) {
       lines.length = 0
       lines.push(`🧠 知识注入（轻量道读取面）：语料未命中知识库（无触达域依据、无否决命中、INDEX 无对齐条目）——可自行查 knowledge/INDEX.md。`)
@@ -787,7 +805,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
             ? `🖼️ 原型在场（${prototypePaths.length} 个 HTML）：实现前必看，界面/交互/流程按原型对齐；有出入以 design.md 承诺为准并在回复中说明。`
             : null,
           `【你要做的】① spec 阶段先定稿任务面：把 tasks.md 改写为工作分解（每行=可独立完成并当场验证的一步：做什么+怎么验证；全 \`- [ ]\`——代码开动前工作队列先存在）；`,
-          `🛑 断点①（机器门）：spec 面（任务面+测试绑定槽）定稿后把摘要给用户看 → flow approve --change ${change}（或用户显式 --autopilot）——批准后才动码。design 四节槽收编豁免（以 brainstorm design 为准）。`,
+          `🛑 断点①（机器门）：spec 面（任务面+测试绑定槽）定稿后用 AskUserQuestion 把摘要与选项（批准开始实现/需要调整/否决）呈现给用户，不要用纯文字提问等回复 → 用户批准后 flow approve --change ${change}（或用户显式 --autopilot）——批准后才动码。design 四节槽收编豁免（以 brainstorm design 为准）。`,
           `② 执行走任务循环：对 tasks.md 每个 pending 行——展示「Working on task N/M: <任务>」→ 做 → 测试绿后当场勾一格（\`- [ ]\`→\`- [x]\`：sillyspec task tick --change ${change} --task task-NN 或直接 Edit）→ 下一行；全勾后 flow done（收口硬门拒单拍多格勾选）。design/decisions 是本变更的承诺锚（flow done 豁免 design 四节槽，以其为准）。`,
           `requirements 测试绑定槽（收编追加）每条 FR 至少一行作答；写码前作答（动码前，与任务面定稿同批）。`,
           `✅ 任务面归你（工作分解契约）：tasks.md 是你的工作队列（机器种子可增删改，保持 \`- [ ] task-NN:\` 行形态）——CLI 以 checkbox 为进度状态机（task tick/flow status 实时读它），TodoWrite 类工具不替代；`,
@@ -1184,7 +1202,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     // 顺序正典（2026-10-19-thin-order-canon）：行动句必须是顺序句——实证（artifact 时间戳
     // 还原+跨仓 14 例抽样）agent 跟从【你要做的】首义行动，旧句「直接干活」把动码提前、
     // 文档与批准沦为收口仪式；正典=先答 spec 面 → 批准 → 才动码（读代码探究不算动码）。
-    `【你要做的】先答 spec 面，批准后才动码：① 答 spec——requirements FR 行为句+测试绑定行、design.md 四节作答（动码前；读代码探究不算动码）；② 断点①——摘要给用户看 → flow approve --change ${change}（或用户显式 --autopilot）；③ 才干活——写测试、改代码。治理工件骨架 CLI 已起草、收口机器做（协议记账单位=change 级）。`,
+    `【你要做的】先答 spec 面，批准后才动码：① 答 spec——requirements FR 行为句+测试绑定行、design.md 四节作答（动码前；读代码探究不算动码）；② 断点①——用 AskUserQuestion 呈现摘要+选项（批准开始实现/需要调整/否决），用户批准后 flow approve --change ${change}（或用户显式 --autopilot）；③ 才干活——写测试、改代码。治理工件骨架 CLI 已起草、收口机器做（协议记账单位=change 级）。`,
     // 收口拒收红线前置（2026-10-11-flow-start-redline-frontload）：钉死/空槽/绑定三面都是文档
     // 先行校验，实证第一次最容易踩（四问文本被改写、区间 task-NN 写法零证据被拒）——横幅
     // 头部先行告知，收口才暴露的规则前置到动笔前。
@@ -1221,16 +1239,16 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     `💡 执行期用户插入决策方向（有实现影响、约束后续变更的取舍/否决/定调）→ 当场 sillyspec decisions add --change ${change} --id D-001 --title "…" 落盘（只留会话=收口档案不可见、跨变更复潮无防）；改变承诺面的同步 design/tasks 对应节。`,
     ``,
     `🛑 三断点纪律（顺序纪律：①未过不动码；②③为汇报点——用户没说「全跑完」就必须在每个断点向用户汇报并等确认）：`,
-    `   ① spec 断点【机器门】：填完 FR 区和 design 四节后，把摘要给用户看（FR 条目+盲维作答+方案概述），`,
+    `   ① spec 断点【机器门】：填完 FR 区和 design 四节后，用 AskUserQuestion 把摘要（FR 条目+盲维作答+方案概述）与选项（批准开始实现/需要调整/否决）呈现给用户——不要用纯文字提问等回复；`,
     `      起草完先自查：sillyspec flow verify-drafts --change ${change}（与批准门同判定——自查通过再请批准，用户一次过）；`,
-    `      用户确认后请其运行 sillyspec flow approve --change ${change}（批准留痕）再动手写代码——`,
+    `      用户在 AskUserQuestion 中确认批准后请其运行 sillyspec flow approve --change ${change}（批准留痕）再动手写代码——`,
     `      agent 代跑时如实声明通道：--user-confirmed（转述用户已确认）/ --self-approved（agent 自批），`,
     `      无 flag 按 unattested 留痕（审计面无法区分用户确认与自批）——2026-10-12-approve-channel-attest。`,
     `      方案错了返工最贵；批准是动码前置义务（未批准且未声明 --autopilot 时 flow done 亦拒收——2026-10-04-thin-docs-v2）；`,
     `      用户否掉方案 → flow reject --change ${change} --reason <理由>（拒后批准须显式通道再确认）。`,
-    `   ② 执行断点：写完代码跑完测试后，把测试结果（过了几个/挂了什么）给用户看，`,
-    `      等用户确认再跑收口；汇报顺带对账执行期用户决策（decisions 条目列一下，无则说明无）。`,
-    `   ③ 归档断点：flow done 跑完后（无论过/拒），把结果（归档成功/被什么拦了）给用户看。`,
+    `   ② 执行断点：写完代码跑完测试后，用 AskUserQuestion 把测试结果（过了几个/挂了什么）与选项（确认收口/继续修/有问题）呈现给用户，`,
+    `      等用户选择再跑收口；汇报顺带对账执行期用户决策（decisions 条目列一下，无则说明无）。`,
+    `   ③ 归档断点：flow done 跑完后（无论过/拒），用 AskUserQuestion 把结果（归档成功/被什么拦了）呈现给用户（选项：结束/处理遗留问题）。`,
     `   用户明确说「直接跑完/不用问我」→ 重跑 flow start --change ${change} --autopilot 声明豁免（用户显式授权、留痕——非 agent 自选补救通道），`,
     `   ①②③人审全免（agent 自主跑到底）。`,
     `   随时可查进度：sillyspec flow status --change ${change}`,
@@ -1283,12 +1301,12 @@ function printRecoveryBriefing({ cwd, specBase, change, changeDir, runtimeRoot,
     `- 六子步标记：${done.length ? `已完成 ${done.join('/')}` : '（无）'}${left.length ? `；待办 ${left.join('/')}` : '；全部完成'}`,
     // 顺序正典（2026-10-19-thin-order-canon）：恢复面带批准状态——重入时 agent 只看简报，
     // 未批准时「下一步」必须指向补批而非「继续干活」（防先码后批在恢复路径复发）。
-    `- spec 批准：${st.spec_approved ? `✅ 已批准（channel=${approveChannelOf(st)}）` : st.autopilot ? '🔑 autopilot 豁免（用户显式授权）' : '⬜ 未批准——动码前先过断点①（摘要给用户 → flow approve）'}`,
+    `- spec 批准：${st.spec_approved ? `✅ 已批准（channel=${approveChannelOf(st)}）` : st.autopilot ? '🔑 autopilot 豁免（用户显式授权）' : '⬜ 未批准——动码前先过断点①（用 AskUserQuestion 呈请批准 → flow approve）'}`,
     // 红线重申（2026-10-11-flow-start-redline-frontload）：重入不出首进横幅——钉死规则与
     // task-NN token 形态随简报补位，断点续跑生命周期内规则不丢。
     `- 红线重申：design 四问文本/FR 标题锚逐字钉死勿改写（改写即拒收）；勾选证据提交消息逐个带 task-NN 或 /、，连写（「task-01..task-05」区间写法不认）。`,
     `- 剩什么：${left.length === 0 && dirty === 0 ? '活已干完' : dirty > 0 ? '活未干完（继续改代码）' : '收尾待裁决'}`,
-    `- 下一步：${left.length === 0 ? `sillyspec flow done --change ${change}` : !st.spec_approved && !st.autopilot ? `未批准先补批（摘要给用户 → sillyspec flow approve --change ${change}）；随后继续干活，干完跑 flow done（断点续）` : `继续干活；干完跑 flow done（断点续）`}`,
+    `- 下一步：${left.length === 0 ? `sillyspec flow done --change ${change}` : !st.spec_approved && !st.autopilot ? `未批准先补批（用 AskUserQuestion 呈请批准 → sillyspec flow approve --change ${change}）；随后继续干活，干完跑 flow done（断点续）` : `继续干活；干完跑 flow done（断点续）`}`,
     ...(digestLines.length > 0 ? ['', ...digestLines] : []),
     // 尾部原型锚（2026-10-14-guide-anchor-adopt-proto）：收编/含原型变更重入时原型指针不隐身
     //（首进 adopt 输出的 🖼️ 行在会话切换后已丢，简报尾部补可发现面；置于 digestLines 后＝绝对
@@ -1434,7 +1452,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
       // 实证下无牙；v2 起批准是收口硬前提，autopilot 是用户显式豁免通道）
       if (!st.autopilot && !st.spec_approved) {
         console.error(`❌ spec 断点未批准：批准是动码前置义务（不是收口补救动作）——本变更缺方案确认留痕`)
-        console.error(`   补批通道（留痕可审计）：把 FR 条目+design 四节摘要给用户看，用户确认后由用户运行：`)
+        console.error(`   补批通道（留痕可审计）：用 AskUserQuestion 把 FR 条目+design 四节摘要与选项（批准/需要调整/否决）呈现给用户，用户批准后由用户运行：`)
         console.error(`     sillyspec flow approve --change ${change} [--user-confirmed|--self-approved]`)
         console.error(`   或用户显式豁免（须用户授权，非 agent 自选）：重跑 flow start --change ${change} --autopilot（声明留痕）`)
         reportMidFail('artifacts')
@@ -2888,7 +2906,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
   }
   appendTelemetry(reviewOutcome) // 成功收口（失败面已在各失败路径提前落账，appendTelemetry 单点）
 
-  console.log(`📦 归档断点：全部子步完成，即将归档——agent 把收口结果（子步清单+评审结论+验证回执）给用户看。`)
+  console.log(`📦 归档断点：全部子步完成，即将归档——agent 用 AskUserQuestion 把收口结果（子步清单+评审结论+验证回执）与选项（结束/处理遗留问题）呈现给用户。`)
   console.log(`✅ flow done 完成（2/2 协议调用收口）：${change}——${SUBSTEPS.length} 子步 ${doneList.join('、')}；change 已归档注销。`)
   // Git 历史整理指引（2026-09-25-thin-freeze-git-hygiene）：多轮中间提交可压扁为单提交——审计
   // 真相在 change.patch（sha256 锚定）与归档产物，不依赖历史形态；baseline 在 change-patch.json。
@@ -2968,7 +2986,7 @@ async function cmdFlowVerifyDrafts({ change, cwd, specBase, runtimeRootOpt = nul
   } else if (passed) {
     for (const a of r.advisories) console.warn(`⚠️ [门柱漂移 advisory] ${a}（不阻断批准）`)
     if (r.degraded) console.log(`ℹ️ 自查降级：draft-ledger 不在此机（.runtime 机本位/存量变更）——空槽兜底校验通过（v2 纯 markdown 无法对锚校验，如实降级）`)
-    console.log(`✅ spec 面自查通过（0 violations）——通过≠批准：请把摘要给用户看，用户确认后 sillyspec flow approve --change ${change}（批准留痕后动码）`)
+    console.log(`✅ spec 面自查通过（0 violations）——通过≠批准：用 AskUserQuestion 把摘要与选项（批准开始实现/需要调整/否决）呈现给用户，用户批准后 sillyspec flow approve --change ${change}（批准留痕后动码）`)
     // 重叠路由 advisory（2026-10-28-overlap-route FR-04）：批准前最后一个高频触点——当前
     // 变更声明与他人活跃变更相交时一行分流提示。fail-open 静默：检测异常不拦批准不影响退出码。
     try {
@@ -3016,7 +3034,7 @@ async function cmdFlowApprove({ change, cwd, specBase, by = null, channelFlag =
   const st = readFlowState(changeDir) || {}
   if (st.spec_rejected && !st.spec_rejected_superseded_at && !channelFlag) {
     console.error(`❌ 本变更存在未翻越的拒绝记录（spec_rejected，reason=${String(st.spec_rejected_reason || '?').slice(0, 80)}）——拒绝后的批准必须显式声明通道：`)
-    console.error(`   用户重新确认后：sillyspec flow approve --change ${change} --user-confirmed（agent 转述用户确认）`)
+    console.error(`   用 AskUserQuestion 征得用户重新确认后：sillyspec flow approve --change ${change} --user-confirmed（agent 转述用户确认）`)
     console.error(`   agent 自批如实声明：sillyspec flow approve --change ${change} --self-approved`)
     console.error(`   （拒绝后派生授权须显式再确认——2026-10-12-approve-channel-attest）`)
     process.exit(2)
@@ -3376,7 +3394,7 @@ export async function cmdFlow(args, cwd, specDir = null, opts = {}) {
       `📋 ${change}`,
       ...(changeTitle ? [`   标题：${changeTitle}`] : []),
       `   阶段：${phase}`,
-      `   spec 批准：${specApproved ? '✅ 已批准' : autopilotOn ? '🔑 autopilot 豁免（用户显式授权）' : '⬜ 未批准（动码前先过断点①）'}`,
+      `   spec 批准：${specApproved ? '✅ 已批准' : autopilotOn ? '🔑 autopilot 豁免（用户显式授权）' : '⬜ 未批准（动码前先过断点①：用 AskUserQuestion 呈请批准）'}`,
       `   design 槽：${designFilled ? '✅ 已填' : '⬜ 未填'}｜FR 区：${frFilled ? '✅ 已填' : '⬜ 未填'}｜绑定槽：${bindingsFilled}/${bindingsTotal}`,
       hasTasks ? `   任务勾选：${tasksChecked}/${tasksTotal}` : null,
       ...(heartbeat || []),

package/src/foreign-declared.js

@@ -222,8 +222,14 @@ export function parseChangeNamesFromSubject(subject) {
 
 /**
  * git log 文本（--format=%x00%s --name-only，每提交 NUL+标题+文件行）→ 文件提交归属映射。
- * 每文件聚合：owners=触碰过它的全部提交携带的变更名；unknown=被无变更名裸提交触碰过
- * （归属不明，消费端必须保守保留——fail-closed 不因裸提交剔文件）。
+ * 每文件聚合：owners=触碰过它的全部提交携带的变更名；unknown=被无变更名裸提交触碰过；
+ * tokened=无名 touch 中存在带 task-NN token 者（`task-\d+`——交付协议证据，thin-tasks-v3
+ * 起勾选证据=task token 提交，收口哨兵按它逐格核）。2026-11-08-bare-commit-attribution-narrow
+ * 起细分：纯裸 touch（无名无 token——release 生成器/Merge/归档 chore 形态）不再保守保留
+ * （判 foreign，见 isForeignByCommit）；token 裸 touch 仍保守 own（task token 无变更名限定，
+ * 无法区分是谁的 task——fail-closed 不误剔交付）。原「unknown 恒 own」的 fail-closed 前提
+ * （自己的交付提交可能不带变更名）已随 token 协议过时——坑②（shared-repo multi-session
+ * frictions）10-28 实证：release-record 归档 chore 提交穿透冻结面。
  */
 export function buildCommitAttribution(logText) {
   const map = new Map()
@@ -234,9 +240,11 @@ export function buildCommitAttribution(logText) {
     for (const f of lines.slice(1)) {
       const file = f.replace(/\\/g, '/')
       let e = map.get(file)
-      if (!e) { e = { owners: new Set(), unknown: false }; map.set(file, e) }
-      if (names.length === 0) e.unknown = true
-      else for (const n of names) e.owners.add(n)
+      if (!e) { e = { owners: new Set(), unknown: false, tokened: false }; map.set(file, e) }
+      if (names.length === 0) {
+        e.unknown = true
+        if (/task-\d+/i.test(lines[0])) e.tokened = true
+      } else for (const n of names) e.owners.add(n)
     }
   }
   return map
@@ -266,9 +274,16 @@ export function commitAttributionForChange(cwd, specBase, currentChangeName, bas
   } catch { return null }
 }
 
-/** 纯他侧文件判定：有提交归属且全部提交均属他侧（无本变更名、无裸提交触碰）。 */
+/** 纯他侧文件判定（2026-11-08-bare-commit-attribution-narrow 细分）：
+ *  own 路径——①记录缺位（窗口外文件）②含本变更名 touch ③无名 touch 带 task-NN token
+ *    （交付协议证据，保守不误剔——token 无变更名限定，区分不了是谁的 task）。
+ *  foreign 路径——①纯他侧具名（旧语义）②纯裸 touch（无名无 token：release 生成器/
+ *    Merge/归档 chore 形态——坑②污染源；误剔由收口「提交面夹带嫌疑 advisory」点名兜底）。 */
 export function isForeignByCommit(entry, currentChangeName) {
-  return !!entry && !entry.unknown && entry.owners.size > 0 && !entry.owners.has(currentChangeName)
+  if (!entry) return false
+  if (entry.owners.has(currentChangeName)) return false
+  if (entry.tokened) return false
+  return entry.owners.size > 0 || entry.unknown === true
 }
 
 /**

package/src/hunk-attribution.js

@@ -142,8 +142,10 @@ export async function runHunkAttributionGate({ cwd, specBase, changeName, baseli
     // 补 design 自声明」双误导（F-4 实证：他侧 546720ea 已归档交付被指为在途）。按提交 message
     // 变更名归属（commitAttributionForChange+isForeignByCommit，与 patch 冻结 filterCommittedFace
     // 同源）：窗口内全部提交均属他侧变更名 → 他侧归因（ℹ️ 信息行、不计 ok 阻断面）；
-    // 裸提交/本变更名提交触碰的文件保持未归因（fail-closed 原口径）。切分不可得（非 git/
-    // git 失败 → null）保持全量未归因，不放宽。
+    // 2026-11-08-bare-commit-attribution-narrow 细分：纯裸提交（无名无 task token——release
+    // 生成器/Merge/归档 chore 形态）touch 同判他侧归因（坑②污染源，owners 空数组——渲染走
+    // 纯裸分支）；token 裸/本变更名提交触碰的文件保持未归因（fail-closed 原口径）。切分不可得
+    // （非 git/git 失败 → null）保持全量未归因，不放宽。
     let attr = null
     let isForeign = null
     try {
@@ -195,7 +197,9 @@ export function renderHunkAttributionLines(r) {
   const attributed = r.faceCount - r.unattributed.length - (r.foreignByCommit || []).length
   L.push(`- ℹ️ 提交面 ${r.faceCount} 个交付文件对账：声明面归因 ${attributed}、他侧归因（提交事实）${(r.foreignByCommit || []).length}、未归因 ${r.unattributed.length}、跨变更竞争 ${r.contended.length}、在途残留 ${r.residue.length}`)
   for (const fb of (r.foreignByCommit || [])) {
-    L.push(`- ℹ️ 他侧归因（提交事实）：\`${fb.file}\` 窗口提交全部属 ${fb.owners.join('、')}——已归档他侧交付非本变更未归因，patch 冻结面同口径剔除`)
+    L.push((fb.owners || []).length > 0
+      ? `- ℹ️ 他侧归因（提交事实）：\`${fb.file}\` 窗口提交全部属 ${fb.owners.join('、')}——已归档他侧交付非本变更未归因，patch 冻结面同口径剔除`
+      : `- ℹ️ 他侧归因（提交事实）：\`${fb.file}\` 窗口内仅纯裸提交（无名无 task token——release 生成器/Merge/归档 chore 形态）触碰——坑②污染源剔除，patch 冻结面同口径剔除；若确属本变更交付，补 design 自声明或带 task token 重新提交`)
   }
   for (const u of r.unattributed) {
     L.push(`- ⚠️ 未归因：\`${u.file}\`（${u.hunks >= 0 ? `${u.hunks} hunk` : 'hunk 数不可得'}）不在 design 清单与 requirements 测试绑定——属并行会话在途交付则须显式 pathspec 隔离并协调归属；属本变更则补 design 自声明`)

package/src/index.js

@@ -156,7 +156,7 @@ SillySpec CLI — 规范驱动开发工具包
   sillyspec knowledge <search "<关键词>" [--limit N] [--include-resolved]（--query 等效）
                         | inspect --id "..."
                         | validate | refresh
-                        | propose --title "..." --category <name>
+                        | propose --title "..." [--body-file <路径>|--body <文本>] --category <name>
                         | inbox [--json]  （知识收件箱：uncategorized 待审清单+基线态）>
   sillyspec platform <connect <url> [--token <t>]
                       | disconnect