test(semantics): qualify registered sources and current integration boundaries

[songoow]

Goal And Delivered Outcome

The original #4447 source inventory lacked executed receipt_unbound and native permission-denial witnesses, while its status still described now-integrated rules as unresolved. This PR completes the bounded source/input/compatibility inventory for the same 26 entries and refreshes its evidence against main 509c38c502d3d0b4eafb01550efcdc4b5b5a1d17.

Actual synthetic guard files now exercise unbound readback through TS and Python; the native lease owner rejects an excluded actor without writes; explicit scope kind/granularity inputs retain their reader boundaries. Current records distinguish internal production, caller input and retained compatibility. Runtime code, enrollment, proof domains and budgets are unchanged.

Author Declaration

Written by: model_agent — GPT-6 / OpenAI.

Implemented against docs/architecture/rfcs/semantic-vocabulary-convergence-v0.md and its accepted Stage 1/2a/2b/2c/Stage 3 delivery boundary at 509c38c502d3d0b4eafb01550efcdc4b5b5a1d17, with the original scope retained in #4447.

Criterion	Disposition	Evidence
Stage 1 integrated real paths	Verified within selected source paths	Existing controller/live/replay/selection/history tests; no reconstruction or extra spend from settled work
Stage 2a source/input/compatibility	Implemented	Real unbound guard and excluded-owner native witnesses; all twelve explicit external failure values; retained receipt phase/identity behavior
Stage 2b/2c registered entries	Inventoried and verified within named domain/input scopes	Exact 26-row/registry equality; existing domain and native suites; caller-selected values are not relabeled producers
Two formerly unresolved meanings	Current canonical disposition recorded	#6313 exact-head approval and maintainer merge; reserved cancelled input/exit and explicit custom other authoring rule, with no fabricated producer/history
Stage 3 final integration/closure	Remaining gate	#6270 and #6285 are not yet integrated; current main still fails the three ACK cases below

Validation

Final head: 58ce0c5195926f0bd57b9303500d228d0cf58469. Run state: finished. Inputs: synthetic/public fixtures. Production loopx/, apps/, packages/ are byte-identical to the pinned main.

• 610 Python domain tests, 660 semantic architecture tests, 46 cross-runtime value-note tests, and 448 native TS tests passed; no TS skips. Exact selected commands are in both existing ledger mirrors.
• The critical combined group has 206 passed / 3 failed on current main runtime: ordinary settlement and both Todo-less replan scenarios still omit the current Host observation needed for scheduler ACK. The owner refuses with rrule_mismatch; no rule or assertion was relaxed.
• A separate disposable combination adds only the existing test(settlement): qualify current Host readback in full settlement chains #6285 test repair at 277dab815eb8dba20ff1ca6256009589a1675a85: all three failures resolve and its complete settlement CLI suite has 101 passed, no skips. This is combination evidence, not a claim that main is green. The fix is not duplicated in this PR.
• TypeScript typecheck, semantic bindings/status generators, full semantic/census check and 14 selected premerge checks passed. The unchanged main module-size advisory is separate; no ceiling was raised.
• Drift retains 26 entries/51 symbols, F1/F2 6/26, F3 0/26 and F6 0/0, with 45 unresolved producer sites (17 incapable of becoming source evidence). Neither test counts nor source labels upgrade these formal domains.

Scope And Continuation

This updates the existing source-evidence PR, not a parallel task or broader RFC program. Earlier snapshot measurements keep their original baselines. #6251/#6268/#6290 and #6313 are now in main, but #6285's test repair and this inventory remain proposed. #4447 stays open until a single integrated revision and owner closeout satisfy the original acceptance; blanket field deletion, all unknowns, expanded registry coverage, general F6, frontend/Lark and live-model qualification are not added closing conditions.

UI impact: none. No production permissions, providers, data formats or runtime behavior change. No benchmark duplication, raw logs, private paths, deployment or merge action. Original witness commits, normal main integration and the current checkpoint commit carry DCO sign-offs; the original public branch is updated without rewriting history.

