Gleam.br Wiki

GBR: GleamBR AI | Wiki

Documentação de engenharia e especificações técnicas da Gleam-BR.

GBR: GleamBR AI

*TIP*

  • Portabilidade Cross-Platform: A lógica de sandboxing lógico em filesystem.gleam baseada na verificação de os.family() em tempo de execução elimina a necessidade de infraestrutura pesada (Docker) ou de baixo nível de sistema operacional (Landlock/AppArmor), permitindo que o MVP rode de forma inline com consumo de memória RAM de apenas kilobytes no Windows do desenvolvedor.

*Ver depois*

CDRT IMPORTANTE: https://github.com/mochi/statebox

https://github.com/zabirauf/crumb/tree/main https://www.nobt.io/ https://www.squer.io/about

ADR

EARS

Os Agentes Modernos e Os Titãs Descentralizados da FSF

1. Os Agentes Autônomos Modernos (Open-Source)

No mercado atual de IAs Open-Source, a maioria das ferramentas sofre do mesmo mal: são escritas em Python, o que as torna fáceis de prototipar, mas pesadas e bloqueantes em produção (devido ao GIL - Global Interpreter Lock).

*Aider (O nosso maior "concorrente" visual):*

  • Como funciona: É um agente de CLI que faz pair-programming. O grande brilhantismo do Aider é o uso do *Git* (que é, na sua essência, um banco de dados baseado em Árvore de Merkle). Ele usa o Git para criar commits automáticos, garantindo que a IA nunca destrua o seu código irreversivelmente.
  • A diferença: O Aider é fortemente amarrado à máquina local de forma síncrona. Ele não possui uma malha P2P como o nosso gbr_p2p.

*OpenHands (Antigo OpenDevin):*

  • Como funciona: É a alternativa aberta ao Devin. Ele não roda na sua máquina diretamente; ele cria um Container Docker isolado (Sandbox) e deixa o Agente brincar lá dentro.
  • A diferença: É extremamente pesado. O nosso gleambr_ai usa um Chroot lógico via Erlang (filesystem MCP), o que consome zero memória RAM extra, enquanto o OpenHands exige o daemon do Docker rodando.

*ChatDev / CrewAI:*

  • Como funciona: Focados no conceito de Swarm (Enxame). Eles criam uma "empresa virtual" onde o Agente A é o CEO, o B é o programador e o C é o testador. Eles conversam entre si para gerar código.
  • A diferença: Roda de forma centralizada. O nosso ADR-054 (Swarm Workspaces) prevê isso de forma descentralizada, rodando em máquinas diferentes via malha P2P.

2. A Sabedoria Antiga: FSF, GNU e Redes Distribuídas

Aqui é onde a verdadeira engenharia de sistemas brilha. Antes de falarmos de "IA", a Free Software Foundation e a comunidade cypherpunk já resolviam problemas de confiança zero (Zero-Trust) e distribuição de estado que nós estamos enfrentando na nossa Frente BETA.

**GNUnet (O Avô do nosso gbr_p2p):**

  • O que é: O GNUnet é o framework oficial da GNU para redes P2P seguras. Ele não usa TCP/IP de forma tradicional; ele cria uma malha criptografada onde os nós roteiam mensagens sem saber a origem ou o destino final (Onion Routing).
  • Como se aplica a nós: O que nós estamos construindo com o GossipSub e Yamux é a versão moderna e focada na web do que o GNUnet idealizou. O GNUnet foca em resistir à censura de governos; o nosso gbr_p2p foca em permitir que desenvolvedores colaborem sem um servidor central da Microsoft ou da AWS.

*Git e IPFS (A Magia da Árvore de Merkle):*

  • O que é: A Árvore de Merkle. O Git (criado por Linus Torvalds, sob licença GPL) e o IPFS (InterPlanetary File System) usam Árvores de Merkle Direcionadas (Merkle DAGs). Nessa estrutura, cada arquivo e pasta recebe um hash criptográfico. Se você muda um byte, o hash muda, e isso se propaga até a raiz.
  • Como se aplica a nós: No futuro do gleambr_ai, quando um Agente na máquina A quiser garantir que tem exatamente o mesmo código que o Agente na máquina B, nós não precisamos enviar o código inteiro. Eles trocam apenas a "Raiz de Merkle". Se for idêntica, o código é idêntico. Custo de banda: quase zero.

*GNU Taler:*

  • O que é: Um sistema de pagamento eletrônico que preserva a privacidade, livre de blockchains (não é uma criptomoeda como o Bitcoin). Ele usa criptografia cega (Blind Signatures) para que o banco saiba que o dinheiro é válido, mas não saiba quem o gastou.
  • Como se aplica a nós: Se um dia os agentes da malha gbr_p2p precisarem "pagar" pelos tokens de IA uns dos outros (economia de APIs), mecanismos como o do Taler são muito mais eficientes do que transações em blockchain.

"Advogado do Diabo" (crítico)

