@semacode/cli 2.3.1 → 3.5.0

package/dist/index.part06.js

@@ -1,5 +1,5 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.governanca_ia.drift.cache.modos
+// Descrição: resume contrato ou projeto com política explícita de análise de drift.
 import { mkdir, readFile, stat, writeFile } from "node:fs/promises";
 import path from "node:path";
 import { compilarCodigo, formatarCodigo, formatarDiagnosticos, lerArquivoTexto, temErros, } from "@sema/nucleo";
@@ -13,7 +13,7 @@ import { carregarModulos } from './carregarModulos.js';
 import { obterOpcao, possuiFlag } from './cliArgs.js';
 import { EXEMPLOS_PROMPT_IA, PROMPT_BASE_IA, PROMPT_IA_REACT, PROMPT_IA_SEMA_PRIMEIRO, PROMPT_IA_UI, STARTER_IA } from './iaPrompts.js';
 import { aplicarEstruturaSaida, gerarArquivosPorAlvo, garantirIr, validarCompatibilidadeFramework, } from './geracaoCore.js';
-import { descobrirDocsIa, normalizarModoResumo, normalizarTamanhoResumo, renderizarCabecalhoDocsIa, renderizarCaixaAscii, renderizarSecaoAscii } from "./index.part01.js";
+import { descobrirDocsIa, normalizarModoResumo, normalizarTamanhoResumo, renderizarCabecalhoDocsIa, renderizarCaixaAscii, renderizarSecaoAscii, resolverAnaliseDriftConsultaCli } from "./index.part01.js";
 import { gerarResumoProjetoIa } from "./index.part04.js";
 import { carregarContextoModuloIa, gerarArquivosResumoModuloIa } from "./index.part03.js";
 import { coletarResumoSemanticoModulo, renderizarResumoModuloMarkdown, renderizarResumoModuloTexto } from "./index.part02.js";
