# Lokalisadong pagbabago ng code gamit ang mga generative model Canonical HTML: https://aogavrilov.com/fil/research-notes/localized-code-modification-generative-models/ Document language: fil TALA SA PANANALIKSIK Kung paano maiiwasan ang di-kailangang muling pagsulat sa buong function habang binibigyan ang generative model ng sapat na kalayaang gawin ang hinihinging pagbabago sa code. Nailathala Hulyo 30, 2026 [Alexey Gavrilov](https://aogavrilov.com/about/) TUWIRANG SAGOT ## Paano mababago ng isang generative model ang code nang hindi muling isinusulat ang buong function? Itakda bago ang generation ang mga protektado at nae-edit na bahagi, muling gamitin o limitahan ang protektadong representasyon, bumuo lamang ng mga kandidatong pagbabago, at tanggihan ang mga output na bumabago sa protektadong code o hindi pumapasa sa mga pagsusuring partikular sa gawain. Dapat magkasamang sukatin ang lokalidad at tagumpay sa gawain. ## Kung bakit mahalaga ang pagkakaiba Kailangan ng metodo at ipinapahayag na garantiya ang iisang naoobserbahang hangganan. Ang lokalisadong pagbabago ng code ay suliranin sa pag-edit, hindi lamang isang mas maikling prompt sa pagbuo ng code. May artifact na sa input na mahalagang panatilihin, kaya kailangan ng pamamaraan ang tahasang hangganan ng pagpapanatili sa pagitan ng rehiyong maaaring baguhin at ng mga katangiang kailangang manatiling matatag. Maaaring ang hangganan ay source span, syntax node, API signature, asal ng test, kontrata ng dependency, o natutuhang latent na posisyon. Hindi mapagpapalit ang mga pagpiling ito: magkakaibang naoobserbahang katangian ang pinoprotektahan ng bawat isa at nangangailangan ito ng katugmang hakbang sa pagpapatunay. ## Isang praktikal na pamamaraan 1. Itakda ang kontrata sa pagpapanatili Tukuyin ang rehiyong maaaring i-edit at ang eksaktong teksto, estruktura, interface, o gawi na kailangang manatiling hindi nagbabago. 2. Piliin ang pinakamakitid na kapaki-pakinabang na control surface Muling gamitin ang mga di-nagbagong span ng source, gumamit ng infilling o decoding na nakatuon sa pag-edit, maglapat ng mga pormal na constraint, o i-lock ang mga piniling posisyon ng latent ayon sa kinakailangang katangian. 3. Bumuo lamang kung saan pinahihintulutan ang pagbabago Panatilihin ang sapat na kalayaan sa loob ng rehiyong maaaring i-edit upang malutas ang gawain; lokal nga ang pagkopya sa buong input, ngunit wala itong naisasagawang pagbabago. 4. Sabay na beripikahin ang lokalidad at tagumpay Tanggihan ang mga kandidatong bumabago sa mga protektadong rehiyon, nabibigo sa parsing o compilation, lumalabag sa mga invariant ng estruktura, o hindi nakatutugon sa hiniling na pagbabago. ## Ebidensiyang dapat kailanganin Ang tibay ng isang pahayag ay hanggang sa tibay lamang ng katangiang sinukat matapos ang pagbuo o pag-decode. - Diff sa labas ng rehiyon o ibang tuwirang sukatan ng katatagan ng protektadong rehiyon. - Tagumpay ng gawain sa loob ng nae-edit na rehiyon. - Parsing, compilation, mga test, static check, o mga invariant na partikular sa gawain, ayon sa naaangkop. - Antas ng pagbabago sa nae-edit na bahagi upang hindi mapagkamalang kontrol ang pagkopya. - Pagiging natatangi ng mga kandidato at baryabilidad sa mga paulit-ulit na run upang hindi mapagkamalang mode collapse ang lokalidad. ### Ano ang iniuulat ng naka-link na pag-aaral - Pinaiikli ng nakaugnay na eksperimento ang mga 64-token Python function tungo sa mga hirarkikal na discrete position at muling binubuo ang mga piniling latent na posisyon sa ilalim ng bahagyang constraint. - Itinaas ng pag-lock sa apat na top-level code ang parse rate mula 0.453 tungong 0.591, habang nagbago ang mga hindi naka-lock na posisyon sa rate na 0.936 at nanatiling 0.998 unique ang mga conditional sample. - Inilalantad ng mga sukat na iyon ang trade-off sa katatagan at kalayaan sa ibabaw ng antas ng token; hindi nila pinatutunayan ang eksaktong pagpapanatili ng span ng source, AST, semantika, o gawi. [Basahin ang pangkalahatang-ideya ng publikasyon](https://aogavrilov.com/fil/publications/inspectable-control/) [Hanapin sa buong teksto ng papel](https://aogavrilov.com/publications/inspectable-control/full-text/) ## Hangganan ng saklaw - Ang naka-lock na latent code ay hindi awtomatikong isang AST node, protektadong source span, o pormal na invariant. - Pinatutunayan ng parse rate ang wastong pagkakabuo ng sintaks, hindi ang functional correctness o matagumpay na pagkukumpuni. - Nagmumula ang iniulat na ebidensiya sa maiikli at na-preprocess na Python function at hindi ito nagtatatag ng asal sa saklaw ng repository. ## Pangunahin at kaugnay na mga sanggunian Sumangguni sa mga naka-link na papel para sa mga orihinal na pamamaraan, sukat, at nakasaad na limitasyon. 1. [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/fil/publications/inspectable-control/) Pangunahing papel at eksperimento sa herarkikal na latent na may takdang saklaw. 2. [EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding](https://arxiv.org/abs/2506.02780) Decoding na nakatuon sa pag-edit at muling gumagamit sa mga hindi nabagong bahagi ng source. 3. [PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair](https://arxiv.org/abs/2604.03113) Ginagawang tahasan ang pagpapanatili at pinakamaliit na pagbabago sa pagsasanay para sa pagkukumpuni ng programa. Pinananatili ni Alexey Gavrilov . Nilalagom ng pahinang ito ang umiiral na ebidensiya at wala itong idinaragdag na resultang eksperimental bukod sa nasa mga siniping sanggunian.