@stevenvo780/st-lang 4.6.0 → 4.8.0

package/dist/tests/smt-lib/parser.test.js

@@ -1,164 +0,0 @@
-"use strict";
-// ============================================================
-// SMT-LIB v2 Tests — Parser
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const parser_1 = require("../../smt-lib/parser");
-(0, vitest_1.describe)('SMT-LIB parser — comandos', () => {
-    (0, vitest_1.it)('parsea (check-sat) como comando único', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(check-sat)');
-        (0, vitest_1.expect)(cmds).toEqual([{ kind: 'check-sat' }]);
-    });
-    (0, vitest_1.it)('parsea (set-logic QF_LRA)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(set-logic QF_LRA)');
-        (0, vitest_1.expect)(cmds).toEqual([{ kind: 'set-logic', logic: 'QF_LRA' }]);
-    });
-    (0, vitest_1.it)('parsea (declare-const x Real)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(declare-const x Real)');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('declare-const');
-        (0, vitest_1.expect)(cmd.name).toBe('x');
-        (0, vitest_1.expect)(cmd.sort).toEqual({ kind: 'symbol', name: 'Real' });
-    });
-    (0, vitest_1.it)('parsea (declare-fun f (Int Int) Bool)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(declare-fun f (Int Int) Bool)');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('declare-fun');
-        (0, vitest_1.expect)(cmd.name).toBe('f');
-        (0, vitest_1.expect)(cmd.paramSorts).toHaveLength(2);
-        (0, vitest_1.expect)(cmd.paramSorts[0]).toEqual({ kind: 'symbol', name: 'Int' });
-        (0, vitest_1.expect)(cmd.resultSort).toEqual({ kind: 'symbol', name: 'Bool' });
-    });
-    (0, vitest_1.it)('parsea (assert (= x 5))', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(assert (= x 5))');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('assert');
-        (0, vitest_1.expect)(cmd.formula.kind).toBe('app');
-    });
-    (0, vitest_1.it)('parsea (push 2) y (pop 1)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(push 2)(pop 1)');
-        (0, vitest_1.expect)(cmds).toEqual([
-            { kind: 'push', levels: 2 },
-            { kind: 'pop', levels: 1 },
-        ]);
-    });
-    (0, vitest_1.it)('parsea (declare-sort A 0)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(declare-sort A 0)');
-        (0, vitest_1.expect)(cmds).toEqual([{ kind: 'declare-sort', name: 'A', arity: 0 }]);
-    });
-    (0, vitest_1.it)('parsea (set-option :produce-models true)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(set-option :produce-models true)');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('set-option');
-        (0, vitest_1.expect)(cmd.key).toBe('produce-models');
-        (0, vitest_1.expect)(cmd.value).toBe('true');
-    });
-    (0, vitest_1.it)('parsea (set-info :status sat)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(set-info :status sat)');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('set-info');
-        (0, vitest_1.expect)(cmd.key).toBe('status');
-    });
-    (0, vitest_1.it)('parsea (define-fun double ((x Int)) Int (+ x x))', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(define-fun double ((x Int)) Int (+ x x))');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('define-fun');
-        (0, vitest_1.expect)(cmd.name).toBe('double');
-        (0, vitest_1.expect)(cmd.params).toEqual([{ name: 'x', sort: { kind: 'symbol', name: 'Int' } }]);
-        (0, vitest_1.expect)(cmd.resultSort).toEqual({ kind: 'symbol', name: 'Int' });
-        (0, vitest_1.expect)(cmd.body.kind).toBe('app');
-    });
-    (0, vitest_1.it)('parsea (echo "hola")', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(echo "hola")');
-        (0, vitest_1.expect)(cmds).toEqual([{ kind: 'echo', message: 'hola' }]);
-    });
-    (0, vitest_1.it)('parsea (get-value (x y z))', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(get-value (x y z))');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('get-value');
-        (0, vitest_1.expect)(cmd.terms).toHaveLength(3);
-    });
-    (0, vitest_1.it)('parsea (check-sat-assuming (p (not q)))', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(check-sat-assuming (p (not q)))');
-        const cmd = cmds[0];
-        (0, vitest_1.expect)(cmd.kind).toBe('check-sat-assuming');
-        (0, vitest_1.expect)(cmd.assumptions).toHaveLength(2);
-    });
-    (0, vitest_1.it)('parsea (reset), (reset-assertions), (exit), (get-model), (get-proof), (get-unsat-core), (get-assertions)', () => {
-        const cmds = (0, parser_1.parseSmtLib)('(reset)(reset-assertions)(exit)(get-model)(get-proof)(get-unsat-core)(get-assertions)');
-        (0, vitest_1.expect)(cmds.map((c) => c.kind)).toEqual([
-            'reset',
-            'reset-assertions',
-            'exit',
-            'get-model',
-            'get-proof',
-            'get-unsat-core',
-            'get-assertions',
-        ]);
-    });
-    (0, vitest_1.it)('arroja error en comando desconocido', () => {
-        (0, vitest_1.expect)(() => (0, parser_1.parseSmtLib)('(foobar 1)')).toThrow(parser_1.SmtParserError);
-    });
-});
-(0, vitest_1.describe)('SMT-LIB parser — términos', () => {
-    (0, vitest_1.it)('parsea let: (let ((y 5)) (+ x y))', () => {
-        const term = (0, parser_1.parseTerm)('(let ((y 5)) (+ x y))');
-        (0, vitest_1.expect)(term.kind).toBe('let');
-        if (term.kind === 'let') {
-            (0, vitest_1.expect)(term.bindings).toHaveLength(1);
-            (0, vitest_1.expect)(term.bindings[0].name).toBe('y');
-            (0, vitest_1.expect)(term.body.kind).toBe('app');
-        }
-    });
-    (0, vitest_1.it)('parsea forall: (forall ((x Int)) (>= x 0))', () => {
-        const term = (0, parser_1.parseTerm)('(forall ((x Int)) (>= x 0))');
-        (0, vitest_1.expect)(term.kind).toBe('forall');
-        if (term.kind === 'forall') {
-            (0, vitest_1.expect)(term.vars).toEqual([{ name: 'x', sort: { kind: 'symbol', name: 'Int' } }]);
-            (0, vitest_1.expect)(term.body.kind).toBe('app');
-        }
-    });
-    (0, vitest_1.it)('parsea exists con múltiples variables', () => {
-        const term = (0, parser_1.parseTerm)('(exists ((x Int) (y Real)) (= x y))');
-        (0, vitest_1.expect)(term.kind).toBe('exists');
-        if (term.kind === 'exists') {
-            (0, vitest_1.expect)(term.vars).toHaveLength(2);
-            (0, vitest_1.expect)(term.vars[1].sort).toEqual({ kind: 'symbol', name: 'Real' });
-        }
-    });
-    (0, vitest_1.it)('parsea identificadores indexados (_ BitVec 32)', () => {
-        const sort = (0, parser_1.parseSort)('(_ BitVec 32)');
-        (0, vitest_1.expect)(sort.kind).toBe('app');
-        if (sort.kind === 'app') {
-            (0, vitest_1.expect)(sort.name).toBe('_ BitVec');
-            (0, vitest_1.expect)(sort.args).toHaveLength(1);
-        }
-    });
-    (0, vitest_1.it)('parsea sorts aplicados (Array Int Int)', () => {
-        const sort = (0, parser_1.parseSort)('(Array Int Int)');
-        (0, vitest_1.expect)(sort).toEqual({
-            kind: 'app',
-            name: 'Array',
-            args: [
-                { kind: 'symbol', name: 'Int' },
-                { kind: 'symbol', name: 'Int' },
-            ],
-        });
-    });
-    (0, vitest_1.it)('parsea numerales, decimales, hex y binary como spec-constants', () => {
-        (0, vitest_1.expect)((0, parser_1.parseTerm)('42')).toEqual({ kind: 'spec-constant', type: 'numeral', value: '42' });
-        (0, vitest_1.expect)((0, parser_1.parseTerm)('3.14')).toEqual({ kind: 'spec-constant', type: 'decimal', value: '3.14' });
-        (0, vitest_1.expect)((0, parser_1.parseTerm)('#xFF')).toEqual({ kind: 'spec-constant', type: 'hex', value: 'FF' });
-        (0, vitest_1.expect)((0, parser_1.parseTerm)('#b101')).toEqual({ kind: 'spec-constant', type: 'binary', value: '101' });
-        (0, vitest_1.expect)((0, parser_1.parseTerm)('"hola"')).toEqual({ kind: 'spec-constant', type: 'string', value: 'hola' });
-    });
-    (0, vitest_1.it)('parsea término anotado (! x :named foo)', () => {
-        const term = (0, parser_1.parseTerm)('(! x :named foo)');
-        (0, vitest_1.expect)(term.kind).toBe('annotated');
-        if (term.kind === 'annotated') {
-            (0, vitest_1.expect)(term.attrs).toEqual([{ key: 'named', value: 'foo' }]);
-        }
-    });
-});
-//# sourceMappingURL=parser.test.js.map

