fix(heartbeat): resume PR dependencies from complete retained facts

[loopx-agent]

An unfinished Todo could keep waiting after its dependency merged: open-review discovery dropped the merged PR, and the observer and Todo readback later disagreed when the merge proof fell outside the 500-event display tail. Observe exact repository-qualified dependencies in the existing opt-in heartbeat prequota path, and let both observation and resume readback use the existing complete retained Goal log through the TypeScript Todo owner. Preserve the original requirement, claim, lease, status and merge proof; retain the durable 30-minute cadence and four-target bound for pending or failed observations.

This also removes the Python full-history transport copy, registers the new registry codec read, and corrects the bilingual roadmap checkpoint placement. It changes delivery supervision: an unobserved PR identifier alone no longer proves a valid causal wait. Generated prompts still require external_evidence_poll to opt in; omitting it keeps external observation off. TurnEnvelope polling, installed-host adoption and legacy retirement remain separate acceptance boundaries.

Validation: the 501-event fresh-process File/SQLite regression fails on the earlier implementation and passes on this head; list, status and quota retain the same original proof and the second prequota makes zero remote reads. An isolated production CLI probe also exercised authenticated GitHub metadata with real File/SQLite stores. Focused Python validation passes 208 tests; TypeScript validation passes 24 tests and typecheck. The full semantic inventory and risk-based premerge set pass, including public/private scanning and default-off host prompt parity. Provider failures, wrong repository, missing facts, deferred work and durable retry cadence have negative coverage. This does not change the authority store or PostgreSQL provider.

Runtime/control-plane change: maintainer merge required.

[loopx-agent]

Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | xhigh

Request changes conclusion (author-owned PR; GitHub blocks formal self-review)

精确 head：2e40ca0e4d9f7884755c74e01a085e66e99e17dd；比较基线：04bd639b4d3b6f55bba5025f266ef175806150dc。

动机

等待公开 PR 合并后继续原任务的 Agent 与维护者。 原来依赖 PR 已合并，却已离开 open 队列，任务仍等待；本 head 首次可恢复，但合并事件被 501 条无关记录挤出最近 500 条后，任务又显示未就绪。 File/SQLite 的真实 CLI 首次恢复、第二次零读取已验证；长历史反例中 observer 返回空 targets 和零读取，Todo 的 resume_ready 仍为 false。 本批仅观察公开依赖并写入既有合并事实，不授权合并、review、claim/lease 修改、Todo 完成或 Goal 验收。

改动思路

TS 选择与节奏、Python provider IO、既有 merge reducer 的职责划分合理；问题在同一依赖事实被完整历史与最近 500 条视图分别判断，必须统一恢复 owner 的证据范围。 本 PR 边界是 opt-in 依赖观察及真实 Todo 恢复，不包含所有宿主自动接入、远端操作或权限迁移。

入口显式 prequota 从完整 Todo 源选择本 Agent 可观察的精确依赖，TS 去重并安排每批四项、持久 30 分钟节奏，Python 仅调用既有 GitHub provider。MERGED 且身份相符才追加原 merge 事实，失败观察仍有节奏；绑定编号不再自动豁免交付监督。这是默认监督纠正与可选 IO 两个机制，不应混成新的 scheduler 或第二份 PR 状态。

具体改动

规范：docs/reference/todo-continuation-readback.md，不可变 revision 04bd639b4d3b6f55bba5025f266ef175806150dc，按改动前文本判定；本 PR 新写的说明不自证验收。

• Selection, proofs and transport：not_met — A display limit alone does not change the source: counts, warning decisions and proof eligibility are computed first.
• Relationship evidence：implemented — The policy evaluates the complete available Todo graph before role, status, Agent, ID or display-limit selection.
• Migration and operation：implemented — Reads do not repair Markdown, mutate Todo/lease state or replay a business operation.

关键代码讲解

• planPrWaitObservations：Select exact unfinished dependencies and bounded durable cadence；Full retained merge events suppress polls, independently of bounded resume readback。
• reconcile_pr_wait_dependencies：Transport typed targets into existing merge facts；Provider identity/state validated; load_registry introduces unregistered registry I/O。
• run_heartbeat_pre_quota：Existing explicit prequota entry and fail-open observer degradation；New dependency result composed without quota spend。
• resumeConditionHasKnownPendingTarget：Delivery supervision pending-proof rule；Repository-qualified PR identity alone no longer exempts supervision。

全 diff 包括三份公开文档、六个 runtime 文件和四个测试文件：compact lifecycle 参数默认 false，原完整 provider 路线保留；新 handler 接到真实 Effect runtime；Python/File/SQLite 与 TS 负例覆盖错误仓库、关闭未合并、超时、缺失身份、foreign/excluded/done/archive、去重及 batch 后续。两份 roadmap 的新段落插在原 #5283 引导句后，使新 checkpoint 错挂 #5283，并拆开原 S2/S10 段；建议把旧引导句移回原段并为本次 checkpoint 写独立链接（非本次主要阻塞）。

