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

ابنِ على مراحل: قيّد حدود الآثار الجانبية وترتيب المراحل؛ صِف الهدف من خلال حقائق مقاسة وفهارس؛ أثبت الادعاءات من خلال الالتقاطات ومسندات السياسة المستقلة؛ تحكّم وحاسب في التفويض، والبوابات، والاكتمال، والعمل المتروك. ترتيب التطوير ليس ترتيب التشغيل: التفويض والبوابة يسبقان الإرسال.

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

دراسة حالة تاريخية

تصف الفصول أدناه تنفيذ core/ وwalkthrough/ السابق وعيوبه المنشورة. غياب المدقّق الذي يستدعي النموذج يبقى غائبًا عن ذلك المسار التاريخي. حزمة harness/ الجديدة هي مرجع تحكم منفصل دون اتصال؛ ولا تُصلح المجموعة أو الوحدات التاريخية بأثر رجعي. اقرأ حدود الفصل 07 وتصحيحاتها قبل نسخ أي مكوّن تاريخي.

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

النظام التاريخي له مساران للتنسيق. في المسار الموجّه بالخادم، يحتفظ المنسّق بقائمة مراحله الخاصة ويقدّم للنموذج فقط الأدوات التي تسمح بها تلك المرحلة. في المسار الموجّه بالوكيل، يخطّط نموذج منسّق للتشغيل ويستدعي الأدوات بنفسه، مع بناء الطبقات تحته ولكن لا يتم استشارتها دائمًا. مسار كتابة مشترك يجعل الإجراءات والنتائج المسجّلة قابلة للمراجعة، لكن قشرة متاحة يمكنها تجاوزه. نقطة نهاية مخترَعة تكسب استجابة ملتقطة، وليس حكمًا تلقائيًا بثغرة. لا يمكن لمحافظ الخطورة الرفع؛ بوابة الرفع التاريخية للمدقّق المنفصل تفحص اقتباسًا لكنها لا تثبت قابلية الاستغلال. يُطلب التفويض عند حدود الأداة وليس عند كل طلب صادر. تميّز فصول التقارير بين فحص لم يجد شيئًا وفحص رُفض عند الباب. تلك الاختلافات بين النية والإنفاذ جزء من دراسة الحالة، وليست خصائص تُنسخ في منظومة جديدة.

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

القوانين الخمسة

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

1. النموذج يقترح؛ الكود الحتمي يتصرّف. أعطِ النموذج واجهة اقتراح، وليس وصولًا مباشرًا إلى الهدف، أو تخزينًا خامًا، أو الكلمة الأخيرة في الخطورة. الكود الحتمي يتحقق، وينفّذ، ويسجّل العمل المقبول. النظام التاريخي لا يفرض تلك الحدود في كل مكان: كلا المنسّقين يمكنهما الوصول إلى قشرة، ومسار كتابته يحمل أمرًا فرعيًا يخزّن نتيجة دون تنفيذ. نقطة نهاية مخترَعة قد تعيد 404، أو صفحة تسجيل دخول، أو قشرة تطبيق؛ سجّل الاستجابة واحكم على الادعاء بشكل منفصل. كاتب مشترك ليس صندوق رمل. الفصلان 01 و02.

2. الادعاءات عن الماضي يجب أن تقتبس. المقترحات عن المستقبل يجب أن تنفّذ. هذان نوعان مختلفان من البيانات ويحتاجان بوابات مختلفة. الادعاء عن شيء لوحظ بالفعل يجب أن يستشهد بالتقاطه الخاص؛ الاقتباس المطابق يثبت سلامة الاستشهاد، وليس أن الاستنتاج صحيح. البوابة التاريخية تتسرّب: إنها تُبقي عنصرًا لكل دفعة حتى لو لم ينجح أي منها، وعلى مسار تنسيق واحد يمكن لثقة مقدَّمة من المتصل أن تحل محل الفحص. لا يمكن التحقق من اختبار مقترح باقتباس ملاحظة لم يقم بها. قد يعمل فقط بعد أن تسمح بذلك فحوصات التفويض والنطاق والبوابة والميزانية، ونتيجته ما زالت تحتاج تفسيرًا. القانون ليس إذنًا لتنفيذ كل اقتراح. الفصل 02.

