@stevenvo780/st-lang 0.3.0

package/dist/repl/repl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl.js","sourceRoot":"","sources":["../../src/repl/repl.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6CAA6C;AAC7C,+DAA+D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,mDAAqC;AACrC,wDAAqD;AACrD,uEAAsE;AACtE,qDAAiD;AAEjD,MAAa,IAAI;IACP,WAAW,CAAc;IACzB,EAAE,GAA8B,IAAI,CAAC;IAE7C;QACE,IAAI,CAAC,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACvC,CAAC;IAED,KAAK;QACH,IAAI,CAAC,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC;YACjC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;QACpE,OAAO,CAAC,GAAG,CAAC,sDAAsD,CAAC,CAAC;QAEpE,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;QAEjB,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YAE5B,+BAA+B;YAC/B,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;gBAChC,IAAI,CAAC,EAAG,CAAC,MAAM,EAAE,CAAC;gBAClB,OAAO;YACT,CAAC;YAED,4CAA4C;YAC5C,IAAI,OAAO,KAAK,EAAE,IAAI,MAAM,KAAK,EAAE,EAAE,CAAC;gBACpC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;gBAC3B,MAAM,GAAG,EAAE,CAAC;gBACZ,IAAI,CAAC,EAAG,CAAC,MAAM,EAAE,CAAC;gBAClB,OAAO;YACT,CAAC;YAED,IAAI,OAAO,KAAK,EAAE,EAAE,CAAC;gBACnB,IAAI,CAAC,EAAG,CAAC,MAAM,EAAE,CAAC;gBAClB,OAAO;YACT,CAAC;YAED,8BAA8B;YAC9B,6DAA6D;YAC7D,MAAM,GAAG,OAAO,CAAC;YACjB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC3B,MAAM,GAAG,EAAE,CAAC;YACZ,IAAI,CAAC,EAAG,CAAC,MAAM,EAAE,CAAC;QACpB,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACvB,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,aAAa,CAAC,MAAc;QAClC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QAEtD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,OAAO,CAAC,KAAK,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3C,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACnC,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,GAAW;QACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAEvC,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,OAAO,CAAC;YACb,KAAK,IAAI;gBACP,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjB,MAAM;YAER,KAAK,OAAO,CAAC;YACb,KAAK,IAAI,CAAC;YACV,KAAK,OAAO;gBACV,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACtB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAChB,MAAM;YAER,KAAK,WAAW;gBACd,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;gBACrC,KAAK,MAAM,IAAI,IAAI,oBAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,oBAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAC7B,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;gBACrD,CAAC;gBACD,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnB,MAAM;YAER,KAAK,QAAQ;gBACX,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;gBAClC,MAAM;YAER,KAAK,UAAU;gBACb,MAAM,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;gBACxC,IAAI,CAAC,EAAE,CAAC;oBACN,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC;gBAC3D,CAAC;gBACD,MAAM;YAER,KAAK,SAAS;gBACZ,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnB,MAAM;YAER;gBACE,OAAO,CAAC,GAAG,CAAC,wBAAwB,OAAO,oCAAoC,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IAEO,SAAS;QACf,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqCf,CAAC,CAAC;IACD,CAAC;IAEO,WAAW;QACjB,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;QAE9C,OAAO,CAAC,GAAG,CAAC,WAAW,OAAO,EAAE,IAAI,IAAI,WAAW,EAAE,CAAC,CAAC;QAEvD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAC5C,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAC9C,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,MAAM,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAEO,WAAW;QACjB,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QAE3C,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;gBACpC,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;gBAClC,IAAI,IAAI,GAAG,IAAI,CAAC;gBAChB,IAAI,CAAC,CAAC,OAAO;oBAAE,IAAI,IAAI,MAAM,IAAA,+BAAe,EAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,IAAI,CAAC,CAAC,OAAO;oBAAE,IAAI,IAAI,cAAc,CAAC,CAAC,OAAO,GAAG,CAAC;gBAClD,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;oBAAE,IAAI,IAAI,gBAAgB,CAAC,CAAC,UAAU,GAAG,CAAC;gBACxE,IAAI,CAAC,CAAC,OAAO;oBAAE,IAAI,IAAI,gBAAgB,CAAC,CAAC,OAAO,IAAI,CAAC;gBACrD,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAvND,oBAuNC"}

package/dist/runtime/interpreter.d.ts

