Uma LLM própria de domínio específico inserida em uma arquitetura defensiva governada. A autoridade de execução fica fora da saída aprendida; as ações são delimitadas, observadas por capacidade disjunta e registradas em recibos recomputáveis.
Uma LLM própria de domínio específico inserida em uma arquitetura defensiva governada. A autoridade de execução fica fora da saída aprendida; as ações são delimitadas, observadas por capacidade disjunta e registradas em recibos recomputáveis.
Um arcabouço proposto para defesa cibernética autônoma governada: envelopes de ação, admissibilidade excluída do modelo, efeitos delimitados, reversibilidade e evidências que um leitor externo pode recomputar.
O modelo pode explicar. A autoridade precisa ter limites.
01Sinal estruturado
02Contrato declarado
03Gate do envelope
04Execução delimitada
05Verificação disjunta
06Recibo selado
O modelo narra sessões com resultados verificados. Ele não autoriza a execução. A revisão agendada e a reconciliação por elemento fecham o ciclo depois da ação.
Contenção, verificação e selagem no episódio relatado
12
Turnos em um recibo recomputado externamente
3
Famílias de avaliação: política, envelope e evidência
As observações são instâncias históricas do manuscrito, não garantias de latência, benchmarks estatísticos ou validação independente de toda construção.
OPEN ACCESS TO MANUSCRIPTS
Downloads
Edições originais publicadas. Os arquivos são espelhados sem alteração; o manifesto público inclui seus hashes.
Como a LLM DAI se relaciona com cibersegurança, segurança da informação e resposta a incidentes: autoridade excluída do modelo, contenção delimitada e evidências verificáveis.
Não. O manuscrito descreve uma LLM de domínio específico e uma arquitetura defensiva, com a saída do modelo excluída da autoridade de execução.
Posso verificar a arquitetura apenas pelo paper?
Os papers especificam mecanismos e o contrato de recomputação. Algumas propriedades exigem examinar a construção ou as capacidades do provedor; um recibo não prova tudo. DAI §8.10 discute explicitamente a limitação da procedência do alvo.
Os papers passaram por revisão por pares?
Estas edições são preprints científicos. Os resultados formais dependem das hipóteses declaradas; as observações se referem aos experimentos descritos. Não se declara endosso científico de terceiros.
Posso usar o software proprietário ou os pesos do modelo?
O repositório público reúne manuscritos científicos, citações, um glossário técnico e o site de pesquisa. O acesso público não concede licença sobre código proprietário ou pesos do modelo.