@semacode/cli 1.5.55 → 2.0.0

package/dist/doctorCommand.d.ts

@@ -9,7 +9,7 @@ interface DependenciaComandoDoctor {
     comando: string;
     itens: ItemDependenciaComando[];
 }
-interface PreflightVerificacao {
+interface VerificacaoDependencias {
     ok: boolean;
     dependencias: DependenciaComandoDoctor[];
     faltando: Array<{
@@ -18,10 +18,10 @@ interface PreflightVerificacao {
         detalhe?: string;
     }>;
 }
-export declare function avaliarPreflightVerificacao(configuracoesAlvo: Array<{
+export declare function avaliarDependenciasVerificacao(configuracoesAlvo: Array<{
     alvo: AlvoGeracao;
     framework: FrameworkGeracao;
-}>): PreflightVerificacao;
-export declare function imprimirPreflightVerificacao(preflight: PreflightVerificacao): void;
+}>): VerificacaoDependencias;
+export declare function imprimirFalhaDependenciasVerificacao(verificacao: VerificacaoDependencias): void;
 export declare function comandoDoctor(): Promise<number>;
 export {};

package/dist/doctorCommand.js

@@ -1,7 +1,7 @@
 // SEMA-GOVERNED
-// M?dulo: sema.produto.orcamento_semantico
-// Contrato: contratos/sema/orcamento_semantico.sema
-// Descri??o: comando doctor e preflight de depend?ncias externas por alvo de gera??o.
+// Módulo: sema.produto.cli_toolchain_local
+// Contrato: contratos/sema/cli_toolchain_local.sema
+// Descrição: comando doctor e verificação local de dependências por alvo de geração.
 import { comandoDisponivel, resolverExecucaoPython, resolverExecucaoPytest, TSX_EXECUTOR_CLI, TSX_IMPORTADOR_CLI, } from "./execucoesExternas.js";
 function criarItemDependencia(nome, ok, detalhe, obrigatoria = true) {
     return { nome, ok, detalhe, obrigatoria };
@@ -14,8 +14,8 @@ function coletarDependenciasDoctor() {
             comando: "base",
             itens: [
                 criarItemDependencia("node", comandoDisponivel("node"), "runtime principal da CLI"),
-                criarItemDependencia("npm", comandoDisponivel("npm"), "instalacao, pack e publish"),
-                criarItemDependencia("python", Boolean(python), python?.rotulo ? `resolvido via ${python.rotulo}` : "python ou py"),
+                criarItemDependencia("npm", comandoDisponivel("npm"), "instalacao, pack e publish", false),
+                criarItemDependencia("python", Boolean(python), python?.rotulo ? `resolvido via ${python.rotulo}` : "python ou py", false),
                 criarItemDependencia("dotnet", comandoDisponivel("dotnet"), "ecosistema ASP.NET", false),
                 criarItemDependencia("go", comandoDisponivel("go"), "ecosistema Go", false),
                 criarItemDependencia("cargo", comandoDisponivel("cargo"), "ecosistema Rust", false),
@@ -53,6 +53,12 @@ function coletarDependenciasDoctor() {
                 criarItemDependencia("lua", comandoDisponivel("lua", ["-v"]), "runner de testes Lua"),
             ],
         },
+        {
+            comando: "verificar/php",
+            itens: [
+                criarItemDependencia("php", comandoDisponivel("php", ["-v"]), "runner de testes PHP"),
+            ],
+        },
     ];
 }
 function renderizarCaixaAscii(linhas) {
@@ -64,7 +70,7 @@ function renderizarCaixaAscii(linhas) {
         borda,
     ].join("\n");
 }
-export function avaliarPreflightVerificacao(configuracoesAlvo) {
+export function avaliarDependenciasVerificacao(configuracoesAlvo) {
     const dependencias = [];
     const faltando = [];
     const registrar = (comando, itens) => {
@@ -81,7 +87,6 @@ export function avaliarPreflightVerificacao(configuracoesAlvo) {
     };
     registrar("base", [
         criarItemDependencia("node", comandoDisponivel("node"), "runtime principal da CLI"),
-        criarItemDependencia("npm", comandoDisponivel("npm"), "instalacao e empacotamento"),
     ]);
     for (const configuracao of configuracoesAlvo) {
         if (configuracao.framework !== "base") {
@@ -117,6 +122,12 @@ export function avaliarPreflightVerificacao(configuracoesAlvo) {
             registrar("verificar/lua", [
                 criarItemDependencia("lua", comandoDisponivel("lua", ["-v"]), "runner de testes Lua"),
             ]);
+            continue;
+        }
+        if (configuracao.alvo === "php") {
+            registrar("verificar/php", [
+                criarItemDependencia("php", comandoDisponivel("php", ["-v"]), "runner de testes PHP"),
+            ]);
         }
     }
     return {
@@ -134,12 +145,12 @@ function imprimirDependenciasDoctor(dependencias) {
         }
     }
 }
-export function imprimirPreflightVerificacao(preflight) {
+export function imprimirFalhaDependenciasVerificacao(verificacao) {
     console.error(renderizarCaixaAscii([
-        "Preflight de verificacao falhou",
+        "Verificacao de dependencias falhou",
         "a CLI sabe o que falta antes de gerar e testar",
     ]));
-    for (const item of preflight.faltando) {
+    for (const item of verificacao.faltando) {
         const detalhe = item.detalhe ? ` (${item.detalhe})` : "";
         console.error(`- ${item.comando}: ${item.nome} faltando${detalhe}`);
     }

package/dist/exemplosOficiais.d.ts

@@ -4,7 +4,17 @@ export interface ResultadoMaterializacaoExemplos {
     destino: string;
     criados: string[];
     preservados: string[];
+    destinosExemplosPrevalidados: boolean;
     erro?: string;
 }
+export interface PlanoExemplosOficiais {
+    origem: string | undefined;
+    arquivos: Array<{
+        nome: string;
+        origemArquivo: string;
+        caminhoRelativo: string;
+    }>;
+}
 export declare function localizarDiretorioExemplosOficiais(): Promise<string | undefined>;
+export declare function planejarExemplosOficiais(): Promise<PlanoExemplosOficiais>;
 export declare function materializarExemplosOficiais(baseProjeto?: string, preservarExistentes?: boolean): Promise<ResultadoMaterializacaoExemplos>;

package/dist/exemplosOficiais.js

@@ -1,13 +1,10 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: codigo governado pelo Sema; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
-// SEMA-GOVERNED
-// M?dulo: sema.produto.orcamento_semantico
-// Contrato: contratos/sema/orcamento_semantico.sema
-// Descricao: localiza??o e materializa??o dos exemplos oficiais sem depender de caminho local externo.
-import { mkdir, readFile, readdir, writeFile } from "node:fs/promises";
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.escrita_segura_workspace
+// Descrição: localiza e materializa exemplos oficiais sem sobrescrever ou escapar do workspace.
+import { readFile, readdir } from "node:fs/promises";
 import path from "node:path";
 import { fileURLToPath } from "node:url";
-import { caminhoEhDiretorio, caminhoExiste } from "./fsGovernado.js";
+import { caminhoEhDiretorio } from "./fsGovernado.js";
+import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace, } from "./workspaceWrite.js";
 const DIRETORIO_CLI_ATUAL = path.dirname(fileURLToPath(import.meta.url));
 export async function localizarDiretorioExemplosOficiais() {
     const candidatos = [
@@ -21,8 +18,26 @@ export async function localizarDiretorioExemplosOficiais() {
     }
     return undefined;
 }
-export async function materializarExemplosOficiais(baseProjeto = process.cwd(), preservarExistentes = true) {
+export async function planejarExemplosOficiais() {
     const origem = await localizarDiretorioExemplosOficiais();
+    if (!origem) {
+        return { origem: undefined, arquivos: [] };
+    }
+    const entradas = (await readdir(origem, { withFileTypes: true }))
+        .filter((entrada) => entrada.isFile() && entrada.name.endsWith(".sema"))
+        .sort((a, b) => a.name.localeCompare(b.name, "pt-BR"));
+    return {
+        origem,
+        arquivos: entradas.map((entrada) => ({
+            nome: entrada.name,
+            origemArquivo: path.join(origem, entrada.name),
+            caminhoRelativo: path.join("exemplos", entrada.name),
+        })),
+    };
+}
+export async function materializarExemplosOficiais(baseProjeto = process.cwd(), preservarExistentes = true) {
+    const plano = await planejarExemplosOficiais();
+    const origem = plano.origem;
     const destino = path.resolve(baseProjeto, "exemplos");
     if (!origem) {
         return {
@@ -31,26 +46,20 @@ export async function materializarExemplosOficiais(baseProjeto = process.cwd(),
             destino,
             criados: [],
             preservados: [],
+            destinosExemplosPrevalidados: false,
             erro: "Diretorio de exemplos oficiais nao foi encontrado no pacote da CLI.",
         };
     }
-    await mkdir(destino, { recursive: true });
     const criados = [];
     const preservados = [];
-    const entradas = await readdir(origem, { withFileTypes: true });
-    for (const entrada of entradas.sort((a, b) => a.name.localeCompare(b.name, "pt-BR"))) {
-        if (!entrada.isFile() || !entrada.name.endsWith(".sema")) {
-            continue;
-        }
-        const origemArquivo = path.join(origem, entrada.name);
-        const destinoArquivo = path.join(destino, entrada.name);
-        const jaExiste = await caminhoExiste(destinoArquivo);
-        if (jaExiste && preservarExistentes) {
-            preservados.push(entrada.name);
+    await validarDestinosEscritaWorkspace(baseProjeto, plano.arquivos.map((arquivo) => arquivo.caminhoRelativo));
+    for (const arquivo of plano.arquivos) {
+        const resultado = await escreverArquivoWorkspaceSeguro(baseProjeto, arquivo.caminhoRelativo, await readFile(arquivo.origemArquivo, "utf8"), { sobrescrever: !preservarExistentes });
+        if (resultado.status === "preservado") {
+            preservados.push(arquivo.nome);
             continue;
         }
-        await writeFile(destinoArquivo, await readFile(origemArquivo, "utf8"), "utf8");
-        criados.push(entrada.name);
+        criados.push(arquivo.nome);
     }
     return {
         sucesso: true,
@@ -58,6 +67,7 @@ export async function materializarExemplosOficiais(baseProjeto = process.cwd(),
         destino,
         criados,
         preservados,
+        destinosExemplosPrevalidados: true,
     };
 }
 //# sourceMappingURL=exemplosOficiais.js.map

package/dist/fsGovernado.js

@@ -1,7 +1,8 @@
-// SEMA-GOVERNED: sema.produto.orcamento_semantico
-// Descricao: escrita governada de arquivos da CLI; consulte contratos/sema/orcamento_semantico.sema antes de editar.
-import { mkdir, stat, writeFile } from "node:fs/promises";
+// SEMA-GOVERNED: sema.produto.orcamento_semantico, sema.produto.escrita_segura_workspace
+// Descrição: escrita governada e contida no workspace; consulte os contratos aplicáveis antes de editar.
+import { mkdir, stat } from "node:fs/promises";
 import path from "node:path";
+import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace, } from "./workspaceWrite.js";
 import { avaliarOrcamentoArquivo, conteudoTemCabecalhoSemaGoverned, contarLinhasConteudo, exemploCabecalhoCodigoGovernado, LIMITE_BLOQUEIO_LINHAS_ORCAMENTO_SEMANTICO, tipoArquivoOrcamento, } from "./driftOrcamento.js";
 export async function caminhoExiste(caminhoAlvo) {
     try {
@@ -32,6 +33,7 @@ export async function escreverArquivos(base, arquivos, opcoes = {}) {
         artefatosGeradosAcimaDoLimite: [],
     };
     await mkdir(base, { recursive: true });
+    await validarDestinosEscritaWorkspace(base, arquivos.map((arquivo) => arquivo.caminhoRelativo));
     for (const arquivo of arquivos) {
         const deveInserirCabecalho = opcoes.inserirCabecalhoGovernado
             && tipoArquivoOrcamento(arquivo.caminhoRelativo) === "codigo"
@@ -59,9 +61,9 @@ export async function escreverArquivos(base, arquivos, opcoes = {}) {
         if (diagnosticoBloqueante) {
             throw new Error(diagnosticoBloqueante.mensagem);
         }
-        const destino = path.join(base, arquivo.caminhoRelativo);
-        await mkdir(path.dirname(destino), { recursive: true });
-        await writeFile(destino, conteudo, "utf8");
+        await escreverArquivoWorkspaceSeguro(base, arquivo.caminhoRelativo, conteudo, {
+            sobrescrever: true,
+        });
         resultado.arquivosEscritos += 1;
     }
     return resultado;

package/dist/iaPrompts.d.ts

@@ -1,5 +1,5 @@
-export declare const STARTER_IA = "Voce esta trabalhando com Sema, um contrato semantico IA-first para agentes operarem software vivo em backend e front consumer.\n\nImportante:\n- a Sema se apresenta publicamente como protocolo e funciona tecnicamente como linguagem de intencao\n- a Sema e protocolo de governanca semantica desenhado para IA, nao para ergonomia humana\n- humanos sao autores/aprovadores; agentes sao os consumidores primarios do contrato\n- leitura humana e bonus toleravel, nao objetivo de produto\n- a Sema nao e gerador magico que deveria fazer tudo\n- a Sema modela contratos, estados, fluxos, erros, efeitos, garantias, vinculos e execucao\n- a Sema gera codigo e scaffolding real para TypeScript, Python, PHP, Dart, Lua, JavaScript, HTML e CSS\n- a Sema usa `importar` para bootstrap revisavel, nao para contrato final automatico\n- a Sema usa `impl` para ligar task a simbolo real do runtime\n- a Sema usa `vinculos` para ligar contrato a arquivo, simbolo, recurso e superficie real\n- a Sema usa `execucao` para explicitar timeout, retry, compensacao e criticidade\n- a Sema usa `drift` para medir diferenca entre contrato e codigo vivo com score, confianca e lacunas\n- a Sema usa `resumo` e `prompt-curto` para IA fraca, gratuita ou com pouco contexto\n- a Sema usa `contexto-ia` para gerar `ast.json`, `ir.json`, `drift.json`, `briefing.json` e artefatos compactos antes da edicao\n- timeout definido pelo agente nao e falha do Sema; aumente o timeout e tente de novo antes de concluir falha\n- a Sema pode servir de base para interfaces graficas elegantes e coerentes\n- a Sema gera artefatos HTML/CSS derivados, mas nao substitui sozinha uma interface completa de produto\n- trate a Sema como cerebro semantico da aplicacao, nao como gerador magico de front-end pronto\n- se a tarefa envolver UI, prefira pedir Sema + React + TypeScript ou Sema + arquitetura de front-end\n- evite pedir HTML unico solto quando a intencao for testar a Sema de verdade\n\nRegras:\n- nao invente sintaxe fora da gramatica e dos exemplos oficiais\n- antes de qualquer acao, crie, edite ou remova o contrato .sema aplicavel; isso vale para Software, Author, Workflow, Ops, Game, Legal e Research\n- se a IA for fraca, nao tente abrir tudo de uma vez\n- use `sema resumo` e `briefing.min.json` antes de subir para o pacote completo\n- se `sema resumo . --micro` estourar timeout local, repita com timeout maior ou escopo menor; nao avance com codigo\n- trate `ir --json` como fonte de verdade semantica\n- trate `briefing.json` como plano de intervencao antes de editar projeto vivo\n- trate `diagnosticos --json` como fonte de correcao\n- use `sema formatar` como fonte unica de estilo\n- preserve a intencao do contrato\n- nao cobre da Sema adivinhacao de negocio que nao esta no contrato nem no codigo\n\nComandos essenciais:\n- resumo compacto por capacidade: `sema resumo <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`\n- prompt curto para IA fraca: `sema prompt-curto <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`\n- descoberta do projeto: `sema inspecionar [arquivo-ou-pasta] --json`\n- auditoria do contrato vivo: `sema drift <arquivo-ou-pasta> [--escopo <arquivo|modulo|projeto>] [--json]`\n- mapa de impacto: `sema impacto <arquivo-ou-pasta> --alvo <token> [--mudanca <descricao>] [--json]`\n- renomeacao assistida: `sema renomear-semantico <arquivo-ou-pasta> --de <nome-atual> --para <nome-novo> [--json]`\n- contexto completo do modulo: `sema contexto-ia <arquivo.sema>`\n- estrutura sintatica: `sema ast <arquivo.sema> --json`\n- estrutura semantica: `sema ir <arquivo.sema> --json`\n- validacao: `sema validar <arquivo.sema> --json`\n- diagnosticos: `sema diagnosticos <arquivo.sema> --json`\n- formatacao: `sema formatar <arquivo.sema>`\n- 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|php|typescript|python|dart> <diretorio> --saida <diretorio>`\n- exemplos oficiais no projeto: `sema instalar-exemplos`\n- geracao de codigo: `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio>`\n- verificacao final: `sema verificar <arquivo-ou-pasta> [--json]`\n\nAntes de editar:\n1. leia README, docs de IA e um exemplo oficial parecido\n2. se a IA for fraca, rode `sema resumo <arquivo> --micro` e leia `briefing.min.json`\n   - se timeout local estourar, aumente o timeout e tente de novo; timeout nao significa Sema inativo\n3. se a IA aguentar mais, rode `sema drift` para medir impls, vinculos, rotas, score e lacunas\n4. se a tarefa for pesada, rode `sema contexto-ia` e leia `briefing.json`\n5. consulte AST e IR do modulo alvo so quando a capacidade realmente aguentar\n\nDepois de editar:\n1. rode `sema formatar`\n2. rode `sema validar --json`\n3. se houver falha, use `diagnosticos --json`\n4. rode `sema drift` de novo quando mexer em codigo vivo\n5. se a tarefa pedir codigo derivado, rode `sema compilar`\n6. feche com `sema verificar <arquivo-ou-pasta> --json`\n\nPriorize sempre:\n- exemplos oficiais\n- JSON da CLI\n- o menor artefato que resolva a tarefa da IA atual\n- score, confianca e lacunas do `drift`\n- `briefing.json` como guia de mudanca\n- consistencia semantica\n\nSuperficies que a IA deve enxergar como first-class:\n- `route`\n- `worker`\n- `evento`\n- `fila`\n- `cron`\n- `webhook`\n- `cache`\n- `storage`\n- `policy`\n\nNao improvise quando faltar contexto.\n";
-export declare const PROMPT_BASE_IA = "Voce esta trabalhando com Sema, um contrato semantico IA-first para agentes operarem software vivo.\n\nTrate a Sema como protocolo de governanca semantica e linguagem de intencao feita para IA, nao para leitura humana confortavel. Humanos escrevem e aprovam; agentes consomem. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.\n\nFontes de verdade, em ordem:\n1. se o projeto expuser `SEMA_CONTEXT.md`, comece por ele\n2. `AGENT_CONTEXT_PACK.json`\n3. `SEMA_BRIEF.md`\n4. `SEMA_INDEX.json`\n5. `AGENTS.md`\n6. README do projeto\n7. gramatica e documentacao de sintaxe da Sema\n8. exemplos oficiais, com prioridade para o vertical de pagamento\n9. `sema resumo` e `briefing.min.json` quando a IA for fraca\n10. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar\n\nRegras de operacao:\n- contrato vem antes da acao: crie, edite ou remova o .sema aplicavel antes de codigo, docs operacionais, texto Author, workflow, jogo, pesquisa, legal ou ops\n- preserve o significado semantico\n- use o formatador oficial da Sema como fonte unica de estilo\n- use diagnosticos estruturados como contrato de correcao\n- use a IR como fonte de verdade semantica quando houver duvida\n- use predicados canonicos como normalizacao opcional, preservando a forma original\n- nao conclua uma alteracao sem validar e verificar o modulo\n- comece pelo menor artefato semantico que resolva a tarefa\n\nAntes de editar `.sema`, entenda:\n- o module alvo\n- os contratos de task, route, error, effects, guarantees, state e flow\n- os exemplos oficiais relacionados\n\nDepois de editar `.sema`, execute este fluxo:\n1. formatar\n2. validar\n3. diagnosticar, se houver falha\n4. verificar\n\nSe houver conflito entre texto livre e IR/diagnosticos, priorize a IR e os diagnosticos da CLI.\n\nSe algo nao estiver claro, siga a forma ja usada nos exemplos oficiais. Nao improvise sem base.\n";
+export declare const STARTER_IA = "Voce esta trabalhando com Sema, um contrato semantico IA-first para agentes operarem software vivo em backend e front consumer.\n\nImportante:\n- a Sema se apresenta publicamente como protocolo e funciona tecnicamente como linguagem de intencao\n- a Sema e protocolo de governanca semantica desenhado para IA, nao para ergonomia humana\n- humanos sao autores/aprovadores; agentes sao os consumidores primarios do contrato\n- leitura humana e bonus toleravel, nao objetivo de produto\n- a Sema nao e gerador magico que deveria fazer tudo\n- a Sema modela contratos, estados, fluxos, erros, efeitos, garantias, vinculos e execucao\n- a Sema gera codigo e scaffolding real para TypeScript, Python, PHP, Dart, Lua, JavaScript, HTML e CSS\n- a Sema usa `importar` para bootstrap revisavel, nao para contrato final automatico\n- a Sema usa `impl` para ligar task a simbolo real do runtime\n- a Sema usa `vinculos` para ligar contrato a arquivo, simbolo, recurso e superficie real\n- a Sema usa `execucao` para explicitar timeout, retry, compensacao e criticidade\n- a Sema usa `drift` para medir diferenca entre contrato e codigo vivo com score, confianca e lacunas\n- a Sema usa `resumo` e `prompt-curto` para IA fraca, gratuita ou com pouco contexto\n- a Sema usa `contexto-ia` para gerar `ast.json`, `ir.json`, `drift.json`, `briefing.json` e artefatos compactos antes da edicao\n- timeout definido pelo agente nao e falha do Sema; aumente o timeout e tente de novo antes de concluir falha\n- a Sema pode servir de base para interfaces graficas elegantes e coerentes\n- a Sema gera artefatos HTML/CSS derivados, mas nao substitui sozinha uma interface completa de produto\n- trate a Sema como cerebro semantico da aplicacao, nao como gerador magico de front-end pronto\n- se a tarefa envolver UI, prefira pedir Sema + React + TypeScript ou Sema + arquitetura de front-end\n- evite pedir HTML unico solto quando a intencao for testar a Sema de verdade\n\nRegras:\n- nao invente sintaxe fora da gramatica e dos exemplos oficiais\n- antes de qualquer acao, crie, edite ou remova o contrato .sema aplicavel; isso vale para Software, Author, Workflow, Ops, Game, Legal e Research\n- se a IA for fraca, nao tente abrir tudo de uma vez\n- use `sema resumo <arquivo> --micro --json` pelo stdout antes de subir para o pacote completo\n- se `sema resumo . --micro` estourar timeout local, repita com timeout maior ou escopo menor; nao avance com codigo\n- trate `ir --json` como fonte de verdade semantica\n- trate `briefing.json` como plano de intervencao antes de editar projeto vivo\n- trate `diagnosticos --json` como fonte de correcao\n- use `sema formatar` como fonte unica de estilo\n- preserve a intencao do contrato\n- nao cobre da Sema adivinhacao de negocio que nao esta no contrato nem no codigo\n\nComandos essenciais:\n- resumo compacto por capacidade: `sema resumo <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`\n- prompt curto para IA fraca: `sema prompt-curto <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`\n- descoberta do projeto: `sema inspecionar [arquivo-ou-pasta] --json`\n- auditoria do contrato vivo: `sema drift <arquivo-ou-pasta> [--escopo <arquivo|modulo|projeto>] [--json]`\n- mapa de impacto: `sema impacto <arquivo-ou-pasta> --alvo <token> [--mudanca <descricao>] [--json]`\n- renomeacao assistida: `sema renomear-semantico <arquivo-ou-pasta> --de <nome-atual> --para <nome-novo> [--json]`\n- contexto completo do modulo: `sema contexto-ia <arquivo.sema>`\n- estrutura sintatica: `sema ast <arquivo.sema> --json`\n- estrutura semantica: `sema ir <arquivo.sema> --json`\n- validacao: `sema validar <arquivo.sema> --json`\n- diagnosticos: `sema diagnosticos <arquivo.sema> --json`\n- formatacao: `sema formatar <arquivo.sema>`\n- 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|php|typescript|python|dart> <diretorio> --saida <diretorio>`\n- exemplos oficiais no projeto: `sema instalar-exemplos`\n- geracao de codigo: `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio>`\n- verificacao final: `sema verificar <arquivo-ou-pasta> [--json]`\n\nAntes de editar:\n1. leia README, docs de IA e um exemplo oficial parecido\n2. se a IA for fraca, rode `sema resumo <arquivo> --micro --json` e use o stdout compacto\n   - se timeout local estourar, aumente o timeout e tente de novo; timeout nao significa Sema inativo\n3. se a IA aguentar mais, rode `sema drift` para medir impls, vinculos, rotas, score e lacunas\n4. se a tarefa for pesada, rode `sema contexto-ia` e leia `briefing.json`\n5. consulte AST e IR do modulo alvo so quando a capacidade realmente aguentar\n\nDepois de editar:\n1. rode `sema formatar`\n2. rode `sema validar --json`\n3. se houver falha, use `diagnosticos --json`\n4. rode `sema drift` de novo quando mexer em codigo vivo\n5. se a tarefa pedir codigo derivado, rode `sema compilar`\n6. feche com `sema verificar <arquivo-ou-pasta> --json`\n\nPriorize sempre:\n- exemplos oficiais\n- JSON da CLI\n- o menor artefato que resolva a tarefa da IA atual\n- score, confianca e lacunas do `drift`\n- `briefing.json` como guia de mudanca\n- consistencia semantica\n\nSuperficies que a IA deve enxergar como first-class:\n- `route`\n- `worker`\n- `evento`\n- `fila`\n- `cron`\n- `webhook`\n- `cache`\n- `storage`\n- `policy`\n\nNao improvise quando faltar contexto.\n";
+export declare const PROMPT_BASE_IA = "Voce esta trabalhando com Sema, um contrato semantico IA-first para agentes operarem software vivo.\n\nTrate a Sema como protocolo de governanca semantica e linguagem de intencao feita para IA, nao para leitura humana confortavel. Humanos escrevem e aprovam; agentes consomem. Nao invente sintaxe, palavras-chave ou blocos fora da gramatica e dos exemplos oficiais.\n\nFontes de verdade, em ordem:\n1. se o projeto expuser `SEMA_CONTEXT.md`, comece por ele\n2. `AGENT_CONTEXT_PACK.json`\n3. `SEMA_BRIEF.md`\n4. `SEMA_INDEX.json`\n5. `AGENTS.md`\n6. README do projeto\n7. gramatica e documentacao de sintaxe da Sema\n8. exemplos oficiais, com prioridade para o vertical de pagamento\n9. `sema resumo <arquivo> --micro --json` e o stdout compacto quando a IA for fraca\n10. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar\n\nRegras de operacao:\n- contrato vem antes da acao: crie, edite ou remova o .sema aplicavel antes de codigo, docs operacionais, texto Author, workflow, jogo, pesquisa, legal ou ops\n- preserve o significado semantico\n- use o formatador oficial da Sema como fonte unica de estilo\n- use diagnosticos estruturados como contrato de correcao\n- use a IR como fonte de verdade semantica quando houver duvida\n- use predicados canonicos como normalizacao opcional, preservando a forma original\n- nao conclua uma alteracao sem validar e verificar o modulo\n- comece pelo menor artefato semantico que resolva a tarefa\n\nAntes de editar `.sema`, entenda:\n- o module alvo\n- os contratos de task, route, error, effects, guarantees, state e flow\n- os exemplos oficiais relacionados\n\nDepois de editar `.sema`, execute este fluxo:\n1. formatar\n2. validar\n3. diagnosticar, se houver falha\n4. verificar\n\nSe houver conflito entre texto livre e IR/diagnosticos, priorize a IR e os diagnosticos da CLI.\n\nSe algo nao estiver claro, siga a forma ja usada nos exemplos oficiais. Nao improvise sem base.\n";
 export declare const PROMPT_IA_UI = "Atue como Engenheiro de Software Senior e UX/UI Designer de elite.\n\nQuero que voce trabalhe com Sema como fonte de verdade semantica do sistema e com React + TypeScript como camada de interface.\n\nEntregue obrigatoriamente duas partes integradas:\n1. os arquivos `.sema` do dominio\n2. a proposta ou implementacao da interface em React + TypeScript\n\nRegras:\n- nao entregue apenas HTML solto em arquivo unico\n- nao trate a Sema como enfeite conceitual\n- a interface deve nascer do contrato semantico definido em Sema\n- use os exemplos oficiais da Sema como referencia de estilo e semantica\n- nao invente sintaxe fora da gramatica suportada\n\nA Sema deve modelar, quando fizer sentido:\n- `module`\n- `use`\n- `entity`\n- `enum`\n- `state`\n- `task`\n- `flow`\n- `route`\n- `effects`\n- `error`\n- `guarantees`\n- `tests`\n- `docs`\n\nA interface deve refletir visualmente:\n- `state` como status e progresso observavel\n- `flow` como etapas ou orquestracao visivel\n- `error` como falhas tratadas com clareza\n- `effects` como operacoes relevantes para usuario ou operacao\n- `guarantees` como confianca, confirmacao ou consistencia final\n\nEstruture a entrega assim:\n1. visao do produto\n2. dominio modelado em Sema\n3. arquitetura de pastas em React + TypeScript\n4. componentes principais\n5. estrategia visual\n6. codigo principal da interface\n7. explicacao curta de como a UI conversa com a semantica da Sema\n\nSe a tarefa envolver app visual, a Sema governa o significado e o React renderiza a experiencia. Nao atropele essa separacao.\n";
 export declare const PROMPT_IA_REACT = "Crie uma solucao com Sema + React + TypeScript.\n\nRegras principais:\n- a Sema deve ser a fonte de verdade semantica do dominio\n- React + TypeScript deve ser a camada de interface e experiencia\n- nao entregue HTML unico solto\n- nao trate a Sema como enfeite\n\nEntregue obrigatoriamente:\n1. arquivos `.sema` do dominio\n2. arquitetura de pastas do frontend\n3. componentes React principais\n4. contratos e tipos derivados da semantica\n5. interface elegante e implementavel\n\nA modelagem Sema deve cobrir, quando fizer sentido:\n- `entity`\n- `enum`\n- `state`\n- `task`\n- `flow`\n- `route`\n- `effects`\n- `error`\n- `guarantees`\n- `tests`\n\nA interface React deve tornar visiveis:\n- estado atual e transicoes relevantes\n- fluxo operacional\n- erros publicos\n- efeitos operacionais importantes\n- garantias ou confirmacoes finais\n\nEstruture a entrega assim:\n1. visao do produto\n2. arquivos `.sema`\n3. arquitetura React + TypeScript\n4. componentes e telas\n5. codigo principal\n6. explicacao de como a UI deriva da semantica da Sema\n\nSe houver duvida, siga os exemplos oficiais e mantenha a separacao:\n- Sema governa o significado\n- React governa a apresentacao\n";
 export declare const PROMPT_IA_SEMA_PRIMEIRO = "Quero que voce trabalhe no modo \"Sema primeiro\".\n\nRegra principal:\n- modele primeiro o dominio em arquivos `.sema`\n- se a intencao mudar, crie, edite ou remova o contrato antes de qualquer acao operacional\n- so depois proponha ou gere codigo de aplicacao derivado disso\n\nFluxo obrigatorio:\n1. entender o dominio pedido\n2. modelar o contrato em Sema\n3. validar coerencia entre `task`, `route`, `state`, `flow`, `error`, `effects` e `guarantees`\n4. so depois gerar TypeScript, Python, React ou outra camada de implementacao\n\nNao entregue apenas codigo de interface ou codigo imperativo direto sem antes entregar a camada semantica.\n\nA modelagem em Sema deve:\n- preservar a intencao do dominio\n- explicitar entradas, saidas, erros, efeitos e garantias\n- usar apenas blocos e sintaxe oficiais\n- incluir testes embutidos quando fizer sentido\n\nSe houver interface grafica:\n- entregue a modelagem Sema primeiro\n- depois explique como a interface deve refletir a semantica\n- se gerar UI, use React + TypeScript em vez de HTML unico solto\n\nSe houver backend:\n- entregue a modelagem Sema primeiro\n- depois gere a borda publica e a implementacao derivada\n\nNao pule a etapa semantica. A camada `.sema` e a ancora principal da solucao.\n";

package/dist/iaPrompts.js

@@ -30,7 +30,7 @@ Regras:
 - nao invente sintaxe fora da gramatica e dos exemplos oficiais
 - antes de qualquer acao, crie, edite ou remova o contrato .sema aplicavel; isso vale para Software, Author, Workflow, Ops, Game, Legal e Research
 - se a IA for fraca, nao tente abrir tudo de uma vez
-- use \`sema resumo\` e \`briefing.min.json\` antes de subir para o pacote completo
+- use \`sema resumo <arquivo> --micro --json\` pelo stdout antes de subir para o pacote completo
 - se \`sema resumo . --micro\` estourar timeout local, repita com timeout maior ou escopo menor; nao avance com codigo
 - trate \`ir --json\` como fonte de verdade semantica
 - trate \`briefing.json\` como plano de intervencao antes de editar projeto vivo
@@ -59,7 +59,7 @@ Comandos essenciais:
 
 Antes de editar:
 1. leia README, docs de IA e um exemplo oficial parecido
-2. se a IA for fraca, rode \`sema resumo <arquivo> --micro\` e leia \`briefing.min.json\`
+2. se a IA for fraca, rode \`sema resumo <arquivo> --micro --json\` e use o stdout compacto
    - se timeout local estourar, aumente o timeout e tente de novo; timeout nao significa Sema inativo
 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\`
@@ -107,7 +107,7 @@ Fontes de verdade, em ordem:
 6. README do projeto
 7. gramatica e documentacao de sintaxe da Sema
 8. exemplos oficiais, com prioridade para o vertical de pagamento
-9. \`sema resumo\` e \`briefing.min.json\` quando a IA for fraca
+9. \`sema resumo <arquivo> --micro --json\` e o stdout compacto quando a IA for fraca
 10. AST, IR e diagnosticos exportados pela CLI em JSON quando a capacidade aguentar
 
 Regras de operacao:

package/dist/index.part01.d.ts

@@ -2,7 +2,7 @@ import { compilarCodigo, type IrModulo } from "@sema/nucleo";
 import { analisarDriftLegado, type OpcoesDriftLegado } from "./drift.js";
 import { type GuiaCapacidadeIaMap } from './agentContextTipos.js';
 import { criarBriefingAgente, resumirDriftPorModulo } from "./index.part03.js";
-export type Comando = "iniciar" | "init" | "dev" | "sync" | "author" | "profile" | "validar" | "ast" | "ir" | "compilar" | "gerar" | "testar" | "diagnosticos" | "verificar" | "inspecionar" | "drift" | "impacto" | "renomear-semantico" | "importar" | "doctor" | "formatar" | "ajuda-ia" | "starter-ia" | "sync-ai-entrypoints" | "instalar-exemplos" | "preflight" | "rule-packs" | "docs-impacto" | "finalizar-mudanca" | "resumo" | "prompt-curto" | "prompt-ia" | "prompt-ia-ui" | "prompt-ia-react" | "prompt-ia-sema-primeiro" | "exemplos-prompt-ia" | "contexto-ia";
+export type Comando = "iniciar" | "init" | "dev" | "sync" | "author" | "profile" | "validar" | "ast" | "ir" | "compilar" | "gerar" | "testar" | "diagnosticos" | "verificar" | "inspecionar" | "drift" | "impacto" | "renomear-semantico" | "importar" | "doctor" | "formatar" | "ajuda-ia" | "starter-ia" | "sync-codex" | "instalar-exemplos" | "rule-packs" | "docs-impacto" | "finalizar-mudanca" | "resumo" | "prompt-curto" | "prompt-ia" | "prompt-ia-ui" | "prompt-ia-react" | "prompt-ia-sema-primeiro" | "exemplos-prompt-ia" | "contexto-ia";
 export interface ResultadoFormatacaoArquivo {
     caminho: string;
     alterado: boolean;

package/dist/index.part01.js

@@ -34,7 +34,8 @@ export function ajuda() {
         "",
         renderizarSecaoAscii("Fluxos rápidos", [
             "[1] Projeto novo / produção inicial",
-            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer>",
+            "sema iniciar --template <base|nestjs|fastapi|nextjs-api|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer> [--force]",
+            "Arquivos existentes sao preservados; use --force somente para sobrescrita explicita.",
             "sema validar contratos/<modulo>.sema --json",
             "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio>",
             "sema verificar <arquivo-ou-pasta> --json",
@@ -73,9 +74,9 @@ export function ajuda() {
         ]),
         "",
         renderizarSecaoAscii("IA por capacidade", [
-            "fraca: sema resumo --micro + briefing.min.json + prompt-curto.txt",
-            "média: sema resumo --curto + drift.json + briefing.min.json",
-            "forte: sema contexto-ia + briefing.json + ir.json + ast.json",
+            "fraca: sema resumo <arquivo> --micro --json (stdout compacto)",
+            "média: sema resumo <arquivo> --curto --json + sema drift <arquivo> --json",
+            "forte: sema contexto-ia <arquivo.sema> --saida <diretorio> --json",
         ]),
         "",
         renderizarSecaoAscii("Comandos principais", [
@@ -107,9 +108,8 @@ export function ajuda() {
             "sema prompt-ia-sema-primeiro",
             "sema exemplos-prompt-ia",
             "sema contexto-ia <arquivo.sema> [--saida <diretorio>] [--json]",
-            "sema sync-ai-entrypoints [--json]",
+            "sema sync-codex [--json]",
             "sema instalar-exemplos [--json]",
-            "sema preflight [comando] [--operation-code <codigo>] [--json]",
             "sema docs-impacto --intencao <acao> [--arquivo <caminho>] [--criar-ausentes] [--json]",
             "sema finalizar-mudanca --intencao <acao> [--arquivo <caminho>] [--doc-lida <caminho>] [--json]",
             "sema author briefing <arquivo.sema> [--json]",

package/dist/index.part02.js

@@ -331,7 +331,7 @@ Regras:
 - não invente sintaxe nem bloco fora da gramática oficial
 - preserve a intenção 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\`
+- se a tarefa pedir mais contexto, rode \`sema contexto-ia <arquivo.sema> --saida <diretorio> --json\` e então abra \`briefing.min.json\`, \`drift.json\` e \`ir.json\` nessa saída
 - não saia editando software vivo sem olhar risco, lacuna e checks sugeridos
 - se abrir código com \`SEMA-GOVERNED\`, volte ao contrato e chame Sema antes de editar
 - não crie nem conclua código governado acima de ${LIMITE_BLOQUEIO_LINHAS_CODIGO_GOVERNADO} linhas; acima de ${LIMITE_AVISO_LINHAS_CODIGO_GOVERNADO}, planeje divisão; documentação Markdown não entra nesse limite de código

package/dist/index.part03.d.ts

@@ -53,6 +53,7 @@ export declare function criarBriefingAgente(arquivo: string, modulo: string, ir:
     testesMinimos: string[];
 };
 export declare function carregarContextoModuloIa(arquivoEntrada: string): Promise<PacoteContextoModuloIa>;
+export declare const ARQUIVOS_RESUMO_MODULO_IA: readonly ["SEMA_BOOT.md", "SEMA_SMALL_MODEL.md", "agent-context-pack.json", "resumo.micro.txt", "resumo.curto.txt", "resumo.md", "briefing.min.json", "prompt-curto.txt"];
 export declare function gerarArquivosResumoModuloIa(contexto: PacoteContextoModuloIa, pastaBase: string): Promise<{
     artefatosCompactos: string[];
     guiaPorCapacidade: GuiaCapacidadeIaMap;

package/dist/index.part03.js

@@ -1,6 +1,3 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
-import { writeFile } from "node:fs/promises";
 import path from "node:path";
 import { temErros, } from "@sema/nucleo";
 import { carregarProjeto, } from "./projeto.js";
@@ -9,6 +6,7 @@ import { ARQUIVO_AGENT_CONTEXT_PACK, ARQUIVO_SEMA_BOOT, ARQUIVO_SEMA_SMALL_MODEL
 import { criarAgentContextPack, criarGuiaCapacidadeIa } from './agentContextPack.js';
 import { criarEntradaCanonicaProjeto } from './agentContext.js';
 import { renderizarSemaBoot, renderizarSemaSmallModel, } from './agentEntryPoints.js';
+import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace } from './workspaceWrite.js';
 import { resumirListaTexto } from './textoListas.js';
 import { coletarResumoSemanticoModulo, criarBriefingMinimo, criarPromptCurtoModulo, renderizarResumoModuloMarkdown, renderizarResumoModuloTexto } from "./index.part02.js";
 export function renderizarResumoProjetoMarkdown(geradoEm, modulos, guiaPorCapacidade) {
@@ -325,6 +323,16 @@ export async function carregarContextoModuloIa(arquivoEntrada) {
         briefing,
     };
 }
+export const ARQUIVOS_RESUMO_MODULO_IA = [
+    ARQUIVO_SEMA_BOOT,
+    ARQUIVO_SEMA_SMALL_MODEL,
+    "agent-context-pack.json",
+    "resumo.micro.txt",
+    "resumo.curto.txt",
+    "resumo.md",
+    "briefing.min.json",
+    "prompt-curto.txt",
+];
 export async function gerarArquivosResumoModuloIa(contexto, pastaBase) {
     const guiaPorCapacidade = criarGuiaCapacidadeIa();
     const resumoSemantico = coletarResumoSemanticoModulo(contexto);
@@ -336,16 +344,22 @@ export async function gerarArquivosResumoModuloIa(contexto, pastaBase) {
     const agentContextPack = criarAgentContextPack(guiaPorCapacidade);
     const semaBoot = renderizarSemaBoot(agentContextPack);
     const semaSmallModel = renderizarSemaSmallModel(agentContextPack);
-    await writeFile(path.join(pastaBase, ARQUIVO_SEMA_BOOT), semaBoot, "utf8");
-    await writeFile(path.join(pastaBase, ARQUIVO_SEMA_SMALL_MODEL), semaSmallModel, "utf8");
-    await writeFile(path.join(pastaBase, "agent-context-pack.json"), `${JSON.stringify(agentContextPack, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaBase, "resumo.micro.txt"), resumoMicro, "utf8");
-    await writeFile(path.join(pastaBase, "resumo.curto.txt"), resumoCurto, "utf8");
-    await writeFile(path.join(pastaBase, "resumo.md"), resumoMarkdown, "utf8");
-    await writeFile(path.join(pastaBase, "briefing.min.json"), `${JSON.stringify(briefingMinimo, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaBase, "prompt-curto.txt"), promptCurto, "utf8");
+    const artefatos = [
+        { caminhoRelativo: ARQUIVO_SEMA_BOOT, conteudo: semaBoot },
+        { caminhoRelativo: ARQUIVO_SEMA_SMALL_MODEL, conteudo: semaSmallModel },
+        { caminhoRelativo: "agent-context-pack.json", conteudo: `${JSON.stringify(agentContextPack, null, 2)}\n` },
+        { caminhoRelativo: "resumo.micro.txt", conteudo: resumoMicro },
+        { caminhoRelativo: "resumo.curto.txt", conteudo: resumoCurto },
+        { caminhoRelativo: "resumo.md", conteudo: resumoMarkdown },
+        { caminhoRelativo: "briefing.min.json", conteudo: `${JSON.stringify(briefingMinimo, null, 2)}\n` },
+        { caminhoRelativo: "prompt-curto.txt", conteudo: promptCurto },
+    ];
+    await validarDestinosEscritaWorkspace(pastaBase, artefatos.map((artefato) => artefato.caminhoRelativo));
+    for (const artefato of artefatos) {
+        await escreverArquivoWorkspaceSeguro(pastaBase, artefato.caminhoRelativo, artefato.conteudo, { sobrescrever: true });
+    }
     return {
-        artefatosCompactos: [ARQUIVO_SEMA_BOOT, ARQUIVO_SEMA_SMALL_MODEL, "agent-context-pack.json", "resumo.micro.txt", "resumo.curto.txt", "resumo.md", "briefing.min.json", "prompt-curto.txt"],
+        artefatosCompactos: [...ARQUIVOS_RESUMO_MODULO_IA],
         guiaPorCapacidade,
     };
 }

package/dist/index.part04.d.ts

@@ -1,5 +1,6 @@
 import { type GuiaCapacidadeIaMap } from './agentContextTipos.js';
 import { ContextoIaGerado, ResumoSemanticoModuloIa } from "./index.part01.js";
+export declare const ARQUIVOS_RESUMO_PROJETO_IA: readonly ["SEMA_BOOT.md", "SEMA_SMALL_MODEL.md", "SEMA_BRIEF.md", "SEMA_BRIEF.micro.txt", "SEMA_BRIEF.curto.txt", "SEMA_INDEX.json", "AGENT_CONTEXT_PACK.json", "docs/ai-integration.md"];
 export declare function gerarResumoProjetoIa(entrada: string | undefined, pastaSaidaOpcional?: string, escreverNaRaiz?: boolean): Promise<{
     geradoEm: string;
     baseProjeto: string;

package/dist/index.part04.js

@@ -1,6 +1,6 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
-import { mkdir, writeFile } from "node:fs/promises";
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.escrita_segura_workspace
+// Descrição: gera contexto local e grava artefatos somente dentro da base validada.
+import { mkdir } from "node:fs/promises";
 import path from "node:path";
 import { formatarDiagnosticos, gerarRespostaValidacao, temErros, } from "@sema/nucleo";
 import { carregarProjeto, } from "./projeto.js";
@@ -11,13 +11,24 @@ import { ARQUIVO_AGENT_CONTEXT_PACK, ARQUIVO_DOC_AGENTES_CAPACIDADE, ARQUIVO_SEM
 import { criarGuiaCapacidadeIa, LIMITE_CARACTERES_PAYLOAD_INLINE } from './agentContextPack.js';
 import { criarEntradaCanonicaProjeto } from './agentContext.js';
 import { renderizarDocumentoAgentesPorCapacidade, renderizarSemaBoot, renderizarSemaSmallModel, } from './agentEntryPoints.js';
+import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace } from './workspaceWrite.js';
 import { carregarModulos } from './carregarModulos.js';
 import { obterOpcao, obterOpcoesRepetidas, possuiFlag } from './cliArgs.js';
 import { resumirListaTexto, unicosOrdenados } from './textoListas.js';
 import { EXTENSOES_CODIGO, listarArquivosRecursivosLimitado } from './projetoBusca.js';
 import { VERSAO_CLI } from "./index.part01.js";
 import { coletarResumoSemanticoModulo, descreverFontesConclusao, detectarFontesConclusaoSnapshot, detectarModoVerificacaoCodigo } from "./index.part02.js";
-import { carregarContextoModuloIa, criarBriefingAgente, gerarArquivosResumoModuloIa, renderizarResumoProjetoMarkdown, resumirDriftPorModulo } from "./index.part03.js";
+import { ARQUIVOS_RESUMO_MODULO_IA, carregarContextoModuloIa, criarBriefingAgente, gerarArquivosResumoModuloIa, renderizarResumoProjetoMarkdown, resumirDriftPorModulo } from "./index.part03.js";
+export const ARQUIVOS_RESUMO_PROJETO_IA = [
+    ARQUIVO_SEMA_BOOT,
+    ARQUIVO_SEMA_SMALL_MODEL,
+    "SEMA_BRIEF.md",
+    "SEMA_BRIEF.micro.txt",
+    "SEMA_BRIEF.curto.txt",
+    "SEMA_INDEX.json",
+    ARQUIVO_AGENT_CONTEXT_PACK,
+    ARQUIVO_DOC_AGENTES_CAPACIDADE,
+];
 async function listarTopArquivosCodigoDetectados(diretoriosCodigo, limite = 24) {
     const encontrados = new Set();
     for (const diretorio of diretoriosCodigo.sort((a, b) => a.localeCompare(b, "pt-BR"))) {
@@ -148,21 +159,26 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
         `GERADO_EM: ${geradoEm}`,
         "",
     ].join("\n");
-    await writeFile(path.join(pastaSaida, "SEMA_BRIEF.md"), semaBrief, "utf8");
-    await writeFile(path.join(pastaSaida, ARQUIVO_SEMA_BOOT), semaBoot, "utf8");
-    await writeFile(path.join(pastaSaida, ARQUIVO_SEMA_SMALL_MODEL), semaSmallModel, "utf8");
-    await writeFile(path.join(pastaSaida, "SEMA_BRIEF.micro.txt"), micro, "utf8");
-    await writeFile(path.join(pastaSaida, "SEMA_BRIEF.curto.txt"), curto, "utf8");
-    await writeFile(path.join(pastaSaida, "SEMA_INDEX.json"), `${JSON.stringify(indexJson, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaSaida, ARQUIVO_AGENT_CONTEXT_PACK), `${JSON.stringify(agentContextPack, null, 2)}\n`, "utf8");
-    await mkdir(path.dirname(path.join(pastaSaida, ARQUIVO_DOC_AGENTES_CAPACIDADE)), { recursive: true });
-    await writeFile(path.join(pastaSaida, ARQUIVO_DOC_AGENTES_CAPACIDADE), docAgentesCapacidade, "utf8");
+    const artefatosResumo = [
+        { caminhoRelativo: "SEMA_BRIEF.md", conteudo: semaBrief },
+        { caminhoRelativo: ARQUIVO_SEMA_BOOT, conteudo: semaBoot },
+        { caminhoRelativo: ARQUIVO_SEMA_SMALL_MODEL, conteudo: semaSmallModel },
+        { caminhoRelativo: "SEMA_BRIEF.micro.txt", conteudo: micro },
+        { caminhoRelativo: "SEMA_BRIEF.curto.txt", conteudo: curto },
+        { caminhoRelativo: "SEMA_INDEX.json", conteudo: `${JSON.stringify(indexJson, null, 2)}\n` },
+        { caminhoRelativo: ARQUIVO_AGENT_CONTEXT_PACK, conteudo: `${JSON.stringify(agentContextPack, null, 2)}\n` },
+        { caminhoRelativo: ARQUIVO_DOC_AGENTES_CAPACIDADE, conteudo: docAgentesCapacidade },
+    ];
+    await validarDestinosEscritaWorkspace(pastaSaida, artefatosResumo.map((artefato) => artefato.caminhoRelativo));
+    for (const artefato of artefatosResumo) {
+        await escreverArquivoWorkspaceSeguro(pastaSaida, artefato.caminhoRelativo, artefato.conteudo, { sobrescrever: true });
+    }
     return {
         geradoEm,
         baseProjeto,
         pastaSaida,
         modoVerificacaoCodigo,
-        artefatos: [ARQUIVO_SEMA_BOOT, ARQUIVO_SEMA_SMALL_MODEL, "SEMA_BRIEF.md", "SEMA_BRIEF.micro.txt", "SEMA_BRIEF.curto.txt", "SEMA_INDEX.json", ARQUIVO_AGENT_CONTEXT_PACK, ARQUIVO_DOC_AGENTES_CAPACIDADE],
+        artefatos: [...ARQUIVOS_RESUMO_PROJETO_IA],
         modulos,
         guiaPorCapacidade,
     };
@@ -173,12 +189,22 @@ export async function gerarContextoIa(arquivoEntrada, pastaSaidaOpcional) {
         ? path.resolve(pastaSaidaOpcional)
         : path.resolve(process.cwd(), ".tmp", "contexto-ia", path.basename(contexto.arquivo, ".sema"));
     await mkdir(pastaBase, { recursive: true });
-    await writeFile(path.join(pastaBase, "validar.json"), `${JSON.stringify(contexto.validar, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaBase, "diagnosticos.json"), `${JSON.stringify(contexto.diagnosticosJson, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaBase, "ast.json"), `${JSON.stringify(contexto.ast, null, 2)}\n`, "utf8");
-    await writeFile(path.join(pastaBase, "ir.json"), `${JSON.stringify(contexto.irJson, null, 2)}\n`, "utf8");
-    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 artefatosContexto = [
+        { caminhoRelativo: "validar.json", conteudo: `${JSON.stringify(contexto.validar, null, 2)}\n` },
+        { caminhoRelativo: "diagnosticos.json", conteudo: `${JSON.stringify(contexto.diagnosticosJson, null, 2)}\n` },
+        { caminhoRelativo: "ast.json", conteudo: `${JSON.stringify(contexto.ast, null, 2)}\n` },
+        { caminhoRelativo: "ir.json", conteudo: `${JSON.stringify(contexto.irJson, null, 2)}\n` },
+        { caminhoRelativo: "drift.json", conteudo: `${JSON.stringify(contexto.drift, null, 2)}\n` },
+        { caminhoRelativo: "briefing.json", conteudo: `${JSON.stringify(contexto.briefing, null, 2)}\n` },
+    ];
+    await validarDestinosEscritaWorkspace(pastaBase, [
+        ...artefatosContexto.map((artefato) => artefato.caminhoRelativo),
+        ...ARQUIVOS_RESUMO_MODULO_IA,
+        "README.md",
+    ]);
+    for (const artefato of artefatosContexto) {
+        await escreverArquivoWorkspaceSeguro(pastaBase, artefato.caminhoRelativo, artefato.conteudo, { sobrescrever: true });
+    }
     const resumoGerado = await gerarArquivosResumoModuloIa(contexto, pastaBase);
     const resumo = `# Contexto de IA para ${contexto.modulo}
 
@@ -277,7 +303,9 @@ Antes de escolher arquivo de código, leia \`${ARQUIVO_SEMA_BOOT}\` e \`agent-co
 - \`sema prompt-curto "${contexto.arquivo}" --para mudanca\`
 - \`sema prompt-ia\`
 `;
-    await writeFile(path.join(pastaBase, "README.md"), resumo, "utf8");
+    await escreverArquivoWorkspaceSeguro(pastaBase, "README.md", resumo, {
+        sobrescrever: true,
+    });
     return {
         sucesso: contexto.sucesso,
         arquivo: contexto.arquivo,

package/dist/index.part05.js

@@ -178,7 +178,7 @@ export async function comandoDrift(entrada, args, emJson, cwd = process.cwd()) {
 export async function comandoImpacto(entrada, args, emJson, cwd = process.cwd()) {
     const alvoSemantico = obterOpcao(args, "--alvo");
     if (!alvoSemantico) {
-        console.error("Uso: sema impacto <arquivo-ou-pasta> --alvo <token-semântico> [--mudanca <descricao>] [--escopo <arquivo|modulo|projeto>] [--incluir-worktrees] [--incluir-consumidores-laterais] [--json]");
+        console.error("Uso: sema impacto <arquivo-ou-pasta> --alvo <token-semântico> [--mudanca <descricao>] [--escopo <arquivo|modulo|projeto>] [--incluir-worktrees] [--incluir-consumidores-laterais] [--json]");
         return 1;
     }
     const contextoProjeto = await carregarProjeto(entrada, cwd);

package/dist/index.part06.d.ts

@@ -4,7 +4,7 @@ export declare function comandoCompilar(entrada: string | undefined, alvo: AlvoG
 export declare function comandoDiagnosticos(arquivo: string, emJson: boolean): Promise<number>;
 export declare function comandoFormatar(entrada: string | undefined, verificarApenas: boolean, emJson: boolean): Promise<number>;
 export declare function comandoStarterIa(): Promise<number>;
-export declare function comandoSyncAiEntrypoints(emJson: boolean): Promise<number>;
+export declare function comandoSyncCodex(emJson: boolean): Promise<number>;
 export declare function comandoAjudaIa(): Promise<number>;
 export declare function comandoPromptIa(): Promise<number>;
 export declare function comandoPromptIaUi(): Promise<number>;