tools/symphony-validator) أداة فحص مستودع مستقلة وحتمية للقراءة فقط مكتوبة بلغة C++26. وهي تُنتج أدلة غير قابلة للتغيير حول الحالة الحالية للمستودع وعقوده. ولا يمكنها إصلاح أو نشر أي شيء.
ما يفحصه المُدقِّق
- شكل العقد: مراسي الـ Contract Quad المطلوبة وبنيته
- إغلاق المصادر الحالي عبر الأسطح المفهرسة في SKVI
- ملكية الثوابت وفق
knowledge/INVARIANTS.mdوسجل الثوابت - توقعات إدارة الميزات التي يُبلغ عنها SSFV
- سجلات الإصدارات التي يُبلغ عنها SODV
- الملخص الجذري المملوك آليًا في ملف README الخاص بالمستودع
ما لا يفعله المُدقِّق
- لا آثار جانبية على المستودع
- لا وصول إلى الشبكة
- لا كتم للتحذيرات خارج سياسة التحذيرات المحمية في qxctl
التكامل مع qxctl
يتحقق qxctl من الإيصال الدقيق للمُدقِّق ومن ملخصاته المنظَّمة قبل تطبيق سياسة التحذيرات المحمية. وتكشف تسعة أوامر نهائية محمية في qxctl لدورة حياة التحذيرات، إضافة إلى مسار الملخص الجذري الدقيق المدعوم بالإيصال، إدارةَ التحقق دون تغيير أدلة الكاشف الخام.أسطح ذات صلة
qxctl validate
سياسة التحذيرات المحمية، وخط الأساس، وقواعد صياغة العرض.
SSFV
توقعات إدارة الميزات التي يفحصها المُدقِّق.
SODV
سجلات الإصدارات التي يفحصها المُدقِّق.
نظرة عامة على SKV
الإطار الشامل الذي يفحص المُدقِّق عقوده.