@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/fca/fca.test.js

@@ -1,317 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const fca_1 = require("../../runtime/fca");
-function set(...xs) {
-    return new Set(xs);
-}
-function setsEqual(a, b) {
-    if (a.size !== b.size)
-        return false;
-    for (const x of a)
-        if (!b.has(x))
-            return false;
-    return true;
-}
-/**
- * Contexto "living beings" clásico de la literatura (Ganter & Wille, simplificado).
- * 4 objetos × 4 atributos:
- *               needs-water  lives-in-water  lives-on-land  has-leaves
- *   fish-leech      X             X
- *   bream           X             X
- *   reed            X             X              X            X
- *   bean            X                            X            X
- *
- * Conceptos esperados (clausuras de intents):
- *   ∅            (lectic 1st) → intent = closeIntent(∅) = {needs-water}
- *                                       (todos comparten needs-water)
- *   {fish-leech, bream, reed} → intent {needs-water, lives-in-water}
- *   {reed}                    → intent {needs-water, lives-in-water,
- *                                       lives-on-land, has-leaves}
- *   {reed, bean}              → intent {needs-water, lives-on-land, has-leaves}
- *   {fish-leech,bream,reed,bean} top → {needs-water}
- *   etc.
- * El número exacto se calcula vía allConcepts (lo verificamos con el código).
- */
-function livingBeingsContext() {
-    return (0, fca_1.createContext)(['fish-leech', 'bream', 'reed', 'bean'], ['needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'], [
-        ['fish-leech', 'needs-water'],
-        ['fish-leech', 'lives-in-water'],
-        ['bream', 'needs-water'],
-        ['bream', 'lives-in-water'],
-        ['reed', 'needs-water'],
-        ['reed', 'lives-in-water'],
-        ['reed', 'lives-on-land'],
-        ['reed', 'has-leaves'],
-        ['bean', 'needs-water'],
-        ['bean', 'lives-on-land'],
-        ['bean', 'has-leaves'],
-    ]);
-}
-(0, vitest_1.describe)('FCA — createContext y operadores polares de Galois', () => {
-    (0, vitest_1.it)('rechaza identificadores con el separador reservado "|"', () => {
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a|b'], ['m'], [])).toThrow(/separador/);
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m|n'], [])).toThrow(/separador/);
-    });
-    (0, vitest_1.it)('rechaza objetos o atributos duplicados', () => {
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a', 'a'], ['m'], [])).toThrow(/duplicado/);
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m', 'm'], [])).toThrow(/duplicado/);
-    });
-    (0, vitest_1.it)('rechaza incidencias hacia objetos o atributos no declarados', () => {
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m'], [['a', 'x']])).toThrow(/atributo/);
-        (0, vitest_1.expect)(() => (0, fca_1.createContext)(['a'], ['m'], [['z', 'm']])).toThrow(/objeto/);
-    });
-    (0, vitest_1.it)('derivativeObjects({}) = G (convención: ∀ trivial sobre conjunto vacío)', () => {
-        const K = livingBeingsContext();
-        const G = (0, fca_1.derivativeObjects)(K, set());
-        (0, vitest_1.expect)(setsEqual(G, set('fish-leech', 'bream', 'reed', 'bean'))).toBe(true);
-    });
-    (0, vitest_1.it)('derivativeAttributes({}) = M', () => {
-        const K = livingBeingsContext();
-        const M = (0, fca_1.derivativeAttributes)(K, set());
-        (0, vitest_1.expect)(setsEqual(M, set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
-    });
-    (0, vitest_1.it)('derivativeObjects: {lives-in-water} → {fish-leech, bream, reed}', () => {
-        const K = livingBeingsContext();
-        const r = (0, fca_1.derivativeObjects)(K, set('lives-in-water'));
-        (0, vitest_1.expect)(setsEqual(r, set('fish-leech', 'bream', 'reed'))).toBe(true);
-    });
-    (0, vitest_1.it)('derivativeAttributes: {reed, bean} → {needs-water, lives-on-land, has-leaves}', () => {
-        const K = livingBeingsContext();
-        const r = (0, fca_1.derivativeAttributes)(K, set('reed', 'bean'));
-        (0, vitest_1.expect)(setsEqual(r, set('needs-water', 'lives-on-land', 'has-leaves'))).toBe(true);
-    });
-});
-(0, vitest_1.describe)('FCA — clausura Galois e isConcept', () => {
-    (0, vitest_1.it)('closeIntent es idempotente: closure(closure(B)) = closure(B)', () => {
-        const K = livingBeingsContext();
-        const seeds = [
-            set(),
-            set('needs-water'),
-            set('lives-in-water'),
-            set('has-leaves'),
-            set('lives-on-land', 'has-leaves'),
-            set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'),
-        ];
-        for (const s of seeds) {
-            const c1 = (0, fca_1.closeIntent)(K, s);
-            const c2 = (0, fca_1.closeIntent)(K, c1);
-            (0, vitest_1.expect)(setsEqual(c1, c2)).toBe(true);
-        }
-    });
-    (0, vitest_1.it)('closeIntent extiende el seed (B ⊆ B" siempre)', () => {
-        const K = livingBeingsContext();
-        const seed = set('lives-in-water');
-        const closed = (0, fca_1.closeIntent)(K, seed);
-        for (const m of seed)
-            (0, vitest_1.expect)(closed.has(m)).toBe(true);
-    });
-    (0, vitest_1.it)('isConcept reconoce ({reed}, {needs-water, lives-in-water, lives-on-land, has-leaves})', () => {
-        const K = livingBeingsContext();
-        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('reed'), set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
-    });
-    (0, vitest_1.it)('isConcept rechaza pares no-cerrados', () => {
-        const K = livingBeingsContext();
-        // intent incompleto: {reed} en realidad determina los 4 atributos, no 1.
-        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('reed'), set('needs-water'))).toBe(false);
-        // extent incompleto: {needs-water, lives-in-water}' = {fish-leech, bream, reed},
-        // no {fish-leech} solo.
-        (0, vitest_1.expect)((0, fca_1.isConcept)(K, set('fish-leech'), set('needs-water', 'lives-in-water'))).toBe(false);
-    });
-});
-(0, vitest_1.describe)('FCA — allConcepts (Next Closure, Ganter)', () => {
-    (0, vitest_1.it)('contexto living-beings: genera los conceptos esperados sin duplicados', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        // Sin duplicados (intents únicos como firma).
-        const intentSignatures = new Set(cs.map((c) => [...c.intent].sort().join(',')));
-        (0, vitest_1.expect)(intentSignatures.size).toBe(cs.length);
-        // Cada par devuelto cumple A' = B y B' = A.
-        for (const c of cs) {
-            (0, vitest_1.expect)((0, fca_1.isConcept)(K, c.extent, c.intent)).toBe(true);
-        }
-        // Top concept (extent = G) presente: intent = atributos comunes a todos = {needs-water}.
-        const top = cs.find((c) => c.extent.size === 4);
-        (0, vitest_1.expect)(top).toBeDefined();
-        (0, vitest_1.expect)(setsEqual(top.intent, set('needs-water'))).toBe(true);
-        // Bottom concept (intent = M = los 4 atrs) presente:
-        // como `reed` posee los 4 atributos, su extent es {reed}, no ∅.
-        const bottom = cs.find((c) => c.intent.size === 4);
-        (0, vitest_1.expect)(bottom).toBeDefined();
-        (0, vitest_1.expect)(setsEqual(bottom.extent, set('reed'))).toBe(true);
-        // Concepto ({reed}, los 4 atrs) ES el bottom: lo verificamos por separado
-        // mirando que es el único concepto con extent={reed}.
-        const reedOnly = cs.find((c) => c.extent.size === 1 && c.extent.has('reed'));
-        (0, vitest_1.expect)(reedOnly).toBeDefined();
-        (0, vitest_1.expect)(reedOnly.intent.size).toBe(4);
-        // Enumeración manual del lattice:
-        //   1. (G,                     {needs-water})                        — top
-        //   2. ({fl, br, reed},        {needs-water, lives-in-water})
-        //   3. ({reed, bean},          {needs-water, lives-on-land, has-leaves})
-        //   4. ({reed},                M)                                    — bottom
-        // Más: ({bean}, {nw, lol, hl})? No: {bean}' = {nw, lol, hl}, pero
-        //   {nw, lol, hl}' = {reed, bean}, no {bean} — no es concepto.
-        // 4 conceptos cerrados en este lattice (top + 2 intermedios + bottom).
-        (0, vitest_1.expect)(cs.length).toBe(4);
-    });
-    (0, vitest_1.it)('contexto trivial vacío (sin objetos ni atributos): exactamente 1 concepto (∅, ∅)', () => {
-        const K = (0, fca_1.createContext)([], [], []);
-        const cs = (0, fca_1.allConcepts)(K);
-        (0, vitest_1.expect)(cs.length).toBe(1);
-        (0, vitest_1.expect)(cs[0].extent.size).toBe(0);
-        (0, vitest_1.expect)(cs[0].intent.size).toBe(0);
-    });
-    (0, vitest_1.it)('contexto con un objeto sin atributos: 2 conceptos (top y bottom degenerados)', () => {
-        const K = (0, fca_1.createContext)(['solo'], ['m'], []);
-        const cs = (0, fca_1.allConcepts)(K);
-        // closeIntent(∅) = ∅'' = ({solo})' = ∅  (solo no tiene atributos)
-        //   → concepto top: ({solo}, ∅).
-        // Siguiente: closeIntent({m}) = {m}'' = (∅)' = {m}
-        //   → concepto bottom: (∅, {m}).
-        (0, vitest_1.expect)(cs.length).toBe(2);
-        const top = cs.find((c) => c.extent.size === 1);
-        const bot = cs.find((c) => c.extent.size === 0);
-        (0, vitest_1.expect)(setsEqual(top.extent, set('solo'))).toBe(true);
-        (0, vitest_1.expect)(top.intent.size).toBe(0);
-        (0, vitest_1.expect)(setsEqual(bot.intent, set('m'))).toBe(true);
-    });
-    (0, vitest_1.it)('contexto discreto (identidad): los closed-intents son {∅, {A}, {B}, {C}, M} → 5 conceptos', () => {
-        // n=3: G = {a,b,c}, M = {A,B,C}, I = {(a,A),(b,B),(c,C)}.
-        // Cualquier subconjunto de objetos de tamaño ≥ 2 comparte 0 atributos,
-        // luego su intent común es ∅, que cierra a ∅ ó a M según el operador
-        // doble. Los conjuntos cerrados de atributos son: ∅, {A}, {B}, {C}, M.
-        // Esto da 5 conceptos (no 2^3=8: el lattice NO es boolean porque los
-        // singletons en M son atómicos y no hay combinaciones intermedias).
-        const K = (0, fca_1.createContext)(['a', 'b', 'c'], ['A', 'B', 'C'], [
-            ['a', 'A'],
-            ['b', 'B'],
-            ['c', 'C'],
-        ]);
-        const cs = (0, fca_1.allConcepts)(K);
-        (0, vitest_1.expect)(cs.length).toBe(5);
-        // Sin duplicados.
-        const sigs = new Set(cs.map((c) => [...c.intent].sort().join(',')));
-        (0, vitest_1.expect)(sigs.size).toBe(5);
-    });
-});
-(0, vitest_1.describe)('FCA — lattice (Hasse) y orden por inclusión de extents', () => {
-    (0, vitest_1.it)('aristas conectan conceptos con extent estrictamente incluido', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        const H = (0, fca_1.lattice)(cs);
-        for (const [i, j] of H.edges) {
-            const ci = cs[i];
-            const cj = cs[j];
-            // Subconjunto estricto: ci.extent ⊊ cj.extent.
-            (0, vitest_1.expect)(ci.extent.size).toBeLessThan(cj.extent.size);
-            for (const o of ci.extent)
-                (0, vitest_1.expect)(cj.extent.has(o)).toBe(true);
-        }
-    });
-    (0, vitest_1.it)('no hay aristas de cobertura "saltadas" (orden de Hasse mínimo)', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        const H = (0, fca_1.lattice)(cs);
-        // Para cada arista (i, j), no debe existir k distinto con extent_i ⊊ extent_k ⊊ extent_j.
-        for (const [i, j] of H.edges) {
-            const ei = cs[i].extent;
-            const ej = cs[j].extent;
-            for (let k = 0; k < cs.length; k++) {
-                if (k === i || k === j)
-                    continue;
-                const ek = cs[k].extent;
-                const ekStrictGtEi = ek.size > ei.size && [...ei].every((x) => ek.has(x));
-                const ejStrictGtEk = ej.size > ek.size && [...ek].every((x) => ej.has(x));
-                (0, vitest_1.expect)(ekStrictGtEi && ejStrictGtEk).toBe(false);
-            }
-        }
-    });
-    (0, vitest_1.it)('lattice del contexto discreto-3: estrella con 6 aristas de cobertura', () => {
-        // 5 conceptos: bottom (intent=M, extent=∅) — 3 átomos ({g},{Attr_g}) — top (G,∅).
-        // Hasse: bottom cubre los 3 átomos (3 aristas) y los 3 átomos están
-        // cubiertos por top (3 aristas). Total = 6.
-        const K = (0, fca_1.createContext)(['a', 'b', 'c'], ['A', 'B', 'C'], [
-            ['a', 'A'],
-            ['b', 'B'],
-            ['c', 'C'],
-        ]);
-        const cs = (0, fca_1.allConcepts)(K);
-        const H = (0, fca_1.lattice)(cs);
-        (0, vitest_1.expect)(H.edges.length).toBe(6);
-    });
-});
-(0, vitest_1.describe)('FCA — implicaciones de atributos', () => {
-    (0, vitest_1.it)('impliesAll: {has-leaves} → {lives-on-land} es válida en living-beings', () => {
-        // Todos los objetos con has-leaves (reed, bean) viven en tierra.
-        const K = livingBeingsContext();
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('has-leaves'), set('lives-on-land'))).toBe(true);
-    });
-    (0, vitest_1.it)('impliesAll: {lives-in-water} → {has-leaves} es inválida (fish-leech contraejemplo)', () => {
-        const K = livingBeingsContext();
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-in-water'), set('has-leaves'))).toBe(false);
-    });
-    (0, vitest_1.it)('impliesAll: {} → {needs-water} es válida (atributo común a todos)', () => {
-        const K = livingBeingsContext();
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set(), set('needs-water'))).toBe(true);
-    });
-    (0, vitest_1.it)('impliesAll vacua: cualquier premisa → ∅ es válida', () => {
-        const K = livingBeingsContext();
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-on-land'), set())).toBe(true);
-    });
-    (0, vitest_1.it)("caracterización extensional: a → b sii a' ⊆ b'", () => {
-        const K = livingBeingsContext();
-        // a = {lives-on-land}, b = {has-leaves}: ambos tienen extent {reed, bean}.
-        // Luego a' = b' y la implicación va en ambos sentidos.
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('lives-on-land'), set('has-leaves'))).toBe(true);
-        (0, vitest_1.expect)((0, fca_1.impliesAll)(K, set('has-leaves'), set('lives-on-land'))).toBe(true);
-        // Comprobación equivalente con derivativeObjects.
-        const aPrime = (0, fca_1.derivativeObjects)(K, set('lives-on-land'));
-        const bPrime = (0, fca_1.derivativeObjects)(K, set('has-leaves'));
-        (0, vitest_1.expect)(setsEqual(aPrime, bPrime)).toBe(true);
-    });
-});
-(0, vitest_1.describe)('FCA — concept lattice como retículo completo', () => {
-    (0, vitest_1.it)('Top concept tiene extent = G y intent = atributos comunes a todos', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        const top = cs.find((c) => c.extent.size === 4);
-        (0, vitest_1.expect)(setsEqual(top.extent, set('fish-leech', 'bream', 'reed', 'bean'))).toBe(true);
-        // En este contexto: needs-water es el único atributo común.
-        (0, vitest_1.expect)(setsEqual(top.intent, set('needs-water'))).toBe(true);
-    });
-    (0, vitest_1.it)('Bottom concept tiene intent = M; extent = ∅ sólo si ningún objeto los tiene todos', () => {
-        // En living-beings, "reed" posee los 4 atributos → bottom = ({reed}, M).
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        const bottom = cs.find((c) => c.intent.size === 4);
-        (0, vitest_1.expect)(setsEqual(bottom.extent, set('reed'))).toBe(true);
-        (0, vitest_1.expect)(setsEqual(bottom.intent, set('needs-water', 'lives-in-water', 'lives-on-land', 'has-leaves'))).toBe(true);
-        // Contexto adicional donde nadie tiene todos: ahora sí el extent del bottom es ∅.
-        const K2 = (0, fca_1.createContext)(['x', 'y'], ['p', 'q'], [
-            ['x', 'p'],
-            ['y', 'q'],
-        ]);
-        const cs2 = (0, fca_1.allConcepts)(K2);
-        const bot2 = cs2.find((c) => c.intent.size === 2);
-        (0, vitest_1.expect)(bot2.extent.size).toBe(0);
-    });
-    (0, vitest_1.it)('todos los conceptos son cerrados (verificación cruzada con isConcept)', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        for (const c of cs)
-            (0, vitest_1.expect)((0, fca_1.isConcept)(K, c.extent, c.intent)).toBe(true);
-    });
-    (0, vitest_1.it)('un objeto pertenece al extent de un concepto sii su intent ⊇ intent del concepto', () => {
-        const K = livingBeingsContext();
-        const cs = (0, fca_1.allConcepts)(K);
-        for (const c of cs) {
-            for (const g of c.extent) {
-                // Atributos del objeto g: {g}'.
-                const gAttrs = (0, fca_1.derivativeAttributes)(K, set(g));
-                for (const m of c.intent)
-                    (0, vitest_1.expect)(gAttrs.has(m)).toBe(true);
-            }
-        }
-    });
-});
-//# sourceMappingURL=fca.test.js.map

