標準

標準仕様

決定論的実行標準、適合性プロファイル、機械可読な用語で「信頼」を定義するRFC。

実行権限

実行権限。エフェクト型ツール、不可逆アクションの2フェーズコミット、署名済み決定記録、機械可読監査。

決定論的評価プロトコル。6段階パイプライン：コントラクト固定 → 上限チェック → 反事実 → 不変条件 → 判定 → レシート。

経済的インセンティブ付き暗号化証拠。エビデンスパック、保持ポリシー、報酬構造、市場メカニズム。

適合性

アクションは型付きプロポーザルです。すべてのツール呼び出しはスキーマ検証付きの決定論的JSONエンベロープを返します。

すべてのアクションがハッシュリンクレシートチェーンを生成します。証明はセッションルートにアンカーされた有向非巡回グラフを形成します。

実行はTEEで行われます。証明レポートがProofGraphにバインドされ、レシートがシリコンレベルで改ざん防止されます。