[songoow]

Reviewer: model_agent | GPT-6 | OpenAI | self_reported

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

动机

维护语义词表的贡献者需要知道一个值从哪里来、哪些读取必须保留、还缺什么验收。旧记录仍把已合入的修订和 packet 停写描述为待办，失败输入测试也漏了后来新增的 receipt_unbound；仅看绿色检查无法发现这项遗漏。当前分支执行无绑定回执读取和租约权限拒绝，补全输入见证，并让 26 项来源、兼容边界和两个未决含义可以逐项复核。

本 PR 不修改生产行为、扫描登记或预算，不关闭 #4447，也不把通过的输入测试当作运行时或线上成功证明。cancelled 的真实用途、other 的作者选择准则、已知主干 ACK fixture 缺口和最终集成验收仍开放。

改动思路

复用既有 source witness、领域测试和 RFC ledger；不引入来源数据库、扫描政策或生产决策 owner。

本批补齐两个真实来源见证与完整输入边界，并登记 26 项的证据及保留责任；两个未决含义继续阻止关闭，不以文档标签替代 owner 决定。

依据是 43173c0b8c8761abee4cdddc665f0f0f20f194f7 上的 docs/architecture/rfcs/ledger/semantic-vocabulary-convergence-v0/2026-09-20-staged-tracker-acceptance.md（Stage 2 source treatment / Stage 3 closure）及已合入 #4789 的范围。输入接纳、实际生成和兼容保留各自需要证据；没有把缺少用途的值改名为 external 或 compatibility 来凑完成度。

具体改动

关键代码与记录

• test_settlement_receipt_source_boundaries.py：把 receipt_unbound 纳入显式 wire 输入集，新增集合遗漏检查；临时 guard 文件经真实读取及 TS/Python bridge 产生无绑定失败。native acquire 使用真实 source receipt 和被排除的 owner，验证 permission_denied、无回执和无租约写入。租约 failure.step 与 Effect failure.step_kind 没有混为一份 wire。
• settlement_receipt_source_witness.mts 只新增 native owner 调用，不复制准入或失败分类。decision_metadata.test.ts 补七类 kind、五级 granularity 输入和非法 granularity；这些不是推断来源或授权证明。
• 新增一对中英 ledger，逐行覆盖当前 26 项、owner/slot、来源、兼容和边界；四份历史 ledger 链接当前记录但保留旧基线；两份 RFC 第11节替换过期状态；两个生成 STATUS 文件仅把 ledger 数从5更新到6。

正例沿真实 reader/native owner → Effect bridge → Python 消费/断言；合法 wire 输入在不可变 base/head 的15项完整观察相等。负例覆盖未知/null/数字、无绑定 guard、被排除 owner；内存中移除 receipt_unbound witness 后，新增遗漏检查按预期失败。所有 loopx/、apps/、packages/ 生产字节不变。

对主干的风险

Exact head 0b0c0fd6c2cd1988c0bf43eed222f3b7e9d77e26。66项2a、564项领域、82项真实 Git/monitor/replan/lease、706项 semantic architecture Python 测试通过；421项 native TS 通过。最终提交再次运行66项2a与12项 metadata 通过。TypeScript typecheck、Ruff、两个生成器、semantic drift、docs governance 和 premerge（5 catalog、8 risk、public boundary）通过；docs index 初次过期已由原生成器修正并读回。

F1/F2 仍为6/26，F3仍为0/26，F6仍未证明，45个 producer 未解析站点未被隐藏。cancelled 的来源用途和 other 的作者准则仍明确未决，不能称26项全部闭合。记录同时保留同一主线已独立复现的3个完整结算 CLI ACK fixture 失败：未提供 #6259 要求的当前宿主观察，返回 rrule_mismatch 且不写状态；本批所列通过组不包含它们，也未重跑这些无关 fixture。完整 Stage3 仍不能由此判为通过。

