@semacode/cli 1.5.36 → 1.5.38

package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.js

@@ -0,0 +1,259 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { ehValorLiteralSemantico } from "./estruturas.part02.js";
+export const CATEGORIAS_EFEITO = new Set([
+    "persistencia",
+    "consulta",
+    "evento",
+    "notificacao",
+    "auditoria",
+    "db.read",
+    "db.write",
+    "queue.publish",
+    "queue.consume",
+    "fs.read",
+    "fs.write",
+    "network.egress",
+    "secret.read",
+    "shell.exec",
+]);
+export const CRITICIDADES_EFEITO = new Set([
+    "baixa",
+    "media",
+    "alta",
+    "critica",
+]);
+export const MAPEAMENTO_EFEITOS_LEGADOS = {
+    grava: "persistencia",
+    atualiza: "persistencia",
+    persiste: "persistencia",
+    consulta: "consulta",
+    le: "consulta",
+    acessa: "consulta",
+    emite: "evento",
+    notifica: "notificacao",
+    envia: "notificacao",
+    registra: "auditoria",
+    audita: "auditoria",
+};
+export const PREDICADOS_CANONICOS = {
+    preenchida: "preenchido",
+    preenchido: "preenchido",
+    valido: "valido",
+    valida: "valido",
+    validos: "valido",
+    validas: "valido",
+    nao_vazia: "nao_vazio",
+    nao_vazio: "nao_vazio",
+    email_valida: "email_valido",
+    email_valido: "email_valido",
+    numero_valida: "numero_valido",
+    numero_valido: "numero_valido",
+    positiva: "positivo",
+    positivo: "positivo",
+    unico: "unico",
+    unica: "unico",
+    anterior_a: "anterior_a",
+    posterior_a: "posterior_a",
+    nao_expirada: "nao_expirado",
+    nao_expirado: "nao_expirado",
+};
+export function normalizarPredicadoSemantico(predicado) {
+    const normalizado = predicado.trim().toLowerCase();
+    return PREDICADOS_CANONICOS[normalizado] ?? normalizado;
+}
+export const PRIVILEGIOS_EFEITO = new Set([
+    "leitura",
+    "escrita",
+    "publicacao",
+    "execucao",
+    "admin",
+    "egress",
+]);
+export const ISOLAMENTOS_EFEITO = new Set([
+    "tenant",
+    "processo",
+    "host",
+    "vps",
+    "global",
+]);
+export const OPERADORES_COMPARACAO = new Set(["==", "!=", ">", ">=", "<", "<="]);
+export function removerParentesesExternos(texto) {
+    let atual = texto.trim();
+    while (atual.startsWith("(") && atual.endsWith(")")) {
+        let profundidade = 0;
+        let removeu = true;
+        for (let indice = 0; indice < atual.length; indice += 1) {
+            const caractere = atual[indice];
+            if (caractere === "(") {
+                profundidade += 1;
+            }
+            else if (caractere === ")") {
+                profundidade -= 1;
+                if (profundidade === 0 && indice < atual.length - 1) {
+                    removeu = false;
+                    break;
+                }
+            }
+        }
+        if (!removeu) {
+            break;
+        }
+        atual = atual.slice(1, -1).trim();
+    }
+    return atual;
+}
+export function dividirNoNivelRaiz(texto, operador) {
+    const partes = [];
+    let profundidade = 0;
+    let inicio = 0;
+    for (let indice = 0; indice < texto.length; indice += 1) {
+        const caractere = texto[indice];
+        if (caractere === "(") {
+            profundidade += 1;
+            continue;
+        }
+        if (caractere === ")") {
+            profundidade -= 1;
+            continue;
+        }
+        if (profundidade === 0 && texto.slice(indice, indice + operador.length) === operador) {
+            partes.push(texto.slice(inicio, indice).trim());
+            inicio = indice + operador.length;
+            indice += operador.length - 1;
+        }
+    }
+    const ultimaParte = texto.slice(inicio).trim();
+    if (ultimaParte) {
+        partes.push(ultimaParte);
+    }
+    return partes;
+}
+export function criarComparacaoDerivada(base, valor) {
+    const valorNormalizado = removerParentesesExternos(valor.trim());
+    if (!valorNormalizado) {
+        return undefined;
+    }
+    return {
+        tipo: "comparacao",
+        textoOriginal: `${base.alvo} ${base.operador} ${valorNormalizado}`,
+        alvo: base.alvo,
+        operador: base.operador,
+        valor: valorNormalizado,
+        valorLiteral: ehValorLiteralSemantico(valorNormalizado),
+    };
+}
+export function parsearExpressaoSemantica(texto) {
+    const normalizado = removerParentesesExternos(texto.trim());
+    if (!normalizado) {
+        return undefined;
+    }
+    const partesOu = dividirNoNivelRaiz(normalizado, " ou ");
+    if (partesOu.length > 1) {
+        const termos = [];
+        let comparacaoBase;
+        let usouAtalhoComparacao = false;
+        for (const parte of partesOu) {
+            const termo = parsearExpressaoSemantica(parte);
+            if (termo) {
+                termos.push(termo);
+                if (termo.tipo === "comparacao" && (termo.operador === "==" || termo.operador === "!=")) {
+                    comparacaoBase = termo;
+                }
+                continue;
+            }
+            if (comparacaoBase) {
+                const derivada = criarComparacaoDerivada(comparacaoBase, parte);
+                if (derivada) {
+                    comparacaoBase.valorLiteral = true;
+                    usouAtalhoComparacao = true;
+                    termos.push(derivada);
+                    continue;
+                }
+            }
+            return undefined;
+        }
+        if (usouAtalhoComparacao) {
+            for (const termo of termos) {
+                if (termo.tipo === "comparacao" && termo.alvo === comparacaoBase?.alvo && termo.operador === comparacaoBase?.operador) {
+                    termo.valorLiteral = true;
+                }
+            }
+        }
+        return { tipo: "composta", textoOriginal: normalizado, operadorLogico: "ou", termos };
+    }
+    const partesE = dividirNoNivelRaiz(normalizado, " e ");
+    if (partesE.length > 1) {
+        const termos = partesE.map((parte) => parsearExpressaoSemantica(parte)).filter((parte) => Boolean(parte));
+        return termos.length === partesE.length
+            ? { tipo: "composta", textoOriginal: normalizado, operadorLogico: "e", termos }
+            : undefined;
+    }
+    if (normalizado.startsWith("nao ")) {
+        const termo = parsearExpressaoSemantica(normalizado.slice("nao ".length).trim());
+        return termo
+            ? { tipo: "negacao", textoOriginal: normalizado, termo }
+            : undefined;
+    }
+    const correspondenciaMarcador = normalizado.match(/^(persistencia|estado|sucesso)\s+([A-Za-z_][A-Za-z0-9_]*)$/);
+    if (correspondenciaMarcador) {
+        const predicado = correspondenciaMarcador[2];
+        return {
+            tipo: "predicado",
+            textoOriginal: normalizado,
+            alvo: correspondenciaMarcador[1],
+            predicado,
+            predicadoCanonico: normalizarPredicadoSemantico(predicado),
+        };
+    }
+    const correspondenciaExiste = normalizado.match(/^([A-Za-z_][A-Za-z0-9_.]*)\s+existe$/);
+    if (correspondenciaExiste) {
+        return {
+            tipo: "existe",
+            textoOriginal: normalizado,
+            alvo: correspondenciaExiste[1],
+        };
+    }
+    const correspondenciaPredicado = normalizado.match(/^([A-Za-z_][A-Za-z0-9_.]*)\s+deve_ser\s+([A-Za-z_][A-Za-z0-9_]*)(?:\s+(.+))?$/);
+    if (correspondenciaPredicado) {
+        const predicado = correspondenciaPredicado[2];
+        return {
+            tipo: "predicado",
+            textoOriginal: normalizado,
+            alvo: correspondenciaPredicado[1],
+            predicado,
+            predicadoCanonico: normalizarPredicadoSemantico(predicado),
+            argumentos: correspondenciaPredicado[3]?.trim(),
+        };
+    }
+    const correspondenciaPertencimento = normalizado.match(/^([A-Za-z_][A-Za-z0-9_.]*)\s+em\s+\[(.+)\]$/);
+    if (correspondenciaPertencimento) {
+        const valores = correspondenciaPertencimento[2]
+            .split(",")
+            .map((valor) => valor.trim())
+            .filter(Boolean);
+        if (valores.length === 0) {
+            return undefined;
+        }
+        return {
+            tipo: "pertencimento",
+            textoOriginal: normalizado,
+            alvo: correspondenciaPertencimento[1],
+            valores,
+        };
+    }
+    const partes = normalizado.split(/\s+/).filter(Boolean);
+    if (partes.length >= 3 && OPERADORES_COMPARACAO.has(partes[1])) {
+        const valorComparacao = partes.slice(2).join(" ");
+        return {
+            tipo: "comparacao",
+            textoOriginal: normalizado,
+            alvo: partes[0],
+            operador: partes[1],
+            valor: valorComparacao,
+            valorLiteral: ehValorLiteralSemantico(valorComparacao),
+        };
+    }
+    return undefined;
+}
+//# sourceMappingURL=estruturas.part01.js.map

