sillyspec 3.29.3 → 3.29.5

package/round4/gate-audit-relay-receipt.md

@@ -0,0 +1,30 @@
+# 审计带话落地回执（2026-09-21，写给 gate-value-audit.md 作者）
+
+对照 [gate-value-audit.md](gate-value-audit.md) 末尾「必须转达给改第 5 项会话」的三条，逐条回执：
+
+## ① fail-fast 前置（死信检查挪到门禁前）——已落地（83d91cd4，先于本回执）
+
+module-impact 死信探针 + 预填注清零 error 门整块移到 verify test/lint 实测门之前，纯排序零语义变化。补充实证：R4-S-F 会话 db 计数死信拦 1 次 + **lint 硬拦 7 次**（比「两轮」更惨，166min 形状大半是这两件叠加）。
+
+## ② lint 范围化覆盖 verify 门——已落地（83d91cd4，与①同笔）
+
+采用**归属鉴定降档**而非 `{files}` 占位符（multi-agent-platform 的 lint 是 `cd backend && ruff && mypy && cd ../frontend && pnpm lint` 链式命令，全局文件列表无法安全替换进各子命令；归属鉴定对任意命令形状成立）：失败输出提及文件 × 变更文件集**零交集 = HEAD 存量债 → advisory 放行**；有交集 / 输出无可识别路径（unattributable，纯配置错误类）→ 维持硬拦保守。quick + verify 两门同接，你点名的 R4-S-F 两个 ruff 债文件场景在新规则下第一轮就是 advisory。
+
+## ③ 模块粒度范围化 + 600s 超时帽——本笔回执（超时半已落码；模块半是「配置补全」不是「新建机制」）
+
+**重要修正：模块粒度范围化机制早已存在**——`test_strategy: module` + `modules:` 块（inline flow `name: {path, test}`）自 v3.24 建成，v3.29.3 起 `modules:` 在场即缺省收窄到 module 子集（ql-20260920-010）。考古期 227 次全量跑的成因：当时模块映射只配了 16 个条目（注释可见 08-01/08-10/08-20/08-22 逐次补录史）+ 更早版本缺省 full。你的「文件粒度会漏、模块粒度保真拦」结论与已建成机制的语义一致（命中=触碰模块全套测试），无需新建设计。
+
+已做的两件事：
+1. **超时改判落码**（本笔提交）：`isTimeoutOnlyTestFailure` 纯函数 + verify/quick 两门接线——纯超时（所有失败单元 reason 均超时、无任何挂测）→ advisory 降档带三路处置指引；任一真实挂测维持硬拦（你的 12 次真拦防线不动）。36 次假拦桶根治。
+2. **平台仓 modules 块补全**（机器本地 local.yaml，不入库）：22 个缺失 backend 模块 + be-core（backend/tests 核心套）补齐到 39 条目，`extractModules` 解析验证 backend/app/modules 全覆盖——消掉「改到未映射模块 → 0 命中跳测 / 混合命中漏跑」陷阱。沿用既有约定（`-q --no-cov -n auto`）；脆弱用例处置（daemon fragile 三件套独跑等）原样保留。
+
+## 剩余开放项（不抢跑，留给你/后续会话拍板）
+
+- **尾截 46 次不可判**：工件只存 output_tail 的局限。模块子集启用后单模块输出短、尾部覆盖率天然升，预计大幅缓解；要不要再扩 output_tail 上限或落全量日志，等新数据说话。
+- **真拦 12 次的反事实**（不拦会不会被 pre-commit/CI 兜住）：同意你「拿不到」的判断，不追。
+- **lint 台账明细滚动窗口太短**（真拦率算不了）：小刀口，随批可修。
+- **平台仓 local.yaml 的持久化**：modules 块在机器本地文件里，换机即丢——建议把 39 条目镜像进 local.yaml.example（入库）由仓主拍板。
+
+## R4 终态通报
+
+R4-S-F 已归档（22:14→01:00，~166min，db 硬账）；R4-L / R4-O-L 状态未查（本会话聚焦修复）。全量核算收口 H1-H6 等你终态后出——判定线在 prereg.md，别忘 269min 对照臂是 Fork 续跑（混杂已声明）。

package/round4/gate-value-audit.md

