# Urekebishaji wa msimbo katika eneo maalumu kwa kutumia modeli zalishi

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

Document language: sw

DOKEZO LA UTAFITI

Jinsi ya kuzuia kuandikwa upya kwa kitendakazi kizima bila sababu, huku modeli zalishi ikipewa uhuru wa kutosha kufanya badiliko la msimbo lililoombwa.

Imechapishwa 30 Julai 2026 [Alexey Gavrilov](https://aogavrilov.com/about/)

JIBU LA MOJA KWA MOJA

## Modeli zalishi inawezaje kurekebisha msimbo bila kuandika upya kitendakazi kizima?

Bainisha maeneo yanayolindwa na yanayoweza kuhaririwa kabla ya uzalishaji; tumia tena au wekea vizuizi uwakilishi unaolindwa; zalisha mapendekezo ya mabadiliko pekee; na ukatae matokeo yanayobadili msimbo unaolindwa au yanayoshindwa ukaguzi mahususi wa kazi. Uthabiti wa eneo na mafanikio ya kazi lazima vipimwe pamoja.

## Kwa nini tofauti hiyo ni muhimu

Mbinu na dhamana inayodaiwa zinahitaji mpaka uleule unaoonekana.

Ubadilishaji wa msimbo uliowekewa mipaka ni tatizo la uhariri, si kidokezo kifupi tu cha uzalishaji wa msimbo. Tayari ingizo lina artefakti inayostahili kuhifadhiwa, kwa hiyo mbinu inahitaji mpaka wa uhifadhi ulio wazi baina ya eneo linaloruhusiwa kubadilika na sifa zinazopaswa kubaki thabiti.

Mpaka unaweza kuwa fungu la chanzo, kifundo cha sintaksia, sahihi ya API, tabia ya jaribio, mkataba wa utegemezi au nafasi fiche iliyojifunzwa. Chaguo hizi hazibadilishani: kila moja hulinda sifa tofauti inayoonekana na huhitaji hatua inayolingana ya uthibitishaji.

## Utaratibu wa kivitendo

1. Eleza mkataba wa uhifadhi Bainisha eneo linaloweza kuhaririwa na matini, muundo, kiolesura, au tabia mahususi ambayo lazima ibaki bila kubadilika.
2. Chagua kiolesura cha udhibiti chenye upeo finyu zaidi unaofaa Tumia tena vipande vya msimbo chanzo ambavyo havijabadilika, tumia ujazaji wa mapengo au usimbuaji unaolenga uhariri, tekeleza vikwazo rasmi, au funga nafasi fiche teule kulingana na sifa inayohitajika.
3. Zalisha tu pale ambapo badiliko limeruhusiwa Dumisha uhuru wa kutosha ndani ya eneo linaloweza kuhaririwa ili kutatua jukumu; kunakili ingizo lote ni tendo la ndani lakini halileti maendeleo yoyote.
4. Thibitisha pamoja umahususi wa eneo na mafanikio Kataa mapendekezo yanayobadilisha maeneo yanayolindwa, yanayoshindwa kuchanganuliwa kisintaksia au kukompailiwa, yanayokiuka sifa zisizobadilika za kimuundo, au yasiyokidhi badiliko lililoombwa.

## Ushahidi wa kuhitaji

Dai lina nguvu kulingana tu na sifa iliyopimwa baada ya uzalishaji au usimbuaji.

- Tofauti nje ya eneo au kipimo kingine cha moja kwa moja cha uthabiti wa eneo lililolindwa.
- Kufaulu kwa kazi ndani ya eneo linaloweza kuhaririwa.
- Uchanganuzi wa kisintaksia, ukalimani, majaribio, ukaguzi tuli au sifa zisizobadilika zinazohusu kazi, kadiri zinavyofaa.
- Kiwango cha mabadiliko katika eneo linaloharirika ili kunakili kusidhaniwe kimakosa kuwa udhibiti.
- Upekee wa mapendekezo na ubadilikaji katika majaribio yanayorudiwa, ili uthabiti wa eneo usichanganywe na kuporomoka kwa modi.

### Yanayoripotiwa na utafiti uliounganishwa

- Jaribio lililounganishwa hubana vitendakazi vya Python vyenye tokeni 64 kuwa nafasi tambufu za kihierarkia na kuzalisha upya nafasi fiche teule chini ya vizuizi vya sehemu.
- Kufunga misimbo minne ya ngazi ya juu kuliongeza kiwango cha uchanganuzi kutoka 0.453 hadi 0.591, huku nafasi zisizofungwa zikibadilika kwa kiwango cha 0.936 na sampuli zenye masharti zikiendelea kuwa za kipekee kwa kiwango cha 0.998.
- Vipimo hivyo vinaonyesha mabadilishano kati ya uthabiti na uhuru juu ya kiwango cha tokeni; havithibitishi uhifadhi kamili wa sehemu ya msimbo chanzo, AST, semantiki au tabia.

[Soma muhtasari wa chapisho](https://aogavrilov.com/sw/publications/inspectable-control/) [Tafuta katika matini kamili ya makala](https://aogavrilov.com/publications/inspectable-control/full-text/)

## Mpaka wa mawanda

- Msimbo fiche uliofungwa si moja kwa moja kifundo cha AST, kipande cha chanzo kilicholindwa, wala kigeu kisichobadilika rasmi.
- Kiwango cha uchanganuzi wa kisintaksia huthibitisha uundikaji sahihi wa kisintaksia, si usahihi wa kiutendaji wala urekebishaji uliofanikiwa.
- Ushahidi ulioripotiwa unatokana na vitendakazi vifupi vya Python vilivyochakatwa awali na hauthibitishi tabia katika kiwango cha hazina.

## Vyanzo vya msingi na vinavyokaribiana

Tumia makala zilizounganishwa kwa mbinu asili, vipimo na vikwazo vilivyobainishwa.

1. [Inspectable Control for Structure-Preserving Software Regeneration](https://aogavrilov.com/sw/publications/inspectable-control/) Makala ya msingi na jaribio lenye mipaka la nafasi fiche ya kidaraja.
2. [EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding](https://arxiv.org/abs/2506.02780) Usimbuaji unaolenga uhariri na unaotumia tena sehemu za chanzo ambazo hazijabadilika.
3. [PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair](https://arxiv.org/abs/2604.03113) Huweka wazi uhifadhi na badiliko la kiwango cha chini katika mafunzo ya urekebishaji wa programu.

Inadumishwa na Alexey Gavrilov . Ukurasa huu unatoa muhtasari wa ushahidi uliopo na hauongezi matokeo yoyote ya majaribio zaidi ya yaliyo katika vyanzo vilivyonukuliwa.