@stevenvo780/st-lang 0.3.0

package/dist/cli/index.js

@@ -0,0 +1,278 @@
+"use strict";
+// ============================================================
+// ST CLI — Entry point principal
+// ============================================================
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const interpreter_1 = require("../runtime/interpreter");
+const repl_1 = require("../repl/repl");
+const handler_1 = require("../protocol/handler");
+const VERSION = '0.1.0';
+function printUsage() {
+    console.log(`
+st v${VERSION} — Lenguaje ejecutable con nucleo logico y capa textual
+
+Uso:
+  st run <archivo.st>                    Ejecutar script
+  st check <archivo.st>                  Verificar sintaxis y bien-formacion
+  st repl                                Iniciar REPL interactivo
+  st eval "<expresion>"                  Evaluar expresion directa
+  st render <archivo.st> --format <fmt>  Renderizar salida (markdown|json)
+  st version                             Mostrar version
+  st help                                Mostrar esta ayuda
+  st profiles                            Listar perfiles logicos
+
+Codigos de salida:
+  0  Ejecucion correcta
+  1  Error de parseo o tipado
+  2  Error de resolucion
+  3  Error de runtime
+  4  Resultado logico negativo esperado
+
+Ejemplos:
+  st run demo.st
+  st check demo.st
+  st eval "check valid (P -> (Q -> P))"
+  st repl
+`);
+}
+function main() {
+    const args = process.argv.slice(2);
+    if (args.length === 0) {
+        printUsage();
+        process.exit(0);
+    }
+    const command = args[0];
+    switch (command) {
+        case 'run':
+            return cmdRun(args.slice(1));
+        case 'check':
+            return cmdCheck(args.slice(1));
+        case 'repl':
+            return cmdRepl();
+        case 'eval':
+            return cmdEval(args.slice(1));
+        case 'render':
+            return cmdRender(args.slice(1));
+        case 'version':
+        case '--version':
+        case '-v':
+            console.log(`st v${VERSION}`);
+            process.exit(0);
+            break;
+        case 'help':
+        case '--help':
+        case '-h':
+            printUsage();
+            process.exit(0);
+            break;
+        case 'profiles':
+            return cmdProfiles();
+        case 'protocol':
+            return cmdProtocol(args.slice(1));
+        default:
+            // Si es un archivo, ejecutar como `st run`
+            if (args[0].endsWith('.st') || args[0].endsWith('.md.st')) {
+                return cmdRun(args);
+            }
+            console.error(`Comando desconocido: ${command}`);
+            console.error(`Usa 'st help' para ver los comandos disponibles.`);
+            process.exit(1);
+    }
+}
+function cmdRun(args) {
+    if (args.length === 0) {
+        console.error('Error: se necesita un archivo. Uso: st run <archivo.st>');
+        process.exit(1);
+    }
+    const filePath = path.resolve(args[0]);
+    if (!fs.existsSync(filePath)) {
+        console.error(`Error: archivo no encontrado: ${filePath}`);
+        process.exit(1);
+    }
+    const source = fs.readFileSync(filePath, 'utf-8');
+    const interpreter = new interpreter_1.Interpreter();
+    const output = interpreter.execute(source, filePath);
+    if (output.stdout) {
+        console.log(output.stdout);
+    }
+    if (output.stderr) {
+        console.error(output.stderr);
+    }
+    // Escribir diagnósticos si se pide
+    if (args.includes('--diagnostics')) {
+        const diagPath = filePath.replace(/\.st$/, '.diagnostics.json');
+        fs.writeFileSync(diagPath, JSON.stringify(output.diagnostics, null, 2));
+        console.log(`Diagnosticos escritos en: ${diagPath}`);
+    }
+    process.exit(output.exitCode);
+}
+function cmdCheck(args) {
+    if (args.length === 0) {
+        console.error('Error: se necesita un archivo. Uso: st check <archivo.st>');
+        process.exit(1);
+    }
+    const filePath = path.resolve(args[0]);
+    if (!fs.existsSync(filePath)) {
+        console.error(`Error: archivo no encontrado: ${filePath}`);
+        process.exit(1);
+    }
+    const source = fs.readFileSync(filePath, 'utf-8');
+    const interpreter = new interpreter_1.Interpreter();
+    const output = interpreter.execute(source, filePath);
+    const errors = output.diagnostics.filter(d => d.severity === 'error');
+    const warnings = output.diagnostics.filter(d => d.severity === 'warning');
+    if (errors.length === 0) {
+        console.log(`✓ ${filePath}: sin errores`);
+        if (warnings.length > 0) {
+            console.log(`  ${warnings.length} advertencia(s)`);
+            for (const w of warnings) {
+                console.log(`  ⚠ ${w.message}${w.line ? ` (linea ${w.line})` : ''}`);
+            }
+        }
+        // Mostrar resultados lógicos
+        for (const r of output.results) {
+            if (r.status === 'invalid' || r.status === 'refutable' || r.status === 'unsatisfiable') {
+                console.log(`  ✗ Resultado negativo: ${r.output}`);
+            }
+        }
+        const hasNegativeResults = output.results.some(r => r.status === 'invalid' || r.status === 'refutable');
+        process.exit(hasNegativeResults ? 4 : 0);
+    }
+    else {
+        console.error(`✗ ${filePath}: ${errors.length} error(es)`);
+        for (const e of errors) {
+            console.error(`  ✗ ${e.message}${e.line ? ` (linea ${e.line})` : ''}`);
+        }
+        process.exit(1);
+    }
+}
+function cmdRepl() {
+    const repl = new repl_1.REPL();
+    repl.start();
+}
+function cmdEval(args) {
+    if (args.length === 0) {
+        console.error('Error: se necesita una expresion. Uso: st eval "<expresion>"');
+        process.exit(1);
+    }
+    const source = args.join(' ');
+    const interpreter = new interpreter_1.Interpreter();
+    // Si no empieza con "logic", prepend classical.propositional
+    let fullSource = source;
+    if (!source.trim().startsWith('logic ')) {
+        fullSource = `logic classical.propositional\n${source}`;
+    }
+    const output = interpreter.execute(fullSource, '<eval>');
+    if (output.stdout) {
+        console.log(output.stdout);
+    }
+    if (output.stderr) {
+        console.error(output.stderr);
+    }
+    process.exit(output.exitCode);
+}
+function cmdRender(args) {
+    if (args.length === 0) {
+        console.error('Error: se necesita un archivo. Uso: st render <archivo.st> --format <fmt>');
+        process.exit(1);
+    }
+    const filePath = path.resolve(args[0]);
+    let format = 'markdown';
+    const fmtIdx = args.indexOf('--format');
+    if (fmtIdx !== -1 && args[fmtIdx + 1]) {
+        format = args[fmtIdx + 1];
+    }
+    if (!fs.existsSync(filePath)) {
+        console.error(`Error: archivo no encontrado: ${filePath}`);
+        process.exit(1);
+    }
+    const source = fs.readFileSync(filePath, 'utf-8');
+    const handler = new handler_1.ProtocolHandler();
+    const response = handler.handle({
+        id: 1,
+        method: 'render',
+        params: { source, file: filePath, format },
+    });
+    if (response.result) {
+        const res = response.result;
+        console.log(res.rendered);
+    }
+    if (response.error) {
+        console.error(response.error.message);
+        process.exit(3);
+    }
+    process.exit(0);
+}
+function cmdProfiles() {
+    // Forzar registro
+    const interpreter = new interpreter_1.Interpreter();
+    const { registry } = require('../profiles/interface');
+    console.log('Perfiles logicos disponibles:\n');
+    for (const name of registry.list()) {
+        const p = registry.get(name);
+        const status = name === 'classical.propositional' ? '✓ completo' : '○ stub';
+        console.log(`  ${name}`);
+        console.log(`    ${p?.description || ''}`);
+        console.log(`    Estado: ${status}`);
+        console.log('');
+    }
+}
+function cmdProtocol(args) {
+    // Modo JSON-RPC sobre stdin/stdout para integración con editores
+    const handler = new handler_1.ProtocolHandler();
+    const rl = require('readline').createInterface({
+        input: process.stdin,
+        output: process.stdout,
+        terminal: false,
+    });
+    rl.on('line', (line) => {
+        try {
+            const request = JSON.parse(line);
+            const response = handler.handle(request);
+            console.log(JSON.stringify(response));
+        }
+        catch (e) {
+            console.log(JSON.stringify({
+                id: -1,
+                error: { code: -32700, message: `Parse error: ${e.message}` },
+            }));
+        }
+    });
+}
+main();
+//# sourceMappingURL=index.js.map