3. الخطورة تنخفض افتراضيًا وترتفع فقط ضد إثبات. يمكن للمحافظ الحتمي خفض خطورة أو وضع علامة نتيجة إيجابية كاذبة، ولا يمكنه رفع واحدة. ذلك يحد من سلطته؛ ولا يجعل استنتاجاته صحيحة. نقص الإبلاغ يمكن أن يخفي ثغرة حقيقية، لذا تحتاج كل قاعدة خفض إلى اختبارات مطابقة واختبارات مثال مضاد وسبب قابل للمراجعة. نقطة الرفع التاريخية تفحص اقتباسًا حرفيًا لكنها لا تفرض النتيجة المؤلفة التي يطلبها عقدها. الاقتباس وحده ليس دليل قابلية استغلال. اربط الالتقاط بالنتيجة، وطبّق سياسة إثبات مجال مراجَعة، واحتفظ بعملية مراجعة وتوقيع بشري منفصلة. الفصل 03.

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

5. أبلغ عمّا لم تفعله. الفحص الذي لم يجد شيئًا والفحص الذي لم يستطع الوصول إلى أي شيء فحصان مختلفان، والتقرير الذي يعرضهما بشكل متطابق يكذب بالحذف. التغطية، وحالة البوابة، ودفتر أستاذ لكل مضيف تم تخطيه مع سببه تنتمي إلى التسليم، بجانب النتائج. ذلك متطلب لم يلبّه التقرير التاريخي: وصلت التغطية فقط، محسوبة ضد أضعف مقام لها وتحت تسمية تسمّي مقامًا مختلفًا. يحاسب المختبر على إجراءات الأدوات والروابط المخططة، والعمل المنفّذ، والأخطاء، والتخطيات؛ ذلك المقام لا يقيس تغطية الثغرات. الفصل 05.

الفصول

التنفيذ المرجعي

