Repository navigation
[Task] Distill LoopX goal authority and quota decision boundaries #149
Description
任务
将 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。 - 状态：待蒸馏，尚无知识交付、运行验证或效果结论。
flowchart LR
S["固定版本源码与测试"] --> K["来源记录 + 决策边界 + 反例"]
K --> E["现有 rsi-evidence owner"]
E --> P["关联 optimization-search-policy"]
E -.-> R["供 RFC #137 参考；不实现运行系统"]
有界 readset
以下路径均相对上述固定版本：
| 主题 | 入口 | 要回答的问题 |
|---|---|---|
| 事实 → 下一步 | loopx/control_plane/quota/run_decision.ts、decision_summary.py |
TypeScript 判定与 Python 适配的边界；缺状态、能力/工作区阻塞、终止与恢复如何影响建议？ |
| 状态权威与投影视图 | docs/architecture/rfcs/ledger/shared-goal-authority-state-provider-v0/2026-09-25-todo-event-retirement.md 及实际 authority/provider 调用者 |
哪些是权威状态，哪些只是 Markdown/索引投影？退役事件源如何拒绝而非静默回放？ |
| 记账与重放 | loopx/control_plane/quota/spend_commit.ts 及直接 accounting 依赖 |
effect identity、request digest、preview、commit、repair/replay 的保证边界 |
| 反例与测试 | tests/control_plane/test_quota_run_decision.py、test_quota_decision_summary.py、test_quota_spend_commit_runtime.py；tests/control_plane_ts/quota_run_decision.test.ts、quota_spend_commit.test.ts |
等待/拒绝/恢复的输入；测试证明和未证明的内容 |
补齐必要直接调用者与测试即可，不扩为整个 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；按现有流程校验包装/投影，不手改派生文件、不制造额外来源计数。
这是建议产出路径，尚不存在交付声明。若结构已变，先解释最小调整，不默认新建独立技能、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 标签套到当前源码；不作未经核实的企业归属声明。
Activity