@semacode/cli 1.5.36 → 1.5.37

package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.js

@@ -0,0 +1,208 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { parsearTransicaoEstado, } from "./estruturas.js";
+import { extrairPerfilCompatibilidade, indiceErros, indicesCampos, localizarBloco, localizarCampo, validarVinculos } from "./analisador.part01.js";
+import { emitirGuardrailsSeguranca, recomporCaminhoRoute, serializarTransicao, validarEfeitosDeclarados } from "./analisador.part04.js";
+import { coletarPerfilSegurancaDeclarado } from "./analisador.part03.js";
+import { coletarSuperficiesModulo, routeEhMutante, superficieEhPublica, taskEhSensivel, taskTemRastreabilidade } from "./analisador.part02.js";
+export function validarVinculoEstadoDaTask(task, statesConhecidos, diagnosticos) {
+    if (!task.state) {
+        return;
+    }
+    const nomeEstado = task.state.nome ?? task.state.campos.find((campo) => campo.nome === "state" || campo.nome === "estado")?.valor;
+    if (!nomeEstado) {
+        diagnosticos.push(criarDiagnostico("SEM037", `Task "${task.nome}" declarou state sem indicar qual estado ela governa.`, "erro", task.state.intervalo, "Use \"state nome_do_estado { ... }\" ou declare \"estado: nome_do_estado\" dentro do bloco state da task."));
+        return;
+    }
+    const blocoTransitions = localizarBloco(task.state, "transitions");
+    const linhasTransicao = blocoTransitions?.linhas ?? task.state.linhas;
+    const transicoesLocais = new Set(linhasTransicao
+        .map((linha) => parsearTransicaoEstado(linha.conteudo))
+        .filter((transicao) => Boolean(transicao))
+        .map((transicao) => serializarTransicao(transicao.origem, transicao.destino)));
+    const estadoConhecido = statesConhecidos.get(nomeEstado)
+        ?? (transicoesLocais.size > 0 ? { transicoes: transicoesLocais } : undefined);
+    if (!estadoConhecido) {
+        diagnosticos.push(criarDiagnostico("SEM038", `Task "${task.nome}" referencia state "${nomeEstado}", mas esse state nao foi encontrado.`, "erro", task.state.intervalo, "Declare o state no mesmo modulo ou importe um modulo que exponha esse state."));
+        return;
+    }
+    if (linhasTransicao.length === 0) {
+        diagnosticos.push(criarDiagnostico("SEM039", `Task "${task.nome}" referencia state "${nomeEstado}" sem declarar transicoes.`, "erro", task.state.intervalo, "Declare ao menos uma transicao para explicitar como a task altera o estado."));
+        return;
+    }
+    for (const linha of linhasTransicao) {
+        const transicao = parsearTransicaoEstado(linha.conteudo);
+        if (!transicao) {
+            diagnosticos.push(criarDiagnostico("SEM040", `Task "${task.nome}" declarou uma transicao invalida no state "${nomeEstado}": "${linha.conteudo}".`, "erro", linha.intervalo, "Use o formato \"ORIGEM -> DESTINO\" dentro do bloco transitions da task."));
+            continue;
+        }
+        if (!estadoConhecido.transicoes.has(serializarTransicao(transicao.origem, transicao.destino))) {
+            diagnosticos.push(criarDiagnostico("SEM041", `Task "${task.nome}" declarou a transicao "${transicao.origem} -> ${transicao.destino}" fora do contrato do state "${nomeEstado}".`, "erro", linha.intervalo, "Use apenas transicoes declaradas no state associado a task."));
+        }
+    }
+}
+export function validarContratoRoute(route, taskNome, tarefasDetalhadas, diagnosticos) {
+    const inputPublico = localizarBloco(route.corpo, "input");
+    const outputPublico = localizarBloco(route.corpo, "output");
+    const errorPublico = localizarBloco(route.corpo, "error");
+    const detalhesTask = tarefasDetalhadas.get(taskNome);
+    if (!detalhesTask) {
+        return;
+    }
+    const indiceInputTask = indicesCampos(detalhesTask.input);
+    const indiceOutputTask = indicesCampos(detalhesTask.output);
+    const indiceErrorsTask = indiceErros(detalhesTask.errors);
+    if (inputPublico) {
+        for (const campo of inputPublico.campos) {
+            const campoTask = indiceInputTask.get(campo.nome);
+            if (!campoTask) {
+                diagnosticos.push(criarDiagnostico("SEM049", `Route "${route.nome}" expoe o campo de input "${campo.nome}", mas ele nao existe na task "${taskNome}".`, "erro", campo.intervalo, "Use apenas campos declarados no input da task associada a route."));
+                continue;
+            }
+            if (campoTask.tipo !== campo.valor) {
+                diagnosticos.push(criarDiagnostico("SEM053", `Route "${route.nome}" declara o campo publico "${campo.nome}" com tipo "${campo.valor}", mas a task "${taskNome}" usa "${campoTask.tipo}".`, "erro", campo.intervalo, "Mantenha o tipo publico coerente com o contrato interno da task."));
+            }
+        }
+    }
+    if (outputPublico) {
+        for (const campo of outputPublico.campos) {
+            const campoTask = indiceOutputTask.get(campo.nome);
+            if (!campoTask) {
+                diagnosticos.push(criarDiagnostico("SEM050", `Route "${route.nome}" expoe o campo de output "${campo.nome}", mas ele nao existe na task "${taskNome}".`, "erro", campo.intervalo, "Use apenas campos declarados no output da task associada a route."));
+                continue;
+            }
+            if (campoTask.tipo !== campo.valor) {
+                diagnosticos.push(criarDiagnostico("SEM054", `Route "${route.nome}" declara o campo publico de saida "${campo.nome}" com tipo "${campo.valor}", mas a task "${taskNome}" usa "${campoTask.tipo}".`, "erro", campo.intervalo, "Mantenha o output publico coerente com o contrato interno da task."));
+            }
+        }
+    }
+    if (errorPublico) {
+        for (const campo of errorPublico.campos) {
+            if (!indiceErrorsTask.has(campo.nome)) {
+                diagnosticos.push(criarDiagnostico("SEM051", `Route "${route.nome}" expoe o erro "${campo.nome}", mas ele nao pertence ao contrato da task "${taskNome}".`, "erro", campo.intervalo, "Exponha apenas erros declarados pela task associada a route."));
+            }
+        }
+    }
+}
+export function validarRoute(route, tasksConhecidas, tarefasDetalhadas, diagnosticos) {
+    const metodo = localizarCampo(route.corpo, "metodo");
+    const caminho = localizarCampo(route.corpo, "caminho");
+    const caminhoResolvido = recomporCaminhoRoute(caminho);
+    const task = localizarCampo(route.corpo, "task", "tarefa");
+    const effects = localizarBloco(route.corpo, "effects");
+    if (!metodo) {
+        diagnosticos.push(criarDiagnostico("SEM014", `Route "${route.nome}" precisa declarar o campo metodo.`, "erro", route.intervalo, "Use um campo como metodo: GET, POST, PUT, PATCH ou DELETE."));
+    }
+    if (!caminho) {
+        diagnosticos.push(criarDiagnostico("SEM015", `Route "${route.nome}" precisa declarar o campo caminho.`, "erro", route.intervalo, "Use um campo como caminho: \"/recurso\"."));
+    }
+    if (metodo) {
+        const metodosValidos = new Set(["GET", "POST", "PUT", "PATCH", "DELETE"]);
+        if (!metodosValidos.has(metodo.valor.toUpperCase())) {
+            diagnosticos.push(criarDiagnostico("SEM016", `Route "${route.nome}" usa metodo invalido "${metodo.valor}".`, "erro", metodo.intervalo, "Use apenas GET, POST, PUT, PATCH ou DELETE no MVP."));
+        }
+    }
+    if (caminho && (!caminhoResolvido || !caminhoResolvido.startsWith("/"))) {
+        diagnosticos.push(criarDiagnostico("SEM017", `Route "${route.nome}" precisa usar um caminho iniciando com '/'.`, "erro", caminho.intervalo, "Exemplo valido: caminho: \"/produtos\"."));
+    }
+    if (effects) {
+        validarEfeitosDeclarados(effects.linhas, diagnosticos, `effects da route ${route.nome}`);
+    }
+    validarVinculos(route.vinculos, diagnosticos, `route ${route.nome}`);
+    const perfilSeguranca = coletarPerfilSegurancaDeclarado(route.corpo, effects, diagnosticos, `route "${route.nome}"`);
+    emitirGuardrailsSeguranca(`Route "${route.nome}"`, route.intervalo, perfilSeguranca, diagnosticos, {
+        publico: extrairPerfilCompatibilidade(route.corpo, "publico") === "publico",
+        sensivel: routeEhMutante(route) || perfilSeguranca.efeitoPrivilegiado || perfilSeguranca.dadosSensiveis,
+    });
+    if (task && !tasksConhecidas.has(task.valor)) {
+        diagnosticos.push(criarDiagnostico("SEM018", `Route "${route.nome}" referencia task "${task.valor}" que nao existe.`, "erro", task.intervalo, "Ajuste o campo task da route para apontar para uma task declarada no modulo."));
+        return;
+    }
+    if (task) {
+        validarContratoRoute(route, task.valor, tarefasDetalhadas, diagnosticos);
+    }
+}
+export function validarGuardrailsSeguranca(modulo, diagnosticos) {
+    const superficies = coletarSuperficiesModulo(modulo);
+    for (const task of modulo.tasks) {
+        const motivos = new Set();
+        const rotasPublicasAssociadas = modulo.routes.filter((route) => localizarCampo(route.corpo, "task", "tarefa")?.valor === task.nome
+            && extrairPerfilCompatibilidade(route.corpo, "publico") === "publico");
+        const superficiesPublicasAssociadas = superficies.filter((item) => localizarCampo(item.superficie, "task", "tarefa")?.valor === task.nome
+            && superficieEhPublica(item.superficie, item.tipo));
+        const perfilTask = coletarPerfilSegurancaDeclarado(task.corpo, task.effects, undefined, `task "${task.nome}"`);
+        if (taskEhSensivel(task)) {
+            motivos.add("criticidade operacional alta/critica ou efeito sensivel");
+        }
+        for (const route of rotasPublicasAssociadas) {
+            motivos.add(`route publica "${route.nome}"`);
+        }
+        for (const item of superficiesPublicasAssociadas) {
+            motivos.add(`superficie publica ${item.tipo} "${item.superficie.nome ?? item.tipo}"`);
+        }
+        const motivosOrdenados = [...motivos];
+        if (motivosOrdenados.length === 0) {
+            continue;
+        }
+        const perfisPublicos = [
+            ...rotasPublicasAssociadas.map((route) => coletarPerfilSegurancaDeclarado(route.corpo, localizarBloco(route.corpo, "effects"), undefined, `route "${route.nome}"`)),
+            ...superficiesPublicasAssociadas.map((item) => coletarPerfilSegurancaDeclarado(item.superficie, localizarBloco(item.superficie, "effects"), undefined, `superficie ${item.tipo} "${item.superficie.nome ?? item.tipo}"`)),
+        ];
+        const perfilPublico = {
+            auth: { ...perfilTask.auth, explicita: perfilTask.auth.explicita || perfisPublicos.some((perfil) => perfil.auth.explicita) },
+            authz: {
+                ...perfilTask.authz,
+                explicita: perfilTask.authz.explicita || perfisPublicos.some((perfil) => perfil.authz.explicita),
+                papeis: [...new Set([perfilTask.authz.papeis, ...perfisPublicos.map((perfil) => perfil.authz.papeis)].flat())],
+                escopos: [...new Set([perfilTask.authz.escopos, ...perfisPublicos.map((perfil) => perfil.authz.escopos)].flat())],
+            },
+            dados: {
+                ...perfilTask.dados,
+                explicita: perfilTask.dados.explicita || perfisPublicos.some((perfil) => perfil.dados.explicita),
+                campos: [...perfilTask.dados.campos, ...perfisPublicos.flatMap((perfil) => perfil.dados.campos)],
+            },
+            audit: { ...perfilTask.audit, explicita: perfilTask.audit.explicita || perfisPublicos.some((perfil) => perfil.audit.explicita) },
+            segredos: {
+                ...perfilTask.segredos,
+                explicita: perfilTask.segredos.explicita || perfisPublicos.some((perfil) => perfil.segredos.explicita),
+                itens: [...perfilTask.segredos.itens, ...perfisPublicos.flatMap((perfil) => perfil.segredos.itens)],
+            },
+            forbidden: {
+                ...perfilTask.forbidden,
+                explicita: perfilTask.forbidden.explicita || perfisPublicos.some((perfil) => perfil.forbidden.explicita),
+                regras: [...new Set([perfilTask.forbidden.regras, ...perfisPublicos.map((perfil) => perfil.forbidden.regras)].flat())],
+            },
+            efeitoPrivilegiado: perfilTask.efeitoPrivilegiado || perfisPublicos.some((perfil) => perfil.efeitoPrivilegiado),
+            dadosSensiveis: perfilTask.dadosSensiveis || perfisPublicos.some((perfil) => perfil.dadosSensiveis),
+            exigeSegredos: perfilTask.exigeSegredos || perfisPublicos.some((perfil) => perfil.exigeSegredos),
+        };
+        if (rotasPublicasAssociadas.length > 0 || superficiesPublicasAssociadas.length > 0) {
+            emitirGuardrailsSeguranca(`Task "${task.nome}" exposta publicamente`, task.intervalo, perfilPublico, diagnosticos, { publico: true, sensivel: false });
+        }
+        const resumoMotivos = motivosOrdenados.join(", ");
+        if (!task.execucao) {
+            diagnosticos.push(criarDiagnostico("SEM071", `Task "${task.nome}" exige execucao explicita para producao por causa de ${resumoMotivos}, mas ainda opera com execucao implicita.`, "aviso", task.intervalo, "Declare timeout, retry, compensacao, idempotencia e criticidade_operacional no bloco execucao da task."));
+        }
+        if (!taskTemRastreabilidade(task)) {
+            diagnosticos.push(criarDiagnostico("SEM072", `Task "${task.nome}" exige rastreabilidade forte por causa de ${resumoMotivos}, mas ainda nao declara impl nem vinculos.`, "aviso", task.intervalo, "Adicione impl e/ou vinculos para apontar arquivo, simbolo, recurso ou superficie real do codigo vivo."));
+        }
+    }
+    for (const item of superficies) {
+        if (!superficieEhPublica(item.superficie, item.tipo)) {
+            continue;
+        }
+        const execucao = localizarBloco(item.superficie, "execucao");
+        if (!execucao) {
+            const nomeSuperficie = item.superficie.nome ?? item.tipo;
+            diagnosticos.push(criarDiagnostico("SEM073", `Superficie publica ${item.tipo} "${nomeSuperficie}" deveria declarar execucao explicita para producao, mas ainda depende do padrao implicito.`, "aviso", item.superficie.intervalo, `Declare timeout, retry, compensacao e criticidade_operacional no proprio bloco ${item.tipo}.`));
+        }
+    }
+}
+export function campoStatusTexto(campo) {
+    return (campo.nome === "status" || campo.nome === "estado") && campo.valor === "Texto";
+}
+export function moduloTemStateComTransicao(modulo) {
+    return modulo.states.some((state) => (localizarBloco(state.corpo, "transitions")?.linhas.length ?? 0) > 0);
+}
+//# sourceMappingURL=analisador.part06.js.map

