attestation.policyモジュール 27ポリシーのスナップショットと検出器パックで受け入れるビルダーを決め、信頼できる作者が署名しても別のビルドで作られたものは拒否します。
attestation.policy はビルド来歴のポリシーを読み書きします。信頼するビルダー、証明が必須か、保持している証明の数を一覧します。作者の署名はパックを書いた人を示し、このモジュールはそのバイト列をどのビルダーが作ったかを、別の軸で問います。
© 2026 Intramedial. All rights reserved. IntramedialはTrustviceの製品です。 Secured and supercharged by Avonao Labs.
不正利用の報告
プレーンのモジュール
policybuilders、requireAttestation、requireTransparencyLog。kindspolicy-snapshot と detector-pack。policy は、ビルダー、requireAttestation、requireTransparencyLog、証明対象の2つの kinds、保持している証明の数を返します。
は、 を持つビルダー、 または の 、証明できる 、 の場合は と を受け取ります。
共有デモワークスペースでデモ用キーを使って実行します。中身は誰でも見られるため、非公開の情報は送らないでください。 attestation.policyの資料
実行を押すと、左のリクエストが共有デモワークスペースに送信されます。
共有デモワークスペースでデモ用キーを使って実行します。中身は誰でも見られるため、非公開の情報は送らないでください。
APIが受け付ける形のリクエストと、モジュールが返す形のレスポンス例です。
GET /api/v1/acp/attestation/policy Authorization: Bearer av_workspace_•••• → 200 { policy, kinds, attested }
アイデンティティが正確なリリースワークフローである ci ビルダーを1つ信頼します。フォークや似たリポジトリでビルドされたパックは、アイデンティティの確認で失敗します。
パックが有効な作者の署名を持ちながら、不正なビルドから来ていることがあります。証明を必須にすると、packs.list はその登録を拒否します。
ATTESTATION_SELF_JWK が紐付いていると、プレーンはポリシーのスナップショットに署名します。その署名なしで書かれたスナップショットは、読み取り時に適用されません。
モジュールは、狭い範囲について強く保証します。保証されることだけを頼ってください。
verify は、送信した成果物をその保存済みの証明と照合します。エンベロープ自身のダイジェストはオブジェクトの代わりになりません。self 証明は、持ち運ばれたものには拒否されます。プレーンにはその由来を確認するビルドサービスがないためです。attestation.refused として台帳に書き込まれます。信頼できる時刻は、署名者が書いた startedOn ではなく、透明性ログの integratedTime です。ローテーションで外れた鍵は、使用中に署名したとログエントリが示すものだけを検証します。
ポリシースナップショットは、coordination がハイドレートするときの読み取りで検査されます。検出パックは、作成者チェックの後、packs.list の登録時に travelled: true で検査されます。
ワークスペースのAPIキーをBearerトークンとして認証します。ベースURLは https://api.intramedial.com です。
/api/v1/acp/attestation/policyポリシー、アテスト済みの種別、保持数を読み取ります。/api/v1/acp/attestation/attestスナップショットまたはパックの DSSE エンベロープを記録します。
attestedattestations ルートは、それぞれが立会い済みかどうかと共に一覧します。builderIdtrust は同じIDのビルダーを置き換え、untrust はこれをキーとして受け取ります。issuerci ビルダー向け:証明書の発行元でなければならないOIDCのissuer。issuerのない ci ビルダーは拒否されます。sanPatterns* は / または @ で終わり、1文字以上に一致しなければなりません。artifactverify 向け:オブジェクトそのもの。横に付けたダイジェストは質問として受け付けられません。loosenedrequire が返す値:呼び出しで requireAttestation をオフにした場合は true。trustbuilderIdciselfkindkindsciissuersanPatternsattest は kind と name に対するDSSEエンベロープを、任意の透明性ログのエントリと共に保存します。新しいビルドは古いものを置き換え、古いビルドは拒否されます。
require は requireAttestation または requireTransparencyLog を有効にします。ビルダーも自己署名鍵もない場合は、何も読み込めなくなるため有効化を拒否します。
{
"policy": {
"builders": [
{
"builderId": "release-workflow",
"kind": "ci",
"issuer": "https://token.actions.githubusercontent.com",
"sanPatterns": [
"https://github.com/acme/platform/.github/workflows/release.yml@refs/tags/*"
],
"keys": [],
"kinds": [
"detector-pack"
]
}
],
"requireAttestation": true,
"requireTransparencyLog": false
},
"kinds": [
"policy-snapshot",
"detector-pack"
],
"attested": 2
}requireAttestation をオフにすると loosened: true の attestation.policy イベントが追記されるので、静かなダウングレードも台帳に残ります。
packs.list に属します。mandates.compile は自前の成果物を保存します。このモジュールが確認するのは、スナップショットとパックの証明です。coordination.admit です。証明が守るのは読み込まれるもので、エージェントが次に行うことではありません。attestation.policy イベントに記録されます。ci ビルダーだけです。requireAttestation の既定はオフで、新しいプレーンにはビルダーがありません。requireTransparencyLog を設定しない限り透明性ログが参照されたこと。渡されたログのエントリは、このエンベロープのダイジェストを指していなければなりません。同じアーティファクトに新しいアテステーションを付けると古いものが置き換わるため、coordination の書き込みのたびにポリシーのピンが増えることはありません。
trust には keys.create、untrust には keys.revoke、require には policies.approve が必要です。ポリシーの読み取りに権限は不要です。
秘密鍵は ATTESTATION_SELF_JWK から読み込まれ、保存されません。自己アテステーションに失敗しても、付与を失わないよう coordination の書き込みは続行されます。
attest には、policy-snapshot または detector-pack の kind、空でない name、署名付きのエンベロープが必要です。untrust は 404 を返し、保持中より古いビルドへの attest は 409 を返します。coordination.* アクションがありません。REST 経由でのみ利用できます。/api/v1/acp/attestation/attestations/api/v1/acp/attestation/verifyアーティファクトをそのアテステーションに照らして検証します。/api/v1/acp/attestation/trust信頼済みビルダーを追加または置き換えます。/api/v1/acp/attestation/untrust信頼済みビルダーを削除します。/api/v1/acp/attestation/requireアテステーション要件のオン/オフを切り替えます。このモジュールにMCPアクションはありません。任意のエージェントやプログラムからRESTで呼び出してください。
coordination.admit01civics.settings23Workspace constitutionこのワークスペースで、緊急度ごとに、エージェントの質問へ人が答えるべき速さと当番を設定します。change-trains.list24Staged change trains変更をまずフリートの一部に展開し、計測したシグナルで確認しながら、段階的に進めます。lenses.run26Governance lenses渡したデータに固定のチェックを実行し、毎回同じ答えとして、証拠付きの合格または不合格を得ます。pack-revenue.balances28Pack revenue ledger誰がいくら稼ぎ、いくら未払いか。支払う前に、最小通貨単位まで1円も漏れなく確認できます。