@@ -0,0 +1,52 @@
+# 门禁价值考古——测试门的真拦/假拦判读（2026-09-21）
+
+> 数据源：multi-agent-platform 主仓 `.runtime/verify-runs/` 320 个运行工件（227 次有效 test 门运行）+ `verify-lint-tally.json` + 5 个 friction-tally + 2 次 R4 实测。
+> 样本期：2026-07-22 → 2026-09-20（约 2 个月，49 个变更发生过失败）。
+> 用途：回答「模块全量门禁在期望上拦过什么」，为 3.29.5 第 5 项（测试口径范围化）提供粒度决策依据。
+
+## 测试门（227 跑 / 106 败 / 47% 失败率）
+
+| 分桶 | 次数 | 占比 | 判定 |
+|---|---|---|---|
+| **real-test-fail（真拦）** | **12** | 11% | pytest/vitest 摘要行 failed>0——agent 声称完成但测试实测挂 |
+| timeout（≥590s 或 exit 143） | 36 | 34% | 假拦（门禁 600s 上限杀） |
+| 尾截不可判（尾部全 passed 但 exit 1） | 46 | 43% | 多模块串行跑、失败在尾部窗口外的模块——真/假不可判（工件只存 output_tail） |
+| runner 崩溃（tinypool/heap） | 3 | 3% | 假拦（环境） |
+| env/配置错（--no-cov 未装、模块路径不存在） | 2 | 2% | 假拦（环境） |
+| fixture 装配错（16 errors） | 1 | 1% | 存疑 |
+| unknown | 6 | 6% | — |
+
+**真拦率区间：11%（下界 12/106）~ 55%（上界含尾截桶）**；确认假拦（超时+崩溃+环境）≥ 40%。
+
+## lint 门（68 跑 / 19 败 / 28%）
+
+滚动台账只留 3 条明细（2 超时 + 1 泛化），另有两个已知存量债拦截实例（R4-S-Q quick 门、R4-S-F verify 门）。明细留存不足，无法算真拦率。
+
+## 关键抽验：真拦的「形态」决定范围化粒度
+
+**案例 2026-09-02-changes-overview-card（2 次 verify 门真拦，各 10 个测试挂）**：
+- 变更触碰面（apply-pathspec）：`backend/app/modules/daemon/{model,router,runtime/service,service}.py` + 前端 + sillyhub-daemon 等 19 文件；
+- 门禁挂点：`backend/app/modules/daemon/host_fs/tests/test_delegate_worktree.py`（9 个）+ `daemon/tests/test_worker_redispatch.py`（1 个）——**同模块、但不在变更自己的测试文件清单里**。
+
+结论：
+1. **文件粒度范围化（只跑 touched files 的测试）会漏掉这种真拦**——改模块代码弄挂了同模块相邻测试，agent 自己声明的测试面看不见它；
+2. **模块粒度范围化（跑任何触碰模块的全套测试）能保住**——挂点全在 `app/modules/daemon` 触碰模块内；
+3. 超时 36 次 + 尾截 46 次的噪声大头来自「跑所有模块」——范围化到触碰模块同时砍时长与假拦。
+
+## 成本-收益账（供产品决策，不下结论）
+
+- 227 次门禁 × 5–9min ≈ **19–34 小时门禁时间**，换 **≥12 次真拦**（每次都是「agent 说做完了但测试说没有」）≈ 1.6–2.8h/次真拦；
+- 对照组（OpenSpec 无门禁）：这 12 次会直接带病提交，靠 pre-commit/CI 或人工发现；
+- CLAUDE.md 规则 0「只跑自己修改相关的测试」语义歧义（文件级还是模块级）——本数据支持**按模块级**解释。
+
+## 给 3.29.5 第 5 项的落地建议（需转达）
+
+- scope 取 **touched modules**（触碰模块的全套测试），不要 touched files；
+- 超时帽 600s 需同步处理（36 次假拦的头号来源——范围化后模块内超时应大幅减少，但帽本身对 daemon/frontend 大模块仍可能杀）；
+
+## 本判读的局限
+
+- 单仓样本（multi-agent-platform，测试密集型 monorepo）；
+- 46 条尾截不可判未深挖（需逐条对 git 历史判「修复提交是否紧随」才能定真伪）；
+- lint 门明细留存不足；
+- 「真拦 = 有价值」仍是覆盖率视角，未追踪这 12 次如果不拦的实际损失（有无被 pre-commit/CI 兜住的反事实不可得）。

package/round4/prereg.md