package/dist/cli/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE/D,uCAAyB;AACzB,2CAA6B;AAC7B,wDAAqD;AACrD,uCAAoC;AACpC,iDAAsD;AAEtD,MAAM,OAAO,GAAG,OAAO,CAAC;AAExB,SAAS,UAAU;IACjB,OAAO,CAAC,GAAG,CAAC;MACR,OAAO;;;;;;;;;;;;;;;;;;;;;;;;CAwBZ,CAAC,CAAC;AACH,CAAC;AAED,SAAS,IAAI;IACX,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAEnC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,UAAU,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAExB,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,OAAO,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,IAAI;YACP,OAAO,CAAC,GAAG,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM;QACR,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,IAAI;YACP,UAAU,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM;QACR,KAAK,UAAU;YACb,OAAO,WAAW,EAAE,CAAC;QACvB,KAAK,UAAU;YACb,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC;YACE,2CAA2C;YAC3C,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,CAAC,KAAK,CAAC,wBAAwB,OAAO,EAAE,CAAC,CAAC;YACjD,OAAO,CAAC,KAAK,CAAC,kDAAkD,CAAC,CAAC;YAClE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,IAAc;IAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,yDAAyD,CAAC,CAAC;QACzE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,KAAK,CAAC,iCAAiC,QAAQ,EAAE,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAErD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAED,mCAAmC;IACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;QAChE,EAAE,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACxE,OAAO,CAAC,GAAG,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,KAAK,CAAC,iCAAiC,QAAQ,EAAE,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAErD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;IAE1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ,eAAe,CAAC,CAAC;QAC1C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ,CAAC,MAAM,iBAAiB,CAAC,CAAC;YACnD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,6BAA6B;QAC7B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;gBACvF,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QACD,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,CACxD,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,KAAK,QAAQ,KAAK,MAAM,CAAC,MAAM,YAAY,CAAC,CAAC;QAC3D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,OAAO;IACd,MAAM,IAAI,GAAG,IAAI,WAAI,EAAE,CAAC;IACxB,IAAI,CAAC,KAAK,EAAE,CAAC;AACf,CAAC;AAED,SAAS,OAAO,CAAC,IAAc;IAC7B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IAEtC,6DAA6D;IAC7D,IAAI,UAAU,GAAG,MAAM,CAAC;IACxB,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,UAAU,GAAG,kCAAkC,MAAM,EAAE,CAAC;IAC1D,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAEzD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,SAAS,CAAC,IAAc;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,CAAC,KAAK,CAAC,2EAA2E,CAAC,CAAC;QAC3F,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,MAAM,GAAG,UAAU,CAAC;IAExB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACtC,MAAM,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,KAAK,CAAC,iCAAiC,QAAQ,EAAE,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE;KAC3C,CAAC,CAAC;IAEH,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,QAAQ,CAAC,MAA8B,CAAC;QACpD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QACnB,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED,SAAS,WAAW;IAClB,kBAAkB;IAClB,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACtC,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAEtD,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,KAAK,yBAAyB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5E,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3C,OAAO,CAAC,GAAG,CAAC,eAAe,MAAM,EAAE,CAAC,CAAC;QACrC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAc;IACjC,iEAAiE;IACjE,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC;QAC7C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;IAEH,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,IAAY,EAAE,EAAE;QAC7B,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,CAAM,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;gBACzB,EAAE,EAAE,CAAC,CAAC;gBACN,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC,OAAO,EAAE,EAAE;aAC9D,CAAC,CAAC,CAAC;QACN,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,IAAI,EAAE,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+export { evaluate, parse, check, quickEval, createInterpreter, listProfiles, hover, symbols, gotoDefinition, completion, render, type STEvalResult, type STParseResult, type STCheckResult, type STInterpreter, type TheorySummary, type STHoverResult, type STRenderResult, } from './api';
+export * from './types';
+export { Lexer } from './lexer/lexer';
+export { TokenType, Token, KEYWORDS } from './lexer/tokens';
+export * from './ast/nodes';
+export { Parser } from './parser/parser';
+export { LogicProfile, ProfileRegistry, registry } from './profiles/interface';
+export { ClassicalPropositional, formulaToString } from './profiles/classical/propositional';
+export { ClassicalFirstOrder } from './profiles/classical/first-order';
+export { ModalK } from './profiles/modal/k';
+export { ParaconsistentBelnap } from './profiles/paraconsistent/belnap';
+export { TextLayerState, createTextLayerState, parseAnchorPath, registerPassage, registerFormalization, registerClaim, registerSupport, registerConfidence, registerContext, compileClaimsToTheory } from './text-layer/compiler';
+export { Interpreter } from './runtime/interpreter';
+export { ProtocolHandler } from './protocol/handler';
+export { REPL } from './repl/repl';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EACjC,iBAAiB,EAAE,YAAY,EAC/B,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,EAClD,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,KAAK,aAAa,EACzD,KAAK,aAAa,EAAE,KAAK,aAAa,EACtC,KAAK,aAAa,EAAE,KAAK,cAAc,GACxC,MAAM,OAAO,CAAC;AAGf,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG5D,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAGxE,OAAO,EACL,cAAc,EAAE,oBAAoB,EACpC,eAAe,EAAE,eAAe,EAAE,qBAAqB,EACvD,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAClD,eAAe,EAAE,qBAAqB,EACvC,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,80 @@
+"use strict";
+// ============================================================
+// ST — Exports públicos
+// ============================================================
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.REPL = exports.ProtocolHandler = exports.Interpreter = exports.compileClaimsToTheory = exports.registerContext = exports.registerConfidence = exports.registerSupport = exports.registerClaim = exports.registerFormalization = exports.registerPassage = exports.parseAnchorPath = exports.createTextLayerState = exports.ParaconsistentBelnap = exports.ModalK = exports.ClassicalFirstOrder = exports.formulaToString = exports.ClassicalPropositional = exports.registry = exports.ProfileRegistry = exports.Parser = exports.KEYWORDS = exports.TokenType = exports.Lexer = exports.render = exports.completion = exports.gotoDefinition = exports.symbols = exports.hover = exports.listProfiles = exports.createInterpreter = exports.quickEval = exports.check = exports.parse = exports.evaluate = void 0;
+// API programática (uso recomendado para integración)
+var api_1 = require("./api");
+Object.defineProperty(exports, "evaluate", { enumerable: true, get: function () { return api_1.evaluate; } });
+Object.defineProperty(exports, "parse", { enumerable: true, get: function () { return api_1.parse; } });
+Object.defineProperty(exports, "check", { enumerable: true, get: function () { return api_1.check; } });
+Object.defineProperty(exports, "quickEval", { enumerable: true, get: function () { return api_1.quickEval; } });
+Object.defineProperty(exports, "createInterpreter", { enumerable: true, get: function () { return api_1.createInterpreter; } });
+Object.defineProperty(exports, "listProfiles", { enumerable: true, get: function () { return api_1.listProfiles; } });
+Object.defineProperty(exports, "hover", { enumerable: true, get: function () { return api_1.hover; } });
+Object.defineProperty(exports, "symbols", { enumerable: true, get: function () { return api_1.symbols; } });
+Object.defineProperty(exports, "gotoDefinition", { enumerable: true, get: function () { return api_1.gotoDefinition; } });
+Object.defineProperty(exports, "completion", { enumerable: true, get: function () { return api_1.completion; } });
+Object.defineProperty(exports, "render", { enumerable: true, get: function () { return api_1.render; } });
+// Tipos
+__exportStar(require("./types"), exports);
+// Lexer
+var lexer_1 = require("./lexer/lexer");
+Object.defineProperty(exports, "Lexer", { enumerable: true, get: function () { return lexer_1.Lexer; } });
+var tokens_1 = require("./lexer/tokens");
+Object.defineProperty(exports, "TokenType", { enumerable: true, get: function () { return tokens_1.TokenType; } });
+Object.defineProperty(exports, "KEYWORDS", { enumerable: true, get: function () { return tokens_1.KEYWORDS; } });
+// AST
+__exportStar(require("./ast/nodes"), exports);
+// Parser
+var parser_1 = require("./parser/parser");
+Object.defineProperty(exports, "Parser", { enumerable: true, get: function () { return parser_1.Parser; } });
+// Perfiles
+var interface_1 = require("./profiles/interface");
+Object.defineProperty(exports, "ProfileRegistry", { enumerable: true, get: function () { return interface_1.ProfileRegistry; } });
+Object.defineProperty(exports, "registry", { enumerable: true, get: function () { return interface_1.registry; } });
+var propositional_1 = require("./profiles/classical/propositional");
+Object.defineProperty(exports, "ClassicalPropositional", { enumerable: true, get: function () { return propositional_1.ClassicalPropositional; } });
+Object.defineProperty(exports, "formulaToString", { enumerable: true, get: function () { return propositional_1.formulaToString; } });
+var first_order_1 = require("./profiles/classical/first-order");
+Object.defineProperty(exports, "ClassicalFirstOrder", { enumerable: true, get: function () { return first_order_1.ClassicalFirstOrder; } });
+var k_1 = require("./profiles/modal/k");
+Object.defineProperty(exports, "ModalK", { enumerable: true, get: function () { return k_1.ModalK; } });
+var belnap_1 = require("./profiles/paraconsistent/belnap");
+Object.defineProperty(exports, "ParaconsistentBelnap", { enumerable: true, get: function () { return belnap_1.ParaconsistentBelnap; } });
+// Text Layer
+var compiler_1 = require("./text-layer/compiler");
+Object.defineProperty(exports, "createTextLayerState", { enumerable: true, get: function () { return compiler_1.createTextLayerState; } });
+Object.defineProperty(exports, "parseAnchorPath", { enumerable: true, get: function () { return compiler_1.parseAnchorPath; } });
+Object.defineProperty(exports, "registerPassage", { enumerable: true, get: function () { return compiler_1.registerPassage; } });
+Object.defineProperty(exports, "registerFormalization", { enumerable: true, get: function () { return compiler_1.registerFormalization; } });
+Object.defineProperty(exports, "registerClaim", { enumerable: true, get: function () { return compiler_1.registerClaim; } });
+Object.defineProperty(exports, "registerSupport", { enumerable: true, get: function () { return compiler_1.registerSupport; } });
+Object.defineProperty(exports, "registerConfidence", { enumerable: true, get: function () { return compiler_1.registerConfidence; } });
+Object.defineProperty(exports, "registerContext", { enumerable: true, get: function () { return compiler_1.registerContext; } });
+Object.defineProperty(exports, "compileClaimsToTheory", { enumerable: true, get: function () { return compiler_1.compileClaimsToTheory; } });
+// Runtime
+var interpreter_1 = require("./runtime/interpreter");
+Object.defineProperty(exports, "Interpreter", { enumerable: true, get: function () { return interpreter_1.Interpreter; } });
+// Protocol
+var handler_1 = require("./protocol/handler");
+Object.defineProperty(exports, "ProtocolHandler", { enumerable: true, get: function () { return handler_1.ProtocolHandler; } });
+// REPL
+var repl_1 = require("./repl/repl");
+Object.defineProperty(exports, "REPL", { enumerable: true, get: function () { return repl_1.REPL; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;;;;;;;;;;;;;;;;;AAE/D,sDAAsD;AACtD,6BAOe;AANb,+FAAA,QAAQ,OAAA;AAAE,4FAAA,KAAK,OAAA;AAAE,4FAAA,KAAK,OAAA;AAAE,gGAAA,SAAS,OAAA;AACjC,wGAAA,iBAAiB,OAAA;AAAE,mGAAA,YAAY,OAAA;AAC/B,4FAAA,KAAK,OAAA;AAAE,8FAAA,OAAO,OAAA;AAAE,qGAAA,cAAc,OAAA;AAAE,iGAAA,UAAU,OAAA;AAAE,6FAAA,MAAM,OAAA;AAMpD,QAAQ;AACR,0CAAwB;AAExB,QAAQ;AACR,uCAAsC;AAA7B,8FAAA,KAAK,OAAA;AACd,yCAA4D;AAAnD,mGAAA,SAAS,OAAA;AAAS,kGAAA,QAAQ,OAAA;AAEnC,MAAM;AACN,8CAA4B;AAE5B,SAAS;AACT,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AAEf,WAAW;AACX,kDAA+E;AAAxD,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAChD,oEAA6F;AAApF,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,gEAAuE;AAA9D,kHAAA,mBAAmB,OAAA;AAC5B,wCAA4C;AAAnC,2FAAA,MAAM,OAAA;AACf,2DAAwE;AAA/D,8GAAA,oBAAoB,OAAA;AAE7B,aAAa;AACb,kDAK+B;AAJb,gHAAA,oBAAoB,OAAA;AACpC,2GAAA,eAAe,OAAA;AAAE,2GAAA,eAAe,OAAA;AAAE,iHAAA,qBAAqB,OAAA;AACvD,yGAAA,aAAa,OAAA;AAAE,2GAAA,eAAe,OAAA;AAAE,8GAAA,kBAAkB,OAAA;AAClD,2GAAA,eAAe,OAAA;AAAE,iHAAA,qBAAqB,OAAA;AAGxC,UAAU;AACV,qDAAoD;AAA3C,0GAAA,WAAW,OAAA;AAEpB,WAAW;AACX,8CAAqD;AAA5C,0GAAA,eAAe,OAAA;AAExB,OAAO;AACP,oCAAmC;AAA1B,4FAAA,IAAI,OAAA"}

package/dist/lexer/lexer.d.ts

@@ -0,0 +1,25 @@
+import { Token } from './tokens';
+import { Diagnostic } from '../types';
+export declare class Lexer {
+    private source;
+    private tokens;
+    private pos;
+    private line;
+    private column;
+    private file;
+    diagnostics: Diagnostic[];
+    constructor(source: string, file?: string);
+    tokenize(): Token[];
+    private addToken;
+    private advance;
+    private peek;
+    private skipWhitespace;
+    private isDigit;
+    private isAlpha;
+    private isAlphaNum;
+    private readLineComment;
+    private readString;
+    private readNumber;
+    private readIdentifier;
+}
+//# sourceMappingURL=lexer.d.ts.map

package/dist/lexer/lexer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.d.ts","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,EAAuB,MAAM,UAAU,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAEtC,qBAAa,KAAK;IAChB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAa;IACxB,OAAO,CAAC,IAAI,CAAa;IACzB,OAAO,CAAC,MAAM,CAAa;IAC3B,OAAO,CAAC,IAAI,CAAS;IACd,WAAW,EAAE,UAAU,EAAE,CAAM;gBAE1B,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,MAAkB;IAKpD,QAAQ,IAAI,KAAK,EAAE;IA4LnB,OAAO,CAAC,QAAQ;IAShB,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,UAAU;IA8ClB,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,cAAc;CAyBvB"}