package/node_modules/@sema/nucleo/dist/semantico/estruturas.part01.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"estruturas.part01.js","sourceRoot":"","sources":["../../src/semantico/estruturas.part01.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAInG,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAwHjE,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAA2B;IACjE,cAAc;IACd,UAAU;IACV,QAAQ;IACR,aAAa;IACb,WAAW;IACX,SAAS;IACT,UAAU;IACV,eAAe;IACf,eAAe;IACf,SAAS;IACT,UAAU;IACV,gBAAgB;IAChB,aAAa;IACb,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAA6B;IACrE,OAAO;IACP,OAAO;IACP,MAAM;IACN,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAA6C;IAClF,KAAK,EAAE,cAAc;IACrB,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,cAAc;IACxB,QAAQ,EAAE,UAAU;IACpB,EAAE,EAAE,UAAU;IACd,MAAM,EAAE,UAAU;IAClB,KAAK,EAAE,QAAQ;IACf,QAAQ,EAAE,aAAa;IACvB,KAAK,EAAE,aAAa;IACpB,QAAQ,EAAE,WAAW;IACrB,MAAM,EAAE,WAAW;CACpB,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAA2B;IAC1D,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,WAAW;IACtB,YAAY,EAAE,cAAc;IAC5B,YAAY,EAAE,cAAc;IAC5B,aAAa,EAAE,eAAe;IAC9B,aAAa,EAAE,eAAe;IAC9B,QAAQ,EAAE,UAAU;IACpB,QAAQ,EAAE,UAAU;IACpB,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,aAAa;IAC1B,YAAY,EAAE,cAAc;IAC5B,YAAY,EAAE,cAAc;CAC7B,CAAC;AAEF,MAAM,UAAU,4BAA4B,CAAC,SAAiB;IAC5D,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACnD,OAAO,oBAAoB,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC;AAC1D,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAA4B;IACnE,SAAS;IACT,SAAS;IACT,YAAY;IACZ,UAAU;IACV,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAA4B;IACnE,QAAQ;IACR,UAAU;IACV,MAAM;IACN,KAAK;IACL,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AAEjF,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,IAAI,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACzB,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACpD,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;YACjC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;gBACtB,YAAY,IAAI,CAAC,CAAC;YACpB,CAAC;iBAAM,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;gBAC7B,YAAY,IAAI,CAAC,CAAC;gBAClB,IAAI,YAAY,KAAK,CAAC,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpD,OAAO,GAAG,KAAK,CAAC;oBAChB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,MAAM;QACR,CAAC;QACD,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACpC,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,QAAwB;IACxE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAE,CAAC;QACjC,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,YAAY,IAAI,CAAC,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,YAAY,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,QAAQ,EAAE,CAAC;YACrF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAChD,MAAM,GAAG,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAClC,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,IAAkC,EAClC,KAAa;IAEb,MAAM,gBAAgB,GAAG,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACjE,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,aAAa,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,IAAI,gBAAgB,EAAE;QAClE,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,KAAK,EAAE,gBAAgB;QACvB,YAAY,EAAE,uBAAuB,CAAC,gBAAgB,CAAC;KACxD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,MAAM,WAAW,GAAG,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACzD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,MAAM,GAAyB,EAAE,CAAC;QACxC,IAAI,cAAwD,CAAC;QAC7D,IAAI,oBAAoB,GAAG,KAAK,CAAC;QAEjC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,KAAK,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;oBACxF,cAAc,GAAG,KAAK,CAAC;gBACzB,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAChE,IAAI,QAAQ,EAAE,CAAC;oBACb,cAAc,CAAC,YAAY,GAAG,IAAI,CAAC;oBACnC,oBAAoB,GAAG,IAAI,CAAC;oBAC5B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBACtB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,oBAAoB,EAAE,CAAC;YACzB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,cAAc,EAAE,QAAQ,EAAE,CAAC;oBACtH,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC5B,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACxF,CAAC;IAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAA+B,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACvI,OAAO,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YACrC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,EAAE;YAC/E,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,yBAAyB,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjF,OAAO,KAAK;YACV,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,WAAW,EAAE,KAAK,EAAE;YACxD,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,MAAM,uBAAuB,GAAG,WAAW,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChH,IAAI,uBAAuB,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,uBAAuB,CAAC,CAAC,CAAE,CAAC;QAC9C,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,aAAa,EAAE,WAAW;YAC1B,IAAI,EAAE,uBAAuB,CAAC,CAAC,CAAE;YACjC,SAAS;YACT,iBAAiB,EAAE,4BAA4B,CAAC,SAAS,CAAC;SAC3D,CAAC;IACJ,CAAC;IAED,MAAM,qBAAqB,GAAG,WAAW,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACxF,IAAI,qBAAqB,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,WAAW;YAC1B,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAE;SAChC,CAAC;IACJ,CAAC;IAED,MAAM,wBAAwB,GAAG,WAAW,CAAC,KAAK,CAAC,+EAA+E,CAAC,CAAC;IACpI,IAAI,wBAAwB,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,wBAAwB,CAAC,CAAC,CAAE,CAAC;QAC/C,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,aAAa,EAAE,WAAW;YAC1B,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAE;YAClC,SAAS;YACT,iBAAiB,EAAE,4BAA4B,CAAC,SAAS,CAAC;YAC1D,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;SAChD,CAAC;IACJ,CAAC;IAED,MAAM,4BAA4B,GAAG,WAAW,CAAC,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACtG,IAAI,4BAA4B,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,4BAA4B,CAAC,CAAC,CAAE;aAC7C,KAAK,CAAC,GAAG,CAAC;aACV,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;aAC5B,MAAM,CAAC,OAAO,CAAC,CAAC;QACnB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,aAAa,EAAE,WAAW;YAC1B,IAAI,EAAE,4BAA4B,CAAC,CAAC,CAAE;YACtC,OAAO;SACR,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;QAChE,MAAM,eAAe,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClD,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,aAAa,EAAE,WAAW;YAC1B,IAAI,EAAE,MAAM,CAAC,CAAC,CAAE;YAChB,QAAQ,EAAE,MAAM,CAAC,CAAC,CAA6C;YAC/D,KAAK,EAAE,eAAe;YACtB,YAAY,EAAE,uBAAuB,CAAC,eAAe,CAAC;SACvD,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC"}

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

