ملخص تقني: التحقق المحلي لا يمكنه اكتشاف عدم قابلية النقل الهيكلي

بيان المشكلة

تقوم أنظمة الذكاء الاصطناعي الوكيلية (Agentic AI) بشكل متزايد بنقل الاستنتاجات عبر سياقات بيولوجية، سريرية، وتجارية متنوعة. تعتمد البنى الحالية المتطورة (مثل Medea) على التحقق المحلي (Local Verification): أي التحقق في كل خطوة من أن الكيانات قابلة للتمثيل، وأن المعلمات متوافقة، وأن المخرات تتسق مع الخطة. هذه الفحوصات "محلية" لأنها مدعومة على أجزاء محدودة من فضاء السياق (سياقات مفردة، أو أزواج، أو ثلاثيات).

تحدد الورقة عدم اكتمال هيكلي في هذا النهج. فبينما يمكن للفحوصات المحلية اكتشاف أنواع محددة من الأخطاء، إلا أنها تعجز عن اكتشاف عدم قابلية النقل الهيكلي (Structural Non-transportability). يتجلى هذا في حالة يجتاز فيها الوكيل كل فحوصات التحقق المحلي، ومع ذلك ينتج استنتاجاً يعتمد على مسار الاستدلال الذي تم اتخاذه. هذه الظاهرة تماثل شكلياً "عدم الاتساق في الحلقة" (Loop Inconsistency) في تحليل الميتا للشبكات (Network Meta-analysis)، حيث تكون الأدلة المباشرة وغير المباشرة حول حلقة مغلقة سليمة فردياً ولكنها غير متسقة مجتمعة.

المنهجية

الإطار النظري

يصيغ المؤلف المشكلة باستخدام الطوبولوجيا الجبرية ونظرية المجموعات (Sheaf Theory):

1. موقع السياق (Context Site): يتم تغطية فضاء المواقف ذات الصلة بالقرار $X$ بمجموعة محدودة من السياقات $\mathcal{U} = \{U_i\}$. يتم بناء العصب (Nerve) $N(\mathcal{U})$ حيث تمثل الرؤوس السياقات، وتمثل الحواف التداخلات (الأدلة الجسرية)، وتمثل المثلثات تداخلات الثلاثيات.
2. سلسلة الأدلة (Evidence Cochain): يتم نمذجة الدليل كسلسلة 1-cochain ذات قيم حقيقية $\omega \in C^1(N(\mathcal{U}); \mathbb{R})$، والتي تعين تبايناً مقاساً لكل تداخل.
3. النقل الوكيلي كـ تكامل مساري (Path Integration): يقوم الوكيل بنقل ادعاء من مرساة $a$ إلى هدف $t$ عبر إجراء التكامل المساري: $\hat{\theta}_t = \theta_a + \langle \omega, \gamma \rangle$، حيث $\gamma$ هو المسار في العصب.
4. تفكيك هودج (Hodge Decomposition): يتم تفكيك فضاء الـ 1-cochains متعامدياً إلى ثلاثة مكونات:
   • التدرج (Gradient - $g = \delta_0 \beta$): إزاحات الأدوات لكل سياق. يمكن إزالتها عن طريق إعادة المعايرة.
   • الدوران (Curl - $c \in \text{im}(\delta_1)^\top$): عدم اتساق محلي يمكن اكتشافه عند تداخلات الثلاثيات (حيث $\delta_1 c \neq 0$).
   • التوافقي (Harmonic - $h \in H^1$): المكون الموجود في نواة كل من $\delta_1$ و $\delta_0^\top$. يمثل هذا الفئة الأولى من كيش كوهومولوجي (Čech cohomology class) $[\omega] \in H^1$.

النتائج النظرية الرئيسية

