Mizuki

Covenant

エージェントネイティブなコンピューティングのためのオープンなインフラストラクチャ。

Covenant は、エージェントアプリケーションの下層、ホストオペレーティングシステムの上層に位置します。エージェントフレームワークに共通する状態、権限、説明責任に関する課題、すなわちスコープ付き機能、永続的なメモリ、ランタイムの隔離、追記専用の監査、コミット単位の来歴を担うことで、個々のフレームワークがこれらを独自に作り直す必要をなくします。

ステータス。 ローカル制御プレーンは実際に稼働し、ライブテスト済みです（Rust クレート50個、約28万4千行、ソースコードから検出された Rust テスト3870件、うち境界のライブテスト486件）。悪意あるエージェントコードに対する本番品質のサンドボックス化と、ネットワーク化されたマルチピア運用はロードマップ上の項目です。Solana の決済プログラムはメインネットにデプロイ済みですが（クレジット、ステーキング、スラッシング、オンチェーンのレシートアンカリング）、デーモン駆動の経済ライフサイクルはまだ本番環境に対応していません。明示的な正直さの境界については、BUILT.md を参照してください。

マルチチェーン対応。 信頼レイヤーは Base メインネットにも署名付きステートメントとして投影され、あらゆる EVM コントラクトが単一の ecrecover で検証できます。これには、ERC-8004 エージェント登録、デプロイ済みのボンドレシート検証器、登録済みの EAS 評判スキーマ、ENS CCIP-Read ゲートウェイ（*.agents.opencovenant.eth）が含まれます。一方、$CVNT は単一の Solana ミントのままで、ブリッジもラップもされず、呼び出しごとのすべての手数料とボンドはチェーン内で完結する USDC です。オンチェーンの評判書き込みと資金が入金された USDC ボンドは登録済みですが、まだ利用されていません。一方、ライブの x402 販売者は Solana と Base の両方のメインネットでチェーン内の USDC を決済しており、Robinhood Chain メインネット（チェーン4663）では、実際の USDG を使った USDG の x402 支払いと、オンチェーンの上限付き支出エスクローが実証されています。docs/multichain-value-capture.md を参照してください。

• ウェブ： opencovenant.org
• ドキュメント： docs.opencovenant.org
• 論文： DOI: 10.5281/zenodo.20134416
• トークン： $CVNT · 2mNVZ6aEjrGwiUVCfz7XGWpiXuWzgBDoznwE579upump

クイックスタート

インストールせずにお試しいただけます — sandbox.opencovenant.org。稼働中のデーモンに接続された公開オペレーターコンソールで、状態は12時間ごとにリセットされます。

ローカルで実行するには、デーモンとCLIをビルドし、サンプルエージェントを登録して、デーモンを起動します。

git clone https://github.com/open-covenant/covenant && cd covenant
cd agent-os && cargo build --workspace --exclude covenant-settlement-program --locked

# Register the example agent (daemon loads $COVENANT_HOME/agents/ at startup)
mkdir -p ~/.covenant/agents
cp -R ../examples/hello-agent ~/.covenant/agents/hello

# Start the daemon
./target/debug/covenantd

次に、どちらかの画面から操作します。どちらも同じデーモン、監査チェーン、ケイパビリティストアを共有しています。

CLI

./target/debug/covenant capabilities grant memory.write
./target/debug/covenant capabilities grant intent.subscribe
./target/debug/covenant intent "say hello"

オペレーターコンソール — インテントのディスパッチ、監査チェーンの参照、ケイパビリティの付与、メモリ階層の確認ができる Next.js UI です。

cd agent-os/covenant-web
pnpm install --ignore-workspace
pnpm dev   # http://localhost:3000

コンソールはデーモンの HTTP ゲートウェイにプロキシし、サーバー側でオペレーターのベアラートークンを挿入します。また、すべてのディスパッチをハッシュチェーン化された監査ログを通じて検証可能なトレースとして表示します。エージェントの手順についてはexamples/hello-agent、CLIの実行例についてはdocs/demo.md、コンソールを Render 上の公開サンドボックスとしてデプロイする方法についてはdeploy/README.mdを参照してください。

TypeScript SDK