@@ -0,0 +1,41 @@
+import { Theory, ExecutionOutput, LogicProfile } from '../types';
+import { TextLayerState } from '../text-layer/compiler';
+export declare class Interpreter {
+    private theory;
+    private profile;
+    private textLayer;
+    private diagnostics;
+    private results;
+    private stdoutLines;
+    constructor();
+    private createEmptyTheory;
+    reset(): void;
+    execute(source: string, file?: string): ExecutionOutput;
+    executeSingle(source: string): ExecutionOutput;
+    private executeStatement;
+    private requireProfile;
+    private execLogicDecl;
+    private execAxiomDecl;
+    private execTheoremDecl;
+    private execDeriveCmd;
+    private execCheckValidCmd;
+    private execCheckSatisfiableCmd;
+    private execCheckEquivalentCmd;
+    private execProveCmd;
+    private execCountermodelCmd;
+    private execTruthTableCmd;
+    private execLetDecl;
+    private execClaimDecl;
+    private execSupportDecl;
+    private execConfidenceDecl;
+    private execContextDecl;
+    private execRenderCmd;
+    private emit;
+    private emitResult;
+    private statusIcon;
+    private formatTruthTable;
+    getTheory(): Theory;
+    getProfile(): LogicProfile | null;
+    getTextLayer(): TextLayerState;
+}
+//# sourceMappingURL=interpreter.d.ts.map

package/dist/runtime/interpreter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.d.ts","sourceRoot":"","sources":["../../src/runtime/interpreter.ts"],"names":[],"mappings":"AAIA,OAAO,EACI,MAAM,EAAyB,eAAe,EACvD,YAAY,EACb,MAAM,UAAU,CAAC;AAQlB,OAAO,EACL,cAAc,EAIf,MAAM,wBAAwB,CAAC;AAkBhC,qBAAa,WAAW;IACtB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,SAAS,CAAiB;IAClC,OAAO,CAAC,WAAW,CAAoB;IACvC,OAAO,CAAC,OAAO,CAAmB;IAClC,OAAO,CAAC,WAAW,CAAgB;;IAQnC,OAAO,CAAC,iBAAiB;IAUzB,KAAK,IAAI,IAAI;IASb,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,MAAkB,GAAG,eAAe;IA4ClE,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,eAAe;IAqC9C,OAAO,CAAC,gBAAgB;IAqCxB,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,aAAa;IAQrB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,iBAAiB;IAOzB,OAAO,CAAC,uBAAuB;IAO/B,OAAO,CAAC,sBAAsB;IAU9B,OAAO,CAAC,YAAY;IAOpB,OAAO,CAAC,mBAAmB;IAO3B,OAAO,CAAC,iBAAiB;IAiBzB,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,kBAAkB;IAM1B,OAAO,CAAC,eAAe;IAMvB,OAAO,CAAC,aAAa;IASrB,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,UAAU;IAoBlB,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,gBAAgB;IAyBxB,SAAS,IAAI,MAAM;IACnB,UAAU,IAAI,YAAY,GAAG,IAAI;IACjC,YAAY,IAAI,cAAc;CAC/B"}

package/dist/runtime/interpreter.js