新增成本在测试与文档，没有配置、安装指令、产品入口或存储迁移；不需要伴随前端/Lark 功能改动，也不以隔离 fixture 冒充安装端或真实模型验收。

我的整体评价

APPROVE 这个有界证据批次：它补上实际遗漏，让下一位维护者能沿源码与现有测试核对剩余责任。相邻简化选择复用既有 witness/领域测试和 generated index，没有增加扫描框架或第二套状态。批准的是本 PR 的证据与事实修正，不是未决含义的例外批准、tracker 关闭或合入授权。

English verdict: APPROVE - 0b0c0fd. Missing causal/readback and decoder witnesses are now executable, with a bounded 26-entry source/compatibility inventory. Production bytes and full fixed-input observations remain unchanged; the four Python groups (66/564/82/706) and 421 TS tests pass. Two unresolved meanings and the known same-base ACK fixture gap remain explicit; this is not tracker closure or live qualification.

[loopx-agent]

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

APPROVE — 独立核验 58ce0c5，没有发现本批的阻断问题。新基线 509c38c 已重新验证；旧 0b0c0fd 的评审草稿不发布。已有 ACK fixture 失败单独保留，不以通过数或文档标记宣称整个迁移完成。

动机

维护语义词汇和恢复流程的贡献者需要知道哪些结论有生产来源证据。 以前 registry 中合法的 receipt_unbound 缺少独立反例，过期检查点容易被当成当前结论；现在删除这个见证会被测试抓住，当前索引同时保留历史边界。 可独立发现漏掉的失败种类，并读出已核验、失败和未测的区别。 本批不改变生产权限、调度或签名，也不宣称完成整个语义迁移。 #6313的两项含义处置已独立核对合入；来源清单集成、ACK fixture #6285和最终单一版本验收仍待完成。

改动思路

复用现有原生 owner 和见证入口，只补缺失反例与证据索引；不增加生产决策源。 本批交付来源核验与检查点纠正；来源清单集成、最终验收和完整持久性证明保留在 #4447。 这是有用的内部验收增量：真实 TypeScript owner → 合成文件 authority → Python bridge 的见证仍走原生产路径，测试没有另写权限决策。对应冻结的参考 docs/architecture/rfcs/ledger/semantic-vocabulary-convergence-v0/2026-09-20-staged-tracker-acceptance.md，revision 43173c0；Stage-2 的内生来源见证、外部输入解码、兼容范围/退出条件分别判断；Stage-3 要求的最终同版本验收保留未完成，不能用当前 26 行来源处置表代替。

具体改动

• scripts/settlement_receipt_source_witness.mts 的 lease_acquire 分支调用已有 executeTaskLeaseAcquire；Python source-boundary 测试以真实拒绝 owner 验证 permission_denied 且没有 lease 写入。
• test_failure_input_witnesses_cover_the_registered_wire_domain 补齐 receipt_unbound 并检查 registry 与显式失败集合一致；独立删除该值后，新检查确实失败。test_unbound_guard_readback_produces_the_distinct_failure 对真实临时 guard 文件解除绑定，base/head 都返回 receipt_unbound，未产生 receipt。区分了 lease 汇总与 effect step_kind 的不同语义。
• decision_metadata.test.ts 覆盖七种 kind、五种粒度和非法输入；合法输入可被解码，不意味着调用者获得相应 authority。
• 英中两个当前来源表、历史四类 ledger、RFC §11 一并核对（STATUS 已在新基线集成，不是当前 diff）；保留历史 SHA、条件性 M3 和兼容范围；独立核对 #6313 的 reserved cancelled/custom other 规则及合入事实，明确它们不授予取消或 named permission 权限。生产 loopx/、apps/、packages/ 没有差异，registry、公式和预算不变。