デプロイ済みの Solana 決済プログラムを基盤にエージェントを構築する開発者は、npm から @covenant-org/sdk をインストールできます。

npm install @covenant-org/sdk @solana/web3.js

この SDK は、Covenant のすべての命令（エージェント登録、$CVNT のステーキング、タスクのエスクロー、クレジット購入、レシートのアンカリング）を、署名済みの @solana/web3.js トランザクションに変換します。ワイヤーバイトはオンチェーンプログラムの IDL からエンコードされるため、プログラムが受け付ける内容とのずれは生じません。ライセンスは Apache-2.0 で、ランタイム依存関係は1つです。ソースは packages/sdk にあります。

Covenant を選ぶ理由

ソフトウェアエージェントは、対話型の支援から、長時間にわたるエンジニアリング業務へと移行しています。この変化に伴い、インフラストラクチャの課題も変わります。エージェントには、永続的なコンテキスト、明示的な権限、信頼性の高いツールアクセス、中断後の復旧、そして何が起きたかを記録する仕組みが必要です。

従来の開発環境は、あらゆる手順で人間のオペレーターが立ち会うことを前提としています。ブロックチェーンシステムは、検証可能な状態遷移、明示的な権限、独立した参加者間の永続的な調整を前提としています。Covenant は、こうした前提をエージェントインフラストラクチャに取り入れます。

• ガバナンス： インテント、マニフェスト、スコープ付き権限、レビューゲート、ポリシーを考慮したディスパッチ。
• 継続性： 永続メモリ、中断したタスク状態の再開、修復ワークフロー、構造化された引き継ぎ。
• 説明責任： 追記専用の監査ログ、整合性レポート、署名付きアクション、コミット単位の来歴情報。
• 相互運用性： ネイティブツール、MCP 統合、A2A メッセージング、ローカルゲートウェイ API、プロトコルアダプター。
• 実行： デーモンを介したランタイムディスパッチ、予算の適用、サンドボックスを考慮したエージェントマニフェスト。
• 決済： リソース利用の説明責任とエージェント間の調整に関する経済的な仕組みを支える、ローカルレシートとプロトコルの基盤。

アーキテクチャ

システムの中核は covenantd です。ローカル状態を管理する Rust デーモンであり、IPC、HTTP ゲートウェイ、署名付きケイパビリティ、監査ログ、メモリーストア、ランタイムのディスパッチを通じて、特権操作を仲介します。

#	プリミティブ	役割
1	インテント	CLI、IPC、HTTP、ルーティング、デーモンのディスパッチ向けに正規化されたリクエスト形式です。
2	ランタイム	エージェントの実行と、予算の適用（projection-tick によるプリエンプトと、cpu_ms_per_task によるウォールクロック時間のバックストップ）、マニフェスト契約、信頼されたローカルサブプロセス、オプトイン方式の Linux gVisor ランナーのサポートを担います。
3	メモリー	SQLite を基盤とする作業記録、エピソード記録、長期記録と、埋め込みフック、除外ルール、ドリフトレポート、修復、上限付き圧縮を提供します。
4	アイデンティティ	ローカル ed25519 アイデンティティ、ピアレジストリ、オペレータートークン、トークンローテーション、ピアの失効を管理します。
5	権限	既知のスコープの検証、ディスパッチ時の適用、有効期限、失効トゥームストーンを備えた署名付きケイパビリティを提供します。
6	通信	IPC フレーム、ローカル HTTP ゲートウェイ、MCP アダプター、A2A メールボックスのプリミティブを提供します。
7	コンポジター	Next.js ウェブコンソール（agent-os/covenant-web）、公開ランディングページ／ドキュメント、そしてデーモン IPC を介してインテント、メモリー、監査、ケイパビリティ、A2A、チェーンレシート、ピアレジストリを表示する covenant-tui ターミナル UI で構成されます。
8	決済	エージェント連携の経済性を支える、ローカルリソースのレシートとプロトコルの基盤を提供します。

