शोध टिप्पणी
जननात्मक मॉडलों से स्थानीयकृत कोड संशोधन
जननात्मक मॉडल को अपेक्षित कोड परिवर्तन करने की पर्याप्त स्वतंत्रता देते हुए पूरे फ़ंक्शन के अनावश्यक पुनर्लेखन को रोकने की विधि।
सीधा उत्तर
कोई जनरेटिव मॉडल पूरे फ़ंक्शन को दोबारा लिखे बिना कोड को कैसे संशोधित कर सकता है?
जनन से पहले संरक्षित और संपादनयोग्य क्षेत्र निर्धारित करें, संरक्षित निरूपण का पुनः उपयोग करें या उसे बाधित रखें, केवल संभावित परिवर्तन उत्पन्न करें और संरक्षित कोड बदलने वाले अथवा कार्य-विशिष्ट जाँचों में विफल निर्गम अस्वीकार करें। स्थानीयता और कार्य-सफलता को साथ मापा जाना चाहिए।
यह भेद महत्त्वपूर्ण क्यों है
विधि और दावाकृत गारंटी के लिए समान प्रेक्षणीय सीमा आवश्यक है।
स्थानीयकृत कोड संशोधन संपादन की समस्या है, केवल छोटा कोड-जनन प्रॉम्प्ट नहीं। इनपुट में पहले से ऐसी कलाकृति होती है जिसे संरक्षित रखना सार्थक है; इसलिए विधि को परिवर्तन की अनुमति वाले क्षेत्र और स्थिर रखे जाने वाले गुणों के बीच स्पष्ट संरक्षण सीमा चाहिए।
सीमा कोई स्रोत-विस्तार, वाक्यविन्यास नोड, API हस्ताक्षर, परीक्षण व्यवहार, निर्भरता अनुबंध अथवा सीखा हुआ अव्यक्त स्थान हो सकती है। ये विकल्प परस्पर विनिमेय नहीं हैं: प्रत्येक एक अलग प्रेक्षणीय गुण की रक्षा करता है और उसके अनुरूप सत्यापन चरण आवश्यक बनाता है।
एक व्यावहारिक प्रक्रिया
संरक्षण अनुबंध बताएँ
संपादन-योग्य क्षेत्र तथा उस सटीक पाठ, संरचना, इंटरफ़ेस या व्यवहार की पहचान करें जिसे अपरिवर्तित रहना है।
सबसे सीमित उपयोगी नियंत्रण पृष्ठ चुनें
अपरिवर्तित स्रोत अंशों का पुनः उपयोग करें, इन्फ़िलिंग अथवा संपादन-केंद्रित डिकोडिंग अपनाएँ, औपचारिक बाधाएँ लागू करें, या अपेक्षित गुण के अनुसार चुने हुए अव्यक्त स्थानों को लॉक करें।
केवल वहीं जनरेट करें जहाँ परिवर्तन की अनुमति है
कार्य हल करने के लिए संपादन-योग्य क्षेत्र के भीतर पर्याप्त स्वतंत्रता रखें; पूरे इनपुट की प्रतिलिपि बनाना स्थानीय तो है, पर उससे कोई प्रगति नहीं होती।
स्थानीयता और सफलता दोनों को साथ सत्यापित करें
उन प्रत्याशियों को अस्वीकार करें जो संरक्षित क्षेत्रों में बदलाव करते हों, पार्सिंग या संकलन में विफल हों, संरचनात्मक अपरिवर्त्यों का उल्लंघन करें अथवा अपेक्षित परिवर्तन पूरा न करें।
आवश्यक साक्ष्य
किसी दावे की प्रबलता जनन या डिकोडिंग के बाद मापे गए गुण से ही निर्धारित होती है।
- क्षेत्र-बाह्य diff अथवा संरक्षित क्षेत्र की स्थिरता का कोई अन्य प्रत्यक्ष माप।
- संपादन-योग्य क्षेत्र के भीतर कार्य की सफलता।
- प्रयोज्यता के अनुसार पार्सिंग, संकलन, परीक्षण, स्थैतिक जाँचें अथवा कार्य-विशिष्ट अपरिवर्त्य।
- संपादन-योग्य क्षेत्र की परिवर्तन दर, ताकि प्रतिलिपि बनाने को गलती से नियंत्रण न माना जाए।
- अभ्यर्थियों की अद्वितीयता और पुनरावृत्त प्रयोगों की परिवर्तनशीलता मापें, ताकि स्थानीयता को मोड संकुचन न समझ लिया जाए।
लिंक किया गया अध्ययन क्या बताता है
- संबद्ध प्रयोग 64-टोकन वाले Python फ़ंक्शनों को पदानुक्रमित विविक्त स्थानों में संपीड़ित करता है और आंशिक बाधाओं के अधीन चयनित अव्यक्त स्थानों का पुनर्जनन करता है।
- चार शीर्ष-स्तरीय कोड लॉक करने से पार्स दर 0.453 से बढ़कर 0.591 हुई, जबकि अनलॉक स्थितियाँ 0.936 की दर से बदलीं और सशर्त नमूने 0.998 अद्वितीय रहे।
- वे माप टोकन स्तर के ऊपर स्थिरता–स्वतंत्रता संतुलन उजागर करते हैं; वे सटीक स्रोत-खंड, AST, अर्थगत या व्यवहारगत संरक्षण सिद्ध नहीं करते।
दायरे की सीमा
- लॉक किया गया अव्यक्त code स्वतः AST node, संरक्षित source span या औपचारिक invariant नहीं बन जाता।
- पार्स दर वाक्य-विन्यासगत सुगठन स्थापित करती है, कार्यात्मक शुद्धता अथवा सफल सुधार नहीं।
- प्रस्तुत साक्ष्य लघु पूर्वप्रक्रमित Python फ़ंक्शनों से आता है और रिपॉज़िटरी-स्तरीय व्यवहार स्थापित नहीं करता।
प्राथमिक और निकटवर्ती स्रोत
मूल विधियों, मापों और बताई गई सीमाओं के लिए लिंक किए गए शोधपत्र देखें।
- Inspectable Control for Structure-Preserving Software Regeneration
प्रमुख शोधपत्र और परिसीमित पदानुक्रमित-अव्यक्त प्रयोग।
- EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding
संपादन-उन्मुख डीकोडिंग, जो स्रोत के अपरिवर्तित क्षेत्रों का पुनः उपयोग करती है।
- PAFT: Preservation Aware Fine-Tuning for Minimal-Edit Program Repair
प्रोग्राम-मरम्मत प्रशिक्षण में संरक्षण और न्यूनतम परिवर्तन को स्पष्ट बनाता है।