@semacode/cli 1.5.17 → 1.5.19

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

@@ -13,10 +13,12 @@ const TIPOS_PRIMITIVOS = new Set([
     "Booleano",
     "Data",
     "DataHora",
+    "Timestamp",
     "Id",
     "Email",
     "Url",
     "Json",
+    "Objeto",
     "Vazio",
 ]);
 const TIPOS_COMPOSTOS_SUPORTADOS = new Set(["Lista", "Mapa", "Opcional", "Ou"]);
@@ -90,54 +92,6 @@ const CAMPOS_ERRO_OPERACIONAL = new Set([
     "requer_compensacao",
 ]);
 const CRITICIDADES_OPERACIONAIS = new Set(["baixa", "media", "alta", "critica"]);
-const TIPOS_AUTHOR_PROFILE = new Set([
-    "book",
-    "work",
-    "part",
-    "chapter",
-    "section",
-    "scene",
-    "character",
-    "arc",
-    "audience",
-    "thesis",
-    "argument",
-    "claim",
-    "source",
-    "concept",
-    "example",
-    "voice",
-    "style_rule",
-    "lexicon",
-    "motif",
-    "canon",
-]);
-const TERMOS_AUTHOR_SENSIVEIS = [
-    "autismo",
-    "autista",
-    "autistas",
-    "tea",
-    "neurodiversidade",
-    "neurodivergencia",
-    "neurodivergente",
-    "saude",
-    "clinico",
-    "clinica",
-    "medico",
-    "medica",
-    "diagnostico",
-    "diagnosticar",
-    "terapia",
-    "tratamento",
-    "medicamento",
-    "psicologia",
-    "psiquiatria",
-    "educacao inclusiva",
-    "inclusao escolar",
-    "juridico",
-    "legal",
-    "financeiro",
-];
 const PADRAO_CAMINHO_INTEROP = /^[A-Za-z_][A-Za-z0-9_-]*(\.[A-Za-z_][A-Za-z0-9_-]*)*$/;
 function normalizarOrigemImplementacao(valor) {
     switch (valor.toLowerCase()) {
@@ -149,10 +103,6 @@ function normalizarOrigemImplementacao(valor) {
             return "py";
         case "dart":
             return "dart";
-        case "lua":
-            return "lua";
-        case "php":
-            return "php";
         case "cs":
         case "csharp":
         case "dotnet":
@@ -203,17 +153,6 @@ function localizarBloco(corpo, nome) {
     }
     return corpo.blocos.find((bloco) => bloco.tipo === "bloco_generico" && (bloco.palavraChave === nome || bloco.nome === nome));
 }
-function nomeBlocoDeclarativo(bloco) {
-    return bloco.palavraChave === "desconhecido"
-        ? (bloco.nome ?? "desconhecido")
-        : bloco.palavraChave;
-}
-function blocoTemNome(bloco, nomes) {
-    return nomes.includes(nomeBlocoDeclarativo(bloco).toLowerCase());
-}
-function localizarBlocoPorNomes(corpo, ...nomes) {
-    return corpo?.blocos.find((bloco) => bloco.tipo === "bloco_generico" && blocoTemNome(bloco, nomes));
-}
 function localizarCampo(bloco, ...nomes) {
     if (!bloco) {
         return undefined;
@@ -313,7 +252,7 @@ function validarImplementacoesTask(task, diagnosticos) {
     for (const campo of task.impl.campos) {
         const origem = normalizarOrigemImplementacao(campo.nome);
         if (!origem) {
-            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use apenas ts, py, dart, lua, php, cs, java, go, rust ou cpp dentro do bloco impl."));
+            diagnosticos.push(criarDiagnostico("SEM059", `Task "${task.nome}" declarou implementacao externa invalida em impl: "${campo.nome}".`, "erro", campo.intervalo, "Use apenas ts, py, dart, cs, java, go, rust ou cpp dentro do bloco impl."));
             continue;
         }
         if (origens.has(origem)) {
@@ -500,6 +439,11 @@ function validarExecucaoBloco(execucao, diagnosticos, contexto) {
             }
         }
     }
+    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."));
+    }
 }
 function validarExecucao(task, diagnosticos) {
     validarExecucaoBloco(task.execucao, diagnosticos, `task "${task.nome}"`);
@@ -943,16 +887,7 @@ function validarInvariantesDeCampos(bloco, nomeBloco, diagnosticos) {
         dicaReferencia: "Referencie apenas campos declarados no proprio bloco ao escrever invariantes de dominio.",
     });
 }
-function referenciaAgentConhecida(referencia, agentsConhecidos) {
-    if (agentsConhecidos.has(referencia)) {
-        return true;
-    }
-    return referencia.startsWith("agent.") && agentsConhecidos.has(referencia.slice("agent.".length));
-}
-function referenciaOperadorFlowConhecida(referencia, tasksConhecidas, agentsConhecidos) {
-    return tasksConhecidas.has(referencia) || referenciaAgentConhecida(referencia, agentsConhecidos);
-}
-function validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas, diagnosticos) {
+function validarFlow(flow, tasksConhecidas, tarefasDetalhadas, diagnosticos) {
     const possuiEtapas = flow.corpo.linhas.length > 0 || flow.corpo.campos.length > 0 || flow.corpo.blocos.length > 0;
     if (!possuiEtapas) {
         diagnosticos.push(criarDiagnostico("SEM012", `Flow "${flow.nome}" precisa declarar ao menos uma etapa.`, "erro", flow.intervalo, "Adicione linhas declarativas, campos ou subblocos dentro de flow."));
@@ -966,8 +901,8 @@ function validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas,
         .filter((campo) => campo.nome === "task" || campo.nome === "tarefa")
         .map((campo) => campo.valor);
     for (const tarefa of tarefasReferenciadas) {
-        if (!referenciaOperadorFlowConhecida(tarefa, tasksConhecidas, agentsConhecidos)) {
-            diagnosticos.push(criarDiagnostico("SEM013", `Flow "${flow.nome}" referencia operador "${tarefa}" que nao existe.`, "erro", flow.intervalo, "Declare a task ou agent no mesmo modulo, ou ajuste a referencia do flow."));
+        if (!tasksConhecidas.has(tarefa)) {
+            diagnosticos.push(criarDiagnostico("SEM013", `Flow "${flow.nome}" referencia task "${tarefa}" que nao existe.`, "erro", flow.intervalo, "Declare a task no mesmo modulo ou ajuste a referencia do flow."));
         }
     }
     const etapas = flow.corpo.linhas
@@ -987,16 +922,11 @@ function validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas,
         }
         nomesEtapas.add(item.etapa.nome);
         etapasValidas.set(item.etapa.nome, item.etapa);
-        const etapaUsaTask = Boolean(item.etapa.task && tasksConhecidas.has(item.etapa.task));
-        const etapaUsaAgent = Boolean(item.etapa.task && referenciaAgentConhecida(item.etapa.task, agentsConhecidos));
-        if (item.etapa.task && !etapaUsaTask && !etapaUsaAgent) {
-            const sugestoesOperadores = [
-                descreverSugestoes(tasksConhecidas, "Tasks conhecidas no contexto"),
-                descreverSugestoes(agentsConhecidos, "Agents conhecidos no contexto"),
-            ].filter(Boolean).join(" ");
-            diagnosticos.push(criarDiagnostico("SEM034", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" usa operador "${item.etapa.task}" que nao existe.`, "erro", item.linha.intervalo, sugestoesOperadores || "Ajuste a etapa para apontar para uma task ou agent declarado/importado."));
-        }
-        if (item.etapa.task && etapaUsaTask) {
+        if (item.etapa.task && !tasksConhecidas.has(item.etapa.task)) {
+            const sugestoesTasks = descreverSugestoes(tasksConhecidas, "Tasks conhecidas no contexto");
+            diagnosticos.push(criarDiagnostico("SEM034", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" usa task "${item.etapa.task}" que nao existe.`, "erro", item.linha.intervalo, sugestoesTasks ?? "Ajuste a task da etapa para apontar para uma task declarada ou importada."));
+        }
+        if (item.etapa.task) {
             const detalhesTask = tarefasDetalhadas.get(item.etapa.task);
             if (detalhesTask) {
                 const indiceInput = indicesCampos(detalhesTask.input);
@@ -1036,12 +966,8 @@ function validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas,
         if (item.etapa.condicao) {
             const referencias = extrairReferenciasDaExpressao(item.etapa.condicao).map((referencia) => extrairRaiz(referencia));
             for (const referencia of referencias) {
-                if (!ehMarcadorSemantico(referencia)
-                    && !tasksConhecidas.has(referencia)
-                    && !referenciaAgentConhecida(referencia, agentsConhecidos)
-                    && !nomesEtapas.has(referencia)
-                    && !contextoFlow.has(referencia)) {
-                    diagnosticos.push(criarDiagnostico("SEM035", `Condicao da etapa "${item.etapa.nome}" em flow "${flow.nome}" referencia "${referencia}" fora do contexto atual.`, "erro", item.linha.intervalo, "Condicoes de flow devem apontar para marcadores semanticos, campos do flow, tasks, agents ou etapas anteriores."));
+                if (!ehMarcadorSemantico(referencia) && !tasksConhecidas.has(referencia) && !nomesEtapas.has(referencia) && !contextoFlow.has(referencia)) {
+                    diagnosticos.push(criarDiagnostico("SEM035", `Condicao da etapa "${item.etapa.nome}" em flow "${flow.nome}" referencia "${referencia}" fora do contexto atual.`, "erro", item.linha.intervalo, "No MVP atual, condicoes de flow devem apontar para marcadores semanticos, campos do flow, tasks conhecidas ou etapas anteriores."));
                 }
             }
         }
@@ -1062,7 +988,7 @@ function validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas,
                 diagnosticos.push(criarDiagnostico("SEM045", `Etapa "${item.etapa.nome}" do flow "${flow.nome}" aponta para "${destino}" em ramificacao, mas essa etapa nao foi declarada.`, "erro", item.linha.intervalo, sugestoesEtapas ?? "Declare a etapa de destino no mesmo flow antes de usa-la em em_sucesso ou em_erro."));
             }
         }
-        if (item.etapa.task && tasksConhecidas.has(item.etapa.task)) {
+        if (item.etapa.task) {
             const detalhesTask = tarefasDetalhadas.get(item.etapa.task);
             const indiceErrors = indiceErros(detalhesTask?.errors ?? []);
             for (const rotaErro of item.etapa.porErro) {
@@ -1087,13 +1013,18 @@ function validarVinculoEstadoDaTask(task, statesConhecidos, diagnosticos) {
         diagnosticos.push(criarDiagnostico("SEM037", `Task "${task.nome}" declarou state sem indicar qual estado ela governa.`, "erro", task.state.intervalo, "Use \"state nome_do_estado { ... }\" ou declare \"estado: nome_do_estado\" dentro do bloco state da task."));
         return;
     }
-    const estadoConhecido = statesConhecidos.get(nomeEstado);
+    const blocoTransitions = localizarBloco(task.state, "transitions");
+    const linhasTransicao = blocoTransitions?.linhas ?? task.state.linhas;
+    const transicoesLocais = new Set(linhasTransicao
+        .map((linha) => parsearTransicaoEstado(linha.conteudo))
+        .filter((transicao) => Boolean(transicao))
+        .map((transicao) => serializarTransicao(transicao.origem, transicao.destino)));
+    const estadoConhecido = statesConhecidos.get(nomeEstado)
+        ?? (transicoesLocais.size > 0 ? { transicoes: transicoesLocais } : undefined);
     if (!estadoConhecido) {
         diagnosticos.push(criarDiagnostico("SEM038", `Task "${task.nome}" referencia state "${nomeEstado}", mas esse state nao foi encontrado.`, "erro", task.state.intervalo, "Declare o state no mesmo modulo ou importe um modulo que exponha esse state."));
         return;
     }
-    const blocoTransitions = localizarBloco(task.state, "transitions");
-    const linhasTransicao = blocoTransitions?.linhas ?? task.state.linhas;
     if (linhasTransicao.length === 0) {
         diagnosticos.push(criarDiagnostico("SEM039", `Task "${task.nome}" referencia state "${nomeEstado}" sem declarar transicoes.`, "erro", task.state.intervalo, "Declare ao menos uma transicao para explicitar como a task altera o estado."));
         return;
@@ -1266,187 +1197,30 @@ function validarGuardrailsSeguranca(modulo, diagnosticos) {
         }
     }
 }
-function valoresDeclarativos(bloco) {
-    if (!bloco) {
-        return [];
-    }
-    return [
-        ...bloco.linhas.map((linha) => linha.conteudo),
-        ...bloco.campos.map((campo) => valorCampoCompleto(campo) ?? campo.nome),
-    ].filter((valor) => valor.trim().length > 0);
+function campoStatusTexto(campo) {
+    return (campo.nome === "status" || campo.nome === "estado") && campo.valor === "Texto";
 }
-function valoresDeclarativosProfundos(bloco) {
-    if (!bloco) {
-        return [];
-    }
-    return [
-        nomeBlocoDeclarativo(bloco),
-        bloco.nome ?? "",
-        ...valoresDeclarativos(bloco),
-        ...bloco.campos.flatMap((campo) => [campo.nome, campo.valor, ...campo.modificadores]),
-        ...bloco.blocos.flatMap((filho) => filho.tipo === "bloco_generico" ? valoresDeclarativosProfundos(filho) : []),
-    ].filter((valor) => valor.trim().length > 0);
-}
-function normalizarTextoAuthorSensivel(valor) {
-    return valor
-        .normalize("NFD")
-        .replace(/[\u0300-\u036f]/g, "")
-        .toLowerCase()
-        .replace(/[_\W]+/g, " ")
-        .replace(/\s+/g, " ")
-        .trim();
+function moduloTemStateComTransicao(modulo) {
+    return modulo.states.some((state) => (localizarBloco(state.corpo, "transitions")?.linhas.length ?? 0) > 0);
 }
-function textoContemTermoAuthorSensivel(valor) {
-    const texto = ` ${normalizarTextoAuthorSensivel(valor)} `;
-    return TERMOS_AUTHOR_SENSIVEIS.some((termo) => {
-        const termoNormalizado = normalizarTextoAuthorSensivel(termo);
-        if (termoNormalizado.length <= 3) {
-            return texto.includes(` ${termoNormalizado} `);
-        }
-        return texto.includes(termoNormalizado);
-    });
-}
-function blocoAuthorMarcaSensivel(bloco) {
-    const campoSensivel = localizarCampo(bloco, "sensivel", "sensitive", "tema_sensivel");
-    const valorSensivel = normalizarTextoAuthorSensivel(valorCampoCompleto(campoSensivel) ?? "");
-    if (["verdadeiro", "true", "sim", "alto", "alta", "critico", "critica"].includes(valorSensivel)) {
-        return true;
-    }
-    return valoresDeclarativosProfundos(bloco).some(textoContemTermoAuthorSensivel);
-}
-function coletarAuthorBlocksPorTipo(modulo, tipos) {
-    return modulo.authorBlocks.filter((bloco) => tipos.includes(nomeBlocoDeclarativo(bloco)));
-}
-function coletarSubblocosPorNomes(bloco, nomes) {
-    return bloco.blocos.filter((item) => item.tipo === "bloco_generico" && blocoTemNome(item, nomes));
-}
-function validarSubblocoNaoVazio(bloco, diagnosticos, codigo, contexto) {
-    if (bloco.campos.length > 0 || bloco.linhas.length > 0 || bloco.blocos.length > 0) {
+function validarStatusTextoComState(modulo, diagnosticos) {
+    if (!moduloTemStateComTransicao(modulo)) {
         return;
     }
-    diagnosticos.push(criarDiagnostico(codigo, `${contexto} declarou "${nomeBlocoDeclarativo(bloco)}" vazio.`, "erro", bloco.intervalo, "Declare ao menos uma linha ou campo para que o guardrail seja verificavel por IA."));
-}
-function validarAuthorBlock(bloco, diagnosticos) {
-    const tipo = nomeBlocoDeclarativo(bloco);
-    const contexto = `${tipo} "${bloco.nome ?? tipo}"`;
-    if (["book", "work"].includes(tipo) && !localizarCampo(bloco, "titulo", "title", "proposito", "purpose")) {
-        diagnosticos.push(criarDiagnostico("SEM120", `${contexto} deveria declarar titulo ou proposito para ancorar a obra autoral.`, "aviso", bloco.intervalo, "Use titulo/title para nome editorial ou proposito/purpose para livro tecnico, ensaio, manual ou obra nao ficcional."));
-    }
-    if (["chapter", "section"].includes(tipo) && !localizarCampo(bloco, "intent", "intencao", "objetivo", "purpose")) {
-        diagnosticos.push(criarDiagnostico("SEM121", `${contexto} deveria declarar intencao ou objetivo.`, "aviso", bloco.intervalo, "Declare intent/intencao/objetivo para que a IA nao preencha a secao com texto generico."));
-    }
-    if (tipo === "scene" && !localizarCampo(bloco, "pov", "ponto_de_vista")) {
-        diagnosticos.push(criarDiagnostico("SEM122", `${contexto} deveria declarar pov para preservar continuidade narrativa.`, "aviso", bloco.intervalo, "Use pov ou ponto_de_vista quando a obra tiver cenas narrativas."));
-    }
-    if (tipo === "voice" && !localizarCampo(bloco, "tom", "tone", "registro", "ritmo")) {
-        diagnosticos.push(criarDiagnostico("SEM123", `${contexto} deveria declarar tom, registro ou ritmo.`, "aviso", bloco.intervalo, "Declare a voz da obra para reduzir texto raso, repetitivo ou com cara de IA."));
-    }
-    if (tipo === "claim" && !localizarCampo(bloco, "source", "fonte", "evidencia", "confidence", "confianca")) {
-        diagnosticos.push(criarDiagnostico("SEM124", `${contexto} deveria declarar fonte, evidencia ou confianca.`, "aviso", bloco.intervalo, "Claims de nao-ficcao precisam de rastreio para diferenciar argumento, opiniao e evidencia."));
-    }
-    if (tipo === "style_rule") {
-        const guardrails = coletarSubblocosPorNomes(bloco, ["forbidden", "proibido", "avoid", "evitar", "echo", "ecos"]);
-        const tolerancia = localizarBlocoPorNomes(bloco, "tolerancia", "tolerance");
-        if (guardrails.length === 0 && !tolerancia && bloco.campos.length === 0 && bloco.linhas.length === 0) {
-            diagnosticos.push(criarDiagnostico("SEM125", `${contexto} precisa declarar proibicoes, ecos, tolerancia ou preferencias.`, "erro", bloco.intervalo, "Use proibido/forbidden para cliches, echo/ecos para repeticao, evitar/avoid para muletas ou tolerancia para limites."));
-        }
-        for (const guardrail of guardrails) {
-            validarSubblocoNaoVazio(guardrail, diagnosticos, "SEM126", contexto);
-        }
-        const vistos = new Set();
-        for (const guardrail of guardrails) {
-            for (const valor of valoresDeclarativos(guardrail)) {
-                const chave = valor.toLowerCase();
-                if (vistos.has(chave)) {
-                    diagnosticos.push(criarDiagnostico("SEM127", `${contexto} repetiu o guardrail de estilo "${valor}".`, "aviso", guardrail.intervalo, "Remova duplicatas para manter a regra de estilo enxuta."));
-                }
-                vistos.add(chave);
+    for (const entity of modulo.entities) {
+        const fields = localizarBloco(entity.corpo, "fields");
+        for (const campo of fields?.campos ?? []) {
+            if (!campoStatusTexto(campo)) {
+                continue;
             }
+            diagnosticos.push(criarDiagnostico("SEM100", `Entity "${entity.nome}" declara "${campo.nome}: Texto" enquanto o modulo tem state com transitions.`, "aviso", campo.intervalo, "Prefira enum/status de dominio para impedir que a IA invente estados fora do ciclo declarado."));
         }
     }
 }
-function styleRuleTemProibicoes(bloco) {
-    return coletarSubblocosPorNomes(bloco, ["forbidden", "proibido", "avoid", "evitar"]).some((guardrail) => valoresDeclarativos(guardrail).length > 0);
-}
-function flowReferenciaAgent(flow, agentsConhecidos) {
-    for (const linha of flow.corpo.linhas) {
-        const etapa = parsearEtapaFlow(linha.conteudo);
-        if (etapa?.task && referenciaAgentConhecida(etapa.task, agentsConhecidos)) {
-            return true;
-        }
-    }
-    const task = localizarCampo(flow.corpo, "task")?.valor;
-    return Boolean(task && referenciaAgentConhecida(task, agentsConhecidos));
-}
-function validarAuthorSensivel(modulo, agentsConhecidos, diagnosticos) {
-    if (modulo.authorBlocks.length === 0 || !modulo.authorBlocks.some(blocoAuthorMarcaSensivel)) {
-        return;
-    }
-    const obras = coletarAuthorBlocksPorTipo(modulo, ["book", "work"]);
-    const audiences = coletarAuthorBlocksPorTipo(modulo, ["audience"]);
-    const claims = coletarAuthorBlocksPorTipo(modulo, ["claim"]);
-    const sources = coletarAuthorBlocksPorTipo(modulo, ["source"]);
-    const styleRules = coletarAuthorBlocksPorTipo(modulo, ["style_rule"]);
-    const primeiroBlocoSensivel = modulo.authorBlocks.find(blocoAuthorMarcaSensivel) ?? modulo.authorBlocks[0];
-    const intervaloBase = primeiroBlocoSensivel?.intervalo;
-    if (obras.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM132", "Author sensivel precisa declarar book/work para ancorar proposito, tipo, publico e limites da obra.", "erro", intervaloBase, "Declare book ou work antes de pedir para a IA criar ou editar material sensivel."));
-    }
-    if (audiences.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM133", "Author sensivel precisa declarar audience/publico antes da IA escrever ou editar.", "erro", intervaloBase, "Declare se o livro fala com pais, educadores, pessoas autistas, profissionais, publico geral ou outro grupo."));
-    }
-    if (claims.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM134", "Author sensivel precisa declarar claim para separar fato, argumento, opiniao e promessa editorial.", "erro", intervaloBase, "Declare ao menos um claim para qualquer tese factual que a IA deva sustentar ou revisar."));
-    }
-    if (sources.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM135", "Author sensivel precisa declarar source/fonte rastreavel.", "erro", intervaloBase, "Declare source para DSM, CID, artigo, livro, guia clinico, entrevista, experiencia autoral ou outra fonte aceita."));
-    }
-    if (styleRules.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM136", "Author sensivel precisa declarar style_rule para bloquear cliche, infantilizacao, generalizacao e linguagem ruim.", "erro", intervaloBase, "Declare style_rule com proibido/evitar/ecos/tolerancia antes da IA gerar texto."));
-    }
-    if (modulo.agents.length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM137", "Author sensivel precisa declarar agent governado para revisao, fonte, sensibilidade ou estilo.", "erro", intervaloBase, "Declare ao menos um agent com role, goal, tools, memory e policy."));
-    }
-    if (!modulo.flows.some((flow) => flowReferenciaAgent(flow, agentsConhecidos))) {
-        diagnosticos.push(criarDiagnostico("SEM138", "Author sensivel precisa declarar flow chamando agent governado.", "erro", intervaloBase, "Modele etapas como escrever, checar fonte, revisar linguagem, validar sensibilidade e preservar canon."));
-    }
-    for (const claim of claims) {
-        if (!localizarCampo(claim, "source", "fonte", "evidencia")) {
-            diagnosticos.push(criarDiagnostico("SEM139", `Claim sensivel "${claim.nome ?? "claim"}" precisa declarar source/fonte/evidencia.`, "erro", claim.intervalo, "Toda afirmacao factual sensivel precisa apontar fonte ou evidencia antes da IA usar no texto."));
-        }
-        if (!localizarCampo(claim, "confidence", "confianca")) {
-            diagnosticos.push(criarDiagnostico("SEM140", `Claim sensivel "${claim.nome ?? "claim"}" precisa declarar confidence/confianca.`, "erro", claim.intervalo, "Declare o nivel de confianca para a IA diferenciar fato forte, consenso limitado e hipotese."));
-        }
-    }
-    for (const styleRule of styleRules) {
-        if (!styleRuleTemProibicoes(styleRule)) {
-            diagnosticos.push(criarDiagnostico("SEM141", `Style_rule sensivel "${styleRule.nome ?? "style_rule"}" precisa declarar proibido/evitar verificavel.`, "erro", styleRule.intervalo, "Inclua termos, frases ou abordagens proibidas, como infantilizacao, generalizacao, promessa clinica ou cliche."));
-        }
-    }
-}
-function validarAgent(agent, diagnosticos) {
-    const nome = agent.nome ?? "agent";
-    if (!localizarCampo(agent, "role", "papel") && !localizarCampo(agent, "goal", "objetivo")) {
-        diagnosticos.push(criarDiagnostico("SEM128", `Agent "${nome}" precisa declarar role/papel ou goal/objetivo.`, "erro", agent.intervalo, "Agente sem objetivo vira prompt solto. Declare role ou goal."));
-    }
-    const tools = localizarBlocoPorNomes(agent, "tools", "ferramentas");
-    if (!tools || valoresDeclarativos(tools).length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM129", `Agent "${nome}" precisa declarar tools/ferramentas.`, "erro", agent.intervalo, "Declare as ferramentas que o agente pode usar para limitar acao e dar rastreabilidade."));
-    }
-    const policy = localizarBlocoPorNomes(agent, "policy", "politica");
-    if (!policy || valoresDeclarativos(policy).length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM130", `Agent "${nome}" precisa declarar policy/politica.`, "erro", agent.intervalo, "Declare limites como nao_reescrever_sem_aprovacao, citar_trechos_afetados ou atualizar_docs_apos_edicao."));
-    }
-    const memory = localizarBlocoPorNomes(agent, "memory", "memoria");
-    if (!memory || valoresDeclarativos(memory).length === 0) {
-        diagnosticos.push(criarDiagnostico("SEM131", `Agent "${nome}" deveria declarar memory/memoria para evitar contexto improvisado.`, "aviso", agent.intervalo, "Declare quais memorias, docs ou contratos o agente deve consultar antes de agir."));
-    }
-}
 export function criarContextoLocal(modulo) {
     const simbolos = new Map();
     const tiposConhecidos = new Set(TIPOS_PRIMITIVOS);
     const tasksConhecidas = new Set();
-    const agentsConhecidos = new Set();
     const tarefasDetalhadas = new Map();
     const statesConhecidos = new Map();
     const enumsConhecidos = new Map();
@@ -1459,10 +1233,6 @@ export function criarContextoLocal(modulo) {
             tasksConhecidas.add(nome);
             return;
         }
-        if (categoria === "agent") {
-            agentsConhecidos.add(nome);
-            return;
-        }
         if (categoria !== "database") {
             tiposConhecidos.add(nome);
         }
@@ -1487,16 +1257,6 @@ export function criarContextoLocal(modulo) {
     for (const route of modulo.routes) {
         registrar(route.nome, "route");
     }
-    for (const authorBlock of modulo.authorBlocks) {
-        if (authorBlock.nome && TIPOS_AUTHOR_PROFILE.has(authorBlock.palavraChave)) {
-            registrar(authorBlock.nome, authorBlock.palavraChave);
-        }
-    }
-    for (const agent of modulo.agents) {
-        if (agent.nome) {
-            registrar(agent.nome, "agent");
-        }
-    }
     for (const worker of modulo.workers) {
         if (worker.nome) {
             registrar(worker.nome, "worker");
@@ -1557,7 +1317,6 @@ export function criarContextoLocal(modulo) {
         simbolos,
         tiposConhecidos,
         tasksConhecidas,
-        agentsConhecidos,
         tarefasDetalhadas,
         statesConhecidos,
         modulosImportados: [],
@@ -1585,6 +1344,14 @@ function validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos) {
     }
     const entradasConhecidas = new Set(task.input?.campos.map((campo) => campo.nome) ?? []);
     const saidasConhecidas = new Set(task.output?.campos.map((campo) => campo.nome) ?? []);
+    if (task.state) {
+        for (const campo of task.output?.campos ?? []) {
+            if (!campoStatusTexto(campo)) {
+                continue;
+            }
+            diagnosticos.push(criarDiagnostico("SEM100", `Task "${task.nome}" declara output "${campo.nome}: Texto" enquanto governa state.`, "aviso", campo.intervalo, "Use um enum/status de dominio no output para manter a transicao rastreavel para IA."));
+        }
+    }
     if (task.rules) {
         validarExpressoesDeclaradas(task.rules.linhas, diagnosticos, {
             codigoErroSintaxe: "SEM021",
@@ -1615,6 +1382,7 @@ function validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos) {
                 continue;
             }
             validarCasoTeste(task, bloco, diagnosticos);
+            validarTesteSemanticoForte(task, bloco, diagnosticos);
         }
     }
     if (task.guarantees && task.output) {
@@ -1638,6 +1406,32 @@ function validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos) {
     }
     validarVinculoEstadoDaTask(task, statesConhecidos, diagnosticos);
 }
+export function validarTesteSemanticoForte(task, caso, diagnosticos) {
+    if (!taskEhSensivel(task) || !caso.expect) {
+        return;
+    }
+    const possuiErroEsperado = Boolean(caso.error
+        && (caso.error.campos.length > 0 || caso.error.linhas.length > 0 || caso.error.blocos.length > 0));
+    if (possuiErroEsperado) {
+        return;
+    }
+    const camposExpect = caso.expect.campos.filter((campo) => campo.nome !== "");
+    const somenteSucesso = camposExpect.length === 1
+        && camposExpect[0]?.nome === "sucesso"
+        && caso.expect.linhas.length === 0
+        && caso.expect.blocos.length === 0;
+    if (!somenteSucesso) {
+        return;
+    }
+    diagnosticos.push(criarDiagnostico("SEM102", `Caso de teste "${caso.nome}" da task sensivel "${task.nome}" valida apenas sucesso.`, "aviso", caso.expect.intervalo, "Inclua algum output, erro esperado ou garantia observavel para a IA nao tratar 'sucesso' como contrato completo."));
+}
+export function emitirDiagnosticosContratoFrouxo(task, diagnosticos) {
+    for (const bloco of task.tests?.blocos ?? []) {
+        if (bloco.tipo === "caso_teste") {
+            validarTesteSemanticoForte(task, bloco, diagnosticos);
+        }
+    }
+}
 function validarCasoTeste(task, caso, diagnosticos) {
     if (!caso.given) {
         diagnosticos.push(criarDiagnostico("SEM008", `Caso de teste "${caso.nome}" da task "${task.nome}" precisa declarar given.`, "erro", caso.intervalo));
@@ -1651,7 +1445,6 @@ export function analisarSemantica(modulo, opcoes = {}) {
     const simbolos = new Map();
     const tiposConhecidos = new Set(TIPOS_PRIMITIVOS);
     const tasksConhecidas = new Set();
-    const agentsConhecidos = new Set();
     const tarefasDetalhadas = new Map();
     const statesConhecidos = new Map();
     const modulosImportados = [];
@@ -1687,9 +1480,6 @@ export function analisarSemantica(modulo, opcoes = {}) {
         for (const task of contextoImportado.tasksConhecidas) {
             tasksConhecidas.add(task);
         }
-        for (const agent of contextoImportado.agentsConhecidos) {
-            agentsConhecidos.add(agent);
-        }
         for (const [nomeTask, detalhesTask] of contextoImportado.tarefasDetalhadas) {
             tarefasDetalhadas.set(nomeTask, {
                 input: detalhesTask.input.map((campo) => ({ ...campo, modificadores: [...campo.modificadores] })),
@@ -1719,10 +1509,6 @@ export function analisarSemantica(modulo, opcoes = {}) {
             tasksConhecidas.add(nome);
             return;
         }
-        if (categoria === "agent") {
-            agentsConhecidos.add(nome);
-            return;
-        }
         if (categoria !== "database") {
             tiposConhecidos.add(nome);
         }
@@ -1747,16 +1533,6 @@ export function analisarSemantica(modulo, opcoes = {}) {
     for (const route of modulo.routes) {
         registrar(route.nome, "route", route.intervalo);
     }
-    for (const authorBlock of modulo.authorBlocks) {
-        if (authorBlock.nome && TIPOS_AUTHOR_PROFILE.has(authorBlock.palavraChave)) {
-            registrar(authorBlock.nome, authorBlock.palavraChave, authorBlock.intervalo);
-        }
-    }
-    for (const agent of modulo.agents) {
-        if (agent.nome) {
-            registrar(agent.nome, "agent", agent.intervalo);
-        }
-    }
     for (const worker of modulo.workers) {
         if (worker.nome) {
             registrar(worker.nome, "worker", worker.intervalo);
@@ -1834,7 +1610,7 @@ export function analisarSemantica(modulo, opcoes = {}) {
         validarTask(task, tiposConhecidos, statesConhecidos, diagnosticos);
     }
     for (const flow of modulo.flows) {
-        validarFlow(flow, tasksConhecidas, agentsConhecidos, tarefasDetalhadas, diagnosticos);
+        validarFlow(flow, tasksConhecidas, tarefasDetalhadas, diagnosticos);
     }
     for (const route of modulo.routes) {
         validarRoute(route, tasksConhecidas, tarefasDetalhadas, diagnosticos);
@@ -1864,13 +1640,6 @@ export function analisarSemantica(modulo, opcoes = {}) {
     for (const policy of modulo.policies) {
         validarSuperficie(policy, "policy", tasksConhecidas, tiposConhecidos, diagnosticos);
     }
-    for (const authorBlock of modulo.authorBlocks) {
-        validarAuthorBlock(authorBlock, diagnosticos);
-    }
-    for (const agent of modulo.agents) {
-        validarAgent(agent, diagnosticos);
-    }
-    validarAuthorSensivel(modulo, agentsConhecidos, diagnosticos);
     for (const database of modulo.databases) {
         validarDatabase(database, diagnosticos);
     }
@@ -1893,13 +1662,13 @@ export function analisarSemantica(modulo, opcoes = {}) {
     for (const state of modulo.states) {
         validarState(state, tiposConhecidos, enumsConhecidos, diagnosticos);
     }
+    validarStatusTextoComState(modulo, diagnosticos);
     return {
         contexto: {
             modulo: modulo.nome,
             simbolos,
             tiposConhecidos,
             tasksConhecidas,
-            agentsConhecidos,
             tarefasDetalhadas,
             statesConhecidos,
             modulosImportados,