@semacode/cli 2.3.1 → 3.0.0

package/dist/index.part03.js

@@ -8,7 +8,6 @@ import { criarEntradaCanonicaProjeto } from './agentContext.js';
 import { renderizarSemaBoot, renderizarSemaSmallModel, } from './agentEntryPoints.js';
 import { escreverArquivoWorkspaceSeguro, validarDestinosEscritaWorkspace } from './workspaceWrite.js';
 import { resumirListaTexto } from './textoListas.js';
-import { criarResultadoDriftNaoExecutado, resolverAnaliseDriftCli, } from "./index.part01.js";
 import { coletarResumoSemanticoModulo, criarBriefingMinimo, criarPromptCurtoModulo, renderizarResumoModuloMarkdown, renderizarResumoModuloTexto } from "./index.part02.js";
 export function renderizarResumoProjetoMarkdown(geradoEm, modulos, guiaPorCapacidade) {
     const entradaCanonica = criarEntradaCanonicaProjeto(guiaPorCapacidade);
@@ -83,7 +82,7 @@ export function renderizarResumoProjetoMarkdown(geradoEm, modulos, guiaPorCapaci
         linhas.push(`- Faz: ${modulo.faz}`);
         linhas.push(`- Publico: ${resumirListaTexto(modulo.superficiesPublicas, 4)}`);
         linhas.push(`- Tocar: ${resumirListaTexto(modulo.arquivosProvaveis, 4)}`);
-        linhas.push(`- Score: ${modulo.scoreSemantico} | Confianca: ${modulo.confiancaGeral} | Risco: ${modulo.riscoOperacional}`);
+        linhas.push(`- Score: ${modulo.scoreSemantico ?? "não avaliado"} | Confiança: ${modulo.confiancaGeral ?? "não avaliada"} | Risco: ${modulo.riscoOperacional}`);
         linhas.push(`- Lacunas: ${resumirListaTexto(modulo.lacunas, 4)}`);
         linhas.push("");
     }
@@ -249,16 +248,74 @@ export function criarBriefingAgente(arquivo, modulo, ir, resumoDrift, resultadoD
         ancoragensVinculo: resumoDrift.ancoragensVinculo,
         testesMinimos: [
             "sema validar <arquivo> --json",
-            "sema drift <arquivo> --json",
+            "sema drift <arquivo> --cache fresh --json",
             "sema verificar <arquivo-ou-pasta> --json",
         ],
     };
 }
