Gleam.br Wiki

GBR: Requisitos do Oráculo de Borda (Pure Rust AI Core) | Wiki

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

GBR: Requisitos do Oráculo de Borda (Pure Rust AI Core)

*Requisitos Ubíquos (Ubiquitous Requirements)*

  • *UBQ-01:* O núcleo de inferência (gbr_llm) deve operar estritamente em ambiente 100% Rust, sendo proibida a injeção de bibliotecas dinâmicas externas (.dll/.so) que não sejam geradas pelo pipeline do Cargo.
  • *UBQ-02:* A suíte de testes do monorepo deve detectar automaticamente o ambiente GBR_ENV=test, injetando instâncias de MockModel para evitar o download de pesos neurais ou execuções pesadas durante ciclos de integração contínua (CI).

*Requisitos Orientados a Eventos (Event-Driven Requirements)*

  • *EVD-01:* Quando a função generate_text for invocada, o sistema deve iterar o laço de inferência (Forward Pass -> Sampling -> Detokenize) até atingir o token de parada estrito (EOS) ou o limite de segurança de tokens configurado na FSM do Agente.
  • *EVD-02:* Quando o comando /index for acionado via CLI, o sistema deve ler as assinaturas AST através do glance, particionando o código em blocos lógicos e despachando cada fragmento para a vetorização BERT (gbr_vector) antes da persistência no DuckDB.

*Requisitos Orientados a Estado (State-Driven Requirements)*

  • *STD-01:* Enquanto o motor candle realizar a amostragem de probabilidades (Logits), a rotina de amostragem gulosa (Greedy Sampler) deve ser executada exclusivamente em Dirty Schedulers para prevenir a inanição de tarefas de rede do P2P Yamux.
  • *STD-02:* Enquanto a FSM do Agente estiver no estado Drafting, o sistema deve suspender qualquer interaçao com o motor LLM ou buscas vetoriais, acumulando a entrada bruta até o sinal de fechamento de buffer (/end).