独立交叉审查初稿(产品章节作者审其他范围)¶
审阅者为03/08/09/10/12/15作者;这些六章不在本次独立审阅范围,作者修链接不计独立PASS。当前未全稿freeze,不签最终结论。
已执行¶
npm run checkpoint:env:真实包内Rust daemon、本机subprocess,退出0。读/写、maxEntries截断、argv输出、timeout、pre-abort和cwd非沙箱均满足断言。日志product-review-env.log。npm run checkpoint:chord:真实memory links,退出0。writer/reader分视图共store、访客状态条件等待、非法参数拒绝、guest add拒绝均满足断言。日志product-review-chord.log。
已发现并报root的问题¶
- 22.4图中错误串行化activation依赖:resource.open全部结束后才等references的图不符
packages/chord/src/object.ts:1192-1216;实际资源按deps打开,同时等refs.ready,之后waitHydrated,再initCells。若某resource依赖ref,该图给出的严格顺序不能解释实现。改为并行open/refs汇合→hydrate。引用#L1250也不指activation入口,建议#L1095-L1143。 - 04源码行锚越界:transcript.ts#L243、validation.ts#L372。后者实际validateToolArguments在317;前者resolveTranscriptTools在文件末段,需按固定文件重定位。
- 05末尾坏内链:
../labs/13-core-agent.md不存在,应为../labs/13-core.md。
18章的review附录链接待生成,暂不按内容缺陷判定。作者自己的08/10已按root实际章节路径修为../21-remote-env.md和../22-chord.md。
首批源码核对¶
21章:env index、list-files、connection request/session/connect/start/teardown、remote-env resolve/exec/cleanup、SSH参数/acceptHostKey/connectSsh/sshConnection、wire protocol、watch重连段。 22章:host地址/principal身份及关闭waves、object activation/open/initCells、connection root admission与state flow-control、reload prepare/gate/migrate/rollback、spec已知限制。除上述activation图外,已核对段落与代码一致;WebSocket认证、SSH部署、reload/reconnect不在fixture实跑范围。 04–07:已读全文;验证transcript helpers、cross-model conversion、event-stream timing、Core两层循环/并行批次、SDK之前作者研究与当前篇章解释交叉对照;剩余semantic anchors、SessionManager/compaction和tests正在核对。
后续¶
继续审全部非作者正文和examples。待freeze后补齐11/13/14/20与最终图表、运行契约与指纹。最终报告必须明确上游代码阅读与本机测试分开,不以同一作者修改构成独立PASS。
后续独立审查发现(保留原始问题)¶
- 20.2移除实验栈行锚语义错位:coding-agent/CHANGELOG.md#L111落在1.1.0标题;移除在107–110。
- 21.4丢连接错误标签不精确:connection.ts实际为RemoteError code=unknown、lost=true;建议替换图中“lost错误”,避免捏造code。
- 22.4失败汇合与reload候选分支:object.ts1214等待Promise.allSettled后才throw;Resources/Refs错误应汇合后才unwind。object.ts1132–1141仅pending代码版本对象跳过startRuntime但仍live,图需限定普通当前版本激活或补条件。
- 07.9 split摘要图遗漏执行先后:compaction.ts994–1018先await历史摘要(或复用previousSummary),再await turn-prefix;两条独立箭头应补先后,并涵盖没有新history messages时复用旧摘要。
第二批阅读与独立运行¶
已读全部非本人作者正文(index、01/02/04/05/06/07/11/13/14/16/17/18/19/20/21/22),所有examples/src、7个测试文件、manifest/lock版本结构、tsconfig、README及研究包。Durable另核对tool双safe与beforeTool二验、nested key/admission/settle、generation各phase与partial恢复、session commit/adopt/publish/error guard、provider UUID、scheduler取消/ownership/registry snapshot/wait cycle、tool曝光、codemode journal、JSONL fsync与SQLite pragma。Compaction核对projection切点与split摘要顺序。
独立npm run check退出0;npm test35/35,0fail/0cancel/0skip,日志product-review-check.log/product-review-tests.log。独立命令demo、7个checkpoint场景、sdk/projection/boundaries/durable全部退出0,命令清单和输出位于product-review-cli/。Env/Chord先前独立命令也退出0。
本初稿不签最终PASS;待所有已报问题修复、17生成表稳定后逐项复验并绑定输入指纹。
终审增量复核¶
- core独立发现22.6背压大小不是未确认原JSON字节。进一步追connection.ts461–465/579/587及link.ts实际消费者:Link.send返回已编码帧大小;MemoryLink和WebSocket文本返回string.length,WebSocket packed二进制返回byteLength,IPC返回undefined记零。因此“所有真实发送字节”仍不精确,已向root提出按API实际计量澄清。
另外补读examples/.gitignore的node_modules/、.agent/、.sessions/、.checkpoints/四条;均是依赖和本机运行数据,补入独立指纹,总输入50个。此次只改文字/忽略规则审阅覆盖,没有运行实现变化,不重复执行实验。