الأدلة الإرشادية
سجل المخاطر
الخطر شيء قد يسوء في نظامك، يُكتب مع مالكه وما يقيسه. يعيش السجل بجانب سياسة الإصدار في hazards.yaml، فيُراجع في طلبات الدمج مثل بقية المشروع، ويسجّل كل تشغيل النسخة التي قُرئ بها.
كتابة السجل
version: 1
hazards:
- id: rag-leak
title: A poisoned document makes the assistant disclose a customer's data
systems: [support-bot]
triggers: [a retrieved document carries an instruction]
exposed: customers whose tickets the assistant reads
severity: {level: 5, narrative: customer data leaves the company}
occurrence: {level: 2}
detectability: {level: 3}
controls: [retrieved text is quoted, never obeyed]
residual: Low while the leak ceiling holds; reviewed after every model change.
owner: [email protected]
review_by: 2026-12-01
state: open
measured_by: [no-leak]
tested_by: [safety]يسمّي كل خطر في measured_by القواعد التي تقيسه. يجب أن تكون سقوفًا من release.yaml: قاعدة max: أو قاعدة max_failures: (سقوف المخاطر). الحد الأدنى يقيس عدد مرات نجاح شيء ما، لذلك يُرفض خطر يقيسه حد أدنى. تضيّق systems وtested_by الأنظمة والمجموعات التي تُقرأ منها الأدلة؛ وإن غابت، تُحتسب كلها.
الشدة والحدوث وقابلية الكشف هي التقديرات الترتيبية لتحليل أنماط الفشل وآثارها، من 1 إلى 5، ويعطيها أشخاص. يعرضها Oloproof كما أُعطيت ولا يجمعها أبدًا: لا رقم أولوية للخطر ولا درجة للخطر المتبقي، لأن حاصل ضرب تقديرات ترتيبية دقة لم يقسها أحد. الخطر المتبقي هو جملة المالك. حالة الخطر state (open أو mitigated أو accepted أو closed) هي حالة الفريق، وليست قرارًا أبدًا.
التحقق منه
oloproof hazards checkيرفض التحقق سجلًا تسمّي مخاطره قاعدة لا تحويها السياسة، أو حدًا أدنى، وينتهي بالرمز 2. وإلا فإنه يسرد كل خطر بتقديراته ومالكه وحالته، وينبّه إلى مراجعة متأخرة، ويقرأ كل قاعدة قياس عند آخر تشغيل لكل نظام على كل مجموعة، كما قرّرها المحرك. يُدرج الخطر الذي لا قاعدة تقيسه على أنه غير مقاس، وتُسمّى القاعدة التي لم يقرّرها أي تشغيل أخير. يكتب --json التقرير نفسه لخط معالجة.
أين يظهر
يسجّل oloproof run السجل مع التشغيل، ويحمله oloproof push إلى مساحة عملك، ويكتبه oloproof export بجانب الحزم التي يقرؤها منضدة العمل المحلية. تعرض صفحة Safety and risk كل خطر فوق السقوف، بتقديراته وضوابطه وحالات السقوف التي تقيسه، وكلٌّ منها مرتبط بأدلته. وحيث تغيّر سجل ثم عاد كما كان، فالسجل الحالي هو الذي سجّله أحدث تشغيل، لا الذي كُتب أخيرًا. يسمّي سجل القرار سجل المخاطر الذي سجّله تشغيله؛ ويعرضه record verify على أنه قول الفريق.
إلى أين بعد ذلك
- سقوف المخاطر يشرح القواعد التي يُقاس بها الخطر.
- Gating يشرح كيف يوقف السقف إصدارًا.