# atlasberg-verify

> A ferramenta atlasberg-verify da Atlasberg Platform: verificação offline da trilha de auditoria, exports, licenças e relatórios de uso, com contrato exato de stdout e códigos de saída.

O verificador independente. Um binário separado e estático que roda offline numa cópia dos arquivos, sem tomar o lock da trilha, para o auditor verificar sem confiar no gateway.

## atlasberg-verify

O binário linka só a biblioteca padrão, o domínio de auditoria e a metade de leitura do adapter. Roda numa cópia dos arquivos e nunca toma o lock de escritor da trilha. A verificação é independente por projeto.

## Onde obter

Para o relatório de auditoria: Registre a versão impressa por -version ao lado do veredito. Um binário compilado à mão imprime dev.

- npm: npm install -g @atlasberg/verify, ou rode sem instalar com npx @atlasberg/verify. O pacote tem um lançador pequeno e instala o binário da sua plataforma (Linux x64 e arm64, macOS Intel e Apple Silicon, Windows x64) como dependência opcional; nada é baixado na instalação.
- Na imagem do appliance, em /app/atlasberg-verify, e no bundle de distribuição assinado. É a cópia para salas air-gapped.
- Do fonte, com go build ./cmd/atlasberg-verify, para quem quiser compilar o verificador por conta própria.

```bash
npm install -g @atlasberg/verify
atlasberg-verify -version
# atlasberg-verify 0.2.1
```

## Uso

- -from e -from-hash: checkpoint externo. Um checkpoint lido do próprio arquivo sob análise é recusado.
- -anchor: começa na âncora assinada mais recente.
- -quiet: suprime só o resumo. Nunca reduz o que é verificado.
- -version: imprime a versão da ferramenta e sai.

```bash
atlasberg-verify -dir /app/data
atlasberg-verify -events trilha.log -anchors ancoras.log -key chave.pub
atlasberg-verify -export relatorio.txt -key chave.pub
atlasberg-verify -license arquivo.cert [-root <chave b64url>]
atlasberg-verify -usage relatorio.json -key chave.pub
```

## Códigos de saída

- Código: 0 | Significado: Íntegro e totalmente testemunhado.
- Código: 1 | Significado: Divergência (inclui linha ilegível no meio do arquivo).
- Código: 2 | Significado: A ferramenta não conseguiu rodar.
- Código: 3 | Significado: Íntegro, mas com cauda sem âncora que a testemunhe.

## O contrato do stdout

Os vereditos são ASCII sem acento, exatamente como o código imprime. É um contrato para automação.

- O escopo da verificação é sempre impresso, mesmo com -quiet.
- Um aviso é impresso quando a chave pública veio do arquivo de segredos do próprio deployment em vez do auditor.

```text
INTEGRO ate a seq %d (head %s), com testemunha assinada ate o fim
DIVERGENCIA na seq %d: %s
INTEGRO MAS SEM TESTEMUNHA ate a seq %d (head %s)
INTEGRO MAS COM CAUDA INCOMPLETA ate a seq %d (head %s)
trilha vazia: nenhum evento para verificar
ANCORA INVALIDA %s (%d..%d): %v
SEQUENCIA DE ANCORAS QUEBRADA: %v
CAUDA INCOMPLETA: ...
EXPORT VALIDO: tipo %s, emitido em %s, chave %s
EXPORT INVALIDO: %v
LICENCA VALIDA (assinatura confere com a %s)
LICENCA INVALIDA: %v
RELATORIO DE USO VALIDO (assinado pela chave do deployment %s)
RELATORIO DE USO INVALIDO: %v
```

## O que ele verifica

- A trilha: integridade da cadeia e âncoras assinadas (-dir ou -events mais -anchors).
- Exports assinados (-export): relatórios de conformidade e exports da trilha.
- Licenças (-license): a assinatura contra as chaves raiz embutidas, ou uma raiz passada com -root.
- Relatórios de uso (-usage): assinados com a chave do deployment e encadeados pelo hash do relatório anterior.

## Sobre a Atlasberg Platform

A Atlasberg Platform é a camada de controle entre uma empresa e todos os modelos de IA: cada requisição é autenticada com uma chave virtual, filtrada por política e DLP, roteada para o provedor certo e gravada numa trilha de auditoria encadeada por hash. Expõe uma API compatível com a OpenAI, então as aplicações só trocam a URL base.

O mesmo artefato roda na Atlasberg Cloud, na sua VPC, on-premises ou totalmente air-gapped, e é cobrado por capacidade e módulos, nunca por assento.

Esta página faz parte da documentação oficial. Para falar com o time de engenharia, escreva para contact@atlasberg.com ou use https://atlasberg.com/pt-br/contato. A resposta vem em até um dia útil.

## Mais da Atlasberg

- [Índice da documentação](https://atlasberg.com/pt-br/docs)
- [Visão geral da plataforma](https://atlasberg.com/pt-br)
- [Fale com a engenharia](https://atlasberg.com/pt-br/contato)

---
Fonte: https://atlasberg.com/pt-br/docs/verify
Empresa: Sobimann Tecnologia da Informacao LTDA (Atlasberg), Porto Alegre, RS, Brasil.
Contato: contact@atlasberg.com - resposta em até um dia útil.
Índice para agentes: https://atlasberg.com/llms.txt