# Vorhersagbare Codegenerierung erfordert einen Erhaltungsvertrag

Canonical HTML: https://aogavrilov.com/de/research-notes/predictable-code-generation-preservation-contract/

Document language: de

FORSCHUNGSNOTIZ

Warum deterministisches Sampling nicht ausreicht und wie beobachtbare geschützte Eigenschaften sowie Akzeptanzprüfungen das Verhalten der Codegenerierung testbar machen.

Veröffentlicht 30. Juli 2026 [Alexey Gavrilov](https://aogavrilov.com/about/)

DIREKTE ANTWORT

## Was macht Codegenerierung vorhersagbar statt lediglich steuerbar?

Vorhersagbarkeit setzt einen vor der Generierung festgelegten, beobachtbaren Vertrag voraus: was geändert werden darf, was stabil bleiben muss, wie jede Eigenschaft gemessen wird und wann eine Ausgabe abzulehnen ist. Ein fester Prompt, Seed, eine feste Maske, Grammatik oder ein fester latenter Code ist lediglich ein Mechanismus.

## Warum diese Unterscheidung relevant ist

Das Verfahren und die beanspruchte Garantie müssen sich auf dieselbe beobachtbare Grenze beziehen.

Deterministische Generierung reproduziert unter festen Bedingungen dieselbe Ausgabe. Vorhersagbare Generierung macht eine festgelegte Eigenschaft prüfbar: etwa, dass eine API-Signatur unverändert bleibt, Änderungen auf einen Bereich beschränkt sind, die Syntax gültig bleibt oder eine Testsuite weiterhin erfolgreich durchläuft.

Diese Unterscheidung ist wesentlich, da eine Steuereingabe ihre Wirkung nicht festlegt. Das Sperren einer latenten Position, das Fixieren eines Zufallsstarts oder die Beschränkung einer Grammatik kann die Generierung leichter überprüfbar machen; die geschützte Eigenschaft muss jedoch weiterhin nach dem Decodieren gemessen werden.

## Ein praxisorientiertes Verfahren

1. Geschützte Eigenschaften festlegen Geben Sie die Quellbereiche, Strukturen, Schnittstellen, Verhaltensweisen oder Verteilungen an, die innerhalb einer definierten Toleranz bleiben müssen.
2. Einen passenden Steuerungsmechanismus wählen Setzen Sie je nach zu schützender Eigenschaft die Wiederverwendung von Quelltext, Bearbeitungsmasken, formale Einschränkungen, latente Fixierung oder Vorschlag mit anschließender Validierung ein.
3. Akzeptanzkriterien vor dem Sampling festlegen Legen Sie Parserprüfung, Kompilierung, Tests, strukturelle Prüfungen, Lokalitätsschwellen und Kriterien für den Aufgabenerfolg fest, bevor Sie Ausgaben untersuchen.
4. Verhalten bei Wiederholungen messen Akzeptanz, Verwerfung, Stabilität, Diversität und Unsicherheit über wiederholte Durchläufe hinweg berichten, statt sich auf ein einzelnes illustratives Ergebnis zu stützen.

## Erforderliche Evidenz

Eine Aussage ist nur so belastbar wie die nach der Generierung oder Decodierung gemessene Eigenschaft.

- Geschützte und bearbeitbare Eigenschaften werden getrennt ausgewiesen.
- Für jede beanspruchte Garantie existiert ein beobachtbarer Test oder eine Metrik.
- Aufgabenerfolg und Stabilität werden gemeinsam bewertet.
- Die Variabilität zwischen wiederholten Durchläufen und die Verwerfungsraten sind ausgewiesen.
- Nicht gemessene Eigenschaften werden ausdrücklich von der Aussage ausgenommen.

### Was die verlinkte Studie berichtet

- Das verknüpfte Experiment macht hierarchische diskrete Positionen als überprüfbare Steuerungsfläche für kurze Python-Funktionen zugänglich.
- Das Sperren von vier Positionen der obersten Ebene verbesserte die Parserfolgsrate; zugleich blieben die Änderungsrate der nicht gesperrten Positionen und die Einzigartigkeit der Stichproben hoch.
- Der Beitrag weist dies als frühe probabilistische Evidenz aus; er beansprucht weder exakten AST-Erhalt noch semantische Äquivalenz, funktionale Korrektheit oder Vorhersagbarkeit auf Repository-Ebene.

[Publikationsübersicht lesen](https://aogavrilov.com/de/publications/inspectable-control/) [Volltext des Beitrags durchsuchen](https://aogavrilov.com/publications/inspectable-control/full-text/)

## Geltungsgrenze

- Vorhersagbarkeit ist eigenschaftsspezifisch: Ein System kann hinsichtlich der Syntax vorhersagbar, hinsichtlich des Verhaltens jedoch unvorhersagbar sein.
- Deterministische Dekodierung kann dieselbe falsche oder zu weitreichende Änderung wiederholen.
- Das auf dieser Website dokumentierte Experiment begründet keine Garantien über das untersuchte Szenario kurzer Funktionen hinaus.

## Primärquellen und verwandte Quellen

Konsultieren Sie die verlinkten Arbeiten zu den ursprünglichen Methoden, Messungen und genannten Einschränkungen.

1. [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/de/publications/inspectable-control/) Primäres, klar abgegrenztes Experiment und ausgewiesene Evidenzgrenzen.
2. [EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding](https://arxiv.org/abs/2506.02780) Ein bearbeitungsorientierter Mechanismus, der unveränderte Quelltextsegmente wiederverwendet.
3. [Constrained Decoding of Diffusion LLMs with Context-Free Grammars](https://arxiv.org/abs/2508.10111) Ein Beispiel für einen Mechanismus mit einer expliziten formalen Beschränkung.

Kuratiert von Alexey Gavrilov . Diese Seite fasst die vorhandene Evidenz zusammen und ergänzt keine experimentellen Ergebnisse, die über die zitierten Quellen hinausgehen.