@@ -0,0 +1,67 @@
+# R4 对照实验·预注册（2026-09-20，跑前锁死）
+
+## 目的
+
+验证 3.29.1–3.29.4 效率修复栈（波次拓扑守卫 / 假红分诊去重 / 审查经济学四律 / 卡片直填 / 验证批处理 / quick 资产尾）在受控重放下的真实效果。
+
+## 设计
+
+**重放第 3 轮任务、同基线、只换工具版本**（当轮 ~3.28/3.29.0 → 3.29.4）。老版本数据直接作对照臂，不重跑；OpenSpec 侧不重跑（复用第 3 轮实测）。
+
+## 运行矩阵
+
+| 跑 | 任务 | 通道 | 工作树（platform 仓） | 基线 | 对照臂 |
+|----|------|------|----------------------|------|--------|
+| R4-L | session-replay 大任务 | 全流程 | `.sillyspec/.runtime/worktrees/2026-09-20-r4-session-replay` | 53c67e02a | 第 3 轮同基线重做 **269min**（本地 db 硬账：681 请求 / 104.13M tokens / 12 子代理；db 标题实证为 **Fork 续跑**） |
+| R4-S-F | autocompact 小任务 | 全流程（钉死） | `.../2026-09-20-r4-autocompact-full` | 50736b6ef | 第 3 轮 sillyspec 全流程 **39.5min / 17.2M**（会话在平台服务器侧，本地 db 不可复核，取当轮分析值） |
+| R4-S-Q | autocompact 小任务 | quick（钉死） | `.../2026-09-20-r4-autocompact-quick` | 50736b6ef | OpenSpec **25min / 33.3M**（产品级参照，同上来源） |
+| R4-O-L | session-replay 大任务 | OpenSpec 1.13.1 | `.../2026-09-20-r4-openspec-large` | 53c67e02a | 第 3 轮 openspec 实测（**也是 Fork 续跑**：288 请求 / 80.03M / 跨度 177.8min）——重跑目的：剔除 fork 混杂的同条件横评 |
+| R4-O-S | autocompact 小任务 | OpenSpec 1.13.1 | `.../2026-09-20-r4-openspec-small` | 50736b6ef | 第 3 轮 openspec **25min / 33.3M** |
+| R4-L2 | 同 R4-L | 同 | 复用 | 同 | **条件跑**：仅当 R4-L 墙钟结论与机制证据矛盾时补 |
+
+## 对比的三层结构（怎么比）
+
+1. **纵向主判定**（修复有没有用）：R4-L vs 269min、R4-S-F vs 39.5min——同任务同基线同 harness，唯一变量是 sillyspec 版本（3.28/3.29.0 → 3.29.4）。
+2. **横向对撞**（跟 OpenSpec 拉平没有）：R4-L vs R4-O-L、R4-S-Q vs R4-O-S——两侧都是全新会话、同基线、同时段，第 4 轮新增（第 3 轮两侧数据均带 fork 混杂，作参考不作判定）。
+3. **机制点**（为什么）：H2 五点二进制判定，横纵向解释力来源。
+
+## 固定变量（防污染清单，逐条对应前几轮踩过的坑）
+
+- 同机、同 harness（zcode 平台）、同模型、**全新会话**——禁 fork/继承续跑（第 2 轮最大 token 混杂源是分叉继承胖上下文）。
+- 任务文本 = 归档 proposal verbatim（brief-autocompact.md / brief-session-replay.md）。
+- 基线 commit 钉死（上表）；npm 全局 3.29.4 钉死，会话首步回显 `sillyspec --version` 进 transcript 作证。
+- `local.yaml` 三工作树同拷（主仓复制）——否则 quick --done 测试门禁静默跳过。
+- 会话标题含 `R4-` 前缀（db 归账定位用）。
+
+## 假设与判定线
+
+| # | 假设 | 判定线 | 载体 |
+|---|------|--------|------|
+| H1 | 大任务墙钟量级下降 | R4-L ≤150min 通过（269 的 56%）；≤100min 理想 | R4-L |
+| H2 | 机制真实生效（非纸面） | 以下 5 点 ≥3 中：a 波次并发（同波 ≥2 任务窗口重叠≥1 次）；b 无假红循环（同 gate 连续 FAIL≥3 计为循环）；c verify 批量补完（缺口单轮批补非逐条多轮）；d 审查请求钳 design≤12/plan≤10/QA≤15；e plan 零卡片填充子代理 | R4-L |
+| H3 | 提示词级修复可靠性 | H2-d 不达标 ⇒ 结论「四律被 agent 无视，需机制化」，列入后续工作项 | R4-L |
+| H4 | quick 资产尾 | R4-S-Q `--done` 后：`2026-09-20-r4-linked-parent` 被 lite-archive 且 FR/decisions 落盘 knowledge | R4-S-Q |
+| H5 | 小任务全流程提速 | R4-S-F ≤30min（39.5 降 ≥24%）且无假红循环 | R4-S-F |
+| H6 | 小任务轻通道对齐 | R4-S-Q ≤20min 且 --done 一次过 | R4-S-Q |
+
+**量级原则**：单跑噪声大，结论只对量级跳变负责，不对 ±20% 负责；机制点（二进制可判）优先于墙钟均值。
+
+## 已知混杂（事先声明，防事后找补）
+
+1. 269min 对照会话**已确证为 Fork 续跑**（db 标题「新版 Fork of …」实证）——fork 继承胖上下文是第 2 轮实证的最大 token 混杂源，对照臂墙钟天然偏悲观；若 R4-L 大幅优于对照，墙钟结论保守表述，机制点为主证据。
+2. brief 用归档 proposal 而非用户原始口语 prompt（信息量等价，措辞不同）。
+3. 小任务基线含 redlines.yaml、大任务基线不含——各自忠实重放第 3 轮当侧条件，非失衡。
+4. R4-S-Q 的 linked-parent 为手放 fixture（H4 机制验证用）；其 requirements 为 3 条精简版，不超 proposal 已有信息。
+5. R4-S-Q 钉 quick、R4-S-F 钉全流程——通道是实验变量，不是 agent 自选（路由行为不在本轮假设里）。
+
+## 采集
+
+- **R4 会话必须在本地 zcode 新建**（标题带 `R4-` 前缀）——本地 db 才能归账；第 3 轮小任务会话在平台服务器侧、本地 db 无痕，勿重蹈。若某跑必须在平台服务器执行，usage 从平台会话回放页读（回放功能已上线，正好自举）。
+- **zcode db**（`round4/account.mjs`）：按标题 `R4-` 定位主会话，`parent_id` 递归滚子会话；requests / tokens / model-time 汇总。`started_at` 一律数值 epoch-ms 比较（第 2/3 轮各踩过一次字符串比较静默错坑；`session.time_created` 同为数值 ms，本日已复核）。
+- **transcript**：`analyze-transcript.cjs` 命令级重复/慢命令。
+- **平台侧**：progress db 阶段时间戳、write-audit.jsonl。
+- **机制点人工判**：波次并发=同波两任务执行窗口重叠；假红=gate FAIL 计数；审查钳=review 子会话请求数；批量补完=verify 轮次与补丁粒度。
+
+## 执行顺序
+
+R4-L 先开（主战场）；R4-S-F / R4-S-Q 可与其并行（不同工作树互不干扰）。全部终态（archive / --done 落账）后叫核算。

