KEEL · 龙骨 · A CURRICULUM FOR THE AI ERA
上下文预算与 Compaction 配套项目 — keel 龙骨
Context Engineering 的配套项目：上下文预算与 Compaction 配套项目
这是一个不依赖供应商的最小实验室。它不尝试重新实现 tokenizer，也不把规则摘要伪装成高质量模型摘要；它把上下文工程中必须由程序验证的边界单独拿出来。
运行
python courses/foundation/context-engineering/course/project/examples/01_measure_and_budget.py
python courses/foundation/context-engineering/course/project/examples/02_select_context.py
python courses/foundation/context-engineering/course/project/examples/03_compaction_strategies.py
python courses/foundation/context-engineering/course/project/examples/04_compact_tool_trace.py
python courses/foundation/context-engineering/course/project/examples/05_trigger_and_events.py
python courses/foundation/context-engineering/course/project/examples/06_recover_after_compaction.py
python -m unittest discover -s courses/foundation/context-engineering/course/project/tests -v
源码阅读顺序
src/context_course/contracts.py Message、ToolCall、候选和运行事件
src/context_course/tokens.py 可替换计数器和消息包装开销
src/context_course/budget.py BudgetPlan、输入上限和分项报告
src/context_course/selection.py 优先级、依赖和稳定选择
src/context_course/compaction.py trim、摘要、工具轨迹压缩和校验
src/context_course/checkpoint.py 版本化快照、幂等保存和恢复
src/context_course/usage.py 估算 token 与 provider usage 的对账
示例用 _bootstrap.py 把 src 加入路径，便于直接从仓库根目录运行。生产代码应使用打包或项目环境，而不是依赖这个引导文件。
与真实模型连接时
将 TokenCounter 换成目标供应商的 tokenizer，并把 summary_builder 换成经过约束的模型调用。仍然保留本项目的预算检查、来源 ID、工具轨迹校验和 checkpoint 事件；模型输出不能绕过这些不变量。
发送前的估算不是最终事实。UsageReconciler 接收 provider 返回的实际 input/output usage，以及可选的 reasoning tokens，记录估算误差，并在总量超过窗口时给出失败信号；它可以用于校准 safety margin 和回归数据集。