sillyspec 3.29.4 → 3.30.0

package/assets/command-cards/run-quick.md

@@ -0,0 +1,17 @@
+---
+name: sillyspec:run-quick
+description: 已退役重定向 — quick 通道已拒绝新会话（v3.31.0 起），小修补请用 /sillyspec:flow
+---
+# 通道已退役
+
+quick 通道已于 v3.31.0 直接退役：`sillyspec run quick` 对新会话一律拒绝（exit 1 并指路 flow start）。本卡只保留触发词重定向，勿执行任何 quick 新会话命令。
+
+范围明确的小修补请走**轻量变更**（/sillyspec:flow）：
+
+```bash
+sillyspec flow start --change <变更名> --input "<动机与背景；随后独立一行『成功标准：』；再每行一条『- <可验证标准>』>"
+# → 直接干活（改代码写测试，治理工件 CLI 机器起草）
+sillyspec flow done --change <变更名>
+```
+
+升级前遗留的在途 quick 会话仍可收尾：`sillyspec run quick --change <会话ID>` 续跑 / `--done` 收口 / `--cancel` 取消（以 CLI 拒绝文案里的指引为准）。

package/assets/command-cards/run-verify.md

@@ -0,0 +1,29 @@
+---
+name: sillyspec:run-verify
+description: verify 验证阶段：探针核验+测试对账+验收报告
+---
+# 何时用
+
+execute 收口后对照文档验收（probe 契约+known_failures 对账+测试绿）。
+
+# 生命周期速查
+
+```bash
+export SILLYSPEC_SESSION_ID=<agent名+任务名>   # 每条命令都带（shell 状态不持久；多会话并行的所有权判定依赖它）
+sillyspec run verify --change <变更名>
+sillyspec run verify --done --change <变更名> --output "<验收摘要>"
+# 探针骨架缺失时：
+sillyspec verify-probes --init --change <变更名>   # 已存在加 --force 刷新
+# 在隔离 worktree 内跑时（守卫默认拒绝，需双 flag）：
+#   sillyspec <cmd> --allow-worktree-cwd --spec-dir "<worktree>/.sillyspec"
+```
+
+# 防坑清单
+
+- gate 失败明细落 .runtime/verify-runs/gate-<stage>-<change>.json（勿靠 stdout 记忆）。
+- 非测试逻辑有误禁改测试来过——修逻辑。
+- known_failures 豁免只在 local.yaml 声明位置复核，勿手抄。
+
+# 边界声明
+
+本卡不含步骤内容——每步的具体指令由 `sillyspec run verify` 按当前状态实时渲染（含门禁、审查档位、产物契约）。本卡只管启动与防坑。

package/assets/command-cards/status.md

@@ -0,0 +1,27 @@
+---
+name: sillyspec:status
+description: 状态查询：进度/变更清单/断点恢复入口
+---
+# 何时用
+
+任何时刻查「我在哪、下一步做什么」——多变更并行时先看再动。
+
+# 生命周期速查
+
+```bash
+export SILLYSPEC_SESSION_ID=<agent名+任务名>   # 每条命令都带（shell 状态不持久；多会话并行的所有权判定依赖它）
+sillyspec progress show [--change <名>] [--all] [--json]
+sillyspec status
+# 有信号变更（冲突/滞留/疑似完成）保持详情渲染；--all 展开全部
+# 在隔离 worktree 内跑时（守卫默认拒绝，需双 flag）：
+#   sillyspec <cmd> --allow-worktree-cwd --spec-dir "<worktree>/.sillyspec"
+```
+
+# 防坑清单
+
+- 多会话并行：变更各自 --change 隔离，永不 reset 他人变更。
+- 中途停下不靠额外命令存进度——上次 --done 已落盘。
+
+# 边界声明
+
+本卡不含步骤内容——每步的具体指令由 `sillyspec run status` 按当前状态实时渲染（含门禁、审查档位、产物契约）。本卡只管启动与防坑。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.29.4",
+  "version": "3.30.0",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",
@@ -24,6 +24,7 @@
   ],
   "license": "MIT",
   "scripts": {
+    "test:core": "node --test test/preview-migration.test.mjs test/preview-progress.test.mjs test/preview-outlet.test.mjs test/preview-gc.test.mjs test/preview-gate-isolation.test.mjs test/db-engine.test.mjs test/db-concurrency.test.mjs test/db-atomic-write.test.mjs test/platform-sync-schema.test.mjs test/platform-sync-serialization.test.mjs test/change-ownership-guards.test.mjs test/watcher.test.mjs test/watcher-alerts.test.mjs test/watcher-timeline.test.mjs test/sentinel-rules.test.mjs test/handoff.test.mjs test/execution-mode-render.test.mjs test/knowledge-inbox.test.mjs test/knowledge-baseline.test.mjs test/quick-laststep-fourfields-preview.test.mjs test/doctor-align-execute-progress.test.mjs test/test-ledger.test.mjs test/test-bindings.test.mjs test/flow-draft-binding-extract.test.mjs test/gate-snapshot-lifecycle.test.mjs test/gate-snapshot-cleanup.test.mjs test/verify-trace-residual.test.mjs test/platform-creds-fallback.test.mjs test/archive-timeline-bake.test.mjs",
     "test": "node test/run-tests.mjs",
     "lint": "node test/check-syntax.mjs",
     "eval:dry": "node eval/run.mjs --dry-run",

package/packages/dashboard/server/executor.js

@@ -21,7 +21,8 @@ export function executeCommand(projectPath, command, onOutput, onComplete) {
   // .cmd 加 shell:true 而引入命令注入（体检 SEC-08）
   const proc = spawn(process.execPath, [SILLYSPEC_ENTRY, ...args], {
     cwd: projectPath,
-    env: { ...process.env }
+    env: { ...process.env },
+    windowsHide: true
   })
 
   proc.stdout.on('data', (data) => {

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 口径复跑 + 行为级合规核查（字面转发率 ≠ 遵守率，本审计已实证两者背离）。