مخطط الأدلة

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

رسمه

oloproof evidence graph --out graph.json
oloproof evidence graph run_01J9 --out run.json
oloproof evidence graph --record decision-record.json --out record-graph.json

من دون تشغيل، يغطي المخطط آخر تشغيل لكل نظام على كل مجموعة، وهي عمليات التشغيل نفسها التي يُقرأ مقابلها سجل المخاطر وحالة الضمان. ومع معرّف تشغيل، يغطي ذلك التشغيل وكل ادعاء يقرؤه. ومع --record، يُرسم من ملف سجل قرار وحده، فيرى طرف ثانٍ ما يحمله السجل من دون مخزنك؛ وما يسمّيه السجل فقط (سجل المخاطر الخاص به وحالة الضمان الخاصة به، عبر البصمة) يُدرج في الملاحظات. ومن دون --out يُطبع المخطط.

ما يحويه

يقول الملف "graph": "oloproof.evidence_graph/v1". لكل عقدة id (مُنمَّط، مثل run:run_01J9 أو decision:run_01J9/label-floor)، وtype، وlabel، وattributes (وضع، فترة، بصمة)، وbasis، أي ما تستند إليه:

• computed بواسطة المحرك من أدلة مسجّلة: تقدير مع فترته، قرار؛
• signed من مشغِّل مسجَّل، يتحقق oloproof record verify من توقيعه؛
• attested من أشخاص مسمَّين: سياسة الإصدار، اعتماد، خطر، ادعاء؛
• imported من أداة أخرى: درجات قرأها oloproof scores import، نتيجة محلِّل.

أنواع العقد هي system_version وsuite_version وevaluator_version وrun وestimate وdecision وpolicy وsignoff وhazard وclaim وproof. والحواف مُنمَّطة أيضًا: التشغيل evaluates إصدار نظام ويجري on_suite على إصدار مجموعة؛ والتقدير computed_from تشغيل وjudged_by إصدار مُقيِّم؛ والقرار reads تقديرًا under_policy سياسة؛ والاعتماد approves قرارًا؛ والخطر measured_by قرار؛ والادعاء supported_by قرارات ومخاطر ونتائج شكلية وأهدافه الفرعية.

ما يُبلغ عنه

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

لا شيء في المخطط يقرّر أي شيء: الأوضاع هي قرارات المحرك، ووضع الادعاء هو ما يُبلغ عنه oloproof assurance check.

في مساحة العمل

تعرض صفحة الأدلة الخاصة بالتشغيل المخطط للتنزيل، وقد رسمه المحرك من الأدلة التي أرسلتها بـ push، بجانب سجل القرار لتشغيل خاضع للحوكمة.

إلى أين بعد ذلك

• حالات الضمان يشرح الادعاءات التي يرسمها المخطط.
• سجل المخاطر يشرح المخاطر التي يقيسها القرار.