@semacode/cli 1.5.31 → 1.5.34

package/dist/runnerValidacaoRemotaTipos.d.ts

@@ -0,0 +1,158 @@
+import type { Server } from "node:http";
+export type ModoVerificacaoRemota = "CONTRATOS_APENAS" | "CODIGO_SELECIONADO" | "CODIGO_COMPLETO";
+export type StatusJobVerificacao = "APROVADO" | "BLOQUEADO" | "FALHOU";
+export type AmbienteRunner = "VPS" | "WORKER_CONTAINER" | "WORKTREE_ISOLADO";
+export interface ArquivoSnapshotRemoto {
+    caminho: string;
+    conteudo: string;
+    tipo?: string;
+    hash?: string;
+}
+export interface ComandoProjetoRemoto {
+    comando: string;
+    args?: string[];
+}
+export interface SnapshotProjetoRemoto {
+    origem: string;
+    tenant: string;
+    modo: ModoVerificacaoRemota;
+    contratos: ArquivoSnapshotRemoto[];
+    codigo: ArquivoSnapshotRemoto[];
+    documentacao: ArquivoSnapshotRemoto[];
+    indice: string[];
+    segredos_detectados: string[];
+    politica_segredos: string;
+    contrato_alvo?: string;
+    comandos_projeto: ComandoProjetoRemoto[];
+}
+export interface WorkspaceRunner {
+    id: string;
+    ambiente: AmbienteRunner;
+    caminho: string;
+    tenant: string;
+    isolamento: string;
+    expira_em: string;
+}
+export interface ArtefatoVerificacaoRemota {
+    nome: string;
+    tipo: string;
+    caminho: string;
+    hash: string;
+    publico: boolean;
+}
+export interface ComandoExecutadoRunner {
+    nome: string;
+    args: string[];
+    codigoSaida: number;
+    stdoutArquivo: string;
+    stderrArquivo: string;
+    duracaoMs: number;
+    sucesso: boolean;
+}
+export type EscopoDriftRunner = "projeto" | "nao_executado";
+export interface EscopoEvidenciaRemota {
+    origem_snapshot: string;
+    tenant: string;
+    workspace_id: string;
+    workspace_caminho: string;
+    modo_verificacao: ModoVerificacaoRemota;
+    contrato_alvo: string | null;
+    entrada_sema: string;
+    escopo_drift: EscopoDriftRunner;
+    fontes_conclusao: string[];
+    codigo_verificado: boolean;
+    testes_projeto_executados: boolean;
+    comando_drift: string;
+    conclusao_limpa_autorizada: boolean;
+    ressalva_escopo: string;
+}
+export interface RelatorioVerificacaoRemota {
+    job_id: string;
+    modo: ModoVerificacaoRemota;
+    status: StatusJobVerificacao;
+    score_semantico: number;
+    diagnosticos: string[];
+    avisos_alta_severidade: string[];
+    comandos_executados: ComandoExecutadoRunner[];
+    artefatos: ArtefatoVerificacaoRemota[];
+    escopo_evidencia: EscopoEvidenciaRemota;
+    resumo_ia: string;
+}
+export interface ResultadoRecebimentoSnapshot {
+    snapshot: SnapshotProjetoRemoto;
+    modo_verificacao: ModoVerificacaoRemota;
+    pronto_para_workspace: boolean;
+    bloqueios: string[];
+}
+export interface ResultadoProvisionamentoWorkspace {
+    workspace: WorkspaceRunner;
+    isolamento_ok: boolean;
+    limpeza_agendada: boolean;
+    bloqueios: string[];
+}
+export interface ResultadoPublicacaoRelatorio {
+    resumo_ia: string;
+    url_relatorio: string;
+    artefatos_publicados: ArtefatoVerificacaoRemota[];
+    redacao_ok: boolean;
+    bloqueios: string[];
+}
+export interface ResultadoFechamentoJob {
+    concluido: boolean;
+    pode_liberar: boolean;
+    decisao_agente: "continuar" | "continuar_com_ressalva" | "parar" | "chamar_humano";
+    proximas_acoes: string[];
+    bloqueios: string[];
+}
+export interface ResultadoRunnerValidacaoRemota {
+    comando: "runner validar-remoto";
+    sucesso: boolean;
+    status: StatusJobVerificacao;
+    podeLiberar: boolean;
+    jobId: string;
+    modo: ModoVerificacaoRemota;
+    snapshot: {
+        origem: string;
+        tenant: string;
+        contratos: number;
+        codigo: number;
+        documentacao: number;
+    };
+    workspace: WorkspaceRunner | null;
+    workspaceRemovido: boolean;
+    relatorio: RelatorioVerificacaoRemota;
+    publicacao: ResultadoPublicacaoRelatorio;
+    fechamento: ResultadoFechamentoJob;
+    relatorioArquivo: string;
+}
+export interface OpcoesRunnerValidacaoRemota {
+    saida: string;
+    cwd: string;
+    manterWorkspace: boolean;
+    modoOverride?: ModoVerificacaoRemota;
+    contratoAlvo?: string;
+    timeoutMs?: number;
+}
+export interface OpcoesServidorRunnerValidacaoRemota {
+    cwd: string;
+    host: string;
+    porta: number;
+    saida: string;
+    token?: string;
+}
+export interface ServidorRunnerValidacaoRemota {
+    server: Server;
+    host: string;
+    porta: number;
+    url: string;
+    authObrigatoria: boolean;
+}
+export interface EntradaSnapshotRemoto {
+    [key: string]: unknown;
+}
+export declare const MODOS_VALIDOS: Set<ModoVerificacaoRemota>;
+export declare const AMBIENTE_PADRAO: AmbienteRunner;
+export declare const TIMEOUT_COMANDO_PADRAO_MS = 120000;
+export declare const PREFIXO_WORKSPACE = "sema-runner-";
+export declare const DIRETORIOS_PROIBIDOS: Set<string>;
+export declare const COMANDOS_PROJETO_PERMITIDOS: Set<string>;

