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 deMockModelpara 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_textfor 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
/indexfor acionado via CLI, o sistema deve ler as assinaturas AST através doglance, 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
candlerealizar 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).