package/dist/tests/smt-lib/parser.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../src/tests/smt-lib/parser.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;;AAE/D,mCAA8C;AAC9C,iDAAyF;AAGzF,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,aAAa,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAA2C,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,gCAAgC,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAyC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,kBAAkB,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAoC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,iBAAiB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YACnB,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE;YAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,oBAAoB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,mCAAmC,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAwC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAsC,CAAC;QACzD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,2CAA2C,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAwC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,eAAe,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAuC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,oBAAW,EAAC,kCAAkC,CAAC,CAAC;QAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAgD,CAAC;QACnE,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0GAA0G,EAAE,GAAG,EAAE;QAClH,MAAM,IAAI,GAAG,IAAA,oBAAW,EACtB,uFAAuF,CACxF,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtC,OAAO;YACP,kBAAkB;YAClB,MAAM;YACN,WAAW;YACX,WAAW;YACX,gBAAgB;YAChB,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,oBAAW,EAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAc,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,uBAAuB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,6BAA6B,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;YAClF,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,qCAAqC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,eAAe,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,iBAAiB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YACnB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,OAAO;YACb,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;gBAC/B,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;aAChC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,IAAA,kBAAS,EAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,kBAAS,EAAC,kBAAkB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/smt-lib/tokenizer.test.d.ts.map

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

