@stevenvo780/st-lang 0.3.0

package/dist/tests/core.test.js

@@ -0,0 +1,220 @@
+"use strict";
+// ============================================================
+// ST Tests — Core (perfiles, motor proposicional)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runCoreTests = runCoreTests;
+const runner_1 = require("./runner");
+const propositional_1 = require("../profiles/classical/propositional");
+function makeTheory(axioms) {
+    const t = {
+        profile: 'classical.propositional',
+        axioms: new Map(Object.entries(axioms)),
+        theorems: new Map(),
+        claims: new Map(),
+        judgments: [],
+    };
+    return t;
+}
+// Helpers para crear fórmulas
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function or(a, b) {
+    return { kind: 'or', args: [a, b] };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function biconditional(a, b) {
+    return { kind: 'biconditional', args: [a, b] };
+}
+function runCoreTests() {
+    const cp = new propositional_1.ClassicalPropositional();
+    (0, runner_1.describe)('ClassicalPropositional.checkWellFormed', () => {
+        (0, runner_1.it)('acepta atomo simple', () => {
+            const diags = cp.checkWellFormed(atom('P'));
+            (0, runner_1.assertEqual)(diags.length, 0);
+        });
+        (0, runner_1.it)('acepta negacion', () => {
+            const diags = cp.checkWellFormed(not(atom('P')));
+            (0, runner_1.assertEqual)(diags.length, 0);
+        });
+        (0, runner_1.it)('acepta implicacion compleja', () => {
+            const f = implies(atom('P'), implies(atom('Q'), atom('R')));
+            const diags = cp.checkWellFormed(f);
+            (0, runner_1.assertEqual)(diags.length, 0);
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.checkValid', () => {
+        (0, runner_1.it)('P -> P es tautologia', () => {
+            const f = implies(atom('P'), atom('P'));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+        (0, runner_1.it)('P -> (Q -> P) es tautologia', () => {
+            const f = implies(atom('P'), implies(atom('Q'), atom('P')));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+        (0, runner_1.it)('(P -> Q) -> (!Q -> !P) es tautologia (contraposicion)', () => {
+            const f = implies(implies(atom('P'), atom('Q')), implies(not(atom('Q')), not(atom('P'))));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+        (0, runner_1.it)('P -> Q no es tautologia', () => {
+            const f = implies(atom('P'), atom('Q'));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'invalid');
+        });
+        (0, runner_1.it)('P | !P es tautologia (tercero excluido)', () => {
+            const f = or(atom('P'), not(atom('P')));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+        (0, runner_1.it)('!(P & !P) es tautologia (no contradiccion)', () => {
+            const f = not(and(atom('P'), not(atom('P'))));
+            const result = cp.checkValid(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.checkSatisfiable', () => {
+        (0, runner_1.it)('P es satisfacible', () => {
+            const result = cp.checkSatisfiable(atom('P'));
+            (0, runner_1.assertEqual)(result.status, 'satisfiable');
+        });
+        (0, runner_1.it)('P & !P es insatisfacible', () => {
+            const f = and(atom('P'), not(atom('P')));
+            const result = cp.checkSatisfiable(f);
+            (0, runner_1.assertEqual)(result.status, 'unsatisfiable');
+        });
+        (0, runner_1.it)('P & Q es satisfacible', () => {
+            const f = and(atom('P'), atom('Q'));
+            const result = cp.checkSatisfiable(f);
+            (0, runner_1.assertEqual)(result.status, 'satisfiable');
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.derive', () => {
+        (0, runner_1.it)('Modus Ponens: P, P->Q |- Q', () => {
+            const theory = makeTheory({
+                a1: implies(atom('P'), atom('Q')),
+                a2: atom('P'),
+            });
+            const result = cp.derive(atom('Q'), ['a1', 'a2'], theory);
+            (0, runner_1.assertEqual)(result.status, 'provable');
+        });
+        (0, runner_1.it)('Modus Tollens: !Q, P->Q |- !P', () => {
+            const theory = makeTheory({
+                a1: implies(atom('P'), atom('Q')),
+                a2: not(atom('Q')),
+            });
+            const result = cp.derive(not(atom('P')), ['a1', 'a2'], theory);
+            (0, runner_1.assertEqual)(result.status, 'provable');
+        });
+        (0, runner_1.it)('Derivacion encadenada: P, P->Q, Q->R |- R', () => {
+            const theory = makeTheory({
+                a1: atom('P'),
+                a2: implies(atom('P'), atom('Q')),
+                a3: implies(atom('Q'), atom('R')),
+            });
+            const result = cp.derive(atom('R'), ['a1', 'a2', 'a3'], theory);
+            (0, runner_1.assertEqual)(result.status, 'provable');
+        });
+        (0, runner_1.it)('No se puede derivar Q solo de P', () => {
+            const theory = makeTheory({
+                a1: atom('P'),
+            });
+            const result = cp.derive(atom('Q'), ['a1'], theory);
+            (0, runner_1.assertEqual)(result.status, 'refutable');
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.countermodel', () => {
+        (0, runner_1.it)('encuentra contramodelo para P -> Q', () => {
+            const f = implies(atom('P'), atom('Q'));
+            const result = cp.countermodel(f);
+            (0, runner_1.assertEqual)(result.status, 'invalid');
+            (0, runner_1.assert)(result.model !== undefined, 'Debe tener modelo');
+            (0, runner_1.assert)(result.model.valuation !== undefined, 'Debe tener valuacion');
+            (0, runner_1.assertEqual)(result.model.valuation['P'], true);
+            (0, runner_1.assertEqual)(result.model.valuation['Q'], false);
+        });
+        (0, runner_1.it)('no encuentra contramodelo para tautologia', () => {
+            const f = implies(atom('P'), atom('P'));
+            const result = cp.countermodel(f);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.truthTable', () => {
+        (0, runner_1.it)('genera tabla correcta para P & Q', () => {
+            const f = and(atom('P'), atom('Q'));
+            const tt = cp.truthTable(f);
+            (0, runner_1.assertEqual)(tt.variables.length, 2);
+            (0, runner_1.assertEqual)(tt.rows.length, 4);
+            (0, runner_1.assertEqual)(tt.isTautology, false);
+            (0, runner_1.assertEqual)(tt.isSatisfiable, true);
+            // Solo P=T,Q=T da true
+            const trueRows = tt.rows.filter(r => r.result);
+            (0, runner_1.assertEqual)(trueRows.length, 1);
+        });
+        (0, runner_1.it)('genera tabla correcta para P | !P', () => {
+            const f = or(atom('P'), not(atom('P')));
+            const tt = cp.truthTable(f);
+            (0, runner_1.assertEqual)(tt.isTautology, true);
+            (0, runner_1.assertEqual)(tt.isContradiction, false);
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.checkEquivalent', () => {
+        (0, runner_1.it)('P->Q y !P|Q son equivalentes', () => {
+            const f1 = implies(atom('P'), atom('Q'));
+            const f2 = or(not(atom('P')), atom('Q'));
+            const result = cp.checkEquivalent(f1, f2);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+        (0, runner_1.it)('P&Q y P|Q no son equivalentes', () => {
+            const f1 = and(atom('P'), atom('Q'));
+            const f2 = or(atom('P'), atom('Q'));
+            const result = cp.checkEquivalent(f1, f2);
+            (0, runner_1.assertEqual)(result.status, 'invalid');
+        });
+        (0, runner_1.it)('De Morgan: !(P&Q) y (!P|!Q) son equivalentes', () => {
+            const f1 = not(and(atom('P'), atom('Q')));
+            const f2 = or(not(atom('P')), not(atom('Q')));
+            const result = cp.checkEquivalent(f1, f2);
+            (0, runner_1.assertEqual)(result.status, 'valid');
+        });
+    });
+    (0, runner_1.describe)('ClassicalPropositional.explain', () => {
+        (0, runner_1.it)('explica formula correctamente', () => {
+            const f = implies(atom('P'), atom('Q'));
+            const result = cp.explain(f);
+            (0, runner_1.assert)(result.output !== undefined, 'Debe tener output');
+            (0, runner_1.assertIncludes)(result.output, 'Variables');
+            (0, runner_1.assertIncludes)(result.output, 'Tautologia: no');
+        });
+    });
+    (0, runner_1.describe)('formulaToString', () => {
+        (0, runner_1.it)('serializa atomo', () => {
+            (0, runner_1.assertEqual)((0, propositional_1.formulaToString)(atom('P')), 'P');
+        });
+        (0, runner_1.it)('serializa negacion', () => {
+            (0, runner_1.assertEqual)((0, propositional_1.formulaToString)(not(atom('P'))), '!P');
+        });
+        (0, runner_1.it)('serializa implicacion', () => {
+            (0, runner_1.assertEqual)((0, propositional_1.formulaToString)(implies(atom('P'), atom('Q'))), '(P -> Q)');
+        });
+        (0, runner_1.it)('serializa formula compleja', () => {
+            const f = implies(implies(atom('P'), atom('Q')), implies(not(atom('Q')), not(atom('P'))));
+            const str = (0, propositional_1.formulaToString)(f);
+            (0, runner_1.assertIncludes)(str, 'P');
+            (0, runner_1.assertIncludes)(str, 'Q');
+            (0, runner_1.assertIncludes)(str, '->');
+        });
+    });
+}
+//# sourceMappingURL=core.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.test.js","sourceRoot":"","sources":["../../src/tests/core.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kDAAkD;AAClD,+DAA+D;;AAqC/D,oCAoNC;AAvPD,qCAA6E;AAC7E,uEAA8F;AAG9F,SAAS,UAAU,CAAC,MAA+B;IACjD,MAAM,CAAC,GAAW;QAChB,OAAO,EAAE,yBAAyB;QAClC,MAAM,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,SAAS,EAAE,EAAE;KACd,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8BAA8B;AAC9B,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU;IAC3C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,SAAgB,YAAY;IAC1B,MAAM,EAAE,GAAG,IAAI,sCAAsB,EAAE,CAAC;IAExC,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,IAAA,oBAAW,EAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACjD,IAAA,oBAAW,EAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACpC,IAAA,oBAAW,EAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5D,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,CAAC,GAAG,OAAO,CACf,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;YACF,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAChC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9C,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACtC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;YACtC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,UAAU,CAAC;gBACxB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC;aACd,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC1D,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,UAAU,CAAC;gBACxB,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjC,EAAE,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aACnB,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAC/D,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,UAAU,CAAC;gBACxB,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC;gBACb,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;aAClC,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YAChE,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,UAAU,CAAC;gBACxB,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC;aACd,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACpD,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACxD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAM,CAAC,SAAS,KAAK,SAAS,EAAE,sBAAsB,CAAC,CAAC;YACtE,IAAA,oBAAW,EAAC,MAAM,CAAC,KAAM,CAAC,SAAU,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACjD,IAAA,oBAAW,EAAC,MAAM,CAAC,KAAM,CAAC,SAAU,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAClC,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,oBAAW,EAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACpC,IAAA,oBAAW,EAAC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC/B,IAAA,oBAAW,EAAC,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YACnC,IAAA,oBAAW,EAAC,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;YACpC,uBAAuB;YACvB,MAAM,QAAQ,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAA,oBAAW,EAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,oBAAW,EAAC,EAAE,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YAClC,IAAA,oBAAW,EAAC,EAAE,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACzC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACrC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACpC,MAAM,MAAM,GAAG,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,MAAM,MAAM,GAAG,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,mBAAmB,CAAC,CAAC;YACzD,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAO,EAAE,WAAW,CAAC,CAAC;YAC5C,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAO,EAAE,gBAAgB,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,IAAA,oBAAW,EAAC,IAAA,+BAAe,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,IAAA,oBAAW,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,IAAA,oBAAW,EAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1F,MAAM,GAAG,GAAG,IAAA,+BAAe,EAAC,CAAC,CAAC,CAAC;YAC/B,IAAA,uBAAc,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzB,IAAA,uBAAc,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACzB,IAAA,uBAAc,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

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

@@ -0,0 +1,2 @@
+export declare function runParserTests(): void;
+//# sourceMappingURL=parser.test.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.d.ts","sourceRoot":"","sources":["../../src/tests/parser.test.ts"],"names":[],"mappings":"AAOA,wBAAgB,cAAc,IAAI,IAAI,CAgMrC"}

package/dist/tests/parser.test.js

@@ -0,0 +1,180 @@
+"use strict";
+// ============================================================
+// ST Tests — Parser
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runParserTests = runParserTests;
+const runner_1 = require("./runner");
+const parser_1 = require("../parser/parser");
+function runParserTests() {
+    (0, runner_1.describe)('Parser — logic declaration', () => {
+        (0, runner_1.it)('parsea logic classical.propositional', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('logic classical.propositional');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'logic_decl');
+            (0, runner_1.assertEqual)(program.statements[0].profile, 'classical.propositional');
+        });
+    });
+    (0, runner_1.describe)('Parser — axiom declaration', () => {
+        (0, runner_1.it)('parsea axiom simple', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a1 = P');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'axiom_decl');
+            (0, runner_1.assertEqual)(program.statements[0].name, 'a1');
+        });
+        (0, runner_1.it)('parsea axiom con implicacion', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a1 = P -> Q');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'implies');
+        });
+    });
+    (0, runner_1.describe)('Parser — formulas', () => {
+        (0, runner_1.it)('parsea negacion', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = !P');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'not');
+            (0, runner_1.assertEqual)(f.args[0].kind, 'atom');
+        });
+        (0, runner_1.it)('parsea conjuncion', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = P & Q');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'and');
+        });
+        (0, runner_1.it)('parsea disyuncion', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = P | Q');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'or');
+        });
+        (0, runner_1.it)('parsea bicondicional', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = P <-> Q');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'biconditional');
+        });
+        (0, runner_1.it)('respeta precedencia: & antes que |', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = P | Q & R');
+            const f = program.statements[0].formula;
+            // Debe ser P | (Q & R), no (P | Q) & R
+            (0, runner_1.assertEqual)(f.kind, 'or');
+            (0, runner_1.assertEqual)(f.args[1].kind, 'and');
+        });
+        (0, runner_1.it)('parsea parentesis', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = (P | Q) & R');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'and');
+            (0, runner_1.assertEqual)(f.args[0].kind, 'or');
+        });
+        (0, runner_1.it)('asocia implicacion a la derecha', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('axiom a = P -> Q -> R');
+            const f = program.statements[0].formula;
+            (0, runner_1.assertEqual)(f.kind, 'implies');
+            (0, runner_1.assertEqual)(f.args[1].kind, 'implies');
+        });
+    });
+    (0, runner_1.describe)('Parser — commands', () => {
+        (0, runner_1.it)('parsea derive', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('derive Q from {a1, a2}');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'derive_cmd');
+            (0, runner_1.assertEqual)(program.statements[0].premises.length, 2);
+        });
+        (0, runner_1.it)('parsea check valid', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('check valid (P -> Q)');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'check_valid_cmd');
+        });
+        (0, runner_1.it)('parsea check satisfiable', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('check satisfiable (P & Q)');
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'check_satisfiable_cmd');
+        });
+        (0, runner_1.it)('parsea countermodel', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('countermodel (P -> Q)');
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'countermodel_cmd');
+        });
+        (0, runner_1.it)('parsea truth_table', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('truth_table (P & Q)');
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'truth_table_cmd');
+        });
+        (0, runner_1.it)('parsea prove', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('prove Q from {a1, a2}');
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'prove_cmd');
+        });
+    });
+    (0, runner_1.describe)('Parser — text layer', () => {
+        (0, runner_1.it)('parsea let passage', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('let p = passage([[clase-logica.md#b8]])');
+            (0, runner_1.assertEqual)(program.statements.length, 1);
+            const stmt = program.statements[0];
+            (0, runner_1.assertEqual)(stmt.kind, 'let_decl');
+            (0, runner_1.assertEqual)(stmt.letType, 'passage');
+            (0, runner_1.assertIncludes)(stmt.anchorPath, 'clase-logica');
+        });
+        (0, runner_1.it)('parsea let formalize', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('let phi = formalize p as (P -> Q)');
+            const stmt = program.statements[0];
+            (0, runner_1.assertEqual)(stmt.kind, 'let_decl');
+            (0, runner_1.assertEqual)(stmt.letType, 'formalize');
+            (0, runner_1.assertEqual)(stmt.passageName, 'p');
+        });
+        (0, runner_1.it)('parsea support', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('support c1 <- p');
+            (0, runner_1.assertEqual)(program.statements[0].kind, 'support_decl');
+        });
+        (0, runner_1.it)('parsea confidence', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('confidence c1 = 0.84');
+            const stmt = program.statements[0];
+            (0, runner_1.assertEqual)(stmt.kind, 'confidence_decl');
+            (0, runner_1.assertEqual)(stmt.value, 0.84);
+        });
+        (0, runner_1.it)('parsea context', () => {
+            const parser = new parser_1.Parser();
+            const program = parser.parse('context c1 = "contexto de ejemplo"');
+            const stmt = program.statements[0];
+            (0, runner_1.assertEqual)(stmt.kind, 'context_decl');
+            (0, runner_1.assertEqual)(stmt.text, 'contexto de ejemplo');
+        });
+    });
+    (0, runner_1.describe)('Parser — programa completo', () => {
+        (0, runner_1.it)('parsea script multi-linea', () => {
+            const source = `
+logic classical.propositional
+
+axiom a1 = P -> Q
+axiom a2 = P
+
+derive Q from {a1, a2}
+check valid ((P -> Q) -> (!Q -> !P))
+`;
+            const parser = new parser_1.Parser();
+            const program = parser.parse(source);
+            (0, runner_1.assertEqual)(parser.diagnostics.filter(d => d.severity === 'error').length, 0);
+            (0, runner_1.assert)(program.statements.length >= 4, `Esperaba >= 4 statements, got ${program.statements.length}`);
+        });
+        (0, runner_1.it)('reporta errores de sintaxis', () => {
+            const parser = new parser_1.Parser();
+            parser.parse('axiom = invalid syntax 123 @@');
+            (0, runner_1.assert)(parser.diagnostics.some(d => d.severity === 'error'), 'Deberia reportar errores');
+        });
+    });
+}
+//# sourceMappingURL=parser.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../src/tests/parser.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;;AAK/D,wCAgMC;AAnMD,qCAA6E;AAC7E,6CAA0C;AAE1C,SAAgB,cAAc;IAC5B,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAC9D,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC7C,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAClD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;YAC7C,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC3B,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAChD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAChD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAClD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACpD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,uCAAuC;YACvC,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1B,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACtD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC3B,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACtD,MAAM,CAAC,GAAI,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,OAAO,CAAC;YACjD,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YAC/B,IAAA,oBAAW,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;YACvB,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;YACvD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACrD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC1D,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;YACpD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,yCAAyC,CAAC,CAAC;YACxE,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC1C,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;YAC1C,IAAA,oBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACnC,IAAA,oBAAW,EAAC,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YACrC,IAAA,uBAAc,EAAC,IAAI,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,mCAAmC,CAAC,CAAC;YAClE,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;YAC1C,IAAA,oBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACnC,IAAA,oBAAW,EAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;YACvC,IAAA,oBAAW,EAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;YAChD,IAAA,oBAAW,EAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;YAC3B,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;YAC1C,IAAA,oBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;YAC1C,IAAA,oBAAW,EAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;YACnE,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAQ,CAAC;YAC1C,IAAA,oBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;YACvC,IAAA,oBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YACI,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC,IAAA,oBAAW,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YAC9E,IAAA,eAAM,EAAC,OAAO,CAAC,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,iCAAiC,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACvG,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG,IAAI,eAAM,EAAE,CAAC;YAC5B,MAAM,CAAC,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,0BAA0B,CAAC,CAAC;QAC3F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/tests/runner.d.ts