@@ -0,0 +1,355 @@
+"use strict";
+// ============================================================
+// ST Runtime — Intérprete de scripts .st
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Interpreter = void 0;
+const parser_1 = require("../parser/parser");
+const interface_1 = require("../profiles/interface");
+const propositional_1 = require("../profiles/classical/propositional");
+const first_order_1 = require("../profiles/classical/first-order");
+const k_1 = require("../profiles/modal/k");
+const belnap_1 = require("../profiles/paraconsistent/belnap");
+const compiler_1 = require("../text-layer/compiler");
+// Registrar todos los perfiles
+function ensureProfilesRegistered() {
+    if (!interface_1.registry.has('classical.propositional')) {
+        interface_1.registry.register(new propositional_1.ClassicalPropositional());
+    }
+    if (!interface_1.registry.has('classical.first_order')) {
+        interface_1.registry.register(new first_order_1.ClassicalFirstOrder());
+    }
+    if (!interface_1.registry.has('modal.k')) {
+        interface_1.registry.register(new k_1.ModalK());
+    }
+    if (!interface_1.registry.has('paraconsistent.belnap')) {
+        interface_1.registry.register(new belnap_1.ParaconsistentBelnap());
+    }
+}
+class Interpreter {
+    theory;
+    profile = null;
+    textLayer;
+    diagnostics = [];
+    results = [];
+    stdoutLines = [];
+    constructor() {
+        this.theory = this.createEmptyTheory();
+        this.textLayer = (0, compiler_1.createTextLayerState)();
+        ensureProfilesRegistered();
+    }
+    createEmptyTheory() {
+        return {
+            profile: '',
+            axioms: new Map(),
+            theorems: new Map(),
+            claims: new Map(),
+            judgments: [],
+        };
+    }
+    reset() {
+        this.theory = this.createEmptyTheory();
+        this.textLayer = (0, compiler_1.createTextLayerState)();
+        this.diagnostics = [];
+        this.results = [];
+        this.stdoutLines = [];
+        this.profile = null;
+    }
+    execute(source, file = '<stdin>') {
+        this.diagnostics = [];
+        this.results = [];
+        this.stdoutLines = [];
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        this.diagnostics.push(...parser.diagnostics);
+        if (parser.diagnostics.some(d => d.severity === 'error')) {
+            return {
+                stdout: '',
+                stderr: this.diagnostics.filter(d => d.severity === 'error').map(d => d.message).join('\n'),
+                exitCode: 1,
+                diagnostics: this.diagnostics,
+                results: [],
+            };
+        }
+        for (const stmt of program.statements) {
+            try {
+                this.executeStatement(stmt);
+            }
+            catch (e) {
+                this.diagnostics.push({
+                    severity: 'error',
+                    message: e.message || 'Error de runtime',
+                    file,
+                    line: stmt.source.line,
+                    column: stmt.source.column,
+                });
+            }
+        }
+        const hasErrors = this.diagnostics.some(d => d.severity === 'error');
+        return {
+            stdout: this.stdoutLines.join('\n'),
+            stderr: this.diagnostics.filter(d => d.severity === 'error').map(d => d.message).join('\n'),
+            exitCode: hasErrors ? 3 : 0,
+            diagnostics: this.diagnostics,
+            results: this.results,
+        };
+    }
+    // Ejecutar un solo statement (para REPL)
+    executeSingle(source) {
+        const parser = new parser_1.Parser('<repl>');
+        const program = parser.parse(source);
+        this.diagnostics = [...parser.diagnostics];
+        this.results = [];
+        this.stdoutLines = [];
+        if (parser.diagnostics.some(d => d.severity === 'error')) {
+            return {
+                stdout: '',
+                stderr: parser.diagnostics.map(d => d.message).join('\n'),
+                exitCode: 1,
+                diagnostics: this.diagnostics,
+                results: [],
+            };
+        }
+        for (const stmt of program.statements) {
+            try {
+                this.executeStatement(stmt);
+            }
+            catch (e) {
+                this.diagnostics.push({
+                    severity: 'error',
+                    message: e.message || 'Error de runtime',
+                });
+            }
+        }
+        return {
+            stdout: this.stdoutLines.join('\n'),
+            stderr: this.diagnostics.filter(d => d.severity === 'error').map(d => d.message).join('\n'),
+            exitCode: this.diagnostics.some(d => d.severity === 'error') ? 3 : 0,
+            diagnostics: this.diagnostics,
+            results: this.results,
+        };
+    }
+    executeStatement(stmt) {
+        switch (stmt.kind) {
+            case 'logic_decl':
+                return this.execLogicDecl(stmt);
+            case 'axiom_decl':
+                return this.execAxiomDecl(stmt);
+            case 'theorem_decl':
+                return this.execTheoremDecl(stmt);
+            case 'derive_cmd':
+                return this.execDeriveCmd(stmt);
+            case 'check_valid_cmd':
+                return this.execCheckValidCmd(stmt);
+            case 'check_satisfiable_cmd':
+                return this.execCheckSatisfiableCmd(stmt);
+            case 'check_equivalent_cmd':
+                return this.execCheckEquivalentCmd(stmt);
+            case 'prove_cmd':
+                return this.execProveCmd(stmt);
+            case 'countermodel_cmd':
+                return this.execCountermodelCmd(stmt);
+            case 'truth_table_cmd':
+                return this.execTruthTableCmd(stmt);
+            case 'let_decl':
+                return this.execLetDecl(stmt);
+            case 'claim_decl':
+                return this.execClaimDecl(stmt);
+            case 'support_decl':
+                return this.execSupportDecl(stmt);
+            case 'confidence_decl':
+                return this.execConfidenceDecl(stmt);
+            case 'context_decl':
+                return this.execContextDecl(stmt);
+            case 'render_cmd':
+                return this.execRenderCmd(stmt);
+        }
+    }
+    requireProfile() {
+        if (!this.profile) {
+            throw new Error('No se ha declarado un perfil logico. Use: logic <perfil>');
+        }
+        return this.profile;
+    }
+    execLogicDecl(stmt) {
+        const p = interface_1.registry.get(stmt.profile);
+        if (!p) {
+            throw new Error(`Perfil logico desconocido: '${stmt.profile}'. Disponibles: ${interface_1.registry.list().join(', ')}`);
+        }
+        this.profile = p;
+        this.theory.profile = stmt.profile;
+        this.emit(`Perfil logico: ${stmt.profile}`);
+    }
+    execAxiomDecl(stmt) {
+        this.requireProfile();
+        const diags = this.profile.checkWellFormed(stmt.formula);
+        this.diagnostics.push(...diags);
+        this.theory.axioms.set(stmt.name, stmt.formula);
+        this.emit(`Axioma ${stmt.name} = ${(0, propositional_1.formulaToString)(stmt.formula)}`);
+    }
+    execTheoremDecl(stmt) {
+        this.requireProfile();
+        const diags = this.profile.checkWellFormed(stmt.formula);
+        this.diagnostics.push(...diags);
+        this.theory.theorems.set(stmt.name, stmt.formula);
+        this.emit(`Teorema ${stmt.name} = ${(0, propositional_1.formulaToString)(stmt.formula)}`);
+    }
+    execDeriveCmd(stmt) {
+        const profile = this.requireProfile();
+        const result = profile.derive(stmt.goal, stmt.premises, this.theory);
+        this.results.push(result);
+        this.emitResult('derive', result);
+    }
+    execCheckValidCmd(stmt) {
+        const profile = this.requireProfile();
+        const result = profile.checkValid(stmt.formula);
+        this.results.push(result);
+        this.emitResult('check valid', result);
+    }
+    execCheckSatisfiableCmd(stmt) {
+        const profile = this.requireProfile();
+        const result = profile.checkSatisfiable(stmt.formula);
+        this.results.push(result);
+        this.emitResult('check satisfiable', result);
+    }
+    execCheckEquivalentCmd(stmt) {
+        const profile = this.requireProfile();
+        if (!profile.checkEquivalent) {
+            throw new Error('Este perfil no soporta check equivalent');
+        }
+        const result = profile.checkEquivalent(stmt.left, stmt.right);
+        this.results.push(result);
+        this.emitResult('check equivalent', result);
+    }
+    execProveCmd(stmt) {
+        const profile = this.requireProfile();
+        const result = profile.prove(stmt.goal, this.theory);
+        this.results.push(result);
+        this.emitResult('prove', result);
+    }
+    execCountermodelCmd(stmt) {
+        const profile = this.requireProfile();
+        const result = profile.countermodel(stmt.formula);
+        this.results.push(result);
+        this.emitResult('countermodel', result);
+    }
+    execTruthTableCmd(stmt) {
+        const profile = this.requireProfile();
+        if (!profile.truthTable) {
+            throw new Error('Este perfil no soporta truth_table');
+        }
+        const tt = profile.truthTable(stmt.formula);
+        const result = {
+            status: tt.isTautology ? 'valid' : tt.isSatisfiable ? 'satisfiable' : 'unsatisfiable',
+            output: this.formatTruthTable(stmt.formula, tt),
+            truthTable: tt,
+            diagnostics: [],
+            formula: stmt.formula,
+        };
+        this.results.push(result);
+        this.emit(result.output);
+    }
+    execLetDecl(stmt) {
+        if (stmt.letType === 'passage') {
+            const diags = (0, compiler_1.registerPassage)(this.textLayer, stmt.name, stmt.anchorPath);
+            this.diagnostics.push(...diags);
+            this.emit(`Passage ${stmt.name} = [[${stmt.anchorPath}]]`);
+        }
+        else if (stmt.letType === 'formalize') {
+            const diags = (0, compiler_1.registerFormalization)(this.textLayer, stmt.name, stmt.passageName, stmt.formula);
+            this.diagnostics.push(...diags);
+            this.emit(`Formalizacion ${stmt.name}: ${stmt.passageName} -> ${(0, propositional_1.formulaToString)(stmt.formula)}`);
+        }
+    }
+    execClaimDecl(stmt) {
+        const diags = (0, compiler_1.registerClaim)(this.textLayer, stmt.name, stmt.formula, stmt.value);
+        this.diagnostics.push(...diags);
+        // También agregar al theory.claims
+        const claim = { name: stmt.name, formula: stmt.formula };
+        this.theory.claims.set(stmt.name, claim);
+        this.emit(`Claim ${stmt.name} registrado`);
+    }
+    execSupportDecl(stmt) {
+        const diags = (0, compiler_1.registerSupport)(this.textLayer, stmt.claimName, stmt.sourceName);
+        this.diagnostics.push(...diags);
+        this.emit(`Support: ${stmt.claimName} <- ${stmt.sourceName}`);
+    }
+    execConfidenceDecl(stmt) {
+        const diags = (0, compiler_1.registerConfidence)(this.textLayer, stmt.claimName, stmt.value);
+        this.diagnostics.push(...diags);
+        this.emit(`Confidence: ${stmt.claimName} = ${stmt.value}`);
+    }
+    execContextDecl(stmt) {
+        const diags = (0, compiler_1.registerContext)(this.textLayer, stmt.claimName, stmt.text);
+        this.diagnostics.push(...diags);
+        this.emit(`Context: ${stmt.claimName} = "${stmt.text}"`);
+    }
+    execRenderCmd(stmt) {
+        // Compilar claims y renderizar
+        const diags = (0, compiler_1.compileClaimsToTheory)(this.textLayer, this.theory);
+        this.diagnostics.push(...diags);
+        this.emit(`Render: ${stmt.target} (format: ${stmt.format})`);
+    }
+    // --- Output helpers ---
+    emit(msg) {
+        this.stdoutLines.push(msg);
+    }
+    emitResult(cmd, result) {
+        const statusIcon = this.statusIcon(result.status);
+        this.emit(`${statusIcon} [${cmd}] ${result.output || result.status}`);
+        if (result.proof && result.proof.steps.length > 0) {
+            this.emit('  Prueba:');
+            for (const step of result.proof.steps) {
+                const premisesStr = step.premises.length > 0 ? ` [de ${step.premises.join(', ')}]` : '';
+                this.emit(`    ${step.stepNumber}. ${(0, propositional_1.formulaToString)(step.formula)}  — ${step.justification}${premisesStr}`);
+            }
+        }
+        if (result.model && result.model.valuation) {
+            this.emit('  Modelo:');
+            for (const [k, v] of Object.entries(result.model.valuation)) {
+                this.emit(`    ${k} = ${v}`);
+            }
+        }
+    }
+    statusIcon(status) {
+        switch (status) {
+            case 'valid': return '✓';
+            case 'invalid': return '✗';
+            case 'satisfiable': return '◎';
+            case 'unsatisfiable': return '⊘';
+            case 'provable': return '✓';
+            case 'refutable': return '✗';
+            case 'unknown': return '?';
+            case 'error': return '⚠';
+            default: return '•';
+        }
+    }
+    formatTruthTable(formula, tt) {
+        const lines = [];
+        const header = [...tt.variables, (0, propositional_1.formulaToString)(formula)];
+        const colWidths = header.map(h => Math.max(h.length, 5));
+        // Header
+        lines.push(header.map((h, i) => h.padEnd(colWidths[i])).join(' | '));
+        lines.push(colWidths.map(w => '-'.repeat(w)).join('-+-'));
+        // Rows
+        for (const row of tt.rows) {
+            const vals = tt.variables.map(v => (row.valuation[v] ? 'T' : 'F'));
+            vals.push(row.result ? 'T' : 'F');
+            lines.push(vals.map((v, i) => v.padEnd(colWidths[i])).join(' | '));
+        }
+        lines.push('');
+        if (tt.isTautology)
+            lines.push('→ Tautologia');
+        else if (tt.isContradiction)
+            lines.push('→ Contradiccion');
+        else
+            lines.push('→ Contingente (satisfacible)');
+        return lines.join('\n');
+    }
+    // Getters para el estado (usados por REPL)
+    getTheory() { return this.theory; }
+    getProfile() { return this.profile; }
+    getTextLayer() { return this.textLayer; }
+}
+exports.Interpreter = Interpreter;
+//# sourceMappingURL=interpreter.js.map

