@stevenvo780/st-lang 3.2.0 → 3.2.2

package/dist/tests/natural-deduction-workshop.test.js

@@ -0,0 +1,423 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const propositional_1 = require("../profiles/classical/propositional");
+function makeTheory(axioms) {
+    return {
+        profile: 'classical.propositional',
+        axioms: new Map(Object.entries(axioms)),
+        theorems: new Map(),
+        claims: new Map(),
+        judgments: [],
+    };
+}
+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] };
+}
+const workshopCases = [
+    {
+        id: 'mp',
+        title: 'P, P->Q ⊢ Q',
+        mode: 'derive',
+        goal: atom('Q'),
+        premises: ['mp1', 'mp2'],
+        theory: makeTheory({
+            mp1: implies(atom('P'), atom('Q')),
+            mp2: atom('P'),
+        }),
+        acceptableReasoningTypes: ['Modus Ponens'],
+        expectedRules: [{ formula: 'Q', justifications: ['Modus Ponens'], premises: [1, 2] }],
+    },
+    {
+        id: 'prove_chain',
+        title: 'P->Q, Q->R, P ⊢ R',
+        mode: 'prove',
+        goal: atom('R'),
+        premises: ['pr1', 'pr2', 'pr3'],
+        theory: makeTheory({
+            pr1: implies(atom('P'), atom('Q')),
+            pr2: implies(atom('Q'), atom('R')),
+            pr3: atom('P'),
+        }),
+        expectedRules: [
+            { formula: 'Q', justifications: ['Modus Ponens'], premises: [1, 3] },
+            { formula: 'R', justifications: ['Modus Ponens'], premises: [2, 4] },
+        ],
+    },
+    {
+        id: 'mt',
+        title: '!Q, P->Q ⊢ !P',
+        mode: 'derive',
+        goal: not(atom('P')),
+        premises: ['mt1', 'mt2'],
+        theory: makeTheory({
+            mt1: not(atom('Q')),
+            mt2: implies(atom('P'), atom('Q')),
+        }),
+        acceptableReasoningTypes: ['Modus Tollens'],
+        expectedRules: [{ formula: '!P', justifications: ['Modus Tollens'], premises: [1, 2] }],
+    },
+    {
+        id: 'ci',
+        title: 'P, Q ⊢ P & Q',
+        mode: 'derive',
+        goal: and(atom('P'), atom('Q')),
+        premises: ['ci1', 'ci2'],
+        theory: makeTheory({ ci1: atom('P'), ci2: atom('Q') }),
+        acceptableReasoningTypes: ['Introduccion de conjuncion'],
+        expectedRules: [
+            {
+                formula: '(P & Q)',
+                justifications: ['Introduccion de conjuncion'],
+                premises: [1, 2],
+            },
+        ],
+    },
+    {
+        id: 'ce',
+        title: 'P & Q ⊢ P',
+        mode: 'derive',
+        goal: atom('P'),
+        premises: ['ce1'],
+        theory: makeTheory({ ce1: and(atom('P'), atom('Q')) }),
+        acceptableReasoningTypes: ['Eliminacion de conjuncion'],
+        expectedRules: [{ formula: 'P', justifications: ['Eliminacion de conjuncion'], premises: [1] }],
+    },
+    {
+        id: 'di',
+        title: 'P ⊢ P | Q',
+        mode: 'derive',
+        goal: or(atom('P'), atom('Q')),
+        premises: ['di1'],
+        theory: makeTheory({ di1: atom('P') }),
+        acceptableReasoningTypes: ['Introduccion de disyuncion'],
+        expectedRules: [
+            { formula: '(P | Q)', justifications: ['Introduccion de disyuncion'], premises: [1] },
+        ],
+    },
+    {
+        id: 'sh',
+        title: 'P->Q, Q->R ⊢ P->R',
+        mode: 'derive',
+        goal: implies(atom('P'), atom('R')),
+        premises: ['sh1', 'sh2'],
+        theory: makeTheory({
+            sh1: implies(atom('P'), atom('Q')),
+            sh2: implies(atom('Q'), atom('R')),
+        }),
+        acceptableReasoningTypes: ['Silogismo hipotetico'],
+        expectedRules: [
+            { formula: '(P -> R)', justifications: ['Silogismo hipotetico'], premises: [1, 2] },
+        ],
+    },
+    {
+        id: 'pv',
+        title: 'P->Q, Q->R, P ⊢ R',
+        mode: 'derive',
+        goal: atom('R'),
+        premises: ['pv1', 'pv2', 'pv3'],
+        theory: makeTheory({
+            pv1: implies(atom('P'), atom('Q')),
+            pv2: implies(atom('Q'), atom('R')),
+            pv3: atom('P'),
+        }),
+        acceptableReasoningTypes: ['Modus Ponens'],
+        expectedRules: [
+            { formula: 'Q', justifications: ['Modus Ponens'], premises: [1, 3] },
+            { formula: 'R', justifications: ['Modus Ponens'], premises: [2, 4] },
+        ],
+    },
+    {
+        id: 'sd',
+        title: 'P | Q, !P ⊢ Q',
+        mode: 'derive',
+        goal: atom('Q'),
+        premises: ['sd1', 'sd2'],
+        theory: makeTheory({ sd1: or(atom('P'), atom('Q')), sd2: not(atom('P')) }),
+        acceptableReasoningTypes: ['Silogismo disyuntivo'],
+        expectedRules: [{ formula: 'Q', justifications: ['Silogismo disyuntivo'], premises: [1, 2] }],
+    },
+    {
+        id: 'ib',
+        title: 'P->Q, Q->P ⊢ P<->Q',
+        mode: 'derive',
+        goal: biconditional(atom('P'), atom('Q')),
+        premises: ['ib1', 'ib2'],
+        theory: makeTheory({
+            ib1: implies(atom('P'), atom('Q')),
+            ib2: implies(atom('Q'), atom('P')),
+        }),
+        acceptableReasoningTypes: ['Introduccion de bicondicional'],
+        expectedRules: [
+            {
+                formula: '(P <-> Q)',
+                justifications: ['Introduccion de bicondicional'],
+                premises: [1, 2],
+            },
+        ],
+    },
+    {
+        id: 'eb',
+        title: 'P<->Q, P ⊢ Q',
+        mode: 'derive',
+        goal: atom('Q'),
+        premises: ['eb1', 'eb2'],
+        theory: makeTheory({
+            eb1: biconditional(atom('P'), atom('Q')),
+            eb2: atom('P'),
+        }),
+        acceptableReasoningTypes: ['Eliminacion de bicondicional, Modus Ponens'],
+        expectedRules: [
+            {
+                formula: '(P -> Q)',
+                justifications: ['Eliminacion de bicondicional'],
+                premises: [1],
+            },
+            { formula: 'Q', justifications: ['Modus Ponens'], premises: [2, 3] },
+        ],
+    },
+    {
+        id: 'dc',
+        title: '(P->Q) & (R->S), P | R ⊢ Q | S',
+        mode: 'derive',
+        goal: or(atom('Q'), atom('S')),
+        premises: ['dc1', 'dc2'],
+        theory: makeTheory({
+            dc1: and(implies(atom('P'), atom('Q')), implies(atom('R'), atom('S'))),
+            dc2: or(atom('P'), atom('R')),
+        }),
+        acceptableReasoningTypes: ['Dilema Constructivo'],
+        expectedRules: [
+            { formula: '(Q | S)', justifications: ['Dilema Constructivo'], premises: [1, 2] },
+        ],
+    },
+    {
+        id: 'dd',
+        title: '(P->Q) & (R->S), !Q | !S ⊢ !P | !R',
+        mode: 'derive',
+        goal: or(not(atom('P')), not(atom('R'))),
+        premises: ['dd1', 'dd2'],
+        theory: makeTheory({
+            dd1: and(implies(atom('P'), atom('Q')), implies(atom('R'), atom('S'))),
+            dd2: or(not(atom('Q')), not(atom('S'))),
+        }),
+        acceptableReasoningTypes: ['Dilema Destructivo'],
+        expectedRules: [
+            {
+                formula: '(!P | !R)',
+                justifications: ['Dilema Destructivo'],
+                premises: [1, 2],
+            },
+        ],
+    },
+    {
+        id: 'ds',
+        title: 'P | Q, P->R, Q->R ⊢ R',
+        mode: 'derive',
+        goal: atom('R'),
+        premises: ['ds1', 'ds2', 'ds3'],
+        theory: makeTheory({
+            ds1: or(atom('P'), atom('Q')),
+            ds2: implies(atom('P'), atom('R')),
+            ds3: implies(atom('Q'), atom('R')),
+        }),
+        acceptableReasoningTypes: ['Dilema Simple'],
+        expectedRules: [
+            {
+                formula: 'R',
+                justifications: ['Dilema Simple'],
+                premises: [1, 2, 3],
+            },
+        ],
+    },
+    {
+        id: 'rs',
+        title: 'P | Q, !P | R ⊢ Q | R',
+        mode: 'derive',
+        goal: or(atom('Q'), atom('R')),
+        premises: ['rs1', 'rs2'],
+        theory: makeTheory({
+            rs1: or(atom('P'), atom('Q')),
+            rs2: or(not(atom('P')), atom('R')),
+        }),
+        acceptableReasoningTypes: ['Resolucion'],
+        expectedRules: [{ formula: '(Q | R)', justifications: ['Resolucion'], premises: [1, 2] }],
+    },
+    {
+        id: 'ex',
+        title: 'P, !P ⊢ Q',
+        mode: 'derive',
+        goal: atom('Q'),
+        premises: ['ex1', 'ex2'],
+        theory: makeTheory({ ex1: atom('P'), ex2: not(atom('P')) }),
+        acceptableReasoningTypes: ['Explosion'],
+        expectedRules: [{ formula: 'Q', justifications: ['Explosion'], premises: [1, 2] }],
+    },
+    {
+        id: 'dn',
+        title: '!!P ⊢ P',
+        mode: 'derive',
+        goal: atom('P'),
+        premises: ['dn1'],
+        theory: makeTheory({ dn1: not(not(atom('P'))) }),
+        acceptableReasoningTypes: ['Doble negacion'],
+        expectedRules: [{ formula: 'P', justifications: ['Doble negacion'], premises: [1] }],
+    },
+    {
+        id: 'idn',
+        title: 'P ⊢ !!P',
+        mode: 'derive',
+        goal: not(not(atom('P'))),
+        premises: ['idn1'],
+        theory: makeTheory({ idn1: atom('P') }),
+        acceptableReasoningTypes: ['Introduccion de doble negacion'],
+        expectedRules: [
+            {
+                formula: '!(!P)',
+                justifications: ['Introduccion de doble negacion'],
+                premises: [1],
+            },
+        ],
+    },
+    {
+        id: 'ii',
+        title: 'Q ⊢ P -> Q',
+        mode: 'derive',
+        goal: implies(atom('P'), atom('Q')),
+        premises: ['ii1'],
+        theory: makeTheory({ ii1: atom('Q') }),
+        acceptableReasoningTypes: ['Debilitamiento (B ⊢ A → B)'],
+        expectedRules: [
+            {
+                formula: '(P -> Q)',
+                justifications: ['Debilitamiento (B ⊢ A → B)'],
+                premises: [1],
+            },
+        ],
+    },
+    {
+        id: 'cp',
+        title: 'P -> Q ⊢ !Q -> !P',
+        mode: 'derive',
+        goal: implies(not(atom('Q')), not(atom('P'))),
+        premises: ['cp1'],
+        theory: makeTheory({ cp1: implies(atom('P'), atom('Q')) }),
+        acceptableReasoningTypes: ['Contraposicion'],
+        expectedRules: [{ formula: '(!Q -> !P)', justifications: ['Contraposicion'], premises: [1] }],
+    },
+    {
+        id: 'ab',
+        title: 'P -> Q ⊢ P -> (P & Q)',
+        mode: 'derive',
+        goal: implies(atom('P'), and(atom('P'), atom('Q'))),
+        premises: ['ab1'],
+        theory: makeTheory({ ab1: implies(atom('P'), atom('Q')) }),
+        acceptableReasoningTypes: ['Absorcion'],
+        expectedRules: [{ formula: '(P -> (P & Q))', justifications: ['Absorcion'], premises: [1] }],
+    },
+    {
+        id: 'expt',
+        title: '(P & Q) -> R ⊢ P -> (Q -> R)',
+        mode: 'derive',
+        goal: implies(atom('P'), implies(atom('Q'), atom('R'))),
+        premises: ['expt1'],
+        theory: makeTheory({ expt1: implies(and(atom('P'), atom('Q')), atom('R')) }),
+        acceptableReasoningTypes: ['Exportacion'],
+        expectedRules: [{ formula: '(P -> (Q -> R))', justifications: ['Exportacion'], premises: [1] }],
+    },
+    {
+        id: 'impt',
+        title: 'P -> (Q -> R) ⊢ (P & Q) -> R',
+        mode: 'derive',
+        goal: implies(and(atom('P'), atom('Q')), atom('R')),
+        premises: ['impt1'],
+        theory: makeTheory({ impt1: implies(atom('P'), implies(atom('Q'), atom('R'))) }),
+        acceptableReasoningTypes: ['Importacion'],
+        expectedRules: [{ formula: '((P & Q) -> R)', justifications: ['Importacion'], premises: [1] }],
+    },
+    {
+        id: 'dm1',
+        title: '!(P & Q) ⊢ !P | !Q',
+        mode: 'derive',
+        goal: or(not(atom('P')), not(atom('Q'))),
+        premises: ['dm1'],
+        theory: makeTheory({ dm1: not(and(atom('P'), atom('Q'))) }),
+        acceptableReasoningTypes: ['De Morgan (AND)'],
+        expectedRules: [{ formula: '(!P | !Q)', justifications: ['De Morgan (AND)'], premises: [1] }],
+    },
+    {
+        id: 'dm2',
+        title: '!(P | Q) ⊢ !P & !Q',
+        mode: 'derive',
+        goal: and(not(atom('P')), not(atom('Q'))),
+        premises: ['dm2'],
+        theory: makeTheory({ dm2: not(or(atom('P'), atom('Q'))) }),
+        acceptableReasoningTypes: ['De Morgan (OR)'],
+        expectedRules: [{ formula: '(!P & !Q)', justifications: ['De Morgan (OR)'], premises: [1] }],
+    },
+    {
+        id: 'raa',
+        title: 'P -> Q, P -> !Q ⊢ !P',
+        mode: 'derive',
+        goal: not(atom('P')),
+        premises: ['raa1', 'raa2'],
+        theory: makeTheory({
+            raa1: implies(atom('P'), atom('Q')),
+            raa2: implies(atom('P'), not(atom('Q'))),
+        }),
+        acceptableReasoningTypes: ['Reduccion al Absurdo (RAA)'],
+        expectedRules: [
+            {
+                formula: '!P',
+                justifications: ['Reduccion al Absurdo (RAA)'],
+                premises: [1, 2],
+            },
+        ],
+    },
+];
+(0, vitest_1.describe)('Classical propositional — natural deduction workshop from 01-clasica-proposicional', () => {
+    const cp = new propositional_1.ClassicalPropositional();
+    for (const workshopCase of workshopCases) {
+        (0, vitest_1.it)(`${workshopCase.id}: ${workshopCase.title}`, () => {
+            const result = workshopCase.mode === 'prove'
+                ? cp.prove(workshopCase.goal, workshopCase.theory, workshopCase.premises)
+                : cp.derive(workshopCase.goal, workshopCase.premises, workshopCase.theory);
+            (0, vitest_1.expect)(result.status).toBe('provable');
+            (0, vitest_1.expect)(result.proof?.method).toBe('natural_deduction');
+            (0, vitest_1.expect)(result.proof?.metadata?.semanticFallback).toBe(false);
+            if (workshopCase.acceptableReasoningTypes) {
+                (0, vitest_1.expect)(workshopCase.acceptableReasoningTypes).toContain(result.reasoningType ?? '');
+            }
+            const actualRules = (result.proof?.steps ?? [])
+                .filter((step) => step.source === 'rule')
+                .map((step) => ({
+                formula: (0, propositional_1.formulaToString)(step.formula),
+                justification: step.justification,
+                premises: step.premises,
+            }));
+            (0, vitest_1.expect)(actualRules).toHaveLength(workshopCase.expectedRules.length);
+            workshopCase.expectedRules.forEach((expectedRule, index) => {
+                const actualRule = actualRules[index];
+                (0, vitest_1.expect)(actualRule?.formula).toBe(expectedRule.formula);
+                (0, vitest_1.expect)(expectedRule.justifications).toContain(actualRule?.justification ?? '');
+                (0, vitest_1.expect)(actualRule?.premises).toEqual(expectedRule.premises);
+            });
+        });
+    }
+});
+//# sourceMappingURL=natural-deduction-workshop.test.js.map