package/dist/runnerValidacaoRemotaTipos.js

@@ -0,0 +1,35 @@
+export const MODOS_VALIDOS = new Set(["CONTRATOS_APENAS", "CODIGO_SELECIONADO", "CODIGO_COMPLETO"]);
+export const AMBIENTE_PADRAO = "WORKTREE_ISOLADO";
+export const TIMEOUT_COMANDO_PADRAO_MS = 120_000;
+export const PREFIXO_WORKSPACE = "sema-runner-";
+export const DIRETORIOS_PROIBIDOS = new Set([
+    ".git",
+    ".hg",
+    ".svn",
+    ".next",
+    ".nuxt",
+    ".turbo",
+    ".cache",
+    ".pytest_cache",
+    ".venv",
+    "build",
+    "coverage",
+    "dist",
+    "node_modules",
+    "vendor",
+]);
+export const COMANDOS_PROJETO_PERMITIDOS = new Set([
+    "npm",
+    "pnpm",
+    "yarn",
+    "node",
+    "python",
+    "py",
+    "pytest",
+    "go",
+    "cargo",
+    "dotnet",
+    "mvn",
+    "gradle",
+]);
+//# sourceMappingURL=runnerValidacaoRemotaTipos.js.map

package/dist/runnerValidacaoRemotaTipos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runnerValidacaoRemotaTipos.js","sourceRoot":"","sources":["../src/runnerValidacaoRemotaTipos.ts"],"names":[],"mappings":"AA4KA,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAwB,CAAC,kBAAkB,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,CAAC,CAAC;AAC3H,MAAM,CAAC,MAAM,eAAe,GAAmB,kBAAkB,CAAC;AAClE,MAAM,CAAC,MAAM,yBAAyB,GAAG,OAAO,CAAC;AACjD,MAAM,CAAC,MAAM,iBAAiB,GAAG,cAAc,CAAC;AAEhD,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IAC1C,MAAM;IACN,KAAK;IACL,MAAM;IACN,OAAO;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACR,eAAe;IACf,OAAO;IACP,OAAO;IACP,UAAU;IACV,MAAM;IACN,cAAc;IACd,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,GAAG,CAAC;IACjD,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,QAAQ;IACR,IAAI;IACJ,QAAQ;IACR,IAAI;IACJ,OAAO;IACP,QAAQ;IACR,KAAK;IACL,QAAQ;CACT,CAAC,CAAC"}