package/dist/tests/smt-lib/tokenizer.test.js

@@ -1,59 +0,0 @@
-"use strict";
-// ============================================================
-// SMT-LIB v2 Tests — Tokenizer
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const tokenizer_1 = require("../../smt-lib/tokenizer");
-(0, vitest_1.describe)('SMT-LIB tokenizer', () => {
-    (0, vitest_1.it)('tokeniza paréntesis y símbolos básicos', () => {
-        const tokens = (0, tokenizer_1.tokenize)('(check-sat)');
-        (0, vitest_1.expect)(tokens.map((t) => t.kind)).toEqual(['lparen', 'symbol', 'rparen']);
-        (0, vitest_1.expect)(tokens[1].value).toBe('check-sat');
-    });
-    (0, vitest_1.it)('ignora comentarios de línea', () => {
-        const tokens = (0, tokenizer_1.tokenize)('; un comentario\n(assert true)');
-        (0, vitest_1.expect)(tokens.map((t) => t.value)).toEqual(['(', 'assert', 'true', ')']);
-    });
-    (0, vitest_1.it)('reconoce keywords con `:`', () => {
-        const tokens = (0, tokenizer_1.tokenize)('(set-option :produce-models true)');
-        (0, vitest_1.expect)(tokens[2].kind).toBe('keyword');
-        (0, vitest_1.expect)(tokens[2].value).toBe('produce-models');
-    });
-    (0, vitest_1.it)('reconoce literales hex y binary', () => {
-        const tokens = (0, tokenizer_1.tokenize)('#xAB12 #b1010');
-        (0, vitest_1.expect)(tokens[0].kind).toBe('hex');
-        (0, vitest_1.expect)(tokens[0].value).toBe('AB12');
-        (0, vitest_1.expect)(tokens[1].kind).toBe('binary');
-        (0, vitest_1.expect)(tokens[1].value).toBe('1010');
-    });
-    (0, vitest_1.it)('reconoce numerales y decimales', () => {
-        const tokens = (0, tokenizer_1.tokenize)('42 3.14');
-        (0, vitest_1.expect)(tokens[0].kind).toBe('numeral');
-        (0, vitest_1.expect)(tokens[0].value).toBe('42');
-        (0, vitest_1.expect)(tokens[1].kind).toBe('decimal');
-        (0, vitest_1.expect)(tokens[1].value).toBe('3.14');
-    });
-    (0, vitest_1.it)('parsea strings con escape de comilla doble', () => {
-        const tokens = (0, tokenizer_1.tokenize)('"hola ""mundo"" fin"');
-        (0, vitest_1.expect)(tokens[0].kind).toBe('string');
-        (0, vitest_1.expect)(tokens[0].value).toBe('hola "mundo" fin');
-    });
-    (0, vitest_1.it)('parsea símbolos pipe-quoted', () => {
-        const tokens = (0, tokenizer_1.tokenize)('|símbolo con espacios|');
-        (0, vitest_1.expect)(tokens[0].kind).toBe('symbol');
-        (0, vitest_1.expect)(tokens[0].value).toBe('símbolo con espacios');
-    });
-    (0, vitest_1.it)('arroja error en string sin cerrar', () => {
-        (0, vitest_1.expect)(() => (0, tokenizer_1.tokenize)('"hola')).toThrow(tokenizer_1.SmtTokenizerError);
-    });
-    (0, vitest_1.it)('arroja error en |...| sin cerrar', () => {
-        (0, vitest_1.expect)(() => (0, tokenizer_1.tokenize)('|abc')).toThrow(tokenizer_1.SmtTokenizerError);
-    });
-    (0, vitest_1.it)('mantiene line/col en cada token', () => {
-        const tokens = (0, tokenizer_1.tokenize)('(foo\n  bar)');
-        (0, vitest_1.expect)(tokens[2].line).toBe(2);
-        (0, vitest_1.expect)(tokens[2].col).toBe(3);
-    });
-});
-//# sourceMappingURL=tokenizer.test.js.map

