sillyspec 3.29.4 → 3.31.0

package/packages/dashboard/server/parser.js

@@ -130,13 +130,13 @@ export function parseProjectOverview(projectPath) {
 
   // --- Git info ---
   try {
-    result.git.lastCommit = execSync('git log -1 --format=%s', { cwd: projectPath, encoding: 'utf-8' }).trim()
+    result.git.lastCommit = execSync('git log -1 --format=%s', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim()
   } catch {}
   try {
-    result.git.branch = execSync('git branch --show-current', { cwd: projectPath, encoding: 'utf-8' }).trim()
+    result.git.branch = execSync('git branch --show-current', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim()
   } catch {}
   try {
-    result.git.dirtyCount = parseInt(execSync('git status --porcelain', { cwd: projectPath, encoding: 'utf-8' }).trim().split('\n').filter(Boolean).length, 10) || 0
+    result.git.dirtyCount = parseInt(execSync('git status --porcelain', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim().split('\n').filter(Boolean).length, 10) || 0
   } catch {}
 
   return result
@@ -145,17 +145,17 @@ export function parseProjectOverview(projectPath) {
 export function parseGitDetail(projectPath) {
   const result = { branch: '', commits: [], untracked: [] }
   try {
-    result.branch = execSync('git branch --show-current', { cwd: projectPath, encoding: 'utf-8' }).trim()
+    result.branch = execSync('git branch --show-current', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim()
   } catch {}
   try {
-    const log = execSync('git log -5 --format=%h|%s|%an|%aI', { cwd: projectPath, encoding: 'utf-8' }).trim()
+    const log = execSync('git log -5 --format=%h|%s|%an|%aI', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim()
     result.commits = log.split('\n').filter(Boolean).map(line => {
       const [hash, message, author, date] = line.split('|')
       return { hash, message, author, date }
     })
   } catch {}
   try {
-    const status = execSync('git status --porcelain', { cwd: projectPath, encoding: 'utf-8' }).trim()
+    const status = execSync('git status --porcelain', { cwd: projectPath, encoding: 'utf-8', windowsHide: true }).trim()
     result.untracked = status.split('\n').filter(Boolean).map(line => ({
       status: line.slice(0, 2).trim(),
       file: line.slice(3)
@@ -453,7 +453,7 @@ export function parseProjectState(projectPath) {
   // Use CLI to read current stage from SQLite
   try {
     const output = execSync('sillyspec progress show 2>/dev/null', {
-      cwd: projectPath, encoding: 'utf-8', timeout: 5000
+      cwd: projectPath, encoding: 'utf-8', timeout: 5000, windowsHide: true
     })
     const stageMatch = output.match(/当前阶段:\s*(\S+)/)
     if (stageMatch) currentStage = stageMatch[1]

package/r7-test-env/README-R7-TEST.md

@@ -0,0 +1,93 @@
+# R7 测试环境说明书（sillyspec 2-调用协议 · watcher · 机器起草 · 编辑距离路由）
+
+> 环境组成：`sillyspec-r7.cmd`（wrapper，直跑主仓检出——**不动全局 3.29.6，不影响并行会话**）
+> + `demo-project/`（ESM 小项目：lib/calc.js + test.js，测试命令 `node test.js`，已基线提交）。
+> 全部命令在 `demo-project/` 目录内执行；Git Bash 里用 `cmd //c ..\sillyspec-r7.cmd ...` 或直接
+> `node C:\Users\qinyi\IdeaProjects\sillyspec\src\index.js ...`。
+
+## 场景 A · 薄跑道 happy path（协议必需调用=2）
+
+```
+..\sillyspec-r7.cmd flow start --change my-first-thin --input "给 calc 加乘法。成功标准：
+- mul(2,3)=6 有测试
+- 既有 add 测试不回归"
+```
+看点：输出「协议调用 1/2」+材料路径清单；`.sillyspec/changes/my-first-thin/` 自动落
+proposal/requirements/tasks 三件**机器稿**（MACHINE-DRAFT sha256 指纹标记+`<!--AGENT:槽-->`）
++flow-state.yaml；watcher 同步拉起。
+
+干活（正常开发）：改 `lib/calc.js` 加 `export function mul(a,b){return a*b}`、test.js 补
+`assert.equal(mul(2,3),6)`，然后 **git add -A && git commit -m "feat: mul"**（先提交——
+门禁快照以 HEAD+会话文件为基，含新文件的未提交态在快照内可能缺 package.json 类配置）。
+
+```
+..\sillyspec-r7.cmd flow done --change my-first-thin
+```
+看点：六子步逐个 done、测试门真跑 `node test.js`、末行「flow done 完成（2/2 协议调用收口）」
+exit 0；change 目录移入 `changes/archive/`。**全程只有这 2 次协议调用。**
+
+## 场景 B · watcher 观测（事件与协议解耦）
+
+另开一个终端：
+```
+powershell -NoProfile -Command "Get-Content -Wait .sillyspec\.runtime\watcher-events-my-first-thin.jsonl"
+```
+事件三类源：产物签名（proposal.md 出现/变更、任务卡 checkbox 翻格）/git 提交（HEAD 前进）/
+工件（质量扫描记录、archived 终态）。每行恒带 `"provisional":true`——平台只展示不判定。
+墙钟拆账：`.sillyspec/.runtime/watcher-stage-timing-my-first-thin.json`。
+已知边界：flow done 的 events 收口行读文件时 watcher 可能差一拍（3s 轮询）——收口显示
+「无事件文件」但事后文件在，属观测旁路 best-effort 语义。
+
+## 场景 C · 机器稿篡改拒收（验收侧守卫）
+
+新开 change 后，直接编辑 proposal.md 里机器段正文（改「任务原话转写」几个字）→
+`flow done` → **三态拒收**：内容哈希失配 exit 1（不归档）。删掉整段 MACHINE-DRAFT 标记再试
+→ 标记缺失拒收。AGENT 槽（`<!--AGENT:槽N` 注释行下方）随便写 → 放行。
+
+## 场景 D · amend 留痕通道 + 编辑距离路由
+
+改机器段正文后不走 flow done，走：
+```
+..\sillyspec-r7.cmd flow amend-draft --change X
+```
+看点：重锚+ledger amendment 审计+**editRatio**（首版原文为基准，改写过半 → `route_hint: thick`
+提示——advisory 定案：测绿仍可薄过）。之后 `flow done` 正常收口，末尾醒目打印 route_hint，
+遥测落 `.sillyspec/.runtime/flow-telemetry.jsonl`（protocolCalls=2/editRatio/routeHint）。
+
+## 场景 E · 失败升厚 + 断点重入（fail-closed 三句）
+
+把 test.js 改坏（如断言 add(1,2)=4）→ `flow done`：
+- 实测失败=**整单 FAIL exit≠0**，不继续 distill/归档
+- 自动升厚 `tier: thick` + upgrade_reason 落 flow-state（born_face=thin 保归档不死锁）
+- 修好 test.js 再跑同一条 `flow done` → 已完成子步 `artifacts(skip)` 幂等跳过，断点续到归档
+
+## 场景 F · legacy 一行回滚
+
+`.sillyspec/local.yaml` 末尾加：
+```
+flow:
+  mode: legacy
+```
+`flow start` → 拒跑 exit 2 指路 `run <stage>`（既有全流程逐字不动）；删掉这三行即回 thin。
+
+## 场景 G · 恢复简报
+
+干活干一半（有 dirty 文件未提交）时再跑 `flow start --change X` → 输出恢复简报：
+任务勾选/提交数/dirty 数/P2 记录/六子步标记 → 做到哪、剩什么、下一步。
+
+## 速查
+
+| 目的 | 命令/文件 |
+|---|---|
+| 事件流 | `.sillyspec/.runtime/watcher-events-<change>.jsonl` |
+| 墙钟拆账 | `.sillyspec/.runtime/watcher-stage-timing-<change>.json` |
+| watcher 日志/锁 | `.sillyspec/.runtime/watcher.log` / `watcher.lock`（心跳租约 30s） |
+| 机器稿台账 | `.sillyspec/.runtime/draft-ledger-<change>.json`（首版原文永存） |
+| 协议遥测 | `.sillyspec/.runtime/flow-telemetry.jsonl` |
+| flow 状态 | `.sillyspec/changes/<X>/flow-state.yaml`（tier/born_face/baseline_commit/子步标记） |
+| 关 watcher | env `SILLYSPEC_WATCHER=0`（测试自救阀；自灭三闸：归档即退/git 仓蒸发退/12h 硬帽） |
+| 重置 demo | `git reset --hard 7cc3615 && rm -rf .sillyspec/.runtime .sillyspec/changes` |
+
+显式档：`flow start --thick`（起始即厚档）/ `--with-tasks`（薄协议+生成任务卡，中间自愿
+task done，收尾仍 flow done）。混跑回退：thin change 上跑 `run <stage>` → flow-state 落
+legacy_fallback，flow done 拒裁并指路厚档。

package/r7-test-env/demo-project/lib/calc.js

@@ -0,0 +1,6 @@
+export function add(a, b) { return a + b }
+export function sub(a, b) { return a - b }
+export function div(a, b) {
+  if (b === 0) throw new Error('div by zero')
+  return a / b
+}

package/r7-test-env/demo-project/package.json

@@ -0,0 +1 @@
+{"type":"module","name":"r7-demo","version":"1.0.0"}

package/r7-test-env/demo-project/test.js

@@ -0,0 +1,10 @@
+import assert from 'node:assert/strict'
+import { add, sub, div } from './lib/calc.js'
+assert.equal(add(1, 2), 3)
+console.log('test ok: add(1,2)=3')
+assert.equal(sub(5, 3), 2)
+console.log('test ok: sub(5,3)=2')
+assert.equal(div(6, 3), 2)
+console.log('test ok: div(6,3)=2')
+assert.throws(() => div(1, 0), { message: 'div by zero' })
+console.log('test ok: div(1,0) throws div by zero')

package/r7-test-env/prompt-R7-SMOKE.md

@@ -0,0 +1,41 @@
+# R7 薄跑烟测提示词（贴给一个全新 agent 会话；30min 级小任务）
+
+你是一个开发会话，任务：在下面的演示项目里完成一个小功能。本项目接入了一套新的
+「2-调用」开发协议（flow），你是它的第一批真实用户——按协议干活即可，协议没让你做的事
+就不要做。
+
+【环境】
+- 工作目录：C:\Users\qinyi\IdeaProjects\sillyspec\r7-test-env\demo-project（所有命令在此执行）
+- CLI 入口（R7 版）：cmd //c ..\sillyspec-r7.cmd <命令...>
+  （Git Bash 形态；PowerShell/cmd 形态：..\sillyspec-r7.cmd <命令...>）
+- 会话标识：先执行 export SILLYSPEC_SESSION_ID=r7-smoke-1
+- 项目现状：lib/calc.js 有 add；test.js 用断言风格测试；测试命令 node test.js
+
+【任务】
+给 calc 库增加两个函数并配套测试：
+1. sub(a,b) 减法——成功标准：sub(5,3)=2 有测试
+2. div(a,b) 除法，除零抛 Error('div by zero')——成功标准：div(6,3)=2 与除零抛错都有测试
+既有 add 测试不得回归。
+
+【协议契约——只有 2 次协议调用】
+1. 第一次：cmd //c ..\sillyspec-r7.cmd flow start --change r7-smoke-add-sub-div --input "<把上面任务原话贴进去>"
+   ——它会告诉你材料在哪、怎么干活。治理文档（提案/需求/任务清单）由 CLI 自动起草，你不要手写。
+2. 中间：正常开发。改代码、写测试、git 提交（git add -A && git commit -m "..."）。
+   不要跑任何 sillyspec run <stage> 命令；progress show 等只读命令也不必用——保持最小。
+   如果你觉得自动起草的文档里机器写的部分说错了，唯一合法修改通道是 flow amend-draft
+   （命令形态在上面输出里找）；不想改就直接忽略，不影响验收。
+3. 第二次：干完并提交后 cmd //c ..\sillyspec-r7.cmd flow done --change r7-smoke-add-sub-div
+   ——它是唯一裁决点：会真跑测试，失败会整单 FAIL（修好重跑同一条命令即可，断点自动续）。
+
+【边界】
+- 全程协议类调用只许上述 2 次（这是被测量的数字）。
+- 不要读 sillyspec 的源码或它的变更文档（.sillyspec/changes/archive/**）——你是用户不是评审。
+- .sillyspec/ 目录里不要手写任何文件（这也是被测量的面）。
+- 测试必须真实通过；node test.js 自己先跑绿再 flow done。
+
+【完成后汇报（务必按此格式，这是测试数据）】
+1. 协议调用清单：每条 sillyspec 命令原文+次数
+2. .sillyspec 写入清单：你亲手写过的文件（应为零；若用了 amend-draft 如实列出）
+3. 摩擦记录：协议该给你而没给的信息/你想做但被拦的事，逐条列（没有写「无」）
+4. flow done 是否一次通过；若失败过，失败原因与重入体验
+5. 一句话：这个流程 compared 于你平时用的开发流程，最不习惯的一点是什么

package/r7-test-env/sillyspec-r7.cmd

@@ -0,0 +1,3 @@
+@echo off
+rem R7 test build of sillyspec - runs repo checkout directly (no global install, parallel sessions on 3.29.6 unaffected)
+node "C:\Users\qinyi\IdeaProjects\sillyspec\src\index.js" %*

package/round4/account.mjs

@@ -0,0 +1,98 @@
+#!/usr/bin/env node
+// R4 对照实验·核算脚本 —— zcode db 会话级 token/请求/时长归账
+// 用法：node account.mjs [--arm R4] [--title 关键词] [--since 2026-09-19]
+// 注意（第2/3轮各踩一次的坑）：model_usage.started_at / session.time_created 均按
+// 数值 epoch-ms 处理；若遇 ISO 字符串自动 Date.parse 兜底，绝不字符串比较。
+import { DatabaseSync } from 'node:sqlite';
+
+const DB = 'C:/Users/qinyi/.zcode/cli/db/db.sqlite';
+const args = process.argv.slice(2);
+const flag = (k) => { const i = args.indexOf(k); return i >= 0 ? args[i + 1] : null; };
+
+const toMs = (v) => {
+  if (v === null || v === undefined) return null;
+  if (typeof v === 'number') return v;
+  const s = String(v);
+  if (/^\d+$/.test(s)) return Number(s);
+  const p = Date.parse(s.includes('T') ? s : s.replace(' ', 'T') + '+08:00');
+  return Number.isNaN(p) ? null : p;
+};
+const fmtMin = (ms) => (ms == null ? '?' : (ms / 60000).toFixed(1) + 'min');
+const fmtTok = (t) => (t == null ? '?' : (t / 1e6).toFixed(2) + 'M');
+
+const db = new DatabaseSync(DB, { readOnly: true });
+
+// 1) 定位会话：标题关键词（可多个，逗号分隔），可加 --since YYYY-MM-DD 下限
+const titleKw = (flag('--title') ?? 'R4').split(',').map(s => s.trim()).filter(Boolean);
+const sinceRaw = flag('--since');
+const sinceMs = sinceRaw ? toMs(sinceRaw + 'T00:00:00+08:00') : null;
+
+const like = titleKw.map(() => 'title LIKE ?').join(' OR ');
+const rows = db.prepare(
+  `SELECT id, parent_id, title, time_created FROM session WHERE (${like}) ORDER BY time_created`
+).all(...titleKw.map(k => '%' + k + '%'));
+
+// 2) 每会话聚合（主会话 + 递归子会话），窗口=会话创建起 48h 防 spill
+//    v2（2026-09-21 R5 准备）：三分扩展——新鲜 input（=input−cache_read）、缓存读、输出，
+//    及账单当量两界（方案 v3.2 口径：新入 1× / 缓存 0.1× / 输出 3–5×，R5 验收判法依赖）
+const aggFor = (sid) => db.prepare(
+  `SELECT COUNT(*) req, SUM(computed_total_tokens) tok, SUM(input_tokens) itok, SUM(output_tokens) otok,
+          SUM(cache_read_input_tokens) cr,
+          SUM(duration_ms) dur, MIN(started_at) mn, MAX(started_at) mx, SUM(tool_call_count) tools
+   FROM model_usage WHERE session_id = ? AND started_at >= ?`
+);
+
+const results = [];
+for (const s of rows) {
+  const created = toMs(s.time_created);
+  const winStart = sinceMs != null ? Math.max(created ?? 0, sinceMs) : (created ?? 0);
+  const winEnd = winStart + 48 * 3600 * 1000;
+  // 递归滚子会话
+  const kids = db.prepare(
+    `WITH RECURSIVE tree(id, title) AS (SELECT id, title FROM session WHERE parent_id = ?
+      UNION ALL SELECT s.id, s.title FROM session s JOIN tree t ON s.parent_id = t.id)
+     SELECT id, title FROM tree`
+  ).all(s.id);
+  const self = aggFor(s.id).get(winStart > 0 ? winStart : 0);
+  // 请求窗口上界也钳（started_at < winEnd）
+  const inWin = (r) => { const a = db.prepare(
+    `SELECT COUNT(*) req, SUM(computed_total_tokens) tok, SUM(duration_ms) dur,
+            SUM(input_tokens) itok, SUM(output_tokens) otok, SUM(cache_read_input_tokens) cr
+     FROM model_usage
+     WHERE session_id = ? AND started_at >= ? AND started_at < ?`
+  ).get(r, winStart, winEnd); return a; };
+  const mainAgg = inWin(s.id);
+  let kidReq = 0, kidTok = 0, kidDur = 0, kidIt = 0, kidCr = 0, kidOt = 0;
+  for (const k of kids) {
+    const a = inWin(k.id); kidReq += a.req ?? 0; kidTok += a.tok ?? 0; kidDur += a.dur ?? 0;
+    kidIt += a.itok ?? 0; kidCr += a.cr ?? 0; kidOt += a.otok ?? 0;
+  }
+  const wall = mainAgg.req > 0 || kidReq > 0 ? null : null;
+  const span = db.prepare(
+    `SELECT MIN(started_at) mn, MAX(started_at) mx FROM model_usage WHERE session_id = ?`
+  ).get(s.id);
+  const spanMs = (toMs(span.mx) ?? 0) - (toMs(span.mn) ?? 0);
+  // 三分与当量（新鲜 = input − cache_read，钳 ≥0 防口径倒挂；当量两界 = 输出 3×/5×）
+  const mIt = mainAgg.itok ?? 0, mCr = mainAgg.cr ?? 0, mOt = mainAgg.otok ?? 0;
+  const tIt = mIt + kidIt, tCr = mCr + kidCr, tOt = mOt + kidOt;
+  const fresh = Math.max(0, tIt - tCr);
+  const eq3 = fresh + 0.1 * tCr + 3 * tOt;
+  const eq5 = fresh + 0.1 * tCr + 5 * tOt;
+  results.push({
+    id: s.id, title: s.title, kids: kids.length,
+    mainReq: mainAgg.req ?? 0, mainTok: mainAgg.tok ?? 0, mainDur: mainAgg.dur ?? 0,
+    kidReq, kidTok, kidDur,
+    totReq: (mainAgg.req ?? 0) + kidReq, totTok: ((mainAgg.tok ?? 0) + kidTok),
+    spanMin: spanMs / 60000,
+    fresh, cacheR: tCr, out: tOt, eq3, eq5,
+  });
+}
+
+// 3) 输出
+console.log(`| 会话 | 标题 | 子代 | 主会话 req/tok/model-time | 子代 req/tok | 合计 req | 合计 tok | 活动跨度 | 新鲜in | 缓存R | 输出 | 当量@3× | 当量@5× |`);
+console.log(`|---|---|---|---|---|---|---|---|---|---|---|---|---|`);
+for (const r of results) {
+  console.log(`| ${r.id} | ${(r.title ?? '').slice(0, 40).replace(/\|/g, '/')} | ${r.kids} | ${r.mainReq} / ${fmtTok(r.mainTok)} / ${fmtMin(r.mainDur)} | ${r.kidReq} / ${fmtTok(r.kidTok)} | ${r.totReq} | ${fmtTok(r.totTok)} | ${fmtMin(r.spanMs ?? r.spanMin * 60000)} | ${fmtTok(r.fresh)} | ${fmtTok(r.cacheR)} | ${fmtTok(r.out)} | ${fmtTok(r.eq3)} | ${fmtTok(r.eq5)} |`);
+}
+if (results.length === 0) console.log('(无匹配会话——检查标题关键词或 --since');
+db.close();

package/round4/b1-analyze-task08.mjs

@@ -0,0 +1,40 @@
+#!/usr/bin/env node
+// B-① 靶点验证：解剖 R4-L 的 8.6M 实现子代理——读了什么、多大、是否越界
+// 用法：node b1-analyze-task08.mjs
+import { DatabaseSync } from 'node:sqlite';
+const db = new DatabaseSync('C:/Users/qinyi/.zcode/cli/db/db.sqlite', { readOnly: true });
+const sid = 'sess_subagent_agent_d60364e3-c378-49b8-a715-6ac5b9d9aa4f';
+const WT = 'C:\\Users\\qinyi\\IdeaProjects\\multi-agent-platform\\.sillyspec\\.runtime\\worktrees\\2026-09-20-r4-session-replay';
+
+const parts = db.prepare(
+  'SELECT data, time_created tc FROM part WHERE session_id=? ORDER BY time_created ASC, sequence ASC'
+).all(sid);
+const t0 = Number(parts[0].tc);
+const rows = [];
+for (const row of parts) {
+  const d = JSON.parse(row.data);
+  if (d.type !== 'tool') continue;
+  const rel = ((Number(d.time?.created ?? row.tc) - t0) / 60000).toFixed(0);
+  const inp = d.state?.input ?? {};
+  const out = String(d.state?.output ?? '');
+  const kb = Math.round(out.length / 1024);
+  const short = (p) => String(p).split(WT + '\\').pop()?.replaceAll('\\', '/') ?? p;
+  let detail = '';
+  if (d.tool === 'Read') detail = short(inp.file_path ?? '?');
+  else if (d.tool === 'Grep') detail = 'q=' + String(inp.pattern ?? inp.query ?? '').slice(0, 40);
+  else if (d.tool === 'Bash') detail = String(inp.command ?? '').slice(0, 70);
+  else detail = JSON.stringify(inp).slice(0, 60);
+  rows.push({ rel, tool: d.tool, detail, kb, status: d.state?.status });
+}
+const byTool = {};
+for (const r of rows) byTool[r.tool] = (byTool[r.tool] ?? 0) + r.kb;
+console.log('tool calls:', rows.length, '| 按工具 KB:', JSON.stringify(byTool));
+console.log('--- 全部调用（时间 | 工具 | 输出KB | 详情）---');
+for (const r of rows) console.log(`${r.rel}m ${r.tool.padEnd(7)} ${String(r.kb).padStart(6)}KB ${r.detail}`);
+console.log('--- Read 同文件累计 ---');
+const byPath = {};
+for (const r of rows) if (r.tool === 'Read') (byPath[r.detail] ??= []).push(r.kb);
+const s = (a) => a.reduce((x, y) => x + y, 0);
+for (const [p, arr] of Object.entries(byPath).sort((a, b) => s(b[1]) - s(a[1])))
+  console.log(`${String(s(arr)).padStart(6)}KB ×${arr.length} ${p}`);
+db.close();

package/round4/b1-b1-target-validation.md

@@ -0,0 +1,32 @@
+# B-① 靶点验证报告（2026-09-21，第 1 批执行产物）
+
+> 预设判定规则（optimization-plan.md B-①）：「靶子不实不立项」。
+> 数据源：zcode db（C:/Users/qinyi/.zcode/cli/db/db.sqlite）sess_5cb66a7e（R4-L 主会话）及其 19 个子会话；工具 b1-analyze-task08.mjs。
+
+## 判定：靶子不实——「越界读」零发生，B-① 实现项按预案砍掉
+
+### 证据一：8.6M 的构成不是「读了 8.6M 新内容」
+
+task-08 子代理（sess_subagent_agent_d60364e3，58 请求）账面：名义输入 8.57M / 缓存读 8.39M（98%）/ 输出 0.07M / **新鲜输入（名义−缓存）仅 186K**。
+
+全部 62 次工具调用的输出总量 ≈335KB（Read 297KB + Bash 34KB）——与 186K 新鲜输入同量级自洽。8.6M 名义体量 = **58 轮 × 轮均 148K 上下文的累积重发**，是轮数乘上下文的机械积，不是读取行为。
+
+### 证据二：读取内容全部在任务契约链内，无一次越界
+
+62 次调用的读取对象逐条核过：task-08.md 任务卡、CLAUDE.md、turn-timeline.tsx（被适配组件）/ agent-log-card / turn-segment-views / session-log-assembler / runtime-session-helpers（契约链组件）、agent-log-card.test.tsx（测试先例）、session-panel-page（接线单点）、api-types / query-keys / agent-logs / round-divider（类型与工具链）、design.md + prototype-agent-replay.html（变更文档）。**没有一次读声明面之外的源码**，没有 node_modules / daemon / backend 深潜。重复读是「首次全读 + 后续定向切片」模式（如 turn-timeline 62KB 全读 + 16KB 切片），本身是省 token 的正确行为。
+
+### 证据三：全扇出面同构——新鲜内容只占 3.2%
+
+19 个子代理合计：名义输入 41.77M，**新鲜输入 1.34M（3.2%）**，输出 0.49M。各角色轮均上下文 35K–92K，唯 task-08 达 148K（契约链文件大：组件 78KB + 测试先例 37KB + design 15KB + prototype 14KB 全量进上下文）。
+
+## 处置（按预案预设规则）
+
+1. **砍掉第 2 批的「B-① 读清单注入」实现项**。读上界就是 1.34M 新鲜内容，其中「本可不读」的部分即使砍半也只有 ~0.7M 名义，对 42.3M 扇出是零头；allowed_paths 工作目录约束（子代理 prompt 已有）维持现状即够。B-① 前置验证本身完成使命。
+2. **真正杠杆换位：轮数 × 上下文双乘数**。42.3M ≈ Σ(轮数 × 轮均上下文)，两个乘数各有对策：
+   - **上下文**：B-④ 材料包治这个——task-08 型大契约链任务（design/prototype 通读 + 大组件全量进上下文）正是材料包的靶子，且比原估计更实（148K vs 同侪 45–92K 的差额就是可压空间）。
+   - **轮数**：**新增候选 B-⑥ 轮数纪律**（提示词级）——task-08 的 58 轮里 Edit×7（相邻同文件逐个改）+ TodoWrite×4（每条占一轮重发 148K）+ 测试 Bash 循环多次；合并相邻 Edit、TodoWrite 降频、测试合并跑，砍 1/3 轮 ≈ 砍 1/3 名义体量。此项原方案未覆盖，性价比高于已砍的 B-①。
+3. **R5 预期路径修正**：扇出 42.3M → 28–32M 的驱动从「①②③④ 并用」改为「**B-④ 上下文压缩 + B-⑥ 轮数纪律**」双轮驱动；账单当量口径下缓存重发本就计 0.1×，硬门（扇出 ≤32M）以名义口径计不受影响。
+
+## 复核方式
+
+`node round4/b1-analyze-task08.mjs` 重跑可复现证据一/二；证据三的聚合查询见本报告数据源行（account.mjs 同库同表 model_usage，input−cache_read 即新鲜口径）。

package/round4/b3a-prompt-audit-result.md

@@ -0,0 +1,66 @@
+# B3a prompt 审计——db 全量口径（2026-09-21，v3 修正版）
+
+## A. CLI 渲染体量（R4-L 主会话，129 次 sillyspec Bash，合计 204KB ≈ 60K tokens）
+
+| 子命令 | 次数 | 累计KB | 最大单次KB |
+|---|---|---|---|
+| run | 53 | 98.4 | 6.7 |
+| ? | 45 | 70.8 | 5.2 |
+| verify-probes | 4 | 10.2 | 7.9 |
+| show | 1 | 9.9 | 9.9 |
+| register-stage-review | 5 | 3.1 | 1.8 |
+| review | 7 | 2.8 | 0.6 |
+| taskcard | 1 | 2.7 | 2.7 |
+| progress | 3 | 2.4 | 1.5 |
+| gate | 2 | 1.7 | 1.2 |
+| module-docs-sync | 2 | 0.5 | 0.3 |
+| endpoints | 1 | 0.4 | 0.4 |
+| design-init | 1 | 0.3 | 0.3 |
+| brainstorm | 1 | 0.3 | 0.3 |
+| git | 1 | 0.2 | 0.2 |
+| module-impact | 1 | 0.1 | 0.1 |
+| worktree | 1 | 0.0 | 0.0 |
+
+## B. 近重复渲染（头部签名相同出现 >1 次——重复注入的直接瘦身候选）
+
+| 次数 | 单次体量 | 头部签名 |
+|---|---|---|
+| ×2 | ~2.6KB | --- stage: brainstorm step: 7/8 stepName: Design Grill 交叉审查 project: project change: 2026- |
+| ×2 | ~0.3KB | ⚠ 未匹配模块的文件 24 个（不入 sidecar）: backend/app/modules/platform_sync/router.py, backend/app/modu |
+| ×2 | ~0.0KB | (Bash completed with no output) |
+
+近重复渲染累计 ≈6KB（占 CLI 渲染总量 3%）。
+
+## C. 实跑措辞规则转发率（execute.js buildWavePrompt 口径 → 编排者组装的子代理 prompt）
+
+| 规则（实跑措辞） | CLI 渲染 | 转发进子代理 prompt |
+|---|---|---|
+| workdir 参数是强制必传 | 2 | 0 |
+| 破坏隔离 | 2 | 0 |
+| 调度者 + 审查者 | 2 | 0 |
+| 你不要自己写代码 | 4 | 0 |
+| 禁止读 | 0 | 16 |
+| 禁止 push | 0 | 12 |
+| 工作目录（强制 | 0 | 12 |
+| allowed_paths | 30 | 0 |
+| TDD | 0 | 0 |
+| 先读后写 | 0 | 0 |
+
+Agent 派发 19 次，prompt 合计 49.8KB（均值 2.6KB，最大 5KB）。
+
+## D. 解读与瘦身候选（B3a 结论，2026-09-21）
+
+**总口径**：R4-L 主会话 CLI 渲染 204KB ≈ 60K tokens（占主会话名义 56.8M 的 ~0.1%，占峰值的次要面）——CLI 渲染不是 377K 峰值的主因（主因是会话累积），但每次渲染常驻上下文参与后续所有轮次的重发，瘦身仍有正收益。
+
+**证据性发现**：
+1. **近重复渲染只占 3%（~6KB）**——「同一指令反复整体重渲染」不是成本大头，各步渲染因进度态不同而不同。去重渲染**不是**瘦身抓手，预期收益上限低。
+2. **run 子命令是渲染大头**：53 次 / 98.4KB（步骤指令渲染，单次最大 6.7KB）。同一阶段的步骤指令在 --done 循环中被多次近似重渲染（内容 90% 相同、状态行不同）。
+3. **编排者对派发规则是「提取规范、丢弃论述」模式**：CLI 渲染的 workdir 论述段（强制必传 + 破坏隔离后果 + json 范例）转发进子代理 prompt 的字面率为 0，编排者自写成紧凑隔离块（工作目录（强制 ×12 / 禁止读 ×16 / 禁止 push ×12，每条 ~50 字）。行为合规（worktree 隔离全程成立），说明**论述段被读过但未被复述**——其价值存疑但不能仅凭字面率为 0 判死（合规可能正来自读过论述）。
+4. allowed_paths 渲染 30 次、转发 0——但审查环节逐 task 对照 allowed_paths 检查（行为消费），属「CLI ↔ 门禁」消费而非 prompt 转发，保留。
+
+**瘦身候选（供 B3b 依审计删减，全部低风险渐进）**：
+- **C1（首选）run 步骤渲染增量化**：同阶段同步骤的重复渲染只出「状态 delta + 指令不变声明」，首渲染出全量。预计砍 run 渲染体量 30–50%（≈30–50KB/大任务）。机制级（CLI 渲染器小改），不是删规则——**不动规则内容**。
+- **C2（次选，低置信）派发指令论述段压缩**：workdir/隔离的后果论述段压成一行规范 + 一行后果（保留 json 范例与 workdir 值）。省 ~1–2KB/次渲染。风险：论述可能支撑合规——R5 若有隔离事故即回滚。
+- **不建议动**：四律请求钳（H3 实证 PASS 承重）、隔离规范行、allowed_paths、testcase-design 段（TDD 引导，taskcard 证据链）。
+
+**方法论修正记录**：v1 transcript 口径因提取稿 700 字截断致规则渲染面全盲（17 签名 15 个零命中假象）；v2 分类正则漏多 flag 前缀；v3 修正后数据可信。B3b 删任何规则前须按本 v3 口径复跑 + 行为级合规核查（字面转发率 ≠ 遵守率，本审计已实证两者背离）。

package/round4/b3a-prompt-audit.mjs

@@ -0,0 +1,89 @@
+#!/usr/bin/env node
+// B3a prompt 审计 v3（只读，db 全量口径）：
+//   A. R4-L 主会话 CLI 渲染体量按子命令归因（修正 v2 分类正则）
+//   B. 近重复渲染检测（同头签名多次渲染 = 瘦身/缓存首要候选）
+//   C. 实跑措辞的规则转发率（execute.js buildWavePrompt 口径）
+// 用法：node b3a-prompt-audit.mjs
+import { DatabaseSync } from 'node:sqlite';
+import { writeFileSync } from 'node:fs';
+
+const db = new DatabaseSync('C:/Users/qinyi/.zcode/cli/db/db.sqlite', { readOnly: true });
+const sid = 'sess_5cb66a7e-2ba6-44f9-9916-226fc553778b';
+const parts = db.prepare(
+  'SELECT data, time_created tc FROM part WHERE session_id=? ORDER BY time_created ASC, sequence ASC'
+).all(sid);
+const t0 = Number(parts[0].tc);
+
+const calls = [];
+const agentPrompts = [];
+for (const row of parts) {
+  const d = JSON.parse(row.data);
+  if (d.type !== 'tool') continue;
+  const rel = ((Number(d.time?.created ?? row.tc) - t0) / 60000).toFixed(0);
+  const inp = d.state?.input ?? {};
+  if (d.tool === 'Bash') {
+    const cmd = String(inp.command ?? '');
+    if (!/sillyspec/.test(cmd)) continue;
+    // 子命令 = sillyspec 后跳过所有 --flag（含带引号值）后的第一个词
+    const m = cmd.match(/sillyspec\s+(?:--[\w-]+(?:\s+(?:"[^"]*"|\S+))?\s+)*([\w-]+)/);
+    calls.push({ rel, sub: m ? m[1] : '?', chars: String(d.state?.output ?? '').length, out: String(d.state?.output ?? '') });
+  }
+  if (d.tool === 'Agent' || d.tool === 'Task')
+    agentPrompts.push({ rel, prompt: String(inp.prompt ?? '') });
+}
+
+const by = {};
+for (const c of calls) {
+  by[c.sub] ??= { n: 0, chars: 0, max: 0 };
+  by[c.sub].n++; by[c.sub].chars += c.chars; by[c.sub].max = Math.max(by[c.sub].max, c.chars);
+}
+const total = Object.values(by).reduce((s, v) => s + v.chars, 0);
+
+// 近重复：输出头部 200 字（压缩空白）做签名
+const sig = {};
+for (const c of calls) {
+  const s = c.out.slice(0, 200).replace(/\s+/g, ' ').replace(/\|/g, '/');
+  (sig[s] ??= []).push(c);
+}
+const dups = Object.entries(sig).filter(([, v]) => v.length > 1).sort((a, b) => b[1].length - a[1].length);
+
+// 实跑措辞规则转发率
+const SIGS = [
+  'workdir 参数是强制必传', '破坏隔离', '调度者 + 审查者', '你不要自己写代码',
+  '禁止读', '禁止 push', '工作目录（强制', 'allowed_paths', 'TDD', '先读后写',
+];
+const cliAll = calls.map(c => c.out).join('\n');
+const agentAll = agentPrompts.map(a => a.prompt).join('\n');
+
+const L = [];
+L.push('# B3a prompt 审计——db 全量口径（2026-09-21，v3 修正版）');
+L.push('');
+L.push(`## A. CLI 渲染体量（R4-L 主会话，${calls.length} 次 sillyspec Bash，合计 ${(total / 1024).toFixed(0)}KB ≈ ${Math.round(total / 3.5 / 1000)}K tokens）`);
+L.push('');
+L.push('| 子命令 | 次数 | 累计KB | 最大单次KB |');
+L.push('|---|---|---|---|');
+for (const [k, v] of Object.entries(by).sort((a, b) => b[1].chars - a[1].chars))
+  L.push(`| ${k} | ${v.n} | ${(v.chars / 1024).toFixed(1)} | ${(v.max / 1024).toFixed(1)} |`);
+L.push('');
+L.push('## B. 近重复渲染（头部签名相同出现 >1 次——重复注入的直接瘦身候选）');
+L.push('');
+L.push('| 次数 | 单次体量 | 头部签名 |');
+L.push('|---|---|---|');
+for (const [k, v] of dups.slice(0, 10))
+  L.push(`| ×${v.length} | ~${(v[0].chars / 1024).toFixed(1)}KB | ${k.slice(0, 90)} |`);
+const dupChars = dups.reduce((s, [, v]) => s + v.length * v[0].chars, 0);
+L.push('');
+L.push(`近重复渲染累计 ≈${(dupChars / 1024).toFixed(0)}KB（占 CLI 渲染总量 ${((dupChars / total) * 100).toFixed(0)}%）。`);
+L.push('');
+L.push('## C. 实跑措辞规则转发率（execute.js buildWavePrompt 口径 → 编排者组装的子代理 prompt）');
+L.push('');
+L.push('| 规则（实跑措辞） | CLI 渲染 | 转发进子代理 prompt |');
+L.push('|---|---|---|');
+for (const s of SIGS)
+  L.push(`| ${s} | ${cliAll.split(s).length - 1} | ${agentAll.split(s).length - 1} |`);
+L.push('');
+L.push(`Agent 派发 ${agentPrompts.length} 次，prompt 合计 ${(agentPrompts.reduce((s, a) => s + a.prompt.length, 0) / 1024).toFixed(1)}KB（均值 ${(agentPrompts.reduce((s, a) => s + a.prompt.length, 0) / agentPrompts.length / 1024).toFixed(1)}KB，最大 ${Math.max(...agentPrompts.map(a => a.prompt.length)) / 1024 | 0}KB）。`);
+const outPath = new URL('b3a-prompt-audit-result.md', import.meta.url).pathname.replace(/^\/([A-Z]:)/, '$1');
+writeFileSync(outPath, L.join('\n') + '\n', 'utf8');
+console.log(L.join('\n'));
+db.close();

package/round4/brief-autocompact.md

@@ -0,0 +1,34 @@
+---
+author: qinyi
+created_at: 2026-09-20 17:19:12
+---
+# 提案书（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 白名单行为零回归（既有用例全绿）

package/round4/brief-session-replay.md

@@ -0,0 +1,50 @@
+---
+author: qinyi
+created_at: 2026-09-19 20:55:00
+---
+# 提案书（Proposal）
+
+## 动机
+
+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 路径、查看内容语义、上报/归属链路零改动）。