المستندات

بحث ⁨Arxiu⁩

اكتب للبحث عبر ⁨Arxiu⁩.

ادعاء الوكلاء. الأدلة تقرر.

تتخيل وكلاء LLM، وتبالغ في الادعاءات، وتحدد الأعمال المنجزة التي ليست كذلك. إنه هيكلي، وليس خطأ يمكنك تحفيزه. Decision Gate هي الحدود الخارجية حيث يجب أن تنتج كل ادعاء دليلًا قبل أن تتمكن من المتابعة: حتمي، مغلق عند الفشل، جاهز للتدقيق.

شاهد المطالبة تلتقي ببوابتها:

عميل البحث

وكيل

يقول الوكيل:

استشهد: فارغيس ضد خطوط الصين الجنوبية، 925 F.3d 1339 (الدائرة الحادية عشرة 2019).

⁨Decision Gate⁩ التعريف

يظل الاستشهاد بجوار الإجابة جزءًا من الادعاء، لا دليلًا عليه. تتحقق ⁨Decision Gate⁩ من وجود القضية، ومن أن استشهاد المقرر يحيل إليها، ومن أن المراجع القانونية المستشهد بها حقيقية.

  • مطلوب case_records.count('Varghese v. China Southern') != 0
    ملاحظات 0 سجل
    فشل
  • مطلوب citation.resolve('925 F.3d 1339')
    ملاحظات حالة مختلفة
    فشل
  • مطلوب cited_authorities.resolve()
    ملاحظات 0 من 3 تم الحل
    فشل

⁨Decision Gate⁩ النتيجة

تناقض كل عمليات التحقق الاستشهاد، لذلك يُحظر الادعاء. لا يمكن لتنسيق قانوني مقنع أن يحوّل مصدرًا مختلقًا إلى حقيقة مقبولة.

محظور فشل ٣ من أصل ٣ من عمليات التحقق فشل-مغلق: المطالبات غير المثبتة لا تتقدم دليل محفوظ للتدقيق.

عميل البرمجة

وكيل

يقول الوكيل:

تم. أضفت 5 اختبارات وجميعها ناجحة.

⁨Decision Gate⁩ التعريف

تتضمن كلمة «منجز» هنا ثلاثة وعود منفصلة: خمسة اختبارات جديدة، واجتياز كل الاختبارات المطلوبة، وتغطية لا تقل عن 90٪. تقيّم ⁨Decision Gate⁩ كل وعد مقابل أدلة الاختبارات.

  • مطلوب test_results.count == 5
    ملاحظات 3 اختبارات
    فشل
  • مطلوب test_results.all(status == 'PASSED')
    ملاحظات 1 فشل
    فشل
  • مطلوب coverage.line >= 90
    ملاحظات ٩٤.٢
    نجاح

⁨Decision Gate⁩ النتيجة

تنجح التغطية، لكن عدد الاختبارات وحالة الاجتياز المدّعى بهما لا ينجحان. يظل ادعاء الاكتمال الصحيح جزئيًا غير مُثبت، لذلك يبقى سير العمل محظورًا.

محظور فشل ٢ من أصل ٣ من عمليات التحقق فشل-مغلق: المطالبات غير المثبتة لا تتقدم دليل محفوظ للتدقيق.

عامل الإفراج

وكيل

يقول الوكيل:

v2.1 جاهز للشحن.

⁨Decision Gate⁩ التعريف

تُعرَّف عبارة «جاهز للإصدار» قبل أن يقولها الوكيل: تنجح جميع الاختبارات، وتتجاوز التغطية 90٪، وتكون موافقة الأمان مسجلة.

  • مطلوب tests.passed == tests.total
    ملاحظات 512/512
    نجاح
  • مطلوب coverage.line >= 90
    ملاحظات ٩٤.٢
    نجاح
  • مطلوب approvals.security == 'granted'
    ملاحظات ممنوح
    نجاح

⁨Decision Gate⁩ النتيجة

جميع الشروط المعلنة مدعومة، لذلك يمكن للإصدار أن يتقدم. تصبح كلمة «جاهز» قرارًا قابلًا للتدقيق بدلًا من عبارة يُسمح للوكيل بتعريفها.

تقدم نجح ٣ من أصل ٣ من عمليات التحقق مثبت: الادعاء يتقدم دليل محفوظ للتدقيق.

بالنسبة لأي مطالبة X، يتطلب إثبات Y. إذا لم يمكن تقديم الإثبات، فلا يمكن متابعة المطالبة.

في هذه الصفحة القسم الحالي: كيف يعمل

كيف يعمل

  1. أعلن عن البوابة. المتطلبات هي بيانات، وليست نثرًا: ما هي الأدلة التي يجب أن توجد، ومن أي مصادر، قبل أن يمكن المضي قدمًا في المطالبة.
  2. يقوم الوكيل بعمله ويقدم ادعاءه. تم إضافة الاختبارات، تم العثور على الاقتباس، المهمة مكتملة. الادعاءات رخيصة؛ الوكلاء عشوائيون.
  3. الأدلة تقرر. البوابة تحل كل متطلب بناءً على البيانات الملاحظة. المطالب المثبتة تتقدم. المطالب غير المثبتة محجوبة، تفشل بشكل مغلق، مع الحفاظ على الأدلة للمراجعة.

أين يعمل

  • التحقق من مهام الوكيل: يتم التحقق من مطالبات الإنجاز مقابل البوابات قبل تقدم سير العمل.
  • بوابات جودة CI/CD: يتم تعليق الإصدارات حتى يتم إثبات الاختبارات، والتغطية، والموافقات، وليس مجرد التأكيد.
  • سير العمل للموافقة: التوقيع البشري هو دليل مثل أي دليل آخر، وعدم وجود التوقيع يمنع الوصول.

استمر في المتابعة

ابدأ بـ الأساسيات لتتبع مطالبة من التأكيد إلى السجل المقبول. التطبيقات توضح أين تنتمي تلك الحدود في سير العمل الحقيقي. تحتوي المستندات على المرجع الكامل.