sillyspec 3.29.4 → 3.30.0

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 路径、查看内容语义、上报/归属链路零改动）。

package/round4/deep-read-synthesis.md

@@ -0,0 +1,38 @@
+# R4 五会话全量深读·综合判读（2026-09-21，四子代理并行精读）
+
+## 一、「质量差距是不是小概率」的最终答案：不是，两记实锤
+
+**实锤 1：大任务 OpenSpec 侧存在同类缺陷。** R4-O-L 的 daemon 解析器 registry 键名（`claude-code-transcript-jsonl` 等）是**按命名惯例自造的**，未与上报侧（sillyspec CLI，禁读无法对证）核验；且仓内既有测试常量 `claude-transcript-jsonl` 已经暗示了另一种命名——若不符，解析器永不触发、静默 unsupported，**流程内无任何环节能发现**。与错键（autoCompactPreCompute）同一缺陷类：**外部契约事实未经核验即落码，自洽测试掩护其穿越全部关卡**。两个独立 OpenSpec 跑、两实例——这是系统性暴露面，不是运气。
+
+**实锤 2（最锐利）：两个 agent 生成了同一个错误先验。** R4-S-Q（sillyspec）在 [3.2m] 同样猜了 `autoCompactPrecompute`、[3.9m] 甚至专门搜了这个词——**但先验证再落码**，搜出真名 `precomputeCompactionEnabled`。同模型、同先验、同错误生成；唯一差别是有无验证步。**错误生成是确定性的，拦截是结构性的。**
+
+B 侧错键穿越了六道关卡（proposal→spec→design→tasks→测试→archive），全绿——格式校验不校验事实，文档链越长只是把同一个错复制得更体面。
+
+## 二、效率面的新分解（深读修正）
+
+**R4-L（185min）**：~118min（64%）是子代理扇出等待+后台门禁+额度事故（4 路并发派发触发额度耗尽，中断 ~17min 由用户恢复）；主代理自身生成 <1/3；无效功 ~28min（CLI 旗标摩擦、review.json 两次归位、Wave6 --done 因输出 tail 截断三连跑、verify-result 槽格式学费、嵌套 worktree 下 module-docs-sync 失效、重复 pnpm install）。代码层零返工、15 commit 全净；无联网核验但用本机真实数据（38 个 cursor store.db 全量实测）做了更硬的核验。
+
+**R4-O-L（80min）快的解剖**：零子代理（省 40-60m）+ 决策链短（20-30m）+ 只跑相关测试（10-20m）+ 无视觉验收（10-15m）+ 无独立审查（10-20m）+ 探查前置零返工。反直觉：探查占 24%（快来自读得多）；最大黑洞是环境（venv/转义 ~8m）；最强审查者是遗留测试套件（7 处精确 toEqual 断言逼显式化契约变更）。
+
+**R4-S-F（171min）**：verify 92min 中 **75-80min（82%）是纯门禁运行**（7 次 --done、9 次全量门禁）；agent 有效工作仅 ~15m。三方拆账：CLI ≈50%、agent ≈12%、环境 ≈6%。新发现的结构性问题：① 同一 CLI 内 `gate verify`（独立跑）PASS 与 `verify --done` FAIL 并存——**两套矛盾判定路径误导诊断 16min**；② 「越正确越被罚」——agent 正确地不动并行会话归属的债文件，快照 overlay 因此永远取 HEAD 带债版，门禁结构性奖励越权改他人文件；③ 根因（快照说明+advisory 提示）一直躺在后台日志里，晚读全文多烧 20min。**重跑地板：不改工具 ~60min；修三处（lint 前置/门禁缓存/检查前置）~45min**——全流程与 quick 的合理差距应是 ~20min 仪式成本，不是本次的 130min。
+
+**小任务对（41.2 vs 21.5）**：19.7min 差逐项对平——两轮门禁 +19.9m（纯等待）、存量债清偿 +1.9m、联网核验 +1.2m、stash 对照 +0.6m、终态观测 +1.3m，减 B 的四件套/排障/阅读 ~6.7m。**两侧纯编码测试速度等价**（5-6m）。A 的门禁误拦反而触发正向行为（清债+全量复验拿到 mypy 963 文件级保证）。
+
+## 三、两侧 agent 的真实面貌（修正刻板印象）
+
+- OpenSpec 侧 agent **探索纪律很强**（真实数据探针、搜而不信、诚实披露风险）——缺陷不在 agent 能力，在流程无核验结构。
+- sillyspec 侧 R4-S-F 的排障有 15min 绕路（未早读日志全文）、两次被 gate verify 的误导 PASS 带偏。
+- B 侧两个真亮点值得吸收：**前端依赖后台安装与改码并行**（墙钟并行度）；**三态下拉表达「键缺省 vs 显式 false」**（语义优于 A 的不对称 checkbox）。
+
+## 四、修复清单增量（在已办五项 + 两缺口之外，新增）
+
+1. **`gate verify` 与 `verify --done` 判定路径统一**（矛盾输出，16min 级误导）
+2. 门禁失败输出 tail 截断问题（Wave6 三连跑根因）——失败时给全量日志路径提示
+3. 嵌套 worktree 下 module-docs-sync 失效（24 文件全未匹配）
+4. verify-result 槽格式旧版拒收的一次性学费（--init 提示要更早）
+5. 编排层：并发派发上限感知（4 路齐发触发额度耗尽）
+6. （对 OpenSpec 的镜像建议，供对比参考）：外部契约事实表 + 来源强制校验 + vendored sdk.d.ts 的 10 秒 grep 检查——错键当场现形
+
+## 五、方法论沉淀
+
+「验证全在模型侧（自愿）」与「验证全在机器侧（盲跑）」恰好各错一半——两个流程的真正差距不是仪式多少，而是**防线是否对准缺陷类**：OpenSpec 六道格式关零事实核验；sillyspec 有事实核验结构但机器门禁 40%+ 假拦+双跑浪费。

