@semacode/cli 1.1.0 → 1.2.9

package/dist/index.js

@@ -7,308 +7,309 @@ import pacoteCli from "../package.json" with { type: "json" };
 import { compilarCodigo, formatarCodigo, formatarDiagnosticos, lerArquivoTexto, temErros, } from "@sema/nucleo";
 import { descreverEstruturaModulo } from "@sema/padroes";
 import { gerarDart } from "@sema/gerador-dart";
+import { gerarLua } from "@sema/gerador-lua";
 import { gerarPython } from "@sema/gerador-python";
 import { gerarTypeScript } from "@sema/gerador-typescript";
 import { carregarConfiguracaoProjeto, carregarProjeto, resolverAlvoPadrao, resolverAlvosVerificacao, resolverEstruturaSaidaPadrao, resolverFrameworkPadrao, resolverSaidaPadrao, } from "./projeto.js";
 import { importarProjetoLegado, resumoImportacao } from "./importador.js";
 import { analisarDriftLegado } from "./drift.js";
-const STARTER_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao para IA sobre software vivo em backend e front consumer.
-
-Importante:
-- a Sema se apresenta publicamente como protocolo e funciona tecnicamente como linguagem de intencao
-- a Sema e protocolo de governanca semantica desenhado para IA, nao para ergonomia humana
-- leitura humana e bonus toleravel, nao objetivo de produto
-- a Sema nao e gerador magico que deveria fazer tudo
-- a Sema modela contratos, estados, fluxos, erros, efeitos, garantias, vinculos e execucao
-- a Sema gera codigo e scaffolding real para TypeScript, Python e Dart
-- a Sema usa \`importar\` para bootstrap revisavel, nao para contrato final automatico
-- a Sema usa \`impl\` para ligar task a simbolo real do runtime
-- a Sema usa \`vinculos\` para ligar contrato a arquivo, simbolo, recurso e superficie real
-- a Sema usa \`execucao\` para explicitar timeout, retry, compensacao e criticidade
-- a Sema usa \`drift\` para medir diferenca entre contrato e codigo vivo com score, confianca e lacunas
-- a Sema usa \`resumo\` e \`prompt-curto\` para IA pequena ou gratuita
-- a Sema usa \`contexto-ia\` para gerar \`ast.json\`, \`ir.json\`, \`drift.json\`, \`briefing.json\` e artefatos compactos antes da edicao
-- a Sema pode servir de base para interfaces graficas elegantes e coerentes
-- a Sema nao gera uma interface completa sozinha no estado atual
-- trate a Sema como cerebro semantico da aplicacao, nao como gerador magico de front-end pronto
-- se a tarefa envolver UI, prefira pedir Sema + React + TypeScript ou Sema + arquitetura de front-end
-- evite pedir HTML unico solto quando a intencao for testar a Sema de verdade
-
-Regras:
-- nao invente sintaxe fora da gramatica e dos exemplos oficiais
-- se a IA for pequena, nao tente abrir tudo de uma vez
-- use \`sema resumo\` e \`briefing.min.json\` antes de subir para o pacote completo
-- trate \`ir --json\` como fonte de verdade semantica
-- trate \`briefing.json\` como plano de intervencao antes de editar projeto vivo
-- trate \`diagnosticos --json\` como fonte de correcao
-- use \`sema formatar\` como fonte unica de estilo
-- preserve a intencao do contrato
-- nao cobre da Sema adivinhacao de negocio que nao esta no contrato nem no codigo
-
-Comandos essenciais:
-- resumo compacto por capacidade: \`sema resumo <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]\`
-- prompt curto para IA pequena: \`sema prompt-curto <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]\`
-- descoberta do projeto: \`sema inspecionar [arquivo-ou-pasta] --json\`
-- auditoria do contrato vivo: \`sema drift <arquivo-ou-pasta> [--json]\`
-- contexto completo do modulo: \`sema contexto-ia <arquivo.sema>\`
-- estrutura sintatica: \`sema ast <arquivo.sema> --json\`
-- estrutura semantica: \`sema ir <arquivo.sema> --json\`
-- validacao: \`sema validar <arquivo.sema> --json\`
-- diagnosticos: \`sema diagnosticos <arquivo.sema> --json\`
-- formatacao: \`sema formatar <arquivo.sema>\`
+const STARTER_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao para IA sobre software vivo em backend e front consumer.
+
+Importante:
+- a Sema se apresenta publicamente como protocolo e funciona tecnicamente como linguagem de intencao
+- a Sema e protocolo de governanca semantica desenhado para IA, nao para ergonomia humana
+- leitura humana e bonus toleravel, nao objetivo de produto
+- a Sema nao e gerador magico que deveria fazer tudo
+- a Sema modela contratos, estados, fluxos, erros, efeitos, garantias, vinculos e execucao
+- a Sema gera codigo e scaffolding real para TypeScript, Python e Dart
+- a Sema usa \`importar\` para bootstrap revisavel, nao para contrato final automatico
+- a Sema usa \`impl\` para ligar task a simbolo real do runtime
+- a Sema usa \`vinculos\` para ligar contrato a arquivo, simbolo, recurso e superficie real
+- a Sema usa \`execucao\` para explicitar timeout, retry, compensacao e criticidade
+- a Sema usa \`drift\` para medir diferenca entre contrato e codigo vivo com score, confianca e lacunas
+- a Sema usa \`resumo\` e \`prompt-curto\` para IA pequena ou gratuita
+- a Sema usa \`contexto-ia\` para gerar \`ast.json\`, \`ir.json\`, \`drift.json\`, \`briefing.json\` e artefatos compactos antes da edicao
+- a Sema pode servir de base para interfaces graficas elegantes e coerentes
+- a Sema nao gera uma interface completa sozinha no estado atual
+- trate a Sema como cerebro semantico da aplicacao, nao como gerador magico de front-end pronto
+- se a tarefa envolver UI, prefira pedir Sema + React + TypeScript ou Sema + arquitetura de front-end
+- evite pedir HTML unico solto quando a intencao for testar a Sema de verdade
+
+Regras:
+- nao invente sintaxe fora da gramatica e dos exemplos oficiais
+- se a IA for pequena, nao tente abrir tudo de uma vez
+- use \`sema resumo\` e \`briefing.min.json\` antes de subir para o pacote completo
+- trate \`ir --json\` como fonte de verdade semantica
+- trate \`briefing.json\` como plano de intervencao antes de editar projeto vivo
+- trate \`diagnosticos --json\` como fonte de correcao
+- use \`sema formatar\` como fonte unica de estilo
+- preserve a intencao do contrato
+- nao cobre da Sema adivinhacao de negocio que nao esta no contrato nem no codigo
+
+Comandos essenciais:
+- resumo compacto por capacidade: \`sema resumo <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]\`
+- prompt curto para IA pequena: \`sema prompt-curto <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]\`
+- descoberta do projeto: \`sema inspecionar [arquivo-ou-pasta] --json\`
+- auditoria do contrato vivo: \`sema drift <arquivo-ou-pasta> [--json]\`
+- contexto completo do modulo: \`sema contexto-ia <arquivo.sema>\`
+- estrutura sintatica: \`sema ast <arquivo.sema> --json\`
+- estrutura semantica: \`sema ir <arquivo.sema> --json\`
+- validacao: \`sema validar <arquivo.sema> --json\`
+- diagnosticos: \`sema diagnosticos <arquivo.sema> --json\`
+- formatacao: \`sema formatar <arquivo.sema>\`
 - importacao assistida de legado: \`sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> --saida <diretorio>\`
-- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart> --saida <diretorio>\`
-- verificacao final: \`sema verificar <arquivo-ou-pasta> [--json]\`
-
-Antes de editar:
-1. leia README, docs de IA e um exemplo oficial parecido
-2. se a IA for pequena, rode \`sema resumo <arquivo> --micro\` e leia \`briefing.min.json\`
-3. se a IA aguentar mais, rode \`sema drift\` para medir impls, vinculos, rotas, score e lacunas
-4. se a tarefa for pesada, rode \`sema contexto-ia\` e leia \`briefing.json\`
-5. consulte AST e IR do modulo alvo so quando a capacidade realmente aguentar
-
-Depois de editar:
-1. rode \`sema formatar\`
-2. rode \`sema validar --json\`
-3. se houver falha, use \`diagnosticos --json\`
-4. rode \`sema drift\` de novo quando mexer em codigo vivo
-5. se a tarefa pedir codigo derivado, rode \`sema compilar\`
-6. feche com \`sema verificar <arquivo-ou-pasta> --json\`
-
-Priorize sempre:
-- exemplos oficiais
-- JSON da CLI
-- o menor artefato que resolva a tarefa da IA atual
-- score, confianca e lacunas do \`drift\`
-- \`briefing.json\` como guia de mudanca
-- consistencia semantica
-
-Superficies que a IA deve enxergar como first-class:
-- \`route\`
-- \`worker\`
-- \`evento\`
-- \`fila\`
-- \`cron\`
-- \`webhook\`
-- \`cache\`
-- \`storage\`
-- \`policy\`
-
-Nao improvise quando faltar contexto.
+- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>\`
+- verificacao final: \`sema verificar <arquivo-ou-pasta> [--json]\`
+
+Antes de editar:
+1. leia README, docs de IA e um exemplo oficial parecido
+2. se a IA for pequena, rode \`sema resumo <arquivo> --micro\` e leia \`briefing.min.json\`
+3. se a IA aguentar mais, rode \`sema drift\` para medir impls, vinculos, rotas, score e lacunas
+4. se a tarefa for pesada, rode \`sema contexto-ia\` e leia \`briefing.json\`
+5. consulte AST e IR do modulo alvo so quando a capacidade realmente aguentar
+
+Depois de editar:
+1. rode \`sema formatar\`
+2. rode \`sema validar --json\`
+3. se houver falha, use \`diagnosticos --json\`
+4. rode \`sema drift\` de novo quando mexer em codigo vivo
+5. se a tarefa pedir codigo derivado, rode \`sema compilar\`
+6. feche com \`sema verificar <arquivo-ou-pasta> --json\`
+
+Priorize sempre:
+- exemplos oficiais
+- JSON da CLI
+- o menor artefato que resolva a tarefa da IA atual
+- score, confianca e lacunas do \`drift\`
+- \`briefing.json\` como guia de mudanca
+- consistencia semantica
+
+Superficies que a IA deve enxergar como first-class:
+- \`route\`
+- \`worker\`
+- \`evento\`
+- \`fila\`
+- \`cron\`
+- \`webhook\`
+- \`cache\`
+- \`storage\`
+- \`policy\`
+
+Nao improvise quando faltar contexto.
 `;
