@semacode/cli 1.5.36 → 1.5.38

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

@@ -0,0 +1,168 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { CAMPOS_DATABASE_SUPORTADOS, CAMPOS_RECURSO_PERSISTENCIA_SUPORTADOS, classificarCompatibilidadePersistencia, nomeTipoRecursoPersistencia, normalizarConsistenciaPersistencia, normalizarDurabilidadePersistencia, normalizarEngineBanco, normalizarModeloConsultaPersistencia, normalizarModeloTransacaoPersistencia, parsearBooleanoPersistencia, recursoPersistenciaPodeSerPortavel, } from "../persistencia/contratos.js";
+import { parsearEfeitoSemantico, } from "./estruturas.js";
+import { efeitoEhPrivilegiado, } from "./seguranca.js";
+import { CAMPOS_EXECUCAO_SUPORTADOS, CRITICIDADES_OPERACIONAIS, extrairPerfilCompatibilidade, localizarCampo, valorCampoCompleto } from "./analisador.part01.js";
+export function validarCamposSuportadosPersistencia(bloco, camposSuportados, diagnosticos, contexto, codigo, dica) {
+    for (const campo of bloco.campos) {
+        if (camposSuportados.has(campo.nome)) {
+            continue;
+        }
+        diagnosticos.push(criarDiagnostico(codigo, `Campo de persistencia "${campo.nome}" nao e suportado em ${contexto}.`, "erro", campo.intervalo, dica));
+    }
+}
+export function validarBooleanoPersistencia(valor, intervalo, diagnosticos, codigo, mensagem) {
+    if (!valor) {
+        return;
+    }
+    if (parsearBooleanoPersistencia(valor) !== undefined) {
+        return;
+    }
+    diagnosticos.push(criarDiagnostico(codigo, mensagem, "erro", intervalo, "Use verdadeiro/falso ou true/false."));
+}
+export function validarRecursoPersistencia(database, recurso, diagnosticos) {
+    const engine = normalizarEngineBanco(valorCampoCompleto(localizarCampo(database, "engine")));
+    if (!engine) {
+        return;
+    }
+    validarCamposSuportadosPersistencia(recurso, CAMPOS_RECURSO_PERSISTENCIA_SUPORTADOS, diagnosticos, `resource "${recurso.nome ?? recurso.palavraChave}" do database "${database.nome ?? "database"}"`, "SEM106", "Use apenas entity, consistency, durability, transaction_model, query_model, portavel, mode, isolation, strategy, ttl, retention, path, from, to, surface, adapter, resource_kind, collection, table ou compatibilidade.");
+    const tipoRecurso = nomeTipoRecursoPersistencia(recurso);
+    if (!tipoRecurso) {
+        return;
+    }
+    const nomeRecurso = recurso.nome ?? tipoRecurso;
+    const contexto = `resource "${nomeRecurso}" do database "${database.nome ?? "database"}"`;
+    const consistency = valorCampoCompleto(localizarCampo(recurso, "consistency"));
+    const durability = valorCampoCompleto(localizarCampo(recurso, "durability"));
+    const transactionModel = valorCampoCompleto(localizarCampo(recurso, "transaction_model"));
+    const queryModel = valorCampoCompleto(localizarCampo(recurso, "query_model"));
+    const mode = valorCampoCompleto(localizarCampo(recurso, "mode"));
+    const portavel = valorCampoCompleto(localizarCampo(recurso, "portavel"));
+    const isolation = valorCampoCompleto(localizarCampo(recurso, "isolation"));
+    if (consistency && !normalizarConsistenciaPersistencia(consistency)) {
+        diagnosticos.push(criarDiagnostico("SEM107", `${contexto} declarou consistency invalida: "${consistency}".`, "erro", localizarCampo(recurso, "consistency")?.intervalo, "Use eventual, forte, serializable, snapshot ou causal."));
+    }
+    if (durability && !normalizarDurabilidadePersistencia(durability)) {
+        diagnosticos.push(criarDiagnostico("SEM108", `${contexto} declarou durability invalida: "${durability}".`, "erro", localizarCampo(recurso, "durability")?.intervalo, "Use baixa, media ou alta."));
+    }
+    if (transactionModel && !normalizarModeloTransacaoPersistencia(transactionModel)) {
+        diagnosticos.push(criarDiagnostico("SEM109", `${contexto} declarou transaction_model invalido: "${transactionModel}".`, "erro", localizarCampo(recurso, "transaction_model")?.intervalo, "Use mvcc, bloqueio, documento, otimista ou single_thread."));
+    }
+    if (queryModel && !normalizarModeloConsultaPersistencia(queryModel)) {
+        diagnosticos.push(criarDiagnostico("SEM110", `${contexto} declarou query_model invalido: "${queryModel}".`, "erro", localizarCampo(recurso, "query_model")?.intervalo, "Use sql, documento, chave_valor, pipeline ou stream."));
+    }
+    if (mode && !normalizarModeloConsultaPersistencia(mode)) {
+        diagnosticos.push(criarDiagnostico("SEM111", `${contexto} declarou mode invalido: "${mode}".`, "erro", localizarCampo(recurso, "mode")?.intervalo, "Use sql, documento, chave_valor, pipeline ou stream."));
+    }
+    const compatibilidade = classificarCompatibilidadePersistencia(tipoRecurso, engine, { mode, isolation });
+    if (compatibilidade.status === "invalido") {
+        diagnosticos.push(criarDiagnostico("SEM112", `${contexto} nao e compativel com o engine ${engine}.`, "erro", recurso.intervalo, compatibilidade.motivo));
+    }
+    validarBooleanoPersistencia(portavel, localizarCampo(recurso, "portavel")?.intervalo ?? recurso.intervalo, diagnosticos, "SEM113", `${contexto} declarou portavel com valor invalido: "${portavel}".`);
+    if (parsearBooleanoPersistencia(portavel) && !recursoPersistenciaPodeSerPortavel(tipoRecurso, { mode, isolation })) {
+        diagnosticos.push(criarDiagnostico("SEM114", `${contexto} foi marcado como portavel, mas a compatibilidade entre os cinco bancos nao fecha sem perdas reais.`, "aviso", localizarCampo(recurso, "portavel")?.intervalo ?? recurso.intervalo, "Remova portavel ou reduza o recurso para um baseline comum entre postgres, mysql, sqlite, mongodb e redis."));
+    }
+}
+export function validarDatabase(database, diagnosticos) {
+    validarCamposSuportadosPersistencia(database, CAMPOS_DATABASE_SUPORTADOS, diagnosticos, `database "${database.nome ?? "database"}"`, "SEM100", "Use apenas engine, schema, database, consistency, durability, transaction_model, query_model, portavel, adapter, perfil ou compatibilidade.");
+    const campoEngine = localizarCampo(database, "engine");
+    const engineBruto = valorCampoCompleto(campoEngine);
+    if (!engineBruto) {
+        diagnosticos.push(criarDiagnostico("SEM101", `Database "${database.nome ?? "database"}" precisa declarar engine.`, "erro", database.intervalo, "Use postgres, mysql, sqlite, mongodb ou redis."));
+        return;
+    }
+    const engine = normalizarEngineBanco(engineBruto);
+    if (!engine) {
+        diagnosticos.push(criarDiagnostico("SEM102", `Database "${database.nome ?? "database"}" declarou engine invalido: "${engineBruto}".`, "erro", campoEngine?.intervalo ?? database.intervalo, "Use postgres, mysql, sqlite, mongodb ou redis."));
+        return;
+    }
+    const consistency = valorCampoCompleto(localizarCampo(database, "consistency"));
+    const durability = valorCampoCompleto(localizarCampo(database, "durability"));
+    const transactionModel = valorCampoCompleto(localizarCampo(database, "transaction_model"));
+    const queryModel = valorCampoCompleto(localizarCampo(database, "query_model"));
+    const portavel = valorCampoCompleto(localizarCampo(database, "portavel"));
+    if (consistency && !normalizarConsistenciaPersistencia(consistency)) {
+        diagnosticos.push(criarDiagnostico("SEM103", `Database "${database.nome ?? "database"}" declarou consistency invalida: "${consistency}".`, "erro", localizarCampo(database, "consistency")?.intervalo, "Use eventual, forte, serializable, snapshot ou causal."));
+    }
+    if (durability && !normalizarDurabilidadePersistencia(durability)) {
+        diagnosticos.push(criarDiagnostico("SEM104", `Database "${database.nome ?? "database"}" declarou durability invalida: "${durability}".`, "erro", localizarCampo(database, "durability")?.intervalo, "Use baixa, media ou alta."));
+    }
+    if (transactionModel && !normalizarModeloTransacaoPersistencia(transactionModel)) {
+        diagnosticos.push(criarDiagnostico("SEM105", `Database "${database.nome ?? "database"}" declarou transaction_model invalido: "${transactionModel}".`, "erro", localizarCampo(database, "transaction_model")?.intervalo, "Use mvcc, bloqueio, documento, otimista ou single_thread."));
+    }
+    if (queryModel && !normalizarModeloConsultaPersistencia(queryModel)) {
+        diagnosticos.push(criarDiagnostico("SEM115", `Database "${database.nome ?? "database"}" declarou query_model invalido: "${queryModel}".`, "erro", localizarCampo(database, "query_model")?.intervalo, "Use sql, documento, chave_valor, pipeline ou stream."));
+    }
+    validarBooleanoPersistencia(portavel, localizarCampo(database, "portavel")?.intervalo ?? database.intervalo, diagnosticos, "SEM116", `Database "${database.nome ?? "database"}" declarou portavel com valor invalido: "${portavel}".`);
+    for (const recurso of database.blocos) {
+        if (recurso.tipo !== "bloco_generico") {
+            continue;
+        }
+        validarRecursoPersistencia(database, recurso, diagnosticos);
+    }
+}
+export function coletarSuperficiesModulo(modulo) {
+    return [
+        ...modulo.workers.map((superficie) => ({ tipo: "worker", superficie })),
+        ...modulo.eventos.map((superficie) => ({ tipo: "evento", superficie })),
+        ...modulo.filas.map((superficie) => ({ tipo: "fila", superficie })),
+        ...modulo.crons.map((superficie) => ({ tipo: "cron", superficie })),
+        ...modulo.webhooks.map((superficie) => ({ tipo: "webhook", superficie })),
+        ...modulo.caches.map((superficie) => ({ tipo: "cache", superficie })),
+        ...modulo.storages.map((superficie) => ({ tipo: "storage", superficie })),
+        ...modulo.policies.map((superficie) => ({ tipo: "policy", superficie })),
+    ];
+}
+export function superficieEhPublica(superficie, tipoSuperficie) {
+    return extrairPerfilCompatibilidade(superficie, tipoSuperficie === "webhook" ? "publico" : "interno") === "publico";
+}
+export function taskEhSensivel(task) {
+    const criticidadeOperacional = task.execucao
+        ? valorCampoCompleto(localizarCampo(task.execucao, "criticidade_operacional"))
+        : undefined;
+    if (criticidadeOperacional === "alta" || criticidadeOperacional === "critica") {
+        return true;
+    }
+    return (task.effects?.linhas ?? []).some((linha) => {
+        const efeito = parsearEfeitoSemantico(linha.conteudo);
+        if (!efeito) {
+            return false;
+        }
+        return efeito.categoria === "persistencia" || efeito.criticidade === "alta" || efeito.criticidade === "critica" || efeitoEhPrivilegiado(efeito);
+    });
+}
+export function taskTemRastreabilidade(task) {
+    return Boolean(task.impl || task.vinculos);
+}
+export function routeEhMutante(route) {
+    const metodo = (localizarCampo(route.corpo, "metodo")?.valor ?? "").toUpperCase();
+    return ["POST", "PUT", "PATCH", "DELETE"].includes(metodo);
+}
+export function validarExecucaoBloco(execucao, diagnosticos, contexto) {
+    if (!execucao) {
+        return;
+    }
+    for (const campo of execucao.campos) {
+        if (!CAMPOS_EXECUCAO_SUPORTADOS.has(campo.nome)) {
+            diagnosticos.push(criarDiagnostico("SEM065", `Campo de execucao "${campo.nome}" nao e suportado em ${contexto}.`, "erro", campo.intervalo, "Use apenas idempotencia, timeout, retry, compensacao ou criticidade_operacional."));
+            continue;
+        }
+        if (campo.nome === "criticidade_operacional") {
+            const criticidade = valorCampoCompleto(campo);
+            if (criticidade && !CRITICIDADES_OPERACIONAIS.has(criticidade)) {
+                diagnosticos.push(criarDiagnostico("SEM066", `Execucao de ${contexto} declarou criticidade_operacional invalida: "${criticidade}".`, "erro", campo.intervalo, "Use apenas baixa, media, alta ou critica em execucao."));
+            }
+        }
+    }
+    const criticidade = valorCampoCompleto(localizarCampo(execucao, "criticidade_operacional"));
+    const idempotencia = localizarCampo(execucao, "idempotencia");
+    if ((criticidade === "alta" || criticidade === "critica") && !idempotencia) {
+        diagnosticos.push(criarDiagnostico("SEM101", `Execucao critica em ${contexto} deveria declarar idempotencia explicita.`, "aviso", execucao.intervalo, "Declare idempotencia: verdadeiro ou idempotencia: falso para a IA nao assumir retry seguro no escuro."));
+    }
+}
+export function validarExecucao(task, diagnosticos) {
+    validarExecucaoBloco(task.execucao, diagnosticos, `task "${task.nome}"`);
+}
+//# sourceMappingURL=analisador.part02.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part02.js","sourceRoot":"","sources":["../../src/semantico/analisador.part02.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AAc9E,OAAO,EACL,0BAA0B,EAC1B,sCAAsC,EACtC,sCAAsC,EACtC,2BAA2B,EAC3B,kCAAkC,EAClC,kCAAkC,EAClC,qBAAqB,EACrB,oCAAoC,EACpC,qCAAqC,EACrC,2BAA2B,EAC3B,kCAAkC,GACnC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAIL,sBAAsB,GAIvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAgBL,oBAAoB,GAGrB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,0BAA0B,EAAE,yBAAyB,EAAoB,4BAA4B,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEnL,MAAM,UAAU,mCAAmC,CACjD,KAAuB,EACvB,gBAA6B,EAC7B,YAA2B,EAC3B,QAAgB,EAChB,MAAc,EACd,IAAY;IAEZ,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,SAAS;QACX,CAAC;QACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,MAAM,EACN,0BAA0B,KAAK,CAAC,IAAI,wBAAwB,QAAQ,GAAG,EACvE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,IAAI,CACL,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,KAAyB,EACzB,SAAgC,EAChC,YAA2B,EAC3B,MAAc,EACd,QAAgB;IAEhB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IACD,IAAI,2BAA2B,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO;IACT,CAAC;IACD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,MAAM,EACN,QAAQ,EACR,MAAM,EACN,SAAS,EACT,qCAAqC,CACtC,CACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,QAA0B,EAC1B,OAAyB,EACzB,YAA2B;IAE3B,MAAM,MAAM,GAAG,qBAAqB,CAAC,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7F,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IAED,mCAAmC,CACjC,OAAO,EACP,sCAAsC,EACtC,YAAY,EACZ,aAAa,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,YAAY,kBAAkB,QAAQ,CAAC,IAAI,IAAI,UAAU,GAAG,EACjG,QAAQ,EACR,yNAAyN,CAC1N,CAAC;IAEF,MAAM,WAAW,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO;IACT,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC;IAChD,MAAM,QAAQ,GAAG,aAAa,WAAW,kBAAkB,QAAQ,CAAC,IAAI,IAAI,UAAU,GAAG,CAAC;IAC1F,MAAM,WAAW,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC/E,MAAM,UAAU,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC1F,MAAM,UAAU,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,kBAAkB,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;IAE3E,IAAI,WAAW,IAAI,CAAC,kCAAkC,CAAC,WAAW,CAAC,EAAE,CAAC;QACpE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,oCAAoC,WAAW,IAAI,EAC9D,MAAM,EACN,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,SAAS,EACjD,wDAAwD,CACzD,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,IAAI,CAAC,kCAAkC,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,mCAAmC,UAAU,IAAI,EAC5D,MAAM,EACN,cAAc,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,SAAS,EAChD,2BAA2B,CAC5B,CACF,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,IAAI,CAAC,qCAAqC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjF,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,0CAA0C,gBAAgB,IAAI,EACzE,MAAM,EACN,cAAc,CAAC,OAAO,EAAE,mBAAmB,CAAC,EAAE,SAAS,EACvD,2DAA2D,CAC5D,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,IAAI,CAAC,oCAAoC,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,oCAAoC,UAAU,IAAI,EAC7D,MAAM,EACN,cAAc,CAAC,OAAO,EAAE,aAAa,CAAC,EAAE,SAAS,EACjD,sDAAsD,CACvD,CACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,IAAI,CAAC,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,6BAA6B,IAAI,IAAI,EAChD,MAAM,EACN,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,SAAS,EAC1C,sDAAsD,CACvD,CACF,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,sCAAsC,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IACzG,IAAI,eAAe,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,kCAAkC,MAAM,GAAG,EACtD,MAAM,EACN,OAAO,CAAC,SAAS,EACjB,eAAe,CAAC,MAAM,CACvB,CACF,CAAC;IACJ,CAAC;IAED,2BAA2B,CACzB,QAAQ,EACR,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,SAAS,IAAI,OAAO,CAAC,SAAS,EACnE,YAAY,EACZ,QAAQ,EACR,GAAG,QAAQ,2CAA2C,QAAQ,IAAI,CACnE,CAAC;IAEF,IAAI,2BAA2B,CAAC,QAAQ,CAAC,IAAI,CAAC,kCAAkC,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;QACnH,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,GAAG,QAAQ,qGAAqG,EAChH,OAAO,EACP,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,SAAS,IAAI,OAAO,CAAC,SAAS,EACnE,4GAA4G,CAC7G,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAA0B,EAAE,YAA2B;IACrF,mCAAmC,CACjC,QAAQ,EACR,0BAA0B,EAC1B,YAAY,EACZ,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,GAAG,EAC3C,QAAQ,EACR,6IAA6I,CAC9I,CAAC;IAEF,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,4BAA4B,EACpE,MAAM,EACN,QAAQ,CAAC,SAAS,EAClB,gDAAgD,CACjD,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,MAAM,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,gCAAgC,WAAW,IAAI,EACvF,MAAM,EACN,WAAW,EAAE,SAAS,IAAI,QAAQ,CAAC,SAAS,EAC5C,gDAAgD,CACjD,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;IAChF,MAAM,UAAU,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC3F,MAAM,UAAU,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IAE1E,IAAI,WAAW,IAAI,CAAC,kCAAkC,CAAC,WAAW,CAAC,EAAE,CAAC;QACpE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,qCAAqC,WAAW,IAAI,EAC5F,MAAM,EACN,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,SAAS,EAClD,wDAAwD,CACzD,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,IAAI,CAAC,kCAAkC,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,oCAAoC,UAAU,IAAI,EAC1F,MAAM,EACN,cAAc,CAAC,QAAQ,EAAE,YAAY,CAAC,EAAE,SAAS,EACjD,2BAA2B,CAC5B,CACF,CAAC;IACJ,CAAC;IAED,IAAI,gBAAgB,IAAI,CAAC,qCAAqC,CAAC,gBAAgB,CAAC,EAAE,CAAC;QACjF,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,2CAA2C,gBAAgB,IAAI,EACvG,MAAM,EACN,cAAc,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,SAAS,EACxD,2DAA2D,CAC5D,CACF,CAAC;IACJ,CAAC;IAED,IAAI,UAAU,IAAI,CAAC,oCAAoC,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,qCAAqC,UAAU,IAAI,EAC3F,MAAM,EACN,cAAc,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,SAAS,EAClD,sDAAsD,CACvD,CACF,CAAC;IACJ,CAAC;IAED,2BAA2B,CACzB,QAAQ,EACR,cAAc,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,SAAS,IAAI,QAAQ,CAAC,SAAS,EACrE,YAAY,EACZ,QAAQ,EACR,aAAa,QAAQ,CAAC,IAAI,IAAI,UAAU,4CAA4C,QAAQ,IAAI,CACjG,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACtC,SAAS;QACX,CAAC;QACD,0BAA0B,CAAC,QAAQ,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAiB;IACxD,OAAO;QACL,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,UAAU,EAAE,CAAC,CAAC;QAChF,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,UAAU,EAAE,CAAC,CAAC;QAChF,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5E,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,UAAU,EAAE,CAAC,CAAC;QAClF,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,UAAU,EAAE,CAAC,CAAC;QAC9E,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,UAAU,EAAE,CAAC,CAAC;QAClF,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAiB,EAAE,UAAU,EAAE,CAAC,CAAC;KAClF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAA4B,EAC5B,cAA6C;IAE7C,OAAO,4BAA4B,CAAC,UAAU,EAAE,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC;AACtH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,MAAM,sBAAsB,GAAG,IAAI,CAAC,QAAQ;QAC1C,CAAC,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC;QAC9E,CAAC,CAAC,SAAS,CAAC;IACd,IAAI,sBAAsB,KAAK,MAAM,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QACjD,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,KAAK,cAAc,IAAI,MAAM,CAAC,WAAW,KAAK,MAAM,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAClJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,IAAa;IAClD,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAe;IAC5C,MAAM,MAAM,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAClF,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,QAAsC,EACtC,YAA2B,EAC3B,QAAgB;IAEhB,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,sBAAsB,KAAK,CAAC,IAAI,wBAAwB,QAAQ,GAAG,EACnE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,kFAAkF,CACnF,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YAC7C,MAAM,WAAW,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,WAAW,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/D,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,eAAe,QAAQ,gDAAgD,WAAW,IAAI,EACtF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,uDAAuD,CACxD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,kBAAkB,CAAC,cAAc,CAAC,QAAQ,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAC5F,MAAM,YAAY,GAAG,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC9D,IAAI,CAAC,WAAW,KAAK,MAAM,IAAI,WAAW,KAAK,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QAC3E,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,uBAAuB,QAAQ,2CAA2C,EAC1E,OAAO,EACP,QAAQ,CAAC,SAAS,EAClB,uGAAuG,CACxG,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAa,EAAE,YAA2B;IACxE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,EAAE,SAAS,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;AAC3E,CAAC"}

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