@@ -0,0 +1,9 @@
+import { CategoriaEfeitoSemantico, CriticidadeEfeitoSemantico, EfeitoSemantico, EtapaFlowSemantica, ExpressaoSemantica, TransicaoEstadoSemantica } from "./estruturas.part01.js";
+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 ehValorLiteralSemantico(valor: string): boolean;
+export declare function ehCategoriaEfeitoSemantico(valor: string): valor is CategoriaEfeitoSemantico;
+export declare function ehCriticidadeEfeitoSemantico(valor: string): valor is CriticidadeEfeitoSemantico;

package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.js

@@ -0,0 +1,223 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { CATEGORIAS_EFEITO, CRITICIDADES_EFEITO, ISOLAMENTOS_EFEITO, MAPEAMENTO_EFEITOS_LEGADOS, PRIVILEGIOS_EFEITO, parsearExpressaoSemantica } from "./estruturas.part01.js";
+export function parsearEfeitoSemantico(texto) {
+    const normalizado = texto.trim();
+    if (!normalizado) {
+        return undefined;
+    }
+    const partes = normalizado.split(/\s+/).filter(Boolean);
+    if (partes.length < 2) {
+        return undefined;
+    }
+    const partesSemCriticidade = [...partes];
+    let criticidadeTexto;
+    let privilegioTexto;
+    let isolamentoTexto;
+    const extrairQualificador = (nome) => {
+        const indiceInline = partesSemCriticidade.findIndex((parte) => parte.startsWith(`${nome}=`));
+        if (indiceInline !== -1) {
+            const valor = partesSemCriticidade[indiceInline].slice(`${nome}=`.length).trim();
+            partesSemCriticidade.splice(indiceInline, 1);
+            return valor;
+        }
+        const indiceSeparado = partesSemCriticidade.findIndex((parte) => parte === nome);
+        if (indiceSeparado !== -1
+            && partesSemCriticidade[indiceSeparado + 1] === "="
+            && partesSemCriticidade[indiceSeparado + 2]) {
+            const valor = partesSemCriticidade[indiceSeparado + 2].trim();
+            partesSemCriticidade.splice(indiceSeparado, 3);
+            return valor;
+        }
+        return undefined;
+    };
+    criticidadeTexto = extrairQualificador("criticidade");
+    privilegioTexto = extrairQualificador("privilegio");
+    isolamentoTexto = extrairQualificador("isolamento");
+    if (partesSemCriticidade.length < 2) {
+        return undefined;
+    }
+    const categoriaNormalizada = partesSemCriticidade[0];
+    const criticidade = criticidadeTexto && CRITICIDADES_EFEITO.has(criticidadeTexto)
+        ? criticidadeTexto
+        : undefined;
+    const privilegio = privilegioTexto && PRIVILEGIOS_EFEITO.has(privilegioTexto)
+        ? privilegioTexto
+        : undefined;
+    const isolamento = isolamentoTexto && ISOLAMENTOS_EFEITO.has(isolamentoTexto)
+        ? isolamentoTexto
+        : undefined;
+    if (CATEGORIAS_EFEITO.has(categoriaNormalizada)) {
+        return {
+            textoOriginal: normalizado,
+            categoria: categoriaNormalizada,
+            alvo: partesSemCriticidade[1],
+            detalhe: partesSemCriticidade.slice(2).join(" ").trim() || undefined,
+            criticidade,
+            criticidadeTexto,
+            privilegio,
+            privilegioTexto,
+            isolamento,
+            isolamentoTexto,
+        };
+    }
+    const categoriaLegada = MAPEAMENTO_EFEITOS_LEGADOS[partesSemCriticidade[0].toLowerCase()];
+    if (categoriaLegada) {
+        return {
+            textoOriginal: normalizado,
+            categoria: categoriaLegada,
+            alvo: partesSemCriticidade[1],
+            detalhe: partesSemCriticidade.slice(2).join(" ").trim() || undefined,
+            criticidade,
+            criticidadeTexto,
+            privilegio,
+            privilegioTexto,
+            isolamento,
+            isolamentoTexto,
+        };
+    }
+    return {
+        textoOriginal: normalizado,
+        categoria: partesSemCriticidade[0],
+        alvo: partesSemCriticidade[1],
+        detalhe: partesSemCriticidade.slice(2).join(" ").trim() || undefined,
+        criticidade,
+        criticidadeTexto,
+        privilegio,
+        privilegioTexto,
+        isolamento,
+        isolamentoTexto,
+    };
+}
+export function parsearTransicaoEstado(texto) {
+    const normalizado = texto.trim();
+    if (!normalizado) {
+        return undefined;
+    }
+    const correspondencia = normalizado.match(/^([A-Za-z_][A-Za-z0-9_.]*)\s*->\s*([A-Za-z_][A-Za-z0-9_.]*)$/);
+    if (!correspondencia) {
+        return undefined;
+    }
+    return {
+        textoOriginal: normalizado,
+        origem: correspondencia[1],
+        destino: correspondencia[2],
+    };
+}
+export function parsearEtapaFlow(texto) {
+    const normalizado = texto.trim();
+    if (!normalizado.startsWith("etapa ")) {
+        return undefined;
+    }
+    const semPrefixo = normalizado.slice("etapa ".length).trim();
+    const nome = semPrefixo.split(/\s+/)[0];
+    if (!nome) {
+        return undefined;
+    }
+    const resto = semPrefixo.slice(nome.length).trim();
+    const task = resto.match(/\busa\s+([A-Za-z_][A-Za-z0-9_.]*)/)?.[1];
+    const comTexto = resto.match(/\bcom\s+(.+?)(?=\s+(quando|depende_de|em_sucesso|em_erro|por_erro)\b|$)/)?.[1];
+    const dependenciasTexto = resto.match(/\bdepende_de\s+(.+?)(?=\s+(quando|com|em_sucesso|em_erro|por_erro)\b|$)/)?.[1];
+    const dependencias = dependenciasTexto
+        ? dependenciasTexto.split(",").map((parte) => parte.trim()).filter(Boolean)
+        : [];
+    const emSucesso = resto.match(/\bem_sucesso\s+([A-Za-z_][A-Za-z0-9_]*)/)?.[1];
+    const emErro = resto.match(/\bem_erro\s+([A-Za-z_][A-Za-z0-9_]*)/)?.[1];
+    const porErroTexto = resto.match(/\bpor_erro\s+(.+?)(?=\s+(quando|depende_de|em_sucesso|em_erro)\b|$)/)?.[1];
+    const mapeamentos = (comTexto
+        ? comTexto.split(",").map((parte) => parte.trim()).filter(Boolean)
+        : [])
+        .map((parte) => {
+        const [campo, ...restoValor] = parte.split("=");
+        return {
+            campo: campo?.trim() ?? "",
+            valor: restoValor.join("=").trim(),
+        };
+    })
+        .filter((item) => item.campo && item.valor);
+    const porErro = (porErroTexto
+        ? porErroTexto.split(",").map((parte) => parte.trim()).filter(Boolean)
+        : [])
+        .map((parte) => {
+        const [tipo, ...restoDestino] = parte.split("=");
+        return {
+            tipo: tipo?.trim() ?? "",
+            destino: restoDestino.join("=").trim(),
+        };
+    })
+        .filter((item) => item.tipo && item.destino);
+    const indiceQuando = resto.indexOf(" quando ");
+    const indicesTerminoCondicao = [
+        resto.indexOf(" depende_de "),
+        resto.indexOf(" em_sucesso "),
+        resto.indexOf(" em_erro "),
+        resto.indexOf(" por_erro "),
+    ].filter((indice) => indice !== -1 && indice > indiceQuando);
+    let condicao;
+    if (indiceQuando !== -1) {
+        const fimCondicao = indicesTerminoCondicao.length > 0 ? Math.min(...indicesTerminoCondicao) : resto.length;
+        const textoCondicao = resto.slice(indiceQuando + " quando ".length, fimCondicao).trim();
+        condicao = parsearExpressaoSemantica(textoCondicao);
+    }
+    return {
+        textoOriginal: normalizado,
+        nome,
+        task,
+        condicao,
+        dependencias,
+        mapeamentos,
+        emSucesso,
+        emErro,
+        porErro,
+    };
+}
+export function extrairReferenciasDaExpressao(expressao) {
+    if (expressao.tipo === "composta") {
+        return expressao.termos.flatMap(extrairReferenciasDaExpressao);
+    }
+    if (expressao.tipo === "negacao") {
+        return extrairReferenciasDaExpressao(expressao.termo);
+    }
+    const referencias = [expressao.alvo];
+    if (expressao.tipo === "comparacao"
+        && expressao.valor
+        && !expressao.valorLiteral
+        && pareceReferenciaSemantica(expressao.valor)) {
+        referencias.push(expressao.valor);
+    }
+    return referencias;
+}
+export function pareceReferenciaSemantica(valor) {
+    const normalizado = valor.trim();
+    if (!normalizado) {
+        return false;
+    }
+    if (ehValorLiteralSemantico(normalizado)) {
+        return false;
+    }
+    return /^[A-Za-z_][A-Za-z0-9_.]*$/.test(normalizado);
+}
+export function ehValorLiteralSemantico(valor) {
+    const normalizado = valor.trim();
+    if (!normalizado) {
+        return false;
+    }
+    if ((normalizado.startsWith("\"") && normalizado.endsWith("\""))
+        || (normalizado.startsWith("'") && normalizado.endsWith("'"))) {
+        return true;
+    }
+    if (/^-?\d+(?:\.\d+)?$/.test(normalizado)) {
+        return true;
+    }
+    if (["verdadeiro", "falso", "nulo"].includes(normalizado)) {
+        return true;
+    }
+    return /^[A-Z][A-Z0-9_]*$/.test(normalizado);
+}
+export function ehCategoriaEfeitoSemantico(valor) {
+    return CATEGORIAS_EFEITO.has(valor);
+}
+export function ehCriticidadeEfeitoSemantico(valor) {
+    return CRITICIDADES_EFEITO.has(valor);
+}
+//# sourceMappingURL=estruturas.part02.js.map

