Context Field Theory (CFT) — это математический фреймворк, лежащий в основе выбора контекста LeanCTX. Он моделирует каждый элемент контекста как точку в потенциальном поле, оцениваемую шестимерной функцией, определяющей, что должно находиться в окне внимания вашего ИИ.
Потенциальная функция
Ядро 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 и полное отслеживание происхождения — обеспечивая точное вытеснение, умное повторное включение и обнаружение конфликтов оверлеев.
Дескрипторы контекста
Дескрипторы — это лёгкие типизированные ссылки на элементы контекста. Вместо загрузки файла размером 4000 токенов агенты получают дескриптор типа @F1, который может быть развёрнут по запросу. Этот паттерн ленивого вычисления поддерживает контекст компактным до тех пор, пока содержимое действительно не понадобится.
Оверлеи контекста
Оверлеи — это обратимые мутации, применяемые к элементам контекста. Они изменяют способ обработки элементов без изменения источника. Оверлеи сохраняются по проектам и могут накладываться, что делает их идеальными для временного переключения фокуса или подавления шума.
Компилятор контекста
Компилятор контекста принимает описание задачи и бюджет токенов, затем строит минимальный пакет контекста, максимизирующий суммарный Φ в рамках бюджетного ограничения. Используется жадный алгоритм с штрафами за избыточность для предотвращения дублирования информации.
Движок политик контекста
Политики — это декларативные правила, автоматизирующие управление контекстом. Определяйте шаблоны для автоматического закрепления, подавления, лимитов токенов и обнаружения устаревания в простой TOML-конфигурации. Политики применяются по проектам и оцениваются при каждой операции с контекстом.
Dashboard Cockpit
Context Cockpit предоставляет визуальную панель мониторинга в реальном времени. Просматривайте баллы Phi в виде тепловых карт, инспектируйте активные хэндлы и оверлеи, отслеживайте токен-бюджеты и управляйте контекстом через интерактивный веб-интерфейс с потоковой передачей событий Context Bus.
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 и начните управлять контекстом с математической точностью.
Начало работы →