@@ -0,0 +1,6 @@
+export declare function describe(name: string, fn: () => void): void;
+export declare function it(name: string, fn: () => void): void;
+export declare function assert(condition: boolean, message?: string): void;
+export declare function assertEqual<T>(actual: T, expected: T, message?: string): void;
+export declare function assertIncludes(str: string, substring: string, message?: string): void;
+//# sourceMappingURL=runner.d.ts.map

package/dist/tests/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/tests/runner.ts"],"names":[],"mappings":"AAiBA,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI,CAI3D;AAED,wBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,IAAI,GAAG,IAAI,CAUrD;AAED,wBAAgB,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,OAAO,GAAE,MAA2B,GAAG,IAAI,CAErF;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAI7E;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAIrF"}

package/dist/tests/runner.js

@@ -0,0 +1,69 @@
+"use strict";
+// ============================================================
+// ST Tests — Runner simple sin dependencias
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.describe = describe;
+exports.it = it;
+exports.assert = assert;
+exports.assertEqual = assertEqual;
+exports.assertIncludes = assertIncludes;
+const core_test_1 = require("./core.test");
+const parser_test_1 = require("./parser.test");
+const cli_test_1 = require("./cli.test");
+let results = [];
+let currentSuite = '';
+function describe(name, fn) {
+    currentSuite = name;
+    console.log(`\n  ${name}`);
+    fn();
+}
+function it(name, fn) {
+    try {
+        fn();
+        results.push({ name: `${currentSuite} > ${name}`, passed: true });
+        console.log(`    ✓ ${name}`);
+    }
+    catch (e) {
+        results.push({ name: `${currentSuite} > ${name}`, passed: false, error: e.message });
+        console.log(`    ✗ ${name}`);
+        console.log(`      ${e.message}`);
+    }
+}
+function assert(condition, message = 'Assertion failed') {
+    if (!condition)
+        throw new Error(message);
+}
+function assertEqual(actual, expected, message) {
+    if (actual !== expected) {
+        throw new Error(message || `Expected ${JSON.stringify(expected)}, got ${JSON.stringify(actual)}`);
+    }
+}
+function assertIncludes(str, substring, message) {
+    if (!str.includes(substring)) {
+        throw new Error(message || `Expected string to include "${substring}", got: "${str.slice(0, 200)}"`);
+    }
+}
+// Main
+console.log('ST Tests');
+console.log('========\n');
+(0, core_test_1.runCoreTests)();
+(0, parser_test_1.runParserTests)();
+(0, cli_test_1.runCLITests)();
+const passed = results.filter(r => r.passed).length;
+const failed = results.filter(r => !r.passed).length;
+const total = results.length;
+console.log(`\n========`);
+console.log(`Total: ${total} | Passed: ${passed} | Failed: ${failed}`);
+if (failed > 0) {
+    console.log('\nFailed tests:');
+    for (const r of results.filter(r => !r.passed)) {
+        console.log(`  ✗ ${r.name}: ${r.error}`);
+    }
+    process.exit(1);
+}
+else {
+    console.log('\n✓ Todos los tests pasaron');
+    process.exit(0);
+}
+//# sourceMappingURL=runner.js.map