package/round4/prompt-R4-L.md

@@ -0,0 +1,63 @@
+【R4 对照实验·受试会话 R4-L：session-replay 大任务·sillyspec 全流程】
+
+你是独立执行会话。请在指定工作树里，用 sillyspec（npm 全局 3.29.4）按完整流程完成下述变更，走完到归档。
+
+## 工作树与身份（第 0 步必做，进 transcript 作证）
+
+```
+cd C:\Users\qinyi\IdeaProjects\multi-agent-platform\.sillyspec\.runtime\worktrees\2026-09-20-r4-session-replay
+export SILLYSPEC_SESSION_ID=r4-large
+sillyspec --version    # 必须输出 3.29.4，不符立即停止并报告
+```
+
+变更名：`2026-09-20-r4-session-replay`（brainstorm 建卡时用此名）。
+流程：完整 `brainstorm → plan → execute → verify → archive`（实验钉死全流程，勿降级 quick）。
+
+## 防作弊铁律（违反即实验作废，比任务本身更重要）
+
+1. **禁止从 git 对象库捞未来提交**：本任务此前已被实现过，对象库里存在答案提交（main / replay-redo 等分支上）。不得 `git log --all`、不得看 main/replay-redo/任何其他分支、不得 cherry-pick / checkout / diff 其他分支的提交。只在本工作树分支（sillyspec/2026-09-20-r4-session-replay，基于 53c67e02a）上工作。
+2. **禁止读平台主仓工作区**（`C:\Users\qinyi\IdeaProjects\multi-agent-platform` 本体）与任何兄弟目录（*-openspec* / *-replay-redo* / .sillyspec/.runtime/worktrees/ 下非本目录）。
+3. **禁止改 sillyspec 工具本身**（~\IdeaProjects\sillyspec 源码仓、npm 全局安装、node_modules 里的 sillyspec）。
+4. 只在本工作树分支提交，**不 push**。
+5. 工具流程正常注入的知识/文档可用（本基线时点它们不含本任务答案）。
+
+## 任务简报（verbatim）
+
+# 提案书（Proposal）— tool_report 会话回放
+
+## 动机
+
+SillySpec CLI 自动上报创建的会话（origin=tool_report 且未继续过对话）打开后看到的是**日志元数据卡列表**，不是用户预期的会话内容。用户明确要求：「应该直接按 会话样式展示，只是数据来源不一样而已」「token 信息也要能获取到」「不光 zcode 其他 agent 也要核对能正确获取与正确显示」。
+
+## 关键问题
+
+1. **形态错位**：对话内容藏在每条日志卡的「查看内容」320px 嵌套小窗里，主对话被埋在元数据与子代理日志中间（实证会话 137ddfff：1 主日志 + 5 条子代理日志），没有「会话」的样子。
+2. **内容错位**：自主运行日志的 user 角色消息多为系统注入（task-notification），现渲染当用户气泡处理，直接「内容不对」；轮次边界（zcode turnId）与 token 用量（response.usage 五项）都在日志里但解析层全部丢弃。
+3. **harness 覆盖断层**：claude-code 格式规整且含 usage 但无解析器（只能看原文）；cursor-agent transcript 干净可解析但整条上报链路缺失；cursor IDE 二进制格式点开是 409 死胡同。
+
+## 变更范围
+
+- 前端：回放主体组件 AgentReplayBody（适配器 → TurnTimeline 真组件复用）、系统事件中性行、工作会话折叠条、不可用三态、token 徽标与累计显示。
+- daemon：NormalizedLogMessage 扩展（usage/turnId/model/durationMs/sender）+ zcode 补字段 + 新增 claude-code、cursor-agent 两个解析器 + RPC totalUsage。
+- backend：messages 端点 schema 可选新字段透传 + gen:types（零表结构改动）。
+- docs：cursor-agent 上报链路跨仓跟进记录。
+
+## 不在范围内（显式清单）
+
+- 不做解析产物落库（L3 持久化，单独决策）
+- 不做 cursor-agent 作为 provider 接入（运行时 token 捕获，另行立项）
+- 不做 cursor IDE store.db 对话化（blob 库 + 无 token）
+- 不动已激活 tool_report 会话路径与 chat 会话
+- 不改 sillyspec 仓（cursor-agent 扫描上报仅记录跨仓跟进）
+
+## 成功标准（可验证）
+
+- 打开纯 tool_report 会话：主体即会话时间线（对话/全部视图可用），主日志为正文、子代理在「工作会话」折叠条，系统事件显示为中性行非用户气泡。
+- zcode/claude-code 回放可见每轮 token（输入/输出/上下文）与会话累计；数据源无 token（cursor-agent）时显示「未知」。
+- 老 daemon / 机器离线 / 格式不支持 / 文件缺失时回退到显式中文提示，不弹错框。
+- 全量既有测试不受影响（activated 路径、查看内容语义、上报/归属链路零改动）。
+
+## 终态自查（完成后在报告里给出）
+
+- `sillyspec progress show --change 2026-09-20-r4-session-replay` 输出
+- 各阶段大致起止时间（brainstorm/plan/execute 各任务/verify/archive）

