# Voorspelbare codegeneratie vereist een behoudscontract

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

Document language: nl

ONDERZOEKSNOTITIE

Waarom deterministische bemonstering niet volstaat en hoe waarneembare beschermde eigenschappen en acceptatiecontroles het gedrag van codegeneratie toetsbaar maken.

Gepubliceerd 30 juli 2026 [Alexey Gavrilov](https://aogavrilov.com/about/)

KORT ANTWOORD

## Wat maakt codegeneratie voorspelbaar in plaats van slechts stuurbaar?

Voorspelbaarheid vereist een vooraf vastgelegd, waarneembaar contract: wat mag veranderen, wat stabiel moet blijven, hoe elke eigenschap wordt gemeten en wanneer uitvoer wordt afgewezen. Een vaste prompt, seed, masker, grammatica of latente code is slechts een mechanisme.

## Waarom het onderscheid van belang is

De methode en de geclaimde garantie moeten dezelfde waarneembare afbakening hanteren.

Deterministische generatie herhaalt onder vaste omstandigheden dezelfde uitvoer. Voorspelbare generatie maakt een vastgelegde eigenschap toetsbaar: een API-signatuur blijft bijvoorbeeld ongewijzigd, bewerkingen blijven binnen een gebied, de syntaxis blijft geldig of een testsuite blijft slagen.

Dit onderscheid is van belang omdat de invoer voor een sturingsmechanisme het effect ervan niet vastlegt. Het vastzetten van een latente positie of seed, of het opleggen van grammaticabeperkingen, kan generatie beter inspecteerbaar maken, maar de beschermde eigenschap moet na decodering nog steeds worden gemeten.

## Een praktische werkwijze

1. Leg beschermde eigenschappen vast Benoem de brongebieden, structuren, interfaces, gedragingen of verdelingen die binnen een vastgestelde tolerantie moeten blijven.
2. Kies een passend controlemechanisme Gebruik hergebruik van broncode, bewerkingsmaskers, formele beperkingen, latente vergrendeling of voorstel-plus-validatie, afhankelijk van de eigenschap die moet worden beschermd.
3. Definieer acceptatiecriteria vóór het samplen Leg vóór inspectie van de uitvoer de criteria vast voor parsing, compilatie, tests, structurele controles, lokaliteitsdrempels en taaksucces.
4. Meet gedrag over herhaalde uitvoeringen Rapporteer acceptatie, afwijzing, stabiliteit, diversiteit en onzekerheid over herhaalde uitvoeringen, in plaats van op één illustratief resultaat te vertrouwen.

## Te vereisen bewijs

Een bewering is slechts zo sterk als de eigenschap die na generatie of decodering is gemeten.

- Beschermde en bewerkbare eigenschappen worden afzonderlijk gespecificeerd.
- Voor elke geclaimde garantie bestaat een observeerbare toets of metriek.
- Taaksucces wordt samen met stabiliteit geëvalueerd.
- Variabiliteit en afwijzingspercentages bij herhaalde uitvoeringen zijn zichtbaar.
- Niet-gemeten eigenschappen worden uitdrukkelijk van de uitspraak uitgesloten.

### Wat de gekoppelde studie rapporteert

- Het gekoppelde experiment ontsluit hiërarchische discrete posities als een inspecteerbaar controlevlak voor korte Python-functies.
- Het vergrendelen van vier posities op het hoogste niveau verbeterde het parsepercentage, terwijl onvergrendelde posities sterk bleven veranderen en de uniciteit van steekproeven hoog bleef.
- Het artikel rapporteert dit als vroeg probabilistisch bewijs; het claimt geen exact behoud van de AST, semantische equivalentie, functionele correctheid of voorspelbaarheid op repositoryschaal.

[Het publicatieoverzicht lezen](https://aogavrilov.com/nl/publications/inspectable-control/) [Doorzoek de volledige tekst van het artikel](https://aogavrilov.com/publications/inspectable-control/full-text/)

## Afbakening van de reikwijdte

- Voorspelbaarheid is eigenschapsspecifiek: een systeem kan voorspelbaar zijn wat de syntaxis betreft en onvoorspelbaar wat het gedrag betreft.
- Deterministische decodering kan dezelfde onjuiste of te ingrijpende wijziging herhalen.
- Het beschikbare experiment op de site biedt geen garanties buiten de gemeten setting met korte functies.

## Primaire en verwante bronnen

Raadpleeg de gekoppelde artikelen voor de oorspronkelijke methoden, metingen en vermelde beperkingen.

1. [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/nl/publications/inspectable-control/) Primair afgebakend experiment en expliciet vermelde bewijsgrenzen.
2. [EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding](https://arxiv.org/abs/2506.02780) Een op bewerking gericht mechanisme dat ongewijzigde bronsegmenten hergebruikt.
3. [Constrained Decoding of Diffusion LLMs with Context-Free Grammars](https://arxiv.org/abs/2508.10111) Een voorbeeld van een mechanisme met een expliciete formele beperking.

Onderhouden door Alexey Gavrilov . Deze pagina vat bestaand bewijsmateriaal samen en voegt geen experimentele resultaten toe buiten de aangehaalde bronnen.