@@ -121,7 +121,11 @@ export async function comandoStarterIa() {
     return 0;
 }
 export async function comandoSyncCodex(emJson) {
-    const resumoProjeto = await gerarResumoProjetoIa(process.cwd(), undefined, true);
+    const resumoProjeto = await gerarResumoProjetoIa(process.cwd(), undefined, true, {
+        modo: "fresh",
+        executar: true,
+        avisos: [],
+    });
     const exemplos = await materializarExemplosOficiais(resumoProjeto.baseProjeto, true);
     if (!exemplos.sucesso) {
         if (emJson) {
@@ -196,8 +200,8 @@ export async function comandoAjudaIa() {
     ]));
     console.log("");
     console.log(renderizarSecaoAscii("Capacidade de IA", [
-        "fraca: `sema resumo <arquivo> --micro --json` usa stdout compacto",
-        "média: `sema resumo <arquivo> --curto --json` + `sema drift <arquivo> --json`",
+        "fraca: `sema resumo <arquivo> --micro --drift none --json` usa stdout compacto sem inventar evidência de implementação",
+        "média: `sema resumo <arquivo> --curto --drift none --json` + `sema drift <arquivo> --cache fresh --json`",
         "forte: `sema contexto-ia <arquivo.sema> --saida <diretorio> --json` materializa o pacote completo",
     ]));
     console.log("");
@@ -208,14 +212,13 @@ export async function comandoAjudaIa() {
         "Use `sema interativo pipelines --json` para jogos, simulações e híbridos 3D, 2D, retro, texto, XR ou headless.",
         "Use `sema sync-codex` para regenerar o contexto governado do Codex na raiz.",
         "Use `sema instalar-exemplos` para materializar `exemplos/` oficiais sem sobrescrever arquivos locais.",
-        "Use `sema resumo <arquivo> --micro --para onboarding --json` para IA fraca; o resumo vem no stdout.",
-        "Use `--drift fresh|cache|none` em `resumo` para escolher análise nova, cache válido ou somente contratos; `--micro` usa `none` por padrão e os demais usam `fresh`.",
+        "Use `sema resumo <arquivo> --micro --para onboarding --drift none --json` para IA fraca; o resumo contratual vem no stdout e campos derivados ficam não avaliados.",
         "Se `sema resumo` ou outro gate estourar timeout local, aumente o timeout e tente de novo; timeout do agente nao e falha do Sema.",
         "Use `sema prompt-curto <arquivo> --curto --para mudanca` para colar contexto em modelo gratuito.",
         "Use `sema prompt-ia`, `sema prompt-ia-ui`, `sema prompt-ia-react` e `sema prompt-ia-sema-primeiro` conforme a tarefa.",
         "Use `sema exemplos-prompt-ia` para pegar modelos prontos de prompt.",
-        "Use `sema inspecionar` para descobrir base, codigo vivo e fontes legado.",
-        "Use `sema drift` para medir impls, vinculos, rotas, score e lacunas.",
+        "Use `sema inspecionar --drift none` para descobrir a superfície contratual sem executar drift implicitamente.",
+        "Use `sema drift --cache fresh` para medir impls, vínculos, rotas, score e lacunas no fechamento; cache é aceleração, não prova final.",
         "Use `sema docs-impacto --intencao <acao>` para ler ou criar docs obrigatorias antes de agir.",
         "Use `sema finalizar-mudanca --intencao <acao>` para bloquear conclusao sem leitura documental comprovada.",
         "Use `sema contexto-ia <arquivo.sema> --saida <diretorio> --json` para gerar AST, IR, drift, `briefing.json` e `briefing.min.json`.",
@@ -287,8 +290,10 @@ export async function comandoResumo(entrada, args, emJson) {
     const pastaSaida = obterOpcao(args, "--saida");
     const escreverNaRaiz = possuiFlag(args, "--raiz");
     const alvo = entrada ? path.resolve(process.cwd(), entrada) : process.cwd();
-    if (entrada && entrada.toLowerCase().endsWith(".sema")) {
-        const contexto = await carregarContextoModuloIa(alvo, args, tamanho === "micro" ? "none" : "fresh");
+    const analiseDrift = resolverAnaliseDriftConsultaCli(args, "resumo");
+    const alvoEhArquivo = (await stat(alvo)).isFile();
+    if (alvoEhArquivo) {
+        const contexto = await carregarContextoModuloIa(alvo, analiseDrift);
         const resumoSemantico = coletarResumoSemanticoModulo(contexto);
         const guiaPorCapacidade = criarGuiaCapacidadeIa();
         const texto = tamanho === "medio"
@@ -312,20 +317,28 @@ export async function comandoResumo(entrada, args, emJson) {
                 modulo: contexto.modulo,
                 pastaSaida: pastaResumo ?? null,
                 artefatosCompactos,
+                analiseDrift: {
+                    modo: contexto.drift.modo,
+                    executada: contexto.drift.executada,
+                    sucesso: contexto.drift.sucesso,
+                    aviso: contexto.drift.aviso,
+                    avisos: analiseDrift.avisos,
+                    cache: contexto.drift.drift?.escopo_aplicado.cache ?? null,
+                },
                 guiaPorCapacidade,
                 resumo: resumoSemantico,
                 texto,
             }, null, 2));
-            return 0;
+            return contexto.drift.sucesso === false ? 1 : 0;
         }
         if (pastaResumo) {
             console.log(`Resumo IA-first gerado em ${pastaResumo}`);
             console.log("");
         }
         console.log(texto);
-        return 0;
+        return contexto.drift.sucesso === false ? 1 : 0;
     }
-    const resumoProjeto = await gerarResumoProjetoIa(alvo, pastaSaida, escreverNaRaiz, args, tamanho === "micro" ? "none" : "fresh");
+    const resumoProjeto = await gerarResumoProjetoIa(alvo, pastaSaida, escreverNaRaiz, analiseDrift);
     const arquivoResumo = tamanho === "micro"
         ? "SEMA_BRIEF.micro.txt"
         : tamanho === "curto"
@@ -341,15 +354,19 @@ export async function comandoResumo(entrada, args, emJson) {
             baseProjeto: resumoProjeto.baseProjeto,
             pastaSaida: resumoProjeto.pastaSaida,
             artefatos: resumoProjeto.artefatos,
+            analiseDrift: {
+                ...resumoProjeto.analiseDrift,
+                avisos: analiseDrift.avisos,
+            },
             guiaPorCapacidade: resumoProjeto.guiaPorCapacidade,
             modulos: resumoProjeto.modulos,
             texto,
         }, null, 2));
-        return 0;
+        return resumoProjeto.analiseDrift.sucesso === false ? 1 : 0;
     }
     console.log(`Resumo IA-first do projeto gerado em ${resumoProjeto.pastaSaida}`);
     console.log("");
     console.log(texto);
-    return 0;
+    return resumoProjeto.analiseDrift.sucesso === false ? 1 : 0;
 }
 //# sourceMappingURL=index.part06.js.map

package/dist/index.part07.d.ts

@@ -1,9 +1,15 @@
 import { type AlvoGeracao, type FrameworkGeracao } from "@sema/padroes";
 import type { EstruturaSaida } from "./tipos.js";
+export interface OpcoesVerificar {
+    alvo?: string;
+    semCache?: boolean;
+}
+export declare function alvosSuportadosPelaStack(fontesLegado: string[] | undefined): AlvoGeracao[] | undefined;
+export declare function avisoEscopoStackVerificacao(fontesLegado: string[] | undefined, alvosEfetivos: AlvoGeracao[]): string | undefined;
 import { type ResumoModuloVerificacao } from './geracaoCore.js';
 export declare function comandoPromptCurto(entrada: string | undefined, args: string[], emJson: boolean): Promise<number>;
 export declare function comandoContextoIa(arquivo: string, pastaSaida: string | undefined, emJson: boolean): Promise<number>;
 export declare function comandoTestar(arquivo: string, alvo: AlvoGeracao, saida: string, estrutura: EstruturaSaida, framework: FrameworkGeracao): Promise<number>;
 export declare function imprimirResumoVerificacao(resumos: ResumoModuloVerificacao[]): void;
