GBR: EARS-0006 Especificação do Servidor MCP Headless | Wiki
Documentação de engenharia e especificações técnicas da Gleam-BR.
GBR: EARS-0006 Especificação do Servidor MCP Headless
*Requisitos Ubíquos (Ubiquitous Requirements)*
-
*UBQ-SRV-01:* No modo Servidor Headless, o sistema *não deve* emitir nenhum caractere ou byte não formatado como JSON-RPC no canal
stdout, sob risco de quebrar o decodificador do cliente hospedeiro.
*Requisitos Orientados a Eventos (Event-Driven Requirements)*
-
*EVD-SRV-01:* Quando o cliente externo enviar a requisição
tools/listviastdin, o Servidor Headless *deve* compilar um manifesto contendo as descrições em conformidade com o esquema JSON (ToolSchema) de todas as ferramentas seguras locais. -
*EVD-SRV-02:* Quando o cliente externo solicitar
tools/callcom o parâmetroread_file, o Servidor Headless *deve* acionar a função pura correspondente nofilesystem.gleame enviar oToolResultencapsulado em JSON-RPC viastdout.
*Requisitos de Comportamento Indesejado (Unwanted Behavior Requirements)*
-
*UNW-SRV-01:* Se uma ferramenta local causar um "Crash" na Erlang VM ou lançar uma exceção de segurança de Sandboxing, o Servidor Headless *deve* capturar o erro no nível de Supervisão e emitir um JSON-RPC de
errorformatado adequadamente, em vez de deixar a VM imprimir o clássico stacktrace do Erlang nostdout.