エビデンスと証明書
明確な主張。検査可能な記録。
明確な主張。検査可能な記録。
モデル、推論、シミュレーションの証明書の背後にある対象、手法、履歴をたどります。
証拠エクスプローラー
ひとつの判断を追う
何が使われたか？ 何が起きたか？
対象、入力、モデルの出力、ポリシーアクションをひとまとめにします。記録を開いて、この例の範囲をご確認ください。
- inspection-model-v3
- RUN-0142
- 未実施
確認できる結果。
- 対象
- RUN-0142
- モデル参照
- inspection-model-v3
- 入力参照
- FRAME-0018
- 観測された出力
- 障害物を検出
- ポリシーアクション
- 停止コマンドを発行
- 物理的応答
- この例の対象外
読みやすい記録は、コンテキストと結果を結び付けます。記録が存在するだけでは、正しさが保証されるわけではありません。
記録を確認する
この具体例は、ひとつのモデル入力、出力、ポリシーコマンドを結び付けています。物理的なフィードバックと暗号学的検証は、このフィクスチャの対象外です。