package/node_modules/@sema/nucleo/dist/semantico/estruturas.part02.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"estruturas.part02.js","sourceRoot":"","sources":["../../src/semantico/estruturas.part02.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAInG,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAiH,kBAAkB,EAAE,0BAA0B,EAAE,kBAAkB,EAA4B,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAExT,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,oBAAoB,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IACzC,IAAI,gBAAoC,CAAC;IACzC,IAAI,eAAmC,CAAC;IACxC,IAAI,eAAmC,CAAC;IAExC,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAsB,EAAE;QAC/D,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC;QAC7F,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,oBAAoB,CAAC,YAAY,CAAE,CAAC,KAAK,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YAClF,oBAAoB,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YAC7C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,MAAM,cAAc,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;QACjF,IACE,cAAc,KAAK,CAAC,CAAC;eAClB,oBAAoB,CAAC,cAAc,GAAG,CAAC,CAAC,KAAK,GAAG;eAChD,oBAAoB,CAAC,cAAc,GAAG,CAAC,CAAC,EAC3C,CAAC;YACD,MAAM,KAAK,GAAG,oBAAoB,CAAC,cAAc,GAAG,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC;YAC/D,oBAAoB,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC;YAC/C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF,gBAAgB,GAAG,mBAAmB,CAAC,aAAa,CAAC,CAAC;IACtD,eAAe,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IACpD,eAAe,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC;IAEpD,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,oBAAoB,GAAG,oBAAoB,CAAC,CAAC,CAA6B,CAAC;IACjF,MAAM,WAAW,GAAG,gBAAgB,IAAI,mBAAmB,CAAC,GAAG,CAAC,gBAA8C,CAAC;QAC7G,CAAC,CAAC,gBAA8C;QAChD,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,UAAU,GAAG,eAAe,IAAI,kBAAkB,CAAC,GAAG,CAAC,eAA4C,CAAC;QACxG,CAAC,CAAC,eAA4C;QAC9C,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,UAAU,GAAG,eAAe,IAAI,kBAAkB,CAAC,GAAG,CAAC,eAA4C,CAAC;QACxG,CAAC,CAAC,eAA4C;QAC9C,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,iBAAiB,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAChD,OAAO;YACL,aAAa,EAAE,WAAW;YAC1B,SAAS,EAAE,oBAAoB;YAC/B,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAE;YAC9B,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;YACpE,WAAW;YACX,gBAAgB;YAChB,UAAU;YACV,eAAe;YACf,UAAU;YACV,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,0BAA0B,CAAC,oBAAoB,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3F,IAAI,eAAe,EAAE,CAAC;QACpB,OAAO;YACL,aAAa,EAAE,WAAW;YAC1B,SAAS,EAAE,eAAe;YAC1B,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAE;YAC9B,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;YACpE,WAAW;YACX,gBAAgB;YAChB,UAAU;YACV,eAAe;YACf,UAAU;YACV,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,aAAa,EAAE,WAAW;QAC1B,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAA8B;QAC/D,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAE;QAC9B,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS;QACpE,WAAW;QACX,gBAAgB;QAChB,UAAU;QACV,eAAe;QACf,UAAU;QACV,eAAe;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAa;IAClD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,eAAe,GAAG,WAAW,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAC1G,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,OAAO;QACL,aAAa,EAAE,WAAW;QAC1B,MAAM,EAAE,eAAe,CAAC,CAAC,CAAE;QAC3B,OAAO,EAAE,eAAe,CAAC,CAAC,CAAE;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,mCAAmC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnE,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,yEAAyE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,iBAAiB,GAAG,KAAK,CAAC,KAAK,CAAC,yEAAyE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtH,MAAM,YAAY,GAAG,iBAAiB;QACpC,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAC3E,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,yCAAyC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,sCAAsC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,qEAAqE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7G,MAAM,WAAW,GAAG,CAAC,QAAQ;QAC3B,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAClE,CAAC,CAAC,EAAE,CAAC;SACJ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChD,OAAO;YACL,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;YAC1B,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;SACnC,CAAC;IACJ,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,CAAC,YAAY;QAC3B,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QACtE,CAAC,CAAC,EAAE,CAAC;SACJ,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,CAAC,IAAI,EAAE,GAAG,YAAY,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;YACxB,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE;SACvC,CAAC;IACJ,CAAC,CAAC;SACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IAE/C,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,sBAAsB,GAAG;QAC7B,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC;QAC7B,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC;QAC7B,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC;QAC1B,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC;KAC5B,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,IAAI,MAAM,GAAG,YAAY,CAAC,CAAC;IAC7D,IAAI,QAAwC,CAAC;IAC7C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3G,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,GAAG,UAAU,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC;QACxF,QAAQ,GAAG,yBAAyB,CAAC,aAAa,CAAC,CAAC;IACtD,CAAC;IAED,OAAO;QACL,aAAa,EAAE,WAAW;QAC1B,IAAI;QACJ,IAAI;QACJ,QAAQ;QACR,YAAY;QACZ,WAAW;QACX,SAAS;QACT,MAAM;QACN,OAAO;KACR,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,SAA6B;IACzE,IAAI,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACjE,CAAC;IAED,IAAI,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,6BAA6B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAErC,IACE,SAAS,CAAC,IAAI,KAAK,YAAY;WAC5B,SAAS,CAAC,KAAK;WACf,CAAC,SAAS,CAAC,YAAY;WACvB,yBAAyB,CAAC,SAAS,CAAC,KAAK,CAAC,EAC7C,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,uBAAuB,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,OAAO,2BAA2B,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAa;IACnD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACjC,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IACE,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;WACzD,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC7D,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,mBAAmB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAa;IACtD,OAAO,iBAAiB,CAAC,GAAG,CAAC,KAAiC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAAa;IACxD,OAAO,mBAAmB,CAAC,GAAG,CAAC,KAAmC,CAAC,CAAC;AACtE,CAAC"}

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

