AI रिपोर्ट्स · Microsoft · 2026-11-05 · उत्पाद घोषणा
PDD Kit से एजेंट द्वारा लिखे गए फ़ुल-स्टैक वेब ऐप्स का औपचारिक सत्यापन
मूल शीर्षक: Formally verifying agent-written full-stack web apps with PDD Kit
PDD Kit डेवलपर के इरादे को Verus फ़ॉर्मल स्पेसिफ़िकेशन में बदलता है, प्रमाणित करता है कि AI-जनित कोड हर इनपुट के लिए उसे पूरा करता है, और जहाँ प्रूफ़ व्यावहारिक नहीं हैं वहाँ टेस्ट पर लौट आता है। GitHub Next के Chopin में एक ट्रायल के दौरान, इसने Rust स्टोरफ़्रंट Pet Store के लॉगिन लॉजिक को सत्यापित किया, मौजूदा बग उजागर किए और स्पेसिफ़िकेशन के विरुद्ध लॉगिन बग की अनुपस्थिति प्रमाणित की। डेवलपर ने जनरेट किए गए कोड को पंक्ति-दर-पंक्ति पढ़े बिना इरादे की समीक्षा की।