@baruk/core 0.3.1 → 0.5.0

package/dist/fiscal/applicability.js

@@ -0,0 +1,160 @@
+import { evaluate, missingAttributes, parseCondition, referencedAttributes, } from './conditions.js';
+const semRegra = (reason) => ({
+    outcome: 'RULE_NOT_CONFIGURED',
+    reason,
+    evidence: {
+        ruleId: null,
+        ruleVersion: null,
+        jurisdiction: null,
+        missingAttributes: [],
+        consideredAttributes: [],
+    },
+});
+/**
+ * A regra alcança este cliente geograficamente?
+ *
+ * Federal alcança todos. Estadual exige UF igual. Municipal exige UF **e**
+ * código IBGE iguais — nome de município não entra na comparação, porque
+ * "Goiania" e "Goiânia" são o mesmo lugar e strings diferentes.
+ *
+ * Cliente sem a informação não é "fora": é desconhecido, e vira
+ * `INSUFFICIENT_DATA` em vez de sumir da lista.
+ */
+function jurisdictionMatch(rule, client) {
+    if (rule.scope === 'federal')
+        return 'match';
+    if (client.uf === null)
+        return 'unknown';
+    if (client.uf !== rule.uf)
+        return 'no_match';
+    if (rule.scope === 'state')
+        return 'match';
+    if (client.cityIbge === null)
+        return 'unknown';
+    return client.cityIbge === rule.cityIbge ? 'match' : 'no_match';
+}
+/** A competência cai dentro da vigência? Compara datas ISO, sem fuso. */
+function withinValidity(rule, referenceDate) {
+    if (referenceDate < rule.validFrom)
+        return false;
+    return rule.validUntil === null || referenceDate <= rule.validUntil;
+}
+export function decideApplicability(input) {
+    const { rule, profile, clientJurisdiction, referenceDate } = input;
+    if (!rule) {
+        return semRegra('Não há regra cadastrada para esta obrigação nesta jurisdição.');
+    }
+    const jurisdiction = rule.jurisdiction;
+    const base = { ruleId: rule.id, ruleVersion: rule.version, jurisdiction };
+    // ── 1 · Estado da regra, antes de qualquer coisa do cliente ─────────────
+    if (rule.status === 'disabled') {
+        return {
+            outcome: 'RULE_DISABLED',
+            reason: 'A regra está desligada.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    if (rule.status === 'not_configured') {
+        return {
+            outcome: 'RULE_NOT_CONFIGURED',
+            reason: 'A regra existe como marcador, mas ninguém configurou jurisdição ou vencimento — não há data a aplicar.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    // ── 2 · Vigência ────────────────────────────────────────────────────────
+    if (!withinValidity(rule, referenceDate)) {
+        const futura = referenceDate < rule.validFrom;
+        return {
+            outcome: futura ? 'RULE_NOT_CONFIGURED' : 'RULE_EXPIRED',
+            reason: futura
+                ? `A regra só passa a valer em ${rule.validFrom}; para esta competência não há regra vigente.`
+                : `A regra deixou de valer em ${rule.validUntil}.`,
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    if (rule.status === 'expired') {
+        return {
+            outcome: 'RULE_EXPIRED',
+            reason: 'A regra está marcada como vencida.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    // ── 3 · Jurisdição ──────────────────────────────────────────────────────
+    const geo = jurisdictionMatch(jurisdiction, clientJurisdiction);
+    if (geo === 'no_match') {
+        return {
+            outcome: 'NOT_APPLICABLE',
+            reason: jurisdiction.scope === 'state'
+                ? `Regra de ${jurisdiction.uf}; o cliente está em ${clientJurisdiction.uf}.`
+                : 'A regra é de outro município.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    if (geo === 'unknown') {
+        const falta = jurisdiction.scope === 'state' ? 'UF' : 'código IBGE do município';
+        return {
+            outcome: 'INSUFFICIENT_DATA',
+            reason: `Falta ${falta} no cadastro do cliente para saber se esta regra o alcança.`,
+            evidence: {
+                ...base,
+                missingAttributes: [jurisdiction.scope === 'state' ? 'state_uf' : 'municipality_ibge_code'],
+                consideredAttributes: [],
+            },
+        };
+    }
+    // ── 4 · Condições declarativas ──────────────────────────────────────────
+    let condition;
+    try {
+        condition = parseCondition(rule.conditions);
+    }
+    catch (err) {
+        // Regra malformada é defeito do catálogo, não decisão sobre o cliente.
+        // Nunca vira "não se aplica": isso esconderia a obrigação.
+        return {
+            outcome: 'RULE_NOT_CONFIGURED',
+            reason: `A condição desta regra está malformada: ${err instanceof Error ? err.message : 'inválida'}.`,
+            evidence: { ...base, missingAttributes: [], consideredAttributes: [] },
+        };
+    }
+    const considerados = [...referencedAttributes(condition)].sort();
+    const faltando = missingAttributes(condition, profile);
+    const veredito = evaluate(condition, profile);
+    if (veredito === 'unknown') {
+        return {
+            outcome: 'INSUFFICIENT_DATA',
+            reason: faltando.length === 1
+                ? `Falta informar "${faltando[0]}" no perfil do cliente.`
+                : `Faltam informações no perfil do cliente: ${faltando.join(', ')}.`,
+            evidence: { ...base, missingAttributes: faltando, consideredAttributes: considerados },
+        };
+    }
+    if (veredito === false) {
+        return {
+            outcome: 'NOT_APPLICABLE',
+            reason: 'O perfil do cliente não atende às condições desta regra.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: considerados },
+        };
+    }
+    // ── 5 · Conferência humana, por último ──────────────────────────────────
+    //
+    // Fica depois da aplicabilidade de propósito: dizer "pendente de conferência"
+    // sobre uma regra que nem se aplica a este cliente mandaria o escritório
+    // conferir o que não usaria.
+    if (rule.status === 'pending_validation') {
+        return {
+            outcome: 'RULE_PENDING_VALIDATION',
+            reason: 'A regra se aplica, mas ainda não foi conferida por uma pessoa.',
+            evidence: { ...base, missingAttributes: [], consideredAttributes: considerados },
+        };
+    }
+    return {
+        outcome: 'APPLICABLE',
+        reason: 'A regra está vigente, conferida, e o perfil do cliente a atende.',
+        evidence: { ...base, missingAttributes: [], consideredAttributes: considerados },
+    };
+}
+/** Só `APPLICABLE` gera. Todo o resto é espera, ausência ou decisão contrária. */
+export function generates(decision) {
+    return decision.outcome === 'APPLICABLE';
+}
+//# sourceMappingURL=applicability.js.map

package/dist/fiscal/applicability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"applicability.js","sourceRoot":"","sources":["../../src/fiscal/applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,oBAAoB,GAGrB,MAAM,iBAAiB,CAAC;AAwEzB,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAyB,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,qBAAqB;IAC9B,MAAM;IACN,QAAQ,EAAE;QACR,MAAM,EAAE,IAAI;QACZ,WAAW,EAAE,IAAI;QACjB,YAAY,EAAE,IAAI;QAClB,iBAAiB,EAAE,EAAE;QACrB,oBAAoB,EAAE,EAAE;KACzB;CACF,CAAC,CAAC;AAEH;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CACxB,IAAqB,EACrB,MAA0B;IAE1B,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC7C,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACzC,IAAI,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,UAAU,CAAC;IAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,OAAO,CAAC;IAC3C,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,MAAM,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC;AAClE,CAAC;AAED,yEAAyE;AACzE,SAAS,cAAc,CAAC,IAAmB,EAAE,aAAqB;IAChE,IAAI,aAAa,GAAG,IAAI,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACjD,OAAO,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,aAAa,IAAI,IAAI,CAAC,UAAU,CAAC;AACtE,CAAC;AAcD,MAAM,UAAU,mBAAmB,CAAC,KAAyB;IAC3D,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,kBAAkB,EAAE,aAAa,EAAE,GAAG,KAAK,CAAC;IAEnE,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,QAAQ,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;IACvC,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IAE1E,2EAA2E;IAC3E,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,eAAe;YACxB,MAAM,EAAE,yBAAyB;YACjC,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACrC,OAAO;YACL,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EACJ,wGAAwG;YAC1G,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC;QAC9C,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,cAAc;YACxD,MAAM,EAAE,MAAM;gBACZ,CAAC,CAAC,+BAA+B,IAAI,CAAC,SAAS,+CAA+C;gBAC9F,CAAC,CAAC,8BAA8B,IAAI,CAAC,UAAU,GAAG;YACpD,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,MAAM,EAAE,oCAAoC;YAC5C,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,MAAM,GAAG,GAAG,iBAAiB,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAChE,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,gBAAgB;YACzB,MAAM,EACJ,YAAY,CAAC,KAAK,KAAK,OAAO;gBAC5B,CAAC,CAAC,YAAY,YAAY,CAAC,EAAE,uBAAuB,kBAAkB,CAAC,EAAE,GAAG;gBAC5E,CAAC,CAAC,+BAA+B;YACrC,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC;QACjF,OAAO;YACL,OAAO,EAAE,mBAAmB;YAC5B,MAAM,EAAE,SAAS,KAAK,6DAA6D;YACnF,QAAQ,EAAE;gBACR,GAAG,IAAI;gBACP,iBAAiB,EAAE,CAAC,YAAY,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,wBAAwB,CAAC;gBAC3F,oBAAoB,EAAE,EAAE;aACzB;SACF,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,IAAI,SAAoB,CAAC;IACzB,IAAI,CAAC;QACH,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,uEAAuE;QACvE,2DAA2D;QAC3D,OAAO;YACL,OAAO,EAAE,qBAAqB;YAC9B,MAAM,EAAE,2CAA2C,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,GAAG;YACrG,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE;SACvE,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjE,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACvD,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAE9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;YACL,OAAO,EAAE,mBAAmB;YAC5B,MAAM,EACJ,QAAQ,CAAC,MAAM,KAAK,CAAC;gBACnB,CAAC,CAAC,mBAAmB,QAAQ,CAAC,CAAC,CAAC,yBAAyB;gBACzD,CAAC,CAAC,4CAA4C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACxE,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,YAAY,EAAE;SACvF,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,gBAAgB;YACzB,MAAM,EAAE,0DAA0D;YAClE,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,YAAY,EAAE;SACjF,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,EAAE;IACF,8EAA8E;IAC9E,yEAAyE;IACzE,6BAA6B;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;QACzC,OAAO;YACL,OAAO,EAAE,yBAAyB;YAClC,MAAM,EAAE,gEAAgE;YACxE,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,YAAY,EAAE;SACjF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,MAAM,EAAE,kEAAkE;QAC1E,QAAQ,EAAE,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,YAAY,EAAE;KACjF,CAAC;AACJ,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,SAAS,CAAC,QAA+B;IACvD,OAAO,QAAQ,CAAC,OAAO,KAAK,YAAY,CAAC;AAC3C,CAAC"}

package/dist/fiscal/conditions.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Condições de aplicabilidade — uma AST declarativa, tipada e interpretada.
+ *
+ * ## Por que não uma linguagem
+ *
+ * A tentação é guardar uma expressão e avaliá-la. Nada aqui é avaliado: não há
+ * `eval`, nem `Function`, nem SQL montado, nem código do usuário. A condição é
+ * um objeto JSON com formato fechado, validado na escrita e percorrido por um
+ * `switch` na leitura. O pior que uma condição malformada consegue fazer é ser
+ * recusada.
+ *
+ * ## Por que não uma floresta de `if`
+ *
+ * A alternativa seria `requires_employees`, `requires_icms`, `requires_iss`…
+ * uma coluna e um `if` por pergunta fiscal. Não escala: cada UF e cada segmento
+ * acrescenta perguntas, e o motor vira uma cascata que ninguém consegue ler nem
+ * testar. Aqui o motor sabe avaliar **operadores**; o catálogo declara **fatos**.
+ *
+ * ## O terceiro valor
+ *
+ * A avaliação não devolve booleano. Devolve `true`, `false` ou **`unknown`** —
+ * e `unknown` é o ponto inteiro desta fase. Um cliente sobre o qual ninguém
+ * disse se tem empregados não é "sem empregados": é desconhecido, e a decisão
+ * segura é não gerar nem declarar isento. Colapsar `unknown` em `false` é
+ * exatamente o defeito que a auditoria nacional encontrou.
+ */
+/** Lógica ternária de Kleene. `unknown` contamina, e é para isso que existe. */
+export type Truth = true | false | 'unknown';
+export type Condition = 
+/** Sempre aplicável — o padrão de uma regra sem restrição declarada. */
+{
+    op: 'always';
+} | {
+    op: 'eq';
+    attribute: string;
+    value: string | boolean;
+} | {
+    op: 'neq';
+    attribute: string;
+    value: string | boolean;
+} | {
+    op: 'in';
+    attribute: string;
+    values: readonly (string | boolean)[];
+} | {
+    op: 'not_in';
+    attribute: string;
+    values: readonly (string | boolean)[];
+}
+/** O atributo tem valor conhecido, qualquer que seja. */
+ | {
+    op: 'exists';
+    attribute: string;
+} | {
+    op: 'not_exists';
+    attribute: string;
+} | {
+    op: 'and';
+    of: readonly Condition[];
+} | {
+    op: 'or';
+    of: readonly Condition[];
+};
+/** O perfil como o motor o enxerga: nome do atributo → valor conhecido. */
+export type FiscalProfile = Readonly<Record<string, string | boolean>>;
+export declare class InvalidCondition extends Error {
+    constructor(message: string);
+}
+/**
+ * Valida a forma ANTES de gravar.
+ *
+ * Uma condição malformada gravada é uma regra que ninguém consegue avaliar, e
+ * o motor descobriria isso na madrugada do vencimento. Recusar na escrita é
+ * mais barato que descobrir na geração.
+ *
+ * `maxDepth` existe porque uma AST profunda o bastante estoura a pilha na
+ * avaliação, e a escrita é onde isso pode ser recusado com uma mensagem.
+ */
+export declare function parseCondition(raw: unknown, depth?: number): Condition;
+/** Atributos citados pela condição — o motor usa para explicar o que faltou. */
+export declare function referencedAttributes(c: Condition, into?: Set<string>): Set<string>;
+/**
+ * Avalia em lógica ternária.
+ *
+ * As regras de `and` e `or` são as de Kleene, e a escolha importa:
+ *
+ * - `and` com um `false` é `false` mesmo havendo desconhecidos — não adianta
+ *   saber o resto, a regra já não se aplica;
+ * - `or` com um `true` é `true` pelo mesmo motivo;
+ * - fora esses casos, qualquer desconhecido torna o todo desconhecido.
+ *
+ * Sem isso, uma regra "Simples E tem empregados" avaliada para um cliente do
+ * Lucro Real sem informação de folha devolveria `unknown` e viraria pendência
+ * na mesa de alguém — quando a resposta já era `false` pelo regime.
+ */
+export declare function evaluate(condition: Condition, profile: FiscalProfile): Truth;
+/** Atributos citados que o perfil não conhece — a explicação do `unknown`. */
+export declare function missingAttributes(condition: Condition, profile: FiscalProfile): string[];
+//# sourceMappingURL=conditions.d.ts.map

package/dist/fiscal/conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../src/fiscal/conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,gFAAgF;AAChF,MAAM,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,CAAC;AAE7C,MAAM,MAAM,SAAS;AACnB,wEAAwE;AACtE;IAAE,EAAE,EAAE,QAAQ,CAAA;CAAE,GAChB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GACxD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GACzD;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,CAAA;CAAE,GACtE;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,CAAA;CAAE;AAC5E,yDAAyD;GACvD;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,EAAE,EAAE,YAAY,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GACvC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,GACvC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,EAAE,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAC;AAE3C,2EAA2E;AAC3E,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC;AAIvE,qBAAa,gBAAiB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAI5B;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,SAAI,GAAG,SAAS,CAiEjE;AAED,gFAAgF;AAChF,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,cAAoB,GAAG,GAAG,CAAC,MAAM,CAAC,CAYxF;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,GAAG,KAAK,CA+C5E;AAED,8EAA8E;AAC9E,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAExF"}

package/dist/fiscal/conditions.js

@@ -0,0 +1,190 @@
+/**
+ * Condições de aplicabilidade — uma AST declarativa, tipada e interpretada.
+ *
+ * ## Por que não uma linguagem
+ *
+ * A tentação é guardar uma expressão e avaliá-la. Nada aqui é avaliado: não há
+ * `eval`, nem `Function`, nem SQL montado, nem código do usuário. A condição é
+ * um objeto JSON com formato fechado, validado na escrita e percorrido por um
+ * `switch` na leitura. O pior que uma condição malformada consegue fazer é ser
+ * recusada.
+ *
+ * ## Por que não uma floresta de `if`
+ *
+ * A alternativa seria `requires_employees`, `requires_icms`, `requires_iss`…
+ * uma coluna e um `if` por pergunta fiscal. Não escala: cada UF e cada segmento
+ * acrescenta perguntas, e o motor vira uma cascata que ninguém consegue ler nem
+ * testar. Aqui o motor sabe avaliar **operadores**; o catálogo declara **fatos**.
+ *
+ * ## O terceiro valor
+ *
+ * A avaliação não devolve booleano. Devolve `true`, `false` ou **`unknown`** —
+ * e `unknown` é o ponto inteiro desta fase. Um cliente sobre o qual ninguém
+ * disse se tem empregados não é "sem empregados": é desconhecido, e a decisão
+ * segura é não gerar nem declarar isento. Colapsar `unknown` em `false` é
+ * exatamente o defeito que a auditoria nacional encontrou.
+ */
+const OPS = new Set(['always', 'eq', 'neq', 'in', 'not_in', 'exists', 'not_exists', 'and', 'or']);
+export class InvalidCondition extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'InvalidCondition';
+    }
+}
+/**
+ * Valida a forma ANTES de gravar.
+ *
+ * Uma condição malformada gravada é uma regra que ninguém consegue avaliar, e
+ * o motor descobriria isso na madrugada do vencimento. Recusar na escrita é
+ * mais barato que descobrir na geração.
+ *
+ * `maxDepth` existe porque uma AST profunda o bastante estoura a pilha na
+ * avaliação, e a escrita é onde isso pode ser recusado com uma mensagem.
+ */
+export function parseCondition(raw, depth = 0) {
+    if (depth > 12)
+        throw new InvalidCondition('condição aninhada demais (limite 12)');
+    if (typeof raw !== 'object' || raw === null || Array.isArray(raw)) {
+        throw new InvalidCondition('condição precisa ser um objeto');
+    }
+    const o = raw;
+    const op = o['op'];
+    if (typeof op !== 'string' || !OPS.has(op)) {
+        throw new InvalidCondition(`operador desconhecido: ${String(op)}`);
+    }
+    const attr = () => {
+        const a = o['attribute'];
+        if (typeof a !== 'string' || a.length === 0) {
+            throw new InvalidCondition(`${op} exige "attribute"`);
+        }
+        return a;
+    };
+    const scalar = () => {
+        const v = o['value'];
+        if (typeof v !== 'string' && typeof v !== 'boolean') {
+            throw new InvalidCondition(`${op} exige "value" texto ou booleano`);
+        }
+        return v;
+    };
+    const list = () => {
+        const v = o['values'];
+        if (!Array.isArray(v) || v.length === 0) {
+            throw new InvalidCondition(`${op} exige "values" não vazio`);
+        }
+        return v.map((x) => {
+            if (typeof x !== 'string' && typeof x !== 'boolean') {
+                throw new InvalidCondition(`${op} aceita apenas texto ou booleano em "values"`);
+            }
+            return x;
+        });
+    };
+    const children = () => {
+        const v = o['of'];
+        if (!Array.isArray(v) || v.length === 0) {
+            throw new InvalidCondition(`${op} exige "of" não vazio`);
+        }
+        return v.map((c) => parseCondition(c, depth + 1));
+    };
+    switch (op) {
+        case 'always':
+            return { op: 'always' };
+        case 'eq':
+            return { op: 'eq', attribute: attr(), value: scalar() };
+        case 'neq':
+            return { op: 'neq', attribute: attr(), value: scalar() };
+        case 'in':
+            return { op: 'in', attribute: attr(), values: list() };
+        case 'not_in':
+            return { op: 'not_in', attribute: attr(), values: list() };
+        case 'exists':
+            return { op: 'exists', attribute: attr() };
+        case 'not_exists':
+            return { op: 'not_exists', attribute: attr() };
+        case 'and':
+            return { op: 'and', of: children() };
+        default:
+            return { op: 'or', of: children() };
+    }
+}
+/** Atributos citados pela condição — o motor usa para explicar o que faltou. */
+export function referencedAttributes(c, into = new Set()) {
+    switch (c.op) {
+        case 'always':
+            break;
+        case 'and':
+        case 'or':
+            for (const child of c.of)
+                referencedAttributes(child, into);
+            break;
+        default:
+            into.add(c.attribute);
+    }
+    return into;
+}
+/**
+ * Avalia em lógica ternária.
+ *
+ * As regras de `and` e `or` são as de Kleene, e a escolha importa:
+ *
+ * - `and` com um `false` é `false` mesmo havendo desconhecidos — não adianta
+ *   saber o resto, a regra já não se aplica;
+ * - `or` com um `true` é `true` pelo mesmo motivo;
+ * - fora esses casos, qualquer desconhecido torna o todo desconhecido.
+ *
+ * Sem isso, uma regra "Simples E tem empregados" avaliada para um cliente do
+ * Lucro Real sem informação de folha devolveria `unknown` e viraria pendência
+ * na mesa de alguém — quando a resposta já era `false` pelo regime.
+ */
+export function evaluate(condition, profile) {
+    switch (condition.op) {
+        case 'always':
+            return true;
+        case 'exists':
+            return profile[condition.attribute] !== undefined;
+        case 'not_exists':
+            return profile[condition.attribute] === undefined;
+        case 'eq':
+        case 'neq': {
+            const v = profile[condition.attribute];
+            if (v === undefined)
+                return 'unknown';
+            const igual = v === condition.value;
+            return condition.op === 'eq' ? igual : !igual;
+        }
+        case 'in':
+        case 'not_in': {
+            const v = profile[condition.attribute];
+            if (v === undefined)
+                return 'unknown';
+            const dentro = condition.values.includes(v);
+            return condition.op === 'in' ? dentro : !dentro;
+        }
+        case 'and': {
+            let desconhecido = false;
+            for (const c of condition.of) {
+                const r = evaluate(c, profile);
+                if (r === false)
+                    return false;
+                if (r === 'unknown')
+                    desconhecido = true;
+            }
+            return desconhecido ? 'unknown' : true;
+        }
+        default: {
+            let desconhecido = false;
+            for (const c of condition.of) {
+                const r = evaluate(c, profile);
+                if (r === true)
+                    return true;
+                if (r === 'unknown')
+                    desconhecido = true;
+            }
+            return desconhecido ? 'unknown' : false;
+        }
+    }
+}
+/** Atributos citados que o perfil não conhece — a explicação do `unknown`. */
+export function missingAttributes(condition, profile) {
+    return [...referencedAttributes(condition)].filter((a) => profile[a] === undefined).sort();
+}
+//# sourceMappingURL=conditions.js.map

package/dist/fiscal/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../src/fiscal/conditions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAqBH,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;AAElG,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,KAAK,GAAG,CAAC;IACpD,IAAI,KAAK,GAAG,EAAE;QAAE,MAAM,IAAI,gBAAgB,CAAC,sCAAsC,CAAC,CAAC;IACnF,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,gBAAgB,CAAC,gCAAgC,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,gBAAgB,CAAC,0BAA0B,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,IAAI,GAAG,GAAW,EAAE;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,gBAAgB,CAAC,GAAG,EAAE,oBAAoB,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,GAAqB,EAAE;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACrB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,IAAI,gBAAgB,CAAC,GAAG,EAAE,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,GAAyB,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,gBAAgB,CAAC,GAAG,EAAE,2BAA2B,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACjB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;gBACpD,MAAM,IAAI,gBAAgB,CAAC,GAAG,EAAE,8CAA8C,CAAC,CAAC;YAClF,CAAC;YACD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,GAAgB,EAAE;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,gBAAgB,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC;QAC3D,CAAC;QACD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,QAAQ;YACX,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;QAC1B,KAAK,IAAI;YACP,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;QAC1D,KAAK,KAAK;YACR,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC;QAC3D,KAAK,IAAI;YACP,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,QAAQ;YACX,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7D,KAAK,QAAQ;YACX,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;QAC7C,KAAK,YAAY;YACf,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC;QACjD,KAAK,KAAK;YACR,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;QACvC;YACE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC;IACxC,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,oBAAoB,CAAC,CAAY,EAAE,OAAO,IAAI,GAAG,EAAU;IACzE,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,MAAM;QACR,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACP,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,EAAE;gBAAE,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5D,MAAM;QACR;YACE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,QAAQ,CAAC,SAAoB,EAAE,OAAsB;IACnE,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QAEd,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC;QAEpD,KAAK,YAAY;YACf,OAAO,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,SAAS,CAAC;QAEpD,KAAK,IAAI,CAAC;QACV,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACtC,MAAM,KAAK,GAAG,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC;YACpC,OAAO,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAChD,CAAC;QAED,KAAK,IAAI,CAAC;QACV,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACtC,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC5C,OAAO,SAAS,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAClD,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,KAAK;oBAAE,OAAO,KAAK,CAAC;gBAC9B,IAAI,CAAC,KAAK,SAAS;oBAAE,YAAY,GAAG,IAAI,CAAC;YAC3C,CAAC;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,CAAC;QAED,OAAO,CAAC,CAAC,CAAC;YACR,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,EAAE,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;gBAC/B,IAAI,CAAC,KAAK,IAAI;oBAAE,OAAO,IAAI,CAAC;gBAC5B,IAAI,CAAC,KAAK,SAAS;oBAAE,YAAY,GAAG,IAAI,CAAC;YAC3C,CAAC;YACD,OAAO,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1C,CAAC;IACH,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,iBAAiB,CAAC,SAAoB,EAAE,OAAsB;IAC5E,OAAO,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7F,CAAC"}