docs(semantics): reconcile #4447 checkpoints with merged source evidence

[songoow]

Reconciles the #4447 checkpoints with the merged evidence, docs only, both language versions.

What changed

• #6270 merged as 1c2542df730e51fd50c892a1236e1b7166768a7b on 2026-10-14 and #6285 merged as 5ea7497b52f4b094ee2e4528f92bf69b934a25ee on 2026-10-13, but RFC §11 and the 2026-10-12 registered-source ledger (en/zh) still describe the inventory as "still proposed"/"needs integration" and test(settlement): qualify current Host readback in full settlement chains #6285 as an "open proposal". Both are corrected to the merged state.
• Adds a candidate Stage 3 readback section to the ledger in both languages: on canonical main c185e3f0cf19419a1786c882b006eb4567ff449e the ledger's exact selections re-run green — 663 Python domain + monitor-recovery, 706 semantic/value-note, 448 native TypeScript and 211 critical settlement/scope/source cases, no skips; drift smoke ok at 26/26 entries and 51/51 owner symbols (F1/F2 6/26, F3 0/26, F4 4/4, F5 1/1, F6 0/0, 45 unresolved producer sites, 17 unable to supply evidence).
• States the failure and the untested surfaces explicitly rather than implying a green stack. Failed: tests/control_plane/test_effect_interpreter_packet.py::test_real_executor_uses_verdict_and_replays_persisted_plan still fails on this revision (CI and local; LoopX Turn route is not host executable at loopx/control_plane/turn_driver/executor.py:180), outside this tracker's evidence groups and scope. Untested: installed frontend/Lark, live models, whole-tree F6.
• Keeps the closing boundary unchanged: final single-revision owner acceptance is still open, and the readback is a candidate record, not acceptance. F1/F2 stays 6/26; no source-domain inflation, no all-field deletion, no F6-wide claim.

Validation

• uv run --extra test python scripts/generate_rfc_status_index.py --check passes.
• uv run --extra test python -m pytest -q tests/architecture/test_rfc_status_index.py tests/architecture/test_contributor_task_board.py — 36 passed.
• No production code, provider, permission, persisted-state or CLI surface changes; diff is four Markdown files under docs/architecture/rfcs/.

Refs #4447.

[loopx-agent]

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=xhigh.

Exact head: ac4841c. Whole-PR review against c185e3f.

动机

维护者阅读 #4447 的 RFC 与来源账本时，需要分清已合并的证据和仍需本人验收的工作。旧文本继续把 #6270 的来源清单写成待集成，把 #6285 写成开放提案，会让读者重复安排已经完成的合并，或误判当前关闭条件。

此次在既有中英文 RFC 和账本内对齐已合并状态，并附上一个固定集成版本的候选读回。两次合并的实际 SHA、日期与固定 main 的 ancestry 已验证，26 项清单和原正式证明范围不变，owner 最终单版本验收仍开放。该文档修复不代表 #4447 关闭、完整 F6 证明、安装前端/Lark、真实模型或运行时发布；没有新增生产代码、状态或执行授权。

改动思路

继续复用现有 RFC §11 与 2026-10-12 registered-source ledger，更新状态和证据出处，避免新增平行检查点。来源证据已合并、当前候选读回和维护者最终接受是三个不同事实；本 PR 只整理前两个，并保留第三个 gate。历史失败和原版本结果保留，没有因为今天重跑通过而改写旧记录。

归属是现有语义治理文档与非规范账本，不增加 registry enrollment、producer 定义、scanner 或验收数据库。维护者仍按既有原生命令读取同一源码与语义 owner。当前 PR 边界是已合并事实与候选证据的双语对账，保留既有关闭条件，不扩张为产品迁移或运行时修复。

记录	本次核验与含义
#6270	1c2542d，2026-10-14 合并，进入固定 c185e3f
#6285	5ea7497，2026-10-13 合并，不重复记原 #6344 的修复
集成读回	固定 c185e3f 上的候选记录
tracker 关闭	仍等待 owner 对单一版本作最终记录；计数与合并都不代替它

这是当前 head 的文档/来源关系说明，不能作为 owner 验收 receipt。

具体改动

全量四份 Markdown +69/-32。两种语言的 RFC §11 更新 #6270/#6285 进入主干的事实及候选读回位置；两种语言的既有来源账本更新开头、#6285 段落、关闭边界，并在末尾增加固定版本的集成读回。原 26 行来源与兼容表、F1/F2 六项、历史 reader/signature 义务、unknown 范围、预算和其他里程碑均保持。

规范依据是变更前 semantic-vocabulary-convergence-v0.md 的 11. Normative delivery plan 和 Staged acceptance for #4447，以及 #4447 当前来源记录。逐项核验：同一注册集合和原范围保留；集成事实有实际 merge/ancestry；Stage 3 候选包含 passed/failed/untested；维护者验收没有被文档、PR 或测试数替代。

独立读取两 PR 的远端 merged 元数据，合并 SHA 均是固定 c185e3f 的祖先。当前 docs head 与该版本的 loopx/apps/packages/tests/scripts/examples 六个源码及验证树字节相同。两种语言的表恰好覆盖 canonical registry 的 26 个名字，51 个 owner 符号不变；当前 drift 的 F1/F2 6/26、F3 0/26、F4 4/4、F5 1/1、F6 0/0、45 未解析站点及其中 17 项不能供证均与记录一致。

对主干的风险

本次按账本原选择独立运行：领域 611 + monitor 52 = 663 passed、语义/value-note 706 passed、native TS 448 passed、关键组 211 passed，全部无跳过。本机使用 Python 3.14.8 / Node 24.21.0，不能冒充作者 Python 3.11.7 / Node 22.22.3 的原环境。另有 RFC index generator --check、36 项治理/任务板测试、canary 3 项直接检查和 5 项选中检查通过。没有读取、轮询或等待远端 CI。

记录的 executor fixture 失败也在当前同源代码实际复现：test_real_executor_uses_verdict_and_replays_persisted_plan 在 executor.py:180 以 LoopX Turn route is not host executable 退出。它不在上述选择内；文档明确保留该失败，没有把选择通过称为完整 Python suite 通过。本评审不修这个独立 fixture，也不将该失败当作四份 docs 新引入的 runtime 回归。

没有新增规则、协议字面量、预算放宽或自动删除字段。当前记录沿用原证据组和来源 owner；候选与接受的区别、历史结果和未测边界在中英文一致。不能用 26/26 或测试计数推导正式 producer 26 项、全树消费者完备、通用 F6 或已安装旅程成功。

我的整体评价

APPROVE，限定于文档对账。已合并状态与固定源码相符，复现选择及已知失败支持候选记录，owner 最终验收仍开放。它减少重复合并/修复的误导，没有创建新的关闭条件或改写历史成功与失败。

相邻未来维护检查选择保留既有双语 ledger，不另造 checkpoint store；后续集成版本应追加带 SHA 的候选记录，而非覆盖历史。历史经验的 RFC gate 提醒在此适用，但已根据当前合并与真实验证重新判断；未继承旧 verdict，不把文档或上下文送达当作维护者接受、模型采纳或长期收益。

English verdict: APPROVE — ac4841c. Both merged-source checkpoints and bilingual bounded evidence match the pinned integration revision. The known executor fixture failure is reproduced and retained. This reconciles documentation only; final owner acceptance and the stated untested surfaces remain open.