package/dist/tests/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/tests/runner.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,4CAA4C;AAC5C,+DAA+D;;AAe/D,4BAIC;AAED,gBAUC;AAED,wBAEC;AAED,kCAIC;AAED,wCAIC;AA7CD,2CAA2C;AAC3C,+CAA+C;AAC/C,yCAAyC;AAQzC,IAAI,OAAO,GAAiB,EAAE,CAAC;AAC/B,IAAI,YAAY,GAAG,EAAE,CAAC;AAEtB,SAAgB,QAAQ,CAAC,IAAY,EAAE,EAAc;IACnD,YAAY,GAAG,IAAI,CAAC;IACpB,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAC3B,EAAE,EAAE,CAAC;AACP,CAAC;AAED,SAAgB,EAAE,CAAC,IAAY,EAAE,EAAc;IAC7C,IAAI,CAAC;QACH,EAAE,EAAE,CAAC;QACL,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,YAAY,MAAM,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,CAAM,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,YAAY,MAAM,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;QACrF,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAgB,MAAM,CAAC,SAAkB,EAAE,UAAkB,kBAAkB;IAC7E,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,SAAgB,WAAW,CAAI,MAAS,EAAE,QAAW,EAAE,OAAgB;IACrE,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,YAAY,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACpG,CAAC;AACH,CAAC;AAED,SAAgB,cAAc,CAAC,GAAW,EAAE,SAAiB,EAAE,OAAgB;IAC7E,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,OAAO,IAAI,+BAA+B,SAAS,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACvG,CAAC;AACH,CAAC;AAED,OAAO;AACP,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACxB,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AAE1B,IAAA,wBAAY,GAAE,CAAC;AACf,IAAA,4BAAc,GAAE,CAAC;AACjB,IAAA,sBAAW,GAAE,CAAC;AAEd,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;AACpD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC;AACrD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;AAE7B,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AAC1B,OAAO,CAAC,GAAG,CAAC,UAAU,KAAK,cAAc,MAAM,cAAc,MAAM,EAAE,CAAC,CAAC;AAEvE,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;IACf,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;KAAM,CAAC;IACN,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC3C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC"}