監査機能は、アイデンティティ、権限、決済の基盤です。追記専用の JSONL イベント、ローカルのハッシュチェーン整合性レポート、保持制御、署名付きアクション、監査ルートのアテステーションを提供します。主要な実装は、デーモン、CLI、TUI、プロトコルクレート、ランタイム、メモリー、アイデンティティ、権限、ピア認証、監査、MCP および A2A アダプター、予算台帳、決済コンポーネントを含む Rust ワークスペース agent-os/ にあります。周辺のモノレポには、公開ドキュメント、ウェブ機能、回路、SDK パッケージ、サポートサービスが含まれます。

実装の詳細と検証の根拠については、docs/audit-integrity.md、docs/capabilities.md、agent-os/README.md を参照してください。

機能

Covenant には以下が含まれます。

• ローカルエージェントのオーケストレーションに対応する Rust デーモンと CLI。
• IPC とローカル HTTP ゲートウェイのインターフェース。
• 実装済みの名前空間に対する、付与時の検証、有効期限、取り消し、ディスパッチ時のスコープ適用を含む、署名付きケイパビリティのライフサイクル。
• ピア認証、オペレータートークンのローテーション、ピアの取り消し、ピアスコープの A2A チェック。
• 構造化されたイベント型、上限付き読み取り、保持期間に基づく削除、ローカルでのハッシュチェーン検証に対応する追記専用の監査ログ。
• 作業、エピソード、長期の各ティアをまたいだ、SQLite を基盤とするプロジェクトメモリ。
• MCP アダプター、ネイティブツール統合、A2A メールボックスのプリミティブ。
• 予算超過、シャットダウン時の処理、1 回限りの再開ハンドオフに対応する、デーモン管理の一時停止チェックポイントストレージを備えた予算台帳のプリミティブ。
• リソース会計用のローカル決済レシート。
• HTTP 402（x402）を介したエージェントからサービスへの支払い。デーモンは従量課金リソースの支払いを外部に対して実行でき、Covenant は Solana メインネットで USDC による決済を行う稼働中の x402 販売者を運用しています（有料の Covenant-Verified 証明、オンチェーンのアイデンティティパスポート、レピュテーションの読み取り）。これに加えて、エスクローサービスと Ephemeral-Rollup クレジットファシリテーターも提供しています。
• Base メインネットへのマルチチェーンの信頼性投影：ERC-8004 エージェント登録、デプロイ済みのボンドレシート検証ツールと EAS レピュテーションスキーマ、監査ルートとレピュテーション用の EAS オフチェーン証明、正規の Solana アイデンティティを解決する ENS CCIP-Read ゲートウェイ（*.agents.opencovenant.eth）を備えています。いずれもブリッジやクロスチェーントークンなしで、1 回の ecrecover で検証できます。オンチェーンのレピュテーションスコアと資金提供済みの USDC ボンドは、まだ運用されていません。同じステートレス検証設計と x402 レールは Robinhood Chain メインネット（チェーン 4663）にも対応しています。USDG による x402 支払いは、実際の USDG でメインネット上の決済が完了しています。また、SpendGrantEscrow コントラクトは、Robinhood Chain テストネットでチャージ、リリース、返金の一連の処理が実証されており、エージェントの支出を上限内に抑えます。一方、ボンド検証ツールとレピュテーション検証ツールはデプロイ済みですが、まだ運用されておらず、ERC-8004 アイデンティティも投影されていません。詳しくは docs/multichain-value-capture.md をご覧ください。
• タスク記録、変更された Git ブロブ、遷移イベント、検証証拠をひも付ける、コミットスコープの来歴エンベロープ。
• ローカル整合性レポート用の、未署名またはローカル署名済みの監査ルート証明。リリース対象をリリースサブジェクトおよびリリーススコープのマニフェストにひも付けることで、監査ログ、リリース成果物一式、対象範囲内のタスク一式を単一の証明で網羅します。
• オプトイン方式の、デーモン、CLI、ランタイム、および選択したバックエンド境界のライブテスト。
• 相対パスのインストールマニフェストを備えた、デーモンと CLI 用のソースビルド型ローカルインストーラー。
• Rust、ドキュメント、ワークフローのリント、来歴の検証、依存関係の監査、CodeQL を対象とする CI カバレッジ。公開されているライブテストの一覧はソースから得られます。非公開のワークフローチェックアウトでは、さらに厳格なマトリックス検証が追加される場合があります。

