التطبيقات

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

الإجابة تصل وقد تم التحقق منها بالفعل

المستخدم

كم أنفقنا مع Acme في الربع الثاني؟

مسودة إجابة، محتفظ بها للتحقق

أنفقت 12,480 دولارًا مع Acme في الربع الثاني، عبر 3 فواتير.

⁨Decision Gate⁩ التعريف

تتضمن المسودة ادعاءين واقعيين. تحتجز ⁨Decision Gate⁩ الإجابة بينما تحوّل الإجمالي المذكور وعدد الفواتير إلى شروط مرتبطة بسجلات الفوترة.

billing.total('acme', 'Q2') == 12480 ملاحظات ١٢٤٨٠ نجاح
billing.invoices('acme', 'Q2').count == 3 ملاحظات ٣ نجاح

⁨Decision Gate⁩ التقييم

يُحسم الشرطان كلاهما إلى ⁨True⁩ مقابل السجلات المقبولة، لذلك تصبح هذه الإجابة بعينها مؤهلة للعرض.

مساعد

أنفقت 12,480 دولارًا مع Acme في الربع الثاني، عبر 3 فواتير.

تم التحقق منه تم التحقق من 2 مطالبة مقابل سجلات الفوترة

⁨Decision Gate⁩ النتيجة

يتلقى القارئ إجابة بسلسلة قابلة للتحقق من كل رقم إلى الأدلة التي دعمته، لا مجرد استشهاد قريب.

يثبت: أن الأرقام المذكورة تتطابق مع سجلات الفواتير المعلنة في وقت التقييم.

لا يثبت: أن النثر مكتمل، أو أن سجلات الفواتير نفسها خالية من الأخطاء.

القارئ يدفع للخلف

مساعد

جميع بيانات العملاء مخزنة في مناطق الاتحاد الأوروبي.

المستخدم

لا أصدقك.

⁨Decision Gate⁩ التعريف

لا تطلب ⁨Decision Gate⁩ من النموذج إعادة النظر في صياغته. بل تحوّل «تُخزَّن جميع بيانات العملاء في مناطق الاتحاد الأوروبي» إلى الالتزامات التي يجب أن تكون كلها صحيحة.

  • تخزين الكائنات يعيش في مناطق الاتحاد الأوروبي
  • تعيش قواعد البيانات في مناطق الاتحاد الأوروبي
  • تعيش النسخ الاحتياطية في مناطق الاتحاد الأوروبي

⁨Decision Gate⁩ التقييم

بالنسبة إلى النسخ الاحتياطية، يصبح الادعاء العام دقيقًا: يجب أن تكون كل خزنة في منطقة مسموح بها داخل الاتحاد الأوروبي. تتحقق البوابة من هذا المسند مقابل مخزون النسخ الاحتياطية المقبول.

  1. استرجاع جرد النسخ الاحتياطي
  2. بناء البوابة vaults.all(region in ['eu-central-1', 'eu-west-1'])
  3. تقييم ضد المخزون المرصود
ملاحظات vault 'archive-7': us-east-1 فشل
فشل

توجد خزنة واحدة خارج الاتحاد الأوروبي. الادعاء غير صحيح كما هو مذكور، والآن هناك سجل يوضح السبب.

⁨Decision Gate⁩ النتيجة

تكفي خزنة واحدة في الولايات المتحدة لجعل الادعاء الكلي ⁨False⁩. تُرفض الإجابة مع حفظ الدليل المضاد بدلًا من طلب إجابة أخرى بلا أساس.

يثبت: أظهر الجرد المعلن عن وجود خزنة غير تابعة للاتحاد الأوروبي في وقت التقييم.

لا يثبت: أن الجرد نفسه مكتمل. هذه حقيقة تتعلق بنطاق الأدلة يجب على السياسة تسميتها.

تحتوي الخطة على شروط إنهاء خاصة بها

plan.md

  • إعادة إنتاج الخطأ المبلغ عنه
  • قم بإصلاحه وأضف خمسة اختبارات
  • قم بتحضير التغيير المختبر للتسليم

شروط إنهاء ⁨Decision Gate⁩

  • new_test_count == 5
  • required_tests.all(status == 'PASSED')
  • tested_commit == delivery_commit
وكيل

تم الانتهاء من كل شيء. تم إضافة خمسة اختبارات، وكل شيء ينجح.

⁨Decision Gate⁩ التعريف

تم تعريف «منجز» قبل بدء العمل: خمسة اختبارات جديدة، واجتياز كل الاختبارات المطلوبة، وتطابق الالتزام المختبَر مع التزام التسليم. تقيّم ⁨Decision Gate⁩ الآن ادعاء الوكيل مقابل هذه الشروط.

new_test_count == 5 ملاحظات ٥ نجاح
required_tests.all(status == 'PASSED') ملاحظات تمت الموافقة على جميعها نجاح
tested_commit == delivery_commit ملاحظات عدم تطابق التجزئة فشل

⁨Decision Gate⁩ التقييم

ينجح عدد الاختبارات وحالاتها، لكن ربط القطعة البرمجية يفشل: فالأدلة تخص التزامًا مختلفًا. النتائج الجيدة لقطعة برمجية واحدة لا تثبت قطعة أخرى.

محتجز

تم اجتياز الاختبارات على التزام مختلف عن الذي يتم تسليمه. لا يتم قبول الاكتمال.

يعيد الوكيل تشغيل المجموعة على التزام التسليم ويعيد تقديمها.

tested_commit == delivery_commit ملاحظات تطابق الملخصات نجاح
مقبول

يتم تسجيل الإنجاز مع أدلته. الحلقة تغلق على الإثبات، وليس على النثر.

⁨Decision Gate⁩ النتيجة

بعد إعادة تشغيل مجموعة الاختبارات على التزام التسليم، تنجح جميع شروط الإنهاء ويُقبل الاكتمال. تُغلق الخطة على الأدلة، لا على ثقة الوكيل.

يثبت: أن الشروط المعلنة قد تم الالتزام بها من أجل الالتزام بالتسليم الدقيق.

لا يثبت: الاختبارات الخمسة هي اختبارات جيدة. جودة الاختبار هي ادعاء مختلف يحتاج إلى أدلة مختلفة.

في هذه الصفحة القسم الحالي: الشكل الذي يتشاركون فيه

الشكل الذي يتشاركون فيه

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

ما يتغير هو مكان وجود الحدود. يمكن أن تعمل قبل أن يرى القارئ المخرجات، لذا فإن التحقق هو بنية تحتية غير مرئية. يمكن أن تعمل عند الطلب، عندما يسأل شخص ما السؤال الذي يجب أن تكون كل إجابة طليقة قادرة على البقاء. أو يمكن كتابتها في العمل نفسه، بحيث يكون “منجز” مجموعة من الشروط التي يجب أن تلبيها سير العمل بدلاً من أن تكون جملة يُسمح لسير العمل بقولها.

لا تجعل أي من هذه الأنماط النموذج أكثر حذراً. إنها تجعل المنتج يتوقف عن قبول كلمة النموذج كحقيقة.

استمر في المضي قدماً

كيف يعمل يوضح الآلية التي تعتمد عليها هذه القصص المصورة: الشروط المكتوبة، ضمان الأدلة، النتائج ذات القيم الثلاث، والتقدم المقبول. المستندات تحتوي على المرجع الكامل.