@@ -0,0 +1,21 @@
+export declare const LIMITE_AVISO_LINHAS_ORCAMENTO_SEMANTICO = 300;
+export declare const LIMITE_BLOQUEIO_LINHAS_ORCAMENTO_SEMANTICO = 500;
+export type SeveridadeOrcamentoSemantico = "ok" | "aviso" | "erro";
+export interface EntradaDiagnosticoContratoMonolitico {
+    contrato_alvo?: string;
+    linhas?: number;
+    tasks?: number;
+    entities?: number;
+    blocos_operacionais?: number;
+}
+export interface ResultadoDiagnosticoContratoMonolitico {
+    diagnostico_emitido: boolean;
+    severidade: SeveridadeOrcamentoSemantico;
+    limite_aviso_linhas: number;
+    limite_bloqueio_linhas: number;
+    precisa_refatorar: boolean;
+    contrato_indice_sugerido: boolean;
+    mensagem: string;
+}
+export declare function classificarLinhasOrcamentoSemantico(linhas: number): SeveridadeOrcamentoSemantico;
+export declare function emitirDiagnosticosContratoMonolitico(entrada: EntradaDiagnosticoContratoMonolitico): ResultadoDiagnosticoContratoMonolitico;

package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.js

@@ -0,0 +1,40 @@
+// SEMA-GOVERNED
+// Módulo: sema.produto.orcamento_semantico
+// Contrato: contratos/sema/orcamento_semantico.sema
+// Descrição: valida o orçamento semântico de contratos antes que virem monólitos difíceis para IA.
+export const LIMITE_AVISO_LINHAS_ORCAMENTO_SEMANTICO = 300;
+export const LIMITE_BLOQUEIO_LINHAS_ORCAMENTO_SEMANTICO = 500;
+export function classificarLinhasOrcamentoSemantico(linhas) {
+    if (linhas > LIMITE_BLOQUEIO_LINHAS_ORCAMENTO_SEMANTICO) {
+        return "erro";
+    }
+    if (linhas > LIMITE_AVISO_LINHAS_ORCAMENTO_SEMANTICO) {
+        return "aviso";
+    }
+    return "ok";
+}
+export function emitirDiagnosticosContratoMonolitico(entrada) {
+    const linhas = Number(entrada.linhas ?? 0);
+    const tasks = Number(entrada.tasks ?? 0);
+    const blocosOperacionais = Number(entrada.blocos_operacionais ?? 0);
+    const severidadePorLinhas = classificarLinhasOrcamentoSemantico(linhas);
+    const excessoEstrutural = tasks > 10 || blocosOperacionais > 14;
+    const severidade = severidadePorLinhas === "erro" || excessoEstrutural
+        ? "erro"
+        : severidadePorLinhas;
+    const precisaRefatorar = severidade === "erro";
+    const diagnosticoEmitido = severidade !== "ok";
+    const alvo = entrada.contrato_alvo ?? "contrato";
+    return {
+        diagnostico_emitido: diagnosticoEmitido,
+        severidade,
+        limite_aviso_linhas: LIMITE_AVISO_LINHAS_ORCAMENTO_SEMANTICO,
+        limite_bloqueio_linhas: LIMITE_BLOQUEIO_LINHAS_ORCAMENTO_SEMANTICO,
+        precisa_refatorar: precisaRefatorar,
+        contrato_indice_sugerido: precisaRefatorar || tasks > 6,
+        mensagem: diagnosticoEmitido
+            ? `${alvo} passou do orcamento semantico; divida por responsabilidade antes de concluir.`
+            : `${alvo} esta dentro do orcamento semantico.`,
+    };
+}
+//# sourceMappingURL=orcamentoSemantico.js.map

