@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/tests/markov-logic/markov-logic.test.js

@@ -0,0 +1,349 @@
+"use strict";
+// ============================================================
+// Markov Logic Networks — Tests
+// ============================================================
+//
+// La teoría canónica es la "smoking network" de Richardson & Domingos:
+//
+//   Smokes(x) → Cancer(x)                    w = 1.5
+//   Friends(x, y) ∧ Smokes(x) → Smokes(y)    w = 1.1
+//   Smokes(x)                                w = 0.5   (prior)
+//
+// con un universo de 3 personas (Anna, Bob, Carl). Esa teoría aparece
+// en varios tests con distintos hyperparámetros.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const markov_logic_1 = require("../../runtime/markov-logic");
+// ── Fixtures ─────────────────────────────────────────────────
+const smoking3 = {
+    predicates: [
+        { name: 'Smokes', types: ['Person'] },
+        { name: 'Cancer', types: ['Person'] },
+        { name: 'Friends', types: ['Person', 'Person'] },
+    ],
+    constants: { Person: ['Anna', 'Bob', 'Carl'] },
+    formulas: [
+        { formula: 'Smokes(x) → Cancer(x)', weight: 1.5 },
+        { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 },
+        { formula: 'Smokes(x)', weight: 0.5 },
+    ],
+};
+const smokingSmall = {
+    predicates: [
+        { name: 'Smokes', types: ['Person'] },
+        { name: 'Friends', types: ['Person', 'Person'] },
+    ],
+    constants: { Person: ['Anna', 'Bob'] },
+    formulas: [
+        { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.5 },
+        { formula: 'Smokes(x)', weight: 0.5 },
+    ],
+};
+// PRNG determinista (mulberry32) para tests reproducibles.
+function makeRng(seed) {
+    let s = seed >>> 0;
+    return () => {
+        s = (s + 0x6d2b79f5) >>> 0;
+        let t = s;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+// ── parseFOL ─────────────────────────────────────────────────
+(0, vitest_1.describe)('parseFOL', () => {
+    (0, vitest_1.it)('parsea un átomo simple', () => {
+        const ast = (0, markov_logic_1.parseFOL)('Smokes(x)');
+        (0, vitest_1.expect)(ast).toEqual({ kind: 'atom', predicate: 'Smokes', args: ['x'] });
+    });
+    (0, vitest_1.it)('reconoce variables libres', () => {
+        const ast = (0, markov_logic_1.parseFOL)('Friends(x, y) ∧ Smokes(x) → Smokes(y)');
+        (0, vitest_1.expect)((0, markov_logic_1.freeVariables)(ast)).toEqual(['x', 'y']);
+    });
+    (0, vitest_1.it)('acepta sintaxis ASCII alternativa (&, |, ->, !)', () => {
+        const a = (0, markov_logic_1.parseFOL)('Smokes(x) -> Cancer(x)');
+        const b = (0, markov_logic_1.parseFOL)('Smokes(x) → Cancer(x)');
+        (0, vitest_1.expect)(a).toEqual(b);
+        const c = (0, markov_logic_1.parseFOL)('!Smokes(x) & Cancer(x)');
+        const d = (0, markov_logic_1.parseFOL)('¬Smokes(x) ∧ Cancer(x)');
+        (0, vitest_1.expect)(c).toEqual(d);
+    });
+    (0, vitest_1.it)('respeta precedencia ¬ > ∧ > ∨ > →', () => {
+        // ¬A ∨ B ∧ C  ≡  (¬A) ∨ (B ∧ C)
+        const ast = (0, markov_logic_1.parseFOL)('¬A(x) ∨ B(x) ∧ C(x)');
+        (0, vitest_1.expect)(ast).toEqual({
+            kind: 'or',
+            left: { kind: 'not', arg: { kind: 'atom', predicate: 'A', args: ['x'] } },
+            right: {
+                kind: 'and',
+                left: { kind: 'atom', predicate: 'B', args: ['x'] },
+                right: { kind: 'atom', predicate: 'C', args: ['x'] },
+            },
+        });
+    });
+    (0, vitest_1.it)('falla con error claro ante sintaxis inválida', () => {
+        (0, vitest_1.expect)(() => (0, markov_logic_1.parseFOL)('Smokes(x')).toThrow();
+        (0, vitest_1.expect)(() => (0, markov_logic_1.parseFOL)('∧ Cancer(x)')).toThrow();
+    });
+});
+// ── ground ───────────────────────────────────────────────────
+(0, vitest_1.describe)('ground', () => {
+    (0, vitest_1.it)('produce N² ground formulas para una regla con 2 variables', () => {
+        // Friends(x,y) ∧ Smokes(x) → Smokes(y) sobre n=3 personas → 9 ground formulas.
+        const grounded = (0, markov_logic_1.ground)({
+            ...smoking3,
+            formulas: [{ formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 }],
+        });
+        (0, vitest_1.expect)(grounded).toHaveLength(9);
+    });
+    (0, vitest_1.it)('inhibe variables con tipos inconsistentes', () => {
+        const badTheory = {
+            predicates: [
+                { name: 'OnTopic', types: ['Course'] },
+                { name: 'Friends', types: ['Person', 'Person'] },
+            ],
+            constants: { Person: ['A'], Course: ['Math'] },
+            formulas: [{ formula: 'OnTopic(x) ∧ Friends(x, x)', weight: 1.0 }],
+        };
+        (0, vitest_1.expect)(() => (0, markov_logic_1.ground)(badTheory)).toThrow(/tipos distintos/);
+    });
+    (0, vitest_1.it)('enumera todos los ground atoms (Herbrand base)', () => {
+        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
+        // Smokes: 2, Friends: 2x2 = 4 → 6 atoms totales.
+        (0, vitest_1.expect)(atoms).toHaveLength(6);
+        (0, vitest_1.expect)(atoms).toContain('Smokes(Anna)');
+        (0, vitest_1.expect)(atoms).toContain('Friends(Anna,Bob)');
+    });
+    (0, vitest_1.it)('groundFormula.satisfied y violations son consistentes', () => {
+        const [g] = (0, markov_logic_1.ground)({
+            predicates: [{ name: 'P', types: ['T'] }],
+            constants: { T: ['a'] },
+            formulas: [{ formula: 'P(x)', weight: 1.0 }],
+        });
+        (0, vitest_1.expect)(g).toBeDefined();
+        const wTrue = { groundAtoms: { 'P(a)': true } };
+        const wFalse = { groundAtoms: { 'P(a)': false } };
+        (0, vitest_1.expect)(g.satisfied(wTrue)).toBe(true);
+        (0, vitest_1.expect)(g.violations(wTrue)).toBe(0);
+        (0, vitest_1.expect)(g.satisfied(wFalse)).toBe(false);
+        (0, vitest_1.expect)(g.violations(wFalse)).toBe(1);
+    });
+});
+// ── weight & probability ─────────────────────────────────────
+(0, vitest_1.describe)('weight', () => {
+    (0, vitest_1.it)('asigna peso 0 a un mundo vacío sin fórmulas satisfechas', () => {
+        const theory = {
+            predicates: [{ name: 'P', types: ['T'] }],
+            constants: { T: ['a', 'b'] },
+            formulas: [{ formula: 'P(x)', weight: 2.0 }],
+        };
+        // mundo donde ningún P() es true → ninguna fórmula satisfecha → score 0.
+        const w = { groundAtoms: { 'P(a)': false, 'P(b)': false } };
+        (0, vitest_1.expect)((0, markov_logic_1.weight)(theory, w)).toBe(0);
+    });
+    (0, vitest_1.it)('penaliza mundos con menos fórmulas satisfechas (score menor)', () => {
+        const allSmoke = {
+            groundAtoms: {
+                'Smokes(Anna)': true,
+                'Smokes(Bob)': true,
+                'Cancer(Anna)': true,
+                'Cancer(Bob)': true,
+                'Friends(Anna,Bob)': false,
+                'Friends(Bob,Anna)': false,
+                'Friends(Anna,Anna)': false,
+                'Friends(Bob,Bob)': false,
+            },
+        };
+        const noSmoke = {
+            groundAtoms: {
+                'Smokes(Anna)': false,
+                'Smokes(Bob)': false,
+                'Cancer(Anna)': false,
+                'Cancer(Bob)': false,
+                'Friends(Anna,Bob)': false,
+                'Friends(Bob,Anna)': false,
+                'Friends(Anna,Anna)': false,
+                'Friends(Bob,Bob)': false,
+            },
+        };
+        const theory = {
+            predicates: [
+                { name: 'Smokes', types: ['Person'] },
+                { name: 'Cancer', types: ['Person'] },
+                { name: 'Friends', types: ['Person', 'Person'] },
+            ],
+            constants: { Person: ['Anna', 'Bob'] },
+            formulas: [
+                { formula: 'Smokes(x) → Cancer(x)', weight: 1.5 },
+                { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 },
+                { formula: 'Smokes(x)', weight: 0.5 },
+            ],
+        };
+        const wSmoke = (0, markov_logic_1.weight)(theory, allSmoke);
+        const wNoSmoke = (0, markov_logic_1.weight)(theory, noSmoke);
+        // ambos satisfacen las implicaciones, pero allSmoke gana el prior Smokes(x).
+        (0, vitest_1.expect)(wSmoke).toBeGreaterThan(wNoSmoke);
+    });
+    (0, vitest_1.it)('devuelve -Infinity si un hard constraint está violado', () => {
+        const hardTheory = {
+            predicates: [{ name: 'P', types: ['T'] }],
+            constants: { T: ['a'] },
+            formulas: [{ formula: 'P(x)', weight: Infinity }],
+        };
+        const violator = { groundAtoms: { 'P(a)': false } };
+        (0, vitest_1.expect)((0, markov_logic_1.weight)(hardTheory, violator)).toBe(Number.NEGATIVE_INFINITY);
+        const satisfier = { groundAtoms: { 'P(a)': true } };
+        // hard constraint satisfecho aporta 0 al score, no Infinity.
+        (0, vitest_1.expect)((0, markov_logic_1.weight)(hardTheory, satisfier)).toBe(0);
+    });
+    (0, vitest_1.it)('probability(world, Z) = exp(weight)/Z y es consistente con la exacta', () => {
+        const Z = (0, markov_logic_1.exactPartition)(smokingSmall);
+        const marginals = (0, markov_logic_1.exactMarginals)(smokingSmall);
+        // Suma de probabilidades sobre todos los mundos == 1.
+        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
+        let total = 0;
+        const w = { groundAtoms: {} };
+        for (let mask = 0; mask < 1 << atoms.length; mask++) {
+            for (let i = 0; i < atoms.length; i++) {
+                w.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
+            }
+            total += (0, markov_logic_1.probability)(smokingSmall, w, Z);
+        }
+        (0, vitest_1.expect)(total).toBeCloseTo(1, 6);
+        // marginales en [0,1]
+        for (const a of atoms) {
+            (0, vitest_1.expect)(marginals[a]).toBeGreaterThanOrEqual(0);
+            (0, vitest_1.expect)(marginals[a]).toBeLessThanOrEqual(1);
+        }
+    });
+});
+// ── Gibbs sampling ───────────────────────────────────────────
+(0, vitest_1.describe)('gibbsSample', () => {
+    (0, vitest_1.it)('respeta la evidencia (no flippea átomos fijos)', () => {
+        const rng = makeRng(42);
+        const evidence = {
+            groundAtoms: { 'Smokes(Anna)': true, 'Friends(Anna,Bob)': true },
+        };
+        const samples = (0, markov_logic_1.gibbsSample)(smokingSmall, evidence, 100, { rng, burnIn: 20 });
+        (0, vitest_1.expect)(samples).toHaveLength(100);
+        for (const s of samples) {
+            (0, vitest_1.expect)(s.groundAtoms['Smokes(Anna)']).toBe(true);
+            (0, vitest_1.expect)(s.groundAtoms['Friends(Anna,Bob)']).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('converge a marginales cercanas a la distribución exacta', () => {
+        const exact = (0, markov_logic_1.exactMarginals)(smokingSmall);
+        const rng = makeRng(2024);
+        const approx = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 8000, { rng, burnIn: 500 });
+        for (const atom of Object.keys(exact)) {
+            const diff = Math.abs((exact[atom] ?? 0) - (approx[atom] ?? 0));
+            // tolerancia generosa pero suficiente para detectar bugs estructurales.
+            (0, vitest_1.expect)(diff).toBeLessThan(0.07);
+        }
+    });
+    (0, vitest_1.it)('cadena estabiliza: dos corridas largas con la misma semilla dan marginales muy cercanas', () => {
+        const m1 = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 4000, {
+            rng: makeRng(7),
+            burnIn: 500,
+        });
+        const m2 = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 4000, {
+            rng: makeRng(7),
+            burnIn: 500,
+        });
+        for (const a of Object.keys(m1)) {
+            (0, vitest_1.expect)((m1[a] ?? 0) - (m2[a] ?? 0)).toBe(0); // misma semilla → mismo resultado bit-exacto
+        }
+    });
+    (0, vitest_1.it)('detecta correlación entre amigos: si Anna fuma, Bob tiende a fumar más', () => {
+        const rng = makeRng(123);
+        const evidenceA = {
+            groundAtoms: {
+                'Smokes(Anna)': true,
+                'Friends(Anna,Bob)': true,
+                'Friends(Bob,Anna)': true,
+                'Friends(Anna,Anna)': false,
+                'Friends(Bob,Bob)': false,
+            },
+        };
+        const evidenceB = {
+            groundAtoms: {
+                'Smokes(Anna)': false,
+                'Friends(Anna,Bob)': true,
+                'Friends(Bob,Anna)': true,
+                'Friends(Anna,Anna)': false,
+                'Friends(Bob,Bob)': false,
+            },
+        };
+        const mWith = (0, markov_logic_1.gibbsMarginals)(smokingSmall, evidenceA, 4000, { rng, burnIn: 500 });
+        const mWithout = (0, markov_logic_1.gibbsMarginals)(smokingSmall, evidenceB, 4000, {
+            rng: makeRng(124),
+            burnIn: 500,
+        });
+        // Con Anna fumando y amigos↔, Bob fuma más que sin Anna fumando.
+        (0, vitest_1.expect)(mWith['Smokes(Bob)']).toBeGreaterThan(mWithout['Smokes(Bob)']);
+    });
+});
+// ── MAP inference ────────────────────────────────────────────
+(0, vitest_1.describe)('mapInference', () => {
+    (0, vitest_1.it)('encuentra un mundo cuyo weight no es menor al óptimo exacto', () => {
+        const rng = makeRng(99);
+        const result = (0, markov_logic_1.mapInference)(smokingSmall, {}, {
+            rng,
+            maxFlips: 2000,
+            restarts: 6,
+        });
+        // Calcular óptimo exacto enumerando mundos pequeños.
+        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
+        let bestExact = Number.NEGATIVE_INFINITY;
+        const w = { groundAtoms: {} };
+        for (let mask = 0; mask < 1 << atoms.length; mask++) {
+            for (let i = 0; i < atoms.length; i++) {
+                w.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
+            }
+            const s = (0, markov_logic_1.weight)(smokingSmall, w);
+            if (s > bestExact)
+                bestExact = s;
+        }
+        const found = (0, markov_logic_1.weight)(smokingSmall, result);
+        (0, vitest_1.expect)(found).toBeCloseTo(bestExact, 6);
+    });
+    (0, vitest_1.it)('respeta hard constraints en la MAP', () => {
+        const theory = {
+            predicates: [
+                { name: 'P', types: ['T'] },
+                { name: 'Q', types: ['T'] },
+            ],
+            constants: { T: ['a'] },
+            formulas: [
+                { formula: 'P(x)', weight: Infinity }, // hard: P(a) debe ser true
+                { formula: '¬Q(x)', weight: 0.5 }, // soft: preferimos ¬Q(a)
+            ],
+        };
+        const rng = makeRng(5);
+        const result = (0, markov_logic_1.mapInference)(theory, {}, { rng, restarts: 3, maxFlips: 200 });
+        (0, vitest_1.expect)(result.groundAtoms['P(a)']).toBe(true);
+        (0, vitest_1.expect)(result.groundAtoms['Q(a)']).toBe(false);
+    });
+    (0, vitest_1.it)('respeta evidencia', () => {
+        const rng = makeRng(11);
+        const evidence = {
+            groundAtoms: { 'Smokes(Anna)': false, 'Friends(Anna,Bob)': true },
+        };
+        const result = (0, markov_logic_1.mapInference)(smokingSmall, evidence, { rng, restarts: 3, maxFlips: 500 });
+        (0, vitest_1.expect)(result.groundAtoms['Smokes(Anna)']).toBe(false);
+        (0, vitest_1.expect)(result.groundAtoms['Friends(Anna,Bob)']).toBe(true);
+    });
+});
+// ── Smoking-3: cordura general ───────────────────────────────
+(0, vitest_1.describe)('Smoking network (3 personas)', () => {
+    (0, vitest_1.it)('ground produce 3+9+3 = 15 ground formulas para la teoría completa', () => {
+        const grounded = (0, markov_logic_1.ground)(smoking3);
+        // Smokes→Cancer: 3, Friends∧Smokes→Smokes: 3² = 9, Smokes prior: 3 → 15
+        (0, vitest_1.expect)(grounded).toHaveLength(15);
+    });
+    (0, vitest_1.it)('atoms Herbrand: 3 Smokes + 3 Cancer + 9 Friends = 15', () => {
+        const atoms = (0, markov_logic_1.allGroundAtoms)(smoking3);
+        (0, vitest_1.expect)(atoms).toHaveLength(15);
+    });
+});
+//# sourceMappingURL=markov-logic.test.js.map

package/dist/tests/markov-logic/markov-logic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"markov-logic.test.js","sourceRoot":"","sources":["../../../src/tests/markov-logic/markov-logic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,qDAAqD;AACrD,qDAAqD;AACrD,+DAA+D;AAC/D,EAAE;AACF,sEAAsE;AACtE,iDAAiD;;AAEjD,mCAA8C;AAC9C,6DAcoC;AAEpC,gEAAgE;AAEhE,MAAM,QAAQ,GAAc;IAC1B,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;KACjD;IACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;IAC9C,QAAQ,EAAE;QACR,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE;QACjD,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;QACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;KACtC;CACF,CAAC;AAEF,MAAM,YAAY,GAAc;IAC9B,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;KACjD;IACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;IACtC,QAAQ,EAAE;QACR,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;QACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;KACtC;CACF,CAAC;AAEF,2DAA2D;AAC3D,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAW,EAAE;QAClB,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,WAAW,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,uCAAuC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,4BAAa,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,uBAAuB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,gCAAgC;QAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,qBAAqB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;YACzE,KAAK,EAAE;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBACnD,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;aACrD;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,uBAAQ,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,uBAAQ,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,+EAA+E;QAC/E,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC;YACtB,GAAG,QAAQ;YACX,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC9E,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,SAAS,GAAc;YAC3B,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACtC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;aACjD;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE;YAC9C,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,iDAAiD;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,CAAC,CAAC,GAAG,IAAA,qBAAM,EAAC;YACjB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,KAAK,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YAC5B,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC;QACF,yEAAyE;QACzE,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAa;YACzB,WAAW,EAAE;gBACX,cAAc,EAAE,IAAI;gBACpB,aAAa,EAAE,IAAI;gBACnB,cAAc,EAAE,IAAI;gBACpB,aAAa,EAAE,IAAI;gBACnB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,OAAO,GAAa;YACxB,WAAW,EAAE;gBACX,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,KAAK;gBACpB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,KAAK;gBACpB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;aACjD;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACtC,QAAQ,EAAE;gBACR,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE;gBACjD,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;gBACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,6EAA6E;QAC7E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,UAAU,GAAc;YAC5B,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;SAClD,CAAC;QACF,MAAM,QAAQ,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACpE,MAAM,SAAS,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9D,6DAA6D;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC/C,sDAAsD;QACtD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC;YACD,KAAK,IAAI,IAAA,0BAAW,EAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,sBAAsB;QACtB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAsB;YAClC,WAAW,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;SACjE,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,0BAAW,EAAC,YAAY,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,wEAAwE;YACxE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,EAAE,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE;YAChD,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE;YAChD,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,6CAA6C;QAC5F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAsB;YACnC,WAAW,EAAE;gBACX,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,IAAI;gBACzB,mBAAmB,EAAE,IAAI;gBACzB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,SAAS,GAAsB;YACnC,WAAW,EAAE;gBACX,cAAc,EAAE,KAAK;gBACrB,mBAAmB,EAAE,IAAI;gBACzB,mBAAmB,EAAE,IAAI;gBACzB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE;YAC7D,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,iEAAiE;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,IAAA,2BAAY,EACzB,YAAY,EACZ,EAAE,EACF;YACE,GAAG;YACH,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACZ,CACF,CAAC;QACF,qDAAqD;QACrD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACzC,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC;YACD,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,GAAG,SAAS;gBAAE,SAAS,GAAG,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,qBAAM,EAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;aAC5B;YACD,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE;gBACR,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,2BAA2B;gBAClE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,yBAAyB;aAC7D;SACF,CAAC;QACF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAsB;YAClC,WAAW,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE;SAClE,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,YAAY,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC,QAAQ,CAAC,CAAC;QAClC,wEAAwE;QACxE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/mltt/mltt.test.d.ts

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

package/dist/tests/mltt/mltt.test.d.ts.map

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

package/dist/tests/mltt/mltt.test.js

@@ -0,0 +1,181 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const mltt_1 = require("../../mltt");
+function unwrap(r) {
+    if ((0, mltt_1.isInferError)(r))
+        throw new Error(`unexpected error: ${r.error}`);
+    return r;
+}
+(0, vitest_1.describe)('MLTT / inferType — núcleo', () => {
+    (0, vitest_1.it)('λ (x : Nat). x infiere Π (x : Nat). Nat', () => {
+        const term = (0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x'));
+        const t = unwrap((0, mltt_1.inferType)(term));
+        (0, vitest_1.expect)((0, mltt_1.termToString)(t)).toBe('(Nat → Nat)');
+    });
+    (0, vitest_1.it)('zero : Nat', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mZero)()));
+        (0, vitest_1.expect)(t.kind).toBe('nat');
+    });
+    (0, vitest_1.it)('succ (succ zero) : Nat', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mSucc)((0, mltt_1.mSucc)((0, mltt_1.mZero)()))));
+        (0, vitest_1.expect)(t.kind).toBe('nat');
+    });
+    (0, vitest_1.it)('refl(zero) : Id(Nat, zero, zero)', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mRefl)((0, mltt_1.mZero)())));
+        (0, vitest_1.expect)(t.kind).toBe('identity');
+        (0, vitest_1.expect)((0, mltt_1.termToString)(t)).toBe('Id(Nat, zero, zero)');
+    });
+    (0, vitest_1.it)('Π (x : Nat). Nat : Type 0', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mPi)('x', (0, mltt_1.mNat)(), (0, mltt_1.mNat)())));
+        (0, vitest_1.expect)((0, mltt_1.termToString)(t)).toBe('Type');
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+    (0, vitest_1.it)('Π (A : Type). Π (x : A). A : Type 1 (universo polimórfico simple)', () => {
+        const term = (0, mltt_1.mPi)('A', (0, mltt_1.mUniverse)(0), (0, mltt_1.mPi)('x', (0, mltt_1.mVar)('A'), (0, mltt_1.mVar)('A')));
+        const t = unwrap((0, mltt_1.inferType)(term));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 1).toBe(true);
+    });
+    (0, vitest_1.it)('Type 0 : Type 1', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mUniverse)(0)));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 1).toBe(true);
+    });
+    (0, vitest_1.it)('Type 3 : Type 4', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mUniverse)(3)));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 4).toBe(true);
+    });
+    (0, vitest_1.it)('Nat : Type 0', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mNat)()));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+    (0, vitest_1.it)('aplicación bien-tipada: (λ x:Nat. x) zero : Nat', () => {
+        const term = (0, mltt_1.mApp)((0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x')), (0, mltt_1.mZero)());
+        const t = unwrap((0, mltt_1.inferType)(term));
+        (0, vitest_1.expect)(t.kind).toBe('nat');
+    });
+    (0, vitest_1.it)('aplicación dependiente: identidad polimórfica aplicada a Nat y zero', () => {
+        // id : Π (A : Type). Π (x : A). A
+        const id = (0, mltt_1.mLam)('A', (0, mltt_1.mUniverse)(0), (0, mltt_1.mLam)('x', (0, mltt_1.mVar)('A'), (0, mltt_1.mVar)('x')));
+        const t = unwrap((0, mltt_1.inferType)(id));
+        // (id Nat) : Π (x : Nat). Nat
+        const idNat = (0, mltt_1.mApp)(id, (0, mltt_1.mNat)());
+        const tIdNat = unwrap((0, mltt_1.inferType)(idNat));
+        (0, vitest_1.expect)((0, mltt_1.normalize)(tIdNat).kind).toBe('pi');
+        // (id Nat zero) : Nat
+        const idNatZero = (0, mltt_1.mApp)(idNat, (0, mltt_1.mZero)());
+        const tIdNatZero = unwrap((0, mltt_1.inferType)(idNatZero));
+        (0, vitest_1.expect)((0, mltt_1.normalize)(tIdNatZero).kind).toBe('nat');
+        (0, vitest_1.expect)(t.kind).toBe('pi');
+    });
+    (0, vitest_1.it)('rechaza variable libre sin contexto', () => {
+        const r = (0, mltt_1.inferType)((0, mltt_1.mVar)('x'));
+        (0, vitest_1.expect)((0, mltt_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza aplicación con argumento de tipo incorrecto', () => {
+        // (λ x:Nat. x) Type   → error
+        const term = (0, mltt_1.mApp)((0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x')), (0, mltt_1.mUniverse)(0));
+        const r = (0, mltt_1.inferType)(term);
+        (0, vitest_1.expect)((0, mltt_1.isInferError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza refl(a) si los lados no concuerdan en Id explícito mal armado', () => {
+        // Id(Nat, zero, Type) — derecha no es Nat
+        const term = (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mZero)(), (0, mltt_1.mUniverse)(0));
+        const r = (0, mltt_1.inferType)(term);
+        (0, vitest_1.expect)((0, mltt_1.isInferError)(r)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('MLTT / Σ pares dependientes', () => {
+    (0, vitest_1.it)('pair ⟨zero, zero⟩ infiere Σ (_ : Nat). Nat', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mPair)((0, mltt_1.mZero)(), (0, mltt_1.mZero)())));
+        (0, vitest_1.expect)(t.kind).toBe('sigma');
+    });
+    (0, vitest_1.it)('fst ⟨zero, succ zero⟩ ↦ zero (ι1)', () => {
+        const p = (0, mltt_1.mPair)((0, mltt_1.mZero)(), (0, mltt_1.mSucc)((0, mltt_1.mZero)()));
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)((0, mltt_1.normalize)((0, mltt_1.mFst)(p)), (0, mltt_1.mZero)())).toBe(true);
+    });
+    (0, vitest_1.it)('snd ⟨zero, succ zero⟩ ↦ succ zero (ι2)', () => {
+        const p = (0, mltt_1.mPair)((0, mltt_1.mZero)(), (0, mltt_1.mSucc)((0, mltt_1.mZero)()));
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)((0, mltt_1.normalize)((0, mltt_1.mSnd)(p)), (0, mltt_1.mSucc)((0, mltt_1.mZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('checkType acepta ⟨zero, refl zero⟩ : Σ (n : Nat). Id(Nat, n, n)', () => {
+        const sigma = (0, mltt_1.mSigma)('n', (0, mltt_1.mNat)(), (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mVar)('n'), (0, mltt_1.mVar)('n')));
+        const pair = (0, mltt_1.mPair)((0, mltt_1.mZero)(), (0, mltt_1.mRefl)((0, mltt_1.mZero)()));
+        (0, vitest_1.expect)((0, mltt_1.checkType)(pair, sigma)).toBe(true);
+    });
+    (0, vitest_1.it)('checkType rechaza ⟨succ zero, refl zero⟩ : Σ (n : Nat). Id(Nat, n, n)', () => {
+        const sigma = (0, mltt_1.mSigma)('n', (0, mltt_1.mNat)(), (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mVar)('n'), (0, mltt_1.mVar)('n')));
+        const pair = (0, mltt_1.mPair)((0, mltt_1.mSucc)((0, mltt_1.mZero)()), (0, mltt_1.mRefl)((0, mltt_1.mZero)()));
+        (0, vitest_1.expect)((0, mltt_1.checkType)(pair, sigma)).toBe(false);
+    });
+    (0, vitest_1.it)('Σ (n : Nat). Nat : Type 0', () => {
+        const t = unwrap((0, mltt_1.inferType)((0, mltt_1.mSigma)('n', (0, mltt_1.mNat)(), (0, mltt_1.mNat)())));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+});
+(0, vitest_1.describe)('MLTT / β-reducción y normalización', () => {
+    (0, vitest_1.it)('(λ x:Nat. x) zero β→ zero', () => {
+        const t = (0, mltt_1.mApp)((0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x')), (0, mltt_1.mZero)());
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)((0, mltt_1.reduceStep)(t), (0, mltt_1.mZero)())).toBe(true);
+    });
+    (0, vitest_1.it)('normalize idempotente sobre forma normal (succ zero)', () => {
+        (0, vitest_1.expect)((0, mltt_1.isNormal)((0, mltt_1.mSucc)((0, mltt_1.mZero)()))).toBe(true);
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)((0, mltt_1.normalize)((0, mltt_1.mSucc)((0, mltt_1.mZero)())), (0, mltt_1.mSucc)((0, mltt_1.mZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('alphaBetaEq: (λ x:Nat. x) zero ≡ zero', () => {
+        (0, vitest_1.expect)((0, mltt_1.alphaBetaEq)((0, mltt_1.mApp)((0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x')), (0, mltt_1.mZero)()), (0, mltt_1.mZero)())).toBe(true);
+    });
+    (0, vitest_1.it)('alphaBetaEq distingue zero y succ zero', () => {
+        (0, vitest_1.expect)((0, mltt_1.alphaBetaEq)((0, mltt_1.mZero)(), (0, mltt_1.mSucc)((0, mltt_1.mZero)()))).toBe(false);
+    });
+    (0, vitest_1.it)('α-equivalencia: λ x:Nat. x ≡ λ y:Nat. y', () => {
+        const a = (0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x'));
+        const b = (0, mltt_1.mLam)('y', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('y'));
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)(a, b)).toBe(true);
+    });
+    (0, vitest_1.it)('reducción dentro de Π: Π (_ : (λx:Type. x) Nat). Nat normaliza a Nat → Nat', () => {
+        // dominio aplica una λ que reduce a Nat
+        const reducingDom = (0, mltt_1.mApp)((0, mltt_1.mLam)('x', (0, mltt_1.mUniverse)(0), (0, mltt_1.mVar)('x')), (0, mltt_1.mNat)());
+        const term = (0, mltt_1.mPi)('_', reducingDom, (0, mltt_1.mNat)());
+        const nf = (0, mltt_1.normalize)(term);
+        (0, vitest_1.expect)((0, mltt_1.alphaEq)(nf, (0, mltt_1.mArrow)((0, mltt_1.mNat)(), (0, mltt_1.mNat)()))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('MLTT / checkType bidireccional', () => {
+    (0, vitest_1.it)('checkType acepta λ (x : Nat). x contra Nat → Nat', () => {
+        const term = (0, mltt_1.mLam)('x', (0, mltt_1.mNat)(), (0, mltt_1.mVar)('x'));
+        (0, vitest_1.expect)((0, mltt_1.checkType)(term, (0, mltt_1.mArrow)((0, mltt_1.mNat)(), (0, mltt_1.mNat)()))).toBe(true);
+    });
+    (0, vitest_1.it)('checkType acepta zero : Nat', () => {
+        (0, vitest_1.expect)((0, mltt_1.checkType)((0, mltt_1.mZero)(), (0, mltt_1.mNat)())).toBe(true);
+    });
+    (0, vitest_1.it)('checkType rechaza zero : Type', () => {
+        (0, vitest_1.expect)((0, mltt_1.checkType)((0, mltt_1.mZero)(), (0, mltt_1.mUniverse)(0))).toBe(false);
+    });
+    (0, vitest_1.it)('checkType acepta refl(succ zero) : Id(Nat, succ zero, succ zero)', () => {
+        (0, vitest_1.expect)((0, mltt_1.checkType)((0, mltt_1.mRefl)((0, mltt_1.mSucc)((0, mltt_1.mZero)())), (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mSucc)((0, mltt_1.mZero)()), (0, mltt_1.mSucc)((0, mltt_1.mZero)())))).toBe(true);
+    });
+    (0, vitest_1.it)('occursFree detecta dependencia en codomain de Π', () => {
+        // Π (x : Nat). Id(Nat, x, x)  — x ocurre libre en codomain
+        const term = (0, mltt_1.mPi)('x', (0, mltt_1.mNat)(), (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mVar)('x'), (0, mltt_1.mVar)('x')));
+        if (term.kind !== 'pi')
+            throw new Error('expected pi');
+        (0, vitest_1.expect)((0, mltt_1.occursFree)('x', term.codomain)).toBe(true);
+    });
+    (0, vitest_1.it)('occursFree falso para familia constante Π (x : Nat). Nat', () => {
+        const term = (0, mltt_1.mPi)('x', (0, mltt_1.mNat)(), (0, mltt_1.mNat)());
+        if (term.kind !== 'pi')
+            throw new Error('expected pi');
+        (0, vitest_1.expect)((0, mltt_1.occursFree)('x', term.codomain)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('MLTT / serialización', () => {
+    (0, vitest_1.it)('termToString para Π (x : Nat). Id(Nat, x, x)', () => {
+        const term = (0, mltt_1.mPi)('x', (0, mltt_1.mNat)(), (0, mltt_1.mId)((0, mltt_1.mNat)(), (0, mltt_1.mVar)('x'), (0, mltt_1.mVar)('x')));
+        (0, vitest_1.expect)((0, mltt_1.termToString)(term)).toBe('(Π (x : Nat). Id(Nat, x, x))');
+    });
+    (0, vitest_1.it)('termToString colapsa Π no-dependiente a →', () => {
+        const term = (0, mltt_1.mPi)('x', (0, mltt_1.mNat)(), (0, mltt_1.mNat)());
+        (0, vitest_1.expect)((0, mltt_1.termToString)(term)).toBe('(Nat → Nat)');
+    });
+});
+//# sourceMappingURL=mltt.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mltt.test.js","sourceRoot":"","sources":["../../../src/tests/mltt/mltt.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,qCA2BoB;AAEpB,SAAS,MAAM,CAAC,CAA+B;IAC7C,IAAI,IAAA,mBAAY,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACrE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,WAAI,EAAC,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,kCAAkC;QAClC,MAAM,EAAE,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,EAAE,CAAC,CAAC,CAAC;QAChC,8BAA8B;QAC9B,MAAM,KAAK,GAAG,IAAA,WAAI,EAAC,EAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,sBAAsB;QACtB,MAAM,SAAS,GAAG,IAAA,WAAI,EAAC,KAAK,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC;QACvC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,SAAS,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,8BAA8B;QAC9B,MAAM,IAAI,GAAG,IAAA,WAAI,EAAC,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,0CAA0C;QAC1C,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,IAAA,WAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,IAAA,WAAI,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,IAAA,aAAM,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,KAAK,GAAG,IAAA,aAAM,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,YAAK,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,aAAM,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,iBAAU,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,eAAQ,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,IAAA,WAAI,EAAC,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,wCAAwC;QACxC,MAAM,WAAW,GAAG,IAAA,WAAI,EAAC,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,WAAW,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,EAAE,EAAE,IAAA,aAAM,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAI,EAAE,IAAA,aAAM,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,GAAE,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,EAAE,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CACxF,IAAI,CACL,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,2DAA2D;QAC3D,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,iBAAU,EAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,iBAAU,EAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,UAAG,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,UAAG,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts

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

package/dist/tests/modal-frame-axioms/frame-axioms.test.d.ts.map

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