对主干的风险

[P1] 长历史会使已恢复任务重新陷入永久等待。 File 与 SQLite 的真实 CLI 首次观察使 resume_ready=true；追加501条无关 validation 后，todo list 只传最近500条事件，ready 变回 false。新 planner 却读到完整历史的合并事实，在42行直接跳过目标；再运行 prequota 的 targets/reads 均为0、degraded=false，随后 readback 仍是 false。旧 bounded reader 的缺陷本来已在基线存在；本 PR 新的观察与恢复路径没有闭环该事实，不能把短路径通过当成持续恢复。最小修复是由原 Todo resume owner 共享完整精确依赖证据；不要改 Todo 状态、伪造新时间或反复写合并事实。扩展现有真实 File/SQLite CLI 测试，要求越过500条无关事件及重启后仍 ready、远端读取仍为0。

语义与 CI 对齐

[P2] 新 registry codec read 未登记，本地必需语义 smoke 失败。 同一命令在基线通过、此 head 失败：pr_wait_reconcile.py::<module>.reconcile_pr_wait_dependencies::codec_read:load_registry#1。影响的是现有 project-registry I/O manifest 契约；补登记并审阅分类，或复用既有 registered runtime 路径。重跑 uv run python scripts/generate_project_registry_io_manifest.py 和 uv run --extra test loopx canary smoke-suite --script semantic-vocabulary-drift-smoke.py，不能缩扫描范围。此前作者的“全语义通过”声明不等同当前 head 实测。

本地33项 Python、10项 TS 与 typecheck 通过；真实 File/SQLite 首次/第二次 CLI 和16个四档宿主 on/off 比较都已执行。空 coinage advisory 只说明不支持的新词载体未检测到，不能覆盖 manifest 错误。未查询、轮询或等待远端 CI；这里的红项来自当前本地执行。权限、原要求、claim、lease、额度支出均未被观察器取得。

我的整体评价

REQUEST_CHANGES。持续工作 long_horizon 与使用旅程 user_experience 均为 not_yet_proven：短路径收益有真实证据，但已有合并事实在增长后的读回消失且 observer 永久安静，用户仍无法可靠继续。TS 选择与节奏、Python provider IO、既有 merge reducer 的职责划分合理；问题在同一依赖事实被完整历史与最近 500 条视图分别判断，必须统一恢复 owner 的证据范围。 本 PR 边界是 opt-in 依赖观察及真实 Todo 恢复，不包含所有宿主自动接入、远端操作或权限迁移。 关联未来重构已经检查：修复应收敛到既有 Todo 完整证据 owner，而不是再建同步器。共享词汇复用既有 PR/resume 状态；新增内部 observation 协议不扩权。原 Goal、全部宿主采用和 PostgreSQL 资格未据此关闭。

English verdict: REQUEST_CHANGES - 2e40ca0; Real File/SQLite continuation breaks past the 500-event readback cap; the new registry-read site also fails local semantic validation. Focused suites/typecheck pass; CI not consulted.

[loopx-agent]

Reviewer: model_agent | gpt-6.1-sol | OpenAI | runtime_reported | xhigh

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

精确 head：e6960f9efb6382ee8e06f8b04a3e671abcf18dcd；当前主干基线：5f3ae2add3e0262b263199539e5acb0347ac68ef；上次评审 head：2e40ca0e4d9f7884755c74e01a085e66e99e17dd。

动机

等待公开 PR 合并后继续原任务的 Agent 与维护者。 原来依赖 PR 已合并、离开 open 队列，任务仍等待；本次修复后写入原生合并事实，追加 501 条无关记录并重启，任务仍就绪且后续不再重复远端读取。 真实 File/SQLite CLI 的 list、status、quota 保留同一原始证明；第二次 prequota 为零远端读取，原要求、状态和认领不变。 本批不授权合并、review、认领或 lease 修改、Todo 自动完成和 Goal 验收。 安装态 host 采用、TurnEnvelope 自动核验及 legacy 退役仍分别验收。

改动思路

复用既有 Todo 类型化恢复和日志 owner，把完整证明与有界展示分开；可选远端观察不取得执行或结算 authority。 本 PR 交付源码态 heartbeat 的精确依赖观察与耐久恢复；安装采用和 TurnEnvelope 接入分别验收。

本轮重新按全 PR 判断：仅增加 observer、扩大展示上限或反复写 merge 都不能修复历史增长后的永久等待。入口保持既有 heartbeat-prequota；TS 决定精确依赖、actor 过滤、每批四项及持久 30 分钟节奏；Python 只负责既有 GitHub provider IO。读取完整保留日志使用已有 readGoalRolloutEventSnapshot，原 Todo resume owner 保留每个精确依赖的第一份证明，有界展示继续有界。删除 Python observer 的整份历史 RPC 复制，既有显式事件调用保留，未增加新的同步索引或 authority。

具体改动