package/round4/prompt-R4-O-L.md

@@ -0,0 +1,59 @@
+【R4 对照实验·受试会话 R4-O-L：session-replay 大任务·OpenSpec】
+
+你是独立执行会话。请在指定工作树里，用 OpenSpec（CLI 1.13.1）走你的标准流程完成下述变更，走完到 archive。
+
+## 工作树与身份（第 0 步必做，进 transcript 作证）
+
+cd C:\Users\qinyi\IdeaProjects\multi-agent-platform\.sillyspec\.runtime\worktrees\2026-09-20-r4-openspec-large
+openspec --version    # 必须输出 1.13.1，不符立即停止并报告
+
+工作树里若无 openspec/ 目录，先 `openspec init` 再开始。流程走完整：proposal（delta 规格）→ apply（实现+测试）→ archive（合入活规格库）。
+
+## 防作弊铁律（违反即实验作废，比任务本身更重要）
+
+1. **禁止从 git 对象库捞未来提交**：本任务此前已被实现过（main 上 4c628adaa 等、openspec/tool-report-session-replay 分支上 d7112d7f8/71219e1f9）。不得 `git log --all`、不得看 main / 任何其他分支、不得 cherry-pick / checkout / diff 其他分支的提交。只在本工作树分支（openspec/r4-session-replay，基于 53c67e02a）上工作。
+2. **禁止读平台主仓工作区**（`C:\Users\qinyi\IdeaProjects\multi-agent-platform` 本体）与任何兄弟目录——特别是 `.sillyspec/.runtime/worktrees/` 下的 2026-09-20-r4-session-replay（sillyspec 侧受试会话正在进行，读了即双向污染）与 2026-09-20-r4-openspec-small。
+3. **禁止改 OpenSpec 与 sillyspec 工具本身**（npm 全局安装、~\IdeaProjects\sillyspec 源码仓）。
+4. 只在本工作树分支提交，**不 push**。
+5. 工作树里的 `.sillyspec/` 目录是另一工具的存量数据，与本任务无关，不要读不要动。
+
+## 任务简报（verbatim）
+
+# 提案书（Proposal）— tool_report 会话回放
+
+## 动机
+
+SillySpec CLI 自动上报创建的会话（origin=tool_report 且未继续过对话）打开后看到的是**日志元数据卡列表**，不是用户预期的会话内容。用户明确要求：「应该直接按 会话样式展示，只是数据来源不一样而已」「token 信息也要能获取到」「不光 zcode 其他 agent 也要核对能正确获取与正确显示」。
+
+## 关键问题
+
+1. **形态错位**：对话内容藏在每条日志卡的「查看内容」320px 嵌套小窗里，主对话被埋在元数据与子代理日志中间（实证会话 137ddfff：1 主日志 + 5 条子代理日志），没有「会话」的样子。
+2. **内容错位**：自主运行日志的 user 角色消息多为系统注入（task-notification），现渲染当用户气泡处理，直接「内容不对」；轮次边界（zcode turnId）与 token 用量（response.usage 五项）都在日志里但解析层全部丢弃。
+3. **harness 覆盖断层**：claude-code 格式规整且含 usage 但无解析器（只能看原文）；cursor-agent transcript 干净可解析但整条上报链路缺失；cursor IDE 二进制格式点开是 409 死胡同。
+
+## 变更范围
+
+- 前端：回放主体组件 AgentReplayBody（适配器 → TurnTimeline 真组件复用）、系统事件中性行、工作会话折叠条、不可用三态、token 徽标与累计显示。
+- daemon：NormalizedLogMessage 扩展（usage/turnId/model/durationMs/sender）+ zcode 补字段 + 新增 claude-code、cursor-agent 两个解析器 + RPC totalUsage。
+- backend：messages 端点 schema 可选新字段透传 + gen:types（零表结构改动）。
+- docs：cursor-agent 上报链路跨仓跟进记录。
+
+## 不在范围内（显式清单）
+
+- 不做解析产物落库（L3 持久化，单独决策）
+- 不做 cursor-agent 作为 provider 接入（运行时 token 捕获，另行立项）
+- 不做 cursor IDE store.db 对话化（blob 库 + 无 token）
+- 不动已激活 tool_report 会话路径与 chat 会话
+- 不改 sillyspec 仓（cursor-agent 扫描上报仅记录跨仓跟进）
+
+## 成功标准（可验证）
+
+- 打开纯 tool_report 会话：主体即会话时间线（对话/全部视图可用），主日志为正文、子代理在「工作会话」折叠条，系统事件显示为中性行非用户气泡。
+- zcode/claude-code 回放可见每轮 token（输入/输出/上下文）与会话累计；数据源无 token（cursor-agent）时显示「未知」。
+- 老 daemon / 机器离线 / 格式不支持 / 文件缺失时回退到显式中文提示，不弹错框。
+- 全量既有测试不受影响（activated 路径、查看内容语义、上报/归属链路零改动）。
+
+## 终态自查（完成后在报告里给出）
+
+- openspec archive 后的规格库状态（list）
+- 各阶段大致起止时间（proposal / apply / archive）

