Repository navigation
Conversation
Move canonical source reads, full-source evaluations, summary construction, query selection and CLI result presentation behind todo.read. Retire the old Python ordinal coordinator and scalar completion RPCs while retaining explicit legacy codecs, provider IO adapters and compatibility imports. Keep normal installed transport, PostgreSQL and full-command performance qualification as explicit review holds; source/stdio probes do not waive them. Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | reasoning_effort=max
REQUEST_CHANGES:有实际组合退役和正常 CLI 对照证据,但当前提交引入两项必需本地门禁失败,且原定真实后端/安装/完整成本资格仍未闭合。
动机
通过 CLI、状态页或报告读取完整 Todo 的用户和 Agent,需要保留同一来源下的任务正文、依赖和角色范围。 例如只显示一项任务时,依赖和后继判断仍必须使用完整源;迁移前 Python 组合多次跨语言读取,当前提案把完整读取、摘要和结果装配收进一次原生事务。 独立的正常 CLI 在 Markdown、File、SQLite 上各九组相同输入均保持旧字段和退出状态一致,单列新增信封;当前还没有完整安装、PostgreSQL 和完整命令性能资格。 本 PR 是 Todo 读取组合的有界迁移,不迁移写入权威、改变 provider 默认值或宣称整个 Goal 已完成。
改动思路
恢复、后继、摘要与 standing decision 继续调用现有 TypeScript owner;Python 只保留实际文档/registry IO、兼容 codec 和仍有调用者的适配。 本提案可审的边界是完整源到公共查询结果的读取事务;观察信封不授权执行,预算与真实后端/安装资格仍须在批准前结清。 不改动会继续支付原有组合和跨运行时成本;只迁移一个 helper 又无法删除旧组合,所以“完整读事务”是合理切片。源码中的 provider IO、业务判断和响应格式各有原 owner:snapshot 负责来源一致性,resume/succession/summary 负责判断,context/envelope 负责投影。新增私有事实引用和结果片段属于传输,不能变成新状态权威。
| 读取阶段 | 当前拥有者 | 必须保留的边界 |
|---|---|---|
| 完整来源读取 | canonical snapshot/原文档 IO | provider 失败不降级 Markdown |
| 依赖、后继、角色摘要 | 既有 TypeScript owner | 先完整判定,再筛选与展示上限 |
| 公共结果与大结果片段 | 原 context/envelope 与新有界 transport | 同一来源、同一完整结果摘要;变化则重读 |
这张表解释当前 2dfb3fd8ad35c1286f1891f92bd85236c9a15e12 的源码关系,不声称安装或真实后端资格已通过。
具体改动
依据为改动前的 docs/architecture/rfcs/typescript-control-plane-migration-v0.md,固定版本 2d94432eefc1d9ee2438e8b6a7cf98b0ebf26971,见接受的 RFC。逐项结果:§3.2 的完整组合退役在源码和正常 CLI 对照中有支持;§2.5 的私有文件与摘要检查已读,完整安装/大结果负例仍 deferred;§2.6 的新增查询信封已观察到;§2.8 的完整成本仍 deferred;§6 的当前必需检查与真实后端/安装/性能资格为 not_met。新增 RFC 检查点明确保留限制,不能反过来豁免先前的合同。
关键代码讲解
projectTodoReadGroup(loopx/control_plane/todos/read_projection.ts:104)在完整源上调用既有恢复与后继判断,再调用摘要/角色选择;projectCanonicalTodoFields保留 archive、standing decisions 和 acceptance guard。源码没有把展示页中的缺失当作 canonical 缺失。原 Python_apply_resume_conditions、ordinal materializer、列表组合和 scalar RPC 被删;保留的 codec、独立 Vision 和 IO 适配仍有真实调用者。readCanonicalTodoProjection(loopx/control_plane/todos/read_transaction.ts:18)沿既有分页 owner 读完整来源;todoListPayload再组装 exact/thin/角色范围及信封。实际 Markdown、File、SQLite 各九组正常 CLI 在同一夹具与相同路径上对照,共 27 对,仅单列新增projection_envelope后,所有旧字段、诊断、顺序和退出状态一致。计数加一的显式 CLI 适配器 mutation 经真实 File 读取后,被独立对照检出 2→3;没有用伪造 provider 结果代替读取。readTodoRuntime(loopx/control_plane/todos/read_transport.ts:30)保留私有文件 UID/权限/无 symlink 准入,验证完整事实字节和摘要,再以完整结果 digest 绑定片段;大参数应走这种保全信息的通道。它没有资格把当前未跑的正常安装大结果路径标成通过。相关共享 grammar/completion token 数据、报告与 refresh 适配、正常引用/错误返回测试和双语文档都属于本次整份审查,未把 gross deletion 全算为业务规则删除。
对主干的风险
语义与 CI 对齐
[P2] 结清新增跨运行时维护对的本地门禁。 同一 python examples/semantic-vocabulary-drift-smoke.py 在固定 base 通过 43/43,当前提交失败 44/43,新增 read_projection.py/.ts 配对是直接触发点。这不是另一份语义实现已经被证明有错,也不是整棵树越小越好;它是尚未结清的必需维护边界。最小修复应在既有 owner 收敛 transport/codec,或依据所属预算合同说明真实调用者、已退役规则与余下维护成本并修复检查,不能靠重命名藏过计数或误标 generated。
[P2] 同一改动中资格化新增信封的输出合同。 python examples/control_plane/cli-output-budget-regression-smoke.py 在 base 通过,head 对普通、limited、thin Todo JSON 报信封 schema coverage 改变及 +783 字符,超过原 128/256 增长余量。信封承载必要的新鲜度和完整性,不能为了绿色结果直接删除。按预算决策合同,保留原失败和相同人口/路径,比较冗余与有效信息,必要时有依据地调整回归预算、语义锚点和 owning contract,再重跑原矩阵;这不等于扩容外部硬限制或重标历史失败。
本地 37 项 Python、12 项原生测试、控制面 typecheck 通过。标准 premerge 6 direct 通过,19 selected 全部执行、2 项失败;两个相同 base 检查均通过,归因为本 PR 引入的检查回归。当前原生测试还覆盖完整4096项闭合、归档依赖、后续 provider 修订、receiver 隔离及错误 evaluation。实际 PostgreSQL、原定三臂演练、正常安装的 CLI/Host/Lark 和匹配的完整命令 SQLite 性能未独立完成;这些是明确证据缺口,不能从源码 CLI 正常或作者受控 stdio 观察推导通过。没有查询、派发、轮询或等待远端 CI。
我的整体评价
long_horizon=not_yet_proven:完整源判断有局部实证,持续使用的全部支持后端、安装和成本资格尚缺;user_experience=preserved 只限定在已比较的正常 CLI 旅程,未要求额外配置或确认。该事务的 owner 放置和删除 Python 组合方向合理,正净增代码与兼容桥已披露,不能以行数或测试数宣称迁移收益。新 todo.read 是本地读事务/传输词汇,复用现有依赖、后继、authority 与 envelope 合同;观察不给执行权。当前两项必需门禁和 §6 缺口均保留,请在修复后的精确 head 重跑对应对照与真实路径后再审,当前不批准、不合并。
English verdict: REQUEST_CHANGES — 2dfb3fd8ad35c1286f1891f92bd85236c9a15e12.27 unsubstituted CLI base/head pairs over Markdown/File/SQLite preserve existing responses, and the count mutation is detected. The exact head nevertheless introduces two required local gate failures (maintained twins44/43; envelope/schema coverage and+783-character output growth), while real PostgreSQL/rehearsal, normal installed callers and complete-command performance remain unqualified. Preserve envelope semantics and resolve budgets with matched evidence rather than hiding the cost.
| @@ -0,0 +1,234 @@ | |||
| """Source codecs and transport for the native full-source Todo read owner.""" | |||
There was a problem hiding this comment.
[P2] 在原 owner 中收敛实际 transport/codec 边界,或依预算合同给出被替代规则、实际消费者与维护成本依据并修复所属检查;不要只改文件名或把两份规则误标 generated。
Observed: Current head fails44/43 while the immutable base passes43/43; the complete proposal cannot satisfy its required local gate.
Validation: python examples/semantic-vocabulary-drift-smoke.py at the repaired head, preserving the original43->44 failure and original workload.
| // The existing formatter is composed here, so a public read never calls back | ||
| // across runtimes for fields of the result it just received. | ||
| const result = query.todo_id ? projectTodoContextPage({detail_payload: payload}) : query.thin ? compactThinTodoRead(payload) : | ||
| query.json_references ? projectTodoContextPage({list_payload: payload}) : payload; |
There was a problem hiding this comment.
[P2] 保留完整信封的身份、范围与新鲜度语义;用相同 base/head workload 解释783字符的实际消费者价值与冗余,按既有预算流程同步 owning contract、语义锚点和合理余量后重跑原矩阵。不能删字段或缩小夹具来过关。
Observed: At head the existing test fails envelope schema coverage and783-character growth against128/256-character allowances; identical base passes.
Validation: python examples/control_plane/cli-output-budget-regression-smoke.py, including todo_list, todo_list_limited and todo_list_thin on the original fixture.
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
…261019 Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent; model=gpt-6.1-sol; provider=OpenAI; declaration_source=runtime_reported; reasoning_effort=max
REQUEST_CHANGES:完整来源与旧输出的迁移有实证,但新信封的来源/展示语义错误,且原 thin 资格测试新增失败。
Exact head: 5e22ad93e2a09e158783d58a77a299eabf0d4390;不可变 merge base/spec_revision: 6e8688d8d90f1c5a99fadf81def8e4ca2e79c925。
动机
通过 CLI、状态页或报告读取任务的用户和 Agent,需要完整任务来源来判断依赖与恢复,同时准确知道当前显示了多少项。
例如同一来源有 279 项任务,用户只看限定列表或 thin 简报;内部应保持完整依赖判断,外部应分别报告来源覆盖和实际展示数量。
本轮 27 组 Markdown/File/SQLite 正常 CLI 对照保留所有旧字段,但新信封把展示截断误报为来源不完整,或把只展示 4 项写成展示 279 项。
本 PR 不迁移写入授权或改变 provider 默认值,也不以测试数量、净代码量或信封存在宣称完整迁移收益。
当前来源/展示语义和一项新增失败断言需修复;真实 PostgreSQL及完整默认命令成本资格尚未由本轮证据关闭。
历史 review5574821167 的两个问题已逐项重验:独立 Python read module 已收敛进既有 owner,maintained twins 回到43/43;三种 Todo 视图的首次信封迁移余量也有界。但修复旧问题不等于新信封内容正确,当前结论按整份 PR 重新给出。
改动思路
完整源读、resume/succession、summary 和输出应复用最近的 Todo 原生 owner;私有事实引用和摘要绑定分片属于保全完整信息的传输,不能成为另一份状态权威。
当前可审边界是完整 Todo 读事务、公共过滤/thin 结果和信封;在该边界修正覆盖事实,并保持原真实后端与性能资格。
| 阶段 | 应保留的 owner 与结果 |
|---|---|
| 全量来源 | 原 canonical snapshot/legacy 文档 IO;provider 失败不退回显示文档 |
| 依赖、后继、选择 | 既有 resume/succession/summary owner 先看完整源,再做角色与显示筛选 |
| 结果与信封 | 原 context/envelope owner;来源覆盖与最终展示数量分开 |
这是当前头的源码说明,不是执行证明。与不改或继续迁移细粒度 getter 相比,完整读事务是合理边界;可在已有生产者修复,无需第二个 provider、状态存储或配置页。大参数采用私有完整事实源,结果采用同一观察与 digest 绑定的分片,方向合理;不能通过裁掉原任务正文来满足传输上限。
具体改动
独立规范为改动前 docs/architecture/rfcs/typescript-control-plane-migration-v0.md,spec_revision 6e8688d8d90f1c5a99fadf81def8e4ca2e79c925:接受的 RFC。§2.1 复用 typed owner,§2.5 私有输入与完整结果验证,§3.2 Python 组合/scalar bridge 退役,§5 调用与增删核算在源码和已执行范围有支持;§2.6 来源覆盖/展示截断目前 not_met,§6 当前相关测试与全部后端/完整成本资格尚未结清。新 checkpoint 只能陈述证据边界,不能改写原验收。
关键代码讲解
project_todo_read是既有 Python owner 内的 transport:超大事实使用 owned private file,完整结果逐片验证 offset、总长及 SHA256;改变来源时重读,而不是把新版本接到旧结果后。projectTodoReadGroup在完整 lineage 上调用 resume/succession 和既有 summary owner,保留合法 evaluation,之后才过滤与分配展示 lane。File/SQLite 原生测试覆盖4096项、归档依赖、provider 后续修订和 receiver 隔离。readCanonicalTodoProjection在原 provider pager 上读取完整快照;todoListPayload复用原 presentation/context。其 162–164 行信封事实 是当前主要 P2。readTodoRuntime保持私有文件身份、权限、来源 digest 及同观察结果分片验证。共享 completion token JSON 保留持久历史拼写;旧todo.summary.project和 scalar normalize/require RPC 退出。status、refresh、periodic report/历史来源与兼容导出也在当前整份检查范围。
全 54 路径 +2120/-1593:产品 29 路径 +1754/-1439,测试与测试基础 22 路径 +294/-147,文档 3 路径 +72/-7。两个 codec JSON、native read transaction/transport 和保留的外部 IO 分开核算;移动不当作纯规则删除,净增不自动构成否决。旧 PR 至当前还整合了主干 caller、acceptance oracle 和测试变动;旧证据只保留其原版本,没有继承旧批准轨迹。
[P2] 将完整来源覆盖与最终显示数量分开。 当前 todoListPayload 把 projection.uncapped_todo_count 与 todos.length 的显示差额写入来源 omitted,同时在 thin 已压缩后仍用压缩前 todos.length 作 shown_count。同一279项合成源的普通真实 CLI,在 legacy/File/SQLite 三种来源上复现:agent hot view 只显示6项却产生 incomplete_coverage;--limit1 返回2项(每角色一项),把已完整读取的276项匹配源报不完整;--thin 实际返回4项,信封却称 shown_count=279、truncated=false。fresh wheel 和 sdist 的实际 File/SQLite CLI 也重现这些结果,因而不是输出 fixture 供应的假后端结论。
接受的信封 Field semantics 与 consumer rule 明确:display truncation 独立披露,本身不触发来源不完整告警;shown_count 必须描述本次实际显示。否则 Agent 会因合法限制重复读取“坏源”,或把 thin 中没显示的任务当成已完整展示。最小修复在当前生产者:保留完整查询源的 included/expected,按最终 result 的实际展示给 shown/available,把 omitted 留给真实来源缺口;不改 sealer、不删信封或语义锚点。补普通/agent hot/limit/thin 及真实 unreadable/incomplete-source 的反例。
对主干的风险
本轮独立正常 CLI 在相同冻结 Markdown/File/SQLite 来源,各九组共 27 对,所有原字段、完整诊断、顺序和退出状态相同,零归一化;新增信封单列并按原规范核验,没有把它从验收中忽略。计数加一的私有变体通过同一 File CLI 把279改成280,被原源 oracle 检出。新 source 查询入口之外,输入错误/exact body/新 provider 更新/持续来源与退役 facade 的旅程都在相关原套件执行。
当前 13 native 检查、control-plane typecheck、6 direct +19 selected premerge 全过。更广的12模块 Python 选择为 315 pass/9 fail,零 skip。不可变基线在同命令的 thin/monitor 子集中为 1 pass/8 fail;8项 monitor 恢复失败的完整 node identity 和诊断都相同:state_file_missing/quota_skip,即 fixture 删除 narrative 后状态健康入口拒绝。保留这些既有失败,不能归因于本 PR 或冒称被本 PR 修复;当前正常源读取的不变量另有独立通过证据。
另一个 PR 新增资格回归:原 test_thin_widest_retained_shape_stays_inside_fixed_output_budget 在基线通过,当前因 todo_list_thin JSON lost semantic key(s): projection_envelope 失败。当前三视图 budget smoke 通过不能替代这个最大保留形状测试。保留新信封语义锚点,按实际入口/有来源事实的 fixture 同步这条资格路径;不要通过删断言、删字段或增大无关字符上限过关。
当前官方资源重新构建后,wheel/sdist 均正常生成并独立安装,相关包内 Python/TS/JSON 字节与本头一致。真实 File/SQLite CLI 走通且暴露上述信封问题;首次构建的 stale 本地生成资源错误及随后有原因的恢复均保留。没有替换共享 CLI 或正式 App。真实 PostgreSQL、完整默认 CLI 成本以及正式宿主长期采用本轮仍未资格,不由 source 数量或控制传输推导通过。
语义与 CI 对齐
896字符余量只适用于原三视图的首次 none→v0 信封 schema 迁移,绝对上限和后续增长门保持;源新鲜度/覆盖有实际信息价值,不要求为了体积删除有效含义。但该有界预算选择不授权更改完整来源、展示与诊断语义。读投影不授权 Todo完成、lease、执行或扣额。当前 observer 事实有误,应修生产者而非建立另一套完整性规则。按当前 no-wait 配置,没有查询、派发、轮询或等待 CI;作者历史 CI 说明不当作本轮独立观测。
我的整体评价
保留完整 Todo 读事务和最近 owner 的设计方向,当前请求修改有真实 CLI/安装包反例的覆盖生产者,并结清原 thin 断言。旧两个预算/维护问题的修复已经得到当前证据支持,不能继续当作未修复的问题;当前新语义问题也不能被旧问题已解决或 premerge 绿色掩盖。修复是当前边界内的小切片,较大的真实后端/完整成本资格沿原 owner 与验收保留,不引入无关重写、人工确认或新学习队列。
English verdict: REQUEST_CHANGES — 5e22ad9.27 normal Markdown/File/SQLite CLI pairs preserve all old fields, and13native tests/typecheck/6+19premerge pass. The new envelope nevertheless mistakes display limits for incomplete source and reports279shown for a4-item thin response; fresh wheel/sdist File/SQLite calls reproduce it. The original widest-thin semantic test newly fails;8monitor failures reproduce on the immutable base with the same missing-state diagnostic. Correct source/display facts and the original semantic qualification without dropping the envelope or relaxing unrelated limits. Full PostgreSQL/complete-command cost and sustained adoption remain unqualified.
Integrate current main and repair query-scoped envelope coverage and shown counts. Exercise ordinary, hot, limited, thin and exact results through existing owners. Retain normal-runtime, installed and performance qualification limits. Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
…ex/ts-todo-read-20261019 Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | effort=max
动机
受影响的是通过 CLI、状态页和定期报告读取 Todo 的用户与 Agent,尤其是积累了较多历史任务的 Goal。
原路径在 Python 和原生运行时之间多次组装同一份任务摘要;本次把完整读取、依赖判断和展示集中到一次读事务,目标是在保留原任务含义的同时减少重复工作。
当前头已修复限量展示被误报为来源缺失的问题,完整 CLI 和安装包读回也保持原字段含义;但默认 SQLite 的完整 CLI 成本仍未通过既有阈值。
本 PR 不改变任务执行授权、配额、领取和写入规则,也不代表整个 TypeScript 迁移、已安装 App 或长期 Agent 效果已经验收。
剩余缺口是当前读路径的完整 CLI 性能资格,以及原迁移计划中仍由对应 owner 负责的持续采用和全成本验收。
改动思路
现有 Todo 决策 owner 足以承载这次完整读取迁移,复用它们并删除 Python 组合比保留双重规则更合理;但调用成本必须按完整 CLI 验证。
本次边界是现有读入口的完整事务替换、兼容读回和真实来源披露;当前性能不达标仍是本 PR 的修复项,更大的迁移验收保持原边界。
本次重新审查全部 base→head 差异,并单独核对上次评审后的修复。保留原来的 provider、resume、succession、summary 和 context owner;新增的事务负责组合,传输层负责完整数据的私有文件与分段校验。来源读取失败继续报错,不能用旧 Markdown 或展示摘要冒充权威来源。较少的跨语言调用不自动等于较低的完整成本。
下面是根据源码整理的路径对照,用于解释边界,不作为执行证据;采用文字表格,未另行验证图形渲染。
| 情形 | 旧路径 | 当前路径 |
|---|---|---|
| 完整读取 | Python 多次组合原生结果 | 原生读取并组合完整来源,Python 保留必要 IO |
| 限量展示 | 保留完整匹配计数 | 同时披露完整来源与最终展示数 |
| 来源不可用 | 权威来源失败须拒绝 | 保持拒绝,恢复后重新读取 |
具体改动
全量 57 文件 +2216/-1610:32 个生产文件 +1772/-1442,22 个测试文件 +360/-161,3 个文档文件 +84/-7。两个 JSON 资源承载原有兼容数据;没有新建持久化任务权威或用户配置入口。
关键代码讲解
readTodoQuery先确定当前 canonical/legacy 来源,再交完整字段投影;不能因展示文件丢失而绕过已提升的 provider。projectTodoReadGroup在完整 lineage 上评估恢复和后继,再选择角色与展示 lanes。删除相应 Python 组合以及已退役的 scalar/summary RPC,保留当前语义 owner。todoListPayload将来源 expected/included/available 与最终 shown 分开。279 行来源的 hot/limit/thin 实际展示 6/2/4 项时,来源仍完整且不会错误 alert;exact/absent/archive 仍可读取原始需求。readTodoRuntime复用私有快照准入,校验完整文件的大小和摘要;结果分段绑定同一份内容,发生变化必须重读。它是共部署传输边界,没有执行任务或修改授权的能力。
独立规范:docs/architecture/rfcs/typescript-control-plane-migration-v0.md,固定版本 4e6baa51afdc2ad522012c1f691ae166c9d67e7b,在阅读当前实现前读取;当前 PR 对 checkpoint 的修改不作为自证。逐项映射:§2.1 复用 typed owner、§2.5 传输准入、§2.6 来源/展示区分、§3.2 整体读组合迁移、§5 调用方与删除规则账目均有当前证据;§6 的默认 provider 完整 CLI 成本仍 not_met。更大的持续采用与迁移验收保留原边界。
对主干的风险
[P2] 当前默认 SQLite 完整 CLI 性能未达标。 使用现有 test_todo_list_agent_lane_projection 的 279 行合成 fixture,经真实 SQLite authority 和普通 managed IPC,运行 python -m loopx.cli --format json todo list --todo-id todo_agent_current。固定相同数据、解释器和参数,baseline 4e6baa51afdc2ad522012c1f691ae166c9d67e7b 与 head 1bac10a67eb12d86767c9164ad0e7991c31898a6 做 64 组串行交替配对,每组轮换先后顺序,没有并发的本轮构建/验证任务。p50 为 216.96→253.36ms;p95 为 299.25→328.21ms,增加 28.96ms / 9.68%。这超过既有 §6 的 5% 和未解释 25ms p95 阈值。初次并发测量及其不确定性保留,阻塞判断采用后续交替配对确认;未声称已定位内部组件原因或所有平台都同幅度退化。
最小修复是在现有完整读 owner 内恢复真实默认 provider 调用成本,并以相同 workload 与原阈值复测。不能用减少 RPC 数、单个 helper 更快、缩小输入、丢弃来源含义或增加预算代替完整 CLI 资格。该路径从 readTodoQuery 默认进入,是本 PR 实际替换的行为。
当前正向与失败路径证据:399 项 Python、29 项原生 read/completion/envelope、381 项真实隔离 PostgreSQL 集成测试全部通过;类型检查和 Chat 重新构建通过。27 组 legacy/File/SQLite baseline/head CLI 对照中,所有既有 JSON 字段一致,仅新增已披露的 envelope。wheel 与 sdist 在全新安装环境各做 16 次 CLI 读回,共 32 次与源码一致;首次包装因旧前端 bundle 失效被拒绝,重新构建并校验后才通过,没有跳过完整性检查。人为丢弃 receiver 参数的真实公共调用会暴露 peer Todo,独立排除规则能检出,未修改头能排除。
预合并 6 项直接检查通过,19 项所选检查中 18 项通过;catalog-run-e2e-smoke.py 在基线和头均因临时仓库缺少相同 maintainability smoke 文件失败。两个相关脚本逐字节相同,已独立归因为既存问题,保留单独 merge hold。没有查询、轮询或等待远端 CI。已修复的旧计数/thin finding 不再作为当前阻塞,历史失败也没有被改写成通过。
语义与 CI 对齐
复用已有 Todo 和 projection envelope 词汇;source coverage 不由展示 cap 决定,分段读取不创造执行许可。首个 v0 envelope 的 896 字符迁移余量有一次性边界,绝对输出上限和后续增长检查保留;不是放宽当前性能阈值。旧 filter/remediation 的角色、顺序、范围及完整需求 cold path 经实际公共输出对照保留;不据此声称模型理解或长期采用已验证。保留的 legacy 文本规则是兼容输入,typed owner 继续决定状态。
我的整体评价
REQUEST_CHANGES,当前头 1bac10a67eb12d86767c9164ad0e7991c31898a6。这是有真实调用方且可回滚的合理增量,源码结构与单一 owner 的方向成立;旧计数、thin 和包装读回缺口已补足。不过 long_horizon 与 user_experience 的整体收益仍受当前完整 CLI 成本回归影响,不能从正确性测试或跨运行时次数推导已经改善。先修复并复验 §6 成本门,再判断本次替换资格。既存 Canary 失败、旧评审讨论、原更大迁移验收分别保留;本评审没有合并、撤销讨论或替换共享安装的权限。
English verdict: REQUEST_CHANGES — 1bac10a. Source/display coverage and the previous thin failure are fixed, with real-provider, paired CLI and clean-package evidence. The default SQLite complete CLI still regresses: 64 alternating pairs show p95 299.25→328.21ms (+28.96ms, +9.68%), exceeding the accepted RFC §6 thresholds. Restore the original full-caller cost qualification; the independently reproduced baseline Canary fixture failure remains a separate merge hold.
| } catch (error) { | ||
| if ((error as NodeJS.ErrnoException).code !== "ENOENT") return {schema_version: TODO_READ_RESULT, canonical: { | ||
| status: "failed", reason_code: "local_authority_mode_read_failed", reason: "local coordination authority mode cannot be inspected", | ||
| source_authority: "unknown_fail_closed"}}; |
There was a problem hiding this comment.
[P2] 当前默认 SQLite 完整 CLI 成本超过原 RFC §6 阈值:同一279行fixture、相同解释器/CLI参数,64组串行交替配对的精确Todo读取 p50为216.96→253.36ms,p95为299.25→328.21ms(+28.96ms/+9.68%)。这不是由更少RPC即可证明的成本改善。请在现有完整读取owner内优化并按同workload、原5%/未解释25ms阈值复验;不要缩小输入、丢失envelope语义或放宽预算。完整body说明其余语义/真实PG/新鲜包测试已通过,以及既存Canary失败的独立归因。
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
Todo readers must use the complete source for dependency and recovery decisions, then report how much the caller actually sees. This proposal composes provider reads, relationship evaluation, role summaries, selection and presentation in the existing native Todo transaction, replacing Python orchestration while preserving the source and authority contracts.
The current revision fixes the projection envelope:
included_countcovers all query matches before display limits;shown_countcounts the final ordinary, hot, limited, thin or exact view. Display truncation no longer creates a source omission orincomplete_coveragealert. The widest thin-output qualification now exercises the real query producer with complete source facts and retains the existing semantic anchors and absolute output limits.Current head:
1bac10a67eb12d86767c9164ad0e7991c31898a6, integrating target main4e6baa51afdc2ad522012c1f691ae166c9d67e7b. The existing branch and PR identity are preserved.This revision also incorporates the two-condition conversation recovery null-narrowing repair proposed in #6980. Full control-plane typecheck now passes on this exact head; the same repair has 42 passing native conversation/recovery cases. This replaces the previous seven-nullability-error hold.
Validation at this revision:
Qualification remains held. Normal runtime startup is denied before request dispatch by local IPC permissions. Quick premerge passes its 6 direct checks, then fails the risk-characterization smoke at that same permission boundary. The previous typecheck failure is fixed; the local IPC limitation remains a failed qualification boundary. Current installed callers, real PostgreSQL, full default SQLite CLI performance and sustained host adoption remain unqualified. Prior measurements retain their original revisions; this update does not reclassify failed or unavailable evidence as passing. Fresh exact-head review is required before merge.