package/dist/runnerValidacaoRemotaUtil.d.ts

@@ -0,0 +1,3 @@
+export declare function hashTexto(texto: string): string;
+export declare function hashArquivo(caminho: string): Promise<string>;
+export declare function verificarArquivoExiste(caminho: string): Promise<boolean>;

package/dist/runnerValidacaoRemotaUtil.js

@@ -0,0 +1,18 @@
+import { createHash } from "node:crypto";
+import { readFile, stat } from "node:fs/promises";
+export function hashTexto(texto) {
+    return createHash("sha256").update(texto).digest("hex");
+}
+export async function hashArquivo(caminho) {
+    return hashTexto(await readFile(caminho, "utf8"));
+}
+export async function verificarArquivoExiste(caminho) {
+    try {
+        await stat(caminho);
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+//# sourceMappingURL=runnerValidacaoRemotaUtil.js.map

package/dist/runnerValidacaoRemotaUtil.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runnerValidacaoRemotaUtil.js","sourceRoot":"","sources":["../src/runnerValidacaoRemotaUtil.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,OAAe;IAC/C,OAAO,SAAS,CAAC,MAAM,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,OAAe;IAC1D,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}

package/dist/runnerValidacaoRemotaWorkspace.d.ts

@@ -0,0 +1,2 @@
+import { type AmbienteRunner, type ResultadoProvisionamentoWorkspace, type SnapshotProjetoRemoto } from "./runnerValidacaoRemotaTipos.js";
+export declare function provisionarWorkspaceRunner(snapshot: SnapshotProjetoRemoto, ambiente?: AmbienteRunner): Promise<ResultadoProvisionamentoWorkspace>;

package/dist/runnerValidacaoRemotaWorkspace.js

@@ -0,0 +1,110 @@
+import { randomUUID } from "node:crypto";
+import { mkdir, mkdtemp, writeFile } from "node:fs/promises";
+import os from "node:os";
+import path from "node:path";
+import { AMBIENTE_PADRAO, PREFIXO_WORKSPACE } from "./runnerValidacaoRemotaTipos.js";
+import { dedupe } from "./runnerValidacaoRemotaSnapshot.js";
+import { hashTexto } from "./runnerValidacaoRemotaUtil.js";
+async function escreverArquivoRelativoSeguro(base, arquivo) {
+    const destino = path.resolve(base, ...arquivo.caminho.split("/"));
+    const relativo = path.relative(base, destino);
+    if (relativo.startsWith("..") || path.isAbsolute(relativo)) {
+        throw new Error(`Caminho fora do workspace recusado: ${arquivo.caminho}`);
+    }
+    await mkdir(path.dirname(destino), { recursive: true });
+    await writeFile(destino, arquivo.conteudo, "utf8");
+}
+function inferirOrigensContratos(contratos) {
+    const origens = contratos.map((arquivo) => {
+        const partes = arquivo.caminho.split("/");
+        if (partes[0] === "contratos" || partes[0] === "contracts" || partes[0] === "sema") {
+            return `./${partes[0]}`;
+        }
+        const dir = path.posix.dirname(arquivo.caminho);
+        return dir === "." ? "." : `./${dir}`;
+    });
+    return dedupe(origens);
+}
+function inferirDiretoriosCodigoSnapshot(codigo) {
+    const dirs = codigo.map((arquivo) => {
+        const partes = arquivo.caminho.split("/");
+        return partes.length > 1 ? `./${partes[0]}` : ".";
+    });
+    return dedupe(dirs);
+}
+function inferirFontesLegadoSnapshot(codigo) {
+    const fontes = new Set();
+    for (const arquivo of codigo) {
+        const caminho = arquivo.caminho.toLowerCase();
+        if (/\.(ts|tsx|js|jsx|mjs|cjs)$/.test(caminho)) {
+            fontes.add("typescript");
+        }
+        if (caminho.endsWith(".py")) {
+            fontes.add("python");
+        }
+        if (caminho.endsWith(".dart")) {
+            fontes.add("dart");
+        }
+        if (caminho.endsWith(".lua")) {
+            fontes.add("lua");
+        }
+        if (caminho.endsWith(".cs")) {
+            fontes.add("dotnet");
+        }
+        if (caminho.endsWith(".java")) {
+            fontes.add("java");
+        }
+        if (caminho.endsWith(".go")) {
+            fontes.add("go");
+        }
+        if (caminho.endsWith(".rs")) {
+            fontes.add("rust");
+        }
+        if (/\.(cpp|cc|cxx|hpp|h)$/.test(caminho)) {
+            fontes.add("cpp");
+        }
+    }
+    return [...fontes].sort((a, b) => a.localeCompare(b, "pt-BR"));
+}
+export async function provisionarWorkspaceRunner(snapshot, ambiente = AMBIENTE_PADRAO) {
+    const caminho = await mkdtemp(path.join(os.tmpdir(), PREFIXO_WORKSPACE));
+    const workspace = {
+        id: randomUUID(),
+        ambiente,
+        caminho,
+        tenant: snapshot.tenant,
+        isolamento: "tmpdir_efemero_sem_home_host_sem_docker_socket",
+        expira_em: new Date(Date.now() + 60 * 60 * 1000).toISOString(),
+    };
+    for (const arquivo of [...snapshot.contratos, ...snapshot.codigo, ...snapshot.documentacao]) {
+        await escreverArquivoRelativoSeguro(caminho, arquivo);
+    }
+    await mkdir(path.join(caminho, ".sema-runner"), { recursive: true });
+    await writeFile(path.join(caminho, ".sema-runner", "snapshot.json"), `${JSON.stringify({
+        origem: snapshot.origem,
+        tenant: snapshot.tenant,
+        modo: snapshot.modo,
+        indice: snapshot.indice,
+        contratos: snapshot.contratos.map((arquivo) => ({ caminho: arquivo.caminho, hash: hashTexto(arquivo.conteudo) })),
+        codigo: snapshot.codigo.map((arquivo) => ({ caminho: arquivo.caminho, hash: hashTexto(arquivo.conteudo) })),
+        documentacao: snapshot.documentacao.map((arquivo) => ({ caminho: arquivo.caminho, hash: hashTexto(arquivo.conteudo) })),
+    }, null, 2)}\n`, "utf8");
+    await writeFile(path.join(caminho, "sema.config.json"), `${JSON.stringify({
+        origens: inferirOrigensContratos(snapshot.contratos),
+        saida: "./generated",
+        alvos: ["typescript"],
+        alvoPadrao: "typescript",
+        framework: "base",
+        estruturaSaida: "modulos",
+        diretoriosCodigo: inferirDiretoriosCodigoSnapshot(snapshot.codigo),
+        fontesLegado: inferirFontesLegadoSnapshot(snapshot.codigo),
+        modoAdocao: "incremental",
+    }, null, 2)}\n`, "utf8");
+    return {
+        workspace,
+        isolamento_ok: true,
+        limpeza_agendada: true,
+        bloqueios: [],
+    };
+}
+//# sourceMappingURL=runnerValidacaoRemotaWorkspace.js.map

package/dist/runnerValidacaoRemotaWorkspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runnerValidacaoRemotaWorkspace.js","sourceRoot":"","sources":["../src/runnerValidacaoRemotaWorkspace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAA6I,MAAM,iCAAiC,CAAC;AAChO,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,MAAM,gCAAgC,CAAC;AAE3D,KAAK,UAAU,6BAA6B,CAAC,IAAY,EAAE,OAA8B;IACvF,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,uCAAuC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACxD,MAAM,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAkC;IACjE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACnF,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1B,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAChD,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,+BAA+B,CAAC,MAA+B;IACtE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC1C,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,2BAA2B,CAAC,MAA+B;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,4BAA4B,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC3B,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACrB,CAAC;QACD,IAAI,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,QAA+B,EAC/B,WAA2B,eAAe;IAE1C,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACzE,MAAM,SAAS,GAAoB;QACjC,EAAE,EAAE,UAAU,EAAE;QAChB,QAAQ;QACR,OAAO;QACP,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,UAAU,EAAE,gDAAgD;QAC5D,SAAS,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE;KAC/D,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5F,MAAM,6BAA6B,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,SAAS,CACb,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,eAAe,CAAC,EACnD,GAAG,IAAI,CAAC,SAAS,CAAC;QAChB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACjH,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC3G,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxH,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EACf,MAAM,CACP,CAAC;IAEF,MAAM,SAAS,CACb,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,kBAAkB,CAAC,EACtC,GAAG,IAAI,CAAC,SAAS,CAAC;QAChB,OAAO,EAAE,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC;QACpD,KAAK,EAAE,aAAa;QACpB,KAAK,EAAE,CAAC,YAAY,CAAC;QACrB,UAAU,EAAE,YAAY;QACxB,SAAS,EAAE,MAAM;QACjB,cAAc,EAAE,SAAS;QACzB,gBAAgB,EAAE,+BAA+B,CAAC,QAAQ,CAAC,MAAM,CAAC;QAClE,YAAY,EAAE,2BAA2B,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC1D,UAAU,EAAE,aAAa;KAC1B,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EACf,MAAM,CACP,CAAC;IAEF,OAAO;QACL,SAAS;QACT,aAAa,EAAE,IAAI;QACnB,gBAAgB,EAAE,IAAI;QACtB,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC"}

package/docs/AGENT_STARTER.md

@@ -0,0 +1,109 @@
+# AGENT_STARTER
+
+<!-- sema:i18n -->
+> EN: English first. The canonical operational body below may still be in Portuguese until full translation lands.
+> PT: Português depois, com acentos preservados.
+> ES: Español al final; não traduza comandos, rotas nem sómbolos `.sema` sem contrato.
+
+
+Use este texto como starter curto para qualquer IA antes de editar `.sema`.
+
+Ordem canonica de entrada no repo:
+
+1. `llms.txt`
+2. `SEMA_BRIEF.md`
+3. `SEMA_INDEX.json`
+4. `AGENTS.md`
+5. `README.md`
+
+Roteamento por capacidade:
+
+- IA pequena ou gratuita: `llms.txt` -> `SEMA_BRIEF.micro.txt` -> `SEMA_INDEX.json`
+- IA média: `llms.txt` -> `SEMA_BRIEF.curto.txt` -> `SEMA_INDEX.json` -> `README.md`
+- IA grande ou com tool use: `llms-full.txt` -> `SEMA_BRIEF.md` -> `SEMA_INDEX.json` -> `AGENTS.md` -> `README.md`
+
+Tres modos de uso da Sema:
+
+- projeto novo: modele, valide, compile e verifique antes de subir código derivado
+- projeto já semantizado: inspecione, leia resumo, rode drift e gere contexto antes de editar
+- legado sem Sema: importe, revise o rascunho, formate, valide e use drift como arbitro da adoção incremental
+
+Para manter os artefatos gerados da raiz sincronizados:
+
+- `sema sync-ai-entrypoints --json`
+
+```text
+Voce esta trabalhando com Sema, um contrato semantico IA-first para agentes operarem software vivo em backend e front consumer.
+
+Importante:
+- a Sema e protocolo de governanca semantica desenhado para IA, nao para ergonomia humana
+- humanos sao autores/aprovadores; agentes sao os consumidores primarios do contrato
+- a Sema funciona como camada de navegacao operacional para agente, nao como runtime magico
+- leitura humana e bonus toleravel, nao centro do produto
+- a Sema modela contratos, estados, fluxos, erros, efeitos, garantias, vinculos e execucao
+- a Sema gera codigo e scaffolding real para TypeScript, Python e Dart
+- a Sema usa `importar` para bootstrap revisavel, nao para contrato final automatico
+- a Sema usa `drift` para medir diferenca entre contrato e codigo vivo
+- a Sema usa `impl` para ligar task a simbolo real do runtime
+- a Sema usa `resumo` e `prompt-curto` para IA pequena ou gratuita
+- a Sema pode servir de base para interfaces graficas elegantes e coerentes
+- a primeira onda consumer oficial agora cobre `Next.js consumer`, `React/Vite consumer`, `Angular consumer` e `flutter-consumer`
+- esses slices oficiais cobrem `consumer bridge + superficies rastreaveis`, nao geracao completa de UI
+- a proxima camada semantica de front (`screen`, `action`, `query`, `form`, `navigation`) esta documentada como roadmap, nao como sintaxe oficial ja suportada
+- trate a Sema como cerebro semantico da aplicacao, nao como gerador magico de front-end pronto
+- nao cobre da Sema persistencia real, runtime ou smoke test automatico; isso continua sendo engenharia viva
+- se a tarefa envolver UI, priorize `appRoutes`, `consumerSurfaces` e `consumerBridges` antes de abrir arquivo aleatorio
+- evite pedir HTML unico solto quando a intencao for testar a Sema de verdade
+
+Regras:
+- nao invente sintaxe fora da gramatica e dos exemplos oficiais
+- se a IA for pequena, comece em `sema resumo` e `briefing.min.json`
+- trate `ir --json` como fonte de verdade semantica
+- trate `diagnosticos --json` como fonte de correcao
+- use `sema formatar` como fonte unica de estilo
+- preserve a intencao do contrato
+- nao cobre da Sema adivinhacao de negocio que nao esta no contrato nem no codigo
+
+Comandos essenciais:
+- resumo por capacidade: `sema resumo <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`
+- prompt curto: `sema prompt-curto <arquivo-ou-pasta> [--micro|--curto|--medio] [--para <resumo|onboarding|review|mudanca|bug|arquitetura>]`
+- contexto completo do modulo: `sema contexto-ia <arquivo.sema>`
+- estrutura sintatica: `sema ast <arquivo.sema> --json`
+- estrutura semantica: `sema ir <arquivo.sema> --json`
+- validacao: `sema validar <arquivo.sema> --json`
+- diagnosticos: `sema diagnosticos <arquivo.sema> --json`
+- formatacao: `sema formatar <arquivo.sema>`
+- importacao assistida de legado: `sema importar <nestjs|fastapi|flask|nextjs|nextjs-consumer|react-vite-consumer|angular-consumer|flutter-consumer|firebase|typescript|python|dart|dotnet|java|go|rust|cpp> <diretorio> --saida <diretorio>`
+- geracao de codigo: `sema compilar <arquivo-ou-pasta> --alvo <typescript|python|dart> --saida <diretorio>`
+- verificacao final: `sema verificar <arquivo-ou-pasta> [--json]`
+
+Regra pratica de ouro:
+- se a tarefa pedir codigo derivado, `sema compilar` e obrigatorio
+- se a tarefa partir de projeto que nao nasceu com Sema, `sema importar` deve entrar antes da lapidacao semantica
+- se a tarefa pedir apenas leitura ou correcao sem gerar codigo, `sema compilar` pode ficar fora
+
+Antes de editar:
+1. leia README, docs de IA e um exemplo oficial parecido
+2. se a IA for pequena, rode `sema resumo <arquivo> --micro`
+3. se a tarefa pedir contexto mais rico, consulte `drift`, `briefing.min.json` e depois AST/IR
+
+Depois de editar:
+1. rode `sema formatar`
+2. rode `sema validar --json`
+3. se houver falha, use `diagnosticos --json`
+4. se a tarefa pedir codigo derivado, rode `sema compilar`
+5. feche com `sema verificar <arquivo-ou-pasta> --json`
+
+Priorize sempre:
+- exemplos oficiais
+- JSON da CLI
+- consistencia semantica
+
+Nao improvise quando faltar contexto.
+```
+
+Documentos de apoio:
+
+- [como-ensinar-a-sema-para-ia.md](./como-ensinar-a-sema-para-ia.md)
+- [prompt-base-ia-sema.md](./prompt-base-ia-sema.md)
+- [fluxo-pratico-ia-sema.md](./fluxo-pratico-ia-sema.md)

package/docs/agentes-por-capacidade.md

@@ -0,0 +1,42 @@
+# Agentes por capacidade
+
+Sema deve funcionar em agentes fortes, médios e fracos. A diferença não é só tamanho de contexto; é disciplina operacional.
+
+## Fraca
+
+Use para Copilot em modo simples, Cline/Roo com pouco contexto, modelos locais pequenos e agentes que ignoram instrução longa.
+
+- Entrada: `SEMA_BOOT.md` -> `SEMA_SMALL_MODEL.md` -> `SEMA_BRIEF.micro.txt`.
+- Não abrir AST/IR completos no começo.
+- Não editar se Sema não respondeu.
+- Não pedir para MCP remoto ler pasta local.
+
+## Média
+
+Use para agentes com bom contexto, mas sem garantia de seguir todos os gates.
+
+- Entrada: `SEMA_BOOT.md` -> `AGENT_CONTEXT_PACK.json` -> `SEMA_BRIEF.curto.txt` -> `SEMA_INDEX.json`.
+- Rodar docs-impacto antes de agir.
+- Validar drift e contrato no fechamento.
+
+## Forte
+
+Use para Codex, Claude e agentes com tool use confiável.
+
+- Entrada: `SEMA_BOOT.md` -> `AGENT_CONTEXT_PACK.json` -> `SEMA_BRIEF.md` -> `SEMA_INDEX.json`.
+- Pode consumir AST/IR/drift completos.
+- Ainda deve respeitar contrato primeiro e falha fechada.
+
+## Idioma
+
+A linguagem humana da resposta deve seguir o idioma do usuário e preservar acentos, cedilha, pontuação e símbolos esperados. A DSL .sema pode ter palavras-chave ASCII; isso não autoriza PT-BR sem acentos.
+
+A gramática Sema pode ter palavras-chave ASCII. Isso não autoriza resposta humana sem acentos.
+
+## Clientes
+
+- copilot: .github/copilot-instructions.md, AGENTS.md, SEMA_BOOT.md. Capacidade padrão: media. VS Code/Copilot deve receber uma instrução curta e repetida no arquivo próprio, sem depender só do AGENTS.md.
+- cline: .clinerules/00-sema.md, .clinerules, SEMA_BOOT.md. Capacidade padrão: fraca. Cline costuma obedecer melhor quando o gate Sema vem em arquivo curto; se .clinerules for arquivo legado, o Sema atualiza esse fallback.
+- roo: .roo/rules/00-sema.md, AGENTS.md, SEMA_BOOT.md. Capacidade padrão: fraca. Roo Code deve começar por uma regra dedicada em .roo/rules antes de abrir arquivos longos.
+- opencode: .opencode/instructions.md, AGENTS.md, SEMA_BOOT.md. Capacidade padrão: media. OpenCode deve receber a mesma regra curta em instructions.md quando a pasta .opencode já existir.
+- generico: SEMA_BOOT.md, SEMA_SMALL_MODEL.md, AGENT_CONTEXT_PACK.json. Capacidade padrão: fraca. Qualquer agente sem integração específica começa pelo boot card e só sobe contexto se passar pelos gates.

package/docs/api.md

@@ -0,0 +1,82 @@
+# API and Operational Surfaces
+
+## English
+
+Sema's public repository exposes the open language, CLI, contracts, examples, and editor support. It does not expose the private hosted MCP control plane, account APIs, OAuth internals, dashboards, audit storage, or commercial runtime governance APIs.
+
+### Public Surfaces
+
+- CLI commands documented in `README.md`, `docs/README.md`, and `docs/profiles.md`.
+- `.sema` contracts under `contratos/` and public examples under `exemplos/`.
+- Release artifacts generated by the public release scripts.
+- Editor support and local validation flows.
+
+### Private Or Commercial Surfaces
+
+- Hosted MCP endpoint and OAuth authorization flows.
+- Account, project, usage, billing, dashboard, and audit APIs.
+- Runtime governance, approval gates, private rule packs, and advanced artifact validation.
+- Deployment secrets, environment files, local runbooks, and infrastructure-specific scripts.
+
+### API Rule For Agents
+
+When a change touches an endpoint, webhook, CLI command, or MCP tool, the agent must:
+
+- declare or update the applicable `.sema` contract before code;
+- validate authentication, authorization, tenant/workspace boundaries, idempotency, auditability, and rollback expectations;
+- keep private endpoints and commercial control-plane details out of the public repository;
+- run Sema validation and public repository boundary checks before release.
+
+## Português
+
+O repositório público do Sema expõe a linguagem aberta, CLI, contratos, exemplos e suporte de editor. Ele não expõe o control plane MCP hospedado, APIs de conta, detalhes internos de OAuth, dashboards, armazenamento de auditoria ou APIs comerciais de runtime governance.
+
+### Superfícies Públicas
+
+- Comandos da CLI documentados em `README.md`, `docs/README.md` e `docs/profiles.md`.
+- Contratos `.sema` em `contratos/` e exemplos públicos em `exemplos/`.
+- Artefatos de release gerados pelos scripts públicos de release.
+- Suporte de editor e fluxos locais de validação.
+
+### Superfícies Privadas Ou Comerciais
+
+- Endpoint MCP hospedado e fluxos de autorização OAuth.
+- APIs de conta, projeto, uso, cobrança, dashboard e auditoria.
+- Runtime governance, approval gates, rule packs privados e validação avançada de artefatos.
+- Segredos de deploy, arquivos de ambiente, runbooks locais e scripts específicos de infraestrutura.
+
+### Regra De API Para Agentes
+
+Quando uma mudança toca endpoint, webhook, comando de CLI ou ferramenta MCP, a IA deve:
+
+- declarar ou atualizar o contrato `.sema` aplicável antes do código;
+- validar autenticação, autorização, fronteira de tenant/workspace, idempotência, auditoria e expectativa de rollback;
+- manter endpoints privados e detalhes comerciais do control plane fora do repositório público;
+- rodar validação Sema e checagem de fronteira pública antes do release.
+
+## Español
+
+El repositorio público de Sema expone el lenguaje abierto, CLI, contratos, ejemplos y soporte de editor. No expone el control plane MCP hospedado, APIs de cuenta, detalles internos de OAuth, dashboards, almacenamiento de auditoría ni APIs comerciales de runtime governance.
+
+### Superficies Públicas
+
+- Comandos de la CLI documentados en `README.md`, `docs/README.md` y `docs/profiles.md`.
+- Contratos `.sema` en `contratos/` y ejemplos públicos en `exemplos/`.
+- Artefactos de release generados por los scripts públicos de release.
+- Soporte de editor y flujos locales de validación.
+
+### Superficies Privadas O Comerciales
+
+- Endpoint MCP hospedado y flujos de autorización OAuth.
+- APIs de cuenta, proyecto, uso, facturación, dashboard y auditoría.
+- Runtime governance, approval gates, rule packs privados y validación avanzada de artefactos.
+- Secretos de deploy, archivos de entorno, runbooks locales y scripts específicos de infraestructura.
+
+### Regla De API Para Agentes
+
+Cuando un cambio toca un endpoint, webhook, comando de CLI o herramienta MCP, la IA debe:
+
+- declarar o actualizar el contrato `.sema` aplicable antes del código;
+- validar autenticación, autorización, frontera de tenant/workspace, idempotencia, auditoría y expectativa de rollback;
+- mantener endpoints privados y detalles comerciales del control plane fuera del repositorio público;
+- ejecutar validación Sema y chequeo de frontera pública antes del release.