Warum Determinismus die interessantere Eigenschaft ist als Geschwindigkeit
KI-Assistenten machen das Generieren billig. Der Engpass verschiebt sich damit dorthin, wo es vorher schon geklemmt hat — und Determinismus ist das, was ihn wieder öffnet.
Wenn Codegenerierung nichts mehr kostet, wird nicht das Schreiben zum Engpass, sondern alles, was danach kommt: verstehen, prüfen, belegen. Genau diese drei Schritte setzen voraus, dass gleiche Eingaben auch gleiche Ergebnisse erzeugen.
Was Determinismus hier konkret heißt
Für aSPARK bedeutet Determinismus nicht, dass ein Sprachmodell zweimal denselben Text produziert — das tut es nicht und muss es auch nicht. Deterministisch sind die abgeleiteten Modelle: Zwei Builds eines unveränderten Repositories erzeugen ein byte-identisches graph.json. Dieselbe Zusage gilt für die versiegelten Snapshots von aSPARK-insights.
Das ist ein bewusst enger Anspruch. Er reicht aber aus, um drei Dinge zu ermöglichen:
- Vergleichbarkeit. Ein Diff zwischen zwei Snapshots zeigt eine echte Veränderung im Projekt, nicht das Rauschen des Werkzeugs.
- Nachvollziehbarkeit. Eine Query-Antwort lässt sich reproduzieren, statt nur geglaubt zu werden.
- Prüfbarkeit. Ein Audit kann den Stand nachbauen, statt sich auf eine Momentaufnahme zu verlassen.
Der Preis dafür
Determinismus kostet Ausdrucksstärke. Ein Graph, der raten dürfte, könnte mehr Verbindungen finden. aSPARK-graph rät stattdessen nicht — es markiert schwache Kanten als inferred und meldet Template-Drift laut, statt sie stillschweigend zu überbrücken.
Das ist die richtige Richtung für ein Werkzeug, dessen Antworten in Gate-Entscheidungen einfließen. Eine Graph-Antwort ist eine Karte, nie ein Urteil.
Dieser Beitrag ist die Vorlage für weitere Artikel. Neue Beiträge landen als Markdown-Datei unter src/blog/de/ und erscheinen automatisch in Übersicht und Feed.