package/node_modules/@sema/nucleo/dist/semantico/orcamentoSemantico.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orcamentoSemantico.js","sourceRoot":"","sources":["../../src/semantico/orcamentoSemantico.ts"],"names":[],"mappings":"AAAA,gBAAgB;AAChB,2CAA2C;AAC3C,oDAAoD;AACpD,mGAAmG;AAEnG,MAAM,CAAC,MAAM,uCAAuC,GAAG,GAAG,CAAC;AAC3D,MAAM,CAAC,MAAM,0CAA0C,GAAG,GAAG,CAAC;AAsB9D,MAAM,UAAU,mCAAmC,CAAC,MAAc;IAChE,IAAI,MAAM,GAAG,0CAA0C,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,MAAM,GAAG,uCAAuC,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,OAA6C;IAE7C,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IACzC,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,mBAAmB,GAAG,mCAAmC,CAAC,MAAM,CAAC,CAAC;IACxE,MAAM,iBAAiB,GAAG,KAAK,GAAG,EAAE,IAAI,kBAAkB,GAAG,EAAE,CAAC;IAChE,MAAM,UAAU,GAAiC,mBAAmB,KAAK,MAAM,IAAI,iBAAiB;QAClG,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,mBAAmB,CAAC;IACxB,MAAM,gBAAgB,GAAG,UAAU,KAAK,MAAM,CAAC;IAC/C,MAAM,kBAAkB,GAAG,UAAU,KAAK,IAAI,CAAC;IAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,IAAI,UAAU,CAAC;IAEjD,OAAO;QACL,mBAAmB,EAAE,kBAAkB;QACvC,UAAU;QACV,mBAAmB,EAAE,uCAAuC;QAC5D,sBAAsB,EAAE,0CAA0C;QAClE,iBAAiB,EAAE,gBAAgB;QACnC,wBAAwB,EAAE,gBAAgB,IAAI,KAAK,GAAG,CAAC;QACvD,QAAQ,EAAE,kBAAkB;YAC1B,CAAC,CAAC,GAAG,IAAI,gFAAgF;YACzF,CAAC,CAAC,GAAG,IAAI,sCAAsC;KAClD,CAAC;AACJ,CAAC"}

