مقدمة

orb validate لا يتحقق من الصياغة فقط. بل يمشي على رسم آلة الحالة ويُثبت خصائص تحتاج عادةً عشرات الاختبارات المكتوبة يدوياً. الدوائر المغلقة، عقود الإرسال، صحة الربط، ومتطلبات خصائص الأنماط — كلها تُفحص قبل توليد أي شيفرة.