Doze mecanismos com definições precisas
Os nomes estão vinculados às definições e aos resultados em ADAI §7.2; DAI §2.5 relaciona cada mecanismo ao sistema e às observações descritos. São mecanismos técnicos, sem alegação de que as siglas sejam marcas registradas.
| Sigla | Mecanismo | Significado |
|---|---|---|
| AC | Autonomy Covenant | A conjunção de perímetro defendido, efeito delimitado, reversão declarada e verificação por capacidades disjuntas. Todos os predicados precisam valer. |
| MEA | Model-Excluded Authority | Os argumentos declarados da função de admissibilidade excluem a saída aprendida. Retreinar não concede autoridade de execução ao modelo. |
| ACO | Action Contract Object | Uma ação de catálogo fechado declarada antes da execução, incluindo escopo do efeito e reversão. |
| EBT | Evidence-Bound Targeting | Alvos vêm de um conjunto fixo de chaves em evidências estruturadas; texto livre fica fora do domínio de extração. O paper distingue construção de procedência verificável pelo recibo. |
| PPB | Principal-Perimeter Binding | O perímetro de execução está vinculado ao principal da sessão, sem perímetro padrão. |
| DSC | Discriminator-Scoped Containment | Um predicado separador limita a contenção a um principal em um ponto compartilhado de execução. |
| SAV | Split-Authority Verification | A verificação usa uma credencial sem capacidade de escrita; a separação decorre da capacidade, não da convenção. |
| SSC | Sealed Session Chain | Campos ordenados da sessão e resumos antecessores formam uma cadeia de hashes; o resumo terminal é selado sob autoridade de escrita separada. |
| PPR | ProofPath Receipt | Um recibo autodescritivo contém o contrato de recomputação para verificar a cadeia sem importar o código do produtor. |
| ELR | Element-Level Reconciliation | A reconciliação acompanha elementos contidos, e não identificadores de regras do provedor, preservando significado sob agregação. |
| RBT | Review-Bound Testimony | O testemunho humano entra como evidência registrada para revisão determinística, não como comando direto de execução. |
| SRL | Sealed Review Loop | Uma revisão agendada abre uma nova sessão selada que referencia a original sem reabri-la. |