A.1 — Começo rápido
tar xzf atomic-os-handover.tar.gz && cd atomic-os npm install node src/smoke.mjs # 47/47 — prova end-to-end, standalone
O smoke exercita o ciclo inteiro na máquina local: transação, firewall,
byte-positivity, recusa sem prova, governança de manifesto MCP — sem rede, sem
serviço externo, sem confiar em relato de ninguém. Para plugar o motor como
servidor MCP num agente, seguir docs/INSTALL.md e
src/ENFORCEMENT_SETUP.md dentro do pacote.
A.2 — Arquitetura em três camadas
┌───────────────────────────────────────────────────────────┐
│ FÁBRICA (não entregue) │
│ witness → indução → gates anti-tautologia → promoção │
│ → certificação assinada por juiz separado │
└──────────────────────┬────────────────────────────────────┘
│ políticas certificadas (assinadas)
▼
┌───────────────────────────────────────────────────────────┐
│ PRATELEIRA / runtime (não entregue) │
│ carrega políticas certificadas; aplica edição multi-site │
│ via AST; emite selo mecânico + recibo por edição │
└──────────────────────┬────────────────────────────────────┘
│ usa o motor por baixo
▼
┌───────────────────────────────────────────────────────────┐
│ MOTOR — Atomic OS (ESTE PACOTE) │
│ 116 tools MCP · engine estrutural WASM multi-linguagem │
│ write firewall · transações · byte-positivity · │
│ proofOfIncorrectness · governança de provas │
└───────────────────────────────────────────────────────────┘
A fronteira é deliberada. O motor entregue contém a interface de consumo de
artefatos promovidos (knowledge-ascent-consumer) — o encaixe
existe e é visível; a produção do que se encaixa permanece no laboratório.
A.3 — Protocolo do benchmark de paridade
- Mesmo contrato para os dois lados: as mesmas 18 tarefas de edição estrutural, a mesma especificação, o mesmo critério mecânico.
- Lado A: modelo pequeno e barato + motor + políticas certificadas. Lado B: modelo de fronteira sozinho.
- Os portões recomputam tudo: nenhum lado é avaliado pelo que o modelo diz que fez — só pelo que os verificadores conferem no resultado real.
| Lado | Configuração | Resultado |
|---|---|---|
| A | modelo pequeno + políticas certificadas | 18/18 |
| B | modelo de fronteira, sem motor | 0/18 |
A.4 — O experimento Cognição
O atomic como firewall do agent-loop: um agente real (OpenCode dirigindo DeepSeek) trabalha em repositórios reais, com a edição livre negada na configuração — o caminho verificado é o único caminho. Harness SWE-bench oficial (swebench + Docker), calibrado com patch-ouro (RESOLVED) e baseline sem apoio (UNRESOLVED): o aparato mede o que deve medir.
O achado: cerca de 95% das tarefas do SWE-bench são consertos únicos, de recorrência estrutural quase nula — terreno infértil para um substrato cuja força é induzir operação repetível. O teste justo está nos domínios de recorrência alta (lint, deprecação, migração, classes recorrentes de bug), com desenho de três braços para isolar variáveis: fábrica completa; conhecimento sem enforcement; enforcement sem conhecimento.
A.5 — O que foi removido desta cópia, e integridade
Os grupos de ferramentas de auto-evolução/refutação foram desregistrados de
server.ts/build.mjs — sem tocos quebrados, o build
fecha verde. Corpus, portões de certificação, harness de evolução e critérios
de promoção não acompanham (página 5).
SHA-256 do tarball: 594fc4b497d7c5d86800f3ab53de7b7eb35c7c403c2b1879c430fb37fffd8f20
shasum -a 256 atomic-os-handover.tar.gz # compare com o hash acima cd atomic-os && shasum -a 256 -c MANIFEST.sha256 # confere arquivo por arquivo
A.6 — Limites e não-claims
- O smoke 47/47 prova o motor; os números da fábrica (18/18) não são reproduzíveis a partir deste pacote, por desenho.
- Emergência semântica do substrato: não provada. Nenhum claim aqui depende dela.
- O enforcement de cliente (os ganchos que obrigam um agente a usar o caminho verificado) não acompanha.
- Esta página é estática, sem scripts e sem rastreamento.