証拠グラフ

証拠グラフは、リリースの決定が拠って立つすべてを、型付きのノードと型付きのエッジとして 1 つの 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

実行を指定しないと、グラフは各システムの各スイートでの最新実行を対象にします。ハザード登録簿とアシュアランスケースが照らして読まれるのと同じ実行です。実行 ID を指定すると、その実行と、それを読むすべての主張を対象にします。--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: 1 つの性質と 1 つのモデルについて食い違う 2 つの形式的結果、そして不合格の証拠から論証された主張。

グラフの中のものは何も決定しません。状態はエンジンの決定であり、主張のステータスは oloproof assurance check が報告するものです。

ワークスペースでは

実行の証拠ページでは、ガバナンス下の実行の決定レコードの隣に、プッシュした証拠からエンジンが描いたグラフをダウンロード用に提供します。

次に読むページ

• アシュアランスケース では、グラフが描く主張を説明します。
• ハザード登録簿 では、決定が測定するハザードを説明します。