package/dist/tests/fca/fca.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"fca.test.js","sourceRoot":"","sources":["../../../src/tests/fca/fca.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2CAS2B;AAG3B,SAAS,GAAG,CAAI,GAAG,EAAO;IACxB,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;AACrB,CAAC;AAED,SAAS,SAAS,CAAI,CAAS,EAAE,CAAS;IACxC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,SAAS,mBAAmB;IAC1B,OAAO,IAAA,mBAAa,EAClB,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EACvC,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,EAChE;QACE,CAAC,YAAY,EAAE,aAAa,CAAC;QAC7B,CAAC,YAAY,EAAE,gBAAgB,CAAC;QAChC,CAAC,OAAO,EAAE,aAAa,CAAC;QACxB,CAAC,OAAO,EAAE,gBAAgB,CAAC;QAC3B,CAAC,MAAM,EAAE,aAAa,CAAC;QACvB,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC1B,CAAC,MAAM,EAAE,eAAe,CAAC;QACzB,CAAC,MAAM,EAAE,YAAY,CAAC;QACtB,CAAC,MAAM,EAAE,aAAa,CAAC;QACvB,CAAC,MAAM,EAAE,eAAe,CAAC;QACzB,CAAC,MAAM,EAAE,YAAY,CAAC;KACvB,CACF,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAa,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAC5F,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,KAAK,GAAuB;YAChC,GAAG,EAAE;YACL,GAAG,CAAC,aAAa,CAAC;YAClB,GAAG,CAAC,gBAAgB,CAAC;YACrB,GAAG,CAAC,YAAY,CAAC;YACjB,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC;YAClC,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC;SACpE,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,IAAA,eAAM,EAAC,SAAS,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EACJ,IAAA,eAAS,EACP,CAAC,EACD,GAAG,CAAC,MAAM,CAAC,EACX,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CACpE,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,yEAAyE;QACzE,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,iFAAiF;QACjF,wBAAwB;QACxB,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAE1B,8CAA8C;QAC9C,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QAE9C,4CAA4C;QAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC;QAED,yFAAyF;QACzF,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,SAAS,CAAC,GAAI,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE9D,qDAAqD;QACrD,gEAAgE;QAChE,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,SAAS,CAAC,MAAO,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1D,0EAA0E;QAC1E,sDAAsD;QACtD,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,QAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtC,kCAAkC;QAClC,2EAA2E;QAC3E,8DAA8D;QAC9D,yEAAyE;QACzE,8EAA8E;QAC9E,kEAAkE;QAClE,+DAA+D;QAC/D,uEAAuE;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,IAAA,mBAAa,EAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAG,IAAA,mBAAa,EAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,kEAAkE;QAClE,iCAAiC;QACjC,mDAAmD;QACnD,iCAAiC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,0DAA0D;QAC1D,uEAAuE;QACvE,qEAAqE;QACrE,uEAAuE;QACvE,qEAAqE;QACrE,oEAAoE;QACpE,MAAM,CAAC,GAAG,IAAA,mBAAa,EACrB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,kBAAkB;QAClB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wDAAwD,EAAE,GAAG,EAAE;IACtE,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QAEtB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACjB,+CAA+C;YAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM;gBAAE,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QAEtB,0FAA0F;QAC1F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,SAAS;gBACjC,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACxB,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1E,MAAM,YAAY,GAAG,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1E,IAAA,eAAM,EAAC,YAAY,IAAI,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,kFAAkF;QAClF,oEAAoE;QACpE,4CAA4C;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAa,EACrB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,aAAO,EAAC,EAAE,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,iEAAiE;QACjE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,EAAU,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,EAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,2EAA2E;QAC3E,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,gBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1E,kDAAkD;QAClD,MAAM,MAAM,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAG,IAAA,uBAAiB,EAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACjD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrF,4DAA4D;QAC5D,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,yEAAyE;QACzE,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACpD,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EACJ,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,aAAa,EAAE,gBAAgB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC,CAC9F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,kFAAkF;QAClF,MAAM,EAAE,GAAG,IAAA,mBAAa,EACtB,CAAC,GAAG,EAAE,GAAG,CAAC,EACV,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAE,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAoB,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,IAAA,eAAM,EAAC,IAAA,eAAS,EAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,CAAC,GAAG,mBAAmB,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,iBAAW,EAAC,CAAC,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,gCAAgC;gBAChC,MAAM,MAAM,GAAG,IAAA,0BAAoB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/fol-prover/cnf.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"cnf.test.d.ts","sourceRoot":"","sources":["../../../src/tests/fol-prover/cnf.test.ts"],"names":[],"mappings":""}

package/dist/tests/fol-prover/cnf.test.js

@@ -1,74 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const cnf_1 = require("../../fol-prover/cnf");
-function predicate(name, params) {
-    return { kind: 'predicate', name, params, terms: params };
-}
-function forall(v, body) {
-    return { kind: 'forall', variable: v, args: [body] };
-}
-function exists(v, body) {
-    return { kind: 'exists', variable: v, args: [body] };
-}
-function implies(a, b) {
-    return { kind: 'implies', args: [a, b] };
-}
-function and(a, b) {
-    return { kind: 'and', args: [a, b] };
-}
-function or(a, b) {
-    return { kind: 'or', args: [a, b] };
-}
-function not(a) {
-    return { kind: 'not', args: [a] };
-}
-(0, vitest_1.describe)('CNF / Skolemization', () => {
-    (0, vitest_1.it)('skolemizes ∃x. P(x) into P(sk_c0)', () => {
-        const f = exists('x', predicate('P', ['x']));
-        const sk = (0, cnf_1.skolemize)(f);
-        (0, vitest_1.expect)(sk.kind).toBe('predicate');
-        (0, vitest_1.expect)(sk.name).toBe('P');
-        (0, vitest_1.expect)(sk.params?.[0]).toBe('sk_c0');
-    });
-    (0, vitest_1.it)('skolemizes ∀x. ∃y. R(x, y) introducing skolem function', () => {
-        const f = forall('x', exists('y', predicate('R', ['x', 'y'])));
-        const sk = (0, cnf_1.skolemize)(f);
-        const flat = JSON.stringify(sk);
-        (0, vitest_1.expect)(flat).toContain('sk_f');
-    });
-    (0, vitest_1.it)('converts ∀x. P(x) → Q(x) to clauses [¬P(x), Q(x)]', () => {
-        const f = forall('x', implies(predicate('P', ['x']), predicate('Q', ['x'])));
-        const clauses = (0, cnf_1.toCNF)(f);
-        (0, vitest_1.expect)(clauses.length).toBe(1);
-        const c = clauses[0];
-        (0, vitest_1.expect)(c).toBeDefined();
-        if (!c)
-            return;
-        (0, vitest_1.expect)(c.length).toBe(2);
-        const preds = c.map((l) => `${l.negated ? '!' : ''}${l.predicate}`).sort();
-        (0, vitest_1.expect)(preds).toEqual(['!P', 'Q']);
-    });
-    (0, vitest_1.it)('handles conjunction: P ∧ Q → two clauses', () => {
-        const f = and(predicate('P', []), predicate('Q', []));
-        const clauses = (0, cnf_1.toCNF)(f);
-        (0, vitest_1.expect)(clauses.length).toBe(2);
-    });
-    (0, vitest_1.it)('handles disjunction: P ∨ Q → one clause with two literals', () => {
-        const f = or(predicate('P', []), predicate('Q', []));
-        const clauses = (0, cnf_1.toCNF)(f);
-        (0, vitest_1.expect)(clauses.length).toBe(1);
-        (0, vitest_1.expect)(clauses[0]?.length).toBe(2);
-    });
-    (0, vitest_1.it)('pushes negation inward: ¬(P ∧ Q) → ¬P ∨ ¬Q', () => {
-        const f = not(and(predicate('P', []), predicate('Q', [])));
-        const clauses = (0, cnf_1.toCNF)(f);
-        (0, vitest_1.expect)(clauses.length).toBe(1);
-        const c = clauses[0];
-        (0, vitest_1.expect)(c).toBeDefined();
-        if (!c)
-            return;
-        (0, vitest_1.expect)(c.every((l) => l.negated)).toBe(true);
-    });
-});
-//# sourceMappingURL=cnf.test.js.map

package/dist/tests/fol-prover/cnf.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"cnf.test.js","sourceRoot":"","sources":["../../../src/tests/fol-prover/cnf.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,8CAAwD;AAExD,SAAS,SAAS,CAAC,IAAY,EAAE,MAAgB;IAC/C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,IAAa;IACtC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,IAAa;IACtC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,GAAG,IAAA,eAAS,EAAC,CAAC,CAAC,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAA,WAAK,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,IAAA,WAAK,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,IAAA,WAAK,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,IAAA,WAAK,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/fol-prover/prove.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"prove.test.d.ts","sourceRoot":"","sources":["../../../src/tests/fol-prover/prove.test.ts"],"names":[],"mappings":""}

package/dist/tests/fol-prover/prove.test.js

@@ -1,106 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const prove_1 = require("../../fol-prover/prove");
-function predicate(name, params) {
-    return { kind: 'predicate', name, params, terms: params };
-}
-function forall(v, body) {
-    return { kind: 'forall', variable: v, args: [body] };
-}
-function exists(v, body) {
-    return { kind: 'exists', variable: v, args: [body] };
-}
-function implies(a, b) {
-    return { kind: 'implies', args: [a, b] };
-}
-function and(a, b) {
-    return { kind: 'and', args: [a, b] };
-}
-function or(a, b) {
-    return { kind: 'or', args: [a, b] };
-}
-function not(a) {
-    return { kind: 'not', args: [a] };
-}
-(0, vitest_1.describe)('FOL resolution prover', () => {
-    (0, vitest_1.it)('proves tautology ∀x. P(x) → P(x)', () => {
-        const goal = forall('x', implies(predicate('P', ['x']), predicate('P', ['x'])));
-        const r = (0, prove_1.proveFOL)([], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('modus ponens FOL: ∀x. P(x), P(a) → Q(a) ⊢ Q(a)', () => {
-        const p1 = forall('x', predicate('P', ['x']));
-        const p2 = implies(predicate('P', ['a']), predicate('Q', ['a']));
-        const goal = predicate('Q', ['a']);
-        const r = (0, prove_1.proveFOL)([p1, p2], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('does NOT prove P(b) from P(a)', () => {
-        const p1 = predicate('P', ['a']);
-        const goal = predicate('P', ['b']);
-        const r = (0, prove_1.proveFOL)([p1], goal, { timeoutMs: 1000, maxSteps: 200 });
-        (0, vitest_1.expect)(r.proven).toBe(false);
-    });
-    (0, vitest_1.it)('proves universal instantiation: ∀x. P(x) ⊢ P(a)', () => {
-        const p = forall('x', predicate('P', ['x']));
-        const goal = predicate('P', ['a']);
-        const r = (0, prove_1.proveFOL)([p], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('proves chained implication: ∀x. P(x)→Q(x), ∀x. Q(x)→R(x), P(a) ⊢ R(a)', () => {
-        const p1 = forall('x', implies(predicate('P', ['x']), predicate('Q', ['x'])));
-        const p2 = forall('x', implies(predicate('Q', ['x']), predicate('R', ['x'])));
-        const p3 = predicate('P', ['a']);
-        const goal = predicate('R', ['a']);
-        const r = (0, prove_1.proveFOL)([p1, p2, p3], goal, { timeoutMs: 2000, maxSteps: 500 });
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('proves contradiction (P ∧ ¬P): ⊢ Q (ex falso desde premisas)', () => {
-        const p1 = predicate('P', ['a']);
-        const p2 = not(predicate('P', ['a']));
-        const goal = predicate('Q', ['b']);
-        const r = (0, prove_1.proveFOL)([p1, p2], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('proves disjunction conclusion: P(a) ⊢ P(a) ∨ Q(b)', () => {
-        const p1 = predicate('P', ['a']);
-        const goal = or(predicate('P', ['a']), predicate('Q', ['b']));
-        const r = (0, prove_1.proveFOL)([p1], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('proves Socrates-style: ∀x. Human(x) → Mortal(x), Human(socrates) ⊢ Mortal(socrates)', () => {
-        const p1 = forall('x', implies(predicate('Human', ['x']), predicate('Mortal', ['x'])));
-        const p2 = predicate('Human', ['socrates']);
-        const goal = predicate('Mortal', ['socrates']);
-        const r = (0, prove_1.proveFOL)([p1, p2], goal);
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-    (0, vitest_1.it)('does NOT prove unrelated conclusion from premise: Q(b) from P(a)', () => {
-        const p1 = predicate('P', ['a']);
-        const goal = predicate('Q', ['b']);
-        const r = (0, prove_1.proveFOL)([p1], goal, { timeoutMs: 800, maxSteps: 100 });
-        (0, vitest_1.expect)(r.proven).toBe(false);
-    });
-    (0, vitest_1.it)('respects timeout on explosive search', () => {
-        const premises = [];
-        for (let i = 0; i < 6; i++) {
-            premises.push(forall('x', implies(predicate(`P${i}`, ['x']), and(predicate(`P${i}`, ['x']), predicate(`P${i + 1}`, ['x'])))));
-        }
-        premises.push(predicate('P0', ['a']));
-        const goal = predicate('UNREACHABLE', ['a']);
-        const start = Date.now();
-        const r = (0, prove_1.proveFOL)(premises, goal, { timeoutMs: 200, maxSteps: 10000 });
-        const elapsed = Date.now() - start;
-        (0, vitest_1.expect)(r.proven).toBe(false);
-        (0, vitest_1.expect)(elapsed).toBeLessThan(200 + 500);
-    });
-    (0, vitest_1.it)('handles existential premise: ∃x. P(x), ∀x. P(x)→Q(x) ⊢ ∃x. Q(x)', () => {
-        const p1 = exists('x', predicate('P', ['x']));
-        const p2 = forall('x', implies(predicate('P', ['x']), predicate('Q', ['x'])));
-        const goal = exists('x', predicate('Q', ['x']));
-        const r = (0, prove_1.proveFOL)([p1, p2], goal, { timeoutMs: 2000, maxSteps: 500 });
-        (0, vitest_1.expect)(r.proven).toBe(true);
-    });
-});
-//# sourceMappingURL=prove.test.js.map

package/dist/tests/fol-prover/prove.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prove.test.js","sourceRoot":"","sources":["../../../src/tests/fol-prover/prove.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,kDAAkD;AAElD,SAAS,SAAS,CAAC,IAAY,EAAE,MAAgB;IAC/C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,IAAa;IACtC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,IAAa;IACtC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CACX,MAAM,CACJ,GAAG,EACH,OAAO,CACL,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EACzB,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAC9D,CACF,CACF,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,SAAS,CAAC,aAAa,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAA,gBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/fol-prover/unify.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"unify.test.d.ts","sourceRoot":"","sources":["../../../src/tests/fol-prover/unify.test.ts"],"names":[],"mappings":""}

package/dist/tests/fol-prover/unify.test.js

@@ -1,66 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const types_1 = require("../../fol-prover/types");
-const unify_1 = require("../../fol-prover/unify");
-(0, vitest_1.describe)('FOL unification (Robinson)', () => {
-    (0, vitest_1.it)('unifies P(x) with P(a) → { x → a }', () => {
-        const t1 = (0, types_1.mkVar)('x');
-        const t2 = (0, types_1.mkConst)('a');
-        const s = (0, unify_1.unify)(t1, t2);
-        (0, vitest_1.expect)(s).not.toBeNull();
-        if (!s)
-            return;
-        (0, vitest_1.expect)(s.get('x')?.name).toBe('a');
-    });
-    (0, vitest_1.it)('fails to unify P(x, x) with P(a, b)', () => {
-        const t1 = (0, types_1.mkFunc)('P', [(0, types_1.mkVar)('x'), (0, types_1.mkVar)('x')]);
-        const t2 = (0, types_1.mkFunc)('P', [(0, types_1.mkConst)('a'), (0, types_1.mkConst)('b')]);
-        const s = (0, unify_1.unify)(t1, t2);
-        (0, vitest_1.expect)(s).toBeNull();
-    });
-    (0, vitest_1.it)('unifies P(x, f(y)) with P(a, f(b))', () => {
-        const t1 = (0, types_1.mkFunc)('P', [(0, types_1.mkVar)('x'), (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('y')])]);
-        const t2 = (0, types_1.mkFunc)('P', [(0, types_1.mkConst)('a'), (0, types_1.mkFunc)('f', [(0, types_1.mkConst)('b')])]);
-        const s = (0, unify_1.unify)(t1, t2);
-        (0, vitest_1.expect)(s).not.toBeNull();
-        if (!s)
-            return;
-        (0, vitest_1.expect)(s.get('x')?.name).toBe('a');
-        (0, vitest_1.expect)(s.get('y')?.name).toBe('b');
-    });
-    (0, vitest_1.it)('rejects occurs check: x with f(x)', () => {
-        const t1 = (0, types_1.mkVar)('x');
-        const t2 = (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('x')]);
-        const s = (0, unify_1.unify)(t1, t2);
-        (0, vitest_1.expect)(s).toBeNull();
-    });
-    (0, vitest_1.it)('unifies variable to variable transitively', () => {
-        const t1 = (0, types_1.mkVar)('x');
-        const t2 = (0, types_1.mkVar)('y');
-        const s = (0, unify_1.unify)(t1, t2);
-        (0, vitest_1.expect)(s).not.toBeNull();
-        if (!s)
-            return;
-        const after = (0, unify_1.applyTerm)((0, types_1.mkVar)('x'), s);
-        (0, vitest_1.expect)(after.name).toBe('y');
-    });
-    (0, vitest_1.it)('unifies same constants', () => {
-        const s = (0, unify_1.unify)((0, types_1.mkConst)('a'), (0, types_1.mkConst)('a'));
-        (0, vitest_1.expect)(s).not.toBeNull();
-    });
-    (0, vitest_1.it)('fails on different constants', () => {
-        const s = (0, unify_1.unify)((0, types_1.mkConst)('a'), (0, types_1.mkConst)('b'));
-        (0, vitest_1.expect)(s).toBeNull();
-    });
-    (0, vitest_1.it)('applies substitution to nested term', () => {
-        const sub = new Map([['x', (0, types_1.mkConst)('a')]]);
-        const t = (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('x'), (0, types_1.mkFunc)('g', [(0, types_1.mkVar)('x')])]);
-        const out = (0, unify_1.applyTerm)(t, sub);
-        (0, vitest_1.expect)(out.kind).toBe('func');
-        (0, vitest_1.expect)(out.name).toBe('f');
-        (0, vitest_1.expect)(out.args?.[0]?.name).toBe('a');
-        (0, vitest_1.expect)(out.args?.[1]?.args?.[0]?.name).toBe('a');
-    });
-});
-//# sourceMappingURL=unify.test.js.map