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 کے لاگ اِن لاجک کی تصدیق کی، موجودہ بگز کا پتا لگایا اور تصریح کے مطابق لاگ اِن بگز کی عدم موجودگی ثابت کی۔ ڈیولپر نے تیار شدہ کوڈ کو سطر بہ سطر پڑھے بغیر ارادے کا جائزہ لیا۔