@stevenvo780/st-lang 4.0.1 → 4.2.0

package/dist/tests/default-logic/extensions.test.js

@@ -0,0 +1,323 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * ST Default Logic (Reiter) — Tests de extensiones y entailment
+ * =============================================================
+ * Valida cálculo de extensiones, entailment crédulo/escéptico y
+ * los casos canónicos de la literatura (Tweety, Nixon diamond,
+ * defaults sin prerequisite cumplido, conflictos múltiples).
+ */
+const vitest_1 = require("vitest");
+const default_logic_1 = require("../../profiles/default-logic");
+(0, vitest_1.describe)('default-logic — normalizeLiteral', () => {
+    (0, vitest_1.it)('canoniza literales positivos y negativos', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('  P  ')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('~P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('not P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('NOT P')).toBe('¬P');
+    });
+    (0, vitest_1.it)('cancela dobles negaciones', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬¬P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!!P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬!P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('not not P')).toBe('P');
+    });
+    (0, vitest_1.it)('preserva predicados FOL como literales atómicos', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('flies(tweety)')).toBe('flies(tweety)');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬flies(tweety)')).toBe('¬flies(tweety)');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!penguin(opus)')).toBe('¬penguin(opus)');
+    });
+    (0, vitest_1.it)('lanza error en literal vacío o sin átomo', () => {
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('')).toThrow();
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('   ')).toThrow();
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('¬¬')).toThrow();
+    });
+});
+(0, vitest_1.describe)('default-logic — negate y consistencia', () => {
+    (0, vitest_1.it)('negate alterna polaridad', () => {
+        (0, vitest_1.expect)((0, default_logic_1.negate)('P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.negate)('¬P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.negate)('flies(tweety)')).toBe('¬flies(tweety)');
+    });
+    (0, vitest_1.it)('isConsistent detecta pares L/¬L', () => {
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['P', 'Q']))).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['P', '¬P']))).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['flies(tweety)', '¬flies(tweety)']))).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set())).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — teorías triviales', () => {
+    (0, vitest_1.it)('sin defaults: extensión única = facts', () => {
+        const T = { facts: ['P', 'Q'], defaults: [] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(Array.from(exts[0].formulas).sort()).toEqual(['P', 'Q']);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('sin facts ni defaults: una extensión vacía', () => {
+        const T = { facts: [], defaults: [] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.size).toBe(0);
+    });
+    (0, vitest_1.it)('default con prerequisite no cumplido NO se aplica', () => {
+        const T = {
+            facts: ['Q'], // no incluye P
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['R'], consequent: 'R' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(false);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('default-logic — caso Tweety', () => {
+    const facts = ['bird(tweety)'];
+    const dBirdsFly = {
+        id: 'birds-fly',
+        prerequisite: 'bird(tweety)',
+        justifications: ['flies(tweety)'],
+        consequent: 'flies(tweety)',
+    };
+    (0, vitest_1.it)('Tweety vuela: única extensión con flies(tweety)', () => {
+        const T = { facts, defaults: [dBirdsFly] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('flies(tweety)')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual(['birds-fly']);
+    });
+    (0, vitest_1.it)('Tweety + entailment crédulo y escéptico coinciden con extensión única', () => {
+        const T = { facts, defaults: [dBirdsFly] };
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('flies(tweety)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('flies(tweety)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬flies(tweety)', T)).toBe(false);
+    });
+    (0, vitest_1.it)('Penguin + bird: el default "birds fly" queda bloqueado por inconsistencia', () => {
+        // Pingüino que también es pájaro, pero el hecho ¬flies bloquea el default.
+        const T = {
+            facts: ['bird(opus)', 'penguin(opus)', '¬flies(opus)'],
+            defaults: [
+                {
+                    id: 'birds-fly',
+                    prerequisite: 'bird(opus)',
+                    justifications: ['flies(opus)'],
+                    consequent: 'flies(opus)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('flies(opus)')).toBe(false);
+        (0, vitest_1.expect)(exts[0].formulas.has('¬flies(opus)')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('Penguin con defaults compitiendo: prioridad por prerequisite más específico se elige por aplicabilidad', () => {
+        // Dos defaults en conflicto, sin penguin como hecho duro.
+        // En Reiter "puro" (sin priorización) ambos defaults son aplicables
+        // pero mutuamente excluyentes → dos extensiones.
+        const T = {
+            facts: ['bird(opus)', 'penguin(opus)'],
+            defaults: [
+                {
+                    id: 'birds-fly',
+                    prerequisite: 'bird(opus)',
+                    justifications: ['flies(opus)'],
+                    consequent: 'flies(opus)',
+                },
+                {
+                    id: 'penguins-dont-fly',
+                    prerequisite: 'penguin(opus)',
+                    justifications: ['¬flies(opus)'],
+                    consequent: '¬flies(opus)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(2);
+        const fliesExt = exts.find((e) => e.formulas.has('flies(opus)'));
+        const noFliesExt = exts.find((e) => e.formulas.has('¬flies(opus)'));
+        (0, vitest_1.expect)(fliesExt).toBeDefined();
+        (0, vitest_1.expect)(noFliesExt).toBeDefined();
+        // Entailment: crédulo ambos, escéptico ninguno
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('flies(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬flies(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('flies(opus)', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('¬flies(opus)', T)).toBe(false);
+        // bird(opus) y penguin(opus) sí son escépticos
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('bird(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('penguin(opus)', T)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — Nixon diamond', () => {
+    (0, vitest_1.it)('Nixon: republicano (no pacifista) vs cuáquero (pacifista) → 2 extensiones', () => {
+        // Caso canónico de Reiter: Nixon es republicano y cuáquero.
+        // Republicanos típicamente NO son pacifistas; cuáqueros típicamente SÍ.
+        const T = {
+            facts: ['republican(nixon)', 'quaker(nixon)'],
+            defaults: [
+                {
+                    id: 'rep-not-pacifist',
+                    prerequisite: 'republican(nixon)',
+                    justifications: ['¬pacifist(nixon)'],
+                    consequent: '¬pacifist(nixon)',
+                },
+                {
+                    id: 'quaker-pacifist',
+                    prerequisite: 'quaker(nixon)',
+                    justifications: ['pacifist(nixon)'],
+                    consequent: 'pacifist(nixon)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(2);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('pacifist(nixon)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬pacifist(nixon)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('pacifist(nixon)', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('¬pacifist(nixon)', T)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('default-logic — cadenas y dependencias', () => {
+    (0, vitest_1.it)('cadena de defaults: P → Q → R', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' },
+                { id: 'd2', prerequisite: 'Q', justifications: ['R'], consequent: 'R' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('Q')).toBe(true);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults.sort()).toEqual(['d1', 'd2']);
+    });
+    (0, vitest_1.it)('justificación inconsistente con facts bloquea default', () => {
+        const T = {
+            facts: ['P', '¬Q'],
+            defaults: [
+                // β=Q, pero ¬Q ∈ facts → no consistente
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'R' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(false);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('defaults independientes que no compiten: ambos aplican en una sola extensión', () => {
+        const T = {
+            facts: ['A', 'B'],
+            defaults: [
+                { id: 'd1', prerequisite: 'A', justifications: ['X'], consequent: 'X' },
+                { id: 'd2', prerequisite: 'B', justifications: ['Y'], consequent: 'Y' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('X')).toBe(true);
+        (0, vitest_1.expect)(exts[0].formulas.has('Y')).toBe(true);
+    });
+    (0, vitest_1.it)('default con consequent que rompería consistencia con facts: 0 extensiones (teoría incoherente en Reiter)', () => {
+        // Caso conocido de Reiter: la justificación X es consistente con cualquier
+        // candidato E, así que el operador Γ_T fuerza R en E. Pero R contradice
+        // ¬R ∈ facts, así que ningún E puede ser punto fijo. Resultado correcto:
+        // 0 extensiones (la teoría no tiene extensiones).
+        const T = {
+            facts: ['P', '¬R'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['X'], consequent: 'R' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(0);
+        // Entailment escéptico/crédulo sobre teoría sin extensiones: false
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('R', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('R', T)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('default-logic — múltiples justificaciones', () => {
+    (0, vitest_1.it)('default aplica solo si TODAS las justificaciones son consistentes', () => {
+        const T = {
+            facts: ['P', '¬B'],
+            defaults: [
+                // Necesita A y B consistentes; ¬B ∈ facts → bloqueado
+                { id: 'd1', prerequisite: 'P', justifications: ['A', 'B'], consequent: 'C' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('C')).toBe(false);
+    });
+    (0, vitest_1.it)('todas las justificaciones consistentes → consequent se añade', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['A', 'B'], consequent: 'C' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('C')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — isInExtension y validaciones', () => {
+    (0, vitest_1.it)('isInExtension acepta formas no-canónicas de literal', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' }],
+        };
+        const ext = (0, default_logic_1.computeExtensions)(T)[0];
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('Q', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)(' Q ', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('¬¬Q', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('¬Q', ext)).toBe(false);
+    });
+    (0, vitest_1.it)('facts inconsistentes lanzan error', () => {
+        const T = { facts: ['P', '¬P'], defaults: [] };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T)).toThrow(/inconsistentes/i);
+    });
+    (0, vitest_1.it)('IDs de defaults duplicados lanzan error', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' },
+                { id: 'd1', prerequisite: 'P', justifications: ['R'], consequent: 'R' },
+            ],
+        };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T)).toThrow(/duplicado/i);
+    });
+});
+(0, vitest_1.describe)('default-logic — opciones', () => {
+    (0, vitest_1.it)('respeta maxExtensions', () => {
+        // Tres pares independientes → 2^3 = 8 extensiones potenciales
+        const T = {
+            facts: ['A', 'B', 'C'],
+            defaults: [
+                { id: 'pa', prerequisite: 'A', justifications: ['Pa'], consequent: 'Pa' },
+                { id: 'na', prerequisite: 'A', justifications: ['¬Pa'], consequent: '¬Pa' },
+                { id: 'pb', prerequisite: 'B', justifications: ['Pb'], consequent: 'Pb' },
+                { id: 'nb', prerequisite: 'B', justifications: ['¬Pb'], consequent: '¬Pb' },
+                { id: 'pc', prerequisite: 'C', justifications: ['Pc'], consequent: 'Pc' },
+                { id: 'nc', prerequisite: 'C', justifications: ['¬Pc'], consequent: '¬Pc' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T, { maxExtensions: 4 });
+        (0, vitest_1.expect)(exts.length).toBeLessThanOrEqual(4);
+        (0, vitest_1.expect)(exts.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('rechaza teorías con más defaults que maxDefaults', () => {
+        const defaults = Array.from({ length: 10 }, (_, i) => ({
+            id: `d${i}`,
+            prerequisite: 'P',
+            justifications: [`Q${i}`],
+            consequent: `Q${i}`,
+        }));
+        const T = { facts: ['P'], defaults };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T, { maxDefaults: 5 })).toThrow(/excede el límite/);
+        // Con maxDefaults amplio funciona
+        const exts = (0, default_logic_1.computeExtensions)(T, { maxDefaults: 20 });
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toHaveLength(10);
+    });
+});
+//# sourceMappingURL=extensions.test.js.map

package/dist/tests/default-logic/extensions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extensions.test.js","sourceRoot":"","sources":["../../../src/tests/default-logic/extensions.test.ts"],"names":[],"mappings":";;AAAA;;;;;;GAMG;AACH,mCAA8C;AAC9C,gEAQsC;AAGtC,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,eAAe;YAC7B,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,KAAK,GAAG,CAAC,cAAc,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG;QAChB,EAAE,EAAE,WAAW;QACf,YAAY,EAAE,cAAc;QAC5B,cAAc,EAAE,CAAC,eAAe,CAAC;QACjC,UAAU,EAAE,eAAe;KAC5B,CAAC;IAEF,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,2EAA2E;QAC3E,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,CAAC;YACtD,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,WAAW;oBACf,YAAY,EAAE,YAAY;oBAC1B,cAAc,EAAE,CAAC,aAAa,CAAC;oBAC/B,UAAU,EAAE,aAAa;iBAC1B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wGAAwG,EAAE,GAAG,EAAE;QAChH,0DAA0D;QAC1D,oEAAoE;QACpE,iDAAiD;QACjD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,YAAY,EAAE,eAAe,CAAC;YACtC,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,WAAW;oBACf,YAAY,EAAE,YAAY;oBAC1B,cAAc,EAAE,CAAC,aAAa,CAAC;oBAC/B,UAAU,EAAE,aAAa;iBAC1B;gBACD;oBACE,EAAE,EAAE,mBAAmB;oBACvB,YAAY,EAAE,eAAe;oBAC7B,cAAc,EAAE,CAAC,cAAc,CAAC;oBAChC,UAAU,EAAE,cAAc;iBAC3B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,4DAA4D;QAC5D,wEAAwE;QACxE,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,mBAAmB,EAAE,eAAe,CAAC;YAC7C,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,kBAAkB;oBACtB,YAAY,EAAE,mBAAmB;oBACjC,cAAc,EAAE,CAAC,kBAAkB,CAAC;oBACpC,UAAU,EAAE,kBAAkB;iBAC/B;gBACD;oBACE,EAAE,EAAE,iBAAiB;oBACrB,YAAY,EAAE,eAAe;oBAC7B,cAAc,EAAE,CAAC,iBAAiB,CAAC;oBACnC,UAAU,EAAE,iBAAiB;iBAC9B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE;gBACR,wCAAwC;gBACxC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACjB,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0GAA0G,EAAE,GAAG,EAAE;QAClH,2EAA2E;QAC3E,wEAAwE;QACxE,yEAAyE;QACzE,kDAAkD;QAClD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,mEAAmE;QACnE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE;gBACR,sDAAsD;gBACtD,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aAC7E;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACzF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,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,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,8DAA8D;QAC9D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACtB,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAC3E,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAC3E,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;aAC5E;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,YAAY,EAAE,GAAG;YACjB,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,UAAU,EAAE,IAAI,CAAC,EAAE;SACpB,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACnF,kCAAkC;QAClC,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/description-logic/alc.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=alc.test.d.ts.map

package/dist/tests/description-logic/alc.test.d.ts.map

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

package/dist/tests/description-logic/alc.test.js

@@ -0,0 +1,253 @@
+"use strict";
+// ============================================================
+// ST Description Logic — Tests del perfil ALC
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const description_logic_1 = require("../../profiles/description-logic");
+(0, vitest_1.describe)('ALC — NNF', () => {
+    (0, vitest_1.it)('empuja ¬ al interior y elimina ⊤/⊥ bajo ¬', () => {
+        const c = (0, description_logic_1.not)((0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.or)((0, description_logic_1.atomic)('B'), (0, description_logic_1.atomic)('C'))));
+        const n = (0, description_logic_1.toNNF)(c);
+        // ¬(A ⊓ (B ⊔ C)) = ¬A ⊔ (¬B ⊓ ¬C)
+        (0, vitest_1.expect)((0, description_logic_1.conceptEqual)(n, (0, description_logic_1.or)((0, description_logic_1.not)((0, description_logic_1.atomic)('A')), (0, description_logic_1.and)((0, description_logic_1.not)((0, description_logic_1.atomic)('B')), (0, description_logic_1.not)((0, description_logic_1.atomic)('C')))))).toBe(true);
+    });
+    (0, vitest_1.it)('¬⊤ = ⊥ y ¬⊥ = ⊤', () => {
+        (0, vitest_1.expect)((0, description_logic_1.conceptEqual)((0, description_logic_1.toNNF)((0, description_logic_1.not)(description_logic_1.TOP)), description_logic_1.BOTTOM)).toBe(true);
+        (0, vitest_1.expect)((0, description_logic_1.conceptEqual)((0, description_logic_1.toNNF)((0, description_logic_1.not)(description_logic_1.BOTTOM)), description_logic_1.TOP)).toBe(true);
+    });
+    (0, vitest_1.it)('¬∃R.C = ∀R.¬C y viceversa', () => {
+        const c = (0, description_logic_1.atomic)('C');
+        (0, vitest_1.expect)((0, description_logic_1.conceptEqual)((0, description_logic_1.toNNF)((0, description_logic_1.not)((0, description_logic_1.exists)('R', c))), (0, description_logic_1.forall)('R', (0, description_logic_1.not)(c)))).toBe(true);
+        (0, vitest_1.expect)((0, description_logic_1.conceptEqual)((0, description_logic_1.toNNF)((0, description_logic_1.not)((0, description_logic_1.forall)('R', c))), (0, description_logic_1.exists)('R', (0, description_logic_1.not)(c)))).toBe(true);
+    });
+    (0, vitest_1.it)('conceptToString rinde notación legible', () => {
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)(description_logic_1.TOP)).toBe('⊤');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)(description_logic_1.BOTTOM)).toBe('⊥');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.atomic)('Dog'))).toBe('Dog');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.not)((0, description_logic_1.atomic)('A')))).toBe('¬A');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.exists)('hasChild', (0, description_logic_1.atomic)('Person')))).toBe('∃hasChild.Person');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')))).toBe('∀R.A');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B')))).toBe('(A ⊓ B)');
+        (0, vitest_1.expect)((0, description_logic_1.conceptToString)((0, description_logic_1.or)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B')))).toBe('(A ⊔ B)');
+    });
+    (0, vitest_1.it)('conceptHash es estable y conmutativo en and/or', () => {
+        const a = (0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'));
+        const b = (0, description_logic_1.and)((0, description_logic_1.atomic)('B'), (0, description_logic_1.atomic)('A'));
+        (0, vitest_1.expect)((0, description_logic_1.conceptHash)(a)).toBe((0, description_logic_1.conceptHash)(b));
+    });
+});
+(0, vitest_1.describe)('ALC — Satisfiability básica', () => {
+    (0, vitest_1.it)('⊤ es satisfacible', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(description_logic_1.TOP)).toBe(true);
+    });
+    (0, vitest_1.it)('⊥ NO es satisfacible', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(description_logic_1.BOTTOM)).toBe(false);
+    });
+    (0, vitest_1.it)('A ⊓ ¬A es insatisfacible', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))))).toBe(false);
+    });
+    (0, vitest_1.it)('A ⊔ ¬A es satisfacible (TND clásico)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.or)((0, description_logic_1.atomic)('A'), (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))))).toBe(true);
+    });
+    (0, vitest_1.it)('A atómico solo es satisfacible', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.atomic)('A'))).toBe(true);
+    });
+    (0, vitest_1.it)('∃R.A es satisfacible con KB vacío', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.exists)('R', (0, description_logic_1.atomic)('A')))).toBe(true);
+    });
+    (0, vitest_1.it)('∀R.A es satisfacible (trivial: sin sucesores)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Interacción ∃/∀', () => {
+    (0, vitest_1.it)('∃R.A ⊓ ∀R.¬A es INSATISFACIBLE', () => {
+        const c = (0, description_logic_1.and)((0, description_logic_1.exists)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.forall)('R', (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))));
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(c)).toBe(false);
+    });
+    (0, vitest_1.it)('∃R.A ⊓ ∀R.A es satisfacible', () => {
+        const c = (0, description_logic_1.and)((0, description_logic_1.exists)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')));
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(c)).toBe(true);
+    });
+    (0, vitest_1.it)('∃R.(A ⊓ ¬A) es INSATISFACIBLE', () => {
+        const c = (0, description_logic_1.exists)('R', (0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))));
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(c)).toBe(false);
+    });
+    (0, vitest_1.it)('∀R.⊥ ⊓ ∃R.⊤ es INSATISFACIBLE (existe sucesor que debe ser ⊥)', () => {
+        const c = (0, description_logic_1.and)((0, description_logic_1.forall)('R', description_logic_1.BOTTOM), (0, description_logic_1.exists)('R', description_logic_1.TOP));
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(c)).toBe(false);
+    });
+    (0, vitest_1.it)('∃R.∃S.A es satisfacible (cadena de roles)', () => {
+        const c = (0, description_logic_1.exists)('R', (0, description_logic_1.exists)('S', (0, description_logic_1.atomic)('A')));
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)(c)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Subsumption', () => {
+    (0, vitest_1.it)('A ⊓ B ⊑ A', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B')), (0, description_logic_1.atomic)('A'))).toBe(true);
+    });
+    (0, vitest_1.it)('A ⊑ A ⊔ B', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('A'), (0, description_logic_1.or)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B')))).toBe(true);
+    });
+    (0, vitest_1.it)('A NO subsume a B sin KB', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))).toBe(false);
+    });
+    (0, vitest_1.it)('∃R.A ⊑ ∃R.(A ⊔ B)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.exists)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.exists)('R', (0, description_logic_1.or)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))))).toBe(true);
+    });
+    (0, vitest_1.it)('∀R.A ⊓ ∀R.B ⊑ ∀R.(A ⊓ B)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.and)((0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('B'))), (0, description_logic_1.forall)('R', (0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))))).toBe(true);
+    });
+    (0, vitest_1.it)('⊥ ⊑ C para todo C', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)(description_logic_1.BOTTOM, (0, description_logic_1.atomic)('A'))).toBe(true);
+    });
+    (0, vitest_1.it)('C ⊑ ⊤ para todo C', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('A'), description_logic_1.TOP)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Subsumption con TBox', () => {
+    const kb = {
+        tbox: [(0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Dog'), (0, description_logic_1.atomic)('Mammal')), (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Mammal'), (0, description_logic_1.atomic)('Animal'))],
+        abox: [],
+    };
+    (0, vitest_1.it)('Dog ⊑ Animal (transitividad de subsumption)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('Dog'), (0, description_logic_1.atomic)('Animal'), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('Dog ⊑ Mammal', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('Dog'), (0, description_logic_1.atomic)('Mammal'), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('Animal NO ⊑ Dog (sin información)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('Animal'), (0, description_logic_1.atomic)('Dog'), kb)).toBe(false);
+    });
+    (0, vitest_1.it)('equivalencia C ≡ D implica subsumption en ambas direcciones', () => {
+        const kb2 = {
+            tbox: [(0, description_logic_1.equivalent)((0, description_logic_1.atomic)('Bachelor'), (0, description_logic_1.and)((0, description_logic_1.atomic)('Unmarried'), (0, description_logic_1.atomic)('Man')))],
+            abox: [],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.atomic)('Bachelor'), (0, description_logic_1.atomic)('Man'), kb2)).toBe(true);
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.and)((0, description_logic_1.atomic)('Unmarried'), (0, description_logic_1.atomic)('Man')), (0, description_logic_1.atomic)('Bachelor'), kb2)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Instance checking', () => {
+    (0, vitest_1.it)('ABox {a:A, R(a,b), b:¬A}, ¿a : ∃R.¬A?  → true', () => {
+        const kb = {
+            tbox: [],
+            abox: [
+                (0, description_logic_1.instance)('a', (0, description_logic_1.atomic)('A')),
+                (0, description_logic_1.roleInstance)('a', 'R', 'b'),
+                (0, description_logic_1.instance)('b', (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))),
+            ],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isInstance)('a', (0, description_logic_1.exists)('R', (0, description_logic_1.not)((0, description_logic_1.atomic)('A'))), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('ABox {a:A}, a NO es instancia de B', () => {
+        const kb = {
+            tbox: [],
+            abox: [(0, description_logic_1.instance)('a', (0, description_logic_1.atomic)('A'))],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isInstance)('a', (0, description_logic_1.atomic)('B'), kb)).toBe(false);
+    });
+    (0, vitest_1.it)('TBox {A ⊑ B} + ABox {a:A} ⊨ a:B', () => {
+        const kb = {
+            tbox: [(0, description_logic_1.subsumes)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))],
+            abox: [(0, description_logic_1.instance)('a', (0, description_logic_1.atomic)('A'))],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isInstance)('a', (0, description_logic_1.atomic)('B'), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('inconsistencia: {a:A, a:¬A} hace que a sea instancia de cualquier cosa', () => {
+        const kb = {
+            tbox: [],
+            abox: [(0, description_logic_1.instance)('a', (0, description_logic_1.atomic)('A')), (0, description_logic_1.instance)('a', (0, description_logic_1.not)((0, description_logic_1.atomic)('A')))],
+        };
+        // KB inconsistente ⇒ todo se sigue (ex falso quodlibet)
+        (0, vitest_1.expect)((0, description_logic_1.isInstance)('a', (0, description_logic_1.atomic)('Z'), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('∀R.A propaga: {R(a,b), a:∀R.A} ⊨ b:A', () => {
+        const kb = {
+            tbox: [],
+            abox: [(0, description_logic_1.roleInstance)('a', 'R', 'b'), (0, description_logic_1.instance)('a', (0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')))],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isInstance)('b', (0, description_logic_1.atomic)('A'), kb)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Classify (taxonomía)', () => {
+    (0, vitest_1.it)('jerarquía simple Dog ⊑ Mammal ⊑ Animal', () => {
+        const kb = {
+            tbox: [
+                (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Dog'), (0, description_logic_1.atomic)('Mammal')),
+                (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Mammal'), (0, description_logic_1.atomic)('Animal')),
+            ],
+            abox: [],
+        };
+        const tax = (0, description_logic_1.classify)(kb);
+        // Dog está subsumido por Dog, Mammal, Animal, ⊤
+        (0, vitest_1.expect)(tax.get('Dog').has('Mammal')).toBe(true);
+        (0, vitest_1.expect)(tax.get('Dog').has('Animal')).toBe(true);
+        (0, vitest_1.expect)(tax.get('Dog').has('⊤')).toBe(true);
+        // Mammal por sí mismo + Animal + ⊤ (no Dog)
+        (0, vitest_1.expect)(tax.get('Mammal').has('Animal')).toBe(true);
+        (0, vitest_1.expect)(tax.get('Mammal').has('Dog')).toBe(false);
+        // Animal por sí mismo + ⊤
+        (0, vitest_1.expect)(tax.get('Animal').has('Dog')).toBe(false);
+        (0, vitest_1.expect)(tax.get('Animal').has('Mammal')).toBe(false);
+        (0, vitest_1.expect)(tax.get('Animal').has('⊤')).toBe(true);
+    });
+    (0, vitest_1.it)('concepto insatisfacible aparece como subsumido por TODO', () => {
+        const kb = {
+            tbox: [
+                (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Round'), (0, description_logic_1.not)((0, description_logic_1.atomic)('Square'))),
+                (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('RoundSquare'), (0, description_logic_1.and)((0, description_logic_1.atomic)('Round'), (0, description_logic_1.atomic)('Square'))),
+            ],
+            abox: [],
+        };
+        const tax = (0, description_logic_1.classify)(kb);
+        // RoundSquare es insatisfacible → subsumido por todo, incluso conceptos no-relacionados
+        const rs = tax.get('RoundSquare');
+        (0, vitest_1.expect)(rs.has('Round')).toBe(true);
+        (0, vitest_1.expect)(rs.has('Square')).toBe(true);
+        (0, vitest_1.expect)(rs.has('⊥')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — emptyKB helper', () => {
+    (0, vitest_1.it)('emptyKB devuelve una KB vacía utilizable', () => {
+        const kb = (0, description_logic_1.emptyKB)();
+        (0, vitest_1.expect)(kb.tbox).toEqual([]);
+        (0, vitest_1.expect)(kb.abox).toEqual([]);
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.atomic)('A'), kb)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('ALC — Terminación con TBox cíclico (blocking)', () => {
+    (0, vitest_1.it)('TBox cíclico Person ≡ ∃hasParent.Person no diverge y A:Person es satisfacible', () => {
+        const kb = {
+            tbox: [(0, description_logic_1.equivalent)((0, description_logic_1.atomic)('Person'), (0, description_logic_1.exists)('hasParent', (0, description_logic_1.atomic)('Person')))],
+            abox: [],
+        };
+        // No debe colgarse — el blocking garantiza terminación.
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.atomic)('Person'), kb)).toBe(true);
+    });
+    (0, vitest_1.it)('TBox cíclico contradictorio Person ⊑ ∃hasFoo.Person ⊓ ∀hasFoo.⊥ es insatisfacible', () => {
+        const kb = {
+            tbox: [
+                (0, description_logic_1.subsumes)((0, description_logic_1.atomic)('Person'), (0, description_logic_1.and)((0, description_logic_1.exists)('hasFoo', (0, description_logic_1.atomic)('Person')), (0, description_logic_1.forall)('hasFoo', description_logic_1.BOTTOM))),
+            ],
+            abox: [],
+        };
+        (0, vitest_1.expect)((0, description_logic_1.isSatisfiable)((0, description_logic_1.atomic)('Person'), kb)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('ALC — Casos clásicos OWL/DL', () => {
+    (0, vitest_1.it)('regla de De Morgan a nivel de concepto', () => {
+        // ¬(A ⊓ B) ≡ ¬A ⊔ ¬B
+        const lhs = (0, description_logic_1.not)((0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B')));
+        const rhs = (0, description_logic_1.or)((0, description_logic_1.not)((0, description_logic_1.atomic)('A')), (0, description_logic_1.not)((0, description_logic_1.atomic)('B')));
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)(lhs, rhs)).toBe(true);
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)(rhs, lhs)).toBe(true);
+    });
+    (0, vitest_1.it)('axioma K modal: ∀R.(A ⊓ B) ⊑ ∀R.A ⊓ ∀R.B', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.forall)('R', (0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))), (0, description_logic_1.and)((0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('B'))))).toBe(true);
+    });
+    (0, vitest_1.it)('∃R.A ⊓ ∀R.B ⊑ ∃R.(A ⊓ B)', () => {
+        (0, vitest_1.expect)((0, description_logic_1.isSubsumed)((0, description_logic_1.and)((0, description_logic_1.exists)('R', (0, description_logic_1.atomic)('A')), (0, description_logic_1.forall)('R', (0, description_logic_1.atomic)('B'))), (0, description_logic_1.exists)('R', (0, description_logic_1.and)((0, description_logic_1.atomic)('A'), (0, description_logic_1.atomic)('B'))))).toBe(true);
+    });
+});
+//# sourceMappingURL=alc.test.js.map