ProtoOS v0.2.0 — 統合自律プロトコルオペレーティングシステム

ポリシー管理されたコントロールプレーンのリファレンス実装であり、既存のエージェントプロトコル（MCP、A2A、AP2マンデート、x402、MPP、UCP/ACPスタイルのコマース、AG-UI、ANP/DIDスタイルのアイデンティティ）を統合して、エージェントが構築・発見・調整・認可・支払い・監査される単一の環境を提供します。

純粋なPython 3.12標準ライブラリ（+ Ed25519用のオプションのcryptography、OS検証済みHMACフォールバック付き）。ネットワークは不要です。

関連: OpenMesha · rui · server-os

サーフェス

Related MCP server: Agorus MCP Server

0.2.0の新機能 — コンステレーションとObsidianヴォールト

世界は今やファーストクラスのグラフとなり、WebコンソールのConstellationタブと同等になりました。

• protoos.graph.build_graph(os) は、ライブオブジェクトグラフ（プリンシパル、予算、MCPサーバー/ツール、AP2マンデートチェーン、レシート、タスク、保留中の承認）を、ブラウザビルドと同じノードタイプ/エッジ種類の語彙で導出します（パリティチェック済み: MATCH）。

• protoos.graph.layout(graph, seed=…) は決定論的なフォースレイアウトです。エクスポート: to_json, to_dot, to_svg。

• protoos.vault.write_vault[_zip](os, dest) は、ウィキリンクされたノートのObsidianヴォールトを書き出します。unresolved_links() は整合性を証明します。

• 堅牢化: AuditLog.append はペイロードをディープコピーします。TraditionalRail はレシートを保持します。

python3 -m protoos.graph out/        # constellation.{json,dot,svg}
python3 -m protoos.vault vault.zip   # Obsidian vault
python3 demo.py                      # also writes both artifacts
python3 -m protoos.cli status

クイックスタート

python3 -m unittest discover -s tests   # 95 tests
python3 demo.py                          # end-to-end scenario
python3 -m protoos.verify                # traceability audit + live smoke
pip install -e ".[crypto]"               # optional Ed25519
protoos status

from protoos import ProtoOS, Catalog
from protoos.sdk import ProtoOSClient

os_ = ProtoOS()
os_.engine.add_rule("user", "allow", ["payment.settle"], "amount <= 200")
os_.engine.add_rule("org", "require_approval", ["payment.settle"], "amount > 50")

casey  = os_.create_user("casey")
shop   = os_.create_merchant("shop")
budget = os_.wallet.create_budget(casey.did, 500.0, window=(300.0, 86400))

catalog = Catalog(shop.did, "shop")
catalog.add("bk1", "Distributed Systems 101", 10.00, "USD", "digital")

receipt = os_.purchase(casey.did, catalog, [{"sku": "bk1", "qty": 2}],
                       intent_text="buy two intro ebooks", max_amount=100,
                       budget_id=budget.id, categories=["digital"])
# Intent Mandate -> checkout -> Cart Mandate -> Payment Mandate
# -> policy + budget -> x402 settle -> hash-chained audit

仕様 → モジュールマップ

ここでの「リファレンス実装」の意味

仕様で指定されたすべてのプロトコルサーフェスは、プロセス内で動作しテストされています： JSON-RPC MCP（有料ツール付き）、A2Aタスクライフサイクル、完全なAP2 Intent→Cart→Paymentマンデートチェーン、プロセス内ファシリテーターによるx402チャレンジ/セトル、MPPプリペイドセッション、SSE上のAG-UIイベントストリーム、DIDドキュメントとwell-known公開。このサンドボックスにはネットワーク出口、Kubernetesクラスター、外部SDKがありません。そのため、オープンインターネットを必要とするものはすべてローカル/ループバック相当で実装され、traceability.json で明示的に partial または deferred とマークされています。何も黙って省略されることはありません。

本番堅牢化パス

1. Rustコントロールプレーン（X1）： ここでのモジュール境界は意図したサービスを反映しています。Pythonビルドは実行可能な仕様です。

2. ストレージ（X3）： インメモリ + JSONL → etcd/Postgres / オブジェクトストレージ / ベクターDB。

3. レール（M1/X6）： 公式のx402/MPP/AP2 SDKが既存のレールの継ぎ目に組み込まれます。

4. トランスポート（X4/X5）： httpapi.py の横にgRPC/QUICを追加。

5. サンドボックス化（G4）： SandboxedExecutor をコンテナ/microVM分離に置き換え。

設計原則

1. 置き換えるのではなく統合する

2. ポリシー優先の自律性（すべての機密アクションはゲートされる）

3. 暗号化マンデート + ハッシュチェーン監査

4. ヒューマン・イン・ザ・ループをファーストクラスのプリミティブとして

5. すべてをマルチレールに（ツール、メッセージング、支払い、アイデンティティ）

6. 誠実なpartial/deferredマーカーを持つオフライン優先のリファレンス

ライセンス

Apache-2.0。ガバナンス憲章草案: GOVERNANCE.md。