@semacode/cli 1.5.36 → 1.5.37

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

@@ -0,0 +1,249 @@
+// 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 { PADRAO_CAMINHO_INTEROP, TIPOS_PRIMITIVOS, coletarResumoTask, diagnosticoDuplicado, localizarBloco, localizarCampo, validarCamposDeTipos, validarVinculos } from "./analisador.part01.js";
+import { descreverSugestoes, recomporCaminhoRoute, resolverUseSema, serializarTransicao, validarSuperficie } from "./analisador.part04.js";
+import { validarFlow, validarInvariantesDeCampos, validarState } from "./analisador.part05.js";
+import { validarStatusTextoComState, validarTask } from "./analisador.part07.js";
+import { validarGuardrailsSeguranca, validarRoute } from "./analisador.part06.js";
+import { validarDatabase } from "./analisador.part02.js";
+export function analisarSemantica(modulo, opcoes = {}) {
+    const diagnosticos = [];
+    const simbolos = new Map();
+    const tiposConhecidos = new Set(TIPOS_PRIMITIVOS);
+    const tasksConhecidas = new Set();
+    const tarefasDetalhadas = new Map();
+    const statesConhecidos = new Map();
+    const modulosImportados = [];
+    const interoperabilidades = [];
+    const enumsConhecidos = new Map();
+    for (const use of modulo.uses) {
+        if (use.origem !== "sema") {
+            if (!PADRAO_CAMINHO_INTEROP.test(use.caminho)) {
+                diagnosticos.push(criarDiagnostico("SEM058", `Interop externa "${use.origem} ${use.caminho}" e invalida no modulo "${modulo.nome}".`, "erro", use.intervalo, "Use um identificador de modulo externo como pacote.servico, app.modulo ou dominio.executor."));
+                continue;
+            }
+            interoperabilidades.push({ origem: use.origem, caminho: use.caminho });
+            continue;
+        }
+        const resolucaoUse = resolverUseSema(modulo.nome, use.caminho, opcoes.contextosModulos);
+        const contextoImportado = resolucaoUse.caminhoResolvido
+            ? opcoes.contextosModulos?.get(resolucaoUse.caminhoResolvido)
+            : undefined;
+        if (!contextoImportado) {
+            const candidatosEncontrados = resolucaoUse.candidatosRelativos
+                .filter((candidato) => opcoes.contextosModulos?.has(candidato))
+                .slice(0, 4);
+            const sugestoesModulos = descreverSugestoes(opcoes.contextosModulos?.keys() ?? [], "Modulos disponiveis neste contexto");
+            diagnosticos.push(criarDiagnostico("SEM019", `Modulo "${modulo.nome}" usa "${use.caminho}", mas esse modulo nao foi encontrado no projeto atual.`, "erro", use.intervalo, candidatosEncontrados.length > 0
+                ? `Se a intencao era um import relativo ao namespace atual, tente um caminho como ${candidatosEncontrados.join(", ")}.`
+                : (sugestoesModulos ?? "Garanta que o arquivo .sema importado esteja presente no mesmo conjunto de compilacao.")));
+            continue;
+        }
+        modulosImportados.push(resolucaoUse.caminhoResolvido ?? use.caminho);
+        for (const tipo of contextoImportado.tiposConhecidos) {
+            tiposConhecidos.add(tipo);
+        }
+        for (const task of contextoImportado.tasksConhecidas) {
+            tasksConhecidas.add(task);
+        }
+        for (const [nomeTask, detalhesTask] of contextoImportado.tarefasDetalhadas) {
+            tarefasDetalhadas.set(nomeTask, {
+                input: detalhesTask.input.map((campo) => ({ ...campo, modificadores: [...campo.modificadores] })),
+                output: detalhesTask.output.map((campo) => ({ ...campo, modificadores: [...campo.modificadores] })),
+                errors: detalhesTask.errors.map((erro) => ({ ...erro })),
+                guarantees: [...detalhesTask.guarantees],
+                implementacoes: detalhesTask.implementacoes.map((impl) => ({ ...impl })),
+            });
+        }
+        for (const [nomeState, metadadosState] of contextoImportado.statesConhecidos) {
+            statesConhecidos.set(nomeState, { transicoes: new Set(metadadosState.transicoes) });
+        }
+        for (const [nomeEnum, valores] of contextoImportado.enumsConhecidos) {
+            enumsConhecidos.set(nomeEnum, new Set(valores));
+        }
+        for (const interop of contextoImportado.interoperabilidades) {
+            interoperabilidades.push({ ...interop });
+        }
+    }
+    const registrar = (nome, categoria, intervalo) => {
+        if (simbolos.has(nome)) {
+            diagnosticos.push(diagnosticoDuplicado(nome, categoria, intervalo));
+            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", type.intervalo);
+    }
+    for (const entity of modulo.entities) {
+        registrar(entity.nome, "entity", entity.intervalo);
+    }
+    for (const enumeracao of modulo.enums) {
+        registrar(enumeracao.nome, "enum", enumeracao.intervalo);
+        enumsConhecidos.set(enumeracao.nome, new Set(enumeracao.valores));
+    }
+    for (const task of modulo.tasks) {
+        registrar(task.nome, "task", task.intervalo);
+        tarefasDetalhadas.set(task.nome, coletarResumoTask(task));
+    }
+    for (const flow of modulo.flows) {
+        registrar(flow.nome, "flow", flow.intervalo);
+    }
+    for (const route of modulo.routes) {
+        registrar(route.nome, "route", route.intervalo);
+    }
+    for (const worker of modulo.workers) {
+        if (worker.nome) {
+            registrar(worker.nome, "worker", worker.intervalo);
+        }
+    }
+    for (const evento of modulo.eventos) {
+        if (evento.nome) {
+            registrar(evento.nome, "evento", evento.intervalo);
+        }
+    }
+    for (const fila of modulo.filas) {
+        if (fila.nome) {
+            registrar(fila.nome, "fila", fila.intervalo);
+        }
+    }
+    for (const cron of modulo.crons) {
+        if (cron.nome) {
+            registrar(cron.nome, "cron", cron.intervalo);
+        }
+    }
+    for (const webhook of modulo.webhooks) {
+        if (webhook.nome) {
+            registrar(webhook.nome, "webhook", webhook.intervalo);
+        }
+    }
+    for (const cache of modulo.caches) {
+        if (cache.nome) {
+            registrar(cache.nome, "cache", cache.intervalo);
+        }
+    }
+    for (const storage of modulo.storages) {
+        if (storage.nome) {
+            registrar(storage.nome, "storage", storage.intervalo);
+        }
+    }
+    for (const policy of modulo.policies) {
+        if (policy.nome) {
+            registrar(policy.nome, "policy", policy.intervalo);
+        }
+    }
+    for (const database of modulo.databases) {
+        if (database.nome) {
+            registrar(database.nome, "database", database.intervalo);
+        }
+    }
+    for (const state of modulo.states) {
+        if (state.nome) {
+            registrar(state.nome, "state", state.intervalo);
+            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 });
+        }
+    }
+    for (const type of modulo.types) {
+        validarCamposDeTipos(type.corpo.campos, tiposConhecidos, diagnosticos, `type ${type.nome}`);
+        const fields = localizarBloco(type.corpo, "fields");
+        if (fields) {
+            validarCamposDeTipos(fields.campos, tiposConhecidos, diagnosticos, `fields do type ${type.nome}`);
+        }
+        validarInvariantesDeCampos(type.corpo, `type ${type.nome}`, diagnosticos);
+    }
+    for (const entity of modulo.entities) {
+        const fields = localizarBloco(entity.corpo, "fields");
+        if (!fields || fields.campos.length === 0) {
+            diagnosticos.push(criarDiagnostico("SEM010", `Entity "${entity.nome}" precisa declarar fields.`, "erro", entity.intervalo, "Adicione um bloco fields com os campos da entidade."));
+        }
+        else {
+            validarCamposDeTipos(fields.campos, tiposConhecidos, diagnosticos, `entity ${entity.nome}`);
+        }
+        validarInvariantesDeCampos(entity.corpo, `entity ${entity.nome}`, diagnosticos);
+    }
+    for (const task of modulo.tasks) {
+        validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos);
+    }
+    for (const flow of modulo.flows) {
+        validarFlow(flow, tasksConhecidas, tarefasDetalhadas, diagnosticos);
+    }
+    for (const route of modulo.routes) {
+        validarRoute(route, tasksConhecidas, tarefasDetalhadas, diagnosticos);
+    }
+    validarVinculos(modulo.vinculos, diagnosticos, `modulo ${modulo.nome}`);
+    for (const worker of modulo.workers) {
+        validarSuperficie(worker, "worker", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const evento of modulo.eventos) {
+        validarSuperficie(evento, "evento", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const fila of modulo.filas) {
+        validarSuperficie(fila, "fila", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const cron of modulo.crons) {
+        validarSuperficie(cron, "cron", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const webhook of modulo.webhooks) {
+        validarSuperficie(webhook, "webhook", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const cache of modulo.caches) {
+        validarSuperficie(cache, "cache", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const storage of modulo.storages) {
+        validarSuperficie(storage, "storage", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const policy of modulo.policies) {
+        validarSuperficie(policy, "policy", tasksConhecidas, tiposConhecidos, diagnosticos);
+    }
+    for (const database of modulo.databases) {
+        validarDatabase(database, diagnosticos);
+    }
+    validarGuardrailsSeguranca(modulo, diagnosticos);
+    const assinaturasRoute = new Map();
+    for (const route of modulo.routes) {
+        const metodo = (localizarCampo(route.corpo, "metodo")?.valor ?? "").toUpperCase();
+        const caminho = recomporCaminhoRoute(localizarCampo(route.corpo, "caminho")) ?? "";
+        if (!metodo || !caminho) {
+            continue;
+        }
+        const chave = `${metodo} ${caminho}`;
+        const existente = assinaturasRoute.get(chave);
+        if (existente) {
+            diagnosticos.push(criarDiagnostico("SEM055", `Route "${route.nome}" reutiliza a assinatura publica "${chave}", ja declarada por "${existente.nome}".`, "erro", route.intervalo, "Cada combinacao de metodo e caminho deve ser unica no mesmo modulo."));
+            continue;
+        }
+        assinaturasRoute.set(chave, route);
+    }
+    for (const state of modulo.states) {
+        validarState(state, tiposConhecidos, enumsConhecidos, diagnosticos);
+    }
+    validarStatusTextoComState(modulo, diagnosticos);
+    return {
+        contexto: {
+            modulo: modulo.nome,
+            simbolos,
+            tiposConhecidos,
+            tasksConhecidas,
+            tarefasDetalhadas,
+            statesConhecidos,
+            modulosImportados,
+            interoperabilidades,
+            enumsConhecidos,
+        },
+        diagnosticos,
+    };
+}
+//# sourceMappingURL=analisador.part08.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part08.js","sourceRoot":"","sources":["../../src/semantico/analisador.part08.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,EAA4C,sBAAsB,EAA6D,gBAAgB,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,cAAc,EAAE,cAAc,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACvS,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,eAAe,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3I,OAAO,EAAE,WAAW,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,0BAA0B,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACjF,OAAO,EAAE,0BAA0B,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAClF,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,MAAM,UAAU,iBAAiB,CAAC,MAAiB,EAAE,SAAiC,EAAE;IACtF,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,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,iBAAiB,GAAa,EAAE,CAAC;IACvC,MAAM,mBAAmB,GAAuB,EAAE,CAAC;IACnD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,oBAAoB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,OAAO,2BAA2B,MAAM,CAAC,IAAI,IAAI,EACvF,MAAM,EACN,GAAG,CAAC,SAAS,EACb,6FAA6F,CAC9F,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,mBAAmB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACvE,SAAS;QACX,CAAC;QAED,MAAM,YAAY,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACxF,MAAM,iBAAiB,GAAG,YAAY,CAAC,gBAAgB;YACrD,CAAC,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,YAAY,CAAC,gBAAgB,CAAC;YAC7D,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,iBAAiB,EAAE,CAAC;YACvB,MAAM,qBAAqB,GAAG,YAAY,CAAC,mBAAmB;iBAC3D,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;iBAC9D,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACf,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,oCAAoC,CAAC,CAAC;YACzH,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,MAAM,CAAC,IAAI,UAAU,GAAG,CAAC,OAAO,yDAAyD,EACpG,MAAM,EACN,GAAG,CAAC,SAAS,EACb,qBAAqB,CAAC,MAAM,GAAG,CAAC;gBAC9B,CAAC,CAAC,kFAAkF,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACvH,CAAC,CAAC,CAAC,gBAAgB,IAAI,wFAAwF,CAAC,CACnH,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,iBAAiB,CAAC,IAAI,CAAC,YAAY,CAAC,gBAAgB,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QACrE,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,eAAe,EAAE,CAAC;YACrD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,iBAAiB,CAAC,eAAe,EAAE,CAAC;YACrD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,iBAAiB,CAAC,iBAAiB,EAAE,CAAC;YAC3E,iBAAiB,CAAC,GAAG,CAAC,QAAQ,EAAE;gBAC9B,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBACjG,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;gBACnG,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;gBACxD,UAAU,EAAE,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC;gBACxC,cAAc,EAAE,YAAY,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;aACzE,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,IAAI,iBAAiB,CAAC,gBAAgB,EAAE,CAAC;YAC7E,gBAAgB,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,CAAC,cAAc,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,iBAAiB,CAAC,eAAe,EAAE,CAAC;YACpE,eAAe,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,iBAAiB,CAAC,mBAAmB,EAAE,CAAC;YAC5D,mBAAmB,CAAC,IAAI,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,CAChB,IAAY,EACZ,SAAwC,EACxC,SAAgF,EAC1E,EAAE;QACR,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,YAAY,CAAC,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;YACpE,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,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACtC,SAAS,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC;QACzD,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,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7C,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,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAClD,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,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrD,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,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrD,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,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,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,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,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,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACxD,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,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QAClD,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,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;QACxD,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,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrD,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,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC3D,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,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;YAChD,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,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACpD,IAAI,MAAM,EAAE,CAAC;YACX,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,kBAAkB,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,0BAA0B,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAC5E,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,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,MAAM,CAAC,IAAI,4BAA4B,EAClD,MAAM,EACN,MAAM,CAAC,SAAS,EAChB,qDAAqD,CACtD,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,UAAU,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,0BAA0B,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,MAAM,CAAC,IAAI,EAAE,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,gBAAgB,EAAE,YAAY,CAAC,CAAC;IACrE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,WAAW,CAAC,IAAI,EAAE,eAAe,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IACtE,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,YAAY,CAAC,CAAC;IACxE,CAAC;IAED,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,UAAU,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACxE,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,iBAAiB,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACpF,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,iBAAiB,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACxC,eAAe,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IAC1C,CAAC;IACD,0BAA0B,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAEjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAoB,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAClF,MAAM,OAAO,GAAG,oBAAoB,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;QACnF,IAAI,CAAC,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,MAAM,IAAI,OAAO,EAAE,CAAC;QACrC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAI,SAAS,EAAE,CAAC;YACd,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,UAAU,KAAK,CAAC,IAAI,qCAAqC,KAAK,wBAAwB,SAAS,CAAC,IAAI,IAAI,EACxG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,qEAAqE,CACtE,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,YAAY,CAAC,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACtE,CAAC;IACD,0BAA0B,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAEjD,OAAO;QACL,QAAQ,EAAE;YACR,MAAM,EAAE,MAAM,CAAC,IAAI;YACnB,QAAQ;YACR,eAAe;YACf,eAAe;YACf,iBAAiB;YACjB,gBAAgB;YAChB,iBAAiB;YACjB,mBAAmB;YACnB,eAAe;SAChB;QACD,YAAY;KACb,CAAC;AACJ,CAAC"}

package/node_modules/@sema/nucleo/dist/semantico/estruturas.d.ts

@@ -1,106 +1,2 @@
-import type { IsolamentoEfeitoSemantico, PrivilegioEfeitoSemantico } from "./seguranca.js";
-export type TipoExpressaoSemantica = "existe" | "comparacao" | "predicado" | "pertencimento" | "composta" | "negacao";
-export type CategoriaEfeitoSemantico = "persistencia" | "consulta" | "evento" | "notificacao" | "auditoria" | "db.read" | "db.write" | "queue.publish" | "queue.consume" | "fs.read" | "fs.write" | "network.egress" | "secret.read" | "shell.exec";
-export type CriticidadeEfeitoSemantico = "baixa" | "media" | "alta" | "critica";
-export interface ExpressaoBaseSemantica {
-    tipo: TipoExpressaoSemantica;
-    textoOriginal: string;
-}
-export interface ExpressaoExisteSemantica extends ExpressaoBaseSemantica {
-    tipo: "existe";
-    alvo: string;
-}
-export interface ExpressaoComparacaoSemantica extends ExpressaoBaseSemantica {
-    tipo: "comparacao";
-    alvo: string;
-    operador: "==" | "!=" | ">" | ">=" | "<" | "<=";
-    valor: string;
-    valorLiteral?: boolean;
-}
-export interface ExpressaoPredicadoSemantica extends ExpressaoBaseSemantica {
-    tipo: "predicado";
-    alvo: string;
-    predicado: string;
-    predicadoCanonico?: string;
-    argumentos?: string;
-}
-export interface ExpressaoPertencimentoSemantica extends ExpressaoBaseSemantica {
-    tipo: "pertencimento";
-    alvo: string;
-    valores: string[];
-}
-export interface ExpressaoCompostaSemantica extends ExpressaoBaseSemantica {
-    tipo: "composta";
-    operadorLogico: "e" | "ou";
-    termos: ExpressaoSemantica[];
-}
-export interface ExpressaoNegacaoSemantica extends ExpressaoBaseSemantica {
-    tipo: "negacao";
-    termo: ExpressaoSemantica;
-}
-export type ExpressaoSemantica = ExpressaoExisteSemantica | ExpressaoComparacaoSemantica | ExpressaoPredicadoSemantica | ExpressaoPertencimentoSemantica | ExpressaoCompostaSemantica | ExpressaoNegacaoSemantica;
-export interface EfeitoSemantico {
-    textoOriginal: string;
-    categoria: CategoriaEfeitoSemantico;
-    alvo: string;
-    detalhe?: string;
-    criticidade?: CriticidadeEfeitoSemantico;
-    criticidadeTexto?: string;
-    privilegio?: PrivilegioEfeitoSemantico;
-    privilegioTexto?: string;
-    isolamento?: IsolamentoEfeitoSemantico;
-    isolamentoTexto?: string;
-}
-export interface TransicaoEstadoSemantica {
-    textoOriginal: string;
-    origem: string;
-    destino: string;
-}
-export interface EtapaFlowSemantica {
-    textoOriginal: string;
-    nome: string;
-    task?: string;
-    condicao?: ExpressaoSemantica;
-    dependencias: string[];
-    mapeamentos: Array<{
-        campo: string;
-        valor: string;
-    }>;
-    emSucesso?: string;
-    emErro?: string;
-    porErro: Array<{
-        tipo: string;
-        destino: string;
-    }>;
-}
-export interface ContratoErroRouteSemantico {
-    nome: string;
-    codigo: string;
-    mensagem?: string;
-}
-export interface ContratoRouteSemantico {
-    metodo?: string;
-    caminho?: string;
-    task?: string;
-    inputPublico: Array<{
-        nome: string;
-        tipo: string;
-        modificadores: string[];
-    }>;
-    outputPublico: Array<{
-        nome: string;
-        tipo: string;
-        modificadores: string[];
-    }>;
-    errosPublicos: ContratoErroRouteSemantico[];
-    effectsPublicos: EfeitoSemantico[];
-}
-export declare function normalizarPredicadoSemantico(predicado: string): string;
-export declare function parsearExpressaoSemantica(texto: string): ExpressaoSemantica | undefined;
-export declare function parsearEfeitoSemantico(texto: string): EfeitoSemantico | undefined;
-export declare function parsearTransicaoEstado(texto: string): TransicaoEstadoSemantica | undefined;
-export declare function parsearEtapaFlow(texto: string): EtapaFlowSemantica | undefined;
-export declare function extrairReferenciasDaExpressao(expressao: ExpressaoSemantica): string[];
-export declare function pareceReferenciaSemantica(valor: string): boolean;
-export declare function ehCategoriaEfeitoSemantico(valor: string): valor is CategoriaEfeitoSemantico;
-export declare function ehCriticidadeEfeitoSemantico(valor: string): valor is CriticidadeEfeitoSemantico;
+export { TipoExpressaoSemantica, CategoriaEfeitoSemantico, CriticidadeEfeitoSemantico, ExpressaoBaseSemantica, ExpressaoExisteSemantica, ExpressaoComparacaoSemantica, ExpressaoPredicadoSemantica, ExpressaoPertencimentoSemantica, ExpressaoCompostaSemantica, ExpressaoNegacaoSemantica, ExpressaoSemantica, EfeitoSemantico, TransicaoEstadoSemantica, EtapaFlowSemantica, ContratoErroRouteSemantico, ContratoRouteSemantico, normalizarPredicadoSemantico, parsearExpressaoSemantica } from "./estruturas.part01.js";
+export { parsearEfeitoSemantico, parsearTransicaoEstado, parsearEtapaFlow, extrairReferenciasDaExpressao, pareceReferenciaSemantica, ehCategoriaEfeitoSemantico, ehCriticidadeEfeitoSemantico } from "./estruturas.part02.js";