同任务 · 同基线 · 全新会话 · 同机同模型 —— 受控对照
小任务 —— 给 Claude 的自动压缩加三个界面开关(autocompact 三键 · sillyspec 走 quick 轻通道)
大任务 —— 把 AI 干活的日志变成可回放的聊天记录(会话回放 · 跨三端 · sillyspec 走全流程)
* sillyspec 墙钟为稳态口径(门禁单轮);tokens / 请求 / 代码量两侧均实测。模型时间两侧同量级(13.3 vs 13.1min)——差距不在模型,在流程。tokens 三分(新输入 / 缓存读 / 输出):大任务 2.4/96.1/0.64M vs 0.3/51.6/0.14M。按计价折算(新入 1× / 缓存 ~0.1× / 输出 3–5×):大任务账单当量比 ≈ 2.4×(区间 2.1–2.8×),略高于面值 1.9×——两侧命中率都 97%+,缓存救不了比值,且输出差恰好落在最贵计价档。差额构成:缓存体量差 55% + 冷启动新输入 26%(扇出签名,子代理新鲜上下文首读打不中缓存)+ 输出差 19%;输出 4.6× 中 77%(0.49M)是子代理代码/测试产出(交付厚度),主会话编排输出仅 0.14M。小任务账单当量 ~1.0×(三段 0.2/8.7/0.05 vs 0.1/9.2/0.05,真持平)。
大任务构成拆解:手写源码 4.3K vs 2.1K(功能对齐,我们组件更厚)· 测试 2.9K vs 1.2K · 流程文档 10.9K vs 0.6K——但其中 84%(8.8K)是 CLI 机械生成的 diff 快照(scope-audit.patch,零 token),agent 实写文档仅 ~1.75K vs 0.6K(2.9×,与代码 2× 同量级);写作窗口 token 4.2M vs 1.5M,只占大任务 token 差的 ~6%——token 差主因是执行段子代理扇出,不是写文档;小任务两侧基本持平。
任务画像:小任务=照既有先例加三键的局部修补(简单,轻通道的适用对象);大任务=三端五层契约对齐(daemon→RPC→backend→生成类型→前端),难度在广度与一致性、不在单点深度——每条字段映射都是一次「错键型」失败的机会,防线价值随接缝数放大。
对方把第三键写错(autoCompactPreCompute):27/27 测试全绿 → 干净归档 → 错键进规格库 → 预计算开关生产 no-op。我们的 agent 联网核验官方文档后落码,多花 2.5 分钟拦下静默缺陷。
深读记录实证:我们的 agent 最初猜的也是那个错名,但先搜官方文档、拿到真名才写码。错误生成是确定性的,拦截是结构性的——这是流程属性,不是运气。
初版设计与 registry 源码契约矛盾,审查员独立核对源码后首轮打回、强制改设计。零代码浪费。对方流程无任何独立审查环节。
域事实核验 · 设计-源码一致性 · 声明-实测对账 · 资产正典校验,四类各有机制;对方四类全押 agent 自觉。历史数据:测试门两个月 12 次真拦「声称完成但测试挂」。
4 条决策 + 7 条 FR 索引 + ROADMAP + 模块文档 + 归档 15 件——下次变更直接复用。对方的规格库同样留资产,但本轮把错键典藏成了「正典」。
Wave 内 4 个子代理同窗并行(时间戳实证);审查请求钳 3/3 阶段达标(11/6/6 ≤ 12/10/15);进度库 / 边界审计 / 防作弊全程有效,双方 agent 零违反。
| 资产 | 🅰 sillyspec | 🅱 OpenSpec |
|---|---|---|
| 决策知识 | ✓ 决策 4 条(含理由 / 故障面 / 退役判据) | — |
| 特性索引 | ✓ FR 7 条(承接链可回溯) | — |
| 行为规格 | ✓ 替代形态 FR 索引 + 模块卡(GWT 场景体,台账式承接链) | ✓ 活规格 3 capability · 215 行 WHEN/SHALL |
| 路线 / 文档 | ✓ ROADMAP 里程碑 + 模块文档 ×2 | — |
| 变更账目 | ✓ 四字段账目 + sha256 范围快照 | git 提交历史 |
| 过程留痕 | ✓ 归档 15 件 + verify 双证 + 审查 verdict | 归档变更夹 |
| 下次消费 | ✓ 自动注入下一次变更的上下文 | 靠 agent 主动读 |
| 正确性 | ✓ 来源经实证核验 | ⚠ 本轮错键写入 5 条 requirement |
形态差异:OpenSpec 活规格=改写式正典(后续变更直接改文本,像 API 文档好读,但改错即正典错);sillyspec FR 索引=台账式承接链(追加+取代,演进史可见,当前态靠 active 过滤)。
## D-001@v1 回放形态=前端适配器复用 TurnTimeline 真组件(方案 A) 状态:implemented | 变更:2026-09-20-r4-session-replay | 最近确认:66636108c 理由:任务书点名「适配器 → TurnTimeline 真组件复用」,用户已定案 故障面:适配器与 TurnTimeline 契约耦合;靠既有测试族守护 退役判据:多 harness 形态差异大到 SessionTurnView 表达不下 → 复议方案 B
## FR-host-fs-handler-002 轮次与 token 可见 状态:active | 最近确认:66636108c(归档时 HEAD) 场景:Given 数据源含 usage/turn_id(zcode/claude-code)—— Then 每轮轮尾显示输入/输出 token 徽标,头部显示会话累计; 无 token 数据源(cursor-agent/老 daemon)→ 显示「未知」 全文回链:changes/archive/…/requirements.md#FR-02(承接链可翻旧账)
## ql-20260920-007-ec47 | claude 引擎 autocompact 三键 provider 级配置 状态:已完成 | 文件:8 行括注 需求:三键 provider 级配置(白名单透传 + 前端表单 + 文档) 根因:settings_config→白名单→settings.json 链路不含 autocompact 键, 配置写了也不生效;用户只能手改数据库 JSON 方案:TOP_LEVEL_KEYS 加三键 + AUTO_COMPACT_VALIDATORS 值守护… 结果:门禁实测 test 545.5s + lint 双 PASS;定向 31/31 + 相邻 93/93 + 范围快照 ql-*.patch(sha256 锚定,可回放当时 diff)
openspec/specs/agent-log-parsers/spec.md ### Requirement: 归一化消息携带轮次与用量元数据 每条消息 SHALL 携带 turn_id / usage(五项)/ model / duration_ms / sender,全部可缺省,缺失按「未知」呈现,不影响既有九字段 #### Scenario: 数据源无用量时元字段为 null WHEN 数据源不含 token(如 cursor-agent transcript) THEN 全部段 usage=null,RPC totalUsage=null
openspec/specs/claude-autocompact-config/spec.md
- `autoCompactPreCompute`:布尔(压缩摘要预计算开关) ← 键名错误
- WHEN 配 {"autoCompactPreCompute": true}
THEN settings.json 含该键 ← 正确键:precomputeCompactionEnabled
5 条 requirement 把错键记为系统行为契约——
后续变更将信任并传播它(错误被典藏为「正典」)28 vs 21.5min;156 vs 80min。模型算力同量级,差距全部在非模型时间——门禁 + 编排等待,见下节拆解。
19 个子代理各自重建上下文,吃掉 42.3M tokens(43%)+ 522 请求(68%)。但这笔钱同时是上下文保险:每个子代理新鲜窗口(峰值 219K、用完即释),实现体量不进主会话——对方单会话上下文线性涨,爆了靠 auto-compact 硬扛(压缩丢细节)。
诚实注:我们的主会话峰值 377K 反高于对方 317K——编排侧自己也会胖,超大任务需派发瘦身。
子代理执行 / 门禁运行 / 审查回收占六成墙钟,主代理生成不足三分之一。慢=编排深度,但对外表现就是慢。
两个月 106 次门禁失败中:真拦 12、超时 36、环境 6。治理方向已定:按触碰模块收敛范围(文件级会漏真拦,有实证)+ 超时帽。
小任务差 6.5min ≈ 一轮门禁 + 域事实核验——正是两道防线的价格。quick 无四件套=轻通道设计:无落盘设计决策的小修补不写流程文档,代之以 CLI 合成的四字段账目(近零写作成本,含在收尾段);对方无论任务多小都写四件套(3min / 1.3M)。(组内同尺度,条长∝墙钟;⚡为各阶段实测 tokens)
大任务差 76min = 审查 17 + 门禁 17(质量溢价)+ 编排开销 ~42(扇出成本,优化候选)。(组内同尺度,条长∝墙钟;⚡为各阶段实测 tokens——sillyspec 执行段 56.6M 里约 42M 是 19 个子代理的上下文重建,见差距卡 43%)
口径:sillyspec 墙钟为稳态(门禁单轮),OpenSpec 实测;tokens/请求均实测硬账 · n=1 对撞,墙钟按量级解读 · 底稿 sillyspec 仓 round4/