Documentación

Context Field Theory — Selección matemática de contexto | LeanCTX

La Context Field Theory (CFT) proporciona un fundamento matemático para la gestión del contexto de IA. Aprende sobre la función potencial Phi, handles de contexto, overlays, el compilador de contexto y el motor de políticas.

La Context Field Theory (CFT) es el marco matemático detrás de la selección de contexto de LeanCTX. Modela cada elemento de contexto como un punto en un campo potencial, evaluado por una función de seis dimensiones que determina qué pertenece a la ventana de atención de tu IA.

La función potencial

El núcleo de CFT es el potencial de contexto Φ — una función que asigna una puntuación de relevancia a cada elemento de contexto en cada momento. Un Φ más alto significa mayor prioridad para la inclusión en la ventana 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)Relevancia de la tarea R(i,t) — ¿Qué tan relevante es este elemento para la tarea actual? Calculado vía clasificación de intención y similitud semántica.
S(i)Importancia estructural S(i) — ¿Qué tan central es este elemento en el grafo del codebase? Medido por centralidad de intermediación y PageRank.
G(i,t)Gradiente de recencia G(i,t) — ¿Cuándo fue este elemento accedido o modificado por última vez? Decaimiento temporal exponencial.
H(i)Frecuencia histórica H(i) — ¿Con qué frecuencia ha sido accedido este elemento entre sesiones? Rastrea la importancia a largo plazo.
C(i,v)Coste en tokens C(i,v) — ¿Cuántos tokens consume este elemento para el tokenizador del modelo actual? Penaliza elementos costosos.
D(i,S)Penalización de redundancia D(i,S) — ¿Cuánta superposición tiene este elemento con los elementos ya seleccionados? Previene duplicación.

Rich Context Ledger

El Rich Context Ledger actualiza el registro plano de entradas a un registro de elementos versionado. Cada elemento obtiene un ID direccionado por contenido, una máquina de estados (Candidate, Included, Excluded, Pinned, Stale), hashing de contenido para detección de cambios, puntuaciones Phi por elemento y rastreo completo de procedencia — permitiendo evicción precisa, reinyección inteligente y detección de conflictos de overlay.

$ lean-ctx control list --verbose

Handles de contexto

Los handles son referencias ligeras y tipadas a elementos de contexto. En lugar de cargar un archivo de 4.000 tokens, los agentes reciben un handle como @F1 que puede expandirse bajo demanda. Este patrón de evaluación diferida mantiene el contexto ligero hasta que el contenido sea realmente necesario.

$ lean-ctx control list

Overlays de contexto

Los overlays son mutaciones reversibles aplicadas a elementos de contexto. Modifican cómo se tratan los elementos sin cambiar la fuente. Los overlays persisten por proyecto y pueden apilarse, haciéndolos ideales para cambios de foco temporales o supresión de ruido.

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

Compilador de contexto

El compilador de contexto toma una descripción de tarea y un presupuesto de tokens, luego construye el paquete de contexto mínimo que maximiza el Φ total dentro de la restricción presupuestaria. Usa selección voraz con penalizaciones de redundancia para evitar duplicar información.

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

Motor de políticas de contexto

Las políticas son reglas declarativas que automatizan la gobernanza del contexto. Define patrones para fijación automática, supresión, límites de tokens y detección de obsolescencia en una configuración TOML simple. Las políticas se aplican por proyecto y se evalúan en cada operación de contexto.

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

Dashboard Cockpit

El Context Cockpit proporciona un dashboard visual para monitoreo en tiempo real. Visualiza puntuaciones Phi como mapas de calor, inspecciona handles y overlays activos, rastrea presupuestos de tokens y gestiona el contexto a través de una interfaz web interactiva con streaming en vivo de eventos del Context Bus.

$ lean-ctx dashboard --project=.

Herramientas CLI y MCP

Cada operación CFT es accesible tanto a través de comandos CLI como de herramientas MCP, dándote control total independientemente de tu modo de integración.

CommandDescription
lean-ctx control pin <path>Fijar un archivo para asegurar que permanezca en cada compilación de contexto
lean-ctx control suppress <path>Suprimir un archivo para excluirlo de la selección de contexto
lean-ctx control listListar todos los handles de contexto activos con sus puntuaciones Φ
lean-ctx compile --budget <tokens>Compilar un paquete de contexto óptimo dentro de un presupuesto de tokens
lean-ctx plan --task <description>Generar un plan de contexto con detección de déficit
ctx_control action="list"Listar todos los elementos de contexto rastreados con estado y puntuación Phi
ctx_plan task="fix auth" budget=8000Generar un plan de contexto clasificado por Phi para una tarea
ctx_compile mode="handles" budget=8000Compilar el paquete de contexto óptimo para la tarea actual

Comienza a usar Context Field Theory

Instala LeanCTX y comienza a gestionar contexto con precisión matemática.

Comenzar →