Context Field Theory — 数学的コンテキスト選択

Context Field Theory（CFT）はLeanCTXのコンテキスト選択の背後にある数学的フレームワークです。すべてのコンテキスト要素をポテンシャル場の点としてモデル化し、AIの注意ウィンドウに何が属するかを決定する6次元関数で評価します。

ポテンシャル関数

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スコアをヒートマップで表示し、アクティブなハンドルとオーバーレイを検査し、トークン予算を追跡し、ライブContext Busイベントストリーミング付きのインタラクティブWeb UIでコンテキストを管理できます。

$ 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`	現在のタスクに最適なコンテキストパッケージをコンパイル

Context Field Theoryを使い始める

LeanCTXをインストールして、数学的精度でコンテキストを管理しましょう。

はじめる →

Context Field Theory — 数学的コンテキスト選択 | LeanCTX