上下文场理论（CFT）是LeanCTX上下文选择背后的数学框架。它将每个上下文元素建模为势场中的一个点，通过六维函数评估，确定什么属于您的AI注意力窗口。
势函数
CFT的核心是上下文势 Φ — 一个在每个时间点为每个上下文元素分配相关性分数的函数。更高的Φ意味着更高的上下文窗口包含优先级。
Φ(i,t) = w_R · R(i,t) + w_S · S(i) + w_G · G(i,t) + w_H · H(i) − w_C · C(i,v) − w_D · D(i, selected)
| Factor | Description |
|---|---|
R(i,t) | 任务相关性 R(i,t) — 此元素与当前任务的相关程度如何？通过意图分类和语义相似度计算。 |
S(i) | 结构重要性 S(i) — 此元素在代码库图中的中心性如何？通过介数中心性和PageRank衡量。 |
G(i,t) | 时间梯度 G(i,t) — 此元素最近何时被访问或修改？指数时间衰减。 |
H(i) | 历史频率 H(i) — 此元素跨会话被访问了多少次？追踪长期重要性。 |
C(i,v) | 令牌成本 C(i,v) — 此元素对当前模型的分词器消耗多少令牌？惩罚昂贵的元素。 |
D(i,S) | 冗余惩罚 D(i,S) — 此元素与已选元素有多少重叠？防止重复。 |
Rich Context Ledger
Rich Context Ledger将扁平的条目日志升级为版本化的项目注册表。每个项目获得内容寻址ID、状态机（Candidate、Included、Excluded、Pinned、Stale）、用于变更检测的内容哈希、每项Phi分数和完整的来源追踪——实现精确的驱逐、智能重注入和覆盖层冲突检测。
$ lean-ctx control list --verbose
上下文句柄
句柄是上下文元素的轻量级类型化引用。代理不需要加载4,000令牌的文件，而是收到像@F1这样的句柄，可以按需展开。这种惰性求值模式保持上下文精简，直到真正需要内容时才加载。
$ lean-ctx control list
上下文覆盖层
覆盖层是应用于上下文元素的可逆变更。它们修改元素的处理方式而不更改源。覆盖层按项目持久化且可堆叠，非常适合临时焦点切换或噪声抑制。
$ lean-ctx control pin src/core/auth.rs
上下文编译器
上下文编译器接收任务描述和令牌预算，然后构建在预算约束内最大化总Φ的最小上下文包。它使用带有冗余惩罚的贪婪选择来避免信息重复。
$ lean-ctx compile --budget 8000 --task 'fix auth bug'
上下文策略引擎
策略是自动化上下文治理的声明式规则。在简单的TOML配置中定义自动固定、抑制、令牌限制和过时检测的模式。策略按项目适用，并在每次上下文操作时评估。
$ lean-ctx plan --task 'refactor database layer'
仪表板驾驶舱
Context Cockpit提供可视化仪表板用于实时监控。以热力图查看Phi分数，检查活跃句柄和覆盖层，跟踪令牌预算，并通过交互式Web UI和实时Context Bus事件流管理上下文。
$ lean-ctx dashboard --project=.
CLI和MCP工具
每个CFT操作都可通过CLI命令和MCP工具访问，无论您的集成模式如何，都能提供完全控制。
| Command | Description |
|---|---|
lean-ctx control pin <path> | 固定文件以确保其包含在每次上下文编译中 |
lean-ctx control suppress <path> | 抑制文件以将其从上下文选择中排除 |
lean-ctx control list | 列出所有活动的上下文句柄及其Φ分数 |
lean-ctx compile --budget <tokens> | 在令牌预算内编译最优上下文包 |
lean-ctx plan --task <description> | 生成带有缺陷检测的上下文计划 |
ctx_control action="list" | 列出所有已跟踪的上下文项及其状态和Phi分数 |
ctx_plan task="fix auth" budget=8000 | 为任务生成基于Phi排名的上下文计划 |
ctx_compile mode="handles" budget=8000 | 为当前任务编译最优上下文包 |