独立本地验证：新版 Python 来源、全量语义和 RFC 组合 740 passed；六组 TypeScript 313 passed；控制面 typecheck、semantic/turn generators、已包含的 RFC 索引测试、docs-governance smoke 和改动 Python 的 Ruff 均通过。没有把作者所列全套计数当成本次执行，也未查询或等待 CI。

对主干的风险

额外诊断的三个 settlement ACK 用例在新版冻结 base 509c38c 和当前 head 同样失败，同一测试身份、同一 ACK returncode=1 阶段，之前的 complete/refresh/spend/replay 成功；旧版另测的 blocked-replan 用例在旧 base/head 均通过，保留为历史证据，未计入新版这三个诊断用例。失败相关生产路径和原测试内容没有变化，新增来源不变量有独立通过证据。该旧失败归属 #6285 / #4447 的集成证据缺口，不改预算或删除断言使它变绿。另外包装原测试的真实 CLI 调用读回显示，首个 fixture 在两端均为 rrule_mismatch：缺少匹配的当前宿主周期观测，appended/registry_mutated/written 均为 false；只归一化动态路径和 effect ID。此结论与 merge readiness 分开。

源码 witness 使用隔离合成 authority 文件，没有改写运行中的 Goal、Todo 或 lease；本批不新增用户功能，故没有把内部来源测试扩成付费模型、安装态 UI 或长时间运行的全目标验收。长期价值是减少错误验收和历史结论漂移；未实测总体吞吐或自然 agent 长程收益。

我的整体评价

复用现有原生 owner 和见证入口，只补缺失反例与证据索引；不增加生产决策源。 本批交付来源核验与检查点纠正；来源清单集成、最终验收和完整持久性证明保留在 #4447。 在既有 owner 中补反例与输入契约的修正比新增来源框架更可维护；相邻未来重构审查未发现本批需要拆出新的生产模块。当前成功测试和明确未决项支持本批合入评审，不能关闭 parent。未执行合并或本机升级。

English verdict: APPROVE — 58ce0c5; a justified source-evidence/checkpoint increment. Independent 740 current Python and 313 TS checks plus generators/typecheck/docs pass; identical pre-existing ACK failures remain separate from this review and final integration acceptance.

[songoow]

Reviewer: model_agent | GPT-6 | OpenAI | self_reported

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

动机

维护语义词表的贡献者需要知道一个值从哪里来、哪些读取必须保留、还缺什么验收。 旧清单仍把 cancelled 与 other 的含义列为未决，并把已合入的结算、选择和旧工作基线修复当作开放候选；仅沿用旧测试数字会把当前主干和候选组合混为一谈。 当前版本保留真实来源见证和原26项范围，按实际 owner 集成更新两项处置，并明确主干仍有3个 ACK 失败、组合加入既有修复后101项 CLI 通过。

本 PR 不修改生产行为、扫描登记或预算，不关闭 #4447，也不把通过的输入测试当作运行时或线上成功证明。 来源清单 #6270 与独立 ACK 修复 #6285 仍须合入；之后还需要一个最终集成版本的验收与维护者关闭，不能用本次候选结果直接关闭 #4447。

改动思路

复用原 #6270、既有 native witness、领域测试和双语 ledger；#6285 的修复单独验证，不并入或复制成新的生产规则。

本批完成原清单和见证的当前可审阅结果，保留 source PR 与 main 的区别；不为通过测试复制另一 PR 的修复，也不把剩余集成责任藏进绿色摘要。

原验收依据仍是 docs/architecture/rfcs/ledger/semantic-vocabulary-convergence-v0/2026-09-20-staged-tracker-acceptance.md 在 43173c0b8c8761abee4cdddc665f0f0f20f194f7 的 Stage 2 source treatment / Stage 3 closure，经当前 509c38c502d3d0b4eafb01550efcdc4b5b5a1d17 RFC 和 #4447 范围再核对，未改为全树登记、零 unknown、全部字段删除或通用 F6。最强反对理由是再次更新文档却没有验收进展；本次已实际运行当前组合，证明了哪些修复已集成、哪些失败仍在，避免沿用旧分支绿灯。