@@ -0,0 +1,11 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { BlocoGenericoAst } from "../ast/tipos.js";
+import { extrairContratoForbidden } from "./seguranca.js";
+import { PerfilSegurancaDeclarado } from "./analisador.part02.js";
+export declare function validarAuthBloco(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;
+export declare function validarAuthzBloco(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;
+export declare function validarDadosBloco(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;
+export declare function validarAuditBloco(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;
+export declare function validarSegredosBloco(bloco: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[], contexto: string): void;
+export declare function validarForbiddenBloco(bloco: BlocoGenericoAst | undefined, efeitos: BlocoGenericoAst["linhas"], diagnosticos: Diagnostico[], contexto: string): ReturnType<typeof extrairContratoForbidden>;
+export declare function coletarPerfilSegurancaDeclarado(corpo: BlocoGenericoAst, effects: BlocoGenericoAst | undefined, diagnosticos: Diagnostico[] | undefined, contexto: string): PerfilSegurancaDeclarado;

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

@@ -0,0 +1,185 @@
+// SEMA-GOVERNED: sema.software
+// Descricao: nucleo semantico particionado; consulte contratos/sema/software.sema antes de editar.
+import { criarDiagnostico } from "../diagnosticos/index.js";
+import { parsearEfeitoSemantico, } from "./estruturas.js";
+import { CLASSIFICACOES_DADO_SUPORTADAS, MODOS_AUTH_SUPORTADOS, MOTIVOS_AUDIT_SUPORTADOS, ORIGENS_AUTH_SUPORTADAS, PRINCIPAIS_AUTH_SUPORTADOS, REDACOES_LOG_SUPORTADAS, TENANTS_AUTHZ_SUPORTADOS, contratoDadosTemSegredoOuCredencial, contratoDadosTemSensivel, extrairContratoAudit, extrairContratoAuth, extrairContratoAuthz, extrairContratoDados, extrairContratoForbidden, extrairContratoSegredos, efeitoEhPrivilegiado, efeitoRequerSegredo, forbiddenContemRegra, } from "./seguranca.js";
+import { CAMPOS_AUDIT_SUPORTADOS, CAMPOS_AUTHZ_SUPORTADOS, CAMPOS_AUTH_SUPORTADOS, CAMPOS_DADOS_SUPORTADOS, CAMPOS_SEGREDO_SUPORTADOS, localizarBloco, localizarCampo, valorCampoCompleto } from "./analisador.part01.js";
+export function validarAuthBloco(bloco, diagnosticos, contexto) {
+    if (!bloco) {
+        return;
+    }
+    for (const campo of bloco.campos) {
+        if (!CAMPOS_AUTH_SUPORTADOS.has(campo.nome)) {
+            diagnosticos.push(criarDiagnostico("SEM074", `Campo de auth "${campo.nome}" nao e suportado em ${contexto}.`, "erro", campo.intervalo, "Use apenas modo, estrategia, principal ou origem em auth."));
+        }
+    }
+    const auth = extrairContratoAuth(bloco);
+    if (auth.modo && !MODOS_AUTH_SUPORTADOS.has(auth.modo)) {
+        diagnosticos.push(criarDiagnostico("SEM075", `Auth em ${contexto} declarou modo invalido: "${auth.modo}".`, "erro", bloco.intervalo, "Use obrigatorio, opcional, anonimo, interno ou m2m."));
+    }
+    if (auth.principal && !PRINCIPAIS_AUTH_SUPORTADOS.has(auth.principal)) {
+        diagnosticos.push(criarDiagnostico("SEM076", `Auth em ${contexto} declarou principal invalido: "${auth.principal}".`, "erro", bloco.intervalo, "Use usuario, servico, sistema ou anonimo."));
+    }
+    if (auth.origem && !ORIGENS_AUTH_SUPORTADAS.has(auth.origem)) {
+        diagnosticos.push(criarDiagnostico("SEM077", `Auth em ${contexto} declarou origem invalida: "${auth.origem}".`, "erro", bloco.intervalo, "Use publica, interna, worker, webhook, fila ou cron."));
+    }
+}
+export function validarAuthzBloco(bloco, diagnosticos, contexto) {
+    if (!bloco) {
+        return;
+    }
+    for (const campo of bloco.campos) {
+        if (!CAMPOS_AUTHZ_SUPORTADOS.has(campo.nome)) {
+            diagnosticos.push(criarDiagnostico("SEM078", `Campo de authz "${campo.nome}" nao e suportado em ${contexto}.`, "erro", campo.intervalo, "Use papel, papeis, escopo, escopos, politica ou tenant em authz."));
+        }
+    }
+    const authz = extrairContratoAuthz(bloco);
+    if (authz.tenant && !TENANTS_AUTHZ_SUPORTADOS.has(authz.tenant)) {
+        diagnosticos.push(criarDiagnostico("SEM079", `Authz em ${contexto} declarou tenant invalido: "${authz.tenant}".`, "erro", bloco.intervalo, "Use obrigatorio, opcional ou isolado."));
+    }
+    if (authz.papeis.length === 0 && authz.escopos.length === 0 && !authz.politica) {
+        diagnosticos.push(criarDiagnostico("SEM080", `Authz em ${contexto} precisa declarar papeis, escopos ou politica.`, "erro", bloco.intervalo, "Explicite ao menos um papel, escopo ou politica para a autorizacao nao virar enfeite."));
+    }
+}
+export function validarDadosBloco(bloco, diagnosticos, contexto) {
+    if (!bloco) {
+        return;
+    }
+    for (const campo of bloco.campos) {
+        const valor = valorCampoCompleto(campo);
+        if (CAMPOS_DADOS_SUPORTADOS.has(campo.nome)) {
+            continue;
+        }
+        if (valor && !CLASSIFICACOES_DADO_SUPORTADAS.has(valor)) {
+            diagnosticos.push(criarDiagnostico("SEM081", `Dados em ${contexto} declarou classificacao invalida para "${campo.nome}": "${valor}".`, "erro", campo.intervalo, "Use publico, interno, pii, financeiro, credencial ou segredo."));
+        }
+    }
+    const dados = extrairContratoDados(bloco);
+    if (dados.classificacaoPadrao && !CLASSIFICACOES_DADO_SUPORTADAS.has(dados.classificacaoPadrao)) {
+        diagnosticos.push(criarDiagnostico("SEM081", `Dados em ${contexto} declarou classificacao_padrao invalida: "${dados.classificacaoPadrao}".`, "erro", bloco.intervalo, "Use publico, interno, pii, financeiro, credencial ou segredo."));
+    }
+    if (dados.redacaoLog && !REDACOES_LOG_SUPORTADAS.has(dados.redacaoLog)) {
+        diagnosticos.push(criarDiagnostico("SEM082", `Dados em ${contexto} declarou redacao_log invalida: "${dados.redacaoLog}".`, "erro", bloco.intervalo, "Use livre, parcial, obrigatoria ou proibida."));
+    }
+    for (const subbloco of bloco.blocos) {
+        if (subbloco.tipo !== "bloco_generico") {
+            continue;
+        }
+        const nomeSubbloco = subbloco.nome ?? subbloco.palavraChave;
+        if (nomeSubbloco !== "input" && nomeSubbloco !== "output") {
+            diagnosticos.push(criarDiagnostico("SEM083", `Dados em ${contexto} nao suporta o subbloco "${nomeSubbloco}".`, "erro", subbloco.intervalo, "Use apenas campos diretos ou subblocos input/output para classificar dados."));
+            continue;
+        }
+        for (const campo of subbloco.campos) {
+            const classificacao = valorCampoCompleto(campo);
+            if (classificacao && !CLASSIFICACOES_DADO_SUPORTADAS.has(classificacao)) {
+                diagnosticos.push(criarDiagnostico("SEM081", `Dados em ${contexto} declarou classificacao invalida para "${nomeSubbloco}.${campo.nome}": "${classificacao}".`, "erro", campo.intervalo, "Use publico, interno, pii, financeiro, credencial ou segredo."));
+            }
+        }
+    }
+}
+export function validarAuditBloco(bloco, diagnosticos, contexto) {
+    if (!bloco) {
+        return;
+    }
+    for (const campo of bloco.campos) {
+        if (!CAMPOS_AUDIT_SUPORTADOS.has(campo.nome)) {
+            diagnosticos.push(criarDiagnostico("SEM084", `Campo de audit "${campo.nome}" nao e suportado em ${contexto}.`, "erro", campo.intervalo, "Use evento, ator, correlacao, retencao ou motivo em audit."));
+        }
+    }
+    const audit = extrairContratoAudit(bloco);
+    if (!audit.evento) {
+        diagnosticos.push(criarDiagnostico("SEM085", `Audit em ${contexto} precisa declarar evento.`, "erro", bloco.intervalo, "Explique qual evento auditavel sera registrado para a operacao."));
+    }
+    if (audit.motivo && !MOTIVOS_AUDIT_SUPORTADOS.has(audit.motivo)) {
+        diagnosticos.push(criarDiagnostico("SEM086", `Audit em ${contexto} declarou motivo invalido: "${audit.motivo}".`, "erro", bloco.intervalo, "Use obrigatorio, opcional ou dispensado."));
+    }
+}
+export function validarSegredosBloco(bloco, diagnosticos, contexto) {
+    if (!bloco) {
+        return;
+    }
+    const segredos = extrairContratoSegredos(bloco);
+    if (segredos.itens.length === 0) {
+        diagnosticos.push(criarDiagnostico("SEM087", `Segredos em ${contexto} precisa declarar ao menos um segredo nomeado.`, "erro", bloco.intervalo, "Use segredos { nome_do_segredo { origem: vault escopo: runtime ... } }."));
+        return;
+    }
+    for (const item of bloco.blocos) {
+        if (item.tipo !== "bloco_generico") {
+            continue;
+        }
+        for (const campo of item.campos) {
+            if (!CAMPOS_SEGREDO_SUPORTADOS.has(campo.nome)) {
+                diagnosticos.push(criarDiagnostico("SEM087", `Segredo "${item.nome ?? item.palavraChave}" em ${contexto} usa o campo "${campo.nome}", que nao e suportado.`, "erro", campo.intervalo, "Use origem, escopo, acesso, rotacao, nao_logar, nao_retornar ou mascarar."));
+            }
+        }
+        const nomeSegredo = item.nome ?? item.palavraChave;
+        const origem = valorCampoCompleto(localizarCampo(item, "origem"));
+        if (!origem) {
+            diagnosticos.push(criarDiagnostico("SEM088", `Segredo "${nomeSegredo}" em ${contexto} precisa declarar origem.`, "erro", item.intervalo, "Explicite a origem do segredo, como vault, env, secret_manager ou runtime."));
+        }
+        for (const nomeBooleano of ["nao_logar", "nao_retornar", "mascarar"]) {
+            const campo = localizarCampo(item, nomeBooleano);
+            const valor = valorCampoCompleto(campo);
+            if (campo && valor !== "verdadeiro" && valor !== "true" && valor !== "falso" && valor !== "false") {
+                diagnosticos.push(criarDiagnostico("SEM089", `Segredo "${nomeSegredo}" em ${contexto} declarou "${nomeBooleano}" com valor invalido: "${valor}".`, "erro", campo.intervalo, "Use verdadeiro/falso para campos booleanos de segredos."));
+            }
+        }
+    }
+}
+export function validarForbiddenBloco(bloco, efeitos, diagnosticos, contexto) {
+    const forbidden = extrairContratoForbidden(bloco);
+    if (!bloco) {
+        return forbidden;
+    }
+    for (const regra of forbidden.regras) {
+        if (!/^[A-Za-z_][A-Za-z0-9_.-]*$/u.test(regra)) {
+            diagnosticos.push(criarDiagnostico("SEM090", `Forbidden em ${contexto} declarou regra invalida: "${regra}".`, "erro", bloco.intervalo, "Use regras simples como network.egress, shell.exec, retorno.credencial ou log.segredo."));
+        }
+    }
+    for (const linha of efeitos) {
+        const efeito = parsearEfeitoSemantico(linha.conteudo);
+        if (efeito && forbiddenContemRegra(forbidden, efeito.categoria)) {
+            diagnosticos.push(criarDiagnostico("SEM091", `Forbidden em ${contexto} proibe "${efeito.categoria}", mas effects ainda declara esse efeito.`, "erro", linha.intervalo, "Remova o efeito proibido ou ajuste o bloco forbidden para refletir a operacao permitida de verdade."));
+        }
+    }
+    return forbidden;
+}
+export function coletarPerfilSegurancaDeclarado(corpo, effects, diagnosticos, contexto) {
+    const authBloco = localizarBloco(corpo, "auth");
+    const authzBloco = localizarBloco(corpo, "authz");
+    const dadosBloco = localizarBloco(corpo, "dados");
+    const auditBloco = localizarBloco(corpo, "audit");
+    const segredosBloco = localizarBloco(corpo, "segredos");
+    const forbiddenBloco = localizarBloco(corpo, "forbidden");
+    if (diagnosticos) {
+        validarAuthBloco(authBloco, diagnosticos, contexto);
+        validarAuthzBloco(authzBloco, diagnosticos, contexto);
+        validarDadosBloco(dadosBloco, diagnosticos, contexto);
+        validarAuditBloco(auditBloco, diagnosticos, contexto);
+        validarSegredosBloco(segredosBloco, diagnosticos, contexto);
+    }
+    const forbidden = diagnosticos
+        ? validarForbiddenBloco(forbiddenBloco, effects?.linhas ?? [], diagnosticos, contexto)
+        : extrairContratoForbidden(forbiddenBloco);
+    const auth = extrairContratoAuth(authBloco);
+    const authz = extrairContratoAuthz(authzBloco);
+    const dados = extrairContratoDados(dadosBloco);
+    const audit = extrairContratoAudit(auditBloco);
+    const segredos = extrairContratoSegredos(segredosBloco);
+    const efeitosEstruturados = (effects?.linhas ?? [])
+        .map((linha) => parsearEfeitoSemantico(linha.conteudo))
+        .filter((efeito) => Boolean(efeito));
+    return {
+        auth,
+        authz,
+        dados,
+        audit,
+        segredos,
+        forbidden,
+        efeitoPrivilegiado: efeitosEstruturados.some((efeito) => efeitoEhPrivilegiado(efeito)),
+        dadosSensiveis: contratoDadosTemSensivel(dados),
+        exigeSegredos: efeitosEstruturados.some((efeito) => efeitoRequerSegredo(efeito)) || contratoDadosTemSegredoOuCredencial(dados),
+    };
+}
+//# sourceMappingURL=analisador.part03.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"analisador.part03.js","sourceRoot":"","sources":["../../src/semantico/analisador.part03.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mGAAmG;AAEnG,OAAO,EAAE,gBAAgB,EAAoB,MAAM,0BAA0B,CAAC;AA2B9E,OAAO,EAIL,sBAAsB,GAIvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,8BAA8B,EAC9B,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,wBAAwB,EACxB,mCAAmC,EACnC,wBAAwB,EACxB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,wBAAwB,EACxB,uBAAuB,EACvB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,GACrB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,yBAAyB,EAAE,cAAc,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAG1N,MAAM,UAAU,gBAAgB,CAAC,KAAmC,EAAE,YAA2B,EAAE,QAAgB;IACjH,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,kBAAkB,KAAK,CAAC,IAAI,wBAAwB,QAAQ,GAAG,EAC/D,MAAM,EACN,KAAK,CAAC,SAAS,EACf,2DAA2D,CAC5D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAuE,CAAC,EAAE,CAAC;QAC1H,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,QAAQ,6BAA6B,IAAI,CAAC,IAAI,IAAI,EAC7D,MAAM,EACN,KAAK,CAAC,SAAS,EACf,qDAAqD,CACtD,CACF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,SAAiF,CAAC,EAAE,CAAC;QAC9I,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,QAAQ,kCAAkC,IAAI,CAAC,SAAS,IAAI,EACvE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,2CAA2C,CAC5C,CACF,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,MAA2E,CAAC,EAAE,CAAC;QAClI,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,WAAW,QAAQ,+BAA+B,IAAI,CAAC,MAAM,IAAI,EACjE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,sDAAsD,CACvD,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAmC,EAAE,YAA2B,EAAE,QAAgB;IAClH,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,mBAAmB,KAAK,CAAC,IAAI,wBAAwB,QAAQ,GAAG,EAChE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,kEAAkE,CACnE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,MAA4E,CAAC,EAAE,CAAC;QACtI,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,+BAA+B,KAAK,CAAC,MAAM,IAAI,EACnE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,uCAAuC,CACxC,CACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/E,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,gDAAgD,EACpE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,uFAAuF,CACxF,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAmC,EAAE,YAA2B,EAAE,QAAgB;IAClH,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,KAAK,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAiF,CAAC,EAAE,CAAC;YACpI,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,0CAA0C,KAAK,CAAC,IAAI,OAAO,KAAK,IAAI,EACxF,MAAM,EACN,KAAK,CAAC,SAAS,EACf,+DAA+D,CAChE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,KAAK,CAAC,mBAAmB,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,KAAK,CAAC,mBAA+F,CAAC,EAAE,CAAC;QAC5K,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,6CAA6C,KAAK,CAAC,mBAAmB,IAAI,EAC9F,MAAM,EACN,KAAK,CAAC,SAAS,EACf,+DAA+D,CAChE,CACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,UAA+E,CAAC,EAAE,CAAC;QAC5I,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,oCAAoC,KAAK,CAAC,UAAU,IAAI,EAC5E,MAAM,EACN,KAAK,CAAC,SAAS,EACf,8CAA8C,CAC/C,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,YAAY,CAAC;QAC5D,IAAI,YAAY,KAAK,OAAO,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC1D,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,4BAA4B,YAAY,IAAI,EAChE,MAAM,EACN,QAAQ,CAAC,SAAS,EAClB,6EAA6E,CAC9E,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,aAAa,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAChD,IAAI,aAAa,IAAI,CAAC,8BAA8B,CAAC,GAAG,CAAC,aAAyF,CAAC,EAAE,CAAC;gBACpJ,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,0CAA0C,YAAY,IAAI,KAAK,CAAC,IAAI,OAAO,aAAa,IAAI,EAChH,MAAM,EACN,KAAK,CAAC,SAAS,EACf,+DAA+D,CAChE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,KAAmC,EAAE,YAA2B,EAAE,QAAgB;IAClH,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,mBAAmB,KAAK,CAAC,IAAI,wBAAwB,QAAQ,GAAG,EAChE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,4DAA4D,CAC7D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QAClB,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,2BAA2B,EAC/C,MAAM,EACN,KAAK,CAAC,SAAS,EACf,iEAAiE,CAClE,CACF,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,MAA4E,CAAC,EAAE,CAAC;QACtI,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,QAAQ,+BAA+B,KAAK,CAAC,MAAM,IAAI,EACnE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,0CAA0C,CAC3C,CACF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAmC,EAAE,YAA2B,EAAE,QAAgB;IACrH,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,eAAe,QAAQ,gDAAgD,EACvE,MAAM,EACN,KAAK,CAAC,SAAS,EACf,yEAAyE,CAC1E,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACnC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,IAAI,CAAC,yBAAyB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,QAAQ,QAAQ,iBAAiB,KAAK,CAAC,IAAI,yBAAyB,EAC9G,MAAM,EACN,KAAK,CAAC,SAAS,EACf,2EAA2E,CAC5E,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC;QACnD,MAAM,MAAM,GAAG,kBAAkB,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,WAAW,QAAQ,QAAQ,2BAA2B,EAClE,MAAM,EACN,IAAI,CAAC,SAAS,EACd,4EAA4E,CAC7E,CACF,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,YAAY,IAAI,CAAC,WAAW,EAAE,cAAc,EAAE,UAAU,CAAC,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;YACxC,IAAI,KAAK,IAAI,KAAK,KAAK,YAAY,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;gBAClG,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,YAAY,WAAW,QAAQ,QAAQ,cAAc,YAAY,0BAA0B,KAAK,IAAI,EACpG,MAAM,EACN,KAAK,CAAC,SAAS,EACf,yDAAyD,CAC1D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAmC,EACnC,OAAmC,EACnC,YAA2B,EAC3B,QAAgB;IAEhB,MAAM,SAAS,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,gBAAgB,QAAQ,8BAA8B,KAAK,IAAI,EAC/D,MAAM,EACN,KAAK,CAAC,SAAS,EACf,wFAAwF,CACzF,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,MAAM,IAAI,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;YAChE,YAAY,CAAC,IAAI,CACf,gBAAgB,CACd,QAAQ,EACR,gBAAgB,QAAQ,YAAY,MAAM,CAAC,SAAS,2CAA2C,EAC/F,MAAM,EACN,KAAK,CAAC,SAAS,EACf,qGAAqG,CACtG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,+BAA+B,CAC7C,KAAuB,EACvB,OAAqC,EACrC,YAAuC,EACvC,QAAgB;IAEhB,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAE1D,IAAI,YAAY,EAAE,CAAC;QACjB,gBAAgB,CAAC,SAAS,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACpD,iBAAiB,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACtD,iBAAiB,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACtD,iBAAiB,CAAC,UAAU,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;QACtD,oBAAoB,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,SAAS,GAAG,YAAY;QAC5B,CAAC,CAAC,qBAAqB,CAAC,cAAc,EAAE,OAAO,EAAE,MAAM,IAAI,EAAE,EAAE,YAAY,EAAE,QAAQ,CAAC;QACtF,CAAC,CAAC,wBAAwB,CAAC,cAAc,CAAC,CAAC;IAE7C,MAAM,IAAI,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC;IACxD,MAAM,mBAAmB,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAAC;SAChD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;SACtD,MAAM,CAAC,CAAC,MAAM,EAAwC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAE7E,OAAO;QACL,IAAI;QACJ,KAAK;QACL,KAAK;QACL,KAAK;QACL,QAAQ;QACR,SAAS;QACT,kBAAkB,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACtF,cAAc,EAAE,wBAAwB,CAAC,KAAK,CAAC;QAC/C,aAAa,EAAE,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,mCAAmC,CAAC,KAAK,CAAC;KAC/H,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,30 @@
+import { type Diagnostico } from "../diagnosticos/index.js";
+import type { BlocoGenericoAst, CampoAst, TaskAst } from "../ast/tipos.js";
+import { PerfilSegurancaDeclarado } from "./analisador.part02.js";
+import { ContextoSemantico, SimboloSemantico } from "./analisador.part01.js";
+export declare function emitirGuardrailsSeguranca(contexto: string, intervalo: CampoAst["intervalo"] | undefined, perfil: PerfilSegurancaDeclarado, diagnosticos: Diagnostico[], opcoes: {
+    publico: boolean;
+    sensivel: boolean;
+}): void;
+export declare function validarErroOperacional(task: TaskAst, diagnosticos: Diagnostico[]): void;
+export declare function validarSuperficie(superficie: BlocoGenericoAst, tipoSuperficie: SimboloSemantico["categoria"], tasksConhecidas: Set<string>, tiposConhecidos: Set<string>, diagnosticos: Diagnostico[]): void;
+export declare function recomporCaminhoRoute(campo?: CampoAst): string | undefined;
+export declare function serializarTransicao(origem: string, destino: string): string;
+export declare function descreverSugestoes(valores: Iterable<string>, prefixo: string): string | undefined;
+export declare function listarCandidatosUseRelativo(moduloAtual: string, caminhoImportado: string): string[];
+export declare function resolverUseSema(moduloAtual: string, caminhoImportado: string, contextosModulos?: Map<string, ContextoSemantico>): {
+    caminhoResolvido?: string;
+    candidatosRelativos: string[];
+};
+export declare function descreverDicaSintaxeExpressao(texto: string, dicaPadrao: string): string;
+export declare function validarExpressoesDeclaradas(linhas: BlocoGenericoAst["linhas"], diagnosticos: Diagnostico[], contexto: {
+    codigoErroSintaxe: string;
+    codigoErroReferencia: string;
+    nomeBloco: string;
+    simbolosPermitidos: Set<string>;
+    dicaSintaxe: string;
+    dicaReferencia: string;
+    aceitarMarcadoresSemanticos?: boolean;
+    dicaReferenciaPersonalizada?: (raiz: string, linha: string) => string | undefined;
+}): void;
+export declare function validarEfeitosDeclarados(linhas: BlocoGenericoAst["linhas"], diagnosticos: Diagnostico[], contexto: string): void;