GBR: Requisitos do Ecossistema de Agentes e Quantização

*Requisitos Ubíquos (Ubiquitous Requirements)*

• *UBQ-01:* O sistema de orquestração de Agentes IA (CLI gleambrctl) deve tratar todas as transições de raciocínio através de Máquinas de Estado Finita (FSM) estritamente tipadas, sendo expressamente proibida a utilização de mutação estrutural de estado no contexto de execução do LLM.
• *UBQ-02:* Todo trânsito de matrizes vetoriais na fronteira FFI (Gleam $\leftrightarrow$ Rust) deve ser executado utilizando primitivas nativas da BEAM (BitArray / rustler::Binary) garantindo manipulação de dados Zero-Copy para preservar o desempenho do Garbage Collector.

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

• *EVD-01:* Quando o Loop do Agente entrar na fase de Raciocínio (Thinking), o módulo deve gerar de forma nativa e assíncrona o payload de requisição (via gleam_http), despachando-o para uma Task em background para não bloquear o Mailbox de sinais sistêmicos locais.
• *EVD-02:* Quando o LLM retornar a intenção encapsulada ToolCall("search_docs", query), a FSM do Agente deverá transitar o seu estado para UsingTool, disparar a instrução vetorial ao Ator gbr_graph, e aguardar o pacote de Contexto Semântico Recuperado de forma determinística antes de reassumir o processamento cognitivo.

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

• *STD-01:* Enquanto o ConsultantActor for invocado via requisição AddInteraction, o estado do Ator deve concatenar o dado à "janela quente" em memória, fatiar a lista imutável pelo limite constante definido (list.take), e simultaneamente canalizar os bytes à infraestrutura gbr_disk_log em disco.
• *STD-02:* Enquanto a NIF Rust atuar sobre o processamento vetorial original gerado pelo framework Candle, a instrução quantize_qjl deverá iterar a projeção pseudorandomizada e fundir estritamente os resultados de sinal em deslocamentos de bits (Bit-packing manual), transpondo 384 dimensões Float32 numa BitString contígua de 48 bytes.

*Requisitos de Comportamento Indesejado (Unwanted Behavior Requirements)*

• *UNW-01:* Se a instrução de busca híbrida no banco de dados colunar (DuckDB) incorrer em falhas de segmentação decorrentes do tratamento primitivo na extensão do motor em C++, a Árvore de Supervisão (OTP) não deve propagar o desmoronamento estrutural, restringindo a reinicialização ao processo do Ator gbr_graph.