プラットフォーム · エンジン

前に確かめ、時に記録し、後で検証できる。

エンジンは、重大な変更の前にゲートを置き、ソフトウェアの効果には逆操作を先に用意し、変更と文脈を一つのトランザクションとして記録し、誰でもオフラインで検証できる署名付きの受領証を出します。

公開中Apache-2.0
01

仕組み

  1. 01候補

    提案された変更が、アダプタを通って届きます。

  2. 02検証

    ゲートが「通す」「止める」「人に委ねる」を返します。ソフトウェアの効果なら、先に逆操作を作ります。

  3. 03正規化

    どんな形で届いても、変更に一つの識別子を与えます。

  4. 04確定

    変更とその文脈が、一つのトランザクションとして確定します。

そして受領証を、効果の後に積みます。署名し、追記専用のログに固定します。

現在扱う効果:ファイル、git、データベース、時刻、ツール呼び出し。

02

構成

CLI
変更をゲートに通し、記録し、取り消すためのコマンドライン。
SDK
あなたのツールやエージェントからゲートを呼び出すためのもの。
受領証のスキーマ
一つの変更の署名付き記録。第三者が確かめ直すのに必要なものを含みます。
オフライン検証器
発行者もサーバーもなしに、受領証を確かめ直します。
03

限界

主張と同じページに置きます。どちらかだけが読まれることのないように。

  • 逆操作が世界を元に戻すことは保証しません。
  • アダプタを通った効果だけが対象です。
  • 意味としての正しさは判断しません。
04

ライセンス

Apache-2.0

ひとりなら、ずっと無料。チームと組織の方は、ご相談ください。