GBR: Requisitos do Loop de Raciocínio Distribuído

*Requisitos Ubíquos (Ubiquitous Requirements)*

• *UBQ-01:* O sistema de orquestração deve tratar retornos de ferramentas remotas como eventos assíncronos primários, sendo proibido o bloqueio da thread principal da CLI para aguardar respostas de rede ou inferências neurais.
• *UBQ-02:* Toda resposta gerada pelo Oráculo para o usuário final deve ser formatada em Markdown, suportando a renderização rica de blocos de código e tabelas providas pelos adaptadores de UI.

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

• *EVD-01:* Quando o Ator Listener interceptar um pacote de dados via Yamux contendo o campo result do JSON-RPC, ele deve extrair a carga útil, remeter a mensagem ToolExecutionFeedback ao Agente e encerrar o seu processo OTP imediatamente para libertar recursos da RAM.
• *EVD-02:* Quando o Agente Orquestrador identificar a recepção de feedback de ferramenta, ele deve formular automaticamente um prompt de "Follow-up", injetando o contexto do sucesso ou erro na caixa de mensagens do Oráculo para síntese cognitiva.

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

• *STD-01:* Enquanto o sistema estiver no estado de espera por inferência de IA (após o despacho para o Oráculo), a FSM do Agente deve permanecer no estado Idle ou receptivo, garantindo que o sinal de parada (/exit) ou novos comandos de interrupção possam ser processados sem travar a VM.

*Requisitos de Comportamento Indesejado (Unwanted Behavior Requirements)*

• *UNW-01:* Se a chamada para o motor LLM via DirectPrompt exceder o teto temporal de 120 segundos (Timeout), o processo de captura deve retornar um objeto de Erro controlado, impedindo que o processo da CLI fique pendurado indefinidamente em conexões de rede ou cálculos matriciais zumbis.