package/dist/tests/natural-deduction-workshop.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"natural-deduction-workshop.test.js","sourceRoot":"","sources":["../../src/tests/natural-deduction-workshop.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,uEAA8F;AAG9F,SAAS,UAAU,CAAC,MAA+B;IACjD,OAAO;QACL,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;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,aAAa,CAAC,CAAU,EAAE,CAAU;IAC3C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AAmBD,MAAM,aAAa,GAAmB;IACpC;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;SACf,CAAC;QACF,wBAAwB,EAAE,CAAC,cAAc,CAAC;QAC1C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KACtF;IACD;QACE,EAAE,EAAE,aAAa;QACjB,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,OAAO;QACb,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;QAC/B,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;SACf,CAAC;QACF,aAAa,EAAE;YACb,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SACrE;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,wBAAwB,EAAE,CAAC,eAAe,CAAC;QAC3C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,eAAe,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KACxF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtD,wBAAwB,EAAE,CAAC,4BAA4B,CAAC;QACxD,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,SAAS;gBAClB,cAAc,EAAE,CAAC,4BAA4B,CAAC;gBAC9C,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aACjB;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACtD,wBAAwB,EAAE,CAAC,2BAA2B,CAAC;QACvD,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,2BAA2B,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChG;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,wBAAwB,EAAE,CAAC,4BAA4B,CAAC;QACxD,aAAa,EAAE;YACb,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,4BAA4B,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;SACtF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,wBAAwB,EAAE,CAAC,sBAAsB,CAAC;QAClD,aAAa,EAAE;YACb,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,sBAAsB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SACpF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;QAC/B,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;SACf,CAAC;QACF,wBAAwB,EAAE,CAAC,cAAc,CAAC;QAC1C,aAAa,EAAE;YACb,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SACrE;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1E,wBAAwB,EAAE,CAAC,sBAAsB,CAAC;QAClD,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,sBAAsB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KAC9F;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,wBAAwB,EAAE,CAAC,+BAA+B,CAAC;QAC3D,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,WAAW;gBACpB,cAAc,EAAE,CAAC,+BAA+B,CAAC;gBACjD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aACjB;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,cAAc;QACrB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;SACf,CAAC;QACF,wBAAwB,EAAE,CAAC,4CAA4C,CAAC;QACxE,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,UAAU;gBACnB,cAAc,EAAE,CAAC,8BAA8B,CAAC;gBAChD,QAAQ,EAAE,CAAC,CAAC,CAAC;aACd;YACD,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,cAAc,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SACrE;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,gCAAgC;QACvC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SAC9B,CAAC;QACF,wBAAwB,EAAE,CAAC,qBAAqB,CAAC;QACjD,aAAa,EAAE;YACb,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,qBAAqB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SAClF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,oCAAoC;QAC3C,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,wBAAwB,EAAE,CAAC,oBAAoB,CAAC;QAChD,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,WAAW;gBACpB,cAAc,EAAE,CAAC,oBAAoB,CAAC;gBACtC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aACjB;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC;QAC/B,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,wBAAwB,EAAE,CAAC,eAAe,CAAC;QAC3C,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,GAAG;gBACZ,cAAc,EAAE,CAAC,eAAe,CAAC;gBACjC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aACpB;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC;YACjB,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,wBAAwB,EAAE,CAAC,YAAY,CAAC;QACxC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KAC1F;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,WAAW;QAClB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC;QACxB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3D,wBAAwB,EAAE,CAAC,WAAW,CAAC;QACvC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;KACnF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,wBAAwB,EAAE,CAAC,gBAAgB,CAAC;QAC5C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrF;IACD;QACE,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,SAAS;QAChB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,QAAQ,EAAE,CAAC,MAAM,CAAC;QAClB,MAAM,EAAE,UAAU,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,wBAAwB,EAAE,CAAC,gCAAgC,CAAC;QAC5D,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,OAAO;gBAChB,cAAc,EAAE,CAAC,gCAAgC,CAAC;gBAClD,QAAQ,EAAE,CAAC,CAAC,CAAC;aACd;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,YAAY;QACnB,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,wBAAwB,EAAE,CAAC,4BAA4B,CAAC;QACxD,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,UAAU;gBACnB,cAAc,EAAE,CAAC,4BAA4B,CAAC;gBAC9C,QAAQ,EAAE,CAAC,CAAC,CAAC;aACd;SACF;KACF;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,mBAAmB;QAC1B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1D,wBAAwB,EAAE,CAAC,gBAAgB,CAAC;QAC5C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9F;IACD;QACE,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,uBAAuB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC1D,wBAAwB,EAAE,CAAC,WAAW,CAAC;QACvC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7F;IACD;QACE,EAAE,EAAE,MAAM;QACV,KAAK,EAAE,8BAA8B;QACrC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,QAAQ,EAAE,CAAC,OAAO,CAAC;QACnB,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC5E,wBAAwB,EAAE,CAAC,aAAa,CAAC;QACzC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChG;IACD;QACE,EAAE,EAAE,MAAM;QACV,KAAK,EAAE,8BAA8B;QACrC,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACnD,QAAQ,EAAE,CAAC,OAAO,CAAC;QACnB,MAAM,EAAE,UAAU,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,wBAAwB,EAAE,CAAC,aAAa,CAAC;QACzC,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/F;IACD;QACE,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,wBAAwB,EAAE,CAAC,iBAAiB,CAAC;QAC7C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9F;IACD;QACE,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,QAAQ,EAAE,CAAC,KAAK,CAAC;QACjB,MAAM,EAAE,UAAU,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1D,wBAAwB,EAAE,CAAC,gBAAgB,CAAC;QAC5C,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC7F;IACD;QACE,EAAE,EAAE,KAAK;QACT,KAAK,EAAE,sBAAsB;QAC7B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC;QAC1B,MAAM,EAAE,UAAU,CAAC;YACjB,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;SACzC,CAAC;QACF,wBAAwB,EAAE,CAAC,4BAA4B,CAAC;QACxD,aAAa,EAAE;YACb;gBACE,OAAO,EAAE,IAAI;gBACb,cAAc,EAAE,CAAC,4BAA4B,CAAC;gBAC9C,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aACjB;SACF;KACF;CACF,CAAC;AAEF,IAAA,iBAAQ,EAAC,oFAAoF,EAAE,GAAG,EAAE;IAClG,MAAM,EAAE,GAAG,IAAI,sCAAsB,EAAE,CAAC;IAExC,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,IAAA,WAAE,EAAC,GAAG,YAAY,CAAC,EAAE,KAAK,YAAY,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GACV,YAAY,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC;gBACzE,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;YAE/E,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACvC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;YACvD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAE7D,IAAI,YAAY,CAAC,wBAAwB,EAAE,CAAC;gBAC1C,IAAA,eAAM,EAAC,YAAY,CAAC,wBAAwB,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;YACtF,CAAC;YAED,MAAM,WAAW,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;iBAC5C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;iBACxC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACd,OAAO,EAAE,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC;gBACtC,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ;aACxB,CAAC,CAAC,CAAC;YAEN,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAEpE,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,KAAK,EAAE,EAAE;gBACzD,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,UAAU,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBACvD,IAAA,eAAM,EAAC,YAAY,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,UAAU,EAAE,aAAa,IAAI,EAAE,CAAC,CAAC;gBAC/E,IAAA,eAAM,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC9D,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/tests/result-bindings.test.js

@@ -22,6 +22,57 @@ const propositional_1 = require("../profiles/classical/propositional");
         (0, vitest_1.expect)(bindings.get('same')?.kind).toBe('number');
         (0, vitest_1.expect)(bindings.get('same')?.value).toBe(1);
     });
