EARS: Agente de Desenvolvimento "Gleam Architect" (ADR-0023)

*Requisitos Ubíquos (Ubiquitous Requirements)*

• *UBQ-GLM-01:* A aplicação "Gleam Architect" (gbr_gleam_ai) *deve* consumir o gbr_ai_sdk e funcionar hospedada sobre o executor padronizado gbr_ai_harness.
• *UBQ-GLM-02:* O Gleam Architect *deve* expor suas ferramentas de análise e manipulação de código (como gleam_check, AST builders e linters) estritamente na forma de Servidores MCP locais.

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

• *EVD-GLM-01:* Quando o LLM requisitar a verificação da sintaxe ou semântica do código Gleam, a infraestrutura *deve* disparar o comando via chamada de Tool MCP (gleam_check ou similar) e formatar o retorno (stdout/stderr do compilador Gleam) de forma limpa como Output da Tool MCP.
• *EVD-GLM-02:* Quando o desenvolvedor submeter uma refatoração em lote, o Gleam Architect *deve* empregar ferramentas MCP estritas (AST parsers e builders) que garantam que as primitivas da sintaxe Gleam (como imports, tipos customizados e pipelines |>) sejam injetadas sem alucinações como module:function (sintaxe Erlang) no lugar de module.function.

*Requisitos de Estado (State-Driven Requirements)*

• *STD-GLM-01:* Enquanto o código submetido à validação gleam check estiver em falha (status Error), o Gleam Architect *deve* reter a compilação final e realimentar a IA com as mensagens exatas do compilador até que a compilação passe (Green), aderindo ao ciclo estrito de "Read-Before-Write" e "Baby Steps" exigido.

*Requisitos de Comportamento Indesejado (Unwanted Behavior Requirements)*

• *UNW-GLM-01:* Se o modelo LLM produzir código-fonte com erro de compilação ou com sintaxe híbrida de Erlang disfarçada de Gleam (ex: PascalCase para atoms ou : como acessor de módulo), a tool correspondente do Gleam Architect *não deve* gravar silenciosamente essas falhas na árvore de origem (src/), rejeitando a transação e apontando a violação.