package/node_modules/@sema/nucleo/dist/semantico/analisador.part06.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part06.js","sourceRoot":"","sources":["../../src/semantico/analisador.part06.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AA2B9E,OAAO,EAOL,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAsBzB,OAAO,EAAuB,4BAA4B,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACxK,OAAO,EAAE,yBAAyB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACxI,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAA4B,wBAAwB,EAAE,cAAc,EAAE,mBAAmB,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEzK,MAAM,UAAU,0BAA0B,CACxC,IAAa,EACb,gBAA0D,EAC1D,YAA2B;IAE3B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK,CAAC;IAClI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,uDAAuD,EACzE,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,2GAA2G,CAC5G,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,gBAAgB,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IACnE,MAAM,eAAe,GAAG,gBAAgB,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IACtE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,eAAe;SACZ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SACtD,MAAM,CAAC,CAAC,SAAS,EAA8C,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;SACrF,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,CAChF,CAAC;IAEF,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;WACnD,CAAC,gBAAgB,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAChF,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,uBAAuB,UAAU,uCAAuC,EAC1F,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,8EAA8E,CAC/E,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,uBAAuB,UAAU,4BAA4B,EAC/E,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,6EAA6E,CAC9E,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,+CAA+C,UAAU,OAAO,KAAK,CAAC,QAAQ,IAAI,EACpG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,0EAA0E,CAC3E,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,eAAe,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC9F,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,2BAA2B,SAAS,CAAC,MAAM,OAAO,SAAS,CAAC,OAAO,gCAAgC,UAAU,IAAI,EACnI,MAAM,EACN,KAAK,CAAC,SAAS,EACf,6DAA6D,CAC9D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAe,EACf,QAAgB,EAChB,iBAAmD,EACnD,YAA2B;IAE3B,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC5D,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAErD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,eAAe,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,gBAAgB,GAAG,aAAa,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAAG,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAE1D,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,6BAA6B,KAAK,CAAC,IAAI,kCAAkC,QAAQ,IAAI,EACzG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,kEAAkE,CACnE,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;gBACnC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,8BAA8B,KAAK,CAAC,IAAI,eAAe,KAAK,CAAC,KAAK,kBAAkB,QAAQ,UAAU,SAAS,CAAC,IAAI,IAAI,EAC5I,MAAM,EACN,KAAK,CAAC,SAAS,EACf,kEAAkE,CACnE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,aAAa,EAAE,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,8BAA8B,KAAK,CAAC,IAAI,kCAAkC,QAAQ,IAAI,EAC1G,MAAM,EACN,KAAK,CAAC,SAAS,EACf,mEAAmE,CACpE,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;gBACnC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,uCAAuC,KAAK,CAAC,IAAI,eAAe,KAAK,CAAC,KAAK,kBAAkB,QAAQ,UAAU,SAAS,CAAC,IAAI,IAAI,EACrJ,MAAM,EACN,KAAK,CAAC,SAAS,EACf,oEAAoE,CACrE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;YACxC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,mBAAmB,KAAK,CAAC,IAAI,gDAAgD,QAAQ,IAAI,EAC7G,MAAM,EACN,KAAK,CAAC,SAAS,EACf,8DAA8D,CAC/D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,KAAe,EACf,eAA4B,EAC5B,iBAAmD,EACnD,YAA2B;IAE3B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAEvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,oCAAoC,EACxD,MAAM,EACN,KAAK,CAAC,SAAS,EACf,4DAA4D,CAC7D,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,qCAAqC,EACzD,MAAM,EACN,KAAK,CAAC,SAAS,EACf,0CAA0C,CAC3C,CACF,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YACpD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,0BAA0B,MAAM,CAAC,KAAK,IAAI,EAC9D,MAAM,EACN,MAAM,CAAC,SAAS,EAChB,oDAAoD,CACrD,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,OAAO,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACxE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACN,UAAU,KAAK,CAAC,IAAI,8CAA8C,EAClE,MAAM,EACN,OAAO,CAAC,SAAS,EACjB,yCAAyC,CAC5C,CACF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,wBAAwB,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,oBAAoB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAErE,MAAM,eAAe,GAAG,+BAA+B,CACrD,KAAK,CAAC,KAAK,EACX,OAAO,EACP,YAAY,EACZ,UAAU,KAAK,CAAC,IAAI,GAAG,CACxB,CAAC;IACF,yBAAyB,CACvB,UAAU,KAAK,CAAC,IAAI,GAAG,EACvB,KAAK,CAAC,SAAS,EACf,eAAe,EACf,YAAY,EACZ;QACE,OAAO,EAAE,4BAA4B,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,SAAS;QAC3E,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,IAAI,eAAe,CAAC,kBAAkB,IAAI,eAAe,CAAC,cAAc;KACxG,CACF,CAAC;IAEF,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,sBAAsB,IAAI,CAAC,KAAK,mBAAmB,EACvE,MAAM,EACN,IAAI,CAAC,SAAS,EACd,8EAA8E,CAC/E,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,IAAI,EAAE,CAAC;QACT,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAiB,EAAE,YAA2B;IACvF,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAErD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7D,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,IAAI;eAC/D,4BAA4B,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC;QACzE,MAAM,6BAA6B,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAChE,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,KAAK,KAAK,IAAI,CAAC,IAAI;eACnE,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,MAAM,UAAU,GAAG,+BAA+B,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QAE/G,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;QACzE,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,uBAAuB,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CAAC,kBAAkB,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;QAC/C,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,6BAA6B,EAAE,CAAC;YACjD,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACxF,CAAC;QAED,MAAM,gBAAgB,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QACtC,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,SAAS;QACX,CAAC;QAED,MAAM,cAAc,GAAG;YACrB,GAAG,uBAAuB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,+BAA+B,CAAC,KAAK,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YACnK,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,SAAS,EAAE,cAAc,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;SAC1N,CAAC;QACF,MAAM,aAAa,GAA6B;YAC9C,IAAI,EAAE,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,IAAI,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;YAC5H,KAAK,EAAE;gBACL,GAAG,UAAU,CAAC,KAAK;gBACnB,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;gBAChG,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9G,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAClH;YACD,KAAK,EAAE;gBACL,GAAG,UAAU,CAAC,KAAK;gBACnB,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;gBAChG,MAAM,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;aACjG;YACD,KAAK,EAAE,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE;YAChI,QAAQ,EAAE;gBACR,GAAG,UAAU,CAAC,QAAQ;gBACtB,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;gBACtG,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;aACpG;YACD,SAAS,EAAE;gBACT,GAAG,UAAU,CAAC,SAAS;gBACvB,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,SAAS,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC;gBACxG,MAAM,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aACvH;YACD,kBAAkB,EAAE,UAAU,CAAC,kBAAkB,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC;YAC/G,cAAc,EAAE,UAAU,CAAC,cAAc,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC;YACnG,aAAa,EAAE,UAAU,CAAC,aAAa,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC;SACjG,CAAC;QAEF,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,IAAI,6BAA6B,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnF,yBAAyB,CACvB,SAAS,IAAI,CAAC,IAAI,wBAAwB,EAC1C,IAAI,CAAC,SAAS,EACd,aAAa,EACb,YAAY,EACZ,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CACnC,CAAC;QACJ,CAAC;QAED,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,yDAAyD,aAAa,2CAA2C,EACnI,OAAO,EACP,IAAI,CAAC,SAAS,EACd,wGAAwG,CACzG,CACF,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,8CAA8C,aAAa,4CAA4C,EACzH,OAAO,EACP,IAAI,CAAC,SAAS,EACd,uGAAuG,CACxG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAC7D,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC;YACzD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,sBAAsB,IAAI,CAAC,IAAI,KAAK,cAAc,6FAA6F,EAC/I,OAAO,EACP,IAAI,CAAC,UAAU,CAAC,SAAS,EACzB,kFAAkF,IAAI,CAAC,IAAI,GAAG,CAC/F,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAAiB;IAC1D,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7G,CAAC"}