-export declare function comandoVerificar(entrada: string | undefined, baseSaida: string, cwd?: string): Promise<number>;
-export declare function comandoVerificarJson(entrada: string | undefined, baseSaida: string, cwd?: string): Promise<number>;
+export declare function comandoVerificar(entrada: string | undefined, baseSaida: string, cwd?: string, opcoes?: OpcoesVerificar): Promise<number>;
+export declare function comandoVerificarJson(entrada: string | undefined, baseSaida: string, cwd?: string, opcoes?: OpcoesVerificar): Promise<number>;

package/dist/index.part07.js

@@ -1,9 +1,56 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.governanca_ia.drift.cache.modos
+// Descrição: preserva modos explícitos nas superfícies auxiliares de contexto.
 import { readFile } from "node:fs/promises";
 import path from "node:path";
+import pacoteCli from "../package.json" with { type: "json" };
 import { compilarCodigo, formatarDiagnosticos, lerArquivoTexto, temErros, } from "@sema/nucleo";
 import { carregarProjeto, resolverAlvosVerificacao, } from "./projeto.js";
+import { SCHEMA_CACHE_VERIFICACAO, calcularChaveVerificacao, carregarCacheVerificacao, gravarCacheVerificacao, } from "./verificacaoCache.js";
+const FONTES_POR_ALVO_SUPORTADO = {
+    typescript: ["typescript", "javascript"],
+    javascript: ["typescript", "javascript"],
+    nestjs: ["typescript", "javascript"],
+    express: ["typescript", "javascript"],
+    fastify: ["typescript", "javascript"],
+    nextjs: ["typescript", "javascript"],
+    "nextjs-consumer": ["typescript", "javascript"],
+    "react-vite-consumer": ["typescript", "javascript"],
+    "angular-consumer": ["typescript", "javascript"],
+    firebase: ["typescript", "javascript"],
+    python: ["python"],
+    fastapi: ["python"],
+    flask: ["python"],
+    dart: ["dart"],
+    "flutter-consumer": ["dart"],
+    dotnet: ["dotnet"],
+    java: ["javascript"],
+    lua: ["lua"],
+    php: ["php"],
+    cpp: ["cpp"],
+};
+export function alvosSuportadosPelaStack(fontesLegado) {
+    if (!fontesLegado?.length) {
+        return undefined;
+    }
+    const suportados = new Set();
+    for (const fonte of fontesLegado) {
+        for (const alvo of FONTES_POR_ALVO_SUPORTADO[fonte] ?? []) {
+            suportados.add(alvo);
+        }
+    }
+    return suportados.size > 0 ? [...suportados] : undefined;
+}
+export function avisoEscopoStackVerificacao(fontesLegado, alvosEfetivos) {
+    const suportados = alvosSuportadosPelaStack(fontesLegado);
+    if (!suportados) {
+        return undefined;
+    }
+    const foraDaStack = alvosEfetivos.filter((alvo) => alvo !== "html" && alvo !== "css" && !suportados.includes(alvo));
+    if (foraDaStack.length === 0) {
+        return undefined;
+    }
+    return `Alvos fora da stack detectada (${(fontesLegado ?? []).join(", ")}): ${foraDaStack.join(", ")}. Considere reduzir "alvos" no sema.config.json, remover "fontesLegado" auto-declaradas ou usar --alvo unico.`;
+}
 import { escreverArquivos, formatarAvisoArtefatosGeradosAcimaDoLimite, } from './fsGovernado.js';
 import { obterOpcao } from './cliArgs.js';
 import { avaliarDependenciasVerificacao, imprimirFalhaDependenciasVerificacao } from './doctorCommand.js';
@@ -17,7 +64,11 @@ export async function comandoPromptCurto(entrada, args, emJson) {
     const modo = normalizarModoResumo(obterOpcao(args, "--para"));
     const alvo = entrada ? path.resolve(process.cwd(), entrada) : process.cwd();
     if (entrada && entrada.toLowerCase().endsWith(".sema")) {
-        const contexto = await carregarContextoModuloIa(alvo);
+        const contexto = await carregarContextoModuloIa(alvo, {
+            modo: "none",
+            executar: false,
+            avisos: [],
+        });
         const resumoSemantico = coletarResumoSemanticoModulo(contexto);
         const capacidade = tamanho === "micro" ? "fraca" : tamanho === "curto" ? "media" : "forte";
         const prompt = criarPromptCurtoModulo(resumoSemantico, modo, tamanho, capacidade);
@@ -150,7 +201,7 @@ export function imprimirResumoVerificacao(resumos) {
     }
     console.log(`Totais: modulos=${resumos.length} alvos=${totalAlvos} arquivos=${totalArquivos} testes=${totalTestes}`);
 }
-export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd()) {
+export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd(), opcoes = {}) {
     const contextoProjeto = await carregarProjeto(entrada, cwd);
     const modulos = contextoProjeto.modulosSelecionados;
     const diagnosticos = modulos.flatMap((item) => item.resultado.diagnosticos);
@@ -158,7 +209,13 @@ export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd())
         console.error(formatarDiagnosticos(diagnosticos));
         return 1;
     }