-const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
-
-Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
-
-Fontes de verdade, em ordem:
-1. README do projeto
-2. gramatica e documentacao de sintaxe da Sema
-3. especificacao semantica da linguagem
-4. exemplos oficiais, com prioridade para o vertical de pagamento
-5. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
-6. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
-
-Regras de operacao:
-- preserve o significado semantico
-- use o formatador oficial da Sema como fonte unica de estilo
-- use diagnosticos estruturados como contrato de correcao
-- use a IR como fonte de verdade semantica quando houver duvida
-- nao conclua uma alteracao sem validar e verificar o modulo
-- comece pelo menor artefato semantico que resolva a tarefa
-
-Antes de editar \`.sema\`, entenda:
-- o module alvo
-- os contratos de task, route, error, effects, guarantees, state e flow
-- os exemplos oficiais relacionados
-
-Depois de editar \`.sema\`, execute este fluxo:
-1. formatar
-2. validar
-3. diagnosticar, se houver falha
-4. verificar
-
-Se houver conflito entre texto livre e IR/diagnosticos, priorize a IR e os diagnosticos da CLI.
-
-Se algo nao estiver claro, siga a forma ja usada nos exemplos oficiais. Nao improvise sem base.
+const PROMPT_BASE_IA = `Voce esta trabalhando com Sema, um Protocolo de Governanca de Intencao orientado a contrato, desenhado para operacao por IA.
+
+Trate a Sema como camada semantica e linguagem de especificacao executavel feita para IA, nao para leitura humana confortavel. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.
+
+Fontes de verdade, em ordem:
+1. README do projeto
+2. gramatica e documentacao de sintaxe da Sema
+3. especificacao semantica da linguagem
+4. exemplos oficiais, com prioridade para o vertical de pagamento
+5. \`sema resumo\` e \`briefing.min.json\` quando a IA for pequena
+6. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
+
+Regras de operacao:
+- preserve o significado semantico
+- use o formatador oficial da Sema como fonte unica de estilo
+- use diagnosticos estruturados como contrato de correcao
+- use a IR como fonte de verdade semantica quando houver duvida
+- nao conclua uma alteracao sem validar e verificar o modulo
+- comece pelo menor artefato semantico que resolva a tarefa
+
+Antes de editar \`.sema\`, entenda:
+- o module alvo
+- os contratos de task, route, error, effects, guarantees, state e flow
+- os exemplos oficiais relacionados
+
+Depois de editar \`.sema\`, execute este fluxo:
+1. formatar
+2. validar
+3. diagnosticar, se houver falha
+4. verificar
+
+Se houver conflito entre texto livre e IR/diagnosticos, priorize a IR e os diagnosticos da CLI.
+
+Se algo nao estiver claro, siga a forma ja usada nos exemplos oficiais. Nao improvise sem base.
 `;
-const PROMPT_IA_UI = `Atue como Engenheiro de Software Senior e UX/UI Designer de elite.
-
-Quero que voce trabalhe com Sema como fonte de verdade semantica do sistema e com React + TypeScript como camada de interface.
-
-Entregue obrigatoriamente duas partes integradas:
-1. os arquivos \`.sema\` do dominio
-2. a proposta ou implementacao da interface em React + TypeScript
-
-Regras:
-- nao entregue apenas HTML solto em arquivo unico
-- nao trate a Sema como enfeite conceitual
-- a interface deve nascer do contrato semantico definido em Sema
-- use os exemplos oficiais da Sema como referencia de estilo e semantica
-- nao invente sintaxe fora da gramatica suportada
-
-A Sema deve modelar, quando fizer sentido:
-- \`module\`
-- \`use\`
-- \`entity\`
-- \`enum\`
-- \`state\`
-- \`task\`
-- \`flow\`
-- \`route\`
-- \`effects\`
-- \`error\`
-- \`guarantees\`
-- \`tests\`
-- \`docs\`
-
-A interface deve refletir visualmente:
-- \`state\` como status e progresso observavel
-- \`flow\` como etapas ou orquestracao visivel
-- \`error\` como falhas tratadas com clareza
-- \`effects\` como operacoes relevantes para usuario ou operacao
-- \`guarantees\` como confianca, confirmacao ou consistencia final
-
-Estruture a entrega assim:
-1. visao do produto
-2. dominio modelado em Sema
-3. arquitetura de pastas em React + TypeScript
-4. componentes principais
-5. estrategia visual
-6. codigo principal da interface
-7. explicacao curta de como a UI conversa com a semantica da Sema
-
-Se a tarefa envolver app visual, a Sema governa o significado e o React renderiza a experiencia. Nao atropele essa separacao.
+const PROMPT_IA_UI = `Atue como Engenheiro de Software Senior e UX/UI Designer de elite.
+
+Quero que voce trabalhe com Sema como fonte de verdade semantica do sistema e com React + TypeScript como camada de interface.
+
+Entregue obrigatoriamente duas partes integradas:
+1. os arquivos \`.sema\` do dominio
+2. a proposta ou implementacao da interface em React + TypeScript
+
+Regras:
+- nao entregue apenas HTML solto em arquivo unico
+- nao trate a Sema como enfeite conceitual
+- a interface deve nascer do contrato semantico definido em Sema
+- use os exemplos oficiais da Sema como referencia de estilo e semantica
+- nao invente sintaxe fora da gramatica suportada
+
+A Sema deve modelar, quando fizer sentido:
+- \`module\`
+- \`use\`
+- \`entity\`
+- \`enum\`
+- \`state\`
+- \`task\`
+- \`flow\`
+- \`route\`
+- \`effects\`
+- \`error\`
+- \`guarantees\`
+- \`tests\`
+- \`docs\`
+
+A interface deve refletir visualmente:
+- \`state\` como status e progresso observavel
+- \`flow\` como etapas ou orquestracao visivel
+- \`error\` como falhas tratadas com clareza
+- \`effects\` como operacoes relevantes para usuario ou operacao
+- \`guarantees\` como confianca, confirmacao ou consistencia final
+
+Estruture a entrega assim:
+1. visao do produto
+2. dominio modelado em Sema
+3. arquitetura de pastas em React + TypeScript
+4. componentes principais
+5. estrategia visual
+6. codigo principal da interface
+7. explicacao curta de como a UI conversa com a semantica da Sema
+
+Se a tarefa envolver app visual, a Sema governa o significado e o React renderiza a experiencia. Nao atropele essa separacao.
 `;
-const PROMPT_IA_REACT = `Crie uma solucao com Sema + React + TypeScript.
-
-Regras principais:
-- a Sema deve ser a fonte de verdade semantica do dominio
-- React + TypeScript deve ser a camada de interface e experiencia
-- nao entregue HTML unico solto
-- nao trate a Sema como enfeite
-
-Entregue obrigatoriamente:
-1. arquivos \`.sema\` do dominio
-2. arquitetura de pastas do frontend
-3. componentes React principais
-4. contratos e tipos derivados da semantica
-5. interface elegante e implementavel
-
-A modelagem Sema deve cobrir, quando fizer sentido:
-- \`entity\`
-- \`enum\`
-- \`state\`
-- \`task\`
-- \`flow\`
-- \`route\`
-- \`effects\`
-- \`error\`
-- \`guarantees\`
-- \`tests\`
-
-A interface React deve tornar visiveis:
-- estado atual e transicoes relevantes
-- fluxo operacional
-- erros publicos
-- efeitos operacionais importantes
-- garantias ou confirmacoes finais
-
-Estruture a entrega assim:
-1. visao do produto
-2. arquivos \`.sema\`
-3. arquitetura React + TypeScript
-4. componentes e telas
-5. codigo principal
-6. explicacao de como a UI deriva da semantica da Sema
-
-Se houver duvida, siga os exemplos oficiais e mantenha a separacao:
-- Sema governa o significado
-- React governa a apresentacao
+const PROMPT_IA_REACT = `Crie uma solucao com Sema + React + TypeScript.
+
+Regras principais:
+- a Sema deve ser a fonte de verdade semantica do dominio
+- React + TypeScript deve ser a camada de interface e experiencia
+- nao entregue HTML unico solto
+- nao trate a Sema como enfeite
+
+Entregue obrigatoriamente:
+1. arquivos \`.sema\` do dominio
+2. arquitetura de pastas do frontend
+3. componentes React principais
+4. contratos e tipos derivados da semantica
+5. interface elegante e implementavel
+
+A modelagem Sema deve cobrir, quando fizer sentido:
+- \`entity\`
+- \`enum\`
+- \`state\`
+- \`task\`
+- \`flow\`
+- \`route\`
+- \`effects\`
+- \`error\`
+- \`guarantees\`
+- \`tests\`
+
+A interface React deve tornar visiveis:
+- estado atual e transicoes relevantes
+- fluxo operacional
+- erros publicos
+- efeitos operacionais importantes
+- garantias ou confirmacoes finais
+
+Estruture a entrega assim:
+1. visao do produto
+2. arquivos \`.sema\`
+3. arquitetura React + TypeScript
+4. componentes e telas
+5. codigo principal
+6. explicacao de como a UI deriva da semantica da Sema
+
+Se houver duvida, siga os exemplos oficiais e mantenha a separacao:
+- Sema governa o significado
+- React governa a apresentacao
 `;
-const PROMPT_IA_SEMA_PRIMEIRO = `Quero que voce trabalhe no modo "Sema primeiro".
-
-Regra principal:
-- modele primeiro o dominio em arquivos \`.sema\`
-- so depois proponha ou gere codigo de aplicacao derivado disso
-
-Fluxo obrigatorio:
-1. entender o dominio pedido
-2. modelar o contrato em Sema
-3. validar coerencia entre \`task\`, \`route\`, \`state\`, \`flow\`, \`error\`, \`effects\` e \`guarantees\`
-4. so depois gerar TypeScript, Python, React ou outra camada de implementacao
-
-Nao entregue apenas codigo de interface ou codigo imperativo direto sem antes entregar a camada semantica.
-
-A modelagem em Sema deve:
-- preservar a intencao do dominio
-- explicitar entradas, saidas, erros, efeitos e garantias
-- usar apenas blocos e sintaxe oficiais
-- incluir testes embutidos quando fizer sentido
-
-Se houver interface grafica:
-- entregue a modelagem Sema primeiro
-- depois explique como a interface deve refletir a semantica
-- se gerar UI, use React + TypeScript em vez de HTML unico solto
-
-Se houver backend:
-- entregue a modelagem Sema primeiro
-- depois gere a borda publica e a implementacao derivada
-
-Nao pule a etapa semantica. A camada \`.sema\` e a ancora principal da solucao.
+const PROMPT_IA_SEMA_PRIMEIRO = `Quero que voce trabalhe no modo "Sema primeiro".
+
+Regra principal:
+- modele primeiro o dominio em arquivos \`.sema\`
+- so depois proponha ou gere codigo de aplicacao derivado disso
+
+Fluxo obrigatorio:
+1. entender o dominio pedido
+2. modelar o contrato em Sema
+3. validar coerencia entre \`task\`, \`route\`, \`state\`, \`flow\`, \`error\`, \`effects\` e \`guarantees\`
+4. so depois gerar TypeScript, Python, React ou outra camada de implementacao
+
+Nao entregue apenas codigo de interface ou codigo imperativo direto sem antes entregar a camada semantica.
+
+A modelagem em Sema deve:
+- preservar a intencao do dominio
+- explicitar entradas, saidas, erros, efeitos e garantias
+- usar apenas blocos e sintaxe oficiais
+- incluir testes embutidos quando fizer sentido
+
+Se houver interface grafica:
+- entregue a modelagem Sema primeiro
+- depois explique como a interface deve refletir a semantica
+- se gerar UI, use React + TypeScript em vez de HTML unico solto
+
+Se houver backend:
+- entregue a modelagem Sema primeiro
+- depois gere a borda publica e a implementacao derivada
+
+Nao pule a etapa semantica. A camada \`.sema\` e a ancora principal da solucao.
 `;
