DeepSeek-Reasonix 读取证据修复与验证单 PR 读取改造的接线、游标契约与写入证据全解析【免费下载链接】DeepSeek-ReasonixDeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.项目地址: https://gitcode.com/GitHub_Trending/de/DeepSeek-Reasonix本文基于 docs/plans/read-evidence-repair.zh-CN.md 展开配套 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 与仓库源码系统讲解 DeepSeek-Reasonix 中“读取证据read evidence”链路的修复与验证方案默认管线中 coordinator 如何接管续页与最终答复决策、读取器如何同时产出输出与来源身份、续页游标与快照如何强一致以及写入工具如何基于真实预览/校验路径声明证据。读者读完本文将掌握该项目的读取分页、来源追踪、写入授权、暂停回执与回归验证的完整机制并能在自己的集成或二次开发中正确理解这些内部契约。一、背景从“单 PR 读取改造”到证据链路接线DeepSeek-Reasonix 的读取证据体系承接自此前多个 issue详见 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 开篇对 #9966/#9992 读取证据工作及 #9994/#9995 重复编辑报告的承接说明本次修复的核心目标是把既有的“单 PR 读取改造”的执行链路完整接线起来。用文档的原话概括默认管线中续页continuation与最终答复final answer决策由 coordinator 负责legacy 的不完整读取状态机只用于回滚rollback。这一点在源码中得到直接印证。internal/agent/read_pipeline.go中的注释明确指出“readContinuation owns the execution decision. Status rendering is only a projection of this state; the legacy machine is used solely in rollback mode.”即readContinuation拥有执行决策权状态渲染只是该状态的一个投影legacy 状态机仅在回滚模式下使用。readPipelineActive()判断读取管线是否激活turn.readShadow.enabled !legacyImplicitFullReadslegacyReadFinal则只在管线未激活时才走state.incompleteReads.blockFinal()的回滚路径。二、读取身份同一份字节同时产出“输出”与“来源身份”修复后的读取器有一个关键设计真正的读取器从同一份捕获字节或 overlay 缓冲区同时产出输出与来源身份。也就是说模型的“看到的内容”与宿主记账的“这份内容来自哪个版本”来自同一次捕获不存在两条可能产生偏差的读取路径。围绕这份捕获存在一组明确的内部资源上限文档特别强调这些是内部资源上限不是新的用户设置场景上限说明磁盘inspect/range调用的身份捕获256 KiB 以内只有不超过 256 KiB 的内容才会被捕获来源身份更大的本地读取有界流式读取超过上限不做整文件身份捕获保持有界显式full读取及其宿主续页最多 64 MiB全文意图路径的最多捕获量这些上限直接决定了一个重要推论没有版本信息的窗口不能被拼接成整文件声明而无法完成的整文件需求会变成needs_scope。从internal/readcoord/coordinator.go的Policy结构可以看到整套续页边界的实现骨架包括MaxPages、MaxActiveTime、PivotAfter、PauseAfter等字段DefaultPolicy()给出的默认值为 64 页或 120 秒活跃读取连续两页停滞触发一次策略变更再停滞两页后暂停。这些在internal/readcoord包中以Obligation、Transition等类型承载每次观察对覆盖状态的影响Added/Missing/Covered/SourceEnd/Stale/Progress/Advice/Stop。三、续页与游标契约与最近一次完整游标强一致续页pagination的可靠性是整个证据链路的核心本 PR 明确了几条强约束续页必须与最近一次签发的完整游标一致。internal/agent/read_pipeline.go中的issueReadContinuation使用tool.ReadCursor携带ReadID、CanonicalPath、Snapshot、SessionID、RunGen、NextStart、RequestEnd与Binding并在 env 上回填NextCursor。读取器自己负责路径解析因此保留相对路径与别名。在gateReadOperation中read_file调用会先经tool.ReadPathResolver解析再与 coordinator 快照中的规范路径比对。被执行来源必须仍与游标快照匹配。一旦来源版本发生变化旧的游标即失效。在派发边界上页数与实测活跃时间上限会停止派发无进展建议会改变请求策略AdvicePivot即pivot信号反复停滞则暂停。readContinuation中可见这套策略切换逻辑当连续两页未新增内容时宿主会提示 “The last two pages added no content. Change strategy: use the hosts exact next window instead of repeating the previous page”并要求调用携带精确的下一窗口游标同时硬停止Stop拥有跨文件的优先级——internal/agent/read_pipeline.go的注释与实现都确认“Hard stops have priority over a continuation on another file”。四、token 预算与上下文管理读取证据修复还涉及上下文预算的处理文档给出了三类行为的区别full 读取与自动续页的读取 token 会按实时上下文余量裁剪依据实时上下文余量动态调整这些续页经过有序批次收尾检查ordered batch finalizer普通预览仍走常规上下文压缩不享受上述特殊预算路径。也就是说只有真正需要“证据级”的全文/续页读取才会占用专门的预算通道普通预览保持轻量。这与internal/agent/read_pipeline.go中“协调器由单一、按变更排序的收尾器mutation-ordered finalizer喂入保证决策遵循 provider 顺序”的实现细节见Coordinator的并发安全注释相互印证。五、写入证据声明、预检、执行三阶段的来源校验写入侧是本 PR 改动最重的部分核心原则是写工具通过各自真实的预览/校验路径声明原始范围而不是声明“我想改什么”multi_edit针对原始来源计算全部改动用于预检预检基于原始来源的完整改动集合而非逐段拼接。覆盖写overwrite需要当前原始版本的完整证据未保存的新缓冲区同样适用这条规则即宿主账本中没有当前版本证据时不能覆盖写。写工具在执行时再次校验预检来源预检通过不代表执行时来源未变执行阶段必须再次核对对应 READ_EVIDENCE_LIFECYCLE 中“编辑使用实际预览的受影响范围和源身份执行时再次核对”的写入边界。同批次的读取永远不能作为写入证据观察账本明确“同批次读取不授权写入”见 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 运行时归属一节旧观察早于上次写入时去重逻辑会重新送达原文。历史证据失败会针对冻结的 provider 轮次边界重新评估并可能被清除操作守卫会冻结每个被拒操作的目标、版本、范围/哈希和 provider 边界不再重放旧替换参数来清除拒绝状态。文档还给出了两条豁免规则重建豁免要求同一条肯定式重写子句中出现完全一致的路径——只有路径在宿主可识别的“肯定式重写”中逐字节一致才获得重建授权移动保留内容并拒绝已存在的目标因此不需要全文证据移动保持原始字节包括二进制验证宿主观察的源身份不要求文本覆盖锚点删除沿用既有归属保留 anchor audit不新增delete_file。配套的 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 将这一体系归纳为四个运行时归属主体readcoord记录范围、源快照、EOF 和续读预算、观察账本记录已送达行哈希及序号、操作守卫冻结被拒操作上下文、操作账本端到端拥有一次意图变更。操作身份来自“这次调用要做什么”——真实目标与参数而不是 provider 每轮的 call ID因此同一处编辑换新 ID 重新提交仍可被识别为同一个操作状态机为prepared、applied、verification_pending、settled、failed、unknown、needs_user其中settled与needs_user为终态不会二次转移。六、展示层与状态机0 基半开区间、generation/sequence 与实时状态清理读取状态在展示层有一套严格的坐标约定读取状态事件区间保持 0 基、半开zero-based half-open与 envelope 和暂停回执一致internal/event/read_status.go的ReadStatusPayload注释明确“Covered and Missing use zero-based half-open source ranges, like read envelopes and pause receipts. Consumers perform one-based display conversion.”CLI 与桌面只在显示时做 1 基转换二者显示互不重叠的、从 1 开始的覆盖区间与恢复指引桌面与 CLI 各管各的展示投影不会互相污染。generation 与 sequence 用于拦截过期帧ReadStatusPayload携带ReadID、Generation、Sequence配合Verdict/State/Reason/Recovery等字段新增的Verdict字段是加性的旧消费者仍可渲染State/Reason。互相独立的读取各自保留条目回合完成时清除实时状态不同文件的读取互不干扰一个回合结束时宿主清除实时live状态避免跨回合残留。发射器层面本 PR 还修复了一个原生分页验证中发现的首行可见行号双重偏移问题由于事件区间是 0 基半开而显示是 1 基若发射与显示各做一次 1 转换就会造成首行偏移回归测试专门覆盖了这条路径见下文验证章节。七、已完成读取的复用与终态回执后续改动进一步把“历史需求已完成”与“冻结模型请求中仍有原文”两个概念分开处理有序的工具收尾器按工作区、规范路径、来源类型、原始身份与快照关联捕获。已满足的需求在校验一致的重复读取后仍保持满足扩展只保留覆盖与记账并只索取缺失区间——重读时不会把已有覆盖区间再当新内容投递。新的 run 拥有新的注册表与游标绑定游标、回执 ID、源令牌均按轮次作用域新一轮为空不持久化、不迁移。在引用reference语义上结构化读取器绕过通用的字符串去重只有当实际被采样的请求中确实存在完全相同的原文、且仅针对已覆盖区间时才允许引用reference引用不投递新的源代码行也不能引用其他引用投影移除或扩展改写会触发有界文本投递但不会撤销先前已完成的需求会移除可解析源代码文本的扩展改动同样使身份失效。这对应 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 中“引用 ID 是精确的匹配模型重新键入的命令文本不是”的契约——少一个cd前缀、换一种引号风格、调换参数顺序或换工作目录都会让真实跑过的验证被拒。incomplete_read终态暂停结果incomplete_read是一个终态暂停结果不是成功也不是传输层重试。与之配套的可选read_pauseLocalOnly 回执有一组严格的载荷限制属性限制受影响文件数最多 32 个每个字段区间数最多 64 个内容不含内容source text游标不含可执行游标桌面实时视图与历史视图使用同一条幂等提示——同一渲染逻辑同时覆盖 live 与 history 两个形态。旧会话没有该字段旧读取器通过既有的 LocalOnly 工具身份忽略这个哨兵——老客户端看到的是一个从未见过的 LocalOnly 工具回执直接忽略即可。不需要迁移也不需要用户设置既有写入前置条件与本回执相互独立。后续改动不改变任何工具 schema 或系统前缀唯一需要注意的是重新投递被压缩移除的文本可能增加单次请求的输入用量——这是有意的权衡不是 bug。八、验证与测试体系回归覆盖与分层汇报本 PR 的回归覆盖位于明确的测试文件internal/agent/read_pipeline_regression_test.go—— 读取管线回归续页决策、游标、策略切换internal/tool/builtin/read_evidence_regression_test.go—— 工具层读取证据回归internal/cli/read_status_test.go—— CLI 读取状态展示回归前端的读取状态测试 —— 桌面端实时/历史提示形态回归。legacy 协议与依赖编辑测试显式选择回滚模式即这些测试有意识地验证“回滚到旧状态机”的路径仍然成立。golden provider 请求已按本 PR 新增的 intent/cursor schema 更新。这是一个有意的 schema 变更文档明确给出了其副作用与边界该变更可能在使用者首次请求时重建 prompt 缓存宿主 envelope 与写入来源校验始终不在 provider 可见字节内——provider 看不到宿主附加的证据信封不涉及会话存储迁移新 run 开始后旧游标必须重新读取——游标绑定轮次作用域跨 run 无效。最后文档强调验证必须分层分开汇报不能混为一谈本地确定性测试unit/regression原生 WebView2/WKWebView 检查桌面原生分页渲染真实 provider 的成功与 token 测量真实模型请求与预算表现精确 head 的远端 CI锁定确切 commit 的持续集成发布可用性release readiness。九、付费矩阵与测试中继预算、预留与硬性上限针对真实 provider 的付费验证本 PR 维护了一个付费矩阵保留原有 64 个用例并新增32 个定向用例与12 个精确写入用例。其 HTTP 中继有一组精确的资源约束约束值上游尝试总上限600 次以内每次请求前预留 token128,000用量未知时的策略保留预留不释放总停止条件300 万 token 或四小时先到为准强制输出上限2,048 token中继强制 2,048 token 的输出上限——包括原本会省略该上限的适配器——即使下游客户端在最后一个 SSE 哨兵前关闭也会计入已知用量即提前断连不能逃避输出计量。安全上中继不存储任何凭据或请求体模型任务失败与宿主不变量失败分别记录不混在一个错误通道里。十、原生验证发现与渲染回归原生验证WebView2/WKWebView 分页发现了一个值得注意的问题信息性暂停回执曾被折叠进已完成的过程材料process material。修复后的规则是读取暂停保留在过程折叠之外、位于保留的候选答复之后且不隐含续页动作——暂停只是暂停不代表要继续翻页暂停结果在桌面指标与遥测中与 provider 错误保持区分——incomplete_read/read_pause不算 provider 失败同一条渲染回归覆盖实时与历史提示的形态——live 与 history 共用同一转换与同一回归分页的 TranscriptStore 使用同一套转换包括空正文的 LocalOnly 回执冷后端切片与前端重复翻页加载都与 legacy 全历史转换器分开测试——新旧两条转换路径各有独立覆盖。这条链路与 docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md 中的诊断码体系对应READ_PARTIAL、READ_CURSOR_INVALID、READ_SOURCE_CHANGED、READ_HARD_STOP、WRITE_EVIDENCE_MISSING、WRITE_EVIDENCE_STALE、WRITE_TARGET_ABSENT、WRITE_TARGET_AMBIGUOUS、VERIFICATION_RECEIPT_MISSING、VERIFICATION_RECEIPT_MISMATCH与OPERATION_NEEDS_USER且拒绝是机器可执行的会列出真实存在的回执 ID、宿主接受的封闭动作集合use_receipt:id、reread_target、run_verifier、mark_manual、abandon_edit以及剩余重试预算模型只需选择动作不必猜宿主接受哪种写法。十一、源码导读在哪里看实现如果希望深入代码验证本文所述机制建议从以下文件入手关注点文件读取管线接线、续页派发、策略切换internal/agent/read_pipeline.go读取协调器、续页边界 Policy、Transition 状态转移internal/readcoord/coordinator.go读取状态事件载荷0 基半开区间、verdict/generation/sequenceinternal/event/read_status.go写入证据工具链editfile/multiedit/writefile 的 source_tokeninternal/tool/builtin/editfile.go、internal/tool/builtin/multiedit.go、internal/tool/builtin/writefile.go操作诊断码与恢复动作internal/tool/operation_diagnostic.go读取暂停回执实现internal/agent/read_pause.go、internal/provider/read_pause_test.go整体设计原则可以概括为读取证据是“分页、源版本观察和写入授权是不同的事实”docs/READ_EVIDENCE_LIFECYCLE.zh-CN.md本 PR 在既有边界内不放宽权限或沙箱把这三类事实用 coordinator、观察账本、操作守卫与操作账本四个主体串成一条可验证、可恢复、可观测的闭环并用 0 基半开区间、generation/sequence 与轮次作用域保证了跨端渲染与跨轮次状态的一致性。/DSMLparameter /DSMLinvoke【免费下载链接】DeepSeek-ReasonixDeepSeek-native AI coding agent for your terminal. Engineered around prefix-cache stability — leave it running.项目地址: https://gitcode.com/GitHub_Trending/de/DeepSeek-Reasonix创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考