package/dist/runtime/interpreter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.js","sourceRoot":"","sources":["../../src/runtime/interpreter.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;;;AAM/D,6CAA0C;AAE1C,qDAAiD;AACjD,uEAA8F;AAC9F,mEAAwE;AACxE,2CAA6C;AAC7C,8DAAyE;AACzE,qDAKgC;AAEhC,+BAA+B;AAC/B,SAAS,wBAAwB;IAC/B,IAAI,CAAC,oBAAQ,CAAC,GAAG,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC7C,oBAAQ,CAAC,QAAQ,CAAC,IAAI,sCAAsB,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC,oBAAQ,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC3C,oBAAQ,CAAC,QAAQ,CAAC,IAAI,iCAAmB,EAAE,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,CAAC,oBAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7B,oBAAQ,CAAC,QAAQ,CAAC,IAAI,UAAM,EAAE,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,CAAC,oBAAQ,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC3C,oBAAQ,CAAC,QAAQ,CAAC,IAAI,6BAAoB,EAAE,CAAC,CAAC;IAChD,CAAC;AACH,CAAC;AAED,MAAa,WAAW;IACd,MAAM,CAAS;IACf,OAAO,GAAwB,IAAI,CAAC;IACpC,SAAS,CAAiB;IAC1B,WAAW,GAAiB,EAAE,CAAC;IAC/B,OAAO,GAAgB,EAAE,CAAC;IAC1B,WAAW,GAAa,EAAE,CAAC;IAEnC;QACE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvC,IAAI,CAAC,SAAS,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACxC,wBAAwB,EAAE,CAAC;IAC7B,CAAC;IAEO,iBAAiB;QACvB,OAAO;YACL,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,SAAS,EAAE,EAAE;SACd,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvC,IAAI,CAAC,SAAS,GAAG,IAAA,+BAAoB,GAAE,CAAC;QACxC,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IAED,OAAO,CAAC,MAAc,EAAE,OAAe,SAAS;QAC9C,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QAEtB,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAE7C,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;YACzD,OAAO;gBACL,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC3F,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBACpB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,kBAAkB;oBACxC,IAAI;oBACJ,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI;oBACtB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QACrE,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3F,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3B,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;IACJ,CAAC;IAED,yCAAyC;IACzC,aAAa,CAAC,MAAc;QAC1B,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,CAAC,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAC3C,IAAI,CAAC,OAAO,GAAG,EAAE,CAAC;QAClB,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QAEtB,IAAI,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,EAAE,CAAC;YACzD,OAAO;gBACL,MAAM,EAAE,EAAE;gBACV,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzD,QAAQ,EAAE,CAAC;gBACX,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,OAAO,EAAE,EAAE;aACZ,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBACpB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,kBAAkB;iBACzC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YACnC,MAAM,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3F,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpE,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;IACJ,CAAC;IAEO,gBAAgB,CAAC,IAAe;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,uBAAuB;gBAC1B,OAAO,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,sBAAsB;gBACzB,OAAO,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;YACjC,KAAK,kBAAkB;gBACrB,OAAO,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACxC,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACtC,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClC,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YACvC,KAAK,cAAc;gBACjB,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;YACpC,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAEO,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;QAC9E,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAEO,aAAa,CAAC,IAAS;QAC7B,MAAM,CAAC,GAAG,oBAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,OAAO,mBAAmB,oBAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;QACjB,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,kBAAkB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9C,CAAC;IAEO,aAAa,CAAC,IAAS;QAC7B,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,IAAI,MAAM,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IAEO,eAAe,CAAC,IAAS;QAC/B,IAAI,CAAC,cAAc,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,OAAQ,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,MAAM,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IAEO,aAAa,CAAC,IAAS;QAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACrE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAEO,iBAAiB,CAAC,IAAS;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAEO,uBAAuB,CAAC,IAAS;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,mBAAmB,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAEO,sBAAsB,CAAC,IAAS;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,eAAe,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;IAEO,YAAY,CAAC,IAAS;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAEO,mBAAmB,CAAC,IAAS;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IAC1C,CAAC;IAEO,iBAAiB,CAAC,IAAS;QACjC,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAc;YACxB,MAAM,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe;YACrF,MAAM,EAAE,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,UAAU,EAAE,EAAE;YACd,WAAW,EAAE,EAAE;YACf,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAO,CAAC,CAAC;IAC5B,CAAC;IAEO,WAAW,CAAC,IAAS;QAC3B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAC1E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QAC7D,CAAC;aAAM,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,IAAA,gCAAqB,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/F,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;YAChC,IAAI,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,OAAO,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;IACH,CAAC;IAEO,aAAa,CAAC,IAAS;QAC7B,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAEhC,mCAAmC;QACnC,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;QAChE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,aAAa,CAAC,CAAC;IAC7C,CAAC;IAEO,eAAe,CAAC,IAAS;QAC/B,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAChE,CAAC;IAEO,kBAAkB,CAAC,IAAS;QAClC,MAAM,KAAK,GAAG,IAAA,6BAAkB,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IAEO,eAAe,CAAC,IAAS;QAC/B,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,SAAS,OAAO,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;IAC3D,CAAC;IAEO,aAAa,CAAC,IAAS;QAC7B,+BAA+B;QAC/B,MAAM,KAAK,GAAG,IAAA,gCAAqB,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,MAAM,aAAa,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/D,CAAC;IAED,yBAAyB;IAEjB,IAAI,CAAC,GAAW;QACtB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAEO,UAAU,CAAC,GAAW,EAAE,MAAiB;QAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,KAAK,GAAG,KAAK,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAEtE,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxF,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,UAAU,KAAK,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,aAAa,GAAG,WAAW,EAAE,CAAC,CAAC;YAC/G,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACvB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;IACH,CAAC;IAEO,UAAU,CAAC,MAAc;QAC/B,QAAQ,MAAM,EAAE,CAAC;YACf,KAAK,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;YACzB,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,aAAa,CAAC,CAAC,OAAO,GAAG,CAAC;YAC/B,KAAK,eAAe,CAAC,CAAC,OAAO,GAAG,CAAC;YACjC,KAAK,UAAU,CAAC,CAAC,OAAO,GAAG,CAAC;YAC5B,KAAK,WAAW,CAAC,CAAC,OAAO,GAAG,CAAC;YAC7B,KAAK,SAAS,CAAC,CAAC,OAAO,GAAG,CAAC;YAC3B,KAAK,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;YACzB,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,OAAgB,EAAE,EAAoB;QAC7D,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,IAAA,+BAAe,EAAC,OAAO,CAAC,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QAEzD,SAAS;QACT,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAE1D,OAAO;QACP,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,IAAI,EAAE,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;aAC1C,IAAI,EAAE,CAAC,eAAe;YAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;;YACtD,KAAK,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAEhD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,2CAA2C;IAC3C,SAAS,KAAa,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3C,UAAU,KAA0B,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,YAAY,KAAqB,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;CAC1D;AAzWD,kCAyWC"}

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

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

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

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