package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.d.ts

@@ -0,0 +1,11 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { BlocoCasoTesteAst, ModuloAst, TaskAst } from "../ast/tipos.js";
+import { ContextoSemantico } from "./analisador.part01.js";
+export declare function validarStatusTextoComState(modulo: ModuloAst, diagnosticos: Diagnostico[]): void;
+export declare function criarContextoLocal(modulo: ModuloAst): ContextoSemantico;
+export declare function validarTask(task: TaskAst, tiposConhecidos: Set<string>, statesConhecidos: Map<string, {
+    transicoes: Set<string>;
+}>, diagnosticos: Diagnostico[]): void;
+export declare function validarTesteSemanticoForte(task: TaskAst, caso: BlocoCasoTesteAst, diagnosticos: Diagnostico[]): void;
+export declare function emitirDiagnosticosContratoFrouxo(task: TaskAst, diagnosticos: Diagnostico[]): void;
+export declare function validarCasoTeste(task: TaskAst, caso: BlocoCasoTesteAst, diagnosticos: Diagnostico[]): void;

package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.js

@@ -0,0 +1,247 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { parsearTransicaoEstado, } from "./estruturas.js";
+import { campoStatusTexto, moduloTemStateComTransicao, validarVinculoEstadoDaTask } from "./analisador.part06.js";
+import { TIPOS_PRIMITIVOS, coletarResumoTask, ehUseInterop, localizarBloco, validarCamposDeTipos, validarImplementacoesTask, validarVinculos } from "./analisador.part01.js";
+import { emitirGuardrailsSeguranca, serializarTransicao, validarEfeitosDeclarados, validarErroOperacional, validarExpressoesDeclaradas } from "./analisador.part04.js";
+import { taskEhSensivel, validarExecucao } from "./analisador.part02.js";
+import { coletarPerfilSegurancaDeclarado } from "./analisador.part03.js";
+export function validarStatusTextoComState(modulo, diagnosticos) {
+    if (!moduloTemStateComTransicao(modulo)) {
+        return;
+    }
+    for (const entity of modulo.entities) {
+        const fields = localizarBloco(entity.corpo, "fields");
+        for (const campo of fields?.campos ?? []) {
+            if (!campoStatusTexto(campo)) {
+                continue;
+            }
+            diagnosticos.push(criarDiagnostico("SEM100", `Entity "${entity.nome}" declara "${campo.nome}: Texto" enquanto o modulo tem state com transitions.`, "aviso", campo.intervalo, "Prefira enum/status de dominio para impedir que a IA invente estados fora do ciclo declarado."));
+        }
+    }
+}
+export function criarContextoLocal(modulo) {
+    const simbolos = new Map();
+    const tiposConhecidos = new Set(TIPOS_PRIMITIVOS);
+    const tasksConhecidas = new Set();
+    const tarefasDetalhadas = new Map();
+    const statesConhecidos = new Map();
+    const enumsConhecidos = new Map();
+    const registrar = (nome, categoria) => {
+        if (simbolos.has(nome)) {
+            return;
+        }
+        simbolos.set(nome, { nome, categoria });
+        if (categoria === "task") {
+            tasksConhecidas.add(nome);
+            return;
+        }
+        if (categoria !== "database") {
+            tiposConhecidos.add(nome);
+        }
+    };
+    for (const type of modulo.types) {
+        registrar(type.nome, "tipo");
+    }
+    for (const entity of modulo.entities) {
+        registrar(entity.nome, "entity");
+    }
+    for (const enumeracao of modulo.enums) {
+        registrar(enumeracao.nome, "enum");
+        enumsConhecidos.set(enumeracao.nome, new Set(enumeracao.valores));
+    }
+    for (const task of modulo.tasks) {
+        registrar(task.nome, "task");
+        tarefasDetalhadas.set(task.nome, coletarResumoTask(task));
+    }
+    for (const flow of modulo.flows) {
+        registrar(flow.nome, "flow");
+    }
+    for (const route of modulo.routes) {
+        registrar(route.nome, "route");
+    }
+    for (const worker of modulo.workers) {
+        if (worker.nome) {
+            registrar(worker.nome, "worker");
+        }
+    }
+    for (const evento of modulo.eventos) {
+        if (evento.nome) {
+            registrar(evento.nome, "evento");
+        }
+    }
+    for (const fila of modulo.filas) {
+        if (fila.nome) {
+            registrar(fila.nome, "fila");
+        }
+    }
+    for (const cron of modulo.crons) {
+        if (cron.nome) {
+            registrar(cron.nome, "cron");
+        }
+    }
+    for (const webhook of modulo.webhooks) {
+        if (webhook.nome) {
+            registrar(webhook.nome, "webhook");
+        }
+    }
+    for (const cache of modulo.caches) {
+        if (cache.nome) {
+            registrar(cache.nome, "cache");
+        }
+    }
+    for (const storage of modulo.storages) {
+        if (storage.nome) {
+            registrar(storage.nome, "storage");
+        }
+    }
+    for (const policy of modulo.policies) {
+        if (policy.nome) {
+            registrar(policy.nome, "policy");
+        }
+    }
+    for (const database of modulo.databases) {
+        if (database.nome) {
+            registrar(database.nome, "database");
+        }
+    }
+    for (const state of modulo.states) {
+        if (state.nome) {
+            registrar(state.nome, "state");
+            const transicoes = new Set((localizarBloco(state.corpo, "transitions")?.linhas ?? [])
+                .map((linha) => parsearTransicaoEstado(linha.conteudo))
+                .filter((linha) => Boolean(linha))
+                .map((linha) => serializarTransicao(linha.origem, linha.destino)));
+            statesConhecidos.set(state.nome, { transicoes });
+        }
+    }
+    return {
+        modulo: modulo.nome,
+        simbolos,
+        tiposConhecidos,
+        tasksConhecidas,
+        tarefasDetalhadas,
+        statesConhecidos,
+        modulosImportados: [],
+        interoperabilidades: modulo.uses
+            .filter(ehUseInterop)
+            .map((use) => ({ origem: use.origem, caminho: use.caminho })),
+        enumsConhecidos,
+    };
+}
+export function validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos) {
+    if (!task.input) {
+        diagnosticos.push(criarDiagnostico("SEM003", `Task "${task.nome}" precisa declarar input.`, "erro", task.intervalo, "Toda task precisa declarar as entradas de forma explicita."));
+    }
+    if (!task.output) {
+        diagnosticos.push(criarDiagnostico("SEM004", `Task "${task.nome}" precisa declarar output.`, "erro", task.intervalo, "Toda task precisa declarar a saida esperada."));
+    }
+    if (!task.guarantees) {
+        diagnosticos.push(criarDiagnostico("SEM005", `Task "${task.nome}" precisa declarar guarantees.`, "erro", task.intervalo, "A proposta da Sema e falhar cedo quando a pos-condicao nao esta explicita."));
+    }
+    if (task.input) {
+        validarCamposDeTipos(task.input.campos, tiposConhecidos, diagnosticos, `input da task ${task.nome}`);
+    }
+    if (task.output) {
+        validarCamposDeTipos(task.output.campos, tiposConhecidos, diagnosticos, `output da task ${task.nome}`);
+    }
+    const entradasConhecidas = new Set(task.input?.campos.map((campo) => campo.nome) ?? []);
+    const saidasConhecidas = new Set(task.output?.campos.map((campo) => campo.nome) ?? []);
+    if (task.state) {
+        for (const campo of task.output?.campos ?? []) {
+            if (!campoStatusTexto(campo)) {
+                continue;
+            }
+            diagnosticos.push(criarDiagnostico("SEM100", `Task "${task.nome}" declara output "${campo.nome}: Texto" enquanto governa state.`, "aviso", campo.intervalo, "Use um enum/status de dominio no output para manter a transicao rastreavel para IA."));
+        }
+    }
+    if (task.rules) {
+        validarExpressoesDeclaradas(task.rules.linhas, diagnosticos, {
+            codigoErroSintaxe: "SEM021",
+            codigoErroReferencia: "SEM022",
+            nomeBloco: `rules da task ${task.nome}`,
+            simbolosPermitidos: entradasConhecidas,
+            dicaSintaxe: "Use expressoes como \"campo existe\", \"campo > 0\", \"campo em [A, B]\" ou \"campo deve_ser predicado\".",
+            dicaReferencia: "No MVP atual, rules devem referenciar apenas campos do input.",
+            dicaReferenciaPersonalizada: (raiz) => (saidasConhecidas.has(raiz)
+                ? `\"${raiz}\" parece vir do output. Rules devem validar entrada; se a intencao era afirmar pos-condicao, mova isso para guarantees.`
+                : undefined),
+        });
+    }
+    if (task.effects) {
+        validarEfeitosDeclarados(task.effects.linhas, diagnosticos, `effects da task ${task.nome}`);
+    }
+    validarVinculos(task.vinculos, diagnosticos, `task ${task.nome}`);
+    validarExecucao(task, diagnosticos);
+    const perfilSeguranca = coletarPerfilSegurancaDeclarado(task.corpo, task.effects, diagnosticos, `task "${task.nome}"`);
+    emitirGuardrailsSeguranca(`Task "${task.nome}"`, task.intervalo, perfilSeguranca, diagnosticos, {
+        publico: false,
+        sensivel: taskEhSensivel(task) || perfilSeguranca.efeitoPrivilegiado || perfilSeguranca.dadosSensiveis || perfilSeguranca.exigeSegredos,
+    });
+    validarImplementacoesTask(task, diagnosticos);
+    if (task.tests) {
+        for (const bloco of task.tests.blocos) {
+            if (bloco.tipo !== "caso_teste") {
+                continue;
+            }
+            validarCasoTeste(task, bloco, diagnosticos);
+            validarTesteSemanticoForte(task, bloco, diagnosticos);
+        }
+    }
+    if (task.guarantees && task.output) {
+        validarExpressoesDeclaradas(task.guarantees.linhas, diagnosticos, {
+            codigoErroSintaxe: "SEM030",
+            codigoErroReferencia: "SEM031",
+            nomeBloco: `guarantees da task ${task.nome}`,
+            simbolosPermitidos: saidasConhecidas,
+            dicaSintaxe: "Use expressoes como \"saida existe\", \"saida == valor\" ou \"saida em [A, B]\" nas guarantees.",
+            dicaReferencia: "No MVP atual, guarantees devem referenciar campos do output ou marcadores semanticos permitidos.",
+            aceitarMarcadoresSemanticos: true,
+            dicaReferenciaPersonalizada: (raiz) => (entradasConhecidas.has(raiz)
+                ? `\"${raiz}\" parece vir do input. Guarantees devem afirmar output, estado ou marcadores semanticos; se a intencao era validar entrada, mova isso para rules.`
+                : undefined),
+        });
+    }
+    validarErroOperacional(task, diagnosticos);
+    const blocoInternoTests = localizarBloco(task.corpo, "tests");
+    if (blocoInternoTests && blocoInternoTests.blocos.length === 0) {
+        diagnosticos.push(criarDiagnostico("SEM007", `Task "${task.nome}" declarou tests sem casos.`, "erro", blocoInternoTests.intervalo, "Adicione ao menos um bloco caso dentro de tests."));
+    }
+    validarVinculoEstadoDaTask(task, statesConhecidos, diagnosticos);
+}
+export function validarTesteSemanticoForte(task, caso, diagnosticos) {
+    if (!taskEhSensivel(task) || !caso.expect) {
+        return;
+    }
+    const possuiErroEsperado = Boolean(caso.error
+        && (caso.error.campos.length > 0 || caso.error.linhas.length > 0 || caso.error.blocos.length > 0));
+    if (possuiErroEsperado) {
+        return;
+    }
+    const camposExpect = caso.expect.campos.filter((campo) => campo.nome !== "");
+    const somenteSucesso = camposExpect.length === 1
+        && camposExpect[0]?.nome === "sucesso"
+        && caso.expect.linhas.length === 0
+        && caso.expect.blocos.length === 0;
+    if (!somenteSucesso) {
+        return;
+    }
+    diagnosticos.push(criarDiagnostico("SEM102", `Caso de teste "${caso.nome}" da task sensivel "${task.nome}" valida apenas sucesso.`, "aviso", caso.expect.intervalo, "Inclua algum output, erro esperado ou garantia observavel para a IA nao tratar 'sucesso' como contrato completo."));
+}
+export function emitirDiagnosticosContratoFrouxo(task, diagnosticos) {
+    for (const bloco of task.tests?.blocos ?? []) {
+        if (bloco.tipo === "caso_teste") {
+            validarTesteSemanticoForte(task, bloco, diagnosticos);
+        }
+    }
+}
+export function validarCasoTeste(task, caso, diagnosticos) {
+    if (!caso.given) {
+        diagnosticos.push(criarDiagnostico("SEM008", `Caso de teste "${caso.nome}" da task "${task.nome}" precisa declarar given.`, "erro", caso.intervalo));
+    }
+    if (!caso.expect) {
+        diagnosticos.push(criarDiagnostico("SEM009", `Caso de teste "${caso.nome}" da task "${task.nome}" precisa declarar expect.`, "erro", caso.intervalo));
+    }
+}
+//# sourceMappingURL=analisador.part07.js.map

