@stevenvo780/st-lang 4.3.0 → 4.4.0

package/dist/tests/planning/planning.test.js

@@ -0,0 +1,397 @@
+"use strict";
+// ============================================================
+// ST Planning — Tests (STRIPS / PDDL light)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const planning_1 = require("../../runtime/planning");
+// ──────────────────────────────────────────────────────────────
+// Dominio: Blocks World
+// ──────────────────────────────────────────────────────────────
+//
+// Predicados:
+//   on(?x, ?y)     — bloque x está sobre bloque y
+//   on-table(?x)   — bloque x está sobre la mesa
+//   clear(?x)      — no hay bloque encima de x
+//   holding(?x)    — el brazo robot sostiene x
+//   arm-empty      — el brazo está libre
+//
+// Acciones:
+//   pickup(?x):        clear(?x) ∧ on-table(?x) ∧ arm-empty →
+//                      holding(?x) ∧ ¬on-table(?x) ∧ ¬clear(?x) ∧ ¬arm-empty
+//   putdown(?x):       holding(?x) →
+//                      on-table(?x) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x)
+//   stack(?x, ?y):     holding(?x) ∧ clear(?y) →
+//                      on(?x,?y) ∧ clear(?x) ∧ arm-empty ∧ ¬holding(?x) ∧ ¬clear(?y)
+//   unstack(?x, ?y):   on(?x,?y) ∧ clear(?x) ∧ arm-empty →
+//                      holding(?x) ∧ clear(?y) ∧ ¬on(?x,?y) ∧ ¬clear(?x) ∧ ¬arm-empty
+const blocksWorldActions = [
+    {
+        name: 'pickup',
+        parameters: ['?x'],
+        preconditions: ['clear(?x)', 'on-table(?x)', 'arm-empty'],
+        addList: ['holding(?x)'],
+        delList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
+    },
+    {
+        name: 'putdown',
+        parameters: ['?x'],
+        preconditions: ['holding(?x)'],
+        addList: ['on-table(?x)', 'clear(?x)', 'arm-empty'],
+        delList: ['holding(?x)'],
+    },
+    {
+        name: 'stack',
+        parameters: ['?x', '?y'],
+        preconditions: ['holding(?x)', 'clear(?y)'],
+        addList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
+        delList: ['holding(?x)', 'clear(?y)'],
+    },
+    {
+        name: 'unstack',
+        parameters: ['?x', '?y'],
+        preconditions: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
+        addList: ['holding(?x)', 'clear(?y)'],
+        delList: ['on(?x,?y)', 'clear(?x)', 'arm-empty'],
+    },
+];
+function blocksProblem(initial, goal, blocks = ['a', 'b', 'c']) {
+    return {
+        predicates: ['on', 'on-table', 'clear', 'holding', 'arm-empty'],
+        objects: { block: blocks },
+        actions: blocksWorldActions,
+        initialState: new Set(initial),
+        goal: new Set(goal),
+    };
+}
+// ──────────────────────────────────────────────────────────────
+// 1. substituteVars y ground
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — substituteVars', () => {
+    (0, vitest_1.it)('reemplaza variables ?x por sus valores', () => {
+        (0, vitest_1.expect)((0, planning_1.substituteVars)('on(?x,?y)', { '?x': 'a', '?y': 'b' })).toBe('on(a,b)');
+    });
+    (0, vitest_1.it)('no toca strings sin variables', () => {
+        (0, vitest_1.expect)((0, planning_1.substituteVars)('arm-empty', {})).toBe('arm-empty');
+    });
+    (0, vitest_1.it)('respeta boundaries (no confunde ?x con ?xy)', () => {
+        (0, vitest_1.expect)((0, planning_1.substituteVars)('p(?xy,?x)', { '?x': 'A', '?xy': 'B' })).toBe('p(B,A)');
+    });
+    (0, vitest_1.it)('deja la variable sin tocar si no está en bindings', () => {
+        (0, vitest_1.expect)((0, planning_1.substituteVars)('p(?x)', {})).toBe('p(?x)');
+    });
+});
+(0, vitest_1.describe)('planning — ground', () => {
+    (0, vitest_1.it)('aplica bindings a un schema lifted', () => {
+        const action = {
+            name: 'move',
+            parameters: ['?from', '?to'],
+            preconditions: ['at(?from)'],
+            addList: ['at(?to)'],
+            delList: ['at(?from)'],
+        };
+        const g = (0, planning_1.ground)(action, { '?from': 'a', '?to': 'b' });
+        (0, vitest_1.expect)(g.preconditions.has('at(a)')).toBe(true);
+        (0, vitest_1.expect)(g.addList.has('at(b)')).toBe(true);
+        (0, vitest_1.expect)(g.delList.has('at(a)')).toBe(true);
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 2. applyAction y goalSatisfied
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — applyAction', () => {
+    (0, vitest_1.it)('borra antes de añadir', () => {
+        const state = new Set(['p', 'q']);
+        const next = (0, planning_1.applyAction)(state, {
+            addList: new Set(['r']),
+            delList: new Set(['p']),
+        });
+        (0, vitest_1.expect)(next.has('p')).toBe(false);
+        (0, vitest_1.expect)(next.has('q')).toBe(true);
+        (0, vitest_1.expect)(next.has('r')).toBe(true);
+    });
+    (0, vitest_1.it)('no muta el estado original', () => {
+        const state = new Set(['p']);
+        (0, planning_1.applyAction)(state, { addList: new Set(['q']), delList: new Set() });
+        (0, vitest_1.expect)(state.has('q')).toBe(false);
+        (0, vitest_1.expect)(state.size).toBe(1);
+    });
+    (0, vitest_1.it)('si un hecho está en addList y delList, queda añadido (del primero)', () => {
+        const state = new Set(['p']);
+        const next = (0, planning_1.applyAction)(state, {
+            addList: new Set(['p']),
+            delList: new Set(['p']),
+        });
+        (0, vitest_1.expect)(next.has('p')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('planning — goalSatisfied', () => {
+    (0, vitest_1.it)('goal vacío siempre satisfecho', () => {
+        (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set())).toBe(true);
+    });
+    (0, vitest_1.it)('goal ⊆ state → true', () => {
+        (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p', 'q', 'r']), new Set(['p', 'r']))).toBe(true);
+    });
+    (0, vitest_1.it)('goal ⊄ state → false', () => {
+        (0, vitest_1.expect)((0, planning_1.goalSatisfied)(new Set(['p']), new Set(['p', 'q']))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('planning — preconditionsSatisfied', () => {
+    (0, vitest_1.it)('todas presentes → true', () => {
+        (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a', 'b']), new Set(['a']))).toBe(true);
+    });
+    (0, vitest_1.it)('falta una → false', () => {
+        (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(new Set(['a']), new Set(['a', 'b']))).toBe(false);
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 3. groundAll y hashState
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — groundAll', () => {
+    (0, vitest_1.it)('|params|=1, |objs|=3 → 3 instancias', () => {
+        const a = {
+            name: 'p',
+            parameters: ['?x'],
+            preconditions: [],
+            addList: ['p(?x)'],
+            delList: [],
+        };
+        const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
+        (0, vitest_1.expect)(insts).toHaveLength(3);
+        const bindings = insts.map((i) => i.bindings['?x']).sort();
+        (0, vitest_1.expect)(bindings).toEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('|params|=2, |objs|=3 → 9 instancias (producto cartesiano)', () => {
+        const a = {
+            name: 'p',
+            parameters: ['?x', '?y'],
+            preconditions: [],
+            addList: ['p(?x,?y)'],
+            delList: [],
+        };
+        const insts = (0, planning_1.groundAll)(a, { block: ['a', 'b', 'c'] });
+        (0, vitest_1.expect)(insts).toHaveLength(9);
+    });
+    (0, vitest_1.it)('|params|=0 → 1 instancia ground tal cual', () => {
+        const a = {
+            name: 'noop',
+            parameters: [],
+            preconditions: ['p'],
+            addList: ['q'],
+            delList: [],
+        };
+        const insts = (0, planning_1.groundAll)(a, { block: ['a'] });
+        (0, vitest_1.expect)(insts).toHaveLength(1);
+        const first = insts[0];
+        if (!first)
+            return;
+        (0, vitest_1.expect)(first.grounded.preconditions.has('p')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('planning — hashState determinista', () => {
+    (0, vitest_1.it)('mismo conjunto → mismo hash, orden de inserción irrelevante', () => {
+        const s1 = new Set(['p', 'q', 'r']);
+        const s2 = new Set(['r', 'p', 'q']);
+        (0, vitest_1.expect)((0, planning_1.hashState)(s1)).toBe((0, planning_1.hashState)(s2));
+    });
+    (0, vitest_1.it)('conjuntos distintos → hashes distintos', () => {
+        (0, vitest_1.expect)((0, planning_1.hashState)(new Set(['p']))).not.toBe((0, planning_1.hashState)(new Set(['q'])));
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 4. BFS — Blocks World casos básicos
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — BFS blocks world simple (1 step)', () => {
+    (0, vitest_1.it)('apilar A sobre B desde brazo sosteniendo A: 1 paso (stack)', () => {
+        // Estado: holding(a), on-table(b), clear(b), clear(c), on-table(c)
+        // Goal: on(a,b)
+        const problem = blocksProblem(['holding(a)', 'on-table(b)', 'clear(b)', 'on-table(c)', 'clear(c)'], ['on(a,b)']);
+        const plan = (0, planning_1.bfsPlan)(problem);
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        const p = plan;
+        (0, vitest_1.expect)(p.length).toBe(1);
+        const step0 = p.actions[0];
+        if (!step0)
+            return;
+        (0, vitest_1.expect)(step0.action.name).toBe('stack');
+        (0, vitest_1.expect)(step0.bindings['?x']).toBe('a');
+        (0, vitest_1.expect)(step0.bindings['?y']).toBe('b');
+    });
+});
+(0, vitest_1.describe)('planning — BFS blocks world stack invertida', () => {
+    (0, vitest_1.it)('A sobre B sobre C → C sobre B sobre A (plan multi-step)', () => {
+        // Estado inicial: pila a-b-c (a arriba), c en mesa.
+        // Goal: pila c-b-a (c arriba), a en mesa.
+        const initial = ['on(a,b)', 'on(b,c)', 'on-table(c)', 'clear(a)', 'arm-empty'];
+        const goal = ['on(c,b)', 'on(b,a)', 'on-table(a)'];
+        const problem = blocksProblem(initial, goal);
+        const plan = (0, planning_1.bfsPlan)(problem, { maxDepth: 12 });
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        const p = plan;
+        (0, vitest_1.expect)(p.length).toBeGreaterThan(1);
+        // Validamos ejecutando el plan desde el inicial.
+        let state = new Set(initial);
+        for (const step of p.actions) {
+            const g = (0, planning_1.ground)(step.action, step.bindings);
+            (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
+            state = (0, planning_1.applyAction)(state, g);
+        }
+        (0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('planning — BFS goal ya satisfecho', () => {
+    (0, vitest_1.it)('plan vacío cuando goal ⊆ initialState', () => {
+        const problem = blocksProblem(['on-table(a)', 'clear(a)', 'arm-empty'], ['on-table(a)']);
+        const plan = (0, planning_1.bfsPlan)(problem);
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        (0, vitest_1.expect)(plan.length).toBe(0);
+        (0, vitest_1.expect)(plan.cost).toBe(0);
+    });
+});
+(0, vitest_1.describe)('planning — BFS imposible', () => {
+    (0, vitest_1.it)('null cuando no hay acciones aplicables que lleven al goal', () => {
+        // Sin acciones, goal ≠ initial → null.
+        const problem = {
+            predicates: ['p'],
+            objects: { o: ['a'] },
+            actions: [],
+            initialState: new Set(['p']),
+            goal: new Set(['q']),
+        };
+        const plan = (0, planning_1.bfsPlan)(problem);
+        (0, vitest_1.expect)(plan).toBeNull();
+    });
+    (0, vitest_1.it)('null cuando el goal es inalcanzable (preconditions nunca se cumplen)', () => {
+        const action = {
+            name: 'needs-magic',
+            parameters: [],
+            preconditions: ['magic'], // nunca presente
+            addList: ['goal-fact'],
+            delList: [],
+        };
+        const problem = {
+            predicates: ['magic', 'goal-fact'],
+            objects: {},
+            actions: [action],
+            initialState: new Set(['p']),
+            goal: new Set(['goal-fact']),
+        };
+        (0, vitest_1.expect)((0, planning_1.bfsPlan)(problem)).toBeNull();
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 5. BFS vs A* — mismo plan length
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — BFS vs A* coherencia', () => {
+    (0, vitest_1.it)('mismo length en blocks-world simple', () => {
+        const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
+        const goal = ['on(a,b)'];
+        const problem = blocksProblem(initial, goal);
+        const bfs = (0, planning_1.bfsPlan)(problem);
+        const astar = (0, planning_1.aStarPlan)(problem);
+        (0, vitest_1.expect)(bfs).not.toBeNull();
+        (0, vitest_1.expect)(astar).not.toBeNull();
+        (0, vitest_1.expect)(bfs.length).toBe(astar.length);
+    });
+    (0, vitest_1.it)('mismo length en problema más profundo', () => {
+        const initial = ['on(a,b)', 'on-table(b)', 'clear(a)', 'arm-empty'];
+        const goal = ['on(b,a)'];
+        const problem = blocksProblem(initial, goal, ['a', 'b']);
+        const bfs = (0, planning_1.bfsPlan)(problem, { maxDepth: 10 });
+        const astar = (0, planning_1.aStarPlan)(problem, { maxDepth: 10 });
+        (0, vitest_1.expect)(bfs).not.toBeNull();
+        (0, vitest_1.expect)(astar).not.toBeNull();
+        (0, vitest_1.expect)(bfs.length).toBe(astar.length);
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 6. Heurísticas
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — goalCountHeuristic', () => {
+    (0, vitest_1.it)('cuenta hechos faltantes', () => {
+        (0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a']), new Set(['a', 'b', 'c']))).toBe(2);
+        (0, vitest_1.expect)((0, planning_1.goalCountHeuristic)(new Set(['a', 'b', 'c']), new Set(['a']))).toBe(0);
+    });
+});
+(0, vitest_1.describe)('planning — fastForwardHeuristic', () => {
+    (0, vitest_1.it)('0 cuando goal ya satisfecho', () => {
+        const h = (0, planning_1.fastForwardHeuristic)(new Set(['a', 'b']), new Set(['a']), []);
+        (0, vitest_1.expect)(h).toBe(0);
+    });
+    (0, vitest_1.it)('Infinity cuando no hay forma de alcanzar el goal', () => {
+        // Sin acciones que produzcan 'q'.
+        const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['q']), []);
+        (0, vitest_1.expect)(h).toBe(Infinity);
+    });
+    (0, vitest_1.it)('aproxima la distancia en niveles', () => {
+        // Cadena a → b → c → d. Inicial: {a}. Goal: {d}.
+        const actions = [
+            { name: 'a2b', parameters: [], preconditions: ['a'], addList: ['b'], delList: ['a'] },
+            { name: 'b2c', parameters: [], preconditions: ['b'], addList: ['c'], delList: ['b'] },
+            { name: 'c2d', parameters: [], preconditions: ['c'], addList: ['d'], delList: ['c'] },
+        ];
+        const h = (0, planning_1.fastForwardHeuristic)(new Set(['a']), new Set(['d']), actions);
+        // Sin delete-list: cada nivel añade el siguiente. d aparece en nivel 3.
+        (0, vitest_1.expect)(h).toBe(3);
+    });
+    (0, vitest_1.it)('makeFFHeuristic guía A* a una solución', () => {
+        const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
+        const goal = ['on(a,b)'];
+        const problem = blocksProblem(initial, goal);
+        const heuristic = (0, planning_1.makeFFHeuristic)(problem);
+        const plan = (0, planning_1.aStarPlan)(problem, { heuristic });
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        (0, vitest_1.expect)(plan.length).toBeGreaterThan(0);
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 7. A* con costos variables
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — A* con costFunction', () => {
+    (0, vitest_1.it)('prefiere camino más barato aunque tenga más pasos', () => {
+        // Dominio juguete: del estado {s} al goal {g} por dos caminos:
+        //   - cheap1; cheap2; cheap3 (cada uno cuesta 1, total 3)
+        //   - heavy           (un paso, costo 100)
+        // A* con cost variable debe preferir la cadena de 3 pasos.
+        const actions = [
+            { name: 'cheap1', parameters: [], preconditions: ['s'], addList: ['t1'], delList: ['s'] },
+            { name: 'cheap2', parameters: [], preconditions: ['t1'], addList: ['t2'], delList: ['t1'] },
+            { name: 'cheap3', parameters: [], preconditions: ['t2'], addList: ['g'], delList: ['t2'] },
+            { name: 'heavy', parameters: [], preconditions: ['s'], addList: ['g'], delList: ['s'] },
+        ];
+        const problem = {
+            predicates: ['s', 't1', 't2', 'g'],
+            objects: {},
+            actions,
+            initialState: new Set(['s']),
+            goal: new Set(['g']),
+        };
+        const costFunction = (step) => step.action.name === 'heavy' ? 100 : 1;
+        const plan = (0, planning_1.aStarPlan)(problem, { costFunction });
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        const p = plan;
+        (0, vitest_1.expect)(p.cost).toBe(3);
+        (0, vitest_1.expect)(p.length).toBe(3);
+    });
+});
+// ──────────────────────────────────────────────────────────────
+// 8. Plan ejecutable end-to-end
+// ──────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('planning — plan ejecutable paso a paso', () => {
+    (0, vitest_1.it)('cada acción del plan es aplicable y lleva al goal', () => {
+        const initial = ['on-table(a)', 'clear(a)', 'on-table(b)', 'clear(b)', 'arm-empty'];
+        const goal = ['on(a,b)'];
+        const problem = blocksProblem(initial, goal);
+        const plan = (0, planning_1.aStarPlan)(problem, { heuristic: (0, planning_1.makeFFHeuristic)(problem) });
+        (0, vitest_1.expect)(plan).not.toBeNull();
+        const p = plan;
+        let state = new Set(initial);
+        for (const step of p.actions) {
+            const g = (0, planning_1.ground)(step.action, step.bindings);
+            (0, vitest_1.expect)((0, planning_1.preconditionsSatisfied)(state, g.preconditions)).toBe(true);
+            state = (0, planning_1.applyAction)(state, g);
+        }
+        (0, vitest_1.expect)((0, planning_1.goalSatisfied)(state, new Set(goal))).toBe(true);
+    });
+});
+//# sourceMappingURL=planning.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"planning.test.js","sourceRoot":"","sources":["../../../src/tests/planning/planning.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4CAA4C;AAC5C,+DAA+D;;AAE/D,mCAA8C;AAC9C,qDAiBgC;AAEhC,iEAAiE;AACjE,wBAAwB;AACxB,iEAAiE;AACjE,EAAE;AACF,cAAc;AACd,kDAAkD;AAClD,iDAAiD;AACjD,+CAA+C;AAC/C,+CAA+C;AAC/C,yCAAyC;AACzC,EAAE;AACF,YAAY;AACZ,8DAA8D;AAC9D,6EAA6E;AAC7E,qCAAqC;AACrC,2EAA2E;AAC3E,iDAAiD;AACjD,qFAAqF;AACrF,2DAA2D;AAC3D,sFAAsF;AAEtF,MAAM,kBAAkB,GAAmB;IACzC;QACE,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,WAAW,EAAE,cAAc,EAAE,WAAW,CAAC;QACzD,OAAO,EAAE,CAAC,aAAa,CAAC;QACxB,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;KACpD;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,CAAC;QAClB,aAAa,EAAE,CAAC,aAAa,CAAC;QAC9B,OAAO,EAAE,CAAC,cAAc,EAAE,WAAW,EAAE,WAAW,CAAC;QACnD,OAAO,EAAE,CAAC,aAAa,CAAC;KACzB;IACD;QACE,IAAI,EAAE,OAAO;QACb,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QAC3C,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QAChD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;KACtC;IACD;QACE,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;QACxB,aAAa,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;QACtD,OAAO,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC;QACrC,OAAO,EAAE,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,CAAC;KACjD;CACF,CAAC;AAEF,SAAS,aAAa,CACpB,OAAuB,EACvB,IAAoB,EACpB,SAAmB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IAElC,OAAO;QACL,UAAU,EAAE,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;QAC/D,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE;QAC1B,OAAO,EAAE,kBAAkB;QAC3B,YAAY,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC;QAC9B,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC;KACpB,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC;YAC5B,aAAa,EAAE,CAAC,WAAW,CAAC;YAC5B,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE,CAAC,WAAW,CAAC;SACvB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iCAAiC;AACjC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,IAAA,sBAAW,EAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE;YAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACxB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,2BAA2B;AAC3B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,CAAC;YAClB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,GAAG;YACT,UAAU,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACxB,aAAa,EAAE,EAAE;YACjB,OAAO,EAAE,CAAC,UAAU,CAAC;YACrB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAiB;YACtB,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,GAAG,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,oBAAS,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,sCAAsC;AACtC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,mEAAmE;QACnE,gBAAgB;QAChB,MAAM,OAAO,GAAG,aAAa,CAC3B,CAAC,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,CAAC,EACpE,CAAC,SAAS,CAAC,CACZ,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,oDAAoD;QACpD,0CAA0C;QAC1C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,CAAC,SAAS,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;QACnD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,iDAAiD;QACjD,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,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,OAAO,GAAG,aAAa,CAAC,CAAC,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACzF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAE,IAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,uCAAuC;QACvC,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,CAAC;YACjB,OAAO,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACrB,OAAO,EAAE,EAAE;YACX,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAiB;YAC3B,IAAI,EAAE,aAAa;YACnB,UAAU,EAAE,EAAE;YACd,aAAa,EAAE,CAAC,OAAO,CAAC,EAAE,iBAAiB;YAC3C,OAAO,EAAE,CAAC,WAAW,CAAC;YACtB,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,CAAC,MAAM,CAAC;YACjB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;SAC7B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,mCAAmC;AACnC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpE,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,kBAAO,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAE,GAAY,CAAC,MAAM,CAAC,CAAC,IAAI,CAAE,KAAc,CAAC,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,iBAAiB;AACjB,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,6BAAkB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,kCAAkC;QAClC,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,iDAAiD;QACjD,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACrF,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACtF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,+BAAoB,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACxE,wEAAwE;QACxE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAA,0BAAe,EAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAE,IAAa,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,6BAA6B;AAC7B,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,+DAA+D;QAC/D,0DAA0D;QAC1D,2CAA2C;QAC3C,2DAA2D;QAC3D,MAAM,OAAO,GAAmB;YAC9B,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;YACzF,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC3F,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE;YAC1F,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE;SACxF,CAAC;QACF,MAAM,OAAO,GAAkB;YAC7B,UAAU,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YAClC,OAAO,EAAE,EAAE;YACX,OAAO;YACP,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5B,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;SACrB,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,IAA8B,EAAU,EAAE,CAC9D,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iEAAiE;AACjE,gCAAgC;AAChC,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,OAAO,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QACpF,MAAM,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,oBAAS,EAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAA,0BAAe,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAY,CAAC;QAEvB,IAAI,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,IAAA,eAAM,EAAC,IAAA,iCAAsB,EAAC,KAAK,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClE,KAAK,GAAG,IAAA,sBAAW,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChC,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/refinement-types/refinement-types.test.d.ts

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

package/dist/tests/refinement-types/refinement-types.test.d.ts.map

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

package/dist/tests/refinement-types/refinement-types.test.js

@@ -0,0 +1,174 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const refinement_types_1 = require("../../refinement-types");
+(0, vitest_1.describe)('refinement-types / predicates & solver', () => {
+    (0, vitest_1.it)('checkVC: predicado vacío es trivialmente satisfacible', () => {
+        const res = (0, refinement_types_1.checkVC)([]);
+        (0, vitest_1.expect)(res.satisfiable).toBe(true);
+    });
+    (0, vitest_1.it)('checkVC: encuentra testigo para x > 0 && x < 5', () => {
+        const res = (0, refinement_types_1.checkVC)(['x > 0 && x < 5']);
+        (0, vitest_1.expect)(res.satisfiable).toBe(true);
+        (0, vitest_1.expect)(res.counter).toBeDefined();
+        const x = res.counter['x'];
+        (0, vitest_1.expect)(typeof x).toBe('number');
+        (0, vitest_1.expect)(x).toBeGreaterThan(0);
+        (0, vitest_1.expect)(x).toBeLessThan(5);
+    });
+    (0, vitest_1.it)('checkVC: contradicción x > 5 && x < 0 no es satisfacible', () => {
+        const res = (0, refinement_types_1.checkVC)(['x > 5', 'x < 0']);
+        (0, vitest_1.expect)(res.satisfiable).toBe(false);
+    });
+    (0, vitest_1.it)('implies: x > 5 ⇒ x > 0 (válido)', () => {
+        (0, vitest_1.expect)((0, refinement_types_1.implies)(['x > 5'], 'x > 0')).toBe(true);
+    });
+    (0, vitest_1.it)('implies: x > 0 ⇒ x > 5 (NO válido, hay contraejemplo x=1)', () => {
+        (0, vitest_1.expect)((0, refinement_types_1.implies)(['x > 0'], 'x > 5')).toBe(false);
+    });
+    (0, vitest_1.it)('predicateRenameVar: reemplaza el binding correctamente', () => {
+        const renamed = (0, refinement_types_1.predicateRenameVar)('x > 0 && x < 10', 'x', 'y');
+        // El predicado renombrado debe ser equivalente al original al sustituir y por valores.
+        const ast = (0, refinement_types_1.parsePredicate)(renamed);
+        (0, vitest_1.expect)(JSON.stringify(ast).includes('"x"')).toBe(false);
+        (0, vitest_1.expect)(JSON.stringify(ast).includes('"y"')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('refinement-types / subtipado', () => {
+    (0, vitest_1.it)('{ x | x > 5 } <: { x | x > 0 } (más restrictivo es subtipo)', () => {
+        const t1 = (0, refinement_types_1.refine)('Int', 'x', 'x > 5');
+        const t2 = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(t1, t2)).toBe(true);
+    });
+    (0, vitest_1.it)('{ x | x > 0 } NO es subtipo de { x | x > 5 }', () => {
+        const t1 = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const t2 = (0, refinement_types_1.refine)('Int', 'x', 'x > 5');
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(t1, t2)).toBe(false);
+    });
+    (0, vitest_1.it)('subtipado con bindings distintos (rename)', () => {
+        const t1 = (0, refinement_types_1.refine)('Int', 'a', 'a >= 10');
+        const t2 = (0, refinement_types_1.refine)('Int', 'b', 'b > 0');
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(t1, t2)).toBe(true);
+    });
+    (0, vitest_1.it)('intersección de rangos: { x | x>0 && x<10 } <: { x | x<100 }', () => {
+        const t1 = (0, refinement_types_1.refine)('Int', 'x', 'x > 0 && x < 10');
+        const t2 = (0, refinement_types_1.refine)('Int', 'x', 'x < 100');
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(t1, t2)).toBe(true);
+    });
+    (0, vitest_1.it)('tipos base distintos no son subtipo', () => {
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)((0, refinement_types_1.tInt)(), (0, refinement_types_1.tBool)())).toBe(false);
+    });
+    (0, vitest_1.it)('subtipado de arrow: contravariante en parámetro', () => {
+        // (Int|x>0) -> Int <: (Int|x>5) -> Int  (porque {x>5} <: {x>0})
+        const broader = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const narrower = (0, refinement_types_1.refine)('Int', 'x', 'x > 5');
+        const arrA = {
+            base: { kind: 'arrow', from: broader, to: (0, refinement_types_1.tInt)() },
+            binding: '_f',
+            predicate: 'true',
+        };
+        const arrB = {
+            base: { kind: 'arrow', from: narrower, to: (0, refinement_types_1.tInt)() },
+            binding: '_f',
+            predicate: 'true',
+        };
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(arrA, arrB)).toBe(true);
+        (0, vitest_1.expect)((0, refinement_types_1.isSubtype)(arrB, arrA)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('refinement-types / typeCheck (aplicación)', () => {
+    (0, vitest_1.it)('(λ x : {x:Int | x>0}. x+1) 5 type-checks', () => {
+        const positives = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', positives, (0, refinement_types_1.rBinop)('+', (0, refinement_types_1.rVar)('x'), (0, refinement_types_1.rLit)(1))), (0, refinement_types_1.rLit)(5));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        if (!res.ok) {
+            console.warn('errors:', res.errors);
+        }
+        (0, vitest_1.expect)(res.ok).toBe(true);
+    });
+    (0, vitest_1.it)('(λ x : {x:Int | x>0}. x+1) 0 es RECHAZADO (precondición violada)', () => {
+        const positives = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', positives, (0, refinement_types_1.rBinop)('+', (0, refinement_types_1.rVar)('x'), (0, refinement_types_1.rLit)(1))), (0, refinement_types_1.rLit)(0));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+        (0, vitest_1.expect)(res.errors.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('(λ x : {x:Int | x>0}. x+1) -3 es RECHAZADO', () => {
+        const positives = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', positives, (0, refinement_types_1.rBinop)('+', (0, refinement_types_1.rVar)('x'), (0, refinement_types_1.rLit)(1))), (0, refinement_types_1.rLit)(-3));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+    (0, vitest_1.it)('rango doble: argumento dentro de [1..99] es aceptado', () => {
+        const inRange = (0, refinement_types_1.refine)('Int', 'x', 'x > 0 && x < 100');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', inRange, (0, refinement_types_1.rVar)('x')), (0, refinement_types_1.rLit)(42));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(true);
+    });
+    (0, vitest_1.it)('rango doble: argumento fuera del rango es rechazado', () => {
+        const inRange = (0, refinement_types_1.refine)('Int', 'x', 'x > 0 && x < 100');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', inRange, (0, refinement_types_1.rVar)('x')), (0, refinement_types_1.rLit)(150));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+    (0, vitest_1.it)('let con anotación: valor que satisface el predicado pasa', () => {
+        const term = (0, refinement_types_1.rLet)('y', (0, refinement_types_1.rLit)(10), (0, refinement_types_1.rVar)('y'), (0, refinement_types_1.refine)('Int', 'y', 'y > 0'));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(true);
+    });
+    (0, vitest_1.it)('let con anotación: valor que NO satisface el predicado falla', () => {
+        const term = (0, refinement_types_1.rLet)('y', (0, refinement_types_1.rLit)(-1), (0, refinement_types_1.rVar)('y'), (0, refinement_types_1.refine)('Int', 'y', 'y > 0'));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+    (0, vitest_1.it)('binop suma sintetiza Int', () => {
+        const term = (0, refinement_types_1.rBinop)('+', (0, refinement_types_1.rLit)(2), (0, refinement_types_1.rLit)(3));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(true);
+        (0, vitest_1.expect)(res.type?.base).toBe('Int');
+    });
+    (0, vitest_1.it)('binop comparación sintetiza Bool', () => {
+        const term = (0, refinement_types_1.rBinop)('<', (0, refinement_types_1.rLit)(2), (0, refinement_types_1.rLit)(3));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(true);
+        (0, vitest_1.expect)(res.type?.base).toBe('Bool');
+    });
+    (0, vitest_1.it)('if con condición no booleana es rechazado', () => {
+        const term = { kind: 'if', cond: (0, refinement_types_1.rLit)(1), then: (0, refinement_types_1.rLit)(1), else: (0, refinement_types_1.rLit)(2) };
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+    (0, vitest_1.it)('aplicar algo que no es función falla', () => {
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLit)(1), (0, refinement_types_1.rLit)(2));
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+    (0, vitest_1.it)('variable libre da error', () => {
+        const term = (0, refinement_types_1.rVar)('z');
+        const res = (0, refinement_types_1.typeCheck)(term);
+        (0, vitest_1.expect)(res.ok).toBe(false);
+    });
+});
+(0, vitest_1.describe)('refinement-types / generateVC + utilidades', () => {
+    (0, vitest_1.it)('generateVC devuelve array (puede estar vacío en términos triviales)', () => {
+        const term = (0, refinement_types_1.rLit)(42);
+        (0, vitest_1.expect)(Array.isArray((0, refinement_types_1.generateVC)(term))).toBe(true);
+    });
+    (0, vitest_1.it)('generateVC: aplicación con precondición violada acumula al menos una VC', () => {
+        const positives = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const term = (0, refinement_types_1.rApp)((0, refinement_types_1.rLam)('x', positives, (0, refinement_types_1.rVar)('x')), (0, refinement_types_1.rLit)(-1));
+        const vcs = (0, refinement_types_1.generateVC)(term);
+        (0, vitest_1.expect)(vcs.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('refTypeToString incluye predicado cuando no es trivial', () => {
+        const t = (0, refinement_types_1.refine)('Int', 'x', 'x > 0');
+        const s = (0, refinement_types_1.refTypeToString)(t);
+        (0, vitest_1.expect)(s).toContain('Int');
+        (0, vitest_1.expect)(s).toContain('x > 0');
+    });
+    (0, vitest_1.it)('refTypeToString omite predicado trivial', () => {
+        const t = (0, refinement_types_1.tInt)('x', 'true');
+        (0, vitest_1.expect)((0, refinement_types_1.refTypeToString)(t)).not.toContain('|');
+    });
+});
+//# sourceMappingURL=refinement-types.test.js.map

package/dist/tests/refinement-types/refinement-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refinement-types.test.js","sourceRoot":"","sources":["../../../src/tests/refinement-types/refinement-types.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,6DAkBgC;AAEhC,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,0BAAO,EAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,0BAAO,EAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAW,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,GAAG,GAAG,IAAA,0BAAO,EAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,0BAAO,EAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,0BAAO,EAAC,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAG,IAAA,qCAAkB,EAAC,iBAAiB,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAChE,uFAAuF;QACvF,MAAM,GAAG,GAAG,IAAA,iCAAc,EAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,iBAAiB,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,IAAA,uBAAI,GAAE,EAAE,IAAA,wBAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,gEAAgE;QAChE,MAAM,OAAO,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,IAAA,uBAAI,GAAE,EAAE;YAC3D,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,MAAM;SAClB,CAAC;QACF,MAAM,IAAI,GAAG;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAA,uBAAI,GAAE,EAAE;YAC5D,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,MAAM;SAClB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAS,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,SAAS,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,SAAS,EAAE,IAAA,yBAAM,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;QACD,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,SAAS,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,SAAS,EAAE,IAAA,yBAAM,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,SAAS,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,SAAS,EAAE,IAAA,yBAAM,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,OAAO,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,OAAO,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,OAAO,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,EAAE,CAAC,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACzE,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;QACzE,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,IAAI,GAAG,IAAA,yBAAM,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAA,yBAAM,EAAC,GAAG,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAa,EAAE,IAAI,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,GAAG,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,IAAA,4BAAS,EAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,EAAE,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAA,6BAAU,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,SAAS,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,uBAAI,EAAC,IAAA,uBAAI,EAAC,GAAG,EAAE,SAAS,EAAE,IAAA,uBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,uBAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,IAAA,6BAAU,EAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,yBAAM,EAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,kCAAe,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,uBAAI,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,kCAAe,EAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}