@semacode/cli 1.5.54 → 2.0.0

package/dist/docs.part02.js

@@ -1,8 +1,9 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
-import { mkdir, readFile, writeFile } from "node:fs/promises";
+// SEMA-GOVERNED: sema.produto.governanca_ia.documentacao, sema.produto.escrita_segura_workspace
+// Descricao: resolve e cria documentacao obrigatoria sem escapar do workspace nem gravar lotes parcialmente.
+import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { emitirDiagnosticosArquivosOrcamento } from "./driftOrcamento.js";
+import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace, } from "./workspaceWrite.js";
 import { REGRAS_DOCUMENTACAO, adicionarDocsRaizExistentes, adicionarReadmesDeArquivos, caminhoEstaDentro, caminhoExiste, criarTemplateDoc, documentoPareceTemplateCriadoPelaSema, inferirCategorias, listarArquivosRecursivo, normalizarRelativo, normalizarTexto, resumoConteudo, termosRelacionamentoContratos } from "./docs.part01.js";
 export async function adicionarContratosRelacionados(baseProjeto, intencao, arquivosAlvo, registrar) {
     const pastaContratos = path.join(baseProjeto, "contratos");
@@ -55,17 +56,27 @@ export async function resolverDocumentacaoObrigatoria(opcoes) {
     }
     await adicionarReadmesDeArquivos(baseProjeto, arquivosAlvo, registrar);
     await adicionarContratosRelacionados(baseProjeto, intencao, arquivosAlvo, registrar);
-    const leituraObrigatoria = [];
-    for (const doc of docs) {
+    const documentosPreparados = await Promise.all(docs.map(async (doc) => {
         const caminho = path.resolve(baseProjeto, doc.relativo);
-        let existe = await caminhoExiste(caminho);
+        return {
+            doc,
+            caminho,
+            existe: await caminhoExiste(caminho),
+            template: criarTemplateDoc(doc, intencao, categorias, arquivosAlvo),
+        };
+    }));
+    if (documentosPreparados.length > 0) {
+        await validarDestinosEscritaWorkspace(baseProjeto, documentosPreparados.map(({ doc }) => doc.relativo));
+    }
+    const leituraObrigatoria = [];
+    for (const preparado of documentosPreparados) {
+        const { doc, caminho, template } = preparado;
+        let existe = preparado.existe;
         let criado = false;
-        const template = criarTemplateDoc(doc, intencao, categorias, arquivosAlvo);
         if (!existe && opcoes.criarAusentes && doc.permitirCriacao) {
-            await mkdir(path.dirname(caminho), { recursive: true });
-            await writeFile(caminho, template, "utf8");
+            const resultado = await escreverArquivoWorkspaceSeguro(baseProjeto, doc.relativo, template);
             existe = true;
-            criado = true;
+            criado = resultado.status === "criado";
         }
         const item = {
             caminho,

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/geracaoCore.js

@@ -13,6 +13,7 @@ import { gerarTypeScript } from "@sema/gerador-typescript";
 import { gerarJavaScript } from "@sema/gerador-javascript";
 import { gerarHtml } from "@sema/gerador-html";
 import { gerarCss } from "@sema/gerador-css";
+import { gerarPhp } from "@sema/gerador-php";
 import { comandoDisponivel, resolverExecucaoPytest, TSX_EXECUTOR_CLI } from "./execucoesExternas.js";
 import { resolverEstruturaSaidaPadrao, resolverFrameworkPadrao, } from "./projeto.js";
 export function validarCompatibilidadeFramework(alvo, framework) {
@@ -25,7 +26,7 @@ export function validarCompatibilidadeFramework(alvo, framework) {
     if (framework === "fastapi" && alvo !== "python") {
         return `Framework "${framework}" so pode ser usado com o alvo python.`;
     }
-    if (alvo === "dart" || alvo === "lua" || alvo === "javascript" || alvo === "html" || alvo === "css") {
+    if (alvo === "dart" || alvo === "lua" || alvo === "javascript" || alvo === "html" || alvo === "css" || alvo === "php") {
         return `Framework "${framework}" nao e suportado para o alvo ${alvo}.`;
     }
     return undefined;
@@ -147,6 +148,9 @@ export function gerarArquivosPorAlvo(ir, alvo, framework) {
     if (alvo === "css") {
         return gerarCss(ir);
     }
+    if (alvo === "php") {
+        return gerarPhp(ir);
+    }
     return gerarTypeScript(ir, { framework });
 }
 export function aplicarEstruturaSaida(arquivos, ir, estrutura) {
@@ -198,6 +202,13 @@ export function aplicarEstruturaSaida(arquivos, ir, estrutura) {
         else if (basename === `${nomeBaseAntigo}.css`) {
             novoBasename = `${nomeArquivo}.css`;
         }
+        else if (basename === `${nomeBaseAntigo}.php`) {
+            novoBasename = `${nomeArquivo}.php`;
+        }
+        else if (basename === `test_${nomeBaseAntigo}.php`) {
+            novoBasename = `test_${nomeArquivo}.php`;
+            conteudo = conteudo.replace(`/${nomeBaseAntigo}.php`, `/${nomeArquivo}.php`);
+        }
         return {
             caminhoRelativo: pastaModulo ? path.join(pastaModulo, novoBasename) : novoBasename,
             conteudo,
@@ -208,6 +219,13 @@ export function contarCasosDeTesteGerados(alvo, arquivos) {
     if (alvo === "dart" || alvo === "html" || alvo === "css") {
         return 0;
     }
+    if (alvo === "php") {
+        const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".php"));
+        if (!arquivoTeste) {
+            return 0;
+        }
+        return (arquivoTeste.conteudo.match(/\bfunction test_/g) ?? []).length;
+    }
     if (alvo === "lua") {
         const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".lua"));
         if (!arquivoTeste) {
@@ -239,7 +257,7 @@ export function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = fa
     const quantidadeTestes = contarCasosDeTesteGerados(alvo, arquivos);
     if (quantidadeTestes === 0) {
         if (!silencioso) {
-            const nomesAlvo = { typescript: "TypeScript", python: "Python", lua: "Lua", dart: "Dart", javascript: "JavaScript", html: "HTML", css: "CSS" };
+            const nomesAlvo = { typescript: "TypeScript", python: "Python", lua: "Lua", dart: "Dart", javascript: "JavaScript", html: "HTML", css: "CSS", php: "PHP" };
             console.log(`Nenhum teste ${nomesAlvo[alvo] ?? alvo} foi gerado.`);
         }
         return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
@@ -323,6 +341,35 @@ export function executarTestesGerados(alvo, baseSaida, arquivos, silencioso = fa
             saidaErro: typeof execucao.stderr === "string" ? execucao.stderr : "",
         };
     }
+    if (alvo === "php") {
+        const arquivoTeste = arquivos.find((item) => path.basename(item.caminhoRelativo).startsWith("test_") && item.caminhoRelativo.endsWith(".php"))?.caminhoRelativo;
+        if (!arquivoTeste) {
+            if (!silencioso) {
+                console.log("Nenhum teste PHP foi gerado.");
+            }
+            return { codigoSaida: 0, quantidadeTestes, saidaPadrao: "", saidaErro: "" };
+        }
+        if (!comandoDisponivel("php", ["-v"])) {
+            return {
+                codigoSaida: 1,
+                quantidadeTestes,
+                saidaPadrao: "",
+                saidaErro: "Nao foi possivel localizar o runner php para executar os testes gerados.",
+            };
+        }
+        const execucao = spawnSync("php", [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) {

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, 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|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

@@ -11,7 +11,7 @@ Importante:
 - 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, Dart, Lua, JavaScript, HTML e CSS
+- a Sema gera codigo e scaffolding real para TypeScript, Python, PHP, Dart, Lua, JavaScript, HTML e CSS
 - 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
@@ -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
@@ -54,12 +54,12 @@ Comandos essenciais:
 - 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|php|typescript|python|dart> <diretorio> --saida <diretorio>\`
 - exemplos oficiais no projeto: \`sema instalar-exemplos\`
-- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua|javascript|html|css> --saida <diretorio>\`
+- geracao de codigo: \`sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --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 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,9 +34,10 @@ 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|dart|lua|javascript|html|css> --saida <diretorio>",
+            "sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio>",
             "sema verificar <arquivo-ou-pasta> --json",
             "",
             "[2] Editar projeto que já usa Sema",
@@ -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", [
@@ -86,8 +87,8 @@ export function ajuda() {
             "importação: 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>] [--namespace <base>] [--json]",
             "validação: sema validar <arquivo-ou-pasta> [--json]",
             "diagnóstico: sema diagnosticos <arquivo.sema> [--json]",
-            "geração: sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart|lua|javascript|html|css> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
-            "teste local: sema testar <arquivo.sema> --alvo <typescript|python|dart|lua|javascript|html|css> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+            "geração: sema compilar <arquivo-ou-pasta> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
+            "teste local: sema testar <arquivo.sema> --alvo <typescript|python|php|dart|lua|javascript|html|css> --saida <diretorio-temporario> [--estrutura <flat|modulos|backend>] [--framework <base|nestjs|fastapi>]",
             "verificação final: sema verificar <arquivo-ou-pasta> [--saida <diretorio-base>] [--json]",
             "formatação: sema formatar <arquivo-ou-pasta> [--check] [--json]",
             "author: sema author <iniciar|validar|briefing|revisar-cliches|validar-narrativa|validar-proibicoes> [arquivo] [--tema-sensivel] [--preset conto|romance|roteiro|lore|campanha] [--saida <arquivo>] [--texto <texto>] [--json]",
@@ -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;