package/round4/extract-full.mjs

@@ -0,0 +1,38 @@
+// 全量会话导出：node extract-full.mjs <session前缀> <输出文件>
+// 正文全量、reasoning 截 300、工具输入截 500（命令全文）、工具输出截 700
+import { DatabaseSync } from 'node:sqlite';
+import { writeFileSync } from 'node:fs';
+
+const [prefix, outFile] = process.argv.slice(2);
+const db = new DatabaseSync('C:/Users/qinyi/.zcode/cli/db/db.sqlite', { readOnly: true });
+const sess = db.prepare('SELECT id, title, time_created FROM session WHERE id LIKE ?').get('sess_' + prefix + '%');
+if (!sess) { console.error('not found'); process.exit(1); }
+
+const parts = db.prepare(
+  `SELECT p.data, p.time_created tc, JSON_EXTRACT(m.data,'$.role') role
+   FROM part p JOIN message m ON p.message_id = m.id
+   WHERE p.session_id = ? ORDER BY p.time_created ASC, p.sequence ASC`
+).all(sess.id);
+
+const t0 = Number(sess.time_created);
+const lines = [`# ${sess.title}`, `# 会话 ${sess.id} 起点 ${new Date(t0).toISOString()}`, ''];
+for (const row of parts) {
+  const d = JSON.parse(row.data);
+  const rel = ((Number(d.time?.created ?? row.tc) - t0) / 60000).toFixed(1);
+  const clean = (s, n) => String(s ?? '').replace(/\u001b\[[0-9;]*m/g, '').slice(0, n);
+  if (d.type === 'text') {
+    lines.push(`\n[${rel}m] ${String(row.role).toUpperCase()} 正文:\n${clean(d.text, 6000)}`);
+  } else if (d.type === 'reasoning') {
+    const r = clean(d.text ?? d.summary, 300);
+    if (r.trim()) lines.push(`[${rel}m] (思考) ${r}`);
+  } else if (d.type === 'tool') {
+    const inp = d.state?.input ?? {};
+    const key = inp.command ?? inp.file_path ?? inp.path ?? inp.pattern ?? inp.prompt ?? JSON.stringify(inp);
+    lines.push(`\n[${rel}m] 🛠 ${d.tool} ${d.state?.status === 'running' ? '(未完成)' : ''}\n  输入: ${clean(key, inp.command ? 2500 : 500)}`);
+    const out = clean(String(d.state?.output ?? ''), 700);
+    if (out.trim()) lines.push(`  输出: ${out.replace(/\n+/g, '\n  ')}`);
+  }
+}
+writeFileSync(outFile, lines.join('\n'), 'utf8');
+console.log(`wrote ${outFile}: ${lines.length} lines, ${(lines.join('\n').length / 1024).toFixed(0)}KB`);
+db.close();

package/round4/extract-timeline.mjs

@@ -0,0 +1,43 @@
+// 用法：node extract-timeline.mjs <session前缀> <输出文件>
+// 从 zcode db.sqlite 提取会话时间线：文本节选 + 工具调用（名/输入头/输出头）
+import { DatabaseSync } from 'node:sqlite';
+import { writeFileSync } from 'node:fs';
+
+const [prefix, outFile] = process.argv.slice(2);
+const db = new DatabaseSync('C:/Users/qinyi/.zcode/cli/db/db.sqlite', { readOnly: true });
+
+const sess = db.prepare('SELECT id FROM session WHERE id LIKE ?').get('sess_' + prefix + '%');
+if (!sess) { console.error('session not found'); process.exit(1); }
+
+const parts = db.prepare(
+  `SELECT p.data, m.time_created mt, JSON_EXTRACT(m.data,'$.role') role
+   FROM part p JOIN message m ON p.message_id = m.id
+   WHERE p.session_id = ? ORDER BY p.sequence`
+).all(sess.id);
+
+const t0 = parts.length ? Number(JSON.parse(parts[0].data).time?.created ?? parts[0].mt) : 0;
+const lines = [];
+let lastTs = t0;
+for (const row of parts) {
+  const d = JSON.parse(row.data);
+  const ts = Number(d.time?.created ?? row.mt);
+  if (ts > lastTs) lastTs = ts;
+  const rel = ((ts - t0) / 60000).toFixed(1);
+  const one = (s, n) => String(s ?? '').replace(/\s+/g, ' ').slice(0, n);
+  if (d.type === 'text') {
+    lines.push(`[${rel}m] ${row.role?.toUpperCase()} TEXT: ${one(d.text, 200)}`);
+  } else if (d.type === 'reasoning') {
+    // 只留极短摘要，标注存在性
+    lines.push(`[${rel}m] ${row.role?.toUpperCase()} think: ${one(d.text ?? d.summary, 90)}`);
+  } else if (d.type === 'tool') {
+    const inp = d.state?.input ?? {};
+    const key = inp.file_path ?? inp.command ?? inp.path ?? inp.pattern ?? JSON.stringify(inp);
+    const outHead = one(String(d.state?.output ?? ''), 140);
+    lines.push(`[${rel}m] TOOL ${d.tool}: ${one(key, 150)}`);
+    if (outHead) lines.push(`        → ${outHead}`);
+  }
+}
+lines.push(`\n[last-part @ +${((lastTs - t0) / 60000).toFixed(1)}m]`);
+writeFileSync(outFile, lines.join('\n'), 'utf8');
+console.log(`wrote ${outFile}: ${lines.length} lines, span ${((lastTs - t0) / 60000).toFixed(1)}min`);
+db.close();

package/round4/find-sessions.mjs

@@ -0,0 +1,13 @@
+import { DatabaseSync } from 'node:sqlite';
+const db = new DatabaseSync('C:/Users/qinyi/.zcode/cli/db/db.sqlite', { readOnly: true });
+const from = Date.parse('2026-09-20T15:00:00+08:00');
+const to = Date.parse('2026-09-21T06:00:00+08:00');
+console.log('window', from, '->', to, new Date(from).toISOString());
+const rows = db.prepare(
+  'SELECT id, title, time_created, parent_id FROM session WHERE time_created >= ? AND time_created <= ? ORDER BY time_created'
+).all(from, to);
+for (const r of rows) {
+  const top = r.parent_id ? '  child-of-' + String(r.parent_id).slice(5, 13) : 'TOP ';
+  console.log(new Date(Number(r.time_created)).toISOString().slice(5, 16), top, r.id.slice(5, 13), (r.title || '').slice(0, 75));
+}
+db.close();