@stevenvo780/st-lang 4.4.0 → 4.5.1

package/dist/tests/higher-order-unify/ho-unify.test.js

@@ -0,0 +1,264 @@
+"use strict";
+// ============================================================
+// Tests — Higher-order unification (Miller pattern)
+// ============================================================
+//
+// Cubre:
+//   - Unificación de primer orden con meta-variables libres
+//   - Patrón λx. M x ≈ λx. f x  →  {M: f}
+//   - No-patrón: λx. M x x  (var repetida) → null
+//   - isPattern / isHigherOrderPattern
+//   - applyHOSubst con β-reducción
+//   - normalize β
+//   - occurs check
+//   - rigidez (heads distintas no unifican)
+//   - identidad (M ≈ M sin binding → subst vacía)
+//   - unifyMetaApp helper
+//   - multi-binding compuesto
+//   - encadenado: applyHOSubst transitivo
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const higher_order_unify_1 = require("../../higher-order-unify");
+// ---- Helpers de construcción ----
+const v = (name) => ({ kind: 'var', name });
+const m = (name) => ({ kind: 'meta', name });
+const abs = (param, body) => ({ kind: 'abs', param, body });
+const app = (fn, ...args) => ({ kind: 'app', fn, args });
+(0, vitest_1.beforeEach)(() => {
+    (0, higher_order_unify_1.resetFreshCounter)();
+});
+// ===========================================================
+// 1. Unificación de primer orden: f(a,b) ≈ f(x,y) → {x:a, y:b}
+//    Modelado como: app(f, [M, N]) ≈ app(f, [a, b])
+//    donde M y N son meta-variables libres (no aplicadas a nada).
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — primer orden', () => {
+    (0, vitest_1.it)('meta libre unifica con término concreto: M ≈ a → {M: a}', () => {
+        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), v('a'));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('f(M, N) ≈ f(a, b) → {M: a, N: b}', () => {
+        const t1 = app(v('f'), m('M'), m('N'));
+        const t2 = app(v('f'), v('a'), v('b'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
+    });
+    (0, vitest_1.it)('meta libre ≈ meta libre del mismo nombre → subst vacía', () => {
+        const result = (0, higher_order_unify_1.unifyPattern)(m('M'), m('M'));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(Object.keys(result).length).toBe(0);
+    });
+});
+// ===========================================================
+// 2. Pattern unification λx. M x ≈ λx. f x
+//    El MGU de Miller es M ↦ λx. f x (no simplemente M ↦ f).
+//    Ambos son η-equivalentes, pero el algoritmo produce la forma λ.
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — patrón Miller λx. M x ≈ λx. f x', () => {
+    (0, vitest_1.it)('unifica correctamente: M ↦ λx. f x (aplicar devuelve f x)', () => {
+        // λx. (M x) ≈ λx. (f x)
+        const t1 = abs('x', app(m('M'), v('x')));
+        const t2 = abs('x', app(v('f'), v('x')));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        // El MGU es M ↦ λx. f x; verificamos aplicando M a un argumento
+        const mBinding = result['M'];
+        const applied = (0, higher_order_unify_1.applyHOSubst)(app(mBinding, v('a')), {});
+        // (λx. f x) a → f a
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(applied)).toEqual(app(v('f'), v('a')));
+    });
+    (0, vitest_1.it)('λx. M x ≈ λx. (g x) — aplicar M a a da g a', () => {
+        const t1 = abs('x', app(m('M'), v('x')));
+        const t2 = abs('x', app(v('g'), v('x')));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        const mBinding = result['M'];
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a')))).toEqual(app(v('g'), v('a')));
+    });
+    (0, vitest_1.it)('λx. λy. M x y ≈ λx. λy. h x y — aplicar M a b da h a b', () => {
+        // M aplicada a dos vars ligadas distintas; MGU: M ↦ λx.λy. h x y
+        const t1 = abs('x', abs('y', app(m('M'), v('x'), v('y'))));
+        const t2 = abs('x', abs('y', app(v('h'), v('x'), v('y'))));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        const mBinding = result['M'];
+        // (λx.λy. h x y) a b → h a b
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(mBinding, v('a'), v('b')))).toEqual(app(v('h'), v('a'), v('b')));
+    });
+});
+// ===========================================================
+// 3. Non-pattern: λx. M x x — variable repetida → null
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — no-patrón (var repetida)', () => {
+    (0, vitest_1.it)('λx. M x x no es patrón → unifyPattern devuelve null', () => {
+        const t1 = abs('x', app(m('M'), v('x'), v('x')));
+        const t2 = abs('x', app(v('f'), v('x'), v('x')));
+        // No puede unificar porque M x x es non-pattern
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('isPattern detecta λx. M x x como false', () => {
+        // En el scope interno {x}, M aplicada a [x, x] → repetida
+        const term = abs('x', app(m('M'), v('x'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(term)).toBe(false);
+    });
+});
+// ===========================================================
+// 4. isPattern — detección correcta
+// ===========================================================
+(0, vitest_1.describe)('isPattern', () => {
+    (0, vitest_1.it)('variable libre es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(v('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('meta libre es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(m('M'))).toBe(true);
+    });
+    (0, vitest_1.it)('abs con meta sola en body es patrón', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', m('M')))).toBe(true);
+    });
+    (0, vitest_1.it)('λx. M x es patrón (M aplicada a var ligada única)', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'))))).toBe(true);
+    });
+    (0, vitest_1.it)('λx. M x x NO es patrón (var repetida)', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(abs('x', app(m('M'), v('x'), v('x'))))).toBe(false);
+    });
+    (0, vitest_1.it)('M aplicada a variable libre NO es patrón', () => {
+        // x es libre (no está en ningún binder)
+        (0, vitest_1.expect)((0, higher_order_unify_1.isPattern)(app(m('M'), v('x')))).toBe(false);
+    });
+    (0, vitest_1.it)('isHigherOrderPattern es alias de isPattern con scope vacío', () => {
+        const term = abs('x', app(m('M'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.isHigherOrderPattern)(term)).toBe((0, higher_order_unify_1.isPattern)(term));
+    });
+});
+// ===========================================================
+// 5. applyHOSubst con β-reducción
+// ===========================================================
+(0, vitest_1.describe)('applyHOSubst', () => {
+    (0, vitest_1.it)('sustituye meta simple', () => {
+        const subst = { M: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('sustituye y β-reduce: M aplicada a x con M ↦ λx.x', () => {
+        // M ↦ λx.x, aplicar M a 'y' → (λx.x) y → y
+        const subst = { M: abs('x', v('x')) };
+        const term = app(m('M'), v('y'));
+        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
+        (0, vitest_1.expect)(result).toEqual(v('y'));
+    });
+    (0, vitest_1.it)('sustituye y β-reduce: M ↦ λx.f x, M y → f y', () => {
+        const subst = { M: abs('x', app(v('f'), v('x'))) };
+        const term = app(m('M'), v('y'));
+        const result = (0, higher_order_unify_1.applyHOSubst)(term, subst);
+        // (λx. f x) y → f y
+        (0, vitest_1.expect)(result).toEqual(app(v('f'), v('y')));
+    });
+    (0, vitest_1.it)('no toca variables ordinarias', () => {
+        const subst = { M: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(v('x'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('x'));
+    });
+});
+// ===========================================================
+// 6. normalize — β-normalización
+// ===========================================================
+(0, vitest_1.describe)('normalize', () => {
+    (0, vitest_1.it)('variable queda igual', () => {
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(v('x'))).toEqual(v('x'));
+    });
+    (0, vitest_1.it)('(λx.x) a → a', () => {
+        const term = app(abs('x', v('x')), v('a'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('(λx.λy.x) a b → a', () => {
+        const term = app(abs('x', abs('y', v('x'))), v('a'), v('b'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(v('a'));
+    });
+    (0, vitest_1.it)('(λx. f x) a → f a', () => {
+        const term = app(abs('x', app(v('f'), v('x'))), v('a'));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(app(v('f'), v('a')));
+    });
+    (0, vitest_1.it)('término sin redex queda igual', () => {
+        const term = abs('x', app(v('f'), v('x')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(term)).toEqual(term);
+    });
+});
+// ===========================================================
+// 7. Occurs check: M ≈ f(M) debe fallar
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — occurs check', () => {
+    (0, vitest_1.it)('M ≈ f M falla por occurs check', () => {
+        const t1 = m('M');
+        const t2 = app(v('f'), m('M'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 8. Rigid heads distintas no unifican
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — rigid heads', () => {
+    (0, vitest_1.it)('f a ≈ g a falla (f ≠ g)', () => {
+        const t1 = app(v('f'), v('a'));
+        const t2 = app(v('g'), v('a'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('f a b ≈ f a falla (aridades distintas)', () => {
+        const t1 = app(v('f'), v('a'), v('b'));
+        const t2 = app(v('f'), v('a'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 9. unifyMetaApp helper
+// ===========================================================
+(0, vitest_1.describe)('unifyMetaApp', () => {
+    (0, vitest_1.it)('M [x, y] ↦ λx.λy.body construye el lambda correcto', () => {
+        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'y'], app(v('f'), v('x'), v('y')));
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(abs('x', abs('y', app(v('f'), v('x'), v('y')))));
+    });
+    (0, vitest_1.it)('rechaza si hay vars repetidas', () => {
+        const result = (0, higher_order_unify_1.unifyMetaApp)('M', ['x', 'x'], v('x'));
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+});
+// ===========================================================
+// 10. Sustitución transitiva / encadenada
+// ===========================================================
+(0, vitest_1.describe)('applyHOSubst — sustitución encadenada', () => {
+    (0, vitest_1.it)('M ↦ N, N ↦ a  → aplicar sobre M da a', () => {
+        const subst = { M: m('N'), N: v('a') };
+        const result = (0, higher_order_unify_1.applyHOSubst)(m('M'), subst);
+        (0, vitest_1.expect)(result).toEqual(v('a'));
+    });
+});
+// ===========================================================
+// 11. Unificación con múltiples metas en simultáneo
+// ===========================================================
+(0, vitest_1.describe)('unifyPattern — múltiples metas', () => {
+    (0, vitest_1.it)('pair(M, N) ≈ pair(a, b) → {M:a, N:b}', () => {
+        const t1 = app(v('pair'), m('M'), m('N'));
+        const t2 = app(v('pair'), v('a'), v('b'));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        (0, vitest_1.expect)(result['M']).toEqual(v('a'));
+        (0, vitest_1.expect)(result['N']).toEqual(v('b'));
+    });
+    (0, vitest_1.it)('λx. pair(M x, N x) ≈ λx. pair(f x, g x) — M a = f a, N a = g a', () => {
+        const t1 = abs('x', app(v('pair'), app(m('M'), v('x')), app(m('N'), v('x'))));
+        const t2 = abs('x', app(v('pair'), app(v('f'), v('x')), app(v('g'), v('x'))));
+        const result = (0, higher_order_unify_1.unifyPattern)(t1, t2);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        // MGU: M ↦ λx. f x, N ↦ λx. g x
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['M'], v('a')))).toEqual(app(v('f'), v('a')));
+        (0, vitest_1.expect)((0, higher_order_unify_1.normalize)(app(result['N'], v('a')))).toEqual(app(v('g'), v('a')));
+    });
+});
+//# sourceMappingURL=ho-unify.test.js.map

package/dist/tests/higher-order-unify/ho-unify.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ho-unify.test.js","sourceRoot":"","sources":["../../../src/tests/higher-order-unify/ho-unify.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;AAC/D,EAAE;AACF,SAAS;AACT,4DAA4D;AAC5D,0CAA0C;AAC1C,kDAAkD;AAClD,uCAAuC;AACvC,mCAAmC;AACnC,kBAAkB;AAClB,mBAAmB;AACnB,4CAA4C;AAC5C,kDAAkD;AAClD,0BAA0B;AAC1B,8BAA8B;AAC9B,0CAA0C;;AAE1C,mCAA0D;AAC1D,iEASkC;AAElC,oCAAoC;AAEpC,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5D,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC7D,MAAM,GAAG,GAAG,CAAC,KAAa,EAAE,IAAY,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AACpF,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,GAAG,IAAc,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;AAEnF,IAAA,mBAAU,EAAC,GAAG,EAAE;IACd,IAAA,sCAAiB,GAAE,CAAC;AACtB,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,+DAA+D;AAC/D,oDAAoD;AACpD,kEAAkE;AAClE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,2CAA2C;AAC3C,6DAA6D;AAC7D,qEAAqE;AACrE,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,wBAAwB;QACxB,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gEAAgE;QAChE,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAA,iCAAY,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACxD,oBAAoB;QACpB,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,iEAAiE;QACjE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAO,CAAC,GAAG,CAAE,CAAC;QAC/B,6BAA6B;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uDAAuD;AACvD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,gDAAgD;QAChD,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,0DAA0D;QAC1D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oCAAoC;AACpC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,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,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,wCAAwC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,yCAAoB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,kCAAkC;AAClC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,2CAA2C;QAC3C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,oBAAoB;QACpB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,iCAAiC;AACjC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,wCAAwC;AACxC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,uCAAuC;AACvC,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,yBAAyB;AACzB,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,0CAA0C;AAC1C,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8DAA8D;AAC9D,oDAAoD;AACpD,8DAA8D;AAC9D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,gCAAgC;QAChC,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,MAAO,CAAC,GAAG,CAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/integration/cross-modules.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Integration tests cross-module ST V4
+ * =====================================================================
+ * Cada test importa módulos reales desde src/ y ejecuta un pipeline
+ * end-to-end verificando invariantes concretos. No hay expect(true).
+ */
+export {};
+//# sourceMappingURL=cross-modules.test.d.ts.map

package/dist/tests/integration/cross-modules.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-modules.test.d.ts","sourceRoot":"","sources":["../../../src/tests/integration/cross-modules.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}