منصوبے کے بارے میں

خاموش ناکامی کی کیٹلاگ (Silent Failure Catalog) یہ ایک منظم کیٹلاگ ہے جو ان ناکامی کے نمونوں کو درج کرتا ہے جہاں توثیق بظاہر کامیاب ہو جاتی ہے لیکن دراصل کسی چیز کی جانچ نہیں کرتی۔ یہ CI گیٹس، ٹیسٹ سوٹس، ڈیٹا پائپ لائنز اور AI ایجنٹ ٹول چینز میں جھوٹے سبز (false green) یا توثیق کے خلاء کے مسائل پر فوکس کرتا ہے۔ بنیادی مسئلہ: ایک ایسا ٹیسٹ جو ہمیشہ پاس ہوتا ہے، ٹیسٹ نہ ہونے سے بھی زیادہ بدتر ہے۔ یہ کوریج کی طرح دکھائی دیتا ہے لیکن حقیقت میں کوئی تحفظ فراہم نہیں کرتا۔ کریشز خود کا اعلان کرتے ہیں لیکن خاموشی سے ناکام ہونے والے مسائل نہیں۔ پیجز معمول کے مطابق لوڈ ہوتے ہیں، پائپ لائنز عام طور پر پاس پرنٹ کرتی ہیں، اور ایجنٹس پروگریس رپورٹ کرتے ہیں—کہیں بھی کوئی سرخ نشان نہیں ہوتا، اور نہ ہی کوئی چیز درست ہوتی ہے۔ ان ناکامیوں کی مشترکہ خصوصیت یہ ہے کہ نظام میں اس بات کا کوئی سگنل نہیں ہوتا کہ "جو چیز ہونی چاہیے تھی وہ نہیں ہوئی"۔ غائب، خالی، چھوڑے گئے اور غلط طریقے سے منسوب کیے گئے اسٹیٹس آخرکار کامیابی کے طور پر ظاہر ہوتے ہیں۔ کیٹلاگ کی ساخت: اس کیٹلاگ میں 14 نامزد خاموشی سے ناکام ہونے والے پیٹرنز شامل ہیں، جنہیں پانچ خاندانوں میں تقسیم کیا گیا ہے: - A · خالی توثیق (Vacuous Verification) - B · گنتی سے باہر غائب ہونا (Uncounted Absence) - C · غلط شواہد (Wrong Evidence) - D · ڈرفٹنگ اوریکل (Drifting Oracle) - E · عمل اور ماحول (Process & Environment) ہر انٹری چھ حصوں پر مشتمل ساخت کی پیروی کرتی ہے: علامت → خاموش کیوں ہے → کم از کم ری پروڈکشن → خود جانچ → فکس → متعلقہ۔ عام بنیادی وجوہات: تمام خاندان دراصل مختلف سطحوں پر ایک ہی نقص کا اظہار ہیں: "کوئی ثبوت نہیں" کو "کوئی مسئلہ نہیں" کا ثبوت سمجھ لیا جاتا ہے۔ اس سے دو انتہائی عملی اصول اخذ ہوتے ہیں: 1. غائب ہونے والی چیز کو ایگزٹ کوڈ میں لازمی آنا چاہیے۔ 2. منفی کنٹرول کے بغیر کوئی ثبوت موجود نہیں۔ فوری آغاز: git clone https://github.com/zhaoxinghua09-cell/silent-failure-catalog.git cd silent-failure-catalog python tools/gate-lint.py path/to/your_gate.py python tools/check-catalog.py دونوں اسکرپٹس خالص معیاری لائبریری پر مبنی ہیں — کسی تنصیب کی ضرورت نہیں، انٹرنیٹ کی ضرورت نہیں، Python 3.9+ کافی ہے۔ گارد لنٹر (gate-lint.py): یہ ٹول آپ کی اپنی گیٹ اسکرپٹس کو اسکین کر سکتا ہے اور ان خاموش ناکامی کے نمونوں کی شناخت کر سکتا ہے، جیسے کہ: - کوئی غیر صفر ایگزٹ نہیں - نگل جانے والا ایکسیپشن - غیر چیک شدہ خالی پن - کاؤنٹر ایگزٹ کو کنٹرول نہیں کرتا - صفر آئٹم پاس - کوئی منفی کنٹرول نہیں لائسنس: یہ ریپوزٹری منقسم لائسنس کا استعمال کرتی ہے: کوڈ کے لیے MIT، اور مواد کے لیے تمام حقوق محفوظ ہیں۔