-    const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
+    const alvos = opcoes.alvo
+        ? [opcoes.alvo]
+        : resolverAlvosVerificacao(contextoProjeto.configCarregada);
+    const avisoEscopo = avisoEscopoStackVerificacao(contextoProjeto.configCarregada?.config.fontesLegado, alvos);
+    if (avisoEscopo) {
+        console.warn(avisoEscopo);
+    }
     const configuracoesAlvo = alvos.map((alvo) => ({
         alvo,
         ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
@@ -183,13 +240,55 @@ export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd())
             arquivoFonte: modulo.caminho,
             alvos: [],
         };
+        const conteudoContrato = await readFile(modulo.caminho, "utf8").catch(() => "");
         for (const configuracaoAlvo of configuracoesAlvo) {
             const { alvo, framework, estrutura } = configuracaoAlvo;
             const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
+            const chave = calcularChaveVerificacao({
+                versaoCli: pacoteCli.version,
+                versaoNode: process.versions.node ?? "",
+                modulo: ir.nome,
+                alvo,
+                framework: framework ?? "",
+                estrutura,
+                conteudoContrato,
+            });
+            const emCache = opcoes.semCache ? undefined : await carregarCacheVerificacao(chave, pastaAlvo);
+            if (emCache) {
+                resumoModulo.alvos.push({
+                    alvo,
+                    arquivosGerados: emCache.arquivosGerados.length,
+                    quantidadeTestes: emCache.quantidadeTestes,
+                    pastaSaida: pastaAlvo,
+                    sucesso: emCache.sucesso,
+                    framework,
+                    estrutura,
+                    testesExecutados: false,
+                    origem: "cache",
+                });
+                if (!emCache.sucesso) {
+                    imprimirResumoVerificacao([...resumos, resumoModulo]);
+                    console.error(`Falha registrada em cache na verificacao do modulo ${modulo.caminho} para o alvo ${alvo}.`);
+                    return 1;
+                }
+                continue;
+            }
             const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
             const escrita = await escreverArquivos(pastaAlvo, arquivos, { artefatoGerado: true });
             artefatosGeradosAcimaDoLimite.push(...escrita.artefatosGeradosAcimaDoLimite);
             const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework);
+            await gravarCacheVerificacao({
+                schemaVersion: SCHEMA_CACHE_VERIFICACAO,
+                chave,
+                versaoCli: pacoteCli.version,
+                alvo,
+                modulo: ir.nome,
+                sucesso: execucao.codigoSaida === 0,
+                quantidadeTestes: execucao.quantidadeTestes,
+                testesExecutados,
+                arquivosGerados: arquivos.map((arquivo) => arquivo.caminhoRelativo),
+                geradoEm: new Date().toISOString(),
+            });
             resumoModulo.alvos.push({
                 alvo,
                 arquivosGerados: arquivos.length,
@@ -199,6 +298,7 @@ export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd())
                 framework,
                 estrutura,
                 testesExecutados,
+                origem: "executado",
             });
             if (execucao.codigoSaida !== 0) {
                 imprimirResumoVerificacao([...resumos, resumoModulo]);
@@ -216,7 +316,7 @@ export async function comandoVerificar(entrada, baseSaida, cwd = process.cwd())
     console.log("Verificacao completa concluida com sucesso.");
     return 0;
 }
-export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd()) {
+export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd(), opcoes = {}) {
     const contextoProjeto = await carregarProjeto(entrada, cwd);
     const modulos = contextoProjeto.modulosSelecionados;
     const diagnosticos = modulos.flatMap((item) => item.resultado.diagnosticos);
@@ -230,7 +330,10 @@ export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd
         }, null, 2));
         return 1;
     }
