La Context Field Theory (CFT) est le cadre mathématique derrière la sélection de contexte de LeanCTX. Elle modélise chaque élément de contexte comme un point dans un champ potentiel, évalué par une fonction à six dimensions qui détermine ce qui appartient à la fenêtre d'attention de votre IA.
La fonction potentielle
Le cœur de CFT est le potentiel de contexte Φ — une fonction qui attribue un score de pertinence à chaque élément de contexte à chaque instant. Un Φ plus élevé signifie une priorité plus haute pour l'inclusion dans la fenêtre de contexte.
Φ(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) | Pertinence de la tâche R(i,t) — Quelle est la pertinence de cet élément pour la tâche en cours ? Calculée via la classification d'intention et la similarité sémantique. |
S(i) | Importance structurelle S(i) — Quelle est la centralité de cet élément dans le graphe du codebase ? Mesurée par la centralité d'intermédiarité et PageRank. |
G(i,t) | Gradient de récence G(i,t) — Quand cet élément a-t-il été accédé ou modifié pour la dernière fois ? Décroissance temporelle exponentielle. |
H(i) | Fréquence historique H(i) — Combien de fois cet élément a-t-il été accédé entre les sessions ? Suit l'importance à long terme. |
C(i,v) | Coût en tokens C(i,v) — Combien de tokens cet élément consomme-t-il pour le tokenizer du modèle actuel ? Pénalise les éléments coûteux. |
D(i,S) | Pénalité de redondance D(i,S) — Quel chevauchement cet élément a-t-il avec les éléments déjà sélectionnés ? Empêche la duplication. |
Rich Context Ledger
Le Rich Context Ledger transforme le journal d'entrées plat en un registre d'éléments versionné. Chaque élément reçoit un identifiant adressable par contenu, une machine à états (Candidate, Included, Excluded, Pinned, Stale), un hachage de contenu pour la détection de changements, des scores Phi individuels et un suivi complet de la provenance — permettant une éviction précise, une ré-injection intelligente et la détection de conflits d'overlay.
Handles de contexte
Les handles sont des références légères et typées vers les éléments de contexte. Au lieu de charger un fichier de 4 000 tokens, les agents reçoivent un handle comme @F1 qui peut être étendu à la demande. Ce pattern d'évaluation différée maintient le contexte léger jusqu'à ce que le contenu soit réellement nécessaire.
Overlays de contexte
Les overlays sont des mutations réversibles appliquées aux éléments de contexte. Ils modifient la façon dont les éléments sont traités sans changer la source. Les overlays persistent par projet et peuvent être empilés, ce qui les rend idéaux pour les changements de focus temporaires ou la suppression du bruit.
Compilateur de contexte
Le compilateur de contexte prend une description de tâche et un budget de tokens, puis construit le paquet de contexte minimal qui maximise le Φ total dans la contrainte budgétaire. Il utilise la sélection gloutonne avec des pénalités de redondance pour éviter la duplication d'informations.
Moteur de politiques de contexte
Les politiques sont des règles déclaratives qui automatisent la gouvernance du contexte. Définissez des motifs pour l'épinglage automatique, la suppression, les limites de tokens et la détection d'obsolescence dans une configuration TOML simple. Les politiques s'appliquent par projet et sont évaluées à chaque opération de contexte.
Dashboard Cockpit
Le Context Cockpit fournit un tableau de bord visuel pour la surveillance en temps réel. Visualisez les scores Phi sous forme de cartes thermiques, inspectez les handles et overlays actifs, suivez les budgets de tokens et gérez le contexte via une interface web interactive avec streaming d'événements du Context Bus en direct.
Outils CLI & MCP
Chaque opération CFT est accessible à la fois via des commandes CLI et des outils MCP, vous donnant un contrôle total quel que soit votre mode d'intégration.
| Command | Description |
|---|---|
lean-ctx control pin <path> | Épingler un fichier pour qu'il reste dans chaque compilation de contexte |
lean-ctx control suppress <path> | Supprimer un fichier pour l'exclure de la sélection de contexte |
lean-ctx control list | Lister tous les handles de contexte actifs avec leurs scores Φ |
lean-ctx compile --budget <tokens> | Compiler un paquet de contexte optimal dans un budget de tokens |
lean-ctx plan --task <description> | Générer un plan de contexte avec détection de déficit |
ctx_control action="list" | Lister tous les éléments de contexte suivis avec état et score Phi |
ctx_plan task="fix auth" budget=8000 | Générer un plan de contexte classé par Phi pour une tâche |
ctx_compile mode="handles" budget=8000 | Compiler le package de contexte optimal pour la tâche en cours |
Commencer avec Context Field Theory
Installez LeanCTX et commencez à gérer le contexte avec une précision mathématique.
Démarrer →