-const EXEMPLOS_PROMPT_IA = `Exemplos de prompt oficial para trabalhar com Sema
-
-1. Sema primeiro
-
-Crie uma solucao seguindo a estrategia "Sema primeiro".
-Entregue primeiro os arquivos \`.sema\` do dominio e so depois a implementacao derivada.
-Nao entregue apenas codigo imperativo.
-Use Sema como fonte de verdade para contratos, estados, erros, efeitos e garantias.
-
-2. Sema + React + TypeScript
-
-Crie um projeto com Sema + React + TypeScript.
-Entregue:
-- os arquivos \`.sema\` do dominio
-- a arquitetura de pastas do frontend
-- componentes React que reflitam \`state\`, \`flow\`, \`error\`, \`effects\` e \`guarantees\`
-- uma interface elegante e implementavel
-- nao entregue HTML solto em arquivo unico
-
-3. Revisar ou corrigir um modulo Sema
-
-Revise e corrija um modulo \`.sema\`.
-Antes de editar:
-- leia os exemplos oficiais parecidos
-- consulte AST e IR
-Depois de editar:
-- rode \`sema formatar\`
-- rode \`sema validar --json\`
-- use \`diagnosticos --json\` se houver falha
-- feche com \`sema verificar\`
-
-4. Caso de UI sem perder a semantica
-
-Quero uma interface premium para este dominio, mas a solucao deve continuar ancorada em Sema.
-Modele primeiro o dominio em \`.sema\`.
-Depois proponha uma interface em React + TypeScript que torne visiveis:
-- estado
-- fluxo
-- erros
-- efeitos
-- garantias
-Nao transforme isso em um \`index.html\` solto.
-
-Comandos uteis da CLI para esse fluxo:
-- \`sema starter-ia\`
-- \`sema ajuda-ia\`
-- \`sema resumo <arquivo-ou-pasta>\`
-- \`sema prompt-curto <arquivo-ou-pasta>\`
-- \`sema prompt-ia\`
-- \`sema prompt-ia-ui\`
-- \`sema prompt-ia-react\`
-- \`sema prompt-ia-sema-primeiro\`
-- \`sema contexto-ia <arquivo.sema>\`
+const EXEMPLOS_PROMPT_IA = `Exemplos de prompt oficial para trabalhar com Sema
+
+1. Sema primeiro
+
+Crie uma solucao seguindo a estrategia "Sema primeiro".
+Entregue primeiro os arquivos \`.sema\` do dominio e so depois a implementacao derivada.
+Nao entregue apenas codigo imperativo.
+Use Sema como fonte de verdade para contratos, estados, erros, efeitos e garantias.
+
+2. Sema + React + TypeScript
+
+Crie um projeto com Sema + React + TypeScript.
+Entregue:
+- os arquivos \`.sema\` do dominio
+- a arquitetura de pastas do frontend
+- componentes React que reflitam \`state\`, \`flow\`, \`error\`, \`effects\` e \`guarantees\`
+- uma interface elegante e implementavel
+- nao entregue HTML solto em arquivo unico
+
+3. Revisar ou corrigir um modulo Sema
+
+Revise e corrija um modulo \`.sema\`.
+Antes de editar:
+- leia os exemplos oficiais parecidos
+- consulte AST e IR
+Depois de editar:
+- rode \`sema formatar\`
+- rode \`sema validar --json\`
+- use \`diagnosticos --json\` se houver falha
+- feche com \`sema verificar\`
+
+4. Caso de UI sem perder a semantica
+
+Quero uma interface premium para este dominio, mas a solucao deve continuar ancorada em Sema.
+Modele primeiro o dominio em \`.sema\`.
+Depois proponha uma interface em React + TypeScript que torne visiveis:
+- estado
+- fluxo
+- erros
+- efeitos
+- garantias
+Nao transforme isso em um \`index.html\` solto.
+
+Comandos uteis da CLI para esse fluxo:
+- \`sema starter-ia\`
+- \`sema ajuda-ia\`
+- \`sema resumo <arquivo-ou-pasta>\`
+- \`sema prompt-curto <arquivo-ou-pasta>\`
+- \`sema prompt-ia\`
+- \`sema prompt-ia-ui\`
+- \`sema prompt-ia-react\`
+- \`sema prompt-ia-sema-primeiro\`
+- \`sema contexto-ia <arquivo.sema>\`
 `;
 const DIRETORIO_CLI_ATUAL = path.dirname(fileURLToPath(import.meta.url));
 const VERSAO_CLI = pacoteCli.version;
@@ -359,7 +360,7 @@ function ajuda() {
             "[1] Projeto novo / producao inicial",
             "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer>",
             "sema validar contratos/<modulo>.sema --json",
-            "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart> --saida <diretorio>",
+            "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>",
             "sema verificar <arquivo-ou-pasta> --json",
             "",
             "[2] Editar projeto que ja usa Sema",
@@ -387,8 +388,8 @@ function ajuda() {
             "importacao: sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|dotnet|java|go|rust|cpp|typescript|python|dart> <diretorio> [--saida <diretorio>] [--namespace <base>] [--json]",
             "validacao: sema validar <arquivo-ou-pasta> [--json]",
             "diagnostico: sema diagnosticos <arquivo.sema> [--json]",
-            "geracao: sema compilar <arquivo-ou-pasta> --alvo <python|typescript|dart> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
-            "teste local: sema testar <arquivo.sema> --alvo <python|typescript|dart> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+            "geracao: sema compilar <arquivo-ou-pasta> --alvo <python|typescript|dart|lua> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+            "teste local: sema testar <arquivo.sema> --alvo <python|typescript|dart|lua> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
             "verificacao final: sema verificar <arquivo-ou-pasta> [--saida <diretorio-base>] [--json]",
             "formatacao: sema formatar <arquivo-ou-pasta> [--check] [--json]",
         ]),