-    const alvos = resolverAlvosVerificacao(contextoProjeto.configCarregada);
+    const alvos = opcoes.alvo
+        ? [opcoes.alvo]
+        : resolverAlvosVerificacao(contextoProjeto.configCarregada);
+    const avisoEscopo = avisoEscopoStackVerificacao(contextoProjeto.configCarregada?.config.fontesLegado, alvos);
     const configuracoesAlvo = alvos.map((alvo) => ({
         alvo,
         ...resolverConfiguracaoVerificacaoPorAlvo(alvo, contextoProjeto.configCarregada),
@@ -269,13 +372,54 @@ export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd
             alvos: [],
             saidaTestes: [],
         };
+        const conteudoContrato = await readFile(modulo.caminho, "utf8").catch(() => "");
         for (const configuracaoAlvo of configuracoesAlvo) {
             const { alvo, framework, estrutura } = configuracaoAlvo;
             const pastaAlvo = path.join(baseSaida, alvo, nomeSubpastaModulo(modulo.caminho));
+            const chave = calcularChaveVerificacao({
+                versaoCli: pacoteCli.version,
+                versaoNode: process.versions.node ?? "",
+                modulo: ir.nome,
+                alvo,
+                framework: framework ?? "",
+                estrutura,
+                conteudoContrato,
+            });
+            const emCache = opcoes.semCache ? undefined : await carregarCacheVerificacao(chave, pastaAlvo);
+            if (emCache) {
+                resumoModulo.alvos.push({
+                    alvo,
+                    arquivosGerados: emCache.arquivosGerados.length,
+                    quantidadeTestes: emCache.quantidadeTestes,
+                    pastaSaida: pastaAlvo,
+                    sucesso: emCache.sucesso,
+                    framework,
+                    estrutura,
+                    testesExecutados: false,
+                    origem: "cache",
+                });
+                resumoModulo.saidaTestes.push({ alvo, stdout: "", stderr: `resultado reutilizado do cache de verificacao (chave ${chave.slice(0, 12)})` });
+                if (!emCache.sucesso) {
+                    codigoSaida = 1;
+                }
+                continue;
+            }
             const arquivos = aplicarEstruturaSaida(gerarArquivosPorAlvo(ir, alvo, framework), ir, estrutura);
             const escrita = await escreverArquivos(pastaAlvo, arquivos, { artefatoGerado: true });
             artefatosGeradosAcimaDoLimite.push(...escrita.artefatosGeradosAcimaDoLimite);
             const { execucao, testesExecutados } = executarTestesParaVerificacao(alvo, pastaAlvo, arquivos, framework, true);
+            await gravarCacheVerificacao({
+                schemaVersion: SCHEMA_CACHE_VERIFICACAO,
+                chave,
+                versaoCli: pacoteCli.version,
+                alvo,
+                modulo: ir.nome,
+                sucesso: execucao.codigoSaida === 0,
+                quantidadeTestes: execucao.quantidadeTestes,
+                testesExecutados,
+                arquivosGerados: arquivos.map((arquivo) => arquivo.caminhoRelativo),
+                geradoEm: new Date().toISOString(),
+            });
             resumoModulo.alvos.push({
                 alvo,
                 arquivosGerados: arquivos.length,
@@ -285,6 +429,7 @@ export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd
                 framework,
                 estrutura,
                 testesExecutados,
+                origem: "executado",
             });
             resumoModulo.saidaTestes.push({ alvo, stdout: execucao.saidaPadrao, stderr: execucao.saidaErro });
             if (execucao.codigoSaida !== 0) {
@@ -302,6 +447,7 @@ export async function comandoVerificarJson(entrada, baseSaida, cwd = process.cwd
     console.log(JSON.stringify({
         comando: "verificar",
         sucesso: codigoSaida === 0,
+        avisoEscopo,
         modulos: resumos,
         totais,
         artefatosGeradosAcimaDoLimite,

package/dist/index.part08.d.ts

@@ -1 +1 @@
-export declare function principal(): Promise<void>;
+export declare function principal(): Promise<number>;

package/dist/index.part08.js

@@ -1,5 +1,5 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto
-// Descricao: CLI particionada; consulte contratos/sema/governanca_ia_contexto.sema antes de editar.
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.governanca_ia.drift.cache.modos, sema.produto.cli_invocacao_publica, sema.produto.cli_invocacao_publica.argumentos
+// Descrição: encaminha argumentos validados para as consultas e o comando de drift.
 import path from "node:path";
 import { carregarConfiguracaoProjeto, resolverAlvoPadrao, resolverEstruturaSaidaPadrao, resolverFrameworkPadrao, resolverSaidaPadrao, } from "./projeto.js";
 import { REGISTRO_COMANDOS } from "./comandos.js";
@@ -7,35 +7,34 @@ import { comandoIniciar, comandoInstalarExemplos } from './initCommand.js';
 import { obterOpcao, obterPosicionais, possuiFlag } from './cliArgs.js';
 import { comandoAuthor, comandoProfile, criarPayloadRulePacks, normalizarProfileGovernanca, renderizarRulePacksTexto } from './profileAuthorCommand.js';
 import { comandoDoctor } from './doctorCommand.js';
+import { erroArgumentoInvalido, erroComandoDesconhecido } from './cliControlError.js';
+import { validarSintaxeInvocacaoPublica } from './cliGrammar.js';
 import { normalizarFonteImportacao, normalizarTemplateIniciar, } from './geracaoCore.js';
-import { VERSAO_CLI, ajuda, obterArgumentos } from "./index.part01.js";
+import { obterArgumentos } from "./index.part01.js";
 import { comandoDocsImpacto, comandoFinalizarMudanca, comandoValidar, comandoValidarJson } from "./index.part04.js";
 import { comandoAst, comandoAstJson, comandoDrift, comandoImpacto, comandoImportar, comandoInspecionar, comandoIr, comandoIrJson, comandoRenomearSemantico } from "./index.part05.js";
 import { comandoAjudaIa, comandoCompilar, comandoDiagnosticos, comandoExemplosPromptIa, comandoFormatar, comandoPromptIa, comandoPromptIaReact, comandoPromptIaSemaPrimeiro, comandoPromptIaUi, comandoResumo, comandoStarterIa, comandoSyncCodex } from "./index.part06.js";
 import { comandoContextoIa, comandoPromptCurto, comandoTestar, comandoVerificar, comandoVerificarJson } from "./index.part07.js";
 export async function principal() {
+    const argvPublico = process.argv.slice(2);
+    const sintaxe = validarSintaxeInvocacaoPublica(argvPublico);
+    if (!sintaxe.dispatchPermitido)
+        return 0;
     const { comando, resto } = obterArgumentos();
-    const comandoCru = process.argv[2];
-    if (comandoCru === "--versao" || comandoCru === "--version" || comandoCru === "-v") {
-        console.log(VERSAO_CLI);
-        process.exit(0);
-    }
-    if (!comando || comandoCru === "--help" || comandoCru === "-h") {
-        console.log(ajuda());
-        process.exit(0);
-    }
-    const cwd = process.cwd();
+    if (!comando)
+        return 0;
     const posicionais = obterPosicionais(resto);
-    let codigoSaida = 0;
+    const modoJson = argvPublico.includes("--json");
+    const cwd = process.cwd();
     // --- Comandos registrados via REGISTRO_COMANDOS (guard, init, dev, sync) ---
     const handlerRegistrado = REGISTRO_COMANDOS[comando];
     if (handlerRegistrado) {
-        codigoSaida = await handlerRegistrado(posicionais, resto, possuiFlag(resto, "--json"));
-        process.exit(codigoSaida);
+        return handlerRegistrado(posicionais, resto, modoJson);
     }
+    let codigoSaida = 0;
     switch (comando) {
         case "iniciar":
-            codigoSaida = await comandoIniciar(cwd, normalizarTemplateIniciar(obterOpcao(resto, "--template")), { force: possuiFlag(resto, "--force") });
+            codigoSaida = await comandoIniciar(cwd, normalizarTemplateIniciar(obterOpcao(resto, "--template")), { force: possuiFlag(resto, "--force"), exemplosCompletos: possuiFlag(resto, "--com-exemplos") });
             break;
         case "author":
             codigoSaida = await comandoAuthor(posicionais, resto, possuiFlag(resto, "--json"));
@@ -58,13 +57,13 @@ export async function principal() {
             break;
         case "ast":
             codigoSaida = possuiFlag(resto, "--json")
-                ? await comandoAstJson(resto[0] ?? "")
-                : await comandoAst(resto[0] ?? "");
+                ? await comandoAstJson(posicionais[0] ?? "")
+                : await comandoAst(posicionais[0] ?? "");
             break;
         case "ir":
             codigoSaida = possuiFlag(resto, "--json")
-                ? await comandoIrJson(resto[0] ?? "")
-                : await comandoIr(resto[0] ?? "");
+                ? await comandoIrJson(posicionais[0] ?? "")
+                : await comandoIr(posicionais[0] ?? "");
             break;
         case "compilar":
             {
@@ -101,8 +100,8 @@ export async function principal() {
             break;
         case "verificar":
             codigoSaida = possuiFlag(resto, "--json")
-                ? await comandoVerificarJson(posicionais[0], resolverSaidaPadrao(obterOpcao(resto, "--saida", "./.tmp/sema-verificar"), "typescript", await carregarConfiguracaoProjeto(posicionais[0] ? path.resolve(cwd, posicionais[0]) : cwd)), cwd)
-                : await comandoVerificar(posicionais[0], resolverSaidaPadrao(obterOpcao(resto, "--saida", "./.tmp/sema-verificar"), "typescript", await carregarConfiguracaoProjeto(posicionais[0] ? path.resolve(cwd, posicionais[0]) : cwd)), cwd);
+                ? await comandoVerificarJson(posicionais[0], resolverSaidaPadrao(obterOpcao(resto, "--saida", "./.tmp/sema-verificar"), "typescript", await carregarConfiguracaoProjeto(posicionais[0] ? path.resolve(cwd, posicionais[0]) : cwd)), cwd, { alvo: obterOpcao(resto, "--alvo"), semCache: possuiFlag(resto, "--sem-cache") })
+                : await comandoVerificar(posicionais[0], resolverSaidaPadrao(obterOpcao(resto, "--saida", "./.tmp/sema-verificar"), "typescript", await carregarConfiguracaoProjeto(posicionais[0] ? path.resolve(cwd, posicionais[0]) : cwd)), cwd, { alvo: obterOpcao(resto, "--alvo"), semCache: possuiFlag(resto, "--sem-cache") });
             break;
         case "inspecionar":
             codigoSaida = await comandoInspecionar(posicionais[0], possuiFlag(resto, "--json"), cwd, resto);
@@ -120,9 +119,7 @@ export async function principal() {
             {
                 const fonte = normalizarFonteImportacao(posicionais[0]);
                 if (!fonte || !posicionais[1]) {
-                    console.error("Uso: 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]");
-                    codigoSaida = 1;
-                    break;
+                    throw erroArgumentoInvalido();
                 }
                 codigoSaida = await comandoImportar(fonte, path.resolve(cwd, posicionais[1]), path.resolve(cwd, obterOpcao(resto, "--saida", "./sema/importado")), obterOpcao(resto, "--namespace"), possuiFlag(resto, "--json"));
             }
@@ -176,10 +173,8 @@ export async function principal() {
             codigoSaida = await comandoContextoIa(posicionais[0] ?? "", obterOpcao(resto, "--saida"), possuiFlag(resto, "--json"));
             break;
         default:
-            console.log(ajuda());
-            codigoSaida = 1;
-            break;
+            throw erroComandoDesconhecido();
     }
-    process.exit(codigoSaida);
+    return codigoSaida;
 }
 //# sourceMappingURL=index.part08.js.map

package/dist/initCommand.d.ts

@@ -1,5 +1,6 @@
 import { type TemplateIniciar } from "./initTemplatesBase.js";
 export declare function comandoIniciar(cwd: string, template: TemplateIniciar, opcoes?: {
     force?: boolean;
+    exemplosCompletos?: boolean;
 }): Promise<number>;
 export declare function comandoInstalarExemplos(emJson: boolean): Promise<number>;

package/dist/initCommand.js

@@ -4,14 +4,18 @@ import * as fs from "node:fs";
 import path from "node:path";
 import { escreverArquivos } from "./fsGovernado.js";
 import { arquivosTemplateIniciar } from "./initTemplatesBase.js";
-import { materializarExemplosOficiais, planejarExemplosOficiais } from "./exemplosOficiais.js";
+import { materializarExemplosOficiais, normalizarCaminhoExemplo, planejarExemplosOficiais } from "./exemplosOficiais.js";
 import { validarDestinosEscritaWorkspace } from "./workspaceWrite.js";
 async function sincronizarKitIaInicial(cwd) {
     const [{ gerarResumoProjetoIa }, { sincronizarEntrypointCodex }] = await Promise.all([
         import("./index.part04.js"),
         import("./agentEntryPoints.js"),
     ]);
-    const resumoProjeto = await gerarResumoProjetoIa(cwd, undefined, true);
+    const resumoProjeto = await gerarResumoProjetoIa(cwd, undefined, true, {
+        modo: "fresh",
+        executar: true,
+        avisos: [],
+    });
     const indexJson = JSON.parse(fs.readFileSync(path.join(resumoProjeto.pastaSaida, "SEMA_INDEX.json"), "utf8"));
     const codex = await sincronizarEntrypointCodex(resumoProjeto.baseProjeto, indexJson.agentContextPack);
     return {
@@ -22,6 +26,12 @@ async function sincronizarKitIaInicial(cwd) {
         codex,
     };
 }
+const EXEMPLOS_STARTER_INICIAR = new Set([
+    "exemplos/crud_simples.sema",
+    "exemplos/cadastro_usuario.sema",
+    "exemplos/pedido.sema",
+    "exemplos/autenticacao.sema",
+]);
 export async function comandoIniciar(cwd, template, opcoes = {}) {
     const arquivos = arquivosTemplateIniciar(template);
     const planoExemplos = await planejarExemplosOficiais();
@@ -29,6 +39,9 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
         console.error("Diretorio de exemplos oficiais nao foi encontrado no pacote da CLI.");
         return 1;
     }
+    const exemplosIniciar = opcoes.exemplosCompletos
+        ? planoExemplos.arquivos
+        : planoExemplos.arquivos.filter((arquivo) => EXEMPLOS_STARTER_INICIAR.has(normalizarCaminhoExemplo(arquivo.caminhoRelativo)));
     const [{ ARQUIVOS_RESUMO_PROJETO_IA }, { listarDestinosEntrypointCodex }] = await Promise.all([
         import("./index.part04.js"),
         import("./agentEntryPoints.js"),
@@ -36,7 +49,7 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
     const caminhosTemplate = new Set(arquivos.map((arquivo) => arquivo.caminhoRelativo));
     const destinos = await validarDestinosEscritaWorkspace(cwd, [
         ...caminhosTemplate,
-        ...planoExemplos.arquivos.map((arquivo) => arquivo.caminhoRelativo),
+        ...exemplosIniciar.map((arquivo) => arquivo.caminhoRelativo),
         ...ARQUIVOS_RESUMO_PROJETO_IA,
         ...listarDestinosEntrypointCodex("AGENTS.md"),
     ]);
@@ -47,7 +60,7 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
         ? arquivos
         : arquivos.filter((arquivo) => !existentes.has(arquivo.caminhoRelativo));
     await escreverArquivos(cwd, arquivosParaEscrever, { inserirCabecalhoGovernado: true });
-    const exemplos = await materializarExemplosOficiais(cwd, true);
+    const exemplos = await materializarExemplosOficiais(cwd, true, opcoes.exemplosCompletos ? undefined : EXEMPLOS_STARTER_INICIAR);
     if (!exemplos.sucesso) {
         console.error(exemplos.erro);
         return 1;
@@ -63,6 +76,9 @@ export async function comandoIniciar(cwd, template, opcoes = {}) {
     console.log(`Projeto Sema inicializado com template ${template}.`);
     console.log(`Arquivos do projeto: ${arquivosParaEscrever.length} escritos, ${opcoes.force ? 0 : existentes.size} preservados.`);
     console.log(`Exemplos oficiais sincronizados em ${exemplos.destino} (${exemplos.criados.length} criados, ${exemplos.preservados.length} preservados).`);
+    if (!opcoes.exemplosCompletos) {
+        console.log("Starter de exemplos instalado; rode sema instalar-exemplos ou sema iniciar --com-exemplos para o pacote completo.");
+    }
     console.log(`Kit IA Codex-native sincronizado (${kitIa.artefatos.length} artefatos; entrypoint ${kitIa.codex.entrypointCodex}; ${kitIa.codex.criados.length} criados, ${kitIa.codex.atualizados.length} atualizados, ${kitIa.codex.preservados.length} preservados).`);
     return 0;
 }

package/dist/initTemplatesBase.js

@@ -1,4 +1,4 @@
-// SEMA-GOVERNED: sema.produto.cli_init_templates
+// SEMA-GOVERNED: sema.produto.cli_init_templates, sema.produto.governanca_ia.drift.cache.modos
 // Descrição: contrato base e dispatcher dos templates Codex-native de inicialização.
 import { arquivosInitTemplatesBackend } from "./initTemplatesBackend.js";
 import { arquivosInitTemplatesWeb } from "./initTemplatesWeb.js";
@@ -73,13 +73,15 @@ Este projeto foi inicializado com Sema.
 Antes de alterar codigo, contrato ou documentacao:
 
 1. leia \`AGENTS.md\`;
-2. rode \`sema --version\`;
-3. rode \`sema resumo\`;
+2. rode \`sema --version\`; se o shell não localizar o comando, use \`$HOME/.sema/bin/sema\` no macOS/Linux; no Windows, PowerShell usa \`sema.ps1\` no PATH, cmd.exe usa \`sema.cmd\`, e o fallback absoluto é \`& "$env:SystemRoot\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" -NoLogo -NoProfile -NonInteractive -ExecutionPolicy Bypass -File "$HOME\\.sema\\bin\\sema-managed.ps1" --version\`;
+3. rode \`sema resumo --drift none\` para contexto contratual; score, confiança e implementação ficam não avaliados;
 4. rode \`sema docs-impacto --intencao "<acao>" --json\`;
 5. leia \`docs/commands.md\` antes de escolher comando ou interpretar \`--saida\`;
 6. use \`sema descobrir recomendar --intencao "<objetivo>" --json\` quando não souber qual capacidade ou pipeline aplicar;
 7. use \`exemplos/\` e \`docs/syntax.md\` antes de criar ou corrigir \`.sema\`.
 
+Quando precisar comprovar o código vivo, rode \`sema drift <contrato.sema> --escopo modulo --cache fresh --json\`. Cache acelera navegação, mas não é prova final de fechamento.
+
 ## Estrutura criada
 
 - \`contratos/\`: contratos semanticamente governados.
@@ -117,7 +119,7 @@ export function arquivosTemplateIniciar(template) {
         ?? [
             {
                 caminhoRelativo: "sema.config.json",
-                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\", \"python\", \"php\", \"dart\", \"lua\", \"html\", \"css\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\",\n    \"dotnet\": \"./generated/dotnet\",\n    \"cpp\": \"./generated/cpp\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
+                conteudo: "{\n  \"origens\": [\"./contratos\"],\n  \"saida\": \"./generated\",\n  \"alvos\": [\"typescript\", \"javascript\"],\n  \"alvoPadrao\": \"typescript\",\n  \"estruturaSaida\": \"modulos\",\n  \"framework\": \"base\",\n  \"modoEstrito\": true,\n  \"diretoriosSaidaPorAlvo\": {\n    \"typescript\": \"./generated/typescript\",\n    \"javascript\": \"./generated/javascript\",\n    \"python\": \"./generated/python\",\n    \"php\": \"./generated/php\",\n    \"dart\": \"./generated/dart\",\n    \"lua\": \"./generated/lua\",\n    \"html\": \"./generated/html\",\n    \"css\": \"./generated/css\",\n    \"dotnet\": \"./generated/dotnet\",\n    \"cpp\": \"./generated/cpp\"\n  },\n  \"convencoesGeracaoPorProjeto\": \"base\"\n}\n",
             },
             ...arquivosBase,
         ];

package/dist/pipelineConteudo/command.d.ts

@@ -1,3 +1,4 @@
+export { criarAjudaPipelineConteudo } from "./help.js";
 import { HEAD_GENESIS_LEDGER_CONTEUDO } from "./ledger.js";
 export declare function comandoPipelineConteudo(_posicionaisGlobais: string[], args: string[], emJson: boolean): Promise<number>;
 export { HEAD_GENESIS_LEDGER_CONTEUDO };