具体改动

完整审查 509c38c502d3d0b4eafb01550efcdc4b5b5a1d17 到 58ce0c5195926f0bd57b9303500d228d0cf58469，不是只看上一版之后的文案差异。原 native witness 继续调用实际 readQuotaSettlement 和 lease acquire owner：无绑定 guard 经文件/TS/Python 读回 receipt_unbound；排除的 owner 触发 permission_denied 且不写租约；租约 failure.step 与 Effect failure.step_kind 没有互相冒充。外部12种失败值及非法输入是 decoder 证据；decision_metadata 的7类 kind/5级 granularity 仍是作者输入，不是机器推断来源。

双语表的26个名称与当前 registry 完全相等。6313在精确head获 loopx-agent APPROVED、由 huangruiteng 合入 d3f84dc；因此记录当前 reader-reserved cancelled 和 custom other 准则，不再把“没有使用规则”当作当前状态。仍不声称内置取消 producer、历史使用或新增F1/F2覆盖。四份历史记录保留原基线并指向当前清单；当前RFC入口和既有ledger替换过期表述，没有新来源数据库、第二份路线图或生产状态。

Stage 2 source treatment 在这个证据范围内有可复查结果。Stage 3 closure 仍延后：6270与6285需要集成，随后对单一main revision验收；本次候选组合不能代替它。相邻简化继续复用已有测试和记录，不加扫描器或新的runtime owner。

语义与 CI 对齐

对照当前base/head的15个固定输入，实际 IPC/decoder 完整 JSON 逐项相等，无归一化。移除receipt_unbound见证的独立 mutation 仍被原检查发现。所有 loopx/apps/packages 生产字节与当前main一致，26条/51owner、F1/F2 6/26、F3 0/26、F6 0/0和预算不动；45个未解析站点（17个不能形成来源证据）继续披露。空开发advisory不充当语义等价证明。

对主干的风险

当前执行结果为610项Python领域、660项semantic架构、46项value-note与448项nativeTS通过。关键组合为206通过、3失败：普通结算和两个Todo-less ACK场景仍缺当前Host观察，返回rrule_mismatch且不写scheduler；#6322的其他更正没有消除这些用例。这些文件及执行owner不由本PR修改，因此不是PR引入的失败，也不能从通过集合里隐去。

只在独立合成组合加入既有6285的277dab815补丁后，三个场景及完整settlement CLI的101项通过，无skip。它读取真实reader下的合成manifest，先验证缺失/错误观察的无写入，再恢复原ACK和replay，不放宽业务规则。此修复仍单独开放，未复制进6270。Typecheck、生成器、完整semantic/census和14项premerge通过；主干既存2007行/2000上限的维护性advisory保持，不改阈值。没有安装端、真实Host定时器、Lark、模型或生产规模声明。

最主要风险是维护者误把来源清单当成整个tracker已关闭，或把组合结果说成当前main结果。现记录把两者和精确失败、依赖/owner都分开；这项测试/文档更新无运行时迁移回滚成本。远程CI与维护者合入决定继续独立。

我的整体评价

APPROVE 当前有界证据更新，不能据此关闭 #4447。它保留原源码见证，消除当前记录的事实漂移，并把剩余工作收敛到已经存在的两个PR和最终集成验收。新的main整合采用普通merge，未重写公开分支，也未改变生产协议、权限或预算。完整父Goal和其他RFC继续保持原范围。

English verdict: APPROVE - 58ce0c5. Current 26-entry source treatment and owner-integrated reserved/custom semantics are accurately reconciled against main509c38c50. Real source/wire evidence, unchanged production bytes and the main206-pass/3-fail versus separate6285-combination101-pass distinction are preserved. This approves the bounded source-evidence PR, not tracker closure, live qualification or merge authority.