+    (0, vitest_1.it)('captures proof steps as list bindings and allows indexing them', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        axiom a1 = P -> Q
+        axiom a2 = P
+        let deriv = derive Q from {a1, a2}
+        let total = len(deriv.steps)
+        let third = at(deriv.steps, 2)
+        let thirdOk = formula_eq(third, Q)
+        let just = at(deriv.step_justifications, 2)
+        let refs = at(deriv.step_premises, 2)
+        let firstRef = at(refs, 0)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)(bindings.get('deriv.steps')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('deriv.steps_formulas')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('deriv.steps_count')?.value).toBe(3);
+        (0, vitest_1.expect)(bindings.get('deriv.proof_method')?.name).toBe('"natural_deduction"');
+        (0, vitest_1.expect)(bindings.get('deriv.semantic_fallback')?.value).toBe(0);
+        (0, vitest_1.expect)(bindings.get('total')?.value).toBe(3);
+        (0, vitest_1.expect)(bindings.get('third')?.kind).toBe('atom');
+        (0, vitest_1.expect)(bindings.get('third')?.name).toBe('Q');
+        (0, vitest_1.expect)(bindings.get('thirdOk')?.value).toBe(1);
+        (0, vitest_1.expect)(bindings.get('just')?.name).toBe('"Modus Ponens"');
+        (0, vitest_1.expect)(bindings.get('refs')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('firstRef')?.kind).toBe('number');
+        (0, vitest_1.expect)(bindings.get('firstRef')?.value).toBe(1);
+    });
+    (0, vitest_1.it)('allows numeric comparison helpers inside logical if branches', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        axiom a1 = P -> Q
+        axiom a2 = P
+        let deriv = derive Q from {a1, a2}
+        let third = at(deriv.steps, 2)
+
+        if valid formula_eq(third, Q) {
+          print "step_match"
+        }
+
+        if invalid formula_eq(third, P) {
+          print "step_diff"
+        }
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('step_match');
+        (0, vitest_1.expect)(out.stdout).toContain('step_diff');
+    });
     (0, vitest_1.it)('decomposes formulas into list values and supports indexing helpers', () => {
         const interp = new interpreter_1.Interpreter();
         const out = interp.execute(`

package/dist/tests/result-bindings.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"result-bindings.test.js","sourceRoot":"","sources":["../../src/tests/result-bindings.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAAqD;AACrD,uEAAsE;AAEtE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;OAOC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"result-bindings.test.js","sourceRoot":"","sources":["../../src/tests/result-bindings.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAAqD;AACrD,uEAAsE;AAEtE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;OAOC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;;;;;OAWC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,mBAAmB,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,yBAAyB,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;;;;;;;;OAcC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "3.2.0",
+  "version": "3.2.2",
   "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -27,7 +27,7 @@
     }
   },
   "bin": {
-    "st": "./bin/st"
+    "st": "./dist/cli/index.js"
   },
   "pkg": {
     "scripts": [
@@ -39,12 +39,11 @@
   },
   "files": [
     "dist",
-    "bin",
     "README.md",
     "LICENSE"
   ],
   "scripts": {
-    "build": "tsc",
+    "build": "tsc && chmod +x dist/cli/index.js",
     "dev": "tsc --watch",
     "start": "node dist/cli/index.js",
     "test": "vitest run",