@semacode/cli 0.8.2

package/node_modules/@sema/nucleo/dist/index.js

@@ -0,0 +1,95 @@
+import { parsear } from "./parser/parser.js";
+import { analisarSemantica, criarContextoLocal } from "./semantico/analisador.js";
+import { tokenizar } from "./lexer/lexer.js";
+import { converterParaIr } from "./ir/conversor.js";
+import { formatarDiagnostico } from "./diagnosticos/index.js";
+export * from "./diagnosticos/index.js";
+export * from "./ast/tipos.js";
+export * from "./lexer/tokens.js";
+export * from "./lexer/lexer.js";
+export * from "./parser/parser.js";
+export * from "./semantico/analisador.js";
+export * from "./semantico/estruturas.js";
+export * from "./ir/modelos.js";
+export * from "./ir/conversor.js";
+export * from "./formatador/index.js";
+export * from "./util/arquivos.js";
+export function compilarCodigo(codigo, arquivo) {
+    const resultadoLexer = tokenizar(codigo, arquivo);
+    const resultadoParser = parsear(resultadoLexer.tokens);
+    const diagnosticos = [...resultadoLexer.diagnosticos, ...resultadoParser.diagnosticos];
+    if (!resultadoParser.modulo) {
+        return { diagnosticos };
+    }
+    const resultadoSemantico = analisarSemantica(resultadoParser.modulo);
+    diagnosticos.push(...resultadoSemantico.diagnosticos);
+    const ir = converterParaIr(resultadoParser.modulo, diagnosticos, resultadoSemantico.contexto);
+    return {
+        modulo: resultadoParser.modulo,
+        ir,
+        diagnosticos,
+    };
+}
+export function compilarProjeto(fontes) {
+    const resultadosBase = fontes.map((fonte) => {
+        const resultadoLexer = tokenizar(fonte.codigo, fonte.caminho);
+        const resultadoParser = parsear(resultadoLexer.tokens);
+        return {
+            caminho: fonte.caminho,
+            modulo: resultadoParser.modulo,
+            diagnosticos: [...resultadoLexer.diagnosticos, ...resultadoParser.diagnosticos],
+        };
+    });
+    const contextosLocais = new Map();
+    const nomesModulos = new Map();
+    for (const resultado of resultadosBase) {
+        if (!resultado.modulo) {
+            continue;
+        }
+        const caminhoAnterior = nomesModulos.get(resultado.modulo.nome);
+        if (caminhoAnterior) {
+            resultado.diagnosticos.push({
+                codigo: "SEM020",
+                mensagem: `Modulo "${resultado.modulo.nome}" foi declarado mais de uma vez no mesmo projeto.`,
+                severidade: "erro",
+                intervalo: resultado.modulo.intervalo,
+                dica: "Use nomes de modulo unicos para evitar ambiguidade de importacao.",
+                contexto: `Primeira ocorrencia encontrada em ${caminhoAnterior}.`,
+            });
+            continue;
+        }
+        nomesModulos.set(resultado.modulo.nome, resultado.caminho);
+        contextosLocais.set(resultado.modulo.nome, criarContextoLocal(resultado.modulo));
+    }
+    const modulos = resultadosBase.map((resultado) => {
+        if (!resultado.modulo) {
+            return {
+                caminho: resultado.caminho,
+                diagnosticos: resultado.diagnosticos,
+            };
+        }
+        const resultadoSemantico = analisarSemantica(resultado.modulo, { contextosModulos: contextosLocais });
+        const diagnosticos = [...resultado.diagnosticos, ...resultadoSemantico.diagnosticos];
+        const ir = converterParaIr(resultado.modulo, diagnosticos, resultadoSemantico.contexto);
+        return {
+            caminho: resultado.caminho,
+            modulo: resultado.modulo,
+            ir,
+            diagnosticos,
+        };
+    });
+    return {
+        modulos,
+        diagnosticos: modulos.flatMap((modulo) => modulo.diagnosticos),
+    };
+}
+export function temErros(diagnosticos) {
+    return diagnosticos.some((diagnostico) => diagnostico.severidade === "erro");
+}
+export function formatarDiagnosticos(diagnosticos) {
+    if (diagnosticos.length === 0) {
+        return "Nenhum diagnostico encontrado.";
+    }
+    return diagnosticos.map(formatarDiagnostico).join("\n");
+}
+//# sourceMappingURL=index.js.map

