coordination.leaseモジュール 02リソースを一度に1つのエージェントだけが保持するようにします。リースは自動で失効し、待たなければならないエージェントにはキューがあります。
coordination.lease は、1つのエージェントにリソースの排他的なリースを付与します。要求した2つ目のエージェントは、保持者の名前とともに拒否され、待機すべき時間を伝えられます。リソースごとに専用のリース権限があるため、リースが二重に付与されることはなく、解放されないリースは失効します。
© 2026 Intramedial. All rights reserved. IntramedialはTrustviceの製品です。 Secured and supercharged by Avonao Labs.
不正利用の報告RESTルートとリース権限が受け取るのは resource と actorDid のみです。MCPスキーマは ttlMs を受け付けますが、リース作成前に破棄されるため、すべてのリースは30,000 msで動作します。延長するには早めに解放するか、再取得してください。
プレーンのモジュール
resourceactorDidleaseid、resource、holder、、、、。resource と actorDid を投稿します。認証済みエージェントは自分自身としてしか要求できません。要求はその1つのリソースのリース権限へ送られます。
空いているリソースは { ok: true, lease } を返します。保持中なら、保持者と待機時間を付けて lease_held を返します。待機の循環を閉じてしまう要求は を返します。
実行（または⌘/Ctrl + Enter）で左のリクエストに署名します。
初回の実行時に、このブラウザで無料のテストキーを作成します。7日間で約35回、アカウントは不要です。レシートはここに返され、当社を信頼することなく、公開済みの鍵で検証されます。
APIが受け付ける形のリクエストと、モジュールが返す形のレスポンス例です。
POST /api/v1/acp/coordination/lease Authorization: Bearer av_workspace_•••• Content-Type: { : , : }
2つのリリースエージェントが lock:deploy/production を要求します。一方がリースを得て、他方は保持者と再試行のタイミングを伝えられます。
エージェントがリースを取得した後に停止します。リースは失効し、アラームが回収し、次に並ぶエージェントが再び要求できます。
エージェントAが1つのリソースを保持してBのリソースを待ち、BがAのリソースを待っています。2つ目の要求は deadlock として拒否され、waitingOn が示されます。
モジュールは、狭い範囲について強く保証します。保証されることだけを頼ってください。
deadlock として拒否されます。リソースのセマンティクスクラスが、何が競合するかを決めます。同時に読んでも安全なリソースの2つの読み取りは互いを排除せず、書き込みや削除はすべてを排除します。
解放で保持者の信頼スコアは0.5上がり、解放なしの失効では5下がります。リース権限が発するシグナルはこの2つです。
付与は coordination.lease イベントを台帳に書き込みます。書き込みはベストエフォートのため、台帳の障害でリースが止まることはありません。
ワークスペースのAPIキーをBearerトークンとして認証します。ベースURLは https://api.intramedial.com です。
/api/v1/acp/coordination/leaseリソースの排他的リースを要求します。/api/v1/acp/coordination/release呼び出し元が保持するリースを解放します。
expiresAtMsscopenonceconditionsreasonlease_held。要求が待機の循環を閉じる場合は deadlock。holderstampedelease_held 時: 通過を許された待機者数 admitted と、待機すべき時間 waitMs。waitingOndeadlock 時: 保持者自身が待っているリソース。leaseIdrelease 用: 解放するリース。古いIDは拒否されます。deadlockrelease はリースを解放し、保持者の信頼スコアに0.5を加算します。失効に任せたリースはアラームによって回収され、5点の減点になります。
拒否には stampede.waitMs が付き、待機者の数に応じて長くなります。GET /api/v1/acp/coordination/wait はキューを返します。
{
"ok": false,
"reason": "lease_held",
"holder": "did:web:acme.example:agent:release",
"stampede": {
"admitted": false,
"waitMs": 50
}
}50のエージェントが同じファイルを求めます。拒否のたびにキューに応じて長くなる waitMs が返るため、再試行は集中せず分散します。
coordination.admit が示します。civics.presence、意図の表明は civics.claims を使います。negotiate.propose を使ってください。ttlMs に何を送っても、すべてのリースは既定の長さで動作します。ttlMs を読み取りません。release は resource と actorDid を受け取り、任意で leaseId も受け取ります。MCPスキーマに leaseId はありません。coordination/admit だけです。/api/v1/acp/coordination/waitcoordination.lease.acquireMCPアクションとしてリースを要求します。coordination.lease.releaseMCPアクションとしてリースを解放します。coordination.waitMCPアクションとして待機キューを読み取ります。trust.get15civics.claims20Resource claims officeリースを取得する前に、エージェントがこれから作業する内容を表明できるようにし、2つの主張が衝突したらケースを開きます。metering.snapshot21Metered usage by workspaceプレーンがワークスペースについて数えたものを、メーターごとに、また各カウントが対応する課金メーターとともに確認できます。coordination.approve05Human approval queueリスクのある書き込みや削除を、サインイン済みの人が、エージェント、リソース、操作を見たうえで承認するまで保留します。dual-control.scopes22Two-person dual controlプレーンで最も破壊的な操作の実行前に、別々の管理者2人を必須にし、ブレークグラスの封印が無傷かを確認します。