Warum Code, den ein LLM (großes Sprachmodell) generiert, in der Produktion scheitert

Generierter Code scheitert, wenn es weder Regeln noch Verifizierung gibt. Die AST engine (Engine für abstrakte Syntaxbäume) wendet Regeln an; die Verifizierung bestätigt das Ergebnis.

Was scheitert bei generiertem Code?

Direkte open()-Aufrufe, Nutzung von os.path, fehlende Rückgabeverträge, fehlende Dekoratoren und hartkodierte Pfade sind Beispiele für Verstöße, die die AST engine korrigiert.

Reicht Generieren aus?

Nein. Generieren ohne Verifizierung und Reparatur ist ein stiller Fehler. Das Ergebnis muss verifiziert und festgehalten werden.

Was bestätigt ein korrigiertes Werkzeug?

Der Verifizierungsschritt hält das Urteil fest und aktualisiert die Signatur. Ein bestandenes Urteil bestätigt das Werkzeug.

Warum scheitert das LLM in der Produktion?

Weil das LLM Code ohne definiertes Verständnis der Laufzeitbeschränkungen generiert. Die AST engine setzt diese Beschränkungen durch.

Welche Rolle hat die AST engine?

Sie wendet deterministische Regeln auf den generierten Code an und korrigiert Verstöße vor der Verifizierung. So stellt sie sicher, dass der Code die Richtlinie einhält.