Dokumentation

Context Field Theory — Mathematische Kontextauswahl | LeanCTX

Context Field Theory (CFT) bietet ein mathematisches Fundament für KI-Kontextmanagement. Erfahre mehr über die Phi-Potenzialfunktion, Kontext-Handles, Overlays, den Kontext-Compiler und die Policy-Engine.

Context Field Theory (CFT) ist das mathematische Framework hinter LeanCTX' Kontextauswahl. Es modelliert jedes Kontextelement als Punkt in einem Potenzialfeld, bewertet durch eine sechsdimensionale Funktion, die bestimmt, was ins Aufmerksamkeitsfenster deiner KI gehört.

Die Potenzialfunktion

Der Kern von CFT ist das Kontextpotenzial Φ — eine Funktion, die jedem Kontextelement zu jedem Zeitpunkt einen Relevanzwert zuweist. Höheres Φ bedeutet höhere Priorität für die Aufnahme ins Kontextfenster.

Φ(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)Aufgabenrelevanz R(i,t) — Wie relevant ist dieses Element für die aktuelle Aufgabe? Berechnet via Intent-Klassifikation und semantischer Ähnlichkeit.
S(i)Strukturelle Bedeutung S(i) — Wie zentral ist dieses Element im Codebase-Graphen? Gemessen durch Betweenness-Centrality und PageRank.
G(i,t)Aktualitätsgradient G(i,t) — Wann wurde dieses Element zuletzt aufgerufen oder geändert? Exponentieller zeitlicher Verfall.
H(i)Historische Häufigkeit H(i) — Wie oft wurde dieses Element über Sitzungen hinweg aufgerufen? Verfolgt langfristige Bedeutung.
C(i,v)Token-Kosten C(i,v) — Wie viele Tokens verbraucht dieses Element für den Tokenizer des aktuellen Modells? Bestraft teure Elemente.
D(i,S)Redundanzstrafe D(i,S) — Wie viel Überlappung hat dieses Element mit bereits ausgewählten Elementen? Verhindert Duplikation.

Rich Context Ledger

Das Rich Context Ledger erweitert das flache Eintragsprotokoll zu einer versionierten Elementregistrierung. Jedes Element erhält eine inhaltsadressierte ID, eine Zustandsmaschine (Candidate, Included, Excluded, Pinned, Stale), Content-Hashing für Änderungserkennung, elementweise Phi-Scores und vollständige Herkunftsverfolgung — für präzise Eviction, intelligente Wiedereinführung und Overlay-Konflikterkennung.

$ lean-ctx control list --verbose

Kontext-Handles

Handles sind leichtgewichtige, typisierte Referenzen auf Kontextelemente. Statt eine 4.000-Token-Datei zu laden, erhalten Agenten ein Handle wie @F1, das bei Bedarf expandiert werden kann. Dieses Lazy-Evaluation-Muster hält den Kontext schlank, bis Inhalte tatsächlich benötigt werden.

$ lean-ctx control list

Kontext-Overlays

Overlays sind reversible Mutationen, die auf Kontextelemente angewendet werden. Sie ändern, wie Elemente behandelt werden, ohne die Quelle zu modifizieren. Overlays sind pro Projekt persistent und stapelbar — ideal für temporäre Fokuswechsel oder Rauschunterdrückung.

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

Kontext-Compiler

Der Kontext-Compiler nimmt eine Aufgabenbeschreibung und ein Token-Budget, baut dann das minimale Kontextpaket, das das Gesamt-Φ innerhalb der Budget-Grenze maximiert. Er nutzt Greedy-Selektion mit Redundanzstrafen, um Informationsduplikation zu vermeiden.

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

Kontext-Policy-Engine

Policies sind deklarative Regeln, die die Kontextsteuerung automatisieren. Definiere Muster für automatisches Fixieren, Unterdrückung, Token-Limits und Veraltetheitserkennung in einer einfachen TOML-Konfiguration. Policies gelten pro Projekt und werden bei jeder Kontextoperation ausgewertet.

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

Dashboard Cockpit

Das Context Cockpit bietet ein visuelles Dashboard für Echtzeit-Monitoring. Phi-Scores als Heatmaps anzeigen, aktive Handles und Overlays inspizieren, Token-Budgets verfolgen und Kontext über eine interaktive Web-UI mit Live Context Bus Event-Streaming verwalten.

$ lean-ctx dashboard --project=.

CLI- & MCP-Tools

Jede CFT-Operation ist sowohl über CLI-Befehle als auch über MCP-Tools zugänglich, was dir volle Kontrolle unabhängig von deinem Integrationsmodus gibt.

CommandDescription
lean-ctx control pin <path>Eine Datei fixieren, damit sie in jeder Kontextkompilation enthalten ist
lean-ctx control suppress <path>Eine Datei unterdrücken, um sie von der Kontextauswahl auszuschliessen
lean-ctx control listAlle aktiven Kontext-Handles mit ihren Φ-Werten auflisten
lean-ctx compile --budget <tokens>Ein optimales Kontextpaket innerhalb eines Token-Budgets kompilieren
lean-ctx plan --task <description>Einen Kontextplan mit Defiziterkennung generieren
ctx_control action="list"Alle verfolgten Kontextelemente mit Status und Phi-Score auflisten
ctx_plan task="fix auth" budget=8000Einen Phi-basierten Kontextplan für eine Aufgabe generieren
ctx_compile mode="handles" budget=8000Das optimale Kontextpaket für die aktuelle Aufgabe kompilieren

Context Field Theory nutzen

Installiere LeanCTX und beginne, Kontext mit mathematischer Präzision zu verwalten.

Loslegen →