package/round4/prompt-R4-O-S.md

@@ -0,0 +1,56 @@
+【R4 对照实验·受试会话 R4-O-S：autocompact 小任务·OpenSpec】
+
+你是独立执行会话。请在指定工作树里，用 OpenSpec（CLI 1.13.1）走你的标准流程完成下述变更，走完到 archive。
+
+## 工作树与身份（第 0 步必做，进 transcript 作证）
+
+cd C:\Users\qinyi\IdeaProjects\multi-agent-platform\.sillyspec\.runtime\worktrees\2026-09-20-r4-openspec-small
+openspec --version    # 必须输出 1.13.1，不符立即停止并报告
+
+工作树里若无 openspec/ 目录，先 `openspec init` 再开始。流程走完整：proposal（delta 规格）→ apply（实现+测试）→ archive（合入活规格库）。
+
+## 防作弊铁律（违反即实验作废，比任务本身更重要）
+
+1. **禁止从 git 对象库捞未来提交**：本任务此前已被实现过（main 上 2026-09-19 之后的提交、openspec/autocompact-config 分支上也有）。不得 `git log --all`、不得看 main / 任何其他分支、不得 cherry-pick / checkout / diff 其他分支的提交。只在本工作树分支（openspec/r4-autocompact，基于 50736b6ef）上工作。
+2. **禁止读平台主仓工作区**（`C:\Users\qinyi\IdeaProjects\multi-agent-platform` 本体）与任何兄弟目录——特别是 `.sillyspec/.runtime/worktrees/` 下的 2026-09-20-r4-autocompact-full / -quick / -session-replay（sillyspec 侧受试会话正在进行，读了即双向污染）与 2026-09-20-r4-openspec-large。
+3. **禁止改 OpenSpec 与 sillyspec 工具本身**（npm 全局安装、~\IdeaProjects\sillyspec 源码仓）。
+4. 只在本工作树分支提交，**不 push**。
+5. 工作树里的 `.sillyspec/` 目录是另一工具的存量数据，与本任务无关，不要读不要动。
+
+## 任务简报（verbatim）
+
+# 提案书（Proposal）— claude 引擎 autocompact 配置（provider 级）
+
+## 动机
+
+claude 引擎长会话在 ~160K tokens 触发引擎自动压缩（默认 believed limit 200K × ~80% 设计点），生产会话（6e213eb3，113 轮）频繁被压。平台无干预手段，用户希望按 provider 配置压缩行为（更晚压缩/关闭/预计算）。
+
+## 关键问题
+
+1. 平台管道已有 `settings_config → lease 透传 → claude-settings 白名单 → settings.json` 机制（attribution 等键先例），但白名单不含任何 autocompact 键——配置写了也不生效。
+2. 前端 provider 表单无 autocompact 入口，用户只能手改数据库 JSON。
+3. window 配置超过模型实际窗口会撞硬限报错而非压缩——需要风险提示承载（用户自担的配置面）。
+
+## 变更范围
+
+- daemon：claude-settings.ts 白名单加三键（值守护：window 正整数/两开关布尔）。
+- 前端：llm-provider-form claude 分支「引擎自动压缩」区（三键 + 风险提示）。
+- 文档：daemon.md 增量段。
+
+## 不在范围内（显式清单）
+
+- profile 级配置（D-001 否决）
+- pi/codex 引擎压缩配置
+- 阈值比例可配（SDK 无可写项）
+
+## 成功标准（可验证）
+
+- settings_config 配 `{"autoCompactWindow": 230000}` 的 claude provider 会话，daemon spawn 后 `$CLAUDE_CONFIG_DIR/settings.json` 含该键（单测断言）
+- 三键值守护：window=0/负数/非整数、开关非布尔 → 不写入（单测）
+- 前端表单 claude 分支渲染三键控件并正确提交进 settings_config；非 claude 不渲染（组件测试）
+- 既有 attribution/env 白名单行为零回归（既有用例全绿）
+
+## 终态自查（完成后在报告里给出）
+
+- openspec archive 后的规格库状态（list）
+- 各阶段大致起止时间（proposal / apply / archive）