package/dist/tests/cli.test.js

@@ -0,0 +1,184 @@
+"use strict";
+// ============================================================
+// ST Tests — CLI / Integration (ejecutan el intérprete completo)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runCLITests = runCLITests;
+const runner_1 = require("./runner");
+const interpreter_1 = require("../runtime/interpreter");
+function runCLITests() {
+    (0, runner_1.describe)('Interpreter — script completo (criterio de exito 02)', () => {
+        (0, runner_1.it)('ejecuta el script de criterio de exito del Logic Core', () => {
+            const source = `
+logic classical.propositional
+
+axiom a1 = P -> Q
+axiom a2 = P
+
+derive Q from {a1, a2}
+check valid ((P -> Q) -> (!Q -> !P))
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source, 'test.st');
+            (0, runner_1.assertEqual)(output.exitCode, 0, `Exit code deberia ser 0, fue ${output.exitCode}. stderr: ${output.stderr}`);
+            (0, runner_1.assertIncludes)(output.stdout, 'Perfil logico: classical.propositional');
+            (0, runner_1.assertIncludes)(output.stdout, 'derivado');
+            // El check valid debe dar valid (es contraposicion, tautologia)
+            const validResult = output.results.find(r => r.status === 'valid');
+            (0, runner_1.assert)(validResult !== undefined, 'Deberia haber un resultado valid');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — derivaciones', () => {
+        (0, runner_1.it)('Modus Ponens simple', () => {
+            const source = `
+logic classical.propositional
+axiom a1 = P -> Q
+axiom a2 = P
+derive Q from {a1, a2}
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.exitCode, 0);
+            const deriveResult = output.results[0];
+            (0, runner_1.assertEqual)(deriveResult.status, 'provable');
+        });
+        (0, runner_1.it)('derivacion que falla', () => {
+            const source = `
+logic classical.propositional
+axiom a1 = P
+derive Q from {a1}
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            const deriveResult = output.results[0];
+            (0, runner_1.assertEqual)(deriveResult.status, 'refutable');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — check valid', () => {
+        (0, runner_1.it)('tautologia detectada', () => {
+            const source = `
+logic classical.propositional
+check valid (P | !P)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'valid');
+        });
+        (0, runner_1.it)('contingente detectada', () => {
+            const source = `
+logic classical.propositional
+check valid (P -> Q)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'invalid');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — check satisfiable', () => {
+        (0, runner_1.it)('satisfacible', () => {
+            const source = `
+logic classical.propositional
+check satisfiable (P & Q)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'satisfiable');
+        });
+        (0, runner_1.it)('insatisfacible (contradiccion)', () => {
+            const source = `
+logic classical.propositional
+check satisfiable (P & !P)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'unsatisfiable');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — countermodel', () => {
+        (0, runner_1.it)('encuentra contramodelo', () => {
+            const source = `
+logic classical.propositional
+countermodel (P -> Q)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'invalid');
+            (0, runner_1.assert)(output.results[0].model !== undefined, 'Debe dar modelo');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — truth_table', () => {
+        (0, runner_1.it)('genera tabla de verdad', () => {
+            const source = `
+logic classical.propositional
+truth_table (P & Q)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertIncludes)(output.stdout, 'P');
+            (0, runner_1.assertIncludes)(output.stdout, 'Q');
+            (0, runner_1.assertIncludes)(output.stdout, 'T');
+            (0, runner_1.assertIncludes)(output.stdout, 'F');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — text layer completo', () => {
+        (0, runner_1.it)('ejecuta script con text layer (criterio exito 04)', () => {
+            const source = `
+logic classical.propositional
+
+let p = passage([[clase-logica.md#b8]])
+let phi = formalize p as (P -> Q)
+
+claim c1 = phi
+support c1 <- p
+confidence c1 = 0.84
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.exitCode, 0, `Exit code deberia ser 0. stderr: ${output.stderr}`);
+            (0, runner_1.assertIncludes)(output.stdout, 'Passage p');
+            (0, runner_1.assertIncludes)(output.stdout, 'Formalizacion phi');
+            (0, runner_1.assertIncludes)(output.stdout, 'Claim c1');
+            (0, runner_1.assertIncludes)(output.stdout, 'Support');
+            (0, runner_1.assertIncludes)(output.stdout, 'Confidence');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — check equivalent', () => {
+        (0, runner_1.it)('P->Q equivale a !P|Q', () => {
+            const source = `
+logic classical.propositional
+check equivalent (P -> Q), (!P | Q)
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'valid');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — errores', () => {
+        (0, runner_1.it)('error sin perfil logico', () => {
+            const source = `axiom a1 = P`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assert)(output.exitCode !== 0, 'Deberia fallar sin perfil');
+        });
+        (0, runner_1.it)('perfil inexistente', () => {
+            const source = `logic inexistente.perfil`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assert)(output.exitCode !== 0, 'Deberia fallar con perfil desconocido');
+        });
+    });
+    (0, runner_1.describe)('Interpreter — prove', () => {
+        (0, runner_1.it)('prueba desde teoria', () => {
+            const source = `
+logic classical.propositional
+axiom a1 = P -> Q
+axiom a2 = P
+prove Q from {a1, a2}
+`;
+            const interpreter = new interpreter_1.Interpreter();
+            const output = interpreter.execute(source);
+            (0, runner_1.assertEqual)(output.results[0].status, 'provable');
+        });
+    });
+}
+//# sourceMappingURL=cli.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cli.test.js","sourceRoot":"","sources":["../../src/tests/cli.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iEAAiE;AACjE,+DAA+D;;AAK/D,kCA4LC;AA/LD,qCAA6E;AAC7E,wDAAqD;AAErD,SAAgB,WAAW;IACzB,IAAA,iBAAQ,EAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GAAG;;;;;;;;CAQpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACtD,IAAA,oBAAW,EAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,gCAAgC,MAAM,CAAC,QAAQ,aAAa,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YAC7G,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,wCAAwC,CAAC,CAAC;YACxE,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAE1C,gEAAgE;YAChE,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;YACnE,IAAA,eAAM,EAAC,WAAW,KAAK,SAAS,EAAE,kCAAkC,CAAC,CAAC;QACxE,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;;;;;CAKpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAChC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACvC,IAAA,oBAAW,EAAC,YAAY,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;;CAIpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACvC,IAAA,oBAAW,EAAC,YAAY,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;YACtB,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;QAC1C,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,iBAAiB,CAAC,CAAC;QACnE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG;;;;;;;;;CASpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,oCAAoC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACrF,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;YAC3C,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;YACnD,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAC1C,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;YACzC,IAAA,uBAAc,EAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,MAAM,GAAG;;;CAGpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,MAAM,GAAG,cAAc,CAAC;YAC9B,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,2BAA2B,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,MAAM,GAAG,0BAA0B,CAAC;YAC1C,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,KAAK,CAAC,EAAE,uCAAuC,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,MAAM,GAAG;;;;;CAKpB,CAAC;YACI,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC3C,IAAA,oBAAW,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"core.test.d.ts","sourceRoot":"","sources":["../../src/tests/core.test.ts"],"names":[],"mappings":"AAuCA,wBAAgB,YAAY,IAAI,IAAI,CAoNnC"}