• استقلال المسار: يكون التقدير المنقول مستقلاً عن المسار إذا وفقط إذا كانت سلسلة الأدلة دقيقة ($\omega \in \text{im } \delta_0$).
• الهولونومي (Holonomy): الخلاف بين مساري استدلال مختلفين هو بالضبط "هولونومي" فئة الكوهومولوجي $[\omega]$.
• العمى في التحقق المحلي: أي فحص اتساق مدعوم على السيمبلكس (Simplex) -أي الحواف أو المثلثات- لا يمكنه التمييز بين سلسلة دقيقة وسلسلة مشوبة بمكون توافقي. نظرًا لأن المكونات التوافقية تحقق $\delta_1 h = 0$، فإنها تجتاز جميع فحوصات التداخل الثلاثي، ومع ذلك تولد خلافاً غير صفري بين المسارات.
• آلية الإعاقة: ينشأ المكون التوافقي من تعديل الأثر (Effect Modification) مقترناً بـ تركيبة سكانية خاصة بكل تداخل (مفارقة سيمبسون على شبكة). إذا غاب تعديل الأثر، فإن الطاقة التوافقية تتلاشى إلى دقة الآلة.

الطريقة المقترحة: Ks.etra

يقترح المؤلف Ks.etra (Ksetra)، وهو إجراء يقوم بـ:

1. بناء موقع السياق وتجميع سلسلة الأدلة.
2. تفكيك $\omega$ إلى أجزاء: التدرج، والدوران، والتوافقي عبر المربعات الصغرى.
3. التصنيف (Triage):
   • تدرج مهيمن $\leftarrow$ إعادة معايرة الأدوات.
   • دوران مهيمن $\leftarrow$ إعادة القياس أو إعادة تشغيل التداول (عدم اتساق محلي).
   • توافقي مهيمن $\leftarrow$ إعاقة هيكلية؛ يجب تحسين التغطية (التقسيم الطبقي/Stratification).
4. البوابة (Gating): يمتنع النظام عن اتخاذ القرار إذا تجاوزت الطاقة التوافقية $\|\omega_h\|$ عتبة معينة. وعند الامتناع، فإنه يخرج الدورة (Cycle) المحددة التي تحمل أكبر هولونومي كتعليمات لجمع البيانات.

النتائج

دراسات المحاكاة

أجرى المؤلف محاكاة عبر مجالين:

1. البيانات الواقعية للصيدلة (Pharma RWE): السياقات محددة بـ (مرحلة مرض الكلى المزمن $\times$ إعداد الرعاية). فضاء السمات قابل للانكماش؛ وتنشأ $H^1$ فقط من فجوات الأدلة.
2. الائتمان الاستهلاكي: السياقات محددة بـ (المنطقة $\times$ النظام الاقتصادي الكلي). محور النظام دوري (توسع $\leftarrow$ تعافي)، مما يخلق إعاقة طوبولوجية عن طريق التصميم.

النتائج الرئيسية:

• القوة التنبؤية: في النموذج الميكانيكي حيث ينشأ الهولونومي من تعديل الأثر، تكون كل من طاقة المكون التوافقي وطاقة الدوران متقاربتين في القدرة التنبؤية للخطأ غير القابل للاختزال للمقدر الأمثل (معامل سبيرمان $\rho \approx 0.37$ للتوافقي و $0.33$ للدوران). ينشأ هذا الارتباط لأن سبباً كامناً واحداً (تعديل الأثر) يولد كلا المكونين. ومع ذلك، تحتفظ الطاقة التوافقية بقيمة تنبؤية مستقلة بعد ضبط المكونات الأخرى (partial $\rho \approx 0.19$)، بينما لا يفعل الدوران ذلك. التمييز التشغيلي بينهما يتحدد من خلال العلاج (إعادة القياس للدوران مقابل التحسين/التقسيم للتوافقي)، وليس فقط من خلال قيمتهما التنبؤية.
• الاعتماد على المسار: يتنبأ كل من المكون التوافق والدوران بالاعتماد على المسار (الانتشار عبر مسارات الاستدلال)، ولكن التوافقي وحده يتنبأ بحد الخطأ (Error Floor) بشكل مستقل عن المكونات الأخرى.
• الأداء: يتفوق Ks.etra (عبر البوابة بناءً على الطاقة التوافقية) على خط الأساس "المبني على البوابة المتبقية" (Residual-gated) -الذي يعتمد على إجمالي الصراع- في المساحة تحت منحنى تغطية المخاطر (AURC)، حيث يقللها بمقدار 0.029 (في الصيدلة) و 0.39 (في الائتمان).
• تكلفة الانجراف: "التقليص الصامت" (انهيار السياقات دون تحقق) يتسبب في خطأ كبير حتى في الأنظمة المثالية.