package/round4/prompt-R4-S-F.md

@@ -0,0 +1,60 @@
+【R4 对照实验·受试会话 R4-S-F：autocompact 小任务·sillyspec 全流程】
+
+你是独立执行会话。请在指定工作树里，用 sillyspec（npm 全局 3.29.4）按完整流程完成下述变更，走完到归档。
+
+## 工作树与身份（第 0 步必做，进 transcript 作证）
+
+```
+cd C:\Users\qinyi\IdeaProjects\multi-agent-platform\.sillyspec\.runtime\worktrees\2026-09-20-r4-autocompact-full
+export SILLYSPEC_SESSION_ID=r4-small-full
+sillyspec --version    # 必须输出 3.29.4，不符立即停止并报告
+```
+
+变更名：`2026-09-20-r4-autocompact-full`（brainstorm 建卡时用此名）。
+流程：完整 `brainstorm → plan → execute → verify → archive`（实验钉死全流程——虽然此规模按 AGENTS.md 第 6 条可走 quick，但本跑测的就是全流程通道，勿改道）。
+
+## 防作弊铁律（违反即实验作废，比任务本身更重要）
+
+1. **禁止从 git 对象库捞未来提交**：本任务此前已被实现过（main 上 2026-09-19 之后的提交）。不得 `git log --all`、不得看 main / 任何其他分支、不得 cherry-pick / checkout / diff 其他分支的提交。只在本工作树分支（sillyspec/2026-09-20-r4-autocompact-full，基于 50736b6ef）上工作。
+2. **禁止读平台主仓工作区**（`C:\Users\qinyi\IdeaProjects\multi-agent-platform` 本体）与任何兄弟目录（*-openspec* / .sillyspec/.runtime/worktrees/ 下非本目录——特别是 2026-09-20-r4-autocompact-quick 与 2026-09-20-r4-session-replay）。
+3. **禁止改 sillyspec 工具本身**（~\IdeaProjects\sillyspec 源码仓、npm 全局安装、node_modules 里的 sillyspec）。
+4. 只在本工作树分支提交，**不 push**。
+5. 工具流程正常注入的知识/文档可用（本基线时点它们不含本任务答案）。
+
+## 任务简报（verbatim）
+
+# 提案书（Proposal）— claude 引擎 autocompact 配置（provider 级）
+
+## 动机
+
+claude 引擎长会话在 ~160K tokens 触发引擎自动压缩（默认 believed limit 200K × ~80% 设计点），生产会话（6e213eb3，113 轮）频繁被压。平台无干预手段，用户希望按 provider 配置压缩行为（更晚压缩/关闭/预计算）。
+
+## 关键问题
+
+1. 平台管道已有 `settings_config → lease 透传 → claude-settings 白名单 → settings.json` 机制（attribution 等键先例），但白名单不含任何 autocompact 键——配置写了也不生效。
+2. 前端 provider 表单无 autocompact 入口，用户只能手改数据库 JSON。
+3. window 配置超过模型实际窗口会撞硬限报错而非压缩——需要风险提示承载（用户自担的配置面）。
+
+## 变更范围
+
+- daemon：claude-settings.ts 白名单加三键（值守护：window 正整数/两开关布尔）。
+- 前端：llm-provider-form claude 分支「引擎自动压缩」区（三键 + 风险提示）。
+- 文档：daemon.md 增量段。
+
+## 不在范围内（显式清单）
+
+- profile 级配置（D-001 否决）
+- pi/codex 引擎压缩配置
+- 阈值比例可配（SDK 无可写项）
+
+## 成功标准（可验证）
+
+- settings_config 配 `{"autoCompactWindow": 230000}` 的 claude provider 会话，daemon spawn 后 `$CLAUDE_CONFIG_DIR/settings.json` 含该键（单测断言）
+- 三键值守护：window=0/负数/非整数、开关非布尔 → 不写入（单测）
+- 前端表单 claude 分支渲染三键控件并正确提交进 settings_config；非 claude 不渲染（组件测试）
+- 既有 attribution/env 白名单行为零回归（既有用例全绿）
+
+## 终态自查（完成后在报告里给出）
+
+- `sillyspec progress show --change 2026-09-20-r4-autocompact-full` 输出
+- 各阶段大致起止时间

