六つの層。一つの規律。

公開中

変更の前に置くゲート、先に用意する逆操作、署名付きの受領証、オフラインの検証器。現在はファイル、git、データベース、時刻、ツール呼び出しの効果を扱います。

正しさ

正しいとは、受領証が発行者なしにオフラインで再検証できること。

但し書き

アダプタを通った効果だけが対象です。

研究中

物理システムのための、行為の完全性とライフサイクルの記録。

正しさ

正しいとは、アクチュエータに届く行為がすべて、起きる前に範囲を定められ、証拠を残していること。

研究中

機械が計算したのと同じ判定を、人が見るためのビューア。

正しさ

正しいとは、人と機械が二つではなく一つの判定を読むこと。

但し書き

現在は内部でのみ使用。