package/dist/tests/smt-lib/tokenizer.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tokenizer.test.js","sourceRoot":"","sources":["../../../src/tests/smt-lib/tokenizer.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;;AAE/D,mCAA8C;AAC9C,uDAAsE;AAEtE,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,aAAa,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,gCAAgC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,mCAAmC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,eAAe,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,sBAAsB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,oBAAQ,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,6BAAiB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,oBAAQ,EAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,6BAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,IAAA,oBAAQ,EAAC,cAAc,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/substructural/prover.test.d.ts.map

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

package/dist/tests/substructural/prover.test.js

@@ -1,271 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const substructural_1 = require("../../profiles/substructural");
-// --- Helpers de construccion ---
-const atom = (name) => ({ kind: 'atom', name });
-const tensor = (a, b) => ({
-    kind: 'tensor',
-    left: a,
-    right: b,
-});
-const lolli = (a, b) => ({
-    kind: 'lollipop',
-    left: a,
-    right: b,
-});
-const wWith = (a, b) => ({
-    kind: 'with',
-    left: a,
-    right: b,
-});
-const plus = (a, b) => ({
-    kind: 'plus',
-    left: a,
-    right: b,
-});
-const bang = (a) => ({ kind: 'bang', arg: a });
-const ONE = { kind: 'one' };
-const A = atom('A');
-const B = atom('B');
-const C = atom('C');
-function rules(tree) {
-    if (!tree)
-        return [];
-    const out = [tree.rule];
-    for (const p of tree.premises)
-        out.push(...rules(p));
-    return out;
-}
-// ============================================================
-// LINEAR LOGIC
-// ============================================================
-(0, vitest_1.describe)('Linear logic — fragmento basico', () => {
-    (0, vitest_1.it)('demuestra A ⊸ A (identidad)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('lollipopR');
-        (0, vitest_1.expect)(rules(proof)).toContain('axiom');
-    });
-    (0, vitest_1.it)('demuestra ⊢ 1 (unit)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [ONE] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(proof?.rule).toBe('oneR');
-    });
-    (0, vitest_1.it)('demuestra A ⊸ (1 ⊸ A) (curry trivial con 1)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, lolli(ONE, A))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-});
-(0, vitest_1.describe)('Linear logic — multiplicativos (⊗, ⊸)', () => {
-    (0, vitest_1.it)('demuestra conmutatividad: A ⊗ B ⊸ B ⊗ A', () => {
-        const proof = (0, substructural_1.proveLinear)({
-            left: [],
-            right: [lolli(tensor(A, B), tensor(B, A))],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        const r = rules(proof);
-        (0, vitest_1.expect)(r).toContain('lollipopR');
-        (0, vitest_1.expect)(r).toContain('tensorL');
-        (0, vitest_1.expect)(r).toContain('tensorR');
-    });
-    (0, vitest_1.it)('demuestra asociatividad: A ⊗ (B ⊗ C) ⊸ (A ⊗ B) ⊗ C', () => {
-        const proof = (0, substructural_1.proveLinear)({
-            left: [],
-            right: [lolli(tensor(A, tensor(B, C)), tensor(tensor(A, B), C))],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('NO demuestra A ⊸ A ⊗ A (no contraction)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, tensor(A, A))] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-    (0, vitest_1.it)('NO demuestra A ⊗ B ⊸ A (no weakening en linear)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(tensor(A, B), A)] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-    (0, vitest_1.it)('demuestra modus ponens lineal: A ⊗ (A ⊸ B) ⊸ B', () => {
-        const proof = (0, substructural_1.proveLinear)({
-            left: [],
-            right: [lolli(tensor(A, lolli(A, B)), B)],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('demuestra composicion: (A ⊸ B) ⊗ (B ⊸ C) ⊸ (A ⊸ C)', () => {
-        const proof = (0, substructural_1.proveLinear)({
-            left: [],
-            right: [lolli(tensor(lolli(A, B), lolli(B, C)), lolli(A, C))],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-});
-(0, vitest_1.describe)('Linear logic — aditivos (&, ⊕)', () => {
-    (0, vitest_1.it)('demuestra A & B ⊸ A (proyeccion 1, with permite descartar uno)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(wWith(A, B), A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('withL1');
-    });
-    (0, vitest_1.it)('demuestra A & B ⊸ B (proyeccion 2)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(wWith(A, B), B)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('withL2');
-    });
-    (0, vitest_1.it)('demuestra A ⊸ A ⊕ B (inyeccion 1)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, plus(A, B))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('plusR1');
-    });
-    (0, vitest_1.it)('demuestra A ⊸ B ⊕ A (inyeccion 2)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, plus(B, A))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('plusR2');
-    });
-    (0, vitest_1.it)('NO demuestra A ⊕ B ⊸ A (sin info de cual lado del plus)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(plus(A, B), A)] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-    (0, vitest_1.it)('NO demuestra A ⊸ A & B (B no es derivable de A)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, wWith(A, B))] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-});
-(0, vitest_1.describe)('Linear logic — exponencial bang (!)', () => {
-    (0, vitest_1.it)('demuestra !A ⊸ A (dereliction)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        // El prover usa la zona unrestricted: bangL promueve a Σ, luego
-        // axioma desde Σ. Cualquier ruta correcta cuenta.
-        const r = rules(proof);
-        (0, vitest_1.expect)(r).toContain('bangL');
-        (0, vitest_1.expect)(r).toContain('axiom');
-    });
-    (0, vitest_1.it)('demuestra !A ⊸ A ⊗ A (contraction via bang)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), tensor(A, A))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        // La "contraction" se realiza implicitamente al copiar dos veces
-        // desde la zona unrestricted Σ via derelictionL.
-        const r = rules(proof);
-        (0, vitest_1.expect)(r).toContain('bangL');
-        (0, vitest_1.expect)(r).toContain('tensorR');
-        // Dos copias de A desde Σ:
-        const derelicts = r.filter((x) => x === 'derelictionL').length;
-        const axioms = r.filter((x) => x === 'axiom').length;
-        (0, vitest_1.expect)(derelicts + axioms).toBeGreaterThanOrEqual(2);
-    });
-    (0, vitest_1.it)('demuestra !A ⊸ 1 (weakening via bang)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(bang(A), ONE)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('demuestra !A ⊗ !B ⊸ !B ⊗ !A (conmutatividad sobre !)', () => {
-        const proof = (0, substructural_1.proveLinear)({
-            left: [],
-            right: [lolli(tensor(bang(A), bang(B)), tensor(bang(B), bang(A)))],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('NO demuestra A ⊸ !A (no se puede promover sin contexto bang)', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, bang(A))] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-});
-// ============================================================
-// AFFINE LOGIC
-// ============================================================
-(0, vitest_1.describe)('Affine logic — weakening permitido', () => {
-    (0, vitest_1.it)('demuestra A ⊗ B ⊸ A (weakening descarta B)', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(tensor(A, B), A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(rules(proof)).toContain('weakening');
-    });
-    (0, vitest_1.it)('demuestra A ⊗ B ⊸ B (weakening descarta A)', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(tensor(A, B), B)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('demuestra A ⊸ 1 (todo es descartable en afin)', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, ONE)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('demuestra A ⊗ B ⊗ C ⊸ A (multi-weakening)', () => {
-        const proof = (0, substructural_1.proveAffine)({
-            left: [],
-            right: [lolli(tensor(A, tensor(B, C)), A)],
-        });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('preserva validez lineal: A ⊸ A es valido en afin', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-});
-(0, vitest_1.describe)('Affine logic — contraction sigue prohibida', () => {
-    (0, vitest_1.it)('NO demuestra A ⊸ A ⊗ A (no contraction en afin)', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, tensor(A, A))] });
-        (0, vitest_1.expect)(proof).toBeNull();
-    });
-    (0, vitest_1.it)('NO demuestra A ⊸ A & A si A es atomo (no, with si admite)', () => {
-        // Trampa: A ⊸ A & A SI es valido en afin/linear porque
-        // with usa el MISMO contexto en ambas ramas (no duplica).
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(A, wWith(A, A))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-    (0, vitest_1.it)('SI demuestra (!A) ⊸ A ⊗ A en afin (bang permite contraction)', () => {
-        const proof = (0, substructural_1.proveAffine)({ left: [], right: [lolli(bang(A), tensor(A, A))] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-    });
-});
-// ============================================================
-// LINEAR vs AFFINE — discriminacion
-// ============================================================
-(0, vitest_1.describe)('Discriminacion entre linear y afin', () => {
-    (0, vitest_1.it)('A ⊗ B ⊸ A: NO en linear, SI en afin', () => {
-        const seq = { left: [], right: [lolli(tensor(A, B), A)] };
-        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).toBeNull();
-        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).not.toBeNull();
-    });
-    (0, vitest_1.it)('A ⊸ A ⊗ A: NO en linear, NO en afin', () => {
-        const seq = { left: [], right: [lolli(A, tensor(A, A))] };
-        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).toBeNull();
-        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).toBeNull();
-    });
-    (0, vitest_1.it)('A ⊸ A: SI en linear, SI en afin', () => {
-        const seq = { left: [], right: [lolli(A, A)] };
-        (0, vitest_1.expect)((0, substructural_1.proveLinear)(seq)).not.toBeNull();
-        (0, vitest_1.expect)((0, substructural_1.proveAffine)(seq)).not.toBeNull();
-    });
-});
-// ============================================================
-// Estructura de la prueba
-// ============================================================
-(0, vitest_1.describe)('Forma de las pruebas', () => {
-    (0, vitest_1.it)('la conclusion de la prueba coincide con el secuente pedido', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        if (!proof)
-            return;
-        (0, vitest_1.expect)(proof.conclusion.left.length).toBe(0);
-        (0, vitest_1.expect)(proof.conclusion.right.length).toBe(1);
-        const first = proof.conclusion.right[0];
-        (0, vitest_1.expect)(first?.kind).toBe('lollipop');
-    });
-    (0, vitest_1.it)('axiom tiene cero premisas', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [A], right: [A] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        (0, vitest_1.expect)(proof?.rule).toBe('axiom');
-        (0, vitest_1.expect)(proof?.premises.length).toBe(0);
-    });
-    (0, vitest_1.it)('lollipopR tiene exactamente una premisa', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [], right: [lolli(A, A)] });
-        const lolliNode = proof?.rule === 'lollipopR' ? proof : null;
-        (0, vitest_1.expect)(lolliNode).not.toBeNull();
-        (0, vitest_1.expect)(lolliNode?.premises.length).toBe(1);
-    });
-    (0, vitest_1.it)('tensorR ramifica en 2 premisas', () => {
-        const proof = (0, substructural_1.proveLinear)({ left: [A, B], right: [tensor(A, B)] });
-        (0, vitest_1.expect)(proof).not.toBeNull();
-        if (!proof)
-            return;
-        (0, vitest_1.expect)(proof.rule).toBe('tensorR');
-        (0, vitest_1.expect)(proof.premises.length).toBe(2);
-    });
-});
-//# sourceMappingURL=prover.test.js.map

package/dist/tests/substructural/prover.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/substructural/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gEAAoG;AAEpG,kCAAkC;AAElC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACvE,MAAM,MAAM,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,QAAQ;IACd,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAiB,EAAE,CAAC,CAAC;IACnE,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;CACT,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,CAAgB,EAAiB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAC7E,MAAM,GAAG,GAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAE3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAAwB;IACrC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,GAAG,GAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SACjE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC1C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SAC9D,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,gEAAgE;QAChE,kDAAkD;QAClD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,iEAAiE;QACjE,iDAAiD;QACjD,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/B,2BAA2B;QAC3B,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,MAAM,CAAC;QAC/D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QACrD,IAAA,eAAM,EAAC,SAAS,GAAG,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACnE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC;YACxB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,uDAAuD;QACvD,0DAA0D;QAC1D,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,oCAAoC;AACpC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,0BAA0B;AAC1B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,MAAM,SAAS,GAAG,KAAK,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7D,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,2BAAW,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/system-f/system-f.test.d.ts.map

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