package/node_modules/@sema/nucleo/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAoB,MAAM,yBAAyB,CAAC;AAIhF,cAAc,yBAAyB,CAAC;AACxC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uBAAuB,CAAC;AACtC,cAAc,oBAAoB,CAAC;AAsBnC,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,OAAgB;IAC7D,MAAM,cAAc,GAAG,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,CAAC,GAAG,cAAc,CAAC,YAAY,EAAE,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;IAEvF,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QAC5B,OAAO,EAAE,YAAY,EAAE,CAAC;IAC1B,CAAC;IAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACrE,YAAY,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;IAEtD,MAAM,EAAE,GAAG,eAAe,CAAC,eAAe,CAAC,MAAM,EAAE,YAAY,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAE9F,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,MAAM;QAC9B,EAAE;QACF,YAAY;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAsB;IACpD,MAAM,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAC1C,MAAM,cAAc,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9D,MAAM,eAAe,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACvD,OAAO;YACL,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,eAAe,CAAC,MAAM;YAC9B,YAAY,EAAE,CAAC,GAAG,cAAc,CAAC,YAAY,EAAE,GAAG,eAAe,CAAC,YAAY,CAAC;SAChF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,IAAI,GAAG,EAAiD,CAAC;IACjF,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE/C,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACvC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QAED,MAAM,eAAe,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,eAAe,EAAE,CAAC;YACpB,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC;gBAC1B,MAAM,EAAE,QAAQ;gBAChB,QAAQ,EAAE,WAAW,SAAS,CAAC,MAAM,CAAC,IAAI,mDAAmD;gBAC7F,UAAU,EAAE,MAAM;gBAClB,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS;gBACrC,IAAI,EAAE,mEAAmE;gBACzE,QAAQ,EAAE,qCAAqC,eAAe,GAAG;aAClE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAC3D,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,kBAAkB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAmC,CAAC,SAAS,EAAE,EAAE;QACjF,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACtB,OAAO;gBACL,OAAO,EAAE,SAAS,CAAC,OAAO;gBAC1B,YAAY,EAAE,SAAS,CAAC,YAAY;aACrC,CAAC;QACJ,CAAC;QAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,gBAAgB,EAAE,eAAe,EAAE,CAAC,CAAC;QACtG,MAAM,YAAY,GAAG,CAAC,GAAG,SAAS,CAAC,YAAY,EAAE,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC;QACrF,MAAM,EAAE,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAExF,OAAO;YACL,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,EAAE;YACF,YAAY;SACb,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,OAAO;QACP,YAAY,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,YAA2B;IAClD,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,YAA2B;IAC9D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC"}

package/node_modules/@sema/nucleo/dist/ir/conversor.d.ts

@@ -0,0 +1,5 @@
+import type { ModuloAst } from "../ast/tipos.js";
+import type { Diagnostico } from "../diagnosticos/index.js";
+import type { ContextoSemantico } from "../semantico/analisador.js";
+import type { IrModulo } from "./modelos.js";
+export declare function converterParaIr(modulo: ModuloAst, diagnosticos: Diagnostico[], contexto?: ContextoSemantico): IrModulo;

package/node_modules/@sema/nucleo/dist/ir/conversor.js