-export async function carregarContextoModuloIa(arquivoEntrada, args = [], modoDriftPadrao = "fresh") {
+export function criarBriefingAgenteContratos(arquivo, modulo, ir) {
+    const vinculos = ir
+        ? [
+            ...ir.vinculos,
+            ...ir.tasks.flatMap((task) => task.vinculos),
+            ...ir.flows.flatMap((flow) => flow.vinculos),
+            ...ir.routes.flatMap((route) => route.vinculos),
+            ...ir.superficies.flatMap((superficie) => superficie.vinculos),
+        ]
+        : [];
+    const arquivosDeclarados = [...new Set(vinculos.flatMap((vinculo) => [
+            vinculo.arquivo,
+            vinculo.tipo === "arquivo" ? vinculo.valor : undefined,
+        ]).filter((valor) => Boolean(valor)))]
+        .sort((a, b) => a.localeCompare(b, "pt-BR"));
+    const simbolosDeclarados = [...new Set(vinculos
+            .map((vinculo) => vinculo.simbolo)
+            .filter((valor) => Boolean(valor)))]
+        .sort((a, b) => a.localeCompare(b, "pt-BR"));
+    return {
+        arquivo,
+        modulo,
+        perfilCompatibilidade: ir?.perfilCompatibilidade ?? "interno",
+        scoreSemantico: null,
+        confiancaGeral: null,
+        riscosPrincipais: [...new Set(ir?.resumoAgente.riscos ?? [])],
+        oQueTocar: arquivosDeclarados,
+        arquivosProvaveisEditar: arquivosDeclarados,
+        oQueValidar: [...new Set([
+                ...(ir?.resumoAgente.checks ?? []),
+                ...(ir?.tasks.flatMap((task) => task.resumoAgente.checks) ?? []),
+                "executar drift antes de concluir sobre a implementação",
+            ])],
+        oQueEstaFrouxo: [],
+        oQueFoiInferido: ["modo_contratos_apenas", "implementacao_nao_verificada"],
+        simbolosRelacionados: simbolosDeclarados,
+        superficiesImpactadas: [
+            ...(ir?.routes.map((route) => `${route.metodo ?? "?"} ${route.caminho ?? route.nome}`) ?? []),
+            ...(ir?.superficies.map((superficie) => `${superficie.tipo}:${superficie.nome}`) ?? []),
+        ],
+        consumerFramework: null,
+        appRoutes: [],
+        consumerSurfaces: [],
+        consumerBridges: [],
+        ancoragensVinculo: [],
+        testesMinimos: [
+            "sema validar <arquivo> --json",
+            "sema drift <arquivo> --cache fresh --json",
+        ],
+    };
+}
+const ANALISE_DRIFT_PADRAO_CONTEXTO = {
+    modo: "fresh",
+    executar: true,
+    avisos: [],
+};
+export async function carregarContextoModuloIa(arquivoEntrada, analiseDrift = ANALISE_DRIFT_PADRAO_CONTEXTO) {
     const arquivo = path.resolve(arquivoEntrada);
     garantirArquivoSema(arquivo);
-    const analiseDrift = resolverAnaliseDriftCli(args, modoDriftPadrao);
-    const contextoProjeto = await carregarProjeto(arquivo, process.cwd(), { escopo: analiseDrift.opcoes.escopo });
+    const contextoProjeto = await carregarProjeto(arquivo, process.cwd(), {
+        escopo: "modulo",
+        adiarDescobertaCodigo: true,
+    });
     const resultadoModulo = contextoProjeto.modulosSelecionados.find((item) => path.resolve(item.caminho) === arquivo)?.resultado;
     if (!resultadoModulo) {
         falharContextoIa(`Nao foi possivel encontrar o modulo correspondente ao arquivo ${arquivo}.`);
@@ -266,20 +323,27 @@ export async function carregarContextoModuloIa(arquivoEntrada, args = [], modoDr
     const sucesso = !temErros(resultadoModulo.diagnosticos);
     const modulo = resultadoModulo.modulo?.nome ?? path.basename(arquivo, ".sema");
     const geradoEm = new Date().toISOString();
-    const resultadoDrift = analiseDrift.modo === "none"
-        ? criarResultadoDriftNaoExecutado(contextoProjeto, analiseDrift.opcoes)
-        : await analisarDriftLegado(contextoProjeto, analiseDrift.opcoes);
+    const resultadoDrift = analiseDrift.executar
+        ? await analisarDriftLegado(contextoProjeto, {
+            escopo: "modulo",
+            modoCache: analiseDrift.modo,
+            avisosModoCache: analiseDrift.avisos,
+        })
+        : null;
+    const resumoDrift = resultadoDrift
+        ? resumirDriftPorModulo(resultadoModulo.modulo?.nome ?? null, arquivo, resultadoDrift)
+        : null;
     const drift = {
         comando: "drift",
         caminho: arquivo,
         modulo: resultadoModulo.modulo?.nome ?? null,
-        sucesso: resultadoDrift.sucesso,
-        modoAnalise: analiseDrift.modo,
-        executado: analiseDrift.modo !== "none",
-        aviso: analiseDrift.modo === "none"
-            ? "Análise de drift não executada; nenhuma conclusão sobre o código foi produzida."
-            : null,
-        resumo: resumirDriftPorModulo(resultadoModulo.modulo?.nome ?? null, arquivo, resultadoDrift),
+        modo: analiseDrift.modo,
+        executada: analiseDrift.executar,
+        sucesso: resultadoDrift?.sucesso ?? null,
+        aviso: analiseDrift.executar
+            ? null
+            : "Análise de drift não executada; implementação, vínculos e rotas não foram verificados.",
+        resumo: resumoDrift,
         drift: resultadoDrift,
     };
     const validar = {
@@ -316,7 +380,9 @@ export async function carregarContextoModuloIa(arquivoEntrada, args = [], modoDr
         diagnosticos: resultadoModulo.diagnosticos,
         ir: resultadoModulo.ir ?? null,
     };
-    const briefing = criarBriefingAgente(arquivo, modulo, resultadoModulo.ir ?? null, drift.resumo, resultadoDrift);
+    const briefing = resultadoDrift && resumoDrift
+        ? criarBriefingAgente(arquivo, modulo, resultadoModulo.ir ?? null, resumoDrift, resultadoDrift)
+        : criarBriefingAgenteContratos(arquivo, modulo, resultadoModulo.ir ?? null);
     return {
         arquivo,
         modulo,
@@ -330,8 +396,6 @@ export async function carregarContextoModuloIa(arquivoEntrada, args = [], modoDr
         irJson: ir,
         drift,
         briefing,
-        modoVerificacaoCodigo: analiseDrift.modo === "none" ? "contratos_apenas" : undefined,
-        fontesConclusao: analiseDrift.modo === "none" ? ["contrato"] : undefined,
     };
 }
 export const ARQUIVOS_RESUMO_MODULO_IA = [

package/dist/index.part04.d.ts

@@ -1,7 +1,8 @@
 import { type GuiaCapacidadeIaMap } from './agentContextTipos.js';
-import { ContextoIaGerado, ResumoSemanticoModuloIa, type ModoAnaliseDriftCli } from "./index.part01.js";
+import { ContextoIaGerado, ResumoSemanticoModuloIa, type ResultadoDriftIa } from "./index.part01.js";
+import type { ResolucaoModoCacheDrift } from "./driftCacheModes.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, args?: string[], modoDriftPadrao?: ModoAnaliseDriftCli): Promise<{
+export declare function gerarResumoProjetoIa(entrada: string | undefined, pastaSaidaOpcional?: string, escreverNaRaiz?: boolean, analiseDrift?: ResolucaoModoCacheDrift): Promise<{
     geradoEm: string;
     baseProjeto: string;
     pastaSaida: string;
@@ -9,6 +10,13 @@ export declare function gerarResumoProjetoIa(entrada: string | undefined, pastaS
     artefatos: string[];
     modulos: ResumoSemanticoModuloIa[];
     guiaPorCapacidade: GuiaCapacidadeIaMap;
+    analiseDrift: {
+        modo: ResolucaoModoCacheDrift["modo"];
+        executada: boolean;
+        sucesso: boolean | null;
+        aviso: string | null;
+        cache: ResultadoDriftIa["escopo_aplicado"]["cache"] | null;
+    };
 }>;
 export declare function gerarContextoIa(arquivoEntrada: string, pastaSaidaOpcional?: string): Promise<ContextoIaGerado>;
 export declare function resolverEntradaDocs(posicionais: string[], args: string[]): {

package/dist/index.part04.js

@@ -1,4 +1,4 @@
-// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.escrita_segura_workspace
+// SEMA-GOVERNED: sema.governanca_ia_contexto, sema.produto.escrita_segura_workspace, sema.produto.governanca_ia.drift.cache.modos
 // Descrição: gera contexto local e grava artefatos somente dentro da base validada.
 import { mkdir } from "node:fs/promises";
 import path from "node:path";
@@ -16,9 +16,9 @@ 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, criarResultadoDriftNaoExecutado, resolverAnaliseDriftCli, } from "./index.part01.js";
+import { VERSAO_CLI } from "./index.part01.js";
 import { coletarResumoSemanticoModulo, descreverFontesConclusao, detectarFontesConclusaoSnapshot, detectarModoVerificacaoCodigo } from "./index.part02.js";
-import { ARQUIVOS_RESUMO_MODULO_IA, carregarContextoModuloIa, criarBriefingAgente, gerarArquivosResumoModuloIa, renderizarResumoProjetoMarkdown, resumirDriftPorModulo } from "./index.part03.js";
+import { ARQUIVOS_RESUMO_MODULO_IA, carregarContextoModuloIa, criarBriefingAgente, criarBriefingAgenteContratos, gerarArquivosResumoModuloIa, renderizarResumoProjetoMarkdown, resumirDriftPorModulo } from "./index.part03.js";
 export const ARQUIVOS_RESUMO_PROJETO_IA = [
     ARQUIVO_SEMA_BOOT,
     ARQUIVO_SEMA_SMALL_MODEL,
@@ -53,26 +53,36 @@ function escolherTopArquivosResumo(modulos, arquivosCodigoDetectados) {
     }
     return { arquivos: [], fonte: "nenhum" };
 }
-export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escreverNaRaiz = false, args = [], modoDriftPadrao = "fresh") {
-    const contextoProjeto = await carregarProjeto(entrada, process.cwd());
+export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escreverNaRaiz = false, analiseDrift = { modo: "none", executar: false, avisos: [] }) {
+    const contextoProjeto = await carregarProjeto(entrada, process.cwd(), {
+        escopo: "projeto",
+        adiarDescobertaCodigo: !analiseDrift.executar,
+    });
     const geradoEm = new Date().toISOString();
     const guiaPorCapacidade = criarGuiaCapacidadeIa();
     const entradaCanonica = criarEntradaCanonicaProjeto(guiaPorCapacidade);
     const agentContextPack = entradaCanonica.agentContextPack;
-    const analiseDrift = resolverAnaliseDriftCli(args, modoDriftPadrao);
-    const modoVerificacaoCodigo = analiseDrift.modo === "none"
-        ? "contratos_apenas"
-        : await detectarModoVerificacaoCodigo(contextoProjeto.baseProjeto, contextoProjeto.diretoriosCodigo);
-    const fontesConclusao = analiseDrift.modo === "none"
-        ? ["contrato"]
-        : await detectarFontesConclusaoSnapshot(contextoProjeto.baseProjeto);
-    const resultadoDrift = analiseDrift.modo === "none"
-        ? criarResultadoDriftNaoExecutado(contextoProjeto, analiseDrift.opcoes)
-        : await analisarDriftLegado(contextoProjeto, analiseDrift.opcoes);
+    const modoVerificacaoCodigo = analiseDrift.executar
+        ? await detectarModoVerificacaoCodigo(contextoProjeto.baseProjeto, contextoProjeto.diretoriosCodigo)
+        : "contratos_apenas";
+    const fontesConclusao = analiseDrift.executar
+        ? await detectarFontesConclusaoSnapshot(contextoProjeto.baseProjeto)
+        : ["contrato"];
+    const resultadoDrift = analiseDrift.executar
+        ? await analisarDriftLegado(contextoProjeto, {
+            escopo: "projeto",
+            modoCache: analiseDrift.modo,
+            avisosModoCache: analiseDrift.avisos,
+        })
+        : null;
     const modulos = contextoProjeto.modulosSelecionados.map((item) => {
         const modulo = item.resultado.modulo?.nome ?? path.basename(item.caminho, ".sema");
-        const driftResumo = resumirDriftPorModulo(modulo, item.caminho, resultadoDrift);
-        const briefing = criarBriefingAgente(item.caminho, modulo, item.resultado.ir ?? null, driftResumo, resultadoDrift);
+        const driftResumo = resultadoDrift
+            ? resumirDriftPorModulo(modulo, item.caminho, resultadoDrift)
+            : null;
+        const briefing = resultadoDrift && driftResumo
+            ? criarBriefingAgente(item.caminho, modulo, item.resultado.ir ?? null, driftResumo, resultadoDrift)
+            : criarBriefingAgenteContratos(item.caminho, modulo, item.resultado.ir ?? null);
         return coletarResumoSemanticoModulo({
             arquivo: item.caminho,
             modulo,
@@ -83,12 +93,12 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
                 comando: "drift",
                 caminho: item.caminho,
                 modulo,
-                sucesso: resultadoDrift.sucesso,
-                modoAnalise: analiseDrift.modo,
-                executado: analiseDrift.modo !== "none",
-                aviso: analiseDrift.modo === "none"
-                    ? "Análise de drift não executada; nenhuma conclusão sobre o código foi produzida."
-                    : null,
+                modo: analiseDrift.modo,
+                executada: analiseDrift.executar,
+                sucesso: resultadoDrift?.sucesso ?? null,
+                aviso: analiseDrift.executar
+                    ? null
+                    : "Análise de drift não executada; implementação, vínculos e rotas não foram verificados.",
                 resumo: driftResumo,
                 drift: resultadoDrift,
             },
@@ -96,7 +106,7 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
             fontesConclusao,
         });
     });
-    const arquivosCodigoDetectados = modoVerificacaoCodigo === "codigo_completo"
+    const arquivosCodigoDetectados = analiseDrift.executar && modoVerificacaoCodigo === "codigo_completo"
         ? await listarTopArquivosCodigoDetectados(contextoProjeto.diretoriosCodigo)
         : [];
     const topArquivosResumo = escolherTopArquivosResumo(modulos, arquivosCodigoDetectados);
@@ -117,6 +127,15 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
         cliVersao: VERSAO_CLI,
         baseProjeto,
         modoVerificacaoCodigo,
+        analiseDrift: {
+            modo: analiseDrift.modo,
+            executada: analiseDrift.executar,
+            sucesso: resultadoDrift?.sucesso ?? null,
+            aviso: analiseDrift.executar
+                ? null
+                : "Análise de drift não executada; o resumo contém somente evidência contratual.",
+            cache: resultadoDrift?.escopo_aplicado.cache ?? null,
+        },
         fontesConclusao,
         conclusoesPorFonte: descreverFontesConclusao(fontesConclusao, modoVerificacaoCodigo),
         totalModulos: modulos.length,
@@ -130,6 +149,7 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
         `PROJETO: ${path.basename(baseProjeto)}`,
         `MODULOS: ${modulos.length}`,
         `MODO_CODIGO: ${modoVerificacaoCodigo}`,
+        `RESULTADO_DRIFT: ${resultadoDrift ? (resultadoDrift.sucesso ? "sucesso" : "falha") : "não avaliado"}`,
         `FONTES_CONCLUSAO: ${resumirListaTexto(fontesConclusao, 4)}`,
         `ENTRADA_IA: ${entradaCanonica.porCapacidade.fraca.join(" -> ")}`,
         `POLITICA_PLATAFORMA: Sema governa projeto e nao contorna politicas da plataforma; se houver alerta externo, pare e explique sem burlar filtro`,
@@ -150,6 +170,7 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
         `BASE: ${baseProjeto}`,
         `MODULOS: ${modulos.length}`,
         `MODO_CODIGO: ${modoVerificacaoCodigo}`,
+        `RESULTADO_DRIFT: ${resultadoDrift ? (resultadoDrift.sucesso ? "sucesso" : "falha") : "não avaliado"}`,
         ...(modoVerificacaoCodigo === "contratos_apenas"
             ? ["AVISO_CODIGO: somente contratos enviados; implementacao nao verificada neste modo"]
             : modoVerificacaoCodigo === "codigo_selecionado"
@@ -193,6 +214,7 @@ export async function gerarResumoProjetoIa(entrada, pastaSaidaOpcional, escrever
         artefatos: [...ARQUIVOS_RESUMO_PROJETO_IA],
         modulos,
         guiaPorCapacidade,
+        analiseDrift: indexJson.analiseDrift,
     };
 }
 export async function gerarContextoIa(arquivoEntrada, pastaSaidaOpcional) {
@@ -218,102 +240,102 @@ export async function gerarContextoIa(arquivoEntrada, pastaSaidaOpcional) {
         await escreverArquivoWorkspaceSeguro(pastaBase, artefato.caminhoRelativo, artefato.conteudo, { sobrescrever: true });
     }
     const resumoGerado = await gerarArquivosResumoModuloIa(contexto, pastaBase);
-    const resumo = `# Contexto de IA para ${contexto.modulo}
-
-- Arquivo alvo: \`${contexto.arquivo}\`
-- Modulo: \`${contexto.modulo}\`
-- Sucesso em validar: \`${contexto.sucesso}\`
-- Quantidade de diagnosticos: \`${contexto.diagnosticos.length}\`
-- Gerado em: \`${contexto.geradoEm}\`
-
-## Arquivos gerados neste pacote
-
-- \`agent-context-pack.json\`
-- \`${ARQUIVO_SEMA_BOOT}\`
-- \`${ARQUIVO_SEMA_SMALL_MODEL}\`
-- \`resumo.micro.txt\`
-- \`resumo.curto.txt\`
-- \`resumo.md\`
-- \`briefing.min.json\`
-- \`prompt-curto.txt\`
-- \`validar.json\`
-- \`diagnosticos.json\`
-- \`ast.json\`
-- \`ir.json\`
-- \`drift.json\`
-- \`briefing.json\`
-
-## Fluxo recomendado para o agente
-
-Antes de escolher arquivo de código, leia \`${ARQUIVO_SEMA_BOOT}\` e \`agent-context-pack.json\`. Eles declaram regras obrigatórias, proibições, prioridades, idioma humano e quando abrir texto bruto como \`AGENTS.md\`, \`exemplos/\`, docs e contratos.
-
-## Políticas da plataforma
-
-- Sema governa contrato, escopo, drift, evidência e qualidade; não contorna políticas, termos, permissões, segurança ou leis.
-- Se houver alerta externo, trate como bloqueio da plataforma ou falso positivo possível, explique de forma neutra e não tente burlar filtro.
-
-### IA fraca, gratuita ou com pouca disciplina
-
-1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
-2. Ler \`${ARQUIVO_SEMA_SMALL_MODEL}\`.
-3. Ler \`agent-context-pack.json\`.
-4. Ler \`resumo.micro.txt\`.
-5. Ler \`briefing.min.json\`.
-6. Se ainda couber contexto, ler \`resumo.curto.txt\`.
-
-### IA média
-
-1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
-2. Ler \`agent-context-pack.json\`.
-3. Ler \`resumo.curto.txt\`.
-4. Ler \`briefing.min.json\`.
-5. Ler \`drift.json\`.
-6. Se precisar, subir para \`resumo.md\`.
-
-### IA forte ou com tool use
-
-1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
-2. Ler \`agent-context-pack.json\`.
-3. Ler \`README.md\`.
-4. Ler \`resumo.md\`.
-5. Ler \`briefing.json\`.
-6. Ler \`drift.json\`.
-7. Só depois abrir \`ir.json\` e \`ast.json\`.
-
-## Idioma humano
-
-- Responda no idioma do usuário.
-- Em PT-BR, use acentos, cedilha, pontuação e símbolos normais.
-- A DSL \`.sema\` pode ser ASCII; texto humano não precisa ser.
-
-## Texto bruto sob demanda
-
-- Abra \`AGENTS.md\` antes de editar código, contrato, docs operacionais, release ou deploy.
-- Abra \`exemplos/\` antes de criar ou corrigir sintaxe \`.sema\`.
-- Abra \`docs/syntax.md\` quando exemplos não bastarem para resolver a gramática.
-- Abra \`contratos/\` antes de qualquer implementação ou mudança de comportamento.
-
-## Timeout e retry
-
-- Timeout local do agente não é falha do Sema.
-- Se uma chamada Sema estourar, aumente o timeout e tente de novo.
-- Se o projeto inteiro for lento, escopar para \`sema resumo "${contexto.arquivo}" --micro --para mudanca\`.
-- Se o ambiente impedir continuar, pare bloqueado e não avance com código sem Sema.
-
-## Fechamento
-
-1. Editar o arquivo \`.sema\`.
-2. Rodar \`sema formatar "${contexto.arquivo}"\`.
-3. Rodar \`sema validar "${contexto.arquivo}" --json\`.
-4. Rodar \`sema drift "${contexto.arquivo}" --json\`.
-5. Fechar com \`sema verificar <arquivo-ou-pasta> --json --saida ./.tmp/verificacao-ia\`.
-
-## Textos base para onboarding do agente
-
-- \`sema starter-ia\`
-- \`sema resumo "${contexto.arquivo}" --micro --para onboarding\`
-- \`sema prompt-curto "${contexto.arquivo}" --para mudanca\`
-- \`sema prompt-ia\`
+    const resumo = `# Contexto de IA para ${contexto.modulo}
+
+- Arquivo alvo: \`${contexto.arquivo}\`
+- Modulo: \`${contexto.modulo}\`
+- Sucesso em validar: \`${contexto.sucesso}\`
+- Quantidade de diagnosticos: \`${contexto.diagnosticos.length}\`
+- Gerado em: \`${contexto.geradoEm}\`
+
+## Arquivos gerados neste pacote
+
+- \`agent-context-pack.json\`
+- \`${ARQUIVO_SEMA_BOOT}\`
+- \`${ARQUIVO_SEMA_SMALL_MODEL}\`
+- \`resumo.micro.txt\`
+- \`resumo.curto.txt\`
+- \`resumo.md\`
+- \`briefing.min.json\`
+- \`prompt-curto.txt\`
+- \`validar.json\`
+- \`diagnosticos.json\`
+- \`ast.json\`
+- \`ir.json\`
+- \`drift.json\`
+- \`briefing.json\`
+
+## Fluxo recomendado para o agente
+
+Antes de escolher arquivo de código, leia \`${ARQUIVO_SEMA_BOOT}\` e \`agent-context-pack.json\`. Eles declaram regras obrigatórias, proibições, prioridades, idioma humano e quando abrir texto bruto como \`AGENTS.md\`, \`exemplos/\`, docs e contratos.
+
+## Políticas da plataforma
+
+- Sema governa contrato, escopo, drift, evidência e qualidade; não contorna políticas, termos, permissões, segurança ou leis.
+- Se houver alerta externo, trate como bloqueio da plataforma ou falso positivo possível, explique de forma neutra e não tente burlar filtro.
+
+### IA fraca, gratuita ou com pouca disciplina
+
+1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
+2. Ler \`${ARQUIVO_SEMA_SMALL_MODEL}\`.
+3. Ler \`agent-context-pack.json\`.
+4. Ler \`resumo.micro.txt\`.
+5. Ler \`briefing.min.json\`.
+6. Se ainda couber contexto, ler \`resumo.curto.txt\`.
+
+### IA média
+
+1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
+2. Ler \`agent-context-pack.json\`.
+3. Ler \`resumo.curto.txt\`.
+4. Ler \`briefing.min.json\`.
+5. Ler \`drift.json\`.
+6. Se precisar, subir para \`resumo.md\`.
+
+### IA forte ou com tool use
+
+1. Ler \`${ARQUIVO_SEMA_BOOT}\`.
+2. Ler \`agent-context-pack.json\`.
+3. Ler \`README.md\`.
+4. Ler \`resumo.md\`.
+5. Ler \`briefing.json\`.
+6. Ler \`drift.json\`.
+7. Só depois abrir \`ir.json\` e \`ast.json\`.
+
+## Idioma humano
+
+- Responda no idioma do usuário.
+- Em PT-BR, use acentos, cedilha, pontuação e símbolos normais.
+- A DSL \`.sema\` pode ser ASCII; texto humano não precisa ser.
+
+## Texto bruto sob demanda
+
+- Abra \`AGENTS.md\` antes de editar código, contrato, docs operacionais, release ou deploy.
+- Abra \`exemplos/\` antes de criar ou corrigir sintaxe \`.sema\`.
+- Abra \`docs/syntax.md\` quando exemplos não bastarem para resolver a gramática.
+- Abra \`contratos/\` antes de qualquer implementação ou mudança de comportamento.
+
+## Timeout e retry
+
+- Timeout local do agente não é falha do Sema.
+- Se uma chamada Sema estourar, aumente o timeout e tente de novo.
+- Se o projeto inteiro for lento, escopar para \`sema resumo "${contexto.arquivo}" --micro --para mudanca --drift none\`.
+- Se o ambiente impedir continuar, pare bloqueado e não avance com código sem Sema.
+
+## Fechamento
+
+1. Editar o arquivo \`.sema\`.
+2. Rodar \`sema formatar "${contexto.arquivo}"\`.
+3. Rodar \`sema validar "${contexto.arquivo}" --json\`.
+4. Rodar \`sema drift "${contexto.arquivo}" --cache fresh --json\`.
+5. Fechar com \`sema verificar <arquivo-ou-pasta> --json --saida ./.tmp/verificacao-ia\`.
+
+## Textos base para onboarding do agente
+
+- \`sema starter-ia\`
+- \`sema resumo "${contexto.arquivo}" --micro --para onboarding --drift none\`
+- \`sema prompt-curto "${contexto.arquivo}" --para mudanca\`
+- \`sema prompt-ia\`
 `;
     await escreverArquivoWorkspaceSeguro(pastaBase, "README.md", resumo, {
         sobrescrever: true,