package/node_modules/@sema/nucleo/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/nucleo",
-  "version": "1.5.29",
+  "version": "1.5.38",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/node_modules/@sema/padroes/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema/padroes",
-  "version": "1.5.29",
+  "version": "1.5.38",
   "type": "module",
   "main": "dist/index.js",
   "types": "dist/index.d.ts"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@semacode/cli",
-  "version": "1.5.36",
+  "version": "1.5.38",
   "description": "Semantic governance CLI for AI agents: contracts, drift, impact, documentation gates, and Sema profiles for live systems.",
   "type": "module",
   "icon": "logo.png",
@@ -46,15 +46,15 @@
     "LICENSE"
   ],
   "dependencies": {
-    "@sema/nucleo": "1.5.36",
-    "@sema/gerador-dart": "1.5.36",
-    "@sema/gerador-lua": "1.5.36",
-    "@sema/gerador-python": "1.5.36",
-    "@sema/gerador-typescript": "1.5.36",
-    "@sema/gerador-javascript": "1.5.36",
-    "@sema/gerador-html": "1.5.36",
-    "@sema/gerador-css": "1.5.36",
-    "@sema/padroes": "1.5.36",
+    "@sema/nucleo": "1.5.38",
+    "@sema/gerador-dart": "1.5.38",
+    "@sema/gerador-lua": "1.5.38",
+    "@sema/gerador-python": "1.5.38",
+    "@sema/gerador-typescript": "1.5.38",
+    "@sema/gerador-javascript": "1.5.38",
+    "@sema/gerador-html": "1.5.38",
+    "@sema/gerador-css": "1.5.38",
+    "@sema/padroes": "1.5.38",
     "typescript": "^5.8.3"
   },
   "bundledDependencies": [