@semacode/cli 1.5.35 → 1.5.37

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

@@ -0,0 +1,200 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { ehCategoriaEfeitoSemantico, ehCriticidadeEfeitoSemantico, extrairReferenciasDaExpressao, parsearEfeitoSemantico, parsearExpressaoSemantica, } from "./estruturas.js";
+import { superficieEhPublica, validarExecucaoBloco } from "./analisador.part02.js";
+import { CAMPOS_ERRO_OPERACIONAL, diagnosticoDuplicado, ehMarcadorSemantico, extrairRaiz, localizarBloco, localizarCampo, validarCamposDeTipos, validarVinculos } from "./analisador.part01.js";
+import { coletarPerfilSegurancaDeclarado } from "./analisador.part03.js";
+export function emitirGuardrailsSeguranca(contexto, intervalo, perfil, diagnosticos, opcoes) {
+    const exigeAuth = opcoes.publico;
+    const exigeAuthz = opcoes.publico || opcoes.sensivel || perfil.efeitoPrivilegiado || perfil.dadosSensiveis;
+    const exigeDados = opcoes.publico || opcoes.sensivel || perfil.efeitoPrivilegiado;
+    const exigeAudit = opcoes.publico || opcoes.sensivel || perfil.efeitoPrivilegiado || perfil.dadosSensiveis;
+    const exigeSegredos = perfil.exigeSegredos;
+    const exigeForbidden = perfil.efeitoPrivilegiado || perfil.dadosSensiveis;
+    if (exigeAuth && !perfil.auth.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM094", `${contexto} deveria declarar auth explicita para reduzir ambiguidade de seguranca na borda publica.`, "aviso", intervalo, "Declare auth { modo: obrigatorio|anonimo ... } para deixar a intencao da exposicao publica cristalina."));
+    }
+    if (exigeAuthz && !perfil.authz.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM095", `${contexto} deveria declarar authz explicita porque opera com risco, privilegio ou exposicao publica.`, "aviso", intervalo, "Declare papeis, escopos ou politica em authz para nao empurrar autorizacao para o limbo do codigo vivo."));
+    }
+    if (exigeDados && !perfil.dados.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM096", `${contexto} deveria classificar dados de forma explicita em dados { ... }.`, "aviso", intervalo, "Classifique input/output com publico, interno, pii, financeiro, credencial ou segredo."));
+    }
+    if (exigeAudit && !perfil.audit.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM097", `${contexto} deveria declarar audit explicita para operar com trilha semantica de seguranca.`, "aviso", intervalo, "Declare audit { evento: ... correlacao: ... motivo: ... } para nao depender de adivinhacao operacional."));
+    }
+    if (exigeSegredos && !perfil.segredos.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM098", `${contexto} deveria declarar segredos explicitos porque toca credencial, segredo ou secret.read.`, "aviso", intervalo, "Use segredos { nome { origem: vault escopo: runtime ... } } para governar acesso sensivel."));
+    }
+    if (exigeForbidden && !perfil.forbidden.explicita) {
+        diagnosticos.push(criarDiagnostico("SEM099", `${contexto} deveria declarar forbidden explicito para proibir operacoes perigosas ou vazamento semantico.`, "aviso", intervalo, "Use forbidden { network.egress shell.exec log.segredo retorno.credencial } conforme o risco da operacao."));
+    }
+}
+export function validarErroOperacional(task, diagnosticos) {
+    if (!task.error) {
+        return;
+    }
+    const nomes = new Set();
+    for (const campo of task.error.campos) {
+        if (nomes.has(campo.nome)) {
+            diagnosticos.push(diagnosticoDuplicado(campo.nome, "Erro", campo.intervalo));
+        }
+        nomes.add(campo.nome);
+    }
+    for (const bloco of task.error.blocos) {
+        if (bloco.tipo !== "bloco_generico") {
+            continue;
+        }
+        const codigo = bloco.nome ?? bloco.palavraChave;
+        if (!codigo || codigo === "desconhecido") {
+            continue;
+        }
+        if (nomes.has(codigo)) {
+            diagnosticos.push(diagnosticoDuplicado(codigo, "Erro", bloco.intervalo));
+        }
+        nomes.add(codigo);
+        const mensagem = localizarCampo(bloco, "mensagem");
+        if (!mensagem) {
+            diagnosticos.push(criarDiagnostico("SEM067", `Erro estruturado "${codigo}" da task "${task.nome}" precisa declarar mensagem.`, "erro", bloco.intervalo, "Use error { codigo { mensagem: \"...\" categoria: dominio ... } }."));
+        }
+        for (const campo of bloco.campos) {
+            if (!CAMPOS_ERRO_OPERACIONAL.has(campo.nome)) {
+                diagnosticos.push(criarDiagnostico("SEM068", `Erro estruturado "${codigo}" da task "${task.nome}" usa o campo "${campo.nome}", que nao e suportado.`, "erro", campo.intervalo, "Use mensagem, categoria, recuperabilidade, acao_chamador, impacta_estado ou requer_compensacao."));
+            }
+        }
+    }
+}
+export function validarSuperficie(superficie, tipoSuperficie, tasksConhecidas, tiposConhecidos, diagnosticos) {
+    const nomeSuperficie = superficie.nome ?? tipoSuperficie;
+    const task = localizarCampo(superficie, "task", "tarefa");
+    const input = localizarBloco(superficie, "input");
+    const output = localizarBloco(superficie, "output");
+    const effects = localizarBloco(superficie, "effects");
+    const impl = localizarBloco(superficie, "impl");
+    const vinculos = localizarBloco(superficie, "vinculos");
+    const execucao = localizarBloco(superficie, "execucao");
+    if (!task && !impl && !vinculos) {
+        diagnosticos.push(criarDiagnostico("SEM069", `Superficie ${tipoSuperficie} "${nomeSuperficie}" precisa declarar task, impl ou vinculos para nao virar bloco decorativo.`, "erro", superficie.intervalo, "Declare ao menos uma task associada, um impl explicito ou vinculos rastreaveis com codigo vivo."));
+    }
+    if (task && !tasksConhecidas.has(task.valor)) {
+        diagnosticos.push(criarDiagnostico("SEM070", `Superficie ${tipoSuperficie} "${nomeSuperficie}" referencia task "${task.valor}" que nao existe.`, "erro", task.intervalo, "Ajuste a task para apontar para uma task declarada ou importada."));
+    }
+    if (input) {
+        validarCamposDeTipos(input.campos, tiposConhecidos, diagnosticos, `input da superficie ${tipoSuperficie} ${nomeSuperficie}`);
+    }
+    if (output) {
+        validarCamposDeTipos(output.campos, tiposConhecidos, diagnosticos, `output da superficie ${tipoSuperficie} ${nomeSuperficie}`);
+    }
+    if (effects) {
+        validarEfeitosDeclarados(effects.linhas, diagnosticos, `effects da superficie ${tipoSuperficie} ${nomeSuperficie}`);
+    }
+    validarExecucaoBloco(execucao, diagnosticos, `superficie ${tipoSuperficie} "${nomeSuperficie}"`);
+    validarVinculos(vinculos, diagnosticos, `${tipoSuperficie} ${nomeSuperficie}`);
+    const perfilSeguranca = coletarPerfilSegurancaDeclarado(superficie, effects, diagnosticos, `superficie ${tipoSuperficie} "${nomeSuperficie}"`);
+    emitirGuardrailsSeguranca(`Superficie ${tipoSuperficie} "${nomeSuperficie}"`, superficie.intervalo, perfilSeguranca, diagnosticos, {
+        publico: superficieEhPublica(superficie, tipoSuperficie),
+        sensivel: perfilSeguranca.efeitoPrivilegiado || perfilSeguranca.dadosSensiveis,
+    });
+}
+export function recomporCaminhoRoute(campo) {
+    if (!campo) {
+        return undefined;
+    }
+    return [campo.valor, ...campo.modificadores]
+        .join(" ")
+        .replace(/\s*\/\s*/g, "/")
+        .trim();
+}
+export function serializarTransicao(origem, destino) {
+    return `${origem}->${destino}`;
+}
+export function descreverSugestoes(valores, prefixo) {
+    const lista = [...new Set([...valores].filter(Boolean))].sort((a, b) => a.localeCompare(b, "pt-BR"));
+    if (lista.length === 0) {
+        return undefined;
+    }
+    const recorte = lista.slice(0, 6).join(", ");
+    return `${prefixo}: ${recorte}${lista.length > 6 ? ", ..." : ""}.`;
+}
+export function listarCandidatosUseRelativo(moduloAtual, caminhoImportado) {
+    const segmentos = moduloAtual.split(".").filter(Boolean);
+    const caminhoNormalizado = caminhoImportado.replace(/^\.+/u, "").trim();
+    if (!caminhoNormalizado || segmentos.length <= 1) {
+        return [];
+    }
+    const candidatos = [];
+    for (let tamanho = segmentos.length - 1; tamanho >= 1; tamanho -= 1) {
+        const candidato = [...segmentos.slice(0, tamanho), caminhoNormalizado].join(".");
+        if (candidato !== caminhoImportado) {
+            candidatos.push(candidato);
+        }
+    }
+    return [...new Set(candidatos)];
+}
+export function resolverUseSema(moduloAtual, caminhoImportado, contextosModulos) {
+    if (!contextosModulos) {
+        return { caminhoResolvido: undefined, candidatosRelativos: [] };
+    }
+    if (contextosModulos.has(caminhoImportado)) {
+        return { caminhoResolvido: caminhoImportado, candidatosRelativos: [] };
+    }
+    const candidatosRelativos = listarCandidatosUseRelativo(moduloAtual, caminhoImportado);
+    const caminhoResolvido = candidatosRelativos.find((candidato) => contextosModulos.has(candidato));
+    return { caminhoResolvido, candidatosRelativos };
+}
+export function descreverDicaSintaxeExpressao(texto, dicaPadrao) {
+    const normalizado = texto.trim();
+    if (/\sou\s/u.test(normalizado)
+        && (normalizado.includes("\"")
+            || normalizado.includes("'")
+            || /^[A-Za-z_][A-Za-z0-9_.]*\s*(==|!=|>|<|>=|<=)\s+.+\s+ou\s+.+$/u.test(normalizado))
+        && !/\bem\s+\[/u.test(normalizado)) {
+        const alvo = normalizado.match(/^([A-Za-z_][A-Za-z0-9_.]*)\s*(==|!=|>|<|>=|<=)/u)?.[1];
+        if (alvo) {
+            return `${dicaPadrao} Se a ideia era comparar ${alvo} contra varios valores, repita o campo em cada comparacao ou prefira "${alvo} em [A, B]".`;
+        }
+        return `${dicaPadrao} Se a ideia era comparar um campo contra varios valores, repita o campo em cada comparacao ou prefira "campo em [A, B]".`;
+    }
+    return dicaPadrao;
+}
+export function validarExpressoesDeclaradas(linhas, diagnosticos, contexto) {
+    for (const linha of linhas) {
+        const expressao = parsearExpressaoSemantica(linha.conteudo);
+        if (!expressao) {
+            diagnosticos.push(criarDiagnostico(contexto.codigoErroSintaxe, `Declaracao invalida em ${contexto.nomeBloco}: "${linha.conteudo}".`, "erro", linha.intervalo, descreverDicaSintaxeExpressao(linha.conteudo, contexto.dicaSintaxe)));
+            continue;
+        }
+        for (const referencia of extrairReferenciasDaExpressao(expressao)) {
+            const raiz = extrairRaiz(referencia);
+            const referenciaPermitida = contexto.simbolosPermitidos.has(raiz) || (contexto.aceitarMarcadoresSemanticos && ehMarcadorSemantico(raiz));
+            if (!referenciaPermitida) {
+                diagnosticos.push(criarDiagnostico(contexto.codigoErroReferencia, `Declaracao em ${contexto.nomeBloco} referencia "${raiz}", que nao pertence ao contexto permitido.`, "erro", linha.intervalo, contexto.dicaReferenciaPersonalizada?.(raiz, linha.conteudo) ?? contexto.dicaReferencia));
+            }
+        }
+    }
+}
+export function validarEfeitosDeclarados(linhas, diagnosticos, contexto) {
+    for (const linha of linhas) {
+        const efeito = parsearEfeitoSemantico(linha.conteudo);
+        if (!efeito) {
+            diagnosticos.push(criarDiagnostico("SEM023", `Declaracao invalida de efeito em ${contexto}: "${linha.conteudo}".`, "erro", linha.intervalo, "Use o formato \"categoria alvo\" ou \"categoria alvo detalhe\", podendo adicionar criticidade=..., privilegio=... e isolamento=...."));
+            continue;
+        }
+        if (!ehCategoriaEfeitoSemantico(efeito.categoria)) {
+            diagnosticos.push(criarDiagnostico("SEM048", `Categoria de efeito "${efeito.categoria}" nao e suportada em ${contexto}.`, "erro", linha.intervalo, "Use categorias como persistencia, consulta, evento, auditoria, db.write, queue.publish, fs.write, network.egress, secret.read ou shell.exec."));
+        }
+        if (efeito.criticidadeTexto && !ehCriticidadeEfeitoSemantico(efeito.criticidadeTexto)) {
+            diagnosticos.push(criarDiagnostico("SEM052", `Criticidade de efeito "${efeito.criticidadeTexto}" nao e suportada em ${contexto}.`, "erro", linha.intervalo, "Use apenas criticidade=baixa, criticidade=media, criticidade=alta ou criticidade=critica."));
+        }
+        if (efeito.privilegioTexto
+            && !["leitura", "escrita", "publicacao", "execucao", "admin", "egress"].includes(efeito.privilegioTexto)) {
+            diagnosticos.push(criarDiagnostico("SEM092", `Privilegio de efeito "${efeito.privilegioTexto}" nao e suportado em ${contexto}.`, "erro", linha.intervalo, "Use privilegio=leitura, privilegio=escrita, privilegio=publicacao, privilegio=execucao, privilegio=admin ou privilegio=egress."));
+        }
+        if (efeito.isolamentoTexto
+            && !["tenant", "processo", "host", "vps", "global"].includes(efeito.isolamentoTexto)) {
+            diagnosticos.push(criarDiagnostico("SEM093", `Isolamento de efeito "${efeito.isolamentoTexto}" nao e suportado em ${contexto}.`, "erro", linha.intervalo, "Use isolamento=tenant, isolamento=processo, isolamento=host, isolamento=vps ou isolamento=global."));
+        }
+    }
+}
+//# sourceMappingURL=analisador.part04.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part04.js","sourceRoot":"","sources":["../../src/semantico/analisador.part04.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AA2B9E,OAAO,EACL,0BAA0B,EAC1B,4BAA4B,EAC5B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,GAE1B,MAAM,iBAAiB,CAAC;AAsBzB,OAAO,EAA4B,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC7G,OAAO,EAAE,uBAAuB,EAAuC,oBAAoB,EAAE,mBAAmB,EAAE,WAAW,EAAE,cAAc,EAAE,cAAc,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACrO,OAAO,EAAE,+BAA+B,EAAE,MAAM,wBAAwB,CAAC;AAEzE,MAAM,UAAU,yBAAyB,CACvC,QAAgB,EAChB,SAA4C,EAC5C,MAAgC,EAChC,YAA2B,EAC3B,MAA+C;IAE/C,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC;IACjC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,cAAc,CAAC;IAC3G,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,kBAAkB,CAAC;IAClF,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,cAAc,CAAC;IAC3G,MAAM,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;IAC3C,MAAM,cAAc,GAAG,MAAM,CAAC,kBAAkB,IAAI,MAAM,CAAC,cAAc,CAAC;IAE1E,IAAI,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACxC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,0FAA0F,EACrG,OAAO,EACP,SAAS,EACT,wGAAwG,CACzG,CACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,4FAA4F,EACvG,OAAO,EACP,SAAS,EACT,yGAAyG,CAC1G,CACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,iEAAiE,EAC5E,OAAO,EACP,SAAS,EACT,wFAAwF,CACzF,CACF,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;QAC1C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,kFAAkF,EAC7F,OAAO,EACP,SAAS,EACT,yGAAyG,CAC1G,CACF,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;QAChD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,uFAAuF,EAClG,OAAO,EACP,SAAS,EACT,4FAA4F,CAC7F,CACF,CAAC;IACJ,CAAC;IACD,IAAI,cAAc,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QAClD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,gGAAgG,EAC3G,OAAO,EACP,SAAS,EACT,0GAA0G,CAC3G,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAa,EAAE,YAA2B;IAC/E,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/E,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC;QAChD,IAAI,CAAC,MAAM,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;YACzC,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3E,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAElB,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACnD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,qBAAqB,MAAM,cAAc,IAAI,CAAC,IAAI,8BAA8B,EAChF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,oEAAoE,CACrE,CACF,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,qBAAqB,MAAM,cAAc,IAAI,CAAC,IAAI,kBAAkB,KAAK,CAAC,IAAI,yBAAyB,EACvG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,iGAAiG,CAClG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,UAA4B,EAC5B,cAA6C,EAC7C,eAA4B,EAC5B,eAA4B,EAC5B,YAA2B;IAE3B,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,IAAI,cAAc,CAAC;IACzD,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,cAAc,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IAExD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,cAAc,cAAc,KAAK,cAAc,4EAA4E,EAC3H,MAAM,EACN,UAAU,CAAC,SAAS,EACpB,iGAAiG,CAClG,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,cAAc,cAAc,KAAK,cAAc,sBAAsB,IAAI,CAAC,KAAK,mBAAmB,EAClG,MAAM,EACN,IAAI,CAAC,SAAS,EACd,kEAAkE,CACnE,CACF,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,EAAE,CAAC;QACV,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,uBAAuB,cAAc,IAAI,cAAc,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,MAAM,EAAE,CAAC;QACX,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,wBAAwB,cAAc,IAAI,cAAc,EAAE,CAAC,CAAC;IACjI,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,wBAAwB,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,yBAAyB,cAAc,IAAI,cAAc,EAAE,CAAC,CAAC;IACtH,CAAC;IACD,oBAAoB,CAAC,QAAQ,EAAE,YAAY,EAAE,cAAc,cAAc,KAAK,cAAc,GAAG,CAAC,CAAC;IACjG,eAAe,CAAC,QAAQ,EAAE,YAAY,EAAE,GAAG,cAAc,IAAI,cAAc,EAAE,CAAC,CAAC;IAE/E,MAAM,eAAe,GAAG,+BAA+B,CACrD,UAAU,EACV,OAAO,EACP,YAAY,EACZ,cAAc,cAAc,KAAK,cAAc,GAAG,CACnD,CAAC;IACF,yBAAyB,CACvB,cAAc,cAAc,KAAK,cAAc,GAAG,EAClD,UAAU,CAAC,SAAS,EACpB,eAAe,EACf,YAAY,EACZ;QACE,OAAO,EAAE,mBAAmB,CAAC,UAAU,EAAE,cAAc,CAAC;QACxD,QAAQ,EAAE,eAAe,CAAC,kBAAkB,IAAI,eAAe,CAAC,cAAc;KAC/E,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAgB;IACnD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC;SACzC,IAAI,CAAC,GAAG,CAAC;SACT,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC;SACzB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,OAAe;IACjE,OAAO,GAAG,MAAM,KAAK,OAAO,EAAE,CAAC;AACjC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAyB,EAAE,OAAe;IAC3E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IACrG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,GAAG,OAAO,KAAK,OAAO,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,WAAmB,EAAE,gBAAwB;IACvF,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzD,MAAM,kBAAkB,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACxE,IAAI,CAAC,kBAAkB,IAAI,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,IAAI,OAAO,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACpE,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjF,IAAI,SAAS,KAAK,gBAAgB,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,WAAmB,EACnB,gBAAwB,EACxB,gBAAiD;IAEjD,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IAClE,CAAC;IAED,IAAI,gBAAgB,CAAC,GAAG,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC3C,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;IACzE,CAAC;IAED,MAAM,mBAAmB,GAAG,2BAA2B,CAAC,WAAW,EAAE,gBAAgB,CAAC,CAAC;IACvF,MAAM,gBAAgB,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;IAClG,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAa,EAAE,UAAkB;IAC7E,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IACE,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC;WACxB,CACD,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC;eACvB,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC;eACzB,+DAA+D,CAAC,IAAI,CAAC,WAAW,CAAC,CACrF;WACE,CAAC,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,EAClC,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,iDAAiD,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,GAAG,UAAU,4BAA4B,IAAI,yEAAyE,IAAI,cAAc,CAAC;QAClJ,CAAC;QACD,OAAO,GAAG,UAAU,0HAA0H,CAAC;IACjJ,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,MAAkC,EAClC,YAA2B,EAC3B,QASC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,CAAC,iBAAiB,EAC1B,0BAA0B,QAAQ,CAAC,SAAS,MAAM,KAAK,CAAC,QAAQ,IAAI,EACpE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,6BAA6B,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,CACpE,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,6BAA6B,CAAC,SAAS,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;YACrC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,2BAA2B,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC;YACzI,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBACzB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,CAAC,oBAAoB,EAC7B,iBAAiB,QAAQ,CAAC,SAAS,gBAAgB,IAAI,4CAA4C,EACnG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,QAAQ,CAAC,2BAA2B,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,cAAc,CACxF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAkC,EAAE,YAA2B,EAAE,QAAgB;IACxH,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,oCAAoC,QAAQ,MAAM,KAAK,CAAC,QAAQ,IAAI,EACpE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,qIAAqI,CACtI,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,CAAC,0BAA0B,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAClD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,wBAAwB,MAAM,CAAC,SAAS,wBAAwB,QAAQ,GAAG,EAC3E,MAAM,EACN,KAAK,CAAC,SAAS,EACf,8IAA8I,CAC/I,CACF,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,CAAC,gBAAgB,IAAI,CAAC,4BAA4B,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACtF,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,0BAA0B,MAAM,CAAC,gBAAgB,wBAAwB,QAAQ,GAAG,EACpF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,2FAA2F,CAC5F,CACF,CAAC;QACJ,CAAC;QAED,IACE,MAAM,CAAC,eAAe;eACnB,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,EACxG,CAAC;YACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,yBAAyB,MAAM,CAAC,eAAe,wBAAwB,QAAQ,GAAG,EAClF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,gIAAgI,CACjI,CACF,CAAC;QACJ,CAAC;QAED,IACE,MAAM,CAAC,eAAe;eACnB,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,EACpF,CAAC;YACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,yBAAyB,MAAM,CAAC,eAAe,wBAAwB,QAAQ,GAAG,EAClF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,mGAAmG,CACpG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,6 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { BlocoGenericoAst, FlowAst, StateAst } from "../ast/tipos.js";
+import { ResumoTaskSemantico } from "./analisador.part01.js";
+export declare function validarState(state: StateAst, tiposConhecidos: Set<string>, enumsConhecidos: Map<string, Set<string>>, diagnosticos: Diagnostico[]): void;
+export declare function validarInvariantesDeCampos(bloco: BlocoGenericoAst, nomeBloco: string, diagnosticos: Diagnostico[]): void;
+export declare function validarFlow(flow: FlowAst, tasksConhecidas: Set<string>, tarefasDetalhadas: Map<string, ResumoTaskSemantico>, diagnosticos: Diagnostico[]): void;

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

@@ -0,0 +1,193 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { extrairReferenciasDaExpressao, parsearEtapaFlow, parsearTransicaoEstado, } from "./estruturas.js";
+import { ehMarcadorSemantico, extrairRaiz, indiceErros, indicesCampos, localizarBloco, validarCamposDeTipos, validarVinculos } from "./analisador.part01.js";
+import { descreverSugestoes, validarEfeitosDeclarados, validarExpressoesDeclaradas } from "./analisador.part04.js";
+export function validarState(state, tiposConhecidos, enumsConhecidos, diagnosticos) {
+    const possuiConteudo = state.corpo.campos.length > 0 || state.corpo.linhas.length > 0 || state.corpo.blocos.length > 0;
+    if (!possuiConteudo) {
+        diagnosticos.push(criarDiagnostico("SEM011", `Bloco state${state.nome ? ` "${state.nome}"` : ""} precisa declarar campos, linhas ou subblocos.`, "erro", state.intervalo, "Use state para modelar informacao ou transicao observavel, nao como bloco vazio."));
+    }
+    validarCamposDeTipos(state.corpo.campos, tiposConhecidos, diagnosticos, `state ${state.nome ?? "<anonimo>"}`);
+    const fields = localizarBloco(state.corpo, "fields");
+    if (fields) {
+        validarCamposDeTipos(fields.campos, tiposConhecidos, diagnosticos, `fields do state ${state.nome ?? "<anonimo>"}`);
+    }
+    const nomesCampos = new Set([
+        ...state.corpo.campos.map((campo) => campo.nome),
+        ...(fields?.campos ?? []).map((campo) => campo.nome),
+    ]);
+    const invariants = localizarBloco(state.corpo, "invariants");
+    if (invariants) {
+        validarExpressoesDeclaradas(invariants.linhas, diagnosticos, {
+            codigoErroSintaxe: "SEM024",
+            codigoErroReferencia: "SEM025",
+            nomeBloco: `invariants do state ${state.nome ?? "<anonimo>"}`,
+            simbolosPermitidos: nomesCampos,
+            dicaSintaxe: "Use expressoes como \"campo existe\", \"campo == valor\" ou \"campo em [A, B]\".",
+            dicaReferencia: "Referencie apenas campos do proprio state nas invariantes.",
+        });
+    }
+    const transitions = localizarBloco(state.corpo, "transitions");
+    if (transitions) {
+        const campoTransicao = (fields?.campos ?? []).find((campo) => campo.nome === "status" || campo.nome === "estado")
+            ?? state.corpo.campos.find((campo) => campo.nome === "status" || campo.nome === "estado");
+        if (!campoTransicao) {
+            diagnosticos.push(criarDiagnostico("SEM026", `State ${state.nome ? `"${state.nome}" ` : ""}declarou transitions sem um campo status ou estado.`, "erro", transitions.intervalo, "Adicione um campo status ou estado para ancorar semanticamente as transicoes."));
+        }
+        const enumValores = campoTransicao ? enumsConhecidos.get(campoTransicao.valor) : undefined;
+        for (const linha of transitions.linhas) {
+            const transicao = parsearTransicaoEstado(linha.conteudo);
+            if (!transicao) {
+                diagnosticos.push(criarDiagnostico("SEM027", `Transicao invalida em state ${state.nome ?? "<anonimo>"}: "${linha.conteudo}".`, "erro", linha.intervalo, "Use o formato \"ORIGEM -> DESTINO\" para declarar transicoes."));
+                continue;
+            }
+            if (enumValores) {
+                if (!enumValores.has(transicao.origem)) {
+                    diagnosticos.push(criarDiagnostico("SEM028", `Transicao do state ${state.nome ?? "<anonimo>"} usa origem "${transicao.origem}" fora do enum ${campoTransicao?.valor}.`, "erro", linha.intervalo, "Use apenas valores declarados no enum associado ao campo status/estado."));
+                }
+                if (!enumValores.has(transicao.destino)) {
+                    diagnosticos.push(criarDiagnostico("SEM029", `Transicao do state ${state.nome ?? "<anonimo>"} usa destino "${transicao.destino}" fora do enum ${campoTransicao?.valor}.`, "erro", linha.intervalo, "Use apenas valores declarados no enum associado ao campo status/estado."));
+                }
+            }
+        }
+    }
+}
+export function validarInvariantesDeCampos(bloco, nomeBloco, diagnosticos) {
+    const fields = localizarBloco(bloco, "fields");
+    const nomesCampos = new Set([
+        ...bloco.campos.map((campo) => campo.nome),
+        ...(fields?.campos ?? []).map((campo) => campo.nome),
+    ]);
+    const invariants = localizarBloco(bloco, "invariants");
+    if (!invariants) {
+        return;
+    }
+    validarExpressoesDeclaradas(invariants.linhas, diagnosticos, {
+        codigoErroSintaxe: "SEM062",
+        codigoErroReferencia: "SEM063",
+        nomeBloco: `invariants de ${nomeBloco}`,
+        simbolosPermitidos: nomesCampos,
+        dicaSintaxe: "Use expressoes como \"campo existe\", \"campo == valor\" ou \"campo em [A, B]\".",
+        dicaReferencia: "Referencie apenas campos declarados no proprio bloco ao escrever invariantes de dominio.",
+    });
+}
+export function validarFlow(flow, tasksConhecidas, tarefasDetalhadas, diagnosticos) {
+    const possuiEtapas = flow.corpo.linhas.length > 0 || flow.corpo.campos.length > 0 || flow.corpo.blocos.length > 0;
+    if (!possuiEtapas) {
+        diagnosticos.push(criarDiagnostico("SEM012", `Flow "${flow.nome}" precisa declarar ao menos uma etapa.`, "erro", flow.intervalo, "Adicione linhas declarativas, campos ou subblocos dentro de flow."));
+    }
+    const effects = localizarBloco(flow.corpo, "effects");
+    if (effects) {
+        validarEfeitosDeclarados(effects.linhas, diagnosticos, `effects do flow ${flow.nome}`);
+    }
+    validarVinculos(flow.vinculos, diagnosticos, `flow ${flow.nome}`);
+    const tarefasReferenciadas = flow.corpo.campos
+        .filter((campo) => campo.nome === "task" || campo.nome === "tarefa")
+        .map((campo) => campo.valor);
+    for (const tarefa of tarefasReferenciadas) {
+        if (!tasksConhecidas.has(tarefa)) {
+            diagnosticos.push(criarDiagnostico("SEM013", `Flow "${flow.nome}" referencia task "${tarefa}" que nao existe.`, "erro", flow.intervalo, "Declare a task no mesmo modulo ou ajuste a referencia do flow."));
+        }
+    }
+    const etapas = flow.corpo.linhas
+        .map((linha) => ({ linha, etapa: parsearEtapaFlow(linha.conteudo) }))
+        .filter((item) => item.linha.conteudo.trim().startsWith("etapa "));
+    const nomesEtapas = new Set();
+    const contextoFlow = new Set(flow.corpo.campos.map((campo) => campo.nome));
+    const etapasValidas = new Map();
+    for (const item of etapas) {
+        if (!item.etapa) {
+            diagnosticos.push(criarDiagnostico("SEM032", `Linha de etapa invalida em flow "${flow.nome}": "${item.linha.conteudo}".`, "erro", item.linha.intervalo, "Use o formato \"etapa nome usa task com campo=valor quando expressao depende_de etapa_a, etapa_b em_sucesso proxima em_erro falha\"."));
+            continue;
+        }
+        if (nomesEtapas.has(item.etapa.nome)) {
+            diagnosticos.push(criarDiagnostico("SEM033", `Flow "${flow.nome}" declarou a etapa "${item.etapa.nome}" mais de uma vez.`, "erro", item.linha.intervalo, "Use nomes unicos para cada etapa estruturada do flow."));
+            continue;
+        }
+        nomesEtapas.add(item.etapa.nome);
+        etapasValidas.set(item.etapa.nome, item.etapa);
+        if (item.etapa.task && !tasksConhecidas.has(item.etapa.task)) {
+            const sugestoesTasks = descreverSugestoes(tasksConhecidas, "Tasks conhecidas no contexto");
+            diagnosticos.push(criarDiagnostico("SEM034", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" usa task "${item.etapa.task}" que nao existe.`, "erro", item.linha.intervalo, sugestoesTasks ?? "Ajuste a task da etapa para apontar para uma task declarada ou importada."));
+        }
+        if (item.etapa.task) {
+            const detalhesTask = tarefasDetalhadas.get(item.etapa.task);
+            if (detalhesTask) {
+                const indiceInput = indicesCampos(detalhesTask.input);
+                for (const mapeamento of item.etapa.mapeamentos) {
+                    const campoInput = indiceInput.get(mapeamento.campo);
+                    if (!campoInput) {
+                        diagnosticos.push(criarDiagnostico("SEM042", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" mapeia o campo "${mapeamento.campo}", que nao existe no input da task "${item.etapa.task}".`, "erro", item.linha.intervalo, "Use apenas campos declarados no input da task associada a etapa."));
+                    }
+                    const raizValor = extrairRaiz(mapeamento.valor);
+                    const ehLiteral = ["verdadeiro", "falso", "nulo"].includes(mapeamento.valor)
+                        || /^-?\d+(?:\.\d+)?$/.test(mapeamento.valor)
+                        || /^".*"$/.test(mapeamento.valor);
+                    const aceitaLiteralTextual = Boolean(campoInput
+                        && ["Texto", "Id", "Email", "Url"].includes(campoInput.tipo)
+                        && !mapeamento.valor.includes(".")
+                        && !contextoFlow.has(raizValor)
+                        && !nomesEtapas.has(raizValor));
+                    if (!ehLiteral && !aceitaLiteralTextual && !contextoFlow.has(raizValor) && !nomesEtapas.has(raizValor)) {
+                        const sugestoesContexto = [
+                            descreverSugestoes(contextoFlow, "Campos do flow"),
+                            descreverSugestoes(nomesEtapas, "Etapas conhecidas"),
+                        ].filter(Boolean).join(" ");
+                        diagnosticos.push(criarDiagnostico("SEM043", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" referencia "${mapeamento.valor}" fora do contexto conhecido.`, "erro", item.linha.intervalo, sugestoesContexto || "Mapeie usando campos do proprio flow, saidas de etapas anteriores ou literais simples."));
+                    }
+                    if (mapeamento.valor.includes(".")) {
+                        const [etapaOrigem, campoSaida] = mapeamento.valor.split(".", 2);
+                        const etapaReferenciada = etapaOrigem ? etapasValidas.get(etapaOrigem) : undefined;
+                        const taskReferenciada = etapaReferenciada?.task ? tarefasDetalhadas.get(etapaReferenciada.task) : undefined;
+                        const indiceOutput = taskReferenciada ? indicesCampos(taskReferenciada.output) : undefined;
+                        if (etapaOrigem && campoSaida && etapaReferenciada && indiceOutput && !indiceOutput.has(campoSaida)) {
+                            diagnosticos.push(criarDiagnostico("SEM044", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" referencia a saida "${campoSaida}" da etapa "${etapaOrigem}", mas essa saida nao existe na task associada.`, "erro", item.linha.intervalo, "Use apenas campos declarados no output da task da etapa de origem."));
+                        }
+                    }
+                }
+            }
+        }
+        if (item.etapa.condicao) {
+            const referencias = extrairReferenciasDaExpressao(item.etapa.condicao).map((referencia) => extrairRaiz(referencia));
+            for (const referencia of referencias) {
+                if (!ehMarcadorSemantico(referencia) && !tasksConhecidas.has(referencia) && !nomesEtapas.has(referencia) && !contextoFlow.has(referencia)) {
+                    diagnosticos.push(criarDiagnostico("SEM035", `Condicao da etapa "${item.etapa.nome}" em flow "${flow.nome}" referencia "${referencia}" fora do contexto atual.`, "erro", item.linha.intervalo, "No MVP atual, condicoes de flow devem apontar para marcadores semanticos, campos do flow, tasks conhecidas ou etapas anteriores."));
+                }
+            }
+        }
+    }
+    for (const item of etapas) {
+        if (!item.etapa) {
+            continue;
+        }
+        for (const dependencia of item.etapa.dependencias) {
+            if (!nomesEtapas.has(dependencia)) {
+                const sugestoesEtapas = descreverSugestoes(nomesEtapas, "Etapas declaradas");
+                diagnosticos.push(criarDiagnostico("SEM036", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" depende de "${dependencia}", que nao foi declarada.`, "erro", item.linha.intervalo, sugestoesEtapas ?? "Declare a etapa dependente no mesmo flow antes de referencia-la."));
+            }
+        }
+        for (const destino of [item.etapa.emSucesso, item.etapa.emErro].filter(Boolean)) {
+            if (destino && !nomesEtapas.has(destino)) {
+                const sugestoesEtapas = descreverSugestoes(nomesEtapas, "Etapas declaradas");
+                diagnosticos.push(criarDiagnostico("SEM045", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" aponta para "${destino}" em ramificacao, mas essa etapa nao foi declarada.`, "erro", item.linha.intervalo, sugestoesEtapas ?? "Declare a etapa de destino no mesmo flow antes de usa-la em em_sucesso ou em_erro."));
+            }
+        }
+        if (item.etapa.task) {
+            const detalhesTask = tarefasDetalhadas.get(item.etapa.task);
+            const indiceErrors = indiceErros(detalhesTask?.errors ?? []);
+            for (const rotaErro of item.etapa.porErro) {
+                if (!indiceErrors.has(rotaErro.tipo)) {
+                    const sugestoesErros = descreverSugestoes(indiceErrors.keys(), "Erros declarados pela task");
+                    diagnosticos.push(criarDiagnostico("SEM046", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" roteia o erro "${rotaErro.tipo}", mas esse erro nao pertence ao contrato da task "${item.etapa.task}".`, "erro", item.linha.intervalo, sugestoesErros ?? "Use apenas erros declarados pela task ou cobertos por testes de erro do contrato atual."));
+                }
+                if (!nomesEtapas.has(rotaErro.destino)) {
+                    const sugestoesEtapas = descreverSugestoes(nomesEtapas, "Etapas declaradas");
+                    diagnosticos.push(criarDiagnostico("SEM047", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" aponta o erro "${rotaErro.tipo}" para "${rotaErro.destino}", mas essa etapa nao foi declarada.`, "erro", item.linha.intervalo, sugestoesEtapas ?? "Declare a etapa de destino no mesmo flow antes de usa-la em por_erro."));
+                }
+            }
+        }
+    }
+}
+//# sourceMappingURL=analisador.part05.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part05.js","sourceRoot":"","sources":["../../src/semantico/analisador.part05.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AA2B9E,OAAO,EAGL,6BAA6B,EAE7B,gBAAgB,EAEhB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AAsBzB,OAAO,EAAuB,mBAAmB,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,cAAc,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAClL,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAEnH,MAAM,UAAU,YAAY,CAC1B,KAAe,EACf,eAA4B,EAC5B,eAAyC,EACzC,YAA2B;IAE3B,MAAM,cAAc,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IACvH,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,cAAc,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,gDAAgD,EAClG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,kFAAkF,CACnF,CACF,CAAC;IACJ,CAAC;IAED,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,SAAS,KAAK,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;IAC9G,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,IAAI,MAAM,EAAE,CAAC;QACX,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,mBAAmB,KAAK,CAAC,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;IACrH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;QAC1B,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAChD,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KACrD,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAC7D,IAAI,UAAU,EAAE,CAAC;QACf,2BAA2B,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE;YAC3D,iBAAiB,EAAE,QAAQ;YAC3B,oBAAoB,EAAE,QAAQ;YAC9B,SAAS,EAAE,uBAAuB,KAAK,CAAC,IAAI,IAAI,WAAW,EAAE;YAC7D,kBAAkB,EAAE,WAAW;YAC/B,WAAW,EAAE,kFAAkF;YAC/F,cAAc,EAAE,4DAA4D;SAC7E,CAAC,CAAC;IACL,CAAC;IAED,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC/D,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;eAC5G,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAE5F,IAAI,CAAC,cAAc,EAAE,CAAC;YACpB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,qDAAqD,EAClG,MAAM,EACN,WAAW,CAAC,SAAS,EACrB,+EAA+E,CAChF,CACF,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3F,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YACzD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,+BAA+B,KAAK,CAAC,IAAI,IAAI,WAAW,MAAM,KAAK,CAAC,QAAQ,IAAI,EAChF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,+DAA+D,CAChE,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YAED,IAAI,WAAW,EAAE,CAAC;gBAChB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;oBACvC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,sBAAsB,KAAK,CAAC,IAAI,IAAI,WAAW,gBAAgB,SAAS,CAAC,MAAM,kBAAkB,cAAc,EAAE,KAAK,GAAG,EACzH,MAAM,EACN,KAAK,CAAC,SAAS,EACf,yEAAyE,CAC1E,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;oBACxC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,sBAAsB,KAAK,CAAC,IAAI,IAAI,WAAW,iBAAiB,SAAS,CAAC,OAAO,kBAAkB,cAAc,EAAE,KAAK,GAAG,EAC3H,MAAM,EACN,KAAK,CAAC,SAAS,EACf,yEAAyE,CAC1E,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,KAAuB,EACvB,SAAiB,EACjB,YAA2B;IAE3B,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;QAC1B,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1C,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;KACrD,CAAC,CAAC;IAEH,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IACvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IAED,2BAA2B,CAAC,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE;QAC3D,iBAAiB,EAAE,QAAQ;QAC3B,oBAAoB,EAAE,QAAQ;QAC9B,SAAS,EAAE,iBAAiB,SAAS,EAAE;QACvC,kBAAkB,EAAE,WAAW;QAC/B,WAAW,EAAE,kFAAkF;QAC/F,cAAc,EAAE,0FAA0F;KAC3G,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,IAAa,EACb,eAA4B,EAC5B,iBAAmD,EACnD,YAA2B;IAE3B,MAAM,YAAY,GAAG,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;IAClH,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,wCAAwC,EAC1D,MAAM,EACN,IAAI,CAAC,SAAS,EACd,mEAAmE,CACpE,CACF,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,OAAO,EAAE,CAAC;QACZ,wBAAwB,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,EAAE,mBAAmB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzF,CAAC;IACD,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAElE,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;SAC3C,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;SACnE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAE/B,KAAK,MAAM,MAAM,IAAI,oBAAoB,EAAE,CAAC;QAC1C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,sBAAsB,MAAM,mBAAmB,EACjE,MAAM,EACN,IAAI,CAAC,SAAS,EACd,gEAAgE,CACjE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;SACpE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IAErE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAyD,CAAC;IACvF,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,oCAAoC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,EAC3E,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,sIAAsI,CACvI,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,SAAS,IAAI,CAAC,IAAI,uBAAuB,IAAI,CAAC,KAAK,CAAC,IAAI,oBAAoB,EAC5E,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,uDAAuD,CACxD,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACjC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAE/C,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,MAAM,cAAc,GAAG,kBAAkB,CAAC,eAAe,EAAE,8BAA8B,CAAC,CAAC;YAC3F,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,eAAe,IAAI,CAAC,KAAK,CAAC,IAAI,mBAAmB,EACjG,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,cAAc,IAAI,2EAA2E,CAC9F,CACF,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,WAAW,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACtD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;oBAChD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBACrD,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,qBAAqB,UAAU,CAAC,KAAK,uCAAuC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAC/I,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,kEAAkE,CACnE,CACF,CAAC;oBACJ,CAAC;oBAED,MAAM,SAAS,GAAG,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBAChD,MAAM,SAAS,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC;2BACvE,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;2BAC1C,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBACrC,MAAM,oBAAoB,GAAG,OAAO,CAClC,UAAU;2BACP,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;2BACzD,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;2BAC/B,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC;2BAC5B,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAC/B,CAAC;oBACF,IAAI,CAAC,SAAS,IAAI,CAAC,oBAAoB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;wBACvG,MAAM,iBAAiB,GAAG;4BACxB,kBAAkB,CAAC,YAAY,EAAE,gBAAgB,CAAC;4BAClD,kBAAkB,CAAC,WAAW,EAAE,mBAAmB,CAAC;yBACrD,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBAC5B,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,iBAAiB,UAAU,CAAC,KAAK,+BAA+B,EAChH,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,iBAAiB,IAAI,wFAAwF,CAC9G,CACF,CAAC;oBACJ,CAAC;oBAED,IAAI,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBACnC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;wBACjE,MAAM,iBAAiB,GAAG,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;wBACnF,MAAM,gBAAgB,GAAG,iBAAiB,EAAE,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;wBAC7G,MAAM,YAAY,GAAG,gBAAgB,CAAC,CAAC,CAAC,aAAa,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;wBAC3F,IAAI,WAAW,IAAI,UAAU,IAAI,iBAAiB,IAAI,YAAY,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;4BACpG,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,yBAAyB,UAAU,eAAe,WAAW,iDAAiD,EAC9J,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,oEAAoE,CACrE,CACF,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACxB,MAAM,WAAW,GAAG,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;YACpH,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC1I,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,sBAAsB,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,iBAAiB,UAAU,2BAA2B,EAClH,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,kIAAkI,CACnI,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;YAClD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBAClC,MAAM,eAAe,GAAG,kBAAkB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;gBAC7E,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,iBAAiB,WAAW,2BAA2B,EACvG,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,eAAe,IAAI,kEAAkE,CACtF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAChF,IAAI,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzC,MAAM,eAAe,GAAG,kBAAkB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;gBAC7E,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,kBAAkB,OAAO,qDAAqD,EAC9H,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,eAAe,IAAI,oFAAoF,CACxG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpB,MAAM,YAAY,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,YAAY,GAAG,WAAW,CAAC,YAAY,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;YAC7D,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;gBAC1C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrC,MAAM,cAAc,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,EAAE,EAAE,4BAA4B,CAAC,CAAC;oBAC7F,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,oBAAoB,QAAQ,CAAC,IAAI,sDAAsD,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,EAC1J,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,cAAc,IAAI,yFAAyF,CAC5G,CACF,CAAC;gBACJ,CAAC;gBAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvC,MAAM,eAAe,GAAG,kBAAkB,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAAC;oBAC7E,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,IAAI,CAAC,KAAK,CAAC,IAAI,cAAc,IAAI,CAAC,IAAI,oBAAoB,QAAQ,CAAC,IAAI,WAAW,QAAQ,CAAC,OAAO,sCAAsC,EAClJ,MAAM,EACN,IAAI,CAAC,KAAK,CAAC,SAAS,EACpB,eAAe,IAAI,uEAAuE,CAC3F,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,11 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { CampoAst, ModuloAst, RouteAst, TaskAst } from "../ast/tipos.js";
+import { ResumoTaskSemantico } from "./analisador.part01.js";
+export declare function validarVinculoEstadoDaTask(task: TaskAst, statesConhecidos: Map<string, {
+    transicoes: Set<string>;
+}>, diagnosticos: Diagnostico[]): void;
+export declare function validarContratoRoute(route: RouteAst, taskNome: string, tarefasDetalhadas: Map<string, ResumoTaskSemantico>, diagnosticos: Diagnostico[]): void;
+export declare function validarRoute(route: RouteAst, tasksConhecidas: Set<string>, tarefasDetalhadas: Map<string, ResumoTaskSemantico>, diagnosticos: Diagnostico[]): void;
+export declare function validarGuardrailsSeguranca(modulo: ModuloAst, diagnosticos: Diagnostico[]): void;
+export declare function campoStatusTexto(campo: CampoAst): boolean;
+export declare function moduloTemStateComTransicao(modulo: ModuloAst): boolean;