mandates.compileモジュール 03エージェントの憲章をコードとして書き、誰に何を許すかがどう変わるかを確認し、マンデートの次のバージョンとして適用します。
mandates.compile は、imd、Cedar、Regoで書かれたマンデートを付与に変換します。simulate は変更で何が許可されるかを示し、何も書き込みません。compile はマンデートの次のバージョンとして反映し、ダイジェストを送ると読んだプレビューに結び付きます。モデルは関与しません。
© 2026 Intramedial. All rights reserved. IntramedialはTrustviceの製品です。 Secured and supercharged by Avonao Labs.
不正利用の報告mandates.compile に再生ルートはありません。コンソールは history/counterfactual で期間を再生してからコンパイルします。変更を適用する前に、from、to、addGrants または dropGrants を付けてそのルートを呼んでください。
プレーンのモジュール
mandatename、grants、sourceFormat、engine、version、および objectives と priority。format を既定の imd にします。mandate <name> の行に続き、1行1ルールで allow <action> on <resource> for <principal> と書きます。どのパターンにも合わない行は何にもコンパイルされません。
format を にします。主体、アクション、リソースを等価で判定する 文が使えます。、、 は400で拒否されます。Cedarエンジンではなく、サブセットです。
実行（または⌘/Ctrl + Enter）で左のリクエストに署名します。
初回の実行時に、このブラウザで無料のテストキーを作成します。7日間で約35回、アカウントは不要です。レシートはここに返され、当社を信頼することなく、公開済みの鍵で検証されます。
APIが受け付ける形のリクエストと、モジュールが返す形のレスポンス例です。
POST /api/v1/acp/mandates/compile Authorization: Bearer av_workspace_•••• Content-Type: { : , : }
billing-writes のより厳しいバージョンをコンパイルします。プレビューが絞られた付与を一覧し、適用時には他のマンデートやパックが付与していないものが取り消されます。
diff は2つの憲法を許可内容で比較します。並べ替えや名前変更だけのマンデートは permissionsUnchanged: true と報告され、名前付きの主体を * に変えると付与の拡大が報告されます。
モジュールは、狭い範囲について強く保証します。保証されることだけを頼ってください。
simulate の呼び出しは何も書き込みません。スナップショット、マンデート一覧、保存済み成果物のいずれも変わりません。previewDigest に結び付けた compile は、プレビュー時のマンデートまたは憲法が変わっていれば拒否されます。付与にはバージョンではなくマンデートの名前が付きます:mandate:<name>/<action>/<principal>/<resource>。マンデート一覧とスナップショットが食い違っても、バージョン番号は増える一方です。
ダイジェストの対象は、コンパイル済みの付与とそれが乗る憲法で、ソーステキスト、方言、時刻は含みません。憲章のインデントを変えても承認は有効なままです。
プレビューには expiresInMs で示される15分の有効期間があります。これは compile と一緒に previewAt を送ったときに適用され、送らない場合はダイジェストのずれだけが適用を拒否します。
ワークスペースのAPIキーをBearerトークンとして認証します。ベースURLは https://api.intramedial.com です。
/api/v1/acp/mandates/compileマンデートをコンパイルして適用するか、未適用のまま保存します。/api/v1/acp/mandates/simulate変更をプレビューしてダイジェストを返します。何も書き込みません。
appliedapply: false を送ると 0 です。revokedwithheldcaseId が付きます。snapshotstored)、署名されたか(signed、alg)、どの key で署名されたか。previewDigestapply: false を送ると null です。unpreviewedtrue。findingslint と simulate から:それぞれに severity、silent-no-op や shadowed などの code、message があります。cedarpermit(...)forbidwhenunlessformat を rego にします。input.principal、input.action、input.resource を等価で判定する allow { ... } ブロックが使えます。not、some、walk は拒否されます。OPAではなく、サブセットです。
mandate <name> で名前を付け、各付与を主体、アクション、リソースで記述します。用途を示す任意の行として objective decrease cloud-spend や priority 4 があります。
lint は何にもコンパイルされないルール、ワイルドカード、遮蔽された付与を指摘します。simulate は現行の憲法との差分と digest を返し、何も書き込みません。
compile は、そのマンデートを次のバージョンとしてその場で置き換えます。新バージョンで外れた付与は、同じ付与をまだ行う別のマンデートまたはパックに引き継がれるか、取り消されて revoked に列挙されます。
compile と一緒に previewDigest、previewBefore、previewAt を送ります。その後マンデートや憲法が動いていれば、どちらかを示す409で拒否されます。ダイジェストがなければそのまま適用され、unpreviewed: true が返ります。
{
"mandate": {
"name": "billing-writes",
"grants": [
{
"principal": "did:web:acme.example:agent:billing",
"action": "write",
"resource": "repo:payments/main"
}
],
"sourceFormat": "imd",
"engine": "regex-scrape",
"version": 1
},
"applied": 1,
"revoked": [],
"withheld": [],
"snapshot": {
"stored": true,
"signed": true,
"alg": "hmac-sha256",
"key": "acp:mandate:ws_acme:billing-writes"
},
"previewDigest": "9c1e5a07d4b3",
"unpreviewed": true
}policies.propose を持つ呼び出し元は apply: false を送ると、スナップショットを変えずに署名付き成果物をコンパイルして保存できます。適用には policies.approve が必要です。
CIで lint を実行します。ルールの形をしているのに付与にコンパイルされなかった行は error となり、imd のタイプミスが空の憲章として通ることはなくなります。
history/counterfactual ルートの役目で、drills.counterfactual がドリルとして実行します。coordination.admit に送ってください。compile はワークスペースに即時適用されます。段階的な展開には change-trains.list を使ってください。lint が見つけるのは、何もしないルールやワイルドカードなどの機械的な欠陥であり、悪い意図ではありません。imd はパターンの走査にすぎず、何にも合わない行は何にもコンパイルされず、compile もそれを拒否しません。mcp.enforce と github.enforce を参照してください。compile は成果物を acp:mandate:<workspace>:<name> の下の設定ストアに保存します。ゲートウェイの署名シークレットが紐付いている場合にのみHMACで署名され、そうでなければ signed は false です。
objective と priority はマンデートに残り、ダイジェストには含まれません。detection.run はこれらを読んで、1つの指標を逆方向に引っ張る2つのマンデートを見つけます。
policies.approve、apply: false には policies.propose が必要です。持たない呼び出し元は403、呼び出し元を示さないリクエストは401になります。apply: false はプレビューではありません。署名付き成果物は書き込まれます。何も書き込みたくない場合は simulate を使ってください。permit や allow のブロックがないソースは、400で拒否されます。coordination.mandates.compile アクションが受け取るのは source、format、apply だけなので、プレビューの結び付け用フィールドはRESTのみです。/api/v1/acp/mandates/list/api/v1/acp/mandates/lint何もしないルールがないかマンデートを確認します。/api/v1/acp/mandates/diff2つの憲法を許可内容で比較します。coordination.mandates.compileプレビューの結び付けなしでマンデートをコンパイルします。coordination.mandates.listワークスペースのコンパイル済みマンデートを一覧します。drills.counterfactual34civics.settings23Workspace constitutionこのワークスペースで、緊急度ごとに、エージェントの質問へ人が答えるべき速さと当番を設定します。change-trains.list24Staged change trains変更をまずフリートの一部に展開し、計測したシグナルで確認しながら、段階的に進めます。packs.list25Signed pack registry外部からエージェント、付与、ドリルのパックを取り込み、誰が署名したか、途中で1バイトでも変わったかを把握します。lenses.run26Governance lenses渡したデータに固定のチェックを実行し、毎回同じ答えとして、証拠付きの合格または不合格を得ます。attestation.policy27Artifact build attestationポリシーのスナップショットと検出器パックで受け入れるビルダーを決め、信頼できる作者が署名しても別のビルドで作られたものは拒否します。pack-revenue.balances28Pack revenue ledger誰がいくら稼ぎ、いくら未払いか。支払う前に、最小通貨単位まで1円も漏れなく確認できます。