@@ -0,0 +1,241 @@
+import { parsearEfeitoSemantico, parsearEtapaFlow, parsearExpressaoSemantica, parsearTransicaoEstado } from "../semantico/estruturas.js";
+function converterCampos(bloco) {
+    if (!bloco) {
+        return [];
+    }
+    return bloco.campos.map((campo) => ({
+        nome: campo.nome,
+        tipo: campo.valor,
+        modificadores: campo.modificadores,
+    }));
+}
+function converterBloco(bloco) {
+    return {
+        campos: converterCampos(bloco),
+        linhas: bloco?.linhas.map((linha) => linha.conteudo) ?? [],
+    };
+}
+function converterCaso(caso) {
+    return {
+        nome: caso.nome,
+        given: converterBloco(caso.given),
+        when: caso.when ? converterBloco(caso.when) : undefined,
+        expect: converterBloco(caso.expect),
+        error: caso.error ? converterBloco(caso.error) : undefined,
+    };
+}
+function encontrarSubBloco(bloco, palavraChave) {
+    return bloco.blocos.find((subbloco) => subbloco.tipo === "bloco_generico" && subbloco.palavraChave === palavraChave);
+}
+function converterErrosPublicos(bloco) {
+    return (bloco?.campos ?? []).map((campo) => ({
+        nome: campo.nome,
+        codigo: campo.nome,
+        mensagem: [campo.valor, ...campo.modificadores].join(" ").trim() || undefined,
+    }));
+}
+function recomporCaminho(campo) {
+    if (!campo) {
+        return undefined;
+    }
+    return [campo.valor, ...campo.modificadores]
+        .join(" ")
+        .replace(/\s*\/\s*/g, "/")
+        .trim();
+}
+function ehUseInterop(use) {
+    return use.origem !== "sema";
+}
+export function converterParaIr(modulo, diagnosticos, contexto) {
+    const types = modulo.types.map((type) => ({
+        nome: type.nome,
+        definicao: converterBloco(encontrarSubBloco(type.corpo, "fields") ?? type.corpo),
+        invariantes: (encontrarSubBloco(type.corpo, "invariants")?.linhas ?? [])
+            .map((linha) => parsearExpressaoSemantica(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+    }));
+    const entities = modulo.entities.map((entity) => ({
+        nome: entity.nome,
+        campos: converterCampos(encontrarSubBloco(entity.corpo, "fields")),
+        invariantes: (encontrarSubBloco(entity.corpo, "invariants")?.linhas ?? [])
+            .map((linha) => parsearExpressaoSemantica(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+    }));
+    const tasks = modulo.tasks.map((task) => ({
+        nome: task.nome,
+        input: converterCampos(task.input),
+        output: converterCampos(task.output),
+        rules: task.rules?.linhas.map((linha) => linha.conteudo) ?? [],
+        regrasEstruturadas: (task.rules?.linhas ?? []).map((linha) => parsearExpressaoSemantica(linha.conteudo)).filter((linha) => Boolean(linha)),
+        effects: task.effects?.linhas.map((linha) => linha.conteudo) ?? [],
+        efeitosEstruturados: (task.effects?.linhas ?? []).map((linha) => parsearEfeitoSemantico(linha.conteudo)).filter((linha) => Boolean(linha)),
+        implementacoesExternas: (task.impl?.campos ?? [])
+            .map((campo) => {
+            const origem = campo.nome.toLowerCase();
+            if (origem === "ts" || origem === "typescript") {
+                return { origem: "ts", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "py" || origem === "python") {
+                return { origem: "py", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "dart") {
+                return { origem: "dart", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "cs" || origem === "csharp" || origem === "dotnet") {
+                return { origem: "cs", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "java") {
+                return { origem: "java", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "go" || origem === "golang") {
+                return { origem: "go", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "rust" || origem === "rs") {
+                return { origem: "rust", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            if (origem === "cpp" || origem === "cxx" || origem === "cc" || origem === "c++") {
+                return { origem: "cpp", caminho: campo.valor, resolucaoImpl: campo.valor, statusImpl: "nao_verificado" };
+            }
+            return undefined;
+        })
+            .filter((item) => Boolean(item)),
+        guarantees: task.guarantees?.linhas.map((linha) => linha.conteudo) ?? [],
+        garantiasEstruturadas: (task.guarantees?.linhas ?? []).map((linha) => parsearExpressaoSemantica(linha.conteudo)).filter((linha) => Boolean(linha)),
+        errors: Object.fromEntries((task.error?.campos ?? []).map((campo) => [campo.nome, [campo.valor, ...campo.modificadores].join(" ").trim()])),
+        stateContract: task.state ? {
+            nomeEstado: task.state.nome ?? task.state.campos.find((campo) => campo.nome === "state" || campo.nome === "estado")?.valor,
+            campos: converterCampos(task.state),
+            linhas: task.state.linhas.map((linha) => linha.conteudo),
+            transicoes: (encontrarSubBloco(task.state, "transitions")?.linhas ?? task.state.linhas)
+                .map((linha) => parsearTransicaoEstado(linha.conteudo))
+                .filter((linha) => Boolean(linha)),
+        } : undefined,
+        tests: (task.tests?.blocos.filter((bloco) => bloco.tipo === "caso_teste") ?? []).map(converterCaso),
+    }));
+    const tarefasPorNome = new Map(tasks.map((task) => [task.nome, task]));
+    const tarefasSemanticas = contexto?.tarefasDetalhadas ?? new Map();
+    const flows = modulo.flows.map((flow) => ({
+        nome: flow.nome,
+        campos: flow.corpo.campos.map((campo) => ({
+            nome: campo.nome,
+            tipo: campo.valor,
+            modificadores: campo.modificadores,
+        })),
+        linhas: flow.corpo.linhas.map((linha) => linha.conteudo),
+        tasksReferenciadas: flow.corpo.campos
+            .filter((campo) => campo.nome === "task" || campo.nome === "tarefa")
+            .map((campo) => campo.valor),
+        etapasEstruturadas: flow.corpo.linhas
+            .map((linha) => parsearEtapaFlow(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+        effects: (encontrarSubBloco(flow.corpo, "effects")?.linhas ?? []).map((linha) => linha.conteudo),
+        efeitosEstruturados: (encontrarSubBloco(flow.corpo, "effects")?.linhas ?? [])
+            .map((linha) => parsearEfeitoSemantico(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+    }));
+    const routes = modulo.routes.map((route) => ({
+        nome: route.nome,
+        campos: route.corpo.campos.map((campo) => ({
+            nome: campo.nome,
+            tipo: campo.valor,
+            modificadores: campo.modificadores,
+        })),
+        linhas: route.corpo.linhas.map((linha) => linha.conteudo),
+        metodo: route.corpo.campos.find((campo) => campo.nome === "metodo")?.valor,
+        caminho: recomporCaminho(route.corpo.campos.find((campo) => campo.nome === "caminho")),
+        task: route.corpo.campos.find((campo) => campo.nome === "task" || campo.nome === "tarefa")?.valor,
+        inputPublico: [],
+        outputPublico: [],
+        errosPublicos: [],
+        efeitosPublicos: [],
+        garantiasPublicasMinimas: [],
+        publico: {
+            metodo: undefined,
+            caminho: undefined,
+            task: undefined,
+            input: [],
+            output: [],
+            errors: [],
+            effects: [],
+            garantiasMinimas: [],
+        },
+    })).map((route) => {
+        const routeAst = modulo.routes.find((item) => item.nome === route.nome);
+        const tarefaAssociada = route.task ? tarefasPorNome.get(route.task) : undefined;
+        const tarefaSemantica = route.task ? tarefasSemanticas.get(route.task) : undefined;
+        const inputPublicoDeclarado = converterCampos(encontrarSubBloco(routeAst.corpo, "input"));
+        const outputPublicoDeclarado = converterCampos(encontrarSubBloco(routeAst.corpo, "output"));
+        const errosPublicosDeclarados = converterErrosPublicos(encontrarSubBloco(routeAst.corpo, "error"));
+        const efeitosPublicosDeclarados = (encontrarSubBloco(routeAst.corpo, "effects")?.linhas ?? [])
+            .map((linha) => parsearEfeitoSemantico(linha.conteudo))
+            .filter((linha) => Boolean(linha));
+        const inputPublicoResolvido = inputPublicoDeclarado.length > 0
+            ? inputPublicoDeclarado
+            : (tarefaAssociada?.input ?? tarefaSemantica?.input ?? []);
+        const outputPublicoResolvido = outputPublicoDeclarado.length > 0
+            ? outputPublicoDeclarado
+            : (tarefaAssociada?.output ?? tarefaSemantica?.output ?? []);
+        const errosPublicosResolvidos = errosPublicosDeclarados.length > 0
+            ? errosPublicosDeclarados
+            : (tarefaAssociada
+                ? Object.entries(tarefaAssociada.errors).map(([nome, mensagem]) => ({ nome, codigo: nome, mensagem, origemTask: route.task }))
+                : (tarefaSemantica?.errors ?? []).map((erro) => ({ nome: erro.codigo, codigo: erro.codigo, mensagem: erro.mensagem, origemTask: route.task })));
+        const garantiasPublicasMinimas = (tarefaAssociada?.guarantees ?? tarefaSemantica?.guarantees ?? []).filter((garantia) => {
+            const referencia = garantia.trim().split(/\s+/)[0] ?? "";
+            return outputPublicoResolvido.some((campo) => campo.nome === referencia || garantia.includes(`${campo.nome}.`));
+        });
+        return {
+            ...route,
+            inputPublico: inputPublicoResolvido,
+            outputPublico: outputPublicoResolvido,
+            errosPublicos: errosPublicosResolvidos,
+            efeitosPublicos: efeitosPublicosDeclarados,
+            garantiasPublicasMinimas,
+            publico: {
+                metodo: route.metodo,
+                caminho: route.caminho,
+                task: route.task,
+                input: inputPublicoResolvido,
+                output: outputPublicoResolvido,
+                errors: errosPublicosResolvidos,
+                effects: efeitosPublicosDeclarados,
+                garantiasMinimas: garantiasPublicasMinimas,
+                divergenciasPublicas: [],
+            },
+        };
+    });
+    const states = modulo.states.map((state) => ({
+        nome: state.nome,
+        campos: converterCampos(encontrarSubBloco(state.corpo, "fields") ?? state.corpo),
+        linhas: state.corpo.linhas.map((linha) => linha.conteudo),
+        invariantes: (encontrarSubBloco(state.corpo, "invariants")?.linhas ?? [])
+            .map((linha) => parsearExpressaoSemantica(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+        transicoes: (encontrarSubBloco(state.corpo, "transitions")?.linhas ?? [])
+            .map((linha) => parsearTransicaoEstado(linha.conteudo))
+            .filter((linha) => Boolean(linha)),
+    }));
+    return {
+        nome: modulo.nome,
+        uses: contexto?.modulosImportados.length
+            ? [...contexto.modulosImportados]
+            : modulo.uses.filter((use) => use.origem === "sema").map((use) => use.caminho),
+        imports: modulo.uses.map((use) => ({
+            origem: use.origem,
+            caminho: use.caminho,
+            externo: use.origem !== "sema",
+        })),
+        interoperabilidades: contexto?.interoperabilidades.map((interop) => ({ ...interop })) ?? modulo.uses
+            .filter(ehUseInterop)
+            .map((use) => ({ origem: use.origem, caminho: use.caminho })),
+        types,
+        entities,
+        enums: modulo.enums.map((enumeracao) => ({ nome: enumeracao.nome, valores: enumeracao.valores })),
+        tasks,
+        flows,
+        routes,
+        states,
+        diagnosticos,
+    };
+}
+//# sourceMappingURL=conversor.js.map

package/node_modules/@sema/nucleo/dist/ir/conversor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conversor.js","sourceRoot":"","sources":["../../src/ir/conversor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC;AAczI,SAAS,eAAe,CAAC,KAAwB;IAC/C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,KAAK;QACjB,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAC,KAAwB;IAC9C,OAAO;QACL,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC;QAC9B,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAuB;IAC5C,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;QACjC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QACvD,MAAM,EAAE,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC;QACnC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAuB,EAAE,YAAoB;IACtE,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAgC,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC;AACrJ,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAwB;IACtD,OAAO,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,IAAI;QAClB,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;KAC9E,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CAAC,KAAkD;IACzE,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,SAAS,YAAY,CACnB,GAA8B;IAE9B,OAAO,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAiB,EAAE,YAA2B,EAAE,QAA4B;IAC1G,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,cAAc,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC;QAChF,WAAW,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACrE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,QAAQ,GAAe,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC5D,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,eAAe,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClE,WAAW,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACvE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;QAClC,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;QAC9D,kBAAkB,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9K,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;QAClE,mBAAmB,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9K,sBAAsB,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,IAAI,EAAE,CAAC;aAC9C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACb,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,YAAY,EAAE,CAAC;gBAC/C,OAAO,EAAE,MAAM,EAAE,IAAa,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC5H,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC3C,OAAO,EAAE,MAAM,EAAE,IAAa,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC5H,CAAC;YACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,MAAM,EAAE,MAAe,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC9H,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAClE,OAAO,EAAE,MAAM,EAAE,IAAa,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC5H,CAAC;YACD,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtB,OAAO,EAAE,MAAM,EAAE,MAAe,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC9H,CAAC;YACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC3C,OAAO,EAAE,MAAM,EAAE,IAAa,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC5H,CAAC;YACD,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACzC,OAAO,EAAE,MAAM,EAAE,MAAe,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC9H,CAAC;YACD,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;gBAChF,OAAO,EAAE,MAAM,EAAE,KAAc,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,EAAE,gBAAyB,EAAE,CAAC;YAC7H,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,IAAI,EAAoC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;QACxE,qBAAqB,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACtL,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3I,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1B,UAAU,EAAE,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;YAC1H,MAAM,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YACxD,UAAU,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;iBACpF,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;SACzE,CAAC,CAAC,CAAC,SAAS;QACb,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAA8B,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC;KAChI,CAAC,CAAC,CAAC;IAEJ,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IAChF,MAAM,iBAAiB,GAAG,QAAQ,EAAE,iBAAiB,IAAI,IAAI,GAAG,EAAE,CAAC;IAEnE,MAAM,KAAK,GAAa,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAClD,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,aAAa,EAAE,KAAK,CAAC,aAAa;SACnC,CAAC,CAAC;QACH,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACxD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;aAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;aACnE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC;QAC9B,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;aAClC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aAChD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxE,OAAO,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChG,mBAAmB,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aAC1E,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,MAAM,MAAM,GAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACzC,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,IAAI,EAAE,KAAK,CAAC,KAAK;YACjB,aAAa,EAAE,KAAK,CAAC,aAAa;SACnC,CAAC,CAAC;QACH,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACzD,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK;QAC1E,OAAO,EAAE,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACtF,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,KAAK;QACjG,YAAY,EAAE,EAAE;QAChB,aAAa,EAAE,EAAE;QACjB,aAAa,EAAE,EAAE;QACjB,eAAe,EAAE,EAAE;QACnB,wBAAwB,EAAE,EAAE;QAC5B,OAAO,EAAE;YACP,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,SAAS;YAClB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,EAAE;YACV,OAAO,EAAE,EAAE;YACX,gBAAgB,EAAE,EAAE;SACrB;KACF,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAE,CAAC;QACzE,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChF,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnF,MAAM,qBAAqB,GAAG,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1F,MAAM,sBAAsB,GAAG,eAAe,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5F,MAAM,uBAAuB,GAAG,sBAAsB,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;QACnG,MAAM,yBAAyB,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aAC3F,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,MAAM,GAAG,CAAC;YAC5D,CAAC,CAAC,qBAAqB;YACvB,CAAC,CAAC,CAAC,eAAe,EAAE,KAAK,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;QAC7D,MAAM,sBAAsB,GAAG,sBAAsB,CAAC,MAAM,GAAG,CAAC;YAC9D,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,eAAe,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;QAC/D,MAAM,uBAAuB,GAAG,uBAAuB,CAAC,MAAM,GAAG,CAAC;YAChE,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,CAAC,eAAe;gBAChB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9H,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAA0C,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1L,MAAM,wBAAwB,GAAG,CAAC,eAAe,EAAE,UAAU,IAAI,eAAe,EAAE,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,QAAgB,EAAE,EAAE;YAC9H,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC,KAAuB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QACpI,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,GAAG,KAAK;YACR,YAAY,EAAE,qBAAqB;YACnC,aAAa,EAAE,sBAAsB;YACrC,aAAa,EAAE,uBAAuB;YACtC,eAAe,EAAE,yBAAyB;YAC1C,wBAAwB;YACxB,OAAO,EAAE;gBACP,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,sBAAsB;gBAC9B,MAAM,EAAE,uBAAuB;gBAC/B,OAAO,EAAE,yBAAyB;gBAClC,gBAAgB,EAAE,wBAAwB;gBAC1C,oBAAoB,EAAE,EAAE;aACzB;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAc,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,eAAe,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;QAChF,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;QACzD,WAAW,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACzD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxE,UAAU,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,MAAM,IAAI,EAAE,CAAC;aACtE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;aACtD,MAAM,CAAC,CAAC,KAAK,EAAsC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;KACzE,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,QAAQ,EAAE,iBAAiB,CAAC,MAAM;YACtC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC;YACjC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC;QAChF,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,OAAO,EAAE,GAAG,CAAC,MAAM,KAAK,MAAM;SAC/B,CAAC,CAAC;QACH,mBAAmB,EAAE,QAAQ,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI;aACjG,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,KAAK;QACL,QAAQ;QACR,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;QACjG,KAAK;QACL,KAAK;QACL,MAAM;QACN,MAAM;QACN,YAAY;KACb,CAAC;AACJ,CAAC"}

package/node_modules/@sema/nucleo/dist/ir/modelos.d.ts

@@ -0,0 +1,131 @@
+import type { Diagnostico } from "../diagnosticos/index.js";
+import type { ContratoErroRouteSemantico, EfeitoSemantico, EtapaFlowSemantica, ExpressaoSemantica, TransicaoEstadoSemantica } from "../semantico/estruturas.js";
+export interface IrCampo {
+    nome: string;
+    tipo: string;
+    modificadores: string[];
+}
+export interface IrImplementacaoTask {
+    origem: "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
+    caminho: string;
+    origemArquivo?: string;
+    origemSimbolo?: string;
+    resolucaoImpl?: string;
+    statusImpl?: "nao_verificado" | "resolvido" | "quebrado" | "nao_resolvido";
+}
+export interface IrBlocoDeclarativo {
+    campos: IrCampo[];
+    linhas: string[];
+}
+export interface IrCasoTeste {
+    nome: string;
+    given: IrBlocoDeclarativo;
+    when?: IrBlocoDeclarativo;
+    expect: IrBlocoDeclarativo;
+    error?: IrBlocoDeclarativo;
+}
+export interface IrType {
+    nome: string;
+    definicao: IrBlocoDeclarativo;
+    invariantes: ExpressaoSemantica[];
+}
+export interface IrEntity {
+    nome: string;
+    campos: IrCampo[];
+    invariantes: ExpressaoSemantica[];
+}
+export interface IrEnum {
+    nome: string;
+    valores: string[];
+}
+export interface IrUse {
+    origem: "sema" | "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
+    caminho: string;
+    externo: boolean;
+}
+export interface IrInteropExterno {
+    origem: "ts" | "py" | "dart" | "cs" | "java" | "go" | "rust" | "cpp";
+    caminho: string;
+}
+export interface IrTask {
+    nome: string;
+    input: IrCampo[];
+    output: IrCampo[];
+    rules: string[];
+    regrasEstruturadas: ExpressaoSemantica[];
+    effects: string[];
+    efeitosEstruturados: EfeitoSemantico[];
+    implementacoesExternas: IrImplementacaoTask[];
+    guarantees: string[];
+    garantiasEstruturadas: ExpressaoSemantica[];
+    errors: Record<string, string>;
+    stateContract?: IrTaskStateContract;
+    tests: IrCasoTeste[];
+}
+export interface IrErroPublico {
+    nome: string;
+    codigo: string;
+    mensagem?: string;
+    origemTask?: string;
+}
+export interface IrRoutePublica {
+    metodo?: string;
+    caminho?: string;
+    task?: string;
+    input: IrCampo[];
+    output: IrCampo[];
+    errors: IrErroPublico[];
+    effects: EfeitoSemantico[];
+    garantiasMinimas: string[];
+    divergenciasPublicas?: string[];
+}
+export interface IrTaskStateContract {
+    nomeEstado?: string;
+    campos: IrCampo[];
+    linhas: string[];
+    transicoes: TransicaoEstadoSemantica[];
+}
+export interface IrFlow {
+    nome: string;
+    campos: IrCampo[];
+    linhas: string[];
+    tasksReferenciadas: string[];
+    etapasEstruturadas: EtapaFlowSemantica[];
+    effects: string[];
+    efeitosEstruturados: EfeitoSemantico[];
+}
+export interface IrRoute {
+    nome: string;
+    campos: IrCampo[];
+    linhas: string[];
+    metodo?: string;
+    caminho?: string;
+    task?: string;
+    inputPublico: IrCampo[];
+    outputPublico: IrCampo[];
+    errosPublicos: ContratoErroRouteSemantico[];
+    efeitosPublicos: EfeitoSemantico[];
+    garantiasPublicasMinimas: string[];
+    publico: IrRoutePublica;
+}
+export interface IrState {
+    nome?: string;
+    campos: IrCampo[];
+    linhas: string[];
+    invariantes: ExpressaoSemantica[];
+    transicoes: TransicaoEstadoSemantica[];
+}
+export interface IrModulo {
+    nome: string;
+    uses: string[];
+    imports: IrUse[];
+    interoperabilidades: IrInteropExterno[];
+    types: IrType[];
+    entities: IrEntity[];
+    enums: IrEnum[];
+    tasks: IrTask[];
+    flows: IrFlow[];
+    routes: IrRoute[];
+    states: IrState[];
+    diagnosticos: Diagnostico[];
+}

package/node_modules/@sema/nucleo/dist/ir/modelos.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=modelos.js.map

package/node_modules/@sema/nucleo/dist/ir/modelos.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modelos.js","sourceRoot":"","sources":["../../src/ir/modelos.ts"],"names":[],"mappings":""}

package/node_modules/@sema/nucleo/dist/lexer/lexer.d.ts

@@ -0,0 +1,7 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import { type Token } from "./tokens.js";
+export interface ResultadoLexer {
+    tokens: Token[];
+    diagnosticos: Diagnostico[];
+}
+export declare function tokenizar(codigo: string, arquivo?: string): ResultadoLexer;

package/node_modules/@sema/nucleo/dist/lexer/lexer.js

@@ -0,0 +1,122 @@
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { PALAVRAS_CHAVE } from "./tokens.js";
+function avancar(posicao, caractere) {
+    if (caractere === "\n") {
+        return { indice: posicao.indice + 1, linha: posicao.linha + 1, coluna: 1 };
+    }
+    return { indice: posicao.indice + 1, linha: posicao.linha, coluna: posicao.coluna + 1 };
+}
+function criarToken(tipo, valor, inicio, fim, arquivo) {
+    return {
+        tipo,
+        valor,
+        intervalo: { inicio, fim, arquivo },
+    };
+}
+export function tokenizar(codigo, arquivo) {
+    const tokens = [];
+    const diagnosticos = [];
+    let posicao = { indice: 0, linha: 1, coluna: 1 };
+    while (posicao.indice < codigo.length) {
+        const inicio = { ...posicao };
+        const atual = codigo[posicao.indice];
+        if (atual === " " || atual === "\t" || atual === "\r") {
+            posicao = avancar(posicao, atual);
+            continue;
+        }
+        if (atual === "\n") {
+            posicao = avancar(posicao, atual);
+            tokens.push(criarToken("nova_linha", "\n", inicio, { ...posicao }, arquivo));
+            continue;
+        }
+        if (atual === "/" && codigo[posicao.indice + 1] === "/") {
+            let texto = "";
+            let cursor = { ...posicao };
+            while (cursor.indice < codigo.length && codigo[cursor.indice] !== "\n") {
+                texto += codigo[cursor.indice];
+                cursor = avancar(cursor, codigo[cursor.indice]);
+            }
+            tokens.push(criarToken("comentario", texto, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        if (atual === "\"") {
+            let texto = "";
+            let cursor = avancar(posicao, atual);
+            let fechado = false;
+            while (cursor.indice < codigo.length) {
+                const caractere = codigo[cursor.indice];
+                if (caractere === "\\") {
+                    const proximo = codigo[cursor.indice + 1];
+                    if (proximo) {
+                        texto += caractere + proximo;
+                        cursor = avancar(avancar(cursor, caractere), proximo);
+                        continue;
+                    }
+                }
+                if (caractere === "\"") {
+                    fechado = true;
+                    cursor = avancar(cursor, caractere);
+                    break;
+                }
+                texto += caractere;
+                cursor = avancar(cursor, caractere);
+            }
+            if (!fechado) {
+                diagnosticos.push(criarDiagnostico("LEX001", "Texto nao foi fechado com aspas.", "erro", { inicio, fim: cursor, arquivo }, "Feche a string com aspas duplas."));
+                posicao = cursor;
+                continue;
+            }
+            tokens.push(criarToken("texto", texto, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        if (/[0-9]/.test(atual)) {
+            let texto = "";
+            let cursor = { ...posicao };
+            while (cursor.indice < codigo.length && /[0-9.]/.test(codigo[cursor.indice])) {
+                texto += codigo[cursor.indice];
+                cursor = avancar(cursor, codigo[cursor.indice]);
+            }
+            tokens.push(criarToken("numero", texto, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        if (/[A-Za-z_]/.test(atual)) {
+            let texto = "";
+            let cursor = { ...posicao };
+            while (cursor.indice < codigo.length && /[A-Za-z0-9_.-]/.test(codigo[cursor.indice])) {
+                texto += codigo[cursor.indice];
+                cursor = avancar(cursor, codigo[cursor.indice]);
+            }
+            const tipo = PALAVRAS_CHAVE.has(texto) ? "palavra_chave" : "identificador";
+            tokens.push(criarToken(tipo, texto, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        const doisCaracteres = codigo.slice(posicao.indice, posicao.indice + 2);
+        if (["==", "!=", ">=", "<=", "->"].includes(doisCaracteres)) {
+            const cursor = avancar(avancar(posicao, doisCaracteres[0]), doisCaracteres[1]);
+            tokens.push(criarToken("operador", doisCaracteres, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        if ("{}[]():,.".includes(atual)) {
+            const cursor = avancar(posicao, atual);
+            tokens.push(criarToken("pontuacao", atual, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        if ("=><+-*/".includes(atual)) {
+            const cursor = avancar(posicao, atual);
+            tokens.push(criarToken("operador", atual, inicio, cursor, arquivo));
+            posicao = cursor;
+            continue;
+        }
+        diagnosticos.push(criarDiagnostico("LEX002", `Caractere inesperado encontrado: "${atual}".`, "erro", { inicio, fim: avancar(posicao, atual), arquivo }, "Remova o caractere ou adicione suporte no lexer."));
+        posicao = avancar(posicao, atual);
+    }
+    tokens.push(criarToken("fim_arquivo", "", { ...posicao }, { ...posicao }, arquivo));
+    return { tokens, diagnosticos };
+}
+//# sourceMappingURL=lexer.js.map