[Task] Distill LoopX goal authority and quota decision boundaries #149

任务

将 loopx-project/loopx 的目标状态权威、下一步判定和预算记账边界蒸馏为可复用源码知识。

父 tracking：#91。相关工程提案：#137。本项交付知识，不实现 #137 的 checkpoint、控制器或执行能力。

• readset 基线：f094b2cfb2acde7a4a0d4d875bba52f64ac31ba9，2026-10-25。
• [RFC] Goal checkpoints: explicit progress and next actions across agent sessions #137 的历史参考仍为 a6f28057b49fe03bb234fa6ce1bac5d61df0c58f；不得静默替换历史结论的 pin。
• 状态：2026-10-28 已验收有界源码知识交付，PR docs: distill LoopX goal authority and quota boundaries #153 已合入；运行/agent 效果仍未验证。详见下方验收评论。

flowchart LR
  S["固定版本源码与测试"] --> K["来源记录 + 决策边界 + 反例"]
  K --> E["现有 rsi-evidence owner"]
  E --> P["关联 optimization-search-policy"]
  E -.-> R["供 RFC #137 参考；不实现运行系统"]

有界 readset

以下路径均相对上述固定版本：

补齐必要直接调用者与测试即可，不扩为整个 LoopX、UI、provider 或 distributed lease 全量蒸馏。最终 ledger 写明实际读取文件及未覆盖部分。

产出位置与去重

先复核当前 main，优先增量到：

• src/inferrsi/data/skill_library/workflows/rsi-evidence/references/loopx-goal-governance/：source ledger、机制说明、决策案例、适用边界。
• 同一 rsi-evidence/SKILL.md 加薄入口，保留既有 verdict/RunSpec/授权边界。
• methods/optimization-search-policy/ 只关联预算/停止决策知识，不复制第二份规范。
• 更新受影响的 Reference/知识导航与 [Tracking] SearchSpace distillation coverage and knowledge consolidation #91；按现有流程校验包装/投影，不手改派生文件、不制造额外来源计数。

上述产出路径已由 #153 交付。若结构已变，先解释最小调整，不默认新建独立技能、registry 或服务。

验收清单

• 固定 SHA、实际 readset、链接、许可和适用范围完整；区分源码、文档、测试与作者报告。
• 覆盖缺失 Goal、预算/能力阻塞、投影不等于权威、相同 effect 重放/冲突 identity、外部效果与 receipt 间崩溃窗口。
• 明确本地记账幂等/修复不等于外部执行 exactly-once，也不是供应商侧硬费用上限。
• 不照搬旧 registry/Markdown/events 目录为当前写协议；解释 Todo event 退役路径。
• 保留 TypeScript/Python 责任边界，不称其为可直接抽取的纯 Python quota kernel。
• 保持 source-derived candidate、empirical not_run；知识包装检查不等于 agent 效果或任务接受。
• 校验链接、实际 package reader、索引/投影；按 Skill Eval v1.1: automated evaluation for skill additions and updates #88 关联新增/更新评价计划，未运行明确记录。
• 交付 PR 引用本 issue 与 [Tracking] SearchSpace distillation coverage and knowledge consolidation #91；本项完成不关闭 [RFC] Goal checkpoints: explicit progress and next actions across agent sessions #137 或 [Tracking] SearchSpace distillation coverage and knowledge consolidation #91。

非目标与来源限制

不导入或运行 LoopX；不新建调度器、数据库、lease、自动重试/花费系统；不采集私有 agent 会话。vLLM #54951 的采用报告不是性能收益的因果证据。

当前 LICENSE 为 Apache-2.0；NOTICE 保留旧版本 MIT 历史与归属。改编保留适用通知，不将旧 MIT 标签套到当前源码；不作未经核实的企业归属声明。