الكود التاريخي تحت core/ موجود هنا ليُقرأ ويُشغَّل ويُختلف معه. إنه نظيف الغرفة وغير وظيفي عمدًا كمختبر حي: التنميط، وتسجيل الأهمية، والجدولة، والتحقق من استدعاءات الأدوات كلها حقيقية وقابلة للتشغيل، وكل ما من شأنه وضع حزمة على السلك محجوب. شغّل ls core/*.py لترى ما يُشحن بدلًا من الوثوق برقم مكتوب هنا، وهو نوع الادعاء الذي يفسد اللحظة التي يُضاف فيها وحدة. الضوابط التي تعتمد عليها الفصول اللاحقة من بينها: مسار الكتابة هو core/store_protocol.py، ومحافظ الخطورة core/severity_governor.py، وحارس النطاق core/scope_guard.py، وفحص البوابة core/gate_check.py، وآلة المراحل walkthrough/run.py. المدقّق التاريخي الذي يستدعي النموذج محجوب. الفصل 06 يحدده؛ الفصل 07 يشحن حارس أدلة حتميًا منفصلًا، وليس ذلك المدقّق وليس سير عمل قبول بشري. أبقِ وظائفهم منفصلة: الناقد التأريضي يفحص احتواء الاستشهاد، والمحافظ يحد من الخطورة، ومسار الرفع يجب أن يلبي سياسة إثبات مراجَعة بشكل مستقل. لا يحل أي منها محل المراجعة البشرية والتوقيع.

walkthrough/ يدفع تلك الآلة عبر تركيبات ملتزمة ويكتب القطع التي تستشهد بها الفصول إلى walkthrough/artifacts/. أعد توليدها بـ python3 -m walkthrough.run، الذي يأخذ دليل --out إذا كنت تفضل عدم لمس النسخ الملتزمة، وtests/test_walkthrough_is_in_sync.py يقارن تشغيلًا جديدًا في الذاكرة بتلك النسخ بايتًا ببايت، لذا فإن تركيبة معدّلة دون إعادة تشغيل تحمرّ بدلًا من الشحن. ما لا يلتقطه تلك البوابة هو قطعة خاطئة في كلا المكانين، ووثيقتها الخاصة تقول ذلك.

الأرقام

كل رقم في كل فصل يتحلل إلى مفتاح في data/stats.json، أو يحمل تعليقًا يسمّي ما هو الرقم ولماذا ليس قياسًا مأخوذًا من هدف. عبر الفصول 00 حتى 05 وهذا README، ثلاثة عشر تعليقًا يسمّي ثابتًا أو خاصية من الكود، وخمسة وثلاثون تغطي كمية مكتوبة لا يستطيع فحص الأرقام قراءتها، وخمسة تسمّي رمز حالة HTTP، وواحد يسمّي مقارنة بين لقطتين منشورتين خاصتين بهذا المستودع. ملف الإحصائيات هو لقطة مجمّدة بنافذة منشورة، وليس استعلامًا حيًا، والفصل 05 يشرح لماذا إعادة تشغيل خط الأنابيب لن تعيد إنتاجه.

يبلغ الفصل 05 عن F1 للنظام ضد تطبيق عام ضعيف عمدًا ويضعه بجانب نتيجة فحص سلبي من OWASP ZAP. هذا المستودع يثبت الحساب ويبقي ملفات النتائج الإجمالية الأربعة متزامنة مع data/stats.json؛ ولا يحتوي على النتائج الخام، أو إدخالات الحقيقة الأرضية، أو المطابق، أو معرّفات الأهداف، أو معرّفات التشغيل اللازمة لإثبات أن الأداتين قُيّمتا في مواجهة مباشرة مضبوطة. عالج الزوج كنقطتي بيانات تاريخيتين مسجلتين من قبل المؤلف، وليس معيارًا عادلًا. حجم العينة، والانتشار الذي لا يبلغ عنه بالتالي، والتشغيلات المستبعدة منه مع سبب استبعاد كل منها كلها في ذلك الفصل.

نسخة مولّدة من الفصول، مع كل رقم محلول إلى قيمته في مكانه وكل استشهاد كود محوّل إلى رابط إلى core/، تعيش في الشجرة المعروضة للقراءة على GitHub؛ تُنتج بواسطة scripts/render.py وتُبقى متزامنة مع المصدر بواسطة tests/test_rendered_is_in_sync.py.

إذا كنت تنشر المستودع، اتبع PUBLICATION.md. انشر لقطة خالية من التاريخ في مستودع عام جديد؛ لا تغيّر رؤية مستودع التطوير ولا تفترض أن شجرة عمل نظيفة قد مسحت تاريخ Git القابل للوصول. بوابة ما قبل الالتزام الإلزامية scripts/publication_gate.sh ترفض النشر ما لم تكن القائمة السوداء الخاصة مدمجة فعليًا، وهوية مؤلف Git العامة تطابق القيمة المعتمدة، ومستودع التدريج ليس له مراجع أو كائنات أو سجلات إعادة تشغيل سابقة.

scripts/audit.sh يمسح المستودع بحثًا عن المعرّفات، وscripts/prose_check.sh وscripts/verify_claims.sh يمسحان النثر، وtests/test_gates.sh يزرع انتهاكات ضدها لإثبات أنها ما زالت تعمل، ومجموعة الاختبارات تمسك التنفيذ المرجعي بما تقوله الفصول عنه. الفصل لا يُعتبر منتهيًا حتى يمر كل من هذه:

tests/test_chapter_claims.py، داخل تلك المجموعة، هو الواحد الذي يستحق السرقة. يحمل تأكيدات ضد التنفيذ المرجعي والإحصائيات المنشورة، وكل منها مرسى إلى الجملة الحرفية التي يدعمها، لذا فإن تعديل يغيّر حقيقة يفشل في اختبار بدلًا من الشحن بهدوء.

ثيودوروس موتيسيديس.