GBR: Requisitos do Motor Cognitivo na Borda (Local LLM Core)

*Requisitos Ubíquos (Ubiquitous Requirements)*

• *UBQ-01:* A camada de inferência gbr_llm deve operar com alocação dinâmica e adaptativa de buffers no FFI, realocando o espaço de memória com base nos retornos negativos de APIs C intrínsecas (ex: llama_tokenize) antes de falhar a conversãocite: aqui.
• *UBQ-02:* Todo estado conversacional ou ponteiro de modelo nativo instanciado pelo oracle.gleam deve estar acoplado ao ciclo de vida do Ator OTP, garantindo o fechamento e libertação atômica dos recursos na destruição do processo supervisorcite: aqui.

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

• *EVD-01:* Quando a infraestrutura do ecossistema Gleam-BR invocar a inicialização do Oráculo, o Ator OTP deverá executar o carregamento atômico e síncrono do arquivo GGUF local (load_model) na sua rotina de arranque antes de transitar para o estado receptivo (pronto para atender o REPL ou o Web WebSocket)[cite: 53].
• *EVD-02:* Quando o Agente receber uma consulta textual originada pela interface (CLI ou Lustre Web), o roteador deverá empacotar o contexto de RAG provido pelo gbr_graph e delegar a matriz de inferência ao NIF Rustler sob a fila do DirtyCpucite: aqui.

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

• *STD-01:* Enquanto o NIF C++ estiver realizando o laço físico de inferência (avaliação de contexto e amostragem de Logits), a Árvore de Supervisão deverá manter a capacidade ininterrupta de aceitar e enfileirar pacotes da malha P2P Yamux e pulsações do Chronos sem atraso perceptível.

*Requisitos de Comportamento Indesejado (Unwanted Behavior Requirements)*

• *UNW-01:* Se a invocação nativa de load_model deparar-se com a ausência do arquivo vetorial designado (.gguf) no sistema de arquivos, a ponte Rust não deve instigar a macro de pânico (panic!); em vez disso, deve repassar controladamente a anomalia sob a forma de um Result::Err capturável pela arquitetura Gleam.