@@ -514,8 +515,8 @@ function validarCompatibilidadeFramework(alvo, framework) {
     if (framework === "fastapi" && alvo !== "python") {
         return `Framework "${framework}" so pode ser usado com o alvo python.`;
     }
-    if (alvo === "dart") {
-        return `Framework "${framework}" nao e suportado para o alvo dart.`;
+    if (alvo === "dart" || alvo === "lua") {
+        return `Framework "${framework}" nao e suportado para o alvo ${alvo}.`;
     }
     return undefined;
 }
@@ -620,6 +621,9 @@ function gerarArquivosPorAlvo(ir, alvo, framework) {
     if (alvo === "dart") {
         return gerarDart(ir);
     }
+    if (alvo === "lua") {
+        return gerarLua(ir);
+    }
     return gerarTypeScript(ir, { framework });
 }
 function aplicarEstruturaSaida(arquivos, ir, estrutura) {
@@ -651,6 +655,13 @@ function aplicarEstruturaSaida(arquivos, ir, estrutura) {
         else if (basename === `${nomeBaseAntigo}.dart`) {
             novoBasename = `${nomeArquivo}.dart`;
         }
+        else if (basename === `${nomeBaseAntigo}.lua`) {
+            novoBasename = `${nomeArquivo}.lua`;
+        }
+        else if (basename === `test_${nomeBaseAntigo}.lua`) {
+            novoBasename = `test_${nomeArquivo}.lua`;
+            conteudo = conteudo.replace(`${nomeBaseAntigo}.lua`, `${nomeArquivo}.lua`);
+        }
         return {
             caminhoRelativo: pastaModulo ? path.join(pastaModulo, novoBasename) : novoBasename,
             conteudo,
@@ -661,6 +672,13 @@ function contarCasosDeTesteGerados(alvo, arquivos) {
     if (alvo === "dart") {
         return 0;
     }
+    if (alvo === "lua") {
+        const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"));
+        if (!arquivoTeste) {
+            return 0;
+        }
+        return (arquivoTeste.conteudo.match(/\blocal function test_/g) ?? []).length;
+    }
     if (alvo === "typescript") {
         const arquivoTeste = arquivos.find((item) => item.caminhoRelativo.endsWith(".test.ts"));
         if (!arquivoTeste) {
@@ -678,7 +696,14 @@ function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = false) {
     const quantidadeTestes = contarCasosDeTesteGerados(alvo, arquivos);
     if (quantidadeTestes === 0) {
         if (!silencioso) {
-            console.log(`Nenhum teste ${alvo === "typescript" ? "TypeScript" : "Python"} foi gerado.`);
+            const nomeAlvo = alvo === "typescript"
+                ? "TypeScript"
+                : alvo === "python"
+                    ? "Python"
+                    : alvo === "lua"
+                        ? "Lua"
+                        : "Dart";
+            console.log(`Nenhum teste ${nomeAlvo} foi gerado.`);
         }
         return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
     }
@@ -701,6 +726,27 @@ function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = false) {
             saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
         };
     }
+    if (alvo === "lua") {
+        const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"))?.caminhoRelativo;
+        if (!arquivoTeste) {
+            if (!silencioso) {
+                console.log("Nenhum teste Lua foi gerado.");
+            }
+            return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
+        }
+        const execucao = spawnSync("lua", [arquivoTeste], {
+            stdio: silencioso ? "pipe" : "inherit",
+            cwd: baseSaida,
+            encoding: silencioso ? "utf8" : undefined,
+            shell: process.platform === "win32",
+        });
+        return {
+            codigoSaida: execucao.status ?? 1,
+            quantidadeTestes,
+            saidaPadrao: typeof execucao.stdout === "string" ? execucao.stdout : "",
+            saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
+        };
+    }
     const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_"))?.caminhoRelativo;
     if (!arquivoTeste) {
         if (!silencioso) {
@@ -1076,23 +1122,23 @@ function criarBriefingMinimo(resumo, modo, tamanho) {
 }
 function criarPromptCurtoModulo(resumo, modo, tamanho, capacidade) {
     const resumoTexto = renderizarResumoModuloTexto(resumo, tamanho, modo).trim();
-    return `Voce esta operando Sema em modo IA-first.
-
-Esta linguagem nao foi desenhada para agradar humano; ela existe para reduzir ambiguidade para IA.
-
-Capacidade alvo: ${capacidade}
-Modo da tarefa: ${modo}
-
-Regras:
-- nao invente sintaxe nem bloco fora da gramatica oficial
-- preserve a intencao do contrato
-- use este resumo como fonte compacta inicial
-- se a tarefa pedir mais contexto, suba para \`briefing.min.json\`, \`drift.json\` e depois \`ir.json\`
-- nao saia editando software vivo sem olhar risco, lacuna e checks sugeridos
-${resumo.consumerFramework ? "- se for tarefa visual consumer, priorize `appRoutes`, `consumerSurfaces` e `consumerBridges` antes de abrir arquivos aleatorios" : ""}
-
-Contexto compacto:
-${resumoTexto}
+    return `Voce esta operando Sema em modo IA-first.
+
+Esta linguagem nao foi desenhada para agradar humano; ela existe para reduzir ambiguidade para IA.
+
+Capacidade alvo: ${capacidade}
+Modo da tarefa: ${modo}
+
+Regras:
+- nao invente sintaxe nem bloco fora da gramatica oficial
+- preserve a intencao do contrato
+- use este resumo como fonte compacta inicial
+- se a tarefa pedir mais contexto, suba para \`briefing.min.json\`, \`drift.json\` e depois \`ir.json\`
+- nao saia editando software vivo sem olhar risco, lacuna e checks sugeridos
+${resumo.consumerFramework ? "- se for tarefa visual consumer, priorize `appRoutes`, `consumerSurfaces` e `consumerBridges` antes de abrir arquivos aleatorios" : ""}
+
+Contexto compacto:
+${resumoTexto}
 `;
 }
 function renderizarResumoProjetoMarkdown(geradoEm, modulos, guiaPorCapacidade) {
@@ -1476,65 +1522,65 @@ async function gerarContextoIa(arquivoEntrada, pastaSaidaOpcional) {
     await writeFile(path.join(pastaBase, "drift.json"), `${JSON.stringify(contexto.drift, null, 2)}\n`, "utf8");
     await writeFile(path.join(pastaBase, "briefing.json"), `${JSON.stringify(contexto.briefing, null, 2)}\n`, "utf8");
     const resumoGerado = await gerarArquivosResumoModuloIa(contexto, pastaBase);
-    const resumo = `# Contexto de IA para ${contexto.modulo}
-
-- Arquivo alvo: \`${contexto.arquivo}\`
-- Modulo: \`${contexto.modulo}\`
-- Sucesso em validar: \`${contexto.sucesso}\`
-- Quantidade de diagnosticos: \`${contexto.diagnosticos.length}\`
-- Gerado em: \`${contexto.geradoEm}\`
-
-## Arquivos gerados neste pacote
-
-- \`resumo.micro.txt\`
-- \`resumo.curto.txt\`
-- \`resumo.md\`
-- \`briefing.min.json\`
-- \`prompt-curto.txt\`
-- \`validar.json\`
-- \`diagnosticos.json\`
-- \`ast.json\`
-- \`ir.json\`
-- \`drift.json\`
-- \`briefing.json\`
-
-## Fluxo recomendado para o agente
-
-### IA pequena ou gratuita
-
-1. Ler \`resumo.micro.txt\`.
-2. Ler \`briefing.min.json\`.
-3. Se ainda couber contexto, ler \`resumo.curto.txt\`.
-
-### IA media
-
-1. Ler \`resumo.curto.txt\`.
-2. Ler \`briefing.min.json\`.
-3. Ler \`drift.json\`.
-4. Se precisar, subir para \`resumo.md\`.
-
-### IA grande ou com tool use
-
-1. Ler \`README.md\`.
-2. Ler \`resumo.md\`.
-3. Ler \`briefing.json\`.
-4. Ler \`drift.json\`.
-5. So depois abrir \`ir.json\` e \`ast.json\`.
-
-## Fechamento
-
-1. Editar o arquivo \`.sema\`.
-2. Rodar \`sema formatar "${contexto.arquivo}"\`.
-3. Rodar \`sema validar "${contexto.arquivo}" --json\`.
-4. Rodar \`sema drift "${contexto.arquivo}" --json\`.
-5. Fechar com \`sema verificar <arquivo-ou-pasta> --json --saida ./.tmp/verificacao-ia\`.
-
-## Textos base para onboarding do agente
-
-- \`sema starter-ia\`
-- \`sema resumo "${contexto.arquivo}" --micro --para onboarding\`
-- \`sema prompt-curto "${contexto.arquivo}" --para mudanca\`
-- \`sema prompt-ia\`
+    const resumo = `# Contexto de IA para ${contexto.modulo}
+
+- Arquivo alvo: \`${contexto.arquivo}\`
+- Modulo: \`${contexto.modulo}\`
+- Sucesso em validar: \`${contexto.sucesso}\`
+- Quantidade de diagnosticos: \`${contexto.diagnosticos.length}\`
+- Gerado em: \`${contexto.geradoEm}\`
+
+## Arquivos gerados neste pacote
+
+- \`resumo.micro.txt\`
+- \`resumo.curto.txt\`
+- \`resumo.md\`
+- \`briefing.min.json\`
+- \`prompt-curto.txt\`
+- \`validar.json\`
+- \`diagnosticos.json\`
+- \`ast.json\`
+- \`ir.json\`
+- \`drift.json\`
+- \`briefing.json\`
+
+## Fluxo recomendado para o agente
+
+### IA pequena ou gratuita
+
+1. Ler \`resumo.micro.txt\`.
+2. Ler \`briefing.min.json\`.
+3. Se ainda couber contexto, ler \`resumo.curto.txt\`.
+
+### IA media
+
+1. Ler \`resumo.curto.txt\`.
+2. Ler \`briefing.min.json\`.
+3. Ler \`drift.json\`.
+4. Se precisar, subir para \`resumo.md\`.
+
+### IA grande ou com tool use
+
+1. Ler \`README.md\`.
+2. Ler \`resumo.md\`.
+3. Ler \`briefing.json\`.
+4. Ler \`drift.json\`.
+5. So depois abrir \`ir.json\` e \`ast.json\`.
+
+## Fechamento
+
+1. Editar o arquivo \`.sema\`.
+2. Rodar \`sema formatar "${contexto.arquivo}"\`.
+3. Rodar \`sema validar "${contexto.arquivo}" --json\`.
+4. Rodar \`sema drift "${contexto.arquivo}" --json\`.
+5. Fechar com \`sema verificar <arquivo-ou-pasta> --json --saida ./.tmp/verificacao-ia\`.
+
+## Textos base para onboarding do agente
+
+- \`sema starter-ia\`
+- \`sema resumo "${contexto.arquivo}" --micro --para onboarding\`
+- \`sema prompt-curto "${contexto.arquivo}" --para mudanca\`
+- \`sema prompt-ia\`
 `;
     await writeFile(path.join(pastaBase, "README.md"), resumo, "utf8");
     return {
@@ -1561,54 +1607,54 @@ async function comandoIniciar(cwd, template) {
     const arquivosBase = [
         {
             caminhoRelativo: "contratos/pedidos.sema",
-            conteudo: `module app.pedidos {
-  entity Pedido {
-    fields {
-      id: Id
-      status: Texto
-      total: Decimal
-    }
-  }
-
-  task criar_pedido {
-    input {
-      cliente_id: Id required
-      total: Decimal required
-    }
-    output {
-      pedido_id: Id
-      status: Texto
-    }
-    rules {
-      total > 0
-    }
-    effects {
-      persistencia Pedido criticidade=alta
-      auditoria pedidos
-    }
-    guarantees {
-      pedido_id existe
-      status existe
-    }
-    tests {
-      caso "pedido valido" {
-        given {
-          cliente_id: "cli-1"
-          total: 10
-        }
-        expect {
-          sucesso: verdadeiro
-        }
-      }
-    }
-  }
-
-  route criar_pedido_publico {
-    metodo: POST
-    caminho: /pedidos
-    task: criar_pedido
-  }
-}
+            conteudo: `module app.pedidos {
+  entity Pedido {
+    fields {
+      id: Id
+      status: Texto
+      total: Decimal
+    }
+  }
+
+  task criar_pedido {
+    input {
+      cliente_id: Id required
+      total: Decimal required
+    }
+    output {
+      pedido_id: Id
+      status: Texto
+    }
+    rules {
+      total > 0
+    }
+    effects {
+      persistencia Pedido criticidade=alta
+      auditoria pedidos
+    }
+    guarantees {
+      pedido_id existe
+      status existe
+    }
+    tests {
+      caso "pedido valido" {
+        given {
+          cliente_id: "cli-1"
+          total: 10
+        }
+        expect {
+          sucesso: verdadeiro
+        }
+      }
+    }
+  }
+
+  route criar_pedido_publico {
+    metodo: POST
+    caminho: /pedidos
+    task: criar_pedido
+  }
+}
 `,
         },
     ];
@@ -1617,19 +1663,19 @@ async function comandoIniciar(cwd, template) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated/nestjs",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "backend",
-  "framework": "nestjs",
-  "modoEstrito": true,
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/nestjs"
-  },
-  "convencoesGeracaoPorProjeto": "backend"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated/nestjs",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "backend",
+  "framework": "nestjs",
+  "modoEstrito": true,
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/nestjs"
+  },
+  "convencoesGeracaoPorProjeto": "backend"
+}
 `,
             },
             { caminhoRelativo: "src/.gitkeep", conteudo: "" },
@@ -1641,19 +1687,19 @@ async function comandoIniciar(cwd, template) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated/fastapi",
-  "alvos": ["python"],
-  "alvoPadrao": "python",
-  "estruturaSaida": "backend",
-  "framework": "fastapi",
-  "modoEstrito": true,
-  "diretoriosSaidaPorAlvo": {
-    "python": "./generated/fastapi"
-  },
-  "convencoesGeracaoPorProjeto": "backend"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated/fastapi",
+  "alvos": ["python"],
+  "alvoPadrao": "python",
+  "estruturaSaida": "backend",
+  "framework": "fastapi",
+  "modoEstrito": true,
+  "diretoriosSaidaPorAlvo": {
+    "python": "./generated/fastapi"
+  },
+  "convencoesGeracaoPorProjeto": "backend"
+}
 `,
             },
             { caminhoRelativo: "app/.gitkeep", conteudo: "" },
@@ -1665,65 +1711,65 @@ async function comandoIniciar(cwd, template) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["nextjs", "typescript"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["nextjs", "typescript"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/health.sema",
-                conteudo: `module app.health {
-  task get_api_health {
-    output {
-      status: Texto
-      runtime: Texto
-    }
-    impl {
-      ts: src.app.api.health.route.GET
-    }
-    guarantees {
-      status existe
-      runtime existe
-    }
-  }
-
-  route get_api_health_publico {
-    metodo: GET
-    caminho: /api/health
-    task: get_api_health
-  }
-}
+                conteudo: `module app.health {
+  task get_api_health {
+    output {
+      status: Texto
+      runtime: Texto
+    }
+    impl {
+      ts: src.app.api.health.route.GET
+    }
+    guarantees {
+      status existe
+      runtime existe
+    }
+  }
+
+  route get_api_health_publico {
+    metodo: GET
+    caminho: /api/health
+    task: get_api_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/api/health/route.ts",
-                conteudo: `export async function GET() {
-  return Response.json({
-    status: "ok",
-    runtime: "nextjs",
-  });
-}
+                conteudo: `export async function GET() {
+  return Response.json({
+    status: "ok",
+    runtime: "nextjs",
+  });
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Next.js API + Sema
-
-- Contratos em \`contratos/\`
-- Handlers App Router em \`src/app/api/\`
-- Rota de exemplo validada por \`drift\`
+                conteudo: `# Starter Next.js API + Sema
+
+- Contratos em \`contratos/\`
+- Handlers App Router em \`src/app/api/\`
+- Rota de exemplo validada por \`drift\`
 `,
             },
         ];
@@ -1732,122 +1778,122 @@ async function comandoIniciar(cwd, template) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["nextjs-consumer", "typescript"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["nextjs-consumer", "typescript"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/showroom_consumer.sema",
-                conteudo: `module showroom.consumer {
-  task fetch_showroom_ranking {
-    input {
-    }
-    output {
-      ranking: Json
-    }
-    impl {
-      ts: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
-    }
-    vinculos {
-      arquivo: "src/lib/sema_consumer_bridge.ts"
-      simbolo: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
-      superficie: "/ranking"
-      arquivo: "src/app/ranking/page.tsx"
-      arquivo: "src/app/ranking/loading.tsx"
-      arquivo: "src/app/ranking/error.tsx"
-    }
-    guarantees {
-      ranking existe
-    }
-  }
-}
+                conteudo: `module showroom.consumer {
+  task fetch_showroom_ranking {
+    input {
+    }
+    output {
+      ranking: Json
+    }
+    impl {
+      ts: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
+    }
+    vinculos {
+      arquivo: "src/lib/sema_consumer_bridge.ts"
+      simbolo: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
+      superficie: "/ranking"
+      arquivo: "src/app/ranking/page.tsx"
+      arquivo: "src/app/ranking/loading.tsx"
+      arquivo: "src/app/ranking/error.tsx"
+    }
+    guarantees {
+      ranking existe
+    }
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/lib/sema_consumer_bridge.ts",
-                conteudo: `export async function semaFetchShowroomRanking() {
-  return {
-    ranking: [
-      { clube: "Tigres do Norte", pontos: 33 },
-      { clube: "Porto Azul", pontos: 31 },
-      { clube: "Galo de Ouro", pontos: 28 },
-    ],
-  };
-}
+                conteudo: `export async function semaFetchShowroomRanking() {
+  return {
+    ranking: [
+      { clube: "Tigres do Norte", pontos: 33 },
+      { clube: "Porto Azul", pontos: 31 },
+      { clube: "Galo de Ouro", pontos: 28 },
+    ],
+  };
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/ranking/page.tsx",
-                conteudo: `import { semaFetchShowroomRanking } from "../../lib/sema_consumer_bridge";
-
-export default async function RankingPage() {
-  const { ranking } = await semaFetchShowroomRanking();
-
-  return (
-    <main>
-      <h1>Ranking showroom</h1>
-      <ul>
-        {ranking.map((item) => (
-          <li key={item.clube}>
-            {item.clube} - {item.pontos} pts
-          </li>
-        ))}
-      </ul>
-    </main>
-  );
-}
+                conteudo: `import { semaFetchShowroomRanking } from "../../lib/sema_consumer_bridge";
+
+export default async function RankingPage() {
+  const { ranking } = await semaFetchShowroomRanking();
+
+  return (
+    <main>
+      <h1>Ranking showroom</h1>
+      <ul>
+        {ranking.map((item) => (
+          <li key={item.clube}>
+            {item.clube} - {item.pontos} pts
+          </li>
+        ))}
+      </ul>
+    </main>
+  );
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/ranking/loading.tsx",
-                conteudo: `export default function Loading() {
-  return <p>Carregando ranking...</p>;
-}
+                conteudo: `export default function Loading() {
+  return <p>Carregando ranking...</p>;
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/ranking/error.tsx",
-                conteudo: `"use client";
-
-export default function Error({
-  error,
-  reset,
-}: {
-  error: Error;
-  reset: () => void;
-}) {
-  return (
-    <main>
-      <h1>Falha ao carregar ranking</h1>
-      <p>{error.message}</p>
-      <button type="button" onClick={reset}>Tentar novamente</button>
-    </main>
-  );
-}
+                conteudo: `"use client";
+
+export default function Error({
+  error,
+  reset,
+}: {
+  error: Error;
+  reset: () => void;
+}) {
+  return (
+    <main>
+      <h1>Falha ao carregar ranking</h1>
+      <p>{error.message}</p>
+      <button type="button" onClick={reset}>Tentar novamente</button>
+    </main>
+  );
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Next.js Consumer + Sema
-
-- Contratos em \`contratos/\`
-- Bridge consumer canonico em \`src/lib/sema_consumer_bridge.ts\`
-- Superficies App Router em \`src/app/\`
-- O slice oficial desta fase e \`consumer bridge + App Router surfaces\`
-- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
+                conteudo: `# Starter Next.js Consumer + Sema
+
+- Contratos em \`contratos/\`
+- Bridge consumer canonico em \`src/lib/sema_consumer_bridge.ts\`
+- Superficies App Router em \`src/app/\`
+- O slice oficial desta fase e \`consumer bridge + App Router surfaces\`
+- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
 `,
             },
         ];
@@ -1856,135 +1902,135 @@ export default function Error({
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["react-vite-consumer", "typescript"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["react-vite-consumer", "typescript"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/showroom_consumer.sema",
-                conteudo: `module showroom.consumer {
-  task fetch_showroom_ranking {
-    input {
-    }
-    output {
-      ranking: Json
-    }
-    impl {
-      ts: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
-    }
-    vinculos {
-      arquivo: "src/lib/sema_consumer_bridge.ts"
-      simbolo: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
-      superficie: "/ranking"
-      arquivo: "src/router.tsx"
-      arquivo: "src/pages/ranking.tsx"
-    }
-    guarantees {
-      ranking existe
-    }
-  }
-}
+                conteudo: `module showroom.consumer {
+  task fetch_showroom_ranking {
+    input {
+    }
+    output {
+      ranking: Json
+    }
+    impl {
+      ts: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
+    }
+    vinculos {
+      arquivo: "src/lib/sema_consumer_bridge.ts"
+      simbolo: src.lib.sema_consumer_bridge.semaFetchShowroomRanking
+      superficie: "/ranking"
+      arquivo: "src/router.tsx"
+      arquivo: "src/pages/ranking.tsx"
+    }
+    guarantees {
+      ranking existe
+    }
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/lib/sema_consumer_bridge.ts",
-                conteudo: `export async function semaFetchShowroomRanking() {
-  return {
-    ranking: [
-      { clube: "Tigres do Norte", pontos: 33 },
-      { clube: "Porto Azul", pontos: 31 },
-      { clube: "Galo de Ouro", pontos: 28 },
-    ],
-  };
-}
+                conteudo: `export async function semaFetchShowroomRanking() {
+  return {
+    ranking: [
+      { clube: "Tigres do Norte", pontos: 33 },
+      { clube: "Porto Azul", pontos: 31 },
+      { clube: "Galo de Ouro", pontos: 28 },
+    ],
+  };
+}
 `,
             },
             {
                 caminhoRelativo: "src/pages/ranking.tsx",
-                conteudo: `import { useEffect, useState } from "react";
-import { semaFetchShowroomRanking } from "../lib/sema_consumer_bridge";
-
-export function RankingPage() {
-  const [ranking, setRanking] = useState<Array<{ clube: string; pontos: number }>>([]);
-
-  useEffect(() => {
-    void semaFetchShowroomRanking().then((payload) => setRanking(payload.ranking ?? []));
-  }, []);
-
-  return (
-    <main>
-      <h1>Ranking showroom</h1>
-      <ul>
-        {ranking.map((item) => (
-          <li key={item.clube}>
-            {item.clube} - {item.pontos} pts
-          </li>
-        ))}
-      </ul>
-    </main>
-  );
-}
+                conteudo: `import { useEffect, useState } from "react";
+import { semaFetchShowroomRanking } from "../lib/sema_consumer_bridge";
+
+export function RankingPage() {
+  const [ranking, setRanking] = useState<Array<{ clube: string; pontos: number }>>([]);
+
+  useEffect(() => {
+    void semaFetchShowroomRanking().then((payload) => setRanking(payload.ranking ?? []));
+  }, []);
+
+  return (
+    <main>
+      <h1>Ranking showroom</h1>
+      <ul>
+        {ranking.map((item) => (
+          <li key={item.clube}>
+            {item.clube} - {item.pontos} pts
+          </li>
+        ))}
+      </ul>
+    </main>
+  );
+}
 `,
             },
             {
                 caminhoRelativo: "src/router.tsx",
-                conteudo: `import { createBrowserRouter } from "react-router-dom";
-import { RankingPage } from "./pages/ranking";
-
-export const appRouter = createBrowserRouter([
-  {
-    path: "/ranking",
-    Component: RankingPage,
-  },
-]);
+                conteudo: `import { createBrowserRouter } from "react-router-dom";
+import { RankingPage } from "./pages/ranking";
+
+export const appRouter = createBrowserRouter([
+  {
+    path: "/ranking",
+    Component: RankingPage,
+  },
+]);
 `,
             },
             {
                 caminhoRelativo: "src/App.tsx",
-                conteudo: `import { RouterProvider } from "react-router-dom";
-import { appRouter } from "./router";
-
-export default function App() {
-  return <RouterProvider router={appRouter} />;
-}
+                conteudo: `import { RouterProvider } from "react-router-dom";
+import { appRouter } from "./router";
+
+export default function App() {
+  return <RouterProvider router={appRouter} />;
+}
 `,
             },
             {
                 caminhoRelativo: "src/main.tsx",
-                conteudo: `import React from "react";
-import ReactDOM from "react-dom/client";
-import App from "./App";
-
-ReactDOM.createRoot(document.getElementById("root") as HTMLElement).render(
-  <React.StrictMode>
-    <App />
-  </React.StrictMode>,
-);
+                conteudo: `import React from "react";
+import ReactDOM from "react-dom/client";
+import App from "./App";
+
+ReactDOM.createRoot(document.getElementById("root") as HTMLElement).render(
+  <React.StrictMode>
+    <App />
+  </React.StrictMode>,
+);
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter React Vite Consumer + Sema
-
-- Contratos em \`contratos/\`
-- Bridge consumer canonico em \`src/lib/sema_consumer_bridge.ts\`
-- Rotas explicitas em \`src/router.tsx\`
-- Superficies consumer em \`src/pages/\`
-- O slice oficial desta fase e \`consumer bridge + react-router surfaces\`
-- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
+                conteudo: `# Starter React Vite Consumer + Sema
+
+- Contratos em \`contratos/\`
+- Bridge consumer canonico em \`src/lib/sema_consumer_bridge.ts\`
+- Rotas explicitas em \`src/router.tsx\`
+- Superficies consumer em \`src/pages/\`
+- O slice oficial desta fase e \`consumer bridge + react-router surfaces\`
+- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
 `,
             },
         ];
@@ -1993,154 +2039,154 @@ ReactDOM.createRoot(document.getElementById("root") as HTMLElement).render(
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["angular-consumer", "typescript"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["angular-consumer", "typescript"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/showroom_consumer.sema",
-                conteudo: `module showroom.consumer {
-  task fetch_showroom_ranking {
-    input {
-    }
-    output {
-      ranking: Json
-    }
-    impl {
-      ts: src.app.sema_consumer_bridge.semaFetchShowroomRanking
-    }
-    vinculos {
-      arquivo: "src/app/sema_consumer_bridge.ts"
-      simbolo: src.app.sema_consumer_bridge.semaFetchShowroomRanking
-      superficie: "/ranking"
-      arquivo: "src/app/app.routes.ts"
-      arquivo: "src/app/features/ranking/ranking.routes.ts"
-      arquivo: "src/app/features/ranking/ranking-page.component.ts"
-    }
-    guarantees {
-      ranking existe
-    }
-  }
-}
+                conteudo: `module showroom.consumer {
+  task fetch_showroom_ranking {
+    input {
+    }
+    output {
+      ranking: Json
+    }
+    impl {
+      ts: src.app.sema_consumer_bridge.semaFetchShowroomRanking
+    }
+    vinculos {
+      arquivo: "src/app/sema_consumer_bridge.ts"
+      simbolo: src.app.sema_consumer_bridge.semaFetchShowroomRanking
+      superficie: "/ranking"
+      arquivo: "src/app/app.routes.ts"
+      arquivo: "src/app/features/ranking/ranking.routes.ts"
+      arquivo: "src/app/features/ranking/ranking-page.component.ts"
+    }
+    guarantees {
+      ranking existe
+    }
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/sema_consumer_bridge.ts",
-                conteudo: `export async function semaFetchShowroomRanking() {
-  return {
-    ranking: [
-      { clube: "Tigres do Norte", pontos: 33 },
-      { clube: "Porto Azul", pontos: 31 },
-      { clube: "Galo de Ouro", pontos: 28 },
-    ],
-  };
-}
+                conteudo: `export async function semaFetchShowroomRanking() {
+  return {
+    ranking: [
+      { clube: "Tigres do Norte", pontos: 33 },
+      { clube: "Porto Azul", pontos: 31 },
+      { clube: "Galo de Ouro", pontos: 28 },
+    ],
+  };
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/app.routes.ts",
-                conteudo: `import { Routes } from "@angular/router";
-
-export const routes: Routes = [
-  {
-    path: "ranking",
-    loadChildren: () => import("./features/ranking/ranking.routes").then((m) => m.RANKING_ROUTES),
-  },
-];
+                conteudo: `import { Routes } from "@angular/router";
+
+export const routes: Routes = [
+  {
+    path: "ranking",
+    loadChildren: () => import("./features/ranking/ranking.routes").then((m) => m.RANKING_ROUTES),
+  },
+];
 `,
             },
             {
                 caminhoRelativo: "src/app/features/ranking/ranking.routes.ts",
-                conteudo: `import { Routes } from "@angular/router";
-
-export const RANKING_ROUTES: Routes = [
-  {
-    path: "",
-    loadComponent: () => import("./ranking-page.component").then((m) => m.RankingPageComponent),
-  },
-];
+                conteudo: `import { Routes } from "@angular/router";
+
+export const RANKING_ROUTES: Routes = [
+  {
+    path: "",
+    loadComponent: () => import("./ranking-page.component").then((m) => m.RankingPageComponent),
+  },
+];
 `,
             },
             {
                 caminhoRelativo: "src/app/features/ranking/ranking-page.component.ts",
-                conteudo: `import { Component, OnInit } from "@angular/core";
-import { CommonModule } from "@angular/common";
-import { semaFetchShowroomRanking } from "../../sema_consumer_bridge";
-
-@Component({
-  selector: "app-ranking-page",
-  standalone: true,
-  imports: [CommonModule],
-  template: \`
-    <main>
-      <h1>Ranking showroom</h1>
-      <ul>
-        <li *ngFor="let item of ranking">
-          {{ item.clube }} - {{ item.pontos }} pts
-        </li>
-      </ul>
-    </main>
-  \`,
-})
-export class RankingPageComponent implements OnInit {
-  ranking: Array<{ clube: string; pontos: number }> = [];
-
-  async ngOnInit() {
-    const payload = await semaFetchShowroomRanking();
-    this.ranking = payload.ranking ?? [];
-  }
-}
+                conteudo: `import { Component, OnInit } from "@angular/core";
+import { CommonModule } from "@angular/common";
+import { semaFetchShowroomRanking } from "../../sema_consumer_bridge";
+
+@Component({
+  selector: "app-ranking-page",
+  standalone: true,
+  imports: [CommonModule],
+  template: \`
+    <main>
+      <h1>Ranking showroom</h1>
+      <ul>
+        <li *ngFor="let item of ranking">
+          {{ item.clube }} - {{ item.pontos }} pts
+        </li>
+      </ul>
+    </main>
+  \`,
+})
+export class RankingPageComponent implements OnInit {
+  ranking: Array<{ clube: string; pontos: number }> = [];
+
+  async ngOnInit() {
+    const payload = await semaFetchShowroomRanking();
+    this.ranking = payload.ranking ?? [];
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/app/app.component.ts",
-                conteudo: `import { Component } from "@angular/core";
-import { RouterOutlet } from "@angular/router";
-
-@Component({
-  selector: "app-root",
-  standalone: true,
-  imports: [RouterOutlet],
-  template: "<router-outlet />",
-})
-export class AppComponent {}
+                conteudo: `import { Component } from "@angular/core";
+import { RouterOutlet } from "@angular/router";
+
+@Component({
+  selector: "app-root",
+  standalone: true,
+  imports: [RouterOutlet],
+  template: "<router-outlet />",
+})
+export class AppComponent {}
 `,
             },
             {
                 caminhoRelativo: "src/main.ts",
-                conteudo: `import { bootstrapApplication } from "@angular/platform-browser";
-import { provideRouter } from "@angular/router";
-import { AppComponent } from "./app/app.component";
-import { routes } from "./app/app.routes";
-
-void bootstrapApplication(AppComponent, {
-  providers: [provideRouter(routes)],
-});
+                conteudo: `import { bootstrapApplication } from "@angular/platform-browser";
+import { provideRouter } from "@angular/router";
+import { AppComponent } from "./app/app.component";
+import { routes } from "./app/app.routes";
+
+void bootstrapApplication(AppComponent, {
+  providers: [provideRouter(routes)],
+});
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Angular Consumer + Sema
-
-- Contratos em \`contratos/\`
-- Bridge consumer canonico em \`src/app/sema_consumer_bridge.ts\`
-- Rotas lazy em \`src/app/app.routes.ts\`
-- Feature folders em \`src/app/features/\`
-- O slice oficial desta fase e \`consumer bridge + route config surfaces\`
-- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
+                conteudo: `# Starter Angular Consumer + Sema
+
+- Contratos em \`contratos/\`
+- Bridge consumer canonico em \`src/app/sema_consumer_bridge.ts\`
+- Rotas lazy em \`src/app/app.routes.ts\`
+- Feature folders em \`src/app/features/\`
+- O slice oficial desta fase e \`consumer bridge + route config surfaces\`
+- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual drift
 `,
             },
         ];
@@ -2149,171 +2195,171 @@ void bootstrapApplication(AppComponent, {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["dart"],
-  "alvoPadrao": "dart",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./lib"],
-  "fontesLegado": ["flutter-consumer", "dart"],
-  "diretoriosSaidaPorAlvo": {
-    "dart": "./generated/dart"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["dart"],
+  "alvoPadrao": "dart",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./lib"],
+  "fontesLegado": ["flutter-consumer", "dart"],
+  "diretoriosSaidaPorAlvo": {
+    "dart": "./generated/dart"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "pubspec.yaml",
-                conteudo: `name: sema_flutter_consumer
-description: Starter Flutter consumer IA-first com Sema
-publish_to: "none"
-
-environment:
-  sdk: ">=3.3.0 <4.0.0"
-
-dependencies:
-  flutter:
-    sdk: flutter
-  go_router: ^14.0.0
+                conteudo: `name: sema_flutter_consumer
+description: Starter Flutter consumer IA-first com Sema
+publish_to: "none"
+
+environment:
+  sdk: ">=3.3.0 <4.0.0"
+
+dependencies:
+  flutter:
+    sdk: flutter
+  go_router: ^14.0.0
 `,
             },
             {
                 caminhoRelativo: "contratos/showroom_consumer.sema",
-                conteudo: `module showroom.consumer {
-  task fetch_showroom_ranking {
-    input {
-    }
-    output {
-      resultado: Json
-    }
-    impl {
-      dart: lib.sema_consumer_bridge.semaFetchShowroomRanking
-    }
-    vinculos {
-      arquivo: "lib/sema_consumer_bridge.dart"
-      simbolo: lib.sema_consumer_bridge.semaFetchShowroomRanking
-      superficie: "/ranking"
-      arquivo: "lib/router.dart"
-      arquivo: "lib/screens/ranking_screen.dart"
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-}
+                conteudo: `module showroom.consumer {
+  task fetch_showroom_ranking {
+    input {
+    }
+    output {
+      resultado: Json
+    }
+    impl {
+      dart: lib.sema_consumer_bridge.semaFetchShowroomRanking
+    }
+    vinculos {
+      arquivo: "lib/sema_consumer_bridge.dart"
+      simbolo: lib.sema_consumer_bridge.semaFetchShowroomRanking
+      superficie: "/ranking"
+      arquivo: "lib/router.dart"
+      arquivo: "lib/screens/ranking_screen.dart"
+    }
+    guarantees {
+      resultado existe
+    }
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "lib/sema_consumer_bridge.dart",
-                conteudo: `Future<Map<String, dynamic>> semaFetchShowroomRanking() async {
-  return {
-    "ranking": [
-      {"clube": "Tigres do Norte", "pontos": 33},
-      {"clube": "Porto Azul", "pontos": 31},
-      {"clube": "Galo de Ouro", "pontos": 28},
-    ],
-  };
-}
+                conteudo: `Future<Map<String, dynamic>> semaFetchShowroomRanking() async {
+  return {
+    "ranking": [
+      {"clube": "Tigres do Norte", "pontos": 33},
+      {"clube": "Porto Azul", "pontos": 31},
+      {"clube": "Galo de Ouro", "pontos": 28},
+    ],
+  };
+}
 `,
             },
             {
                 caminhoRelativo: "lib/router.dart",
-                conteudo: `import "package:go_router/go_router.dart";
-import "package:flutter/widgets.dart";
-import "screens/ranking_screen.dart";
-
-final appRouter = GoRouter(
-  routes: [
-    GoRoute(
-      path: "/ranking",
-      builder: (BuildContext context, GoRouterState state) => const RankingScreen(),
-    ),
-  ],
-);
+                conteudo: `import "package:go_router/go_router.dart";
+import "package:flutter/widgets.dart";
+import "screens/ranking_screen.dart";
+
+final appRouter = GoRouter(
+  routes: [
+    GoRoute(
+      path: "/ranking",
+      builder: (BuildContext context, GoRouterState state) => const RankingScreen(),
+    ),
+  ],
+);
 `,
             },
             {
                 caminhoRelativo: "lib/screens/ranking_screen.dart",
-                conteudo: `import "package:flutter/widgets.dart";
-import "../sema_consumer_bridge.dart";
-
-class RankingScreen extends StatefulWidget {
-  const RankingScreen({super.key});
-
-  @override
-  State<RankingScreen> createState() => _RankingScreenState();
-}
-
-class _RankingScreenState extends State<RankingScreen> {
-  List<Map<String, dynamic>> ranking = const [];
-
-  @override
-  void initState() {
-    super.initState();
-    semaFetchShowroomRanking().then((payload) {
-      final itens = (payload["ranking"] as List<dynamic>? ?? const [])
-          .whereType<Map<String, dynamic>>()
-          .toList();
-      if (!mounted) return;
-      setState(() {
-        ranking = itens;
-      });
-    });
-  }
-
-  @override
-  Widget build(BuildContext context) {
-    return ListView(
-      children: [
-        const Padding(
-          padding: EdgeInsets.all(16),
-          child: Text("Ranking showroom"),
-        ),
-        ...ranking.map((item) => Padding(
-          padding: const EdgeInsets.symmetric(horizontal: 16, vertical: 8),
-          child: Text("\${item["clube"]} - \${item["pontos"]} pts"),
-        )),
-      ],
-    );
-  }
-}
+                conteudo: `import "package:flutter/widgets.dart";
+import "../sema_consumer_bridge.dart";
+
+class RankingScreen extends StatefulWidget {
+  const RankingScreen({super.key});
+
+  @override
+  State<RankingScreen> createState() => _RankingScreenState();
+}
+
+class _RankingScreenState extends State<RankingScreen> {
+  List<Map<String, dynamic>> ranking = const [];
+
+  @override
+  void initState() {
+    super.initState();
+    semaFetchShowroomRanking().then((payload) {
+      final itens = (payload["ranking"] as List<dynamic>? ?? const [])
+          .whereType<Map<String, dynamic>>()
+          .toList();
+      if (!mounted) return;
+      setState(() {
+        ranking = itens;
+      });
+    });
+  }
+
+  @override
+  Widget build(BuildContext context) {
+    return ListView(
+      children: [
+        const Padding(
+          padding: EdgeInsets.all(16),
+          child: Text("Ranking showroom"),
+        ),
+        ...ranking.map((item) => Padding(
+          padding: const EdgeInsets.symmetric(horizontal: 16, vertical: 8),
+          child: Text("\${item["clube"]} - \${item["pontos"]} pts"),
+        )),
+      ],
+    );
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "lib/main.dart",
-                conteudo: `import "package:flutter/material.dart";
-import "router.dart";
-
-void main() {
-  runApp(const ShowroomApp());
-}
-
-class ShowroomApp extends StatelessWidget {
-  const ShowroomApp({super.key});
-
-  @override
-  Widget build(BuildContext context) {
-    return MaterialApp.router(
-      routerConfig: appRouter,
-    );
-  }
-}
+                conteudo: `import "package:flutter/material.dart";
+import "router.dart";
+
+void main() {
+  runApp(const ShowroomApp());
+}
+
+class ShowroomApp extends StatelessWidget {
+  const ShowroomApp({super.key});
+
+  @override
+  Widget build(BuildContext context) {
+    return MaterialApp.router(
+      routerConfig: appRouter,
+    );
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Flutter Consumer + Sema
-
-- Contratos em \`contratos/\`
-- Bridge consumer canonico em \`lib/sema_consumer_bridge.dart\`
-- Rotas consumer em \`lib/router.dart\`
-- Superficies consumer em \`lib/screens/\`
-- O slice oficial desta fase e \`consumer bridge + router/screen surfaces\`
-- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual diff
+                conteudo: `# Starter Flutter Consumer + Sema
+
+- Contratos em \`contratos/\`
+- Bridge consumer canonico em \`lib/sema_consumer_bridge.dart\`
+- Rotas consumer em \`lib/router.dart\`
+- Superficies consumer em \`lib/screens/\`
+- O slice oficial desta fase e \`consumer bridge + router/screen surfaces\`
+- \`drift\` valida \`impl\`, \`vinculos\`, bridge e superficies, sem prometer visual diff
 `,
             },
         ];
@@ -2322,126 +2368,126 @@ class ShowroomApp extends StatelessWidget {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["firebase", "typescript"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["firebase", "typescript"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/worker_runtime.sema",
-                conteudo: `module worker.runtime {
-  task publicar_payload_health {
-    output {
-      status: Texto
-      timestamp: Texto
-    }
-    effects {
-      evento payload_health criticidade = alta
-    }
-    impl {
-      ts: src.sema_contract_bridge.semaWorkerHealthPayload
-    }
-    guarantees {
-      status existe
-      timestamp existe
-    }
-  }
-
-  task inventariar_colecoes {
-    output {
-      collections: Json
-    }
-    effects {
-      consulta runtime criticidade = baixa
-    }
-    impl {
-      ts: src.sema_contract_bridge.semaCollectionNames
-    }
-    guarantees {
-      collections existe
-    }
-  }
-
-  route get_health_worker {
-    metodo: GET
-    caminho: /health
-    task: publicar_payload_health
-  }
-}
+                conteudo: `module worker.runtime {
+  task publicar_payload_health {
+    output {
+      status: Texto
+      timestamp: Texto
+    }
+    effects {
+      evento payload_health criticidade = alta
+    }
+    impl {
+      ts: src.sema_contract_bridge.semaWorkerHealthPayload
+    }
+    guarantees {
+      status existe
+      timestamp existe
+    }
+  }
+
+  task inventariar_colecoes {
+    output {
+      collections: Json
+    }
+    effects {
+      consulta runtime criticidade = baixa
+    }
+    impl {
+      ts: src.sema_contract_bridge.semaCollectionNames
+    }
+    guarantees {
+      collections existe
+    }
+  }
+
+  route get_health_worker {
+    metodo: GET
+    caminho: /health
+    task: publicar_payload_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/config/collections.ts",
-                conteudo: `export const COLLECTIONS = {
-  worker_status: "worker_status",
-  audit_log: "audit_log",
-} as const;
+                conteudo: `export const COLLECTIONS = {
+  worker_status: "worker_status",
+  audit_log: "audit_log",
+} as const;
 `,
             },
             {
                 caminhoRelativo: "src/services/health-check.ts",
-                conteudo: `import http from "node:http";
-
-export type HealthStatus = {
-  status: "healthy" | "degraded" | "unhealthy" | "initializing";
-  timestamp: string;
-};
-
-export type HealthProvider = () => HealthStatus;
-
-export function startHealthCheckServer(port: number, provider: HealthProvider) {
-  const server = http.createServer((req, res) => {
-    if (req.url === "/health" && req.method === "GET") {
-      res.writeHead(200, { "Content-Type": "application/json" });
-      res.end(JSON.stringify(provider()));
-      return;
-    }
-    res.writeHead(404);
-    res.end();
-  });
-
-  server.listen(port);
-  return server;
-}
+                conteudo: `import http from "node:http";
+
+export type HealthStatus = {
+  status: "healthy" | "degraded" | "unhealthy" | "initializing";
+  timestamp: string;
+};
+
+export type HealthProvider = () => HealthStatus;
+
+export function startHealthCheckServer(port: number, provider: HealthProvider) {
+  const server = http.createServer((req, res) => {
+    if (req.url === "/health" && req.method === "GET") {
+      res.writeHead(200, { "Content-Type": "application/json" });
+      res.end(JSON.stringify(provider()));
+      return;
+    }
+    res.writeHead(404);
+    res.end();
+  });
+
+  server.listen(port);
+  return server;
+}
 `,
             },
             {
                 caminhoRelativo: "src/sema_contract_bridge.ts",
-                conteudo: `import { COLLECTIONS } from "./config/collections";
-import { startHealthCheckServer, type HealthProvider, type HealthStatus } from "./services/health-check";
-
-export function semaStartWorkerHealthServer(port: number, provider: HealthProvider) {
-  return startHealthCheckServer(port, provider);
-}
-
-export function semaWorkerHealthPayload(payload: HealthStatus): HealthStatus {
-  return payload;
-}
-
-export function semaCollectionNames() {
-  return COLLECTIONS;
-}
+                conteudo: `import { COLLECTIONS } from "./config/collections";
+import { startHealthCheckServer, type HealthProvider, type HealthStatus } from "./services/health-check";
+
+export function semaStartWorkerHealthServer(port: number, provider: HealthProvider) {
+  return startHealthCheckServer(port, provider);
+}
+
+export function semaWorkerHealthPayload(payload: HealthStatus): HealthStatus {
+  return payload;
+}
+
+export function semaCollectionNames() {
+  return COLLECTIONS;
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Node Firebase Worker + Sema
-
-- Contratos em \`contratos/\`
-- Worker e bridges em \`src/\`
-- \`drift\` valida impl, endpoint de health e recursos Firestore declarados
+                conteudo: `# Starter Node Firebase Worker + Sema
+
+- Contratos em \`contratos/\`
+- Worker e bridges em \`src/\`
+- \`drift\` valida impl, endpoint de health e recursos Firestore declarados
 `,
             },
         ];
@@ -2450,71 +2496,71 @@ export function semaCollectionNames() {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["dotnet"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["dotnet"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/health.sema",
-                conteudo: `module app.health {
-  task get_health {
-    output {
-      status: Texto
-      runtime: Texto
-    }
-    impl {
-      cs: src.Controllers.HealthController.Get
-    }
-    guarantees {
-      status existe
-      runtime existe
-    }
-  }
-
-  route get_health_publico {
-    metodo: GET
-    caminho: /api/health
-    task: get_health
-  }
-}
+                conteudo: `module app.health {
+  task get_health {
+    output {
+      status: Texto
+      runtime: Texto
+    }
+    impl {
+      cs: src.Controllers.HealthController.Get
+    }
+    guarantees {
+      status existe
+      runtime existe
+    }
+  }
+
+  route get_health_publico {
+    metodo: GET
+    caminho: /api/health
+    task: get_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/Controllers/HealthController.cs",
-                conteudo: `using Microsoft.AspNetCore.Mvc;
-
-[ApiController]
-[Route("api/health")]
-public class HealthController : ControllerBase
-{
-    [HttpGet]
-    public object Get()
-    {
-        return new { status = "ok", runtime = "aspnet" };
-    }
-}
+                conteudo: `using Microsoft.AspNetCore.Mvc;
+
+[ApiController]
+[Route("api/health")]
+public class HealthController : ControllerBase
+{
+    [HttpGet]
+    public object Get()
+    {
+        return new { status = "ok", runtime = "aspnet" };
+    }
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter ASP.NET Core API + Sema
-
-- Contratos em \`contratos/\`
-- Controllers/Minimal API em \`src/\`
-- \`drift\` valida impl e rota publica
+                conteudo: `# Starter ASP.NET Core API + Sema
+
+- Contratos em \`contratos/\`
+- Controllers/Minimal API em \`src/\`
+- \`drift\` valida impl e rota publica
 `,
             },
         ];
@@ -2523,74 +2569,74 @@ public class HealthController : ControllerBase
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["java"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["java"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/health.sema",
-                conteudo: `module app.health {
-  task get_health {
-    output {
-      status: Texto
-      runtime: Texto
-    }
-    impl {
-      java: src.main.java.com.acme.health.HealthController.health
-    }
-    guarantees {
-      status existe
-      runtime existe
-    }
-  }
-
-  route get_health_publico {
-    metodo: GET
-    caminho: /api/health
-    task: get_health
-  }
-}
+                conteudo: `module app.health {
+  task get_health {
+    output {
+      status: Texto
+      runtime: Texto
+    }
+    impl {
+      java: src.main.java.com.acme.health.HealthController.health
+    }
+    guarantees {
+      status existe
+      runtime existe
+    }
+  }
+
+  route get_health_publico {
+    metodo: GET
+    caminho: /api/health
+    task: get_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/main/java/com/acme/health/HealthController.java",
-                conteudo: `package com.acme.health;
-
-import java.util.Map;
-import org.springframework.web.bind.annotation.GetMapping;
-import org.springframework.web.bind.annotation.RequestMapping;
-import org.springframework.web.bind.annotation.RestController;
-
-@RestController
-@RequestMapping("/api/health")
-public class HealthController {
-    @GetMapping
-    public Map<String, String> health() {
-        return Map.of("status", "ok", "runtime", "spring");
-    }
-}
+                conteudo: `package com.acme.health;
+
+import java.util.Map;
+import org.springframework.web.bind.annotation.GetMapping;
+import org.springframework.web.bind.annotation.RequestMapping;
+import org.springframework.web.bind.annotation.RestController;
+
+@RestController
+@RequestMapping("/api/health")
+public class HealthController {
+    @GetMapping
+    public Map<String, String> health() {
+        return Map.of("status", "ok", "runtime", "spring");
+    }
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Spring Boot API + Sema
-
-- Contratos em \`contratos/\`
-- Controllers REST em \`src/main/java/\`
-- \`drift\` valida impl e rota publica
+                conteudo: `# Starter Spring Boot API + Sema
+
+- Contratos em \`contratos/\`
+- Controllers REST em \`src/main/java/\`
+- \`drift\` valida impl e rota publica
 `,
             },
         ];
@@ -2599,68 +2645,68 @@ public class HealthController {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./internal"],
-  "fontesLegado": ["go"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./internal"],
+  "fontesLegado": ["go"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/health.sema",
-                conteudo: `module app.health {
-  task get_health {
-    output {
-      resultado: Json
-    }
-    impl {
-      go: internal.health.getHealth
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-
-  route get_health_publico {
-    metodo: GET
-    caminho: /health
-    task: get_health
-  }
-}
+                conteudo: `module app.health {
+  task get_health {
+    output {
+      resultado: Json
+    }
+    impl {
+      go: internal.health.getHealth
+    }
+    guarantees {
+      resultado existe
+    }
+  }
+
+  route get_health_publico {
+    metodo: GET
+    caminho: /health
+    task: get_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "internal/health.go",
-                conteudo: `package internal
-
-import "github.com/gin-gonic/gin"
-
-func registerRoutes(router *gin.Engine) {
-    router.GET("/health", getHealth)
-}
-
-func getHealth(ctx *gin.Context) {
-    ctx.JSON(200, gin.H{"status": "ok", "runtime": "go"})
-}
+                conteudo: `package internal
+
+import "github.com/gin-gonic/gin"
+
+func registerRoutes(router *gin.Engine) {
+    router.GET("/health", getHealth)
+}
+
+func getHealth(ctx *gin.Context) {
+    ctx.JSON(200, gin.H{"status": "ok", "runtime": "go"})
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Go HTTP API + Sema
-
-- Contratos em \`contratos/\`
-- Handlers em \`internal/\`
-- \`drift\` valida impl e rota publica
+                conteudo: `# Starter Go HTTP API + Sema
+
+- Contratos em \`contratos/\`
+- Handlers em \`internal/\`
+- \`drift\` valida impl e rota publica
 `,
             },
         ];
@@ -2669,71 +2715,71 @@ func getHealth(ctx *gin.Context) {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["rust"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["rust"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/health.sema",
-                conteudo: `module app.health {
-  task get_health {
-    output {
-      resultado: Json
-    }
-    impl {
-      rust: src.handlers.health
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-
-  route get_health_publico {
-    metodo: GET
-    caminho: /health
-    task: get_health
-  }
-}
+                conteudo: `module app.health {
+  task get_health {
+    output {
+      resultado: Json
+    }
+    impl {
+      rust: src.handlers.health
+    }
+    guarantees {
+      resultado existe
+    }
+  }
+
+  route get_health_publico {
+    metodo: GET
+    caminho: /health
+    task: get_health
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/main.rs",
-                conteudo: `use axum::{routing::get, Router};
-
-mod handlers;
-
-fn app() -> Router {
-    Router::new().route("/health", get(handlers::health))
-}
+                conteudo: `use axum::{routing::get, Router};
+
+mod handlers;
+
+fn app() -> Router {
+    Router::new().route("/health", get(handlers::health))
+}
 `,
             },
             {
                 caminhoRelativo: "src/handlers.rs",
-                conteudo: `pub async fn health() -> &'static str {
-    "ok"
-}
+                conteudo: `pub async fn health() -> &'static str {
+    "ok"
+}
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter Rust Axum API + Sema
-
-- Contratos em \`contratos/\`
-- Handlers em \`src/\`
-- \`drift\` valida impl e rota publica
+                conteudo: `# Starter Rust Axum API + Sema
+
+- Contratos em \`contratos/\`
+- Handlers em \`src/\`
+- \`drift\` valida impl e rota publica
 `,
             },
         ];
@@ -2742,60 +2788,60 @@ fn app() -> Router {
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosCodigo": ["./src"],
-  "fontesLegado": ["cpp"],
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosCodigo": ["./src"],
+  "fontesLegado": ["cpp"],
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             {
                 caminhoRelativo: "contratos/runtime_bridge.sema",
-                conteudo: `module app.runtime_bridge {
-  task processar_snapshot {
-    input {
-      payload: Json required
-    }
-    output {
-      resultado: Json
-    }
-    impl {
-      cpp: src.runtime.RuntimeBridge.processSnapshot
-    }
-    guarantees {
-      resultado existe
-    }
-  }
-}
+                conteudo: `module app.runtime_bridge {
+  task processar_snapshot {
+    input {
+      payload: Json required
+    }
+    output {
+      resultado: Json
+    }
+    impl {
+      cpp: src.runtime.RuntimeBridge.processSnapshot
+    }
+    guarantees {
+      resultado existe
+    }
+  }
+}
 `,
             },
             {
                 caminhoRelativo: "src/runtime.cpp",
-                conteudo: `class RuntimeBridge {
-public:
-    int processSnapshot(int payload) {
-        return payload;
-    }
-};
+                conteudo: `class RuntimeBridge {
+public:
+    int processSnapshot(int payload) {
+        return payload;
+    }
+};
 `,
             },
             {
                 caminhoRelativo: "README.md",
-                conteudo: `# Starter C++ Service Bridge + Sema
-
-- Contratos em \`contratos/\`
-- Symbols e bridges em \`src/\`
-- \`drift\` valida impl de simbolos, sem prometer rota HTTP
+                conteudo: `# Starter C++ Service Bridge + Sema
+
+- Contratos em \`contratos/\`
+- Symbols e bridges em \`src/\`
+- \`drift\` valida impl de simbolos, sem prometer rota HTTP
 `,
             },
         ];
@@ -2804,21 +2850,21 @@ public:
         arquivos = [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: `{
-  "origens": ["./contratos"],
-  "saida": "./generated",
-  "alvos": ["typescript", "python", "dart"],
-  "alvoPadrao": "typescript",
-  "estruturaSaida": "modulos",
-  "framework": "base",
-  "modoEstrito": true,
-  "diretoriosSaidaPorAlvo": {
-    "typescript": "./generated/typescript",
-    "python": "./generated/python",
-    "dart": "./generated/dart"
-  },
-  "convencoesGeracaoPorProjeto": "base"
-}
+                conteudo: `{
+  "origens": ["./contratos"],
+  "saida": "./generated",
+  "alvos": ["typescript", "python", "dart"],
+  "alvoPadrao": "typescript",
+  "estruturaSaida": "modulos",
+  "framework": "base",
+  "modoEstrito": true,
+  "diretoriosSaidaPorAlvo": {
+    "typescript": "./generated/typescript",
+    "python": "./generated/python",
+    "dart": "./generated/dart"
+  },
+  "convencoesGeracaoPorProjeto": "base"
+}
 `,
             },
             ...arquivosBase,
@@ -3270,7 +3316,7 @@ async function comandoAjudaIa() {
         "Use `sema inspecionar` para descobrir base, codigo vivo e fontes legado.",
         "Use `sema drift` para medir impls, vinculos, rotas, score e lacunas.",
         "Use `sema contexto-ia <arquivo.sema>` para gerar AST, IR, drift, `briefing.json` e `briefing.min.json`.",
-        "Use `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart> --saida <diretorio>` quando a tarefa pedir codigo derivado.",
+        "Use `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua> --saida <diretorio>` quando a tarefa pedir codigo derivado.",
     ]));
     console.log("");
     console.log(renderizarSecaoAscii("Regras praticas", [
@@ -3435,21 +3481,21 @@ async function comandoPromptCurto(entrada, args, emJson) {
             : "SEMA_BRIEF.md";
     const contextoProjeto = await readFile(path.join(resumoProjeto.pastaSaida, arquivoResumo), "utf8");
     const capacidade = tamanho === "micro" ? "pequena" : tamanho === "curto" ? "media" : "grande";
-    const prompt = `Voce esta operando Sema em modo IA-first.
-
-Isto nao e material feito para humano; e contexto comprimido para IA.
-
-Capacidade alvo: ${capacidade}
-Modo da tarefa: ${modo}
-
-Regras:
-- comece pelo resumo compacto abaixo
-- se a tarefa pedir mais contexto, abra \`SEMA_INDEX.json\`
-- nao tente ler o repo inteiro se o resumo ja disser onde tocar
-- preserve contrato, risco, lacuna e checks sugeridos
-
-Contexto do projeto:
-${contextoProjeto.trim()}
+    const prompt = `Voce esta operando Sema em modo IA-first.
+
+Isto nao e material feito para humano; e contexto comprimido para IA.
+
+Capacidade alvo: ${capacidade}
+Modo da tarefa: ${modo}
+
+Regras:
+- comece pelo resumo compacto abaixo
+- se a tarefa pedir mais contexto, abra \`SEMA_INDEX.json\`
+- nao tente ler o repo inteiro se o resumo ja disser onde tocar
+- preserve contrato, risco, lacuna e checks sugeridos
+
+Contexto do projeto:
+${contextoProjeto.trim()}
 `;
     if (emJson) {
         console.log(JSON.stringify({