mandates.compileMódulo 03Escreva a carta de um agente como código, veja o que ela mudaria sobre quem pode fazer o quê e aplique-a como a próxima versão do mandato.
mandates.compile transforma um mandato escrito em imd, Cedar ou Rego em concessões. simulate mostra o que uma mudança permitiria e não grava nada; compile a aplica como a próxima versão do mandato, vinculada à prévia que você leu quando envia seu digest. Nenhum modelo participa.
Passe ações de agentes, hashes de conteúdo, checagens de API, DNS, webhooks, chamadas de LLM e commits git pela Intramedial. Receba um recibo assinado que todos verificam – sem confiar em nós.
© 2026 Intramedial. Todos os direitos reservados. A Intramedial é um produto da Trustvice. Secured and supercharged by Avonao Labs.
Denunciar abusomandates.compile não tem rota de replay. O console reproduz um período por history/counterfactual e depois compila. Chame essa rota com from, to e addGrants ou dropGrants antes de aplicar uma mudança.
Módulo da plataforma
mandatename, grants, sourceFormat, engine, version, e quaisquer objectives e priority./docs/mandates-compileReferência da APIRotas, corpos e códigos de status./docs/mandates-compileAbrir o consoleVeja o módulo em ação no painel, em uma frota de exemplo ou na sua./dashboard-preview/mandatesComece grátisCrie um workspace e admita sua primeira intenção./auth/signup
applied0 quando você envia apply: false.revokedwithheldcaseId.snapshotstored), assinado (signed, alg) e sob qual key.previewDigestnull quando você envia apply: false.unpreviewedtrue quando o apply não foi vinculado a um digest de prévia.findingslint e simulate: cada um tem uma severity, um code como silent-no-op ou shadowed e uma message.format definido como imd, o padrão. Uma linha mandate <name> e depois uma regra por linha: allow <action> on <resource> for <principal>. Uma linha que não corresponde a nenhum padrão compila para nada.
format definido como cedar. Instruções permit(...) que testam principal, ação e recurso por igualdade. forbid, when e unless são recusados com 400. Um subconjunto, não um motor Cedar.
format definido como rego. Blocos allow { ... } que testam input.principal, input.action e input.resource por igualdade. not, some e walk são recusados. Um subconjunto, não o OPA.
Nomeie-o com mandate <name> e declare cada concessão como principal, ação e recurso. Linhas opcionais dizem para que serve: objective decrease cloud-spend e priority 4.
lint sinaliza regras que compilam para nada, curingas e concessões sombreadas. simulate devolve o diff contra a constituição em vigor e um digest, e não grava nada.
compile substitui o mandato onde está, como a próxima versão. Uma concessão que a nova versão remove passa a outro mandato ou pacote que ainda a faz, ou é revogada e listada em .
sha256("…") é calculado no seu navegador; só o hash é enviado. Docs de mandates.compile
Clique em Rodar (ou ⌘/Ctrl + Enter) e assine a requisição ao lado.
A primeira execução cria uma chave de teste grátis neste navegador: cerca de 35 chamadas em 7 dias, sem conta. O recibo volta aqui e é verificado com as chaves publicadas, sem confiar em nós.
Uma requisição no formato que a API aceita e um exemplo de resposta no formato que o módulo devolve.
POST /api/v1/acp/mandates/compile Authorization: Bearer av_workspace_•••• Content-Type: application/json { "source": "mandate billing-writes\nallow write on repo:payments/main for did:web:acme.example:agent:billing", "apply": false } → 200 { mandate, applied, snapshot, previewDigest }
{
"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",
:
},
: ,
:
}Compile uma versão mais restrita de billing-writes. A prévia lista as concessões reduzidas, e o apply revoga o que nenhum outro mandato ou pacote ainda concede.
diff compara duas constituições pelo que permitem. Um mandato reordenado ou renomeado relata permissionsUnchanged: true; trocar um principal nomeado por * relata uma concessão ampliada.
Quem chama com policies.propose pode enviar apply: false para compilar e armazenar o artefato assinado sem alterar o snapshot. Aplicar exige policies.approve.
Execute lint no CI. Uma linha com forma de regra que compilou para nenhuma concessão é um error, então um erro de digitação em imd não passa mais como carta vazia.
history/counterfactual faz isso, e drills.counterfactual a executa como simulação.coordination.admit.compile vale de imediato para o workspace; use change-trains.list para um lançamento em etapas.Um módulo é uma afirmação forte sobre algo estreito. Confie nele exatamente pelo que ele é.
simulate não grava nada: nem snapshot, nem lista de mandatos, nem artefato armazenado.compile vinculado a um previewDigest é recusado quando o mandato ou a constituição contra a qual foi visualizado mudou.lint encontra falhas mecânicas como regras nulas e curingas, não má intenção.imd é uma extração por padrões: uma linha que não corresponde a nada compila para nada, e compile não a recusa.mcp.enforce e github.enforce.Uma concessão leva o nome do mandato, não da versão: mandate:<name>/<action>/<principal>/<resource>. O número da versão só sobe, mesmo quando a lista de mandatos e o snapshot discordam.
O digest cobre as concessões compiladas e a constituição em que elas entram, não o texto-fonte, o dialeto nem o relógio. Reindentar uma carta mantém uma aprovação válida.
Uma prévia tem uma duração de 15 minutos em expiresInMs. É imposta quando previewAt é enviado com compile; senão só uma mudança no digest recusa o apply.
compile armazena um artefato no armazenamento de configuração em acp:mandate:<workspace>:<name>. É assinado com HMAC só quando o segredo de assinatura do gateway está vinculado; senão signed é false.
objective e priority ficam no mandato e não entram no digest. detection.run os lê para encontrar dois mandatos que puxam uma métrica em direções opostas.
policies.approve e apply: false exige policies.propose. Quem chama sem isso recebe 403, e uma requisição que não nomeia ninguém recebe 401.apply: false não é uma prévia: ainda grava o artefato assinado. Use simulate quando nada pode ser gravado.permit ou allow, é recusada com 400.coordination.mandates.compile recebe só source, format e , então os campos de vínculo da prévia são só REST.Autentique-se com uma chave de API do workspace como token Bearer. A URL base é https://api.intramedial.com.
/api/v1/acp/mandates/compileCompile um mandato e aplique-o, ou armazene-o sem aplicar./api/v1/acp/mandates/simulateVisualize uma mudança e devolva seu digest; não grava nada./api/v1/acp/mandates/listListe os mandatos em vigor, com suas versões./api/v1/acp/mandates/lintConfira um mandato em busca de regras que não fazem nada./api/v1/acp/mandates/diffCompare duas constituições pelo que permitem.coordination.mandates.compileCompile um mandato, sem o vínculo de prévia.coordination.mandates.listListe os mandatos compilados do workspace.coordination.admit01Intralock admissionDecida cada ação antes que aconteça: um agente declara sua intenção, e o Intralock a admite ou nomeia o motivo de ela não poder.detection.run07Conflict detectionTransforme a disputa entre agentes em um caso aberto com a evidência anexada, em vez de um alerta que ninguém sabe responder.drills.counterfactual34Counterfactual simulationPergunte o que uma mudança de política faria antes de fazê-la: reexecute requisições escolhidas com concessões removidas ou adicionadas e veja cada resposta mudar.civics.settings23Workspace constitutionDefina com que rapidez os humanos devem responder às perguntas dos seus agentes e quem está de plantão, para cada urgência neste workspace.change-trains.list24Staged change trainsLance uma mudança primeiro para parte da frota, confira-a contra sinais medidos e avance uma etapa por vez.packs.list25Signed pack registryTraga de fora um pacote de agentes, concessões e simulações e saiba quem o assinou e se algum byte mudou no caminho.revokedEnvie previewDigest, previewBefore e previewAt com compile. Se o mandato ou a constituição mudou desde então, a chamada é recusada com um 409 que nomeia qual metade. Sem um digest, aplica e responde unpreviewed: true.
applylenses.run26