Documentação

Context Field Theory — Seleção Matemática de Contexto | LeanCTX

A Context Field Theory (CFT) fornece uma fundação matemática para o gerenciamento de contexto de IA. Aprenda sobre a função potencial Phi, handles de contexto, overlays, o compilador de contexto e o motor de políticas.

A Context Field Theory (CFT) é o framework matemático por trás da seleção de contexto do LeanCTX. Ela modela cada elemento de contexto como um ponto em um campo potencial, avaliado por uma função de seis dimensões que determina o que pertence à janela de atenção da sua IA.

A Função Potencial

O núcleo da CFT é o Potencial de Contexto Φ — uma função que atribui uma pontuação de relevância a cada elemento de contexto em cada momento. Φ mais alto significa maior prioridade para inclusão na janela de contexto.

Φ(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)
FactorDescription
R(i,t)Relevância da tarefa R(i,t) — Quão relevante é este elemento para a tarefa atual? Calculado via classificação de intenção e similaridade semântica.
S(i)Importância estrutural S(i) — Quão central é este elemento no grafo do codebase? Medido por centralidade de intermediação e PageRank.
G(i,t)Gradiente de recência G(i,t) — Quando este elemento foi acessado ou modificado pela última vez? Decaimento temporal exponencial.
H(i)Frequência histórica H(i) — Com que frequência este elemento foi acessado entre sessões? Rastreia importância a longo prazo.
C(i,v)Custo em tokens C(i,v) — Quantos tokens este elemento consome para o tokenizador do modelo atual? Penaliza elementos caros.
D(i,S)Penalidade de redundância D(i,S) — Quanta sobreposição este elemento tem com elementos já selecionados? Previne duplicação.

Rich Context Ledger

O Rich Context Ledger transforma o registro plano de entradas em um registro de itens versionado. Cada item recebe um identificador endereçável por conteúdo, uma máquina de estados (Candidate, Included, Excluded, Pinned, Stale), hashing de conteúdo para detecção de mudanças, pontuações Phi individuais e rastreamento completo de proveniência — permitindo evição precisa, reinjeção inteligente e detecção de conflitos de overlay.

$ lean-ctx control list --verbose

Handles de Contexto

Handles são referências leves e tipadas para elementos de contexto. Em vez de carregar um arquivo de 4.000 tokens, os agentes recebem um handle como @F1 que pode ser expandido sob demanda. Este padrão de avaliação preguiçosa mantém o contexto enxuto até que o conteúdo seja realmente necessário.

$ lean-ctx control list

Overlays de Contexto

Overlays são mutações reversíveis aplicadas a elementos de contexto. Eles modificam como os elementos são tratados sem alterar a fonte. Overlays persistem por projeto e podem ser empilhados, tornando-os ideais para mudanças temporárias de foco ou supressão de ruído.

$ lean-ctx control pin src/core/auth.rs

Compilador de Contexto

O compilador de contexto recebe uma descrição de tarefa e um orçamento de tokens, então constrói o pacote de contexto mínimo que maximiza o Φ total dentro da restrição orçamentária. Usa seleção gulosa com penalidades de redundância para evitar duplicação de informações.

$ lean-ctx compile --budget 8000 --task 'fix auth bug'

Motor de Políticas de Contexto

Políticas são regras declarativas que automatizam a governança de contexto. Defina padrões para fixação automática, supressão, limites de tokens e detecção de obsolescência em uma configuração TOML simples. Políticas se aplicam por projeto e são avaliadas em cada operação de contexto.

$ lean-ctx plan --task 'refactor database layer'

Dashboard Cockpit

O Context Cockpit fornece um painel visual para monitoramento em tempo real. Visualize pontuações Phi como mapas de calor, inspecione handles e overlays ativos, acompanhe orçamentos de tokens e gerencie o contexto através de uma interface web interativa com streaming de eventos do Context Bus ao vivo.

$ lean-ctx dashboard --project=.

Ferramentas CLI e MCP

Cada operação CFT é acessível tanto via comandos CLI quanto ferramentas MCP, dando controle total independente do seu modo de integração.

CommandDescription
lean-ctx control pin <path>Fixar um arquivo para garantir que permaneça em cada compilação de contexto
lean-ctx control suppress <path>Suprimir um arquivo para excluí-lo da seleção de contexto
lean-ctx control listListar todos os handles de contexto ativos com suas pontuações Φ
lean-ctx compile --budget <tokens>Compilar um pacote de contexto ótimo dentro de um orçamento de tokens
lean-ctx plan --task <description>Gerar um plano de contexto com detecção de déficit
ctx_control action="list"Listar todos os itens de contexto rastreados com estado e pontuação Phi
ctx_plan task="fix auth" budget=8000Gerar um plano de contexto classificado por Phi para uma tarefa
ctx_compile mode="handles" budget=8000Compilar o pacote de contexto ideal para a tarefa atual

Comece a Usar Context Field Theory

Instale o LeanCTX e comece a gerenciar contexto com precisão matemática.

Começar →