# Lokaliseret kodemodifikation med generative modeller

Canonical HTML: https://aogavrilov.com/da/research-notes/localized-code-modification-generative-models/

Document language: da

FORSKNINGSNOTAT

Sådan undgås unødig omskrivning af hele funktionen, samtidig med at en generativ model bevarer tilstrækkelig frihed til at foretage den ønskede kodeændring.

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

DIREKTE SVAR

## Hvordan kan en generativ model ændre kode uden at omskrive hele funktionen?

Definér beskyttede og redigerbare områder før genereringen, genbrug eller begræns den beskyttede repræsentation, generér kun ændringskandidater, og afvis output, der ændrer beskyttet kode eller ikke består opgavespecifikke kontroller. Lokalitet og vellykket opgaveløsning skal måles samlet.

## Hvorfor sondringen er vigtig

Metoden og den hævdede garanti skal have den samme observerbare grænse.

Lokaliseret kodemodifikation er et redigeringsproblem og ikke blot en kortere prompt til kodegenerering. Inputtet indeholder allerede en artefakt, der er værd at bevare, og metoden kræver derfor en eksplicit bevarelsesgrænse mellem det område, der må ændres, og de egenskaber, der skal forblive stabile.

Grænsen kan være et kildeinterval, en syntaksknude, en API-signatur, testadfærd, en afhængighedskontrakt eller en indlært latent position. Disse valg er ikke indbyrdes udskiftelige: Hvert valg beskytter en forskellig observerbar egenskab og kræver et tilsvarende verifikationstrin.

## En praktisk fremgangsmåde

1. Angiv bevarelseskontrakten Identificér det redigerbare område samt den præcise tekst, struktur, grænseflade eller adfærd, der skal forblive uændret.
2. Vælg den snævrest mulige anvendelige styringsflade Genbrug uændrede passager i kildeteksten, anvend udfyldning eller redigeringsorienteret afkodning, håndhæv formelle begrænsninger, eller lås udvalgte latente positioner i overensstemmelse med den påkrævede egenskab.
3. Generér kun dér, hvor ændringer er tilladt Bevar tilstrækkelig frihed inden for det redigerbare område til at løse opgaven; kopiering af hele inputtet er lokal, men bringer ikke løsningen videre.
4. Verificér lokalitet og resultat samlet Afvis kandidater, der ændrer beskyttede områder, ikke kan parses eller kompileres, bryder strukturelle invarianter eller ikke opfylder den ønskede ændring.

## Påkrævet evidens

En påstand er kun så stærk som den egenskab, der måles efter generering eller afkodning.

- Diff uden for området eller et andet direkte mål for stabiliteten i det beskyttede område.
- Opgavesucces inden for det redigerbare område.
- Parsing, kompilering, test, statiske kontroller eller opgavespecifikke invarianter, alt efter hvad der er relevant.
- Ændringsrate i det redigerbare område, så kopiering ikke forveksles med styring.
- Kandidaternes entydighed og variation mellem gentagne kørsler, så lokalitet ikke forveksles med modekollaps.

### Hvad det linkede studie rapporterer

- Det tilknyttede eksperiment komprimerer Python-funktioner på 64 tokens til hierarkiske diskrete positioner og regenererer udvalgte latente positioner under partielle begrænsninger.
- Låsning af fire koder på øverste niveau øgede parseraten fra 0.453 til 0.591, mens de ulåste positioner ændrede sig med en rate på 0.936, og de betingede samples bevarede en unikhedsgrad på 0.998.
- Disse målinger synliggør en afvejning mellem stabilitet og frihed over tokenniveauet; de beviser ikke nøjagtig bevarelse af kildekodeudsnit, AST, semantik eller adfærd.

[Læs publikationsoversigten](https://aogavrilov.com/da/publications/inspectable-control/) [Søg i artiklens fulde tekst](https://aogavrilov.com/publications/inspectable-control/full-text/)

## Afgrænsning

- En låst latent kode er ikke automatisk en AST-node, et beskyttet kildekodeinterval eller en formel invariant.
- Parsingsraten påviser syntaktisk velformethed, ikke funktionel korrekthed eller vellykket reparation.
- Den rapporterede evidens stammer fra korte, forbehandlede Python-funktioner og dokumenterer ikke adfærd på repositoryniveau.

## Primære og nært beslægtede kilder

Konsultér de linkede artikler for de oprindelige metoder, målinger og anførte begrænsninger.

1. [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/da/publications/inspectable-control/) Hovedartikel og afgrænset eksperiment med hierarkiske latente repræsentationer.
2. [EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding](https://arxiv.org/abs/2506.02780) Redigeringsorienteret afkodning, der genbruger uændrede områder af kildeteksten.
3. [PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair](https://arxiv.org/abs/2604.03113) Gør bevarelse og minimale ændringer eksplicitte i træning til programreparation.

Vedligeholdes af Alexey Gavrilov . Denne side sammenfatter eksisterende evidens og tilføjer ingen forsøgsresultater ud over de citerede kilder.