AI Extensions، 7 نوفمبر: Quarry ومعنى الفحص غير المكتمل

قد تختلف دلالة قراءة ملف ثم إرسال طلب HTTP عن دلالة الاستدعاءين بترتيب معكوس. هذه نقطة بداية مفيدة في Cisco Project Quarry: قواعد تفحص تسلسل أحداث الوكيل، بدلا من تقييم كل رسالة بمفردها.

هذه مراجعة مصادر للإصدار المفتوح في مرحلة ألفا ولإضافته، جرى التحقق منها في 7 نوفمبر 2026. قرأت المستودع والوثائق والإعدادات النموذجية والترخيص. لم أثبت الحزمة أو أوصل نموذجا أو أفحص محادثات خاصة أو أكرر تحليل Cisco لحادث أمني. آخر تعديل في الفرع الرئيسي مؤرخ في 3 نوفمبر. النشاط إشارة صيانة وليس مقياس جودة.

الإضافة طريق إلى الكاشف

تصف وثائق الإضافة خمس أدوات للقراءة فقط: البحث في المرجع، وتجميع القاعدة، وشجرة القرار، وحساب مسارات القرار، وفحص JSON محادثة يقدم صراحة. تصل MCP مضيف الوكيل بمحرك Quarry المثبت محليا. أداة الفحص لا تقرأ الملفات أو الجلسات المحفوظة بنفسها. قد يملك المضيف وصولا آخر إلى الملفات؛ هذا عقد أداة وليس ضمان عزل الجلسة كلها.

يستخدم مسار الإعداد الموثق المستودع كوحدة واحدة وإعداد تشغيل uv مقفلا. يذكر README دعم Python من 3.11 إلى 3.13. الأمثلة المحلية لا تحتاج مفتاح مزود. إضافة نموذج دلالي تغير حد البيانات: قد يرسل محوله أجزاء مختارة من المحادثة إلى نقطة الاتصال المعدة.

ملف LICENSE هو Apache 2.0، بشروط الترخيص والإشعارات وإخلاء الضمان. لغة DSL في مرحلة ألفا وقد تتغير قبل 1.0. سأثبت مرجع نسخة تمت مراجعتها لأي تجربة.

ما الذي يقيمه المحرك؟

توضح وثيقة آلية العمل أن القواعد تحلل وتتحقق ثم تجمع إلى آلات حالات منتهية حتمية عند التحميل. يبنى أثر أحداث محدود من المحادثة المقدمة. رسالة المساعد ذات استدعاء أداة تضيف حدث رسالة وحدث استدعاء؛ مواقع الأحداث قد تختلف عن فهارس الرسائل.

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

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

احتفظ بالنتيجة الثالثة

تميز CLI رمز 0: فحص مكتمل دون تطابقات؛ 1: مكتمل مع تطابقات؛ 2: إدخال غير صالح أو فحص غير مكتمل. انتهاء المهلة أو خطأ التقييم لا يعني «لم يعثر على شيء».

يوصي دليل التكامل بفحص الحالة قبل استخدام التطابقات. ينفذ QuarryGuard ذلك قبل العودة، بينما يحتاج مستدعي DSLScanner إلى تنفيذه. المثال الأصلي التالي لم يشغل ولا يمثل آلية منع:

def classify_supplied_trace(scanner, conversation):
    result = scanner.scan_data(conversation)
    result.raise_for_status()
    return "matched" if result.rule_matches else "complete_clean"

# The host must handle scan errors explicitly.
# Neither result grants permission to act or disclose data.

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

حدود الشاهد

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

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

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

تجربة محدودة قبل القرار

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

Reviewed rule -> compile -> candidate scanner
Invented trace -> validate -> complete clean / complete match
                         |
                   invalid or incomplete
                         |
                    host error policy

يشرح دليل الإعداد حدود الإدخال والوقت وعمل المجمع واستدعاءات النموذج. رفض أثر كبير لا يعني تقصيره ثم وصفه بالنظيف. تحتاج السياسات المجمعة المخزنة إلى التحقق من مصدرها.

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

تقييمي: يستحق Quarry تجربة محددة لقواعد تسلسل قابلة للفحص. يجب إبقاء مرحلة ألفا وحدود المحولات وحالة الاكتمال واضحة. يعرض إعلان Cisco حادثا بتحليل افتراضي مضاد للواقع، دون تكرار فحص بياناته الأصلية. لا يصح تحويله إلى نسبة كشف.