package/round4/prompt-R4-S-Q.md

@@ -0,0 +1,66 @@
+【R4 对照实验·受试会话 R4-S-Q：autocompact 小任务·sillyspec quick 通道】
+
+你是独立执行会话。请在指定工作树里，用 sillyspec（npm 全局 3.29.4）走 **quick 流程**完成下述变更，走完到 `--done` 落账。
+
+## 工作树与身份（第 0 步必做，进 transcript 作证）
+
+```
+cd C:\Users\qinyi\IdeaProjects\multi-agent-platform\.sillyspec\.runtime\worktrees\2026-09-20-r4-autocompact-quick
+export SILLYSPEC_SESSION_ID=r4-small-quick
+sillyspec --version    # 必须输出 3.29.4，不符立即停止并报告
+```
+
+流程：`sillyspec run quick`（启动必带 `--input` 标题；实验钉死 quick 通道——虽然此任务也可走全流程，但本跑测的就是轻通道，勿改道）。
+
+## 防作弊铁律（违反即实验作废，比任务本身更重要）
+
+1. **禁止从 git 对象库捞未来提交**：本任务此前已被实现过（main 上 2026-09-19 之后的提交）。不得 `git log --all`、不得看 main / 任何其他分支、不得 cherry-pick / checkout / diff 其他分支的提交。只在本工作树分支（sillyspec/2026-09-20-r4-autocompact-quick，基于 50736b6ef）上工作。
+2. **禁止读平台主仓工作区**（`C:\Users\qinyi\IdeaProjects\multi-agent-platform` 本体）与任何兄弟目录（*-openspec* / .sillyspec/.runtime/worktrees/ 下非本目录——特别是 2026-09-20-r4-autocompact-full 与 2026-09-20-r4-session-replay）。
+3. **禁止改 sillyspec 工具本身**（~\IdeaProjects\sillyspec 源码仓、npm 全局安装、node_modules 里的 sillyspec）。
+4. 只在本工作树分支提交，**不 push**。
+5. 工具流程正常注入的知识/文档可用（本基线时点它们不含本任务答案）。
+
+## 任务简报（verbatim）
+
+# 提案书（Proposal）— claude 引擎 autocompact 配置（provider 级）
+
+## 动机
+
+claude 引擎长会话在 ~160K tokens 触发引擎自动压缩（默认 believed limit 200K × ~80% 设计点），生产会话（6e213eb3，113 轮）频繁被压。平台无干预手段，用户希望按 provider 配置压缩行为（更晚压缩/关闭/预计算）。
+
+## 关键问题
+
+1. 平台管道已有 `settings_config → lease 透传 → claude-settings 白名单 → settings.json` 机制（attribution 等键先例），但白名单不含任何 autocompact 键——配置写了也不生效。
+2. 前端 provider 表单无 autocompact 入口，用户只能手改数据库 JSON。
+3. window 配置超过模型实际窗口会撞硬限报错而非压缩——需要风险提示承载（用户自担的配置面）。
+
+## 变更范围
+
+- daemon：claude-settings.ts 白名单加三键（值守护：window 正整数/两开关布尔）。
+- 前端：llm-provider-form claude 分支「引擎自动压缩」区（三键 + 风险提示）。
+- 文档：daemon.md 增量段。
+
+## 不在范围内（显式清单）
+
+- profile 级配置（D-001 否决）
+- pi/codex 引擎压缩配置
+- 阈值比例可配（SDK 无可写项）
+
+## 成功标准（可验证）
+
+- settings_config 配 `{"autoCompactWindow": 230000}` 的 claude provider 会话，daemon spawn 后 `$CLAUDE_CONFIG_DIR/settings.json` 含该键（单测断言）
+- 三键值守护：window=0/负数/非整数、开关非布尔 → 不写入（单测）
+- 前端表单 claude 分支渲染三键控件并正确提交进 settings_config；非 claude 不渲染（组件测试）
+- 既有 attribution/env 白名单行为零回归（既有用例全绿）
+
+## quick 收尾要求（本跑的机制观测点，务必照做）
+
+- `--done` 用四参数结构化落盘：`--req/--cause/--solution/--result`。
+- `--done` 时带 `--linked-changes 2026-09-20-r4-linked-parent`（工作树 `.sillyspec/changes/` 下已放置该关联变更目录，模拟「quick 修补关联既有正式变更」场景；资产尾会对其做提炼/lite 归档，属正常预期行为，不要手动动它）。
+- 触及文件的注记走 `--file-notes`。
+
+## 终态自查（完成后在报告里给出）
+
+- quick 终态输出（QUICKLOG 条目）
+- 是否观察到关联变更被提炼/轻归档的控制台输出（原文摘录）
+- 大致起止时间