1/ كاميرات الدفع الذاتي تقرر بهدوء ما إذا كنت زبونا أم سارق من المتجر. يمكن أن يعني الخطأ الحظر، أو المطالبات المدنية، أو تقارير الشرطة. تستهدف مختبرات الاستدلال هذه الفجوة: نجعل من الممكن إثبات كيف تم حساب حدث واحد "مريب" فعليا.

2/ اليوم، تعتمد النزاعات على اللقطات الحبيبية والسجلات الجزئية. هذا سرد وليس دليل. طبقة إثبات الاستدلال لدينا تتيح لتجار التجزئة إظهار النموذج وأي إطار وأي تكوين أنتج تنبيها معين.

3/ مع الاستنتاج القابل للتحقق، كل علم يحمل إيصال تشفير، وليس مجرد كتلة JSON. التجزئة لا تزال تحصل على الأتمتة. العملاء يحصلون على شيء أقوى من "ثق بنا". هذا بالضبط هو المعيار الذي تسعى إليه مختبرات الاستدلال.