drills.counterfactualモジュール 34ポリシーを変更する前に、その影響を確認します。選んだリクエストを、付与を外すか追加して再実行し、回答がどう変わるかを見ます。
drills.counterfactual は、プローブのリクエストをIntralockで2回評価します。1回は現行のポリシースナップショット、もう1回は付与を外す、付与を追加する、リースを解除するなどしたコピーです。各プローブは before と after を返します。モデルは動かず、付与、リース、マンデートは変わりません。
© 2026 Intramedial. All rights reserved. IntramedialはTrustviceの製品です。 Secured and supercharged by Avonao Labs.
不正利用の報告
プレーンのモジュール
packIdpack_counterfactual は付与 g-house を外し、did:a が repo:main を読むプローブを実行します。grantIdsgrantId は1件だけを指定します。probes を送るか、1件のリクエストを actorDid、resource、action で送ります。何も指定しない場合の既定プローブは、標準パックにある、did:a が repo:main を読む操作です。
このモジュールの呼び出しは実際の状態を変更したり外部サービスに到達したりするため、共有デモでは実行しません。ご自身のワークスペースで実行するにはサインインしてください。 drills.counterfactualの資料
このモジュールの呼び出しは実際の状態を変更したり外部サービスに到達したりするため、共有デモでは実行しません。ご自身のワークスペースで実行するにはサインインしてください。
APIが受け付ける形のリクエストと、モジュールが返す形のレスポンス例です。
POST /api/v1/acp/drills/counterfactual Authorization: Bearer av_workspace_•••• Content-Type: { : }
g-house を外す前に、それを使うエージェントをプローブします。各 after で、そのエージェントが付与を保持するか、no_grant で拒否されるかがわかります。
同じシナリオで、より狭い付与を追加してワイルドカードを外し、残したいリソースをプローブします。
コピーでリソースのリースを解除し、拒否が lease_held によるものか、付与がないためかを確かめます。
モジュールは、狭い範囲について強く保証します。保証されることだけを頼ってください。
allow: true には grantId と protectedClass が付きます。拒否には no_grant、lease_held、protected_class、cycle、stampede のいずれかと detail が付きます。
ワークスペースのAPIキーをBearerトークンとして認証します。ベースURLは https://api.intramedial.com です。
/api/v1/acp/drills/counterfactual仮定上の変更の前後でプローブを評価します。coordination.drills.counterfactual
addGrantsprincipal、action、resource と任意の id を持ちます。dropLeasestrue にすると、コピー内でプローブ対象リソースのリースを解除します。dropLeaseResourcesprobesactorDid または principal、resource、action と任意の nowMs を持ちます。beforeallow、または reason と detail を伴う拒否。afterresult はこれを繰り返します。droppedIdsadded は追加された付与のIDを一覧します。forceInline外す付与は grantIds、追加する付与は addGrants、リースの解除は dropLeases か dropLeaseResources で指定します。packId は保存済みのシナリオを読み込み、pack_counterfactual は組み込み済みです。
各プローブは、現行のスナップショットと変更後のコピーの両方で評価されます。循環を生む仮定上の付与はエラーではなくスキップされます。
レスポンスは、ワークスペースの最新の counterfactual ドリルとして保存されます。付与、リース、マンデートは変わりません。
ドリルのワークフローが紐付いていて forceInline がない場合、ワークフローが処理を引き継ぎ、レスポンスは queued: true と workflowId になります。
{
"packId": "pack_counterfactual",
"dropped": "g-house",
"droppedIds": [
"g-house"
],
"added": [],
"probes": [
{
"probe": {
"principal": "did:a",
"resource": "repo:main",
"action": "read",
"nowMs": 1793523600000
},
"before": {
"allow": true,
"grantId": "g-house",
"protectedClass": "none"
},
"after": {
"allow": false,
"reason": "no_grant",
"detail": "did:a lacks read on repo:main"
}
}
],
"before": {
"allow": true,
"grantId": "g-house",
"protectedClass": "none"
},
"after": {
"allow": false,
"reason": "no_grant",
"detail": "did:a lacks read on repo:main"
},
"result": {
"allow": false,
"reason": "no_grant",
"detail": "did:a lacks read on repo:main"
},
"llm": false
}保存したドリルを、各プローブの before と after とともに、付与を廃止する変更リクエストに添付します。
ledger.blame で読みます。mandates.compile で行います。drills.frt が固定の参照シナリオを実行します。after が実際の承認判定の回答になること。承認判定は隔離、停止スイッチ、確認の下限も適用しますが、このチェックでは省かれます。pack_counterfactual は g-house を外し、did:a が repo:main を読むプローブを実行します。レジストリのパックも同様に、dropGrantIds、addGrants、dropLeaseResources、probes を持てます。
反事実の実行には、すべてのドリルと同じく policies.propose が必要です。
counterfactual ドリルとして保存されます。新しい実行がそれを置き換えます。packId は何も読み込まず、リクエストは送ったフィールドで実行されます。before、after、result は最初のプローブを表します。残りは probes を読んでください。conflict-audit.latest33