حالة اختبار التمويل (العملات الأجنبية و IFRS 9)

• اختبار F الدقيق: اشتق المؤلف اختبار F دقيق لوجود ادعاء عالمي، حيث يقسم درجات الحرية إلى معايرة، واتساق محلي، ونقل. الاختبار ذو حجم صحيح تحت الضجيج المتماثل (Isotropic Noise).
• مرابحة العملات الأجنبية (FX Arbitrage): في نموذج معقد مكون من 15 عملة مع قيود التنفيذ، يكتشف المكون التوافقي "مرابحة الحلقة" (الربح من الدورات التي لا تملؤها المثلثات القابلة للتنفيذ) والتي تغفل عنها فحوصات المرابحة المثلثية القياسية (الدوران).
• معيار IFRS 9: عند تطبيقه على مخزن نماذج احتمالية التعثر (PD) عبر فضاء نظام دوري، حددت الطريقة 17 حلقة مستقلة قادرة على حمل قصص غير متسقة لا يمكن اكتشافها عبر التحقق الثنائي أو الثلاثي.

الأهمية والادعاءات

تقدم الورقة نتيجة سلبية كإسهام مركزي لها: لا توجد عائلة من فحوصات الاتساق المدعومة على السيمبلكس (Simplex-supported) يمكنها اكتشاف الإعاقة التوافقية. وهذا يعني أن استراتيجيات التحقق الحالية للوكلاء، بغض النظر عن جودة تنفيذها، لديها عمى جوهري.

الأهمية:

1. نظرياً: تحدد الورقة عدم الاتساق في الحلقة في تركيب الأدلة كأول كوهومولوجي لموقع سياقي، مما يوسع المفهوم من شبكات العلاج إلى أغلفة السياقات التعسفية.
2. تشغيلياً: تعيد صياغة الامتناع من كونه درجة ثقة استدلالية إلى كونه كمية كوهومولوجية. المكون التوافقي غير الصفري ليس مجرد تحذير، بل هو تعليمات محددة لـ تحسين الغطاء (التقسيم الطبقي/Stratify) بدلاً من مجرد جمع المزيد من الأدلة عند نفس مستوى التفصيل. التمييز بين مكوني الدوران والتوافقي يتحدد من خلال العلاج (إعادة القياس مقابل التحسين)، وليس فقط من خلال قيمتهما التنبؤية.
3. اقتصادياً: تقدم الطريقة خريطة شفافة من هندسة المخاطر الانتقائية إلى نتائج المحافظ الاستثمارية، وتظهر أن البوابة الكوهومولوجية مجدية اقتصادياً فقط حيث تتجاوز تكلفة الالتزام الخاطئ مكاسب الالتزام الصحيح بشكل مادي (مثل القرارات العلاجية والائتمانية المنظمة).

القيود والتواضع:

• تنص الورقة صراحة على أنها لا تحتوي على أي تحقق من بيانات حقيقية. الدراسات التي أجراها المؤلف هي عمليات تحقق مضبوطة لنظريته.
• آلية توليد المكون التوافق (تعديل الأثر) هي نموذج نظري، وليست ملاحظة في مسارات الوكلاء في العالم الحقيقي.
• يقر المؤلف بأن الأخطاء المترابطة عبر التداخلات واستخلاص التجزئة الصحيحة للسياق هي مشكلات مفتوحة لم تحلها هذه الورقة.
• يُصاغ الإسهام كتعريف نظري لنقطة عمياء وعلاج مقترح، مع الدعوة للتحقق من البيانات الحقيقية (مثل استخدام تحليل الميتا للشبكات المنشورة أو اختبارات الخميرة الخاصة بـ Medea) كخطوة ضرورية لنقل النتائج من المحاكاة إلى الواقع.