1. OpenHands vs. WASM Sandbox (O Futuro do BPMN/DMN)

*A sua ideia:* Usar WebAssembly (WASM) como Sandbox para ServiceTask no BPMN, no lugar do Docker ou do Chroot.

*Análise Crítica:* *Isso é genial e arquiteturalmente perfeito.* * *O Problema do Docker (OpenHands):* O Docker isola o Sistema Operacional. Ele é pesado, demora milissegundos a segundos para subir, e exige um daemon rodando como root. É um navio cargueiro para transportar uma caixa de fósforos.

  • **O Chroot (Nosso filesystem):** Isola *I/O (Entrada e Saída)*. Ele impede que a IA apague o seu HD, mas não impede que a IA faça um loop infinito while(true) e trave a CPU.
  • *A Magia do WASM:* O WASM isola *Instruções de CPU e Memória*. Se um Agente gerar um código para uma ServiceTask de um processo BPMN, nós compilamos isso para WASM em milissegundos. Rodamos dentro da Erlang VM (usando um NIF do wasmtime em Rust). Nós podemos dizer: "Execute este WASM, mas ele só tem 10 Megabytes de RAM e 50 milissegundos de CPU". Se ele estourar, a VM Erlang mata a execução instantaneamente.

*Veredito:* O Chroot lógico protege o disco na Frente ALPHA. O WASM protegerá o Computacional (CPU/RAM) nas nossas futuras ServiceTasks do Motor BPMN. São tecnologias complementares!

2. ChatDev vs. Swarm com Erlang (Os 9 Noves)

*A ideia:* Rejeitar a "empresa do caos" do ChatDev e focar em Humanos (CTO) interagindo com IAs especializadas, usando a filosofia de resiliência do Erlang.

*Análise Crítica:* A citação histórica e cirúrgica, o lendário *AXD301, um switch de telecomunicações da Ericsson escrito em Erlang nos anos 90 que atingiu a mítica marca de *99.9999999% de uptime (Nove "Noves")** — o que significa menos de 31 milissegundos de fora do ar por ano.

  • O ChatDev falha porque tenta colocar LLMs para orquestrar LLMs num loop fechado em Python. O LLM degrada a informação (telefone sem fio) e o sistema quebra.
  • O nosso *Swarm Workspace* resolve isso porque a orquestração do estado e da falha é feita pela Erlang VM e pelo GossipSub. A IA não gerencia o estado; a IA é apenas uma Worker Function sem estado. Quem lidera o chat é você (o humano). Se o Agente "Especialista em Banco de Dados" alucinar e der crash, a Árvore de Supervisão Erlang o reinicia em 1 microssegundo com a memória limpa, e ele tenta de novo.

*Veredito:* O conceito de agentes M2M sem supervisão total é ficção científica perigosa hoje. A sua visão de Centauro (Máquina + Humano juntos na mesma sala P2P) é a única arquitetura pronta para a vida real de uma empresa de tecnologia.

3. A Economia M2M: GNU Taler vs. LWT ScyllaDB

*A sua ideia:* Criar um mercado de Agentes distribuídos usando a filosofia do GNU Taler ("BitcoinAI") aliado à consistência de LWT do ScyllaDB.

*Análise Crítica:* Bem-vindo ao Web3 feito do jeito certo (sem o golpe dos NFTs).

  • *O Problema M2M Atual:* Se o meu Agente (no Brasil) pedir para o seu Agente (no Japão) compilar um binário em ARM, quem paga o custo de CPU e de API (OpenAI) do seu Agente? Sem uma moeda nativa, o P2P morre na tragédia dos comuns.
  • *Por que ScyllaDB LWT (Lightweight Transactions) não basta?* O ScyllaDB usando Paxos é incrível para garantir que Conta_A = 10 e Conta_B = 5, evitando gastos duplos. MAS, ele é um banco de dados identificável. Todo mundo sabe quem pagou quem.
  • *A Magia do Taler (Blind Signatures):* O Taler permite que você compre "fichas criptográficas". O meu Agente entrega uma ficha matemática para o seu Agente. O seu Agente valida no banco (ScyllaDB) e sabe que a ficha é verdadeira e tem fundos. *Mas o ScyllaDB não sabe que fui eu que paguei.* Isso garante a privacidade do Enxame.
  • **O Fluxo no gbr_p2p:** O humano carrega uma carteira (com Reais, Dólares ou créditos internos da empresa). O Agente do humano recebe os "Taler Tokens". Quando o Agente delega um sub-problema na malha GossipSub para outro nó, ele anexa o Token. O nó remoto executa, ganha o token, e usa para as próprias inferências BYOC dele.

*Veredito:* Isso é o "Santo Graal" dos Agentes Autônomos, um sistema operacional distribuído autossustentável. E, curiosamente, a Erlang VM e o Elixir estão cheios de bibliotecas de criptografia avançada que tornam as assinaturas cegas (Blind Signatures) muito rápidas de implementar.