package/node_modules/@sema/nucleo/dist/semantico/analisador.part07.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part07.js","sourceRoot":"","sources":["../../src/semantico/analisador.part07.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AA2B9E,OAAO,EAOL,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAsBzB,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAClH,OAAO,EAA4D,gBAAgB,EAAE,iBAAiB,EAAE,YAAY,EAAE,cAAc,EAAE,oBAAoB,EAAE,yBAAyB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACvO,OAAO,EAAE,yBAAyB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,sBAAsB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AACvK,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AAEzE,MAAM,UAAU,0BAA0B,CAAC,MAAiB,EAAE,YAA2B;IACvF,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,MAAM,CAAC,IAAI,cAAc,KAAK,CAAC,IAAI,uDAAuD,EACrG,OAAO,EACP,KAAK,CAAC,SAAS,EACf,+FAA+F,CAChG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAiB;IAClD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IACjE,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAuC,CAAC;IACxE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEvD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,SAAwC,EAAQ,EAAE;QACjF,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO;QACT,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACxC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACzB,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACtC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACnC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;YACjB,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACxC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;YAClB,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC/B,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;iBACvD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;iBACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;iBACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CACpE,CAAC;YACF,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;QACnD,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,IAAI;QACnB,QAAQ;QACR,eAAe;QACf,eAAe;QACf,iBAAiB;QACjB,gBAAgB;QAChB,iBAAiB,EAAE,EAAE;QACrB,mBAAmB,EAAE,MAAM,CAAC,IAAI;aAC7B,MAAM,CAAC,YAAY,CAAC;aACpB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/D,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAa,EACb,eAA4B,EAC5B,gBAA0D,EAC1D,YAA2B;IAE3B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,2BAA2B,EAC7C,MAAM,EACN,IAAI,CAAC,SAAS,EACd,4DAA4D,CAC7D,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,4BAA4B,EAC9C,MAAM,EACN,IAAI,CAAC,SAAS,EACd,8CAA8C,CAC/C,CACF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QACrB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,gCAAgC,EAClD,MAAM,EACN,IAAI,CAAC,SAAS,EACd,4EAA4E,CAC7E,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,iBAAiB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,kBAAkB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACxF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAEvF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,qBAAqB,KAAK,CAAC,IAAI,kCAAkC,EACnF,OAAO,EACP,KAAK,CAAC,SAAS,EACf,qFAAqF,CACtF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,2BAA2B,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE;YAC3D,iBAAiB,EAAE,QAAQ;YAC3B,oBAAoB,EAAE,QAAQ;YAC9B,SAAS,EAAE,iBAAiB,IAAI,CAAC,IAAI,EAAE;YACvC,kBAAkB,EAAE,kBAAkB;YACtC,WAAW,EAAE,2GAA2G;YACxH,cAAc,EAAE,+DAA+D;YAC/E,2BAA2B,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CACrC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC;gBACxB,CAAC,CAAC,KAAK,IAAI,0HAA0H;gBACrI,CAAC,CAAC,SAAS,CACd;SACF,CAAC,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,mBAAmB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAClE,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAEpC,MAAM,eAAe,GAAG,+BAA+B,CACrD,IAAI,CAAC,KAAK,EACV,IAAI,CAAC,OAAO,EACZ,YAAY,EACZ,SAAS,IAAI,CAAC,IAAI,GAAG,CACtB,CAAC;IACF,yBAAyB,CACvB,SAAS,IAAI,CAAC,IAAI,GAAG,EACrB,IAAI,CAAC,SAAS,EACd,eAAe,EACf,YAAY,EACZ;QACE,OAAO,EAAE,KAAK;QACd,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,kBAAkB,IAAI,eAAe,CAAC,cAAc,IAAI,eAAe,CAAC,aAAa;KACxI,CACF,CAAC;IAEF,yBAAyB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAE9C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAChC,SAAS;YACX,CAAC;YACD,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;YAC5C,0BAA0B,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACnC,2BAA2B,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE;YAChE,iBAAiB,EAAE,QAAQ;YAC3B,oBAAoB,EAAE,QAAQ;YAC9B,SAAS,EAAE,sBAAsB,IAAI,CAAC,IAAI,EAAE;YAC5C,kBAAkB,EAAE,gBAAgB;YACpC,WAAW,EAAE,iGAAiG;YAC9G,cAAc,EAAE,kGAAkG;YAClH,2BAA2B,EAAE,IAAI;YACjC,2BAA2B,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CACrC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC;gBAC1B,CAAC,CAAC,KAAK,IAAI,oJAAoJ;gBAC/J,CAAC,CAAC,SAAS,CACd;SACF,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAE3C,MAAM,iBAAiB,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC9D,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,6BAA6B,EAC/C,MAAM,EACN,iBAAiB,CAAC,SAAS,EAC3B,kDAAkD,CACnD,CACF,CAAC;IACJ,CAAC;IAED,0BAA0B,CAAC,IAAI,EAAE,gBAAgB,EAAE,YAAY,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,IAAa,EAAE,IAAuB,EAAE,YAA2B;IAC5G,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,OAAO;IACT,CAAC;IAED,MAAM,kBAAkB,GAAG,OAAO,CAChC,IAAI,CAAC,KAAK;WACP,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAClG,CAAC;IACF,IAAI,kBAAkB,EAAE,CAAC;QACvB,OAAO;IACT,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;IAC7E,MAAM,cAAc,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC;WAC3C,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,SAAS;WACnC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;WAC/B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;IAErC,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;IACT,CAAC;IAED,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,kBAAkB,IAAI,CAAC,IAAI,uBAAuB,IAAI,CAAC,IAAI,0BAA0B,EACrF,OAAO,EACP,IAAI,CAAC,MAAM,CAAC,SAAS,EACrB,kHAAkH,CACnH,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gCAAgC,CAAC,IAAa,EAAE,YAA2B;IACzF,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,0BAA0B,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,IAAa,EAAE,IAAuB,EAAE,YAA2B;IAClG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,kBAAkB,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,2BAA2B,EAC7E,MAAM,EACN,IAAI,CAAC,SAAS,CACf,CACF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,kBAAkB,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,4BAA4B,EAC9E,MAAM,EACN,IAAI,CAAC,SAAS,CACf,CACF,CAAC;IACJ,CAAC;AACH,CAAC"}

package/node_modules/@sema/nucleo/dist/semantico/analisador.part08.d.ts

@@ -0,0 +1,3 @@
+import type { ModuloAst } from "../ast/tipos.js";
+import { OpcoesAnaliseSemantica, ResultadoSemantico } from "./analisador.part01.js";
+export declare function analisarSemantica(modulo: ModuloAst, opcoes?: OpcoesAnaliseSemantica): ResultadoSemantico;