Especificações Canônicas
Padrões de execução determinísticos, perfis de conformidade e RFCs que definem o que 'confiável' significa em termos legíveis por máquina.
Autoridade de execução
Quem pode executar. Ferramentas tipadas por efeito, commit de duas fases para ações irreversíveis, registros de decisão assinados e auditoria legível por máquina.
Protocolo Authority Court
O protocolo de avaliação determinístico. Pipeline de seis estágios: fixação de contrato → verificação de teto → contrafactuais → invariantes → veredito → recibo.
Economia de evidência
Evidência criptográfica com incentivos econômicos. Packs de evidência, políticas de retenção, estruturas de recompensa e mecanismos de mercado.
Escada de conformidade
Saída estruturada
As ações são propostas tipadas. Cada chamada de ferramenta retorna um envelope JSON determinístico com validação de esquema.
Identidade criptográfica e geração ProofGraph
Cada ação produz uma cadeia de recibos hash-linked. As provas formam um grafo acíclico direcionado ancorado à raiz da sessão.
Raiz de confiança de hardware e execução atestada
A execução roda em um TEE. Os relatórios de atestação são vinculados ao ProofGraph, tornando os recibos à prova de adulteração em nível de silício.