判定规范：docs/reference/todo-continuation-readback.md，不可变 revision 5f3ae2add3e0262b263199539e5acb0347ac68ef，按改动前文本验收；新增说明不自证规则。

• Selection, proofs and transport：implemented。展示裁剪前取完整合并证明；501 条无关记录后仍 ready，匹配事件 ID 不变。
• Relationship evidence：implemented。完整 Todo 源先判断，再选择状态、认领、排除和展示；deferred 是待推进工作，done/archive/foreign 不进入 provider targets。
• Migration and operation：implemented。读模型不写 Todo/lease、不修 Markdown、不重演业务；显式观察只记原生 merge/validation 事实。

关键代码讲解

• planPrWaitObservations：Exact unfinished dependencies, actor scope, due ordering and durable cadence。Old open-queue-only discovery misses merged dependencies; typed exact targets do not depend on review membership.
• evaluateTodoResumeConditionsFromSource：Complete retained merge evidence before presentation。Old 500-row tail loses proof; source-backed evaluator keeps the first proof per exact dependency.
• reconcile_pr_wait_dependencies：Existing provider transport and native merge recording。Exact metadata identity/state checked; no Todo mutation; failed attempts still retain cadence.
• resumeConditionHasKnownPendingTarget：Causal wait qualification for delivery supervision。An unobserved PR identifier no longer exempts supervision; registered Todo/monitor proof remains required.

全 diff 还包含 pr_lifecycle 的默认关闭 compact 参数、真实 Effect runtime 路由、list/status/quota 的临时 source 属性、registry codec I/O manifest、新旧 Python/TS 回归和三份双语文档。上次 P1 证据范围分裂、P2 codec 未登记均有当前源码修复与实测；roadmap 中错误挂在 #5283 引导句的 checkpoint 现为独立 #6163 段，原段恢复连贯。

对主干的风险

未发现当前阻塞项。最强反例是“首次 ready、第二次零 reads”也可能只是 observer 安静了而 reader 永久 pending。本次在隔离真实 File/SQLite 上通过 fresh CLI 复现旧版两项失败，修复后保持原 proof；另外调用认证 GitHub 元数据的真实 CLI probe，两种 provider 都从 false 到 true，越过 500 条历史及重启仍 true，重复核验零远端读取。合成 provider 用于稳定负例，未冒充真实 GitHub 验收。

208 项 Python、24 项 TS、typecheck 及精确 head 风险集通过；19 项选择/执行检查与 5 项直接检查无失败或 manual hold。四档 host on/off 成对验证：省略 external_evidence_poll 无 prequota，开启时它在 quota guard 之前。既有 builder 未变，源码配套升级边界和原完整 lifecycle 默认保留。关闭未合并、错误仓库、缺失事实、超时/认证失败不能恢复；失败观察仍保留重启后的 30 分钟 backoff。未查询或等待远端 CI。

语义与 CI 对齐

复用现有 PR/resume/merge 词汇和日志 owner，新增 observation 为局部 Todo API；新增 registry codec site 按既有规范登记，全树语义 smoke 通过，未缩扫描或放宽预算。默认监督行为有意纠正：PR 编号绑定本身不再豁免交付监督，这与可选 provider IO 分开并已更新测试名称、双语说明。resume_ready 与 causal wait 是机器规则，不以“guidance”伪装硬义务；observer 不授予 must_attempt_work、认领、lease 或结算 authority。

完整本地日志读取仍有 IO 成本，借用已有快照解析缓存，不声称无限历史零成本或完整性能资格；安装态接入、TurnEnvelope 和 PostgreSQL 持续运行资格未据此关闭。回滚保留原 provider 状态与证明，不篡改时间或 predicate。测试 fixture 曾缺少 domain/adapter 导致 status 失败，补齐隔离环境后原断言保留并通过；该历史与旧版本增长失败均保留，未以删断言或提高上限消除失败。

我的整体评价

APPROVE，范围为本次源码态耐久恢复切片。long_horizon 与 user_experience 为 improved：历史增长及重启不再使原任务重新等待，用户无须清 predicate 或重复已知信息；必要的明确授权、真实依赖及生命周期转换保留。已做有界未来重构：删 Python 全历史复制、统一既有 typed owner，没有增加第二个持久决策源。默认关闭是外部观察的边界，完整证明与监督纠正是已披露的 core invariant。共用协议和语义登记一致；原先阻塞在新 head 有源码和真实运行证据。

这是作者自身评审的 COMMENTED 结论，不能代替独立维护者合并或证明整个 Goal 完成；runtime/control-plane 仍交维护者合并。安装采用与 TurnEnvelope 同源集成沿已有 owner 继续，legacy Python 退役依真实调用族和迁移/恢复验收独立推进。

English verdict: APPROVE - e6960f9; Complete retained merge facts now keep real File/SQLite continuation ready through history growth and restart, without predicate/status/claim mutation or repeat remote reads. Registry I/O and roadmap placement repaired. 208 Python / 24 TS, typecheck and 19-check exact-head premerge pass; CI not consulted; maintainer merge required.