検証

Rust ツールを必要としない変更では、スクリプトのみのゲートを実行します。

bash agent-os/scripts/validate.sh --scripts

リポジトリのルートから、高速なローカルゲートを実行します。

bash agent-os/scripts/validate.sh --quick

Rust の完全な検証ゲートを実行します。

bash agent-os/scripts/validate.sh

コミット済みの来歴エンベロープを検証します。

node agent-os/scripts/provenance.mjs verify-all

公開ドキュメントの出力をビルドします。

pnpm --dir landing install --frozen-lockfile --ignore-workspace
pnpm --dir landing build

ホストの前提条件が満たされている場合は、ライブ境界テストを実行します。

cd agent-os
cargo test --workspace --exclude covenant-settlement-program -- --ignored live_

公開されているライブテストのカバレッジ一覧を確認します。

bash agent-os/scripts/test-stats.sh

研究の方向性

Covenant は、以下を実現するためのオープンなインフラストラクチャを発展させます。

• ガバナンスに基づく自律的なソフトウェア保守；
• 検証可能なエージェントのアクションと、コミット単位で追跡できる来歴；
• ローカルおよびリモートのエージェント間での、能力範囲を限定した委任；
• 長期にわたる作業のための永続的なプロジェクトメモリ；
• 中断をまたいで再開可能なタスクの所有権；
• 再現可能な時間的状態、訂正、および証明付きのリプレイ；
• ポリシーを考慮したツールの使用と、サンドボックス内での実行；
• 監査ルートの証明、公開された来歴、エージェント間の連携に関する経済性。

Covenant Timeline 統合では、スタンドアロンの Timeline カーネルをリリースの時系列に適用します。検証済みの v0.1.0-alpha.1 の実行はプロセスの再起動後も保持され、先行する状態を書き換えることなく、信頼できるタイムスタンプの訂正を記録します。また、公開済みのパッケージ @covenant-org/[email protected] を正確に使用し、過去の記録を3つの時点で切り取って証明付きの結論を検証します。元の v0alpha1 チェックポイントアダプターも、互換性のために引き続き利用できます。

これはシャドー監査であり、リリースゲートでも、権限を付与するものでもありません。Timeline の事前登録済みフロンティアモデルベンチマークは、スタンドアロンのモデルメモリ精度ゲートに合格しませんでした。限定的なナラティブメモリは上回りましたが、ステートレスなフルコンテキスト構造化抽出は上回らず、記録上の判定は kill となりました。Covenant は、決定論的な時間的状態、訂正、リプレイ、証明の検証に統合を使用します。Timeline がモデルの精度を高めるという根拠としては使用しません。 ベンチマーク結果の全容は公開されています。

引用

Covenant を学術研究で使用する場合や、論文でこの設計を参照する場合は、ホワイトペーパーを引用してください。

Covenant contributors. (2026). Covenant: A Capability-Based Operating Layer for Autonomous Software Engineering Agents. Zenodo. https://doi.org/10.5281/zenodo.20134416

@misc{covenant2026,
  author    = {Covenant contributors},
  title     = {Covenant: A Capability-Based Operating Layer for Autonomous Software Engineering Agents},
  year      = {2026},
  publisher = {Zenodo},
  doi       = {10.5281/zenodo.20134416},
  url       = {https://doi.org/10.5281/zenodo.20134416}
}

PDF のコピーは opencovenant.org/paper.pdf にあります。LaTeX ソースは paper/arxiv/ にあります。

コントリビューション

Covenant は、セキュリティ上重要な境界を持つシステムインフラストラクチャです。コントリビューションには、検証計画、変更した動作に対するテスト、運用への影響を明確に示す説明を含めてください。

まずは CONTRIBUTING.md と ROADMAP.md をご覧ください。ID、権限、監査、ランタイム分離、決済、来歴、リリースの自動化、CI に関わる変更は、特に入念にレビューする必要があります。

セキュリティ

責任ある脆弱性開示については、SECURITY.md に従ってください。ランタイム分離の境界については、docs/runtime-sandbox-security.md で追跡しています。脆弱性について、公開の Issue を作成しないでください。

ライセンス

Apache-2.0。LICENSE をご覧ください。