package/dist/text-layer/compiler.d.ts

@@ -0,0 +1,19 @@
+import { Anchor, Passage, Formalization, Claim, Support, Confidence, Context, Formula, Theory, Diagnostic } from '../types';
+export interface TextLayerState {
+    passages: Map<string, Passage>;
+    formalizations: Map<string, Formalization>;
+    claims: Map<string, Claim>;
+    supports: Support[];
+    confidences: Confidence[];
+    contexts: Context[];
+}
+export declare function createTextLayerState(): TextLayerState;
+export declare function parseAnchorPath(raw: string): Anchor;
+export declare function registerPassage(state: TextLayerState, name: string, anchorPath: string): Diagnostic[];
+export declare function registerFormalization(state: TextLayerState, name: string, passageName: string, formula: Formula): Diagnostic[];
+export declare function registerClaim(state: TextLayerState, name: string, formula?: Formula, formalizationRef?: string): Diagnostic[];
+export declare function registerSupport(state: TextLayerState, claimName: string, sourceName: string): Diagnostic[];
+export declare function registerConfidence(state: TextLayerState, claimName: string, value: number): Diagnostic[];
+export declare function registerContext(state: TextLayerState, claimName: string, text: string): Diagnostic[];
+export declare function compileClaimsToTheory(state: TextLayerState, theory: Theory): Diagnostic[];
+//# sourceMappingURL=compiler.d.ts.map

package/dist/text-layer/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAC5E,MAAM,EAAE,UAAU,EACnB,MAAM,UAAU,CAAC;AAElB,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC3B,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,QAAQ,EAAE,OAAO,EAAE,CAAC;CACrB;AAED,wBAAgB,oBAAoB,IAAI,cAAc,CASrD;AAGD,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAcnD;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAId;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,UAAU,EAAE,CAYd;AAGD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,OAAO,EACjB,gBAAgB,CAAC,EAAE,MAAM,GACxB,UAAU,EAAE,CAYd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAmBd;AAGD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAyBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,EAAE,CAkBd;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,MAAM,GACb,UAAU,EAAE,CAqBd"}