- Máquinas de Estado e Diagramas de Sequência para fluxos de on-/off-ramp e disputa.
- Especificações de Interface de Prova: entradas/saídas para predicados de identidade; APIs de verificador; interface de módulo de evidência planejada.
- Especificação de Adaptador de Oráculo: fontes, agregação, parâmetros.
- Matemática de Reputação: fórmulas de pontuação, decaimento, limiares e exemplos.
- Registro de Parâmetros de Governança com intervalos seguros e procedimentos de mudança.
- Glossário de termos de protocolo e classes de trilho.