@stevenvo780/st-lang 0.3.0

package/dist/profiles/interface.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface.js","sourceRoot":"","sources":["../../src/profiles/interface.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;;;AAM/D,8BAA8B;AAC9B,MAAa,eAAe;IAClB,QAAQ,GAA8B,IAAI,GAAG,EAAE,CAAC;IAExD,QAAQ,CAAC,OAAqB;QAC5B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC3C,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,IAAI;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,GAAG,CAAC,IAAY;QACd,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC;CACF;AAlBD,0CAkBC;AAED,mBAAmB;AACN,QAAA,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAC"}

package/dist/profiles/modal/k.d.ts

@@ -0,0 +1,13 @@
+import { Formula, Diagnostic, RunResult, Theory, LogicProfile } from '../../types';
+export declare class ModalK implements LogicProfile {
+    name: string;
+    description: string;
+    checkWellFormed(formula: Formula): Diagnostic[];
+    checkValid(formula: Formula): RunResult;
+    checkSatisfiable(formula: Formula): RunResult;
+    prove(goal: Formula, theory: Theory): RunResult;
+    derive(goal: Formula, premises: string[], theory: Theory): RunResult;
+    countermodel(formula: Formula): RunResult;
+    explain(formula: Formula): RunResult;
+}
+//# sourceMappingURL=k.d.ts.map

package/dist/profiles/modal/k.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"k.d.ts","sourceRoot":"","sources":["../../../src/profiles/modal/k.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EACrD,MAAM,aAAa,CAAC;AAGrB,qBAAa,MAAO,YAAW,YAAY;IACzC,IAAI,SAAa;IACjB,WAAW,SAAgE;IAE3E,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAI/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IASvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAI7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAI/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAIpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAIzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;CAGrC"}

package/dist/profiles/modal/k.js

@@ -0,0 +1,39 @@
+"use strict";
+// ============================================================
+// ST Modal K — Stub (contrato definido)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ModalK = void 0;
+const propositional_1 = require("../classical/propositional");
+class ModalK {
+    name = 'modal.k';
+    description = 'Logica modal K (stub — contrato definido, motor pendiente)';
+    checkWellFormed(formula) {
+        return [];
+    }
+    checkValid(formula) {
+        return {
+            status: 'unknown',
+            output: `[modal.k] Motor no implementado aun. Formula: ${(0, propositional_1.formulaToString)(formula)}`,
+            diagnostics: [{ severity: 'warning', message: 'Perfil modal.k aun no tiene motor completo' }],
+            formula,
+        };
+    }
+    checkSatisfiable(formula) {
+        return { status: 'unknown', output: '[modal.k] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+    prove(goal, theory) {
+        return { status: 'unknown', output: '[modal.k] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula: goal };
+    }
+    derive(goal, premises, theory) {
+        return { status: 'unknown', output: '[modal.k] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula: goal };
+    }
+    countermodel(formula) {
+        return { status: 'unknown', output: '[modal.k] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+    explain(formula) {
+        return { status: 'unknown', output: '[modal.k] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+}
+exports.ModalK = ModalK;
+//# sourceMappingURL=k.js.map

package/dist/profiles/modal/k.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"k.js","sourceRoot":"","sources":["../../../src/profiles/modal/k.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;;;AAK/D,8DAA6D;AAE7D,MAAa,MAAM;IACjB,IAAI,GAAG,SAAS,CAAC;IACjB,WAAW,GAAG,4DAA4D,CAAC;IAE3E,eAAe,CAAC,OAAgB;QAC9B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,iDAAiD,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YACnF,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,4CAA4C,EAAE,CAAC;YAC7F,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACvJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC7J,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC7J,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACvJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,2BAA2B,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACvJ,CAAC;CACF;AApCD,wBAoCC"}

package/dist/profiles/paraconsistent/belnap.d.ts

@@ -0,0 +1,13 @@
+import { Formula, Diagnostic, RunResult, Theory, LogicProfile } from '../../types';
+export declare class ParaconsistentBelnap implements LogicProfile {
+    name: string;
+    description: string;
+    checkWellFormed(formula: Formula): Diagnostic[];
+    checkValid(formula: Formula): RunResult;
+    checkSatisfiable(formula: Formula): RunResult;
+    prove(goal: Formula, theory: Theory): RunResult;
+    derive(goal: Formula, premises: string[], theory: Theory): RunResult;
+    countermodel(formula: Formula): RunResult;
+    explain(formula: Formula): RunResult;
+}
+//# sourceMappingURL=belnap.d.ts.map

package/dist/profiles/paraconsistent/belnap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"belnap.d.ts","sourceRoot":"","sources":["../../../src/profiles/paraconsistent/belnap.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EACrD,MAAM,aAAa,CAAC;AAGrB,qBAAa,oBAAqB,YAAW,YAAY;IACvD,IAAI,SAA2B;IAC/B,WAAW,SAAoF;IAE/F,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAI/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IASvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAI7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAI/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAIpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAIzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;CAGrC"}

package/dist/profiles/paraconsistent/belnap.js

@@ -0,0 +1,39 @@
+"use strict";
+// ============================================================
+// ST Paraconsistent Belnap — Stub (contrato definido)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ParaconsistentBelnap = void 0;
+const propositional_1 = require("../classical/propositional");
+class ParaconsistentBelnap {
+    name = 'paraconsistent.belnap';
+    description = 'Logica paraconsistente Belnap-Dunn (stub — contrato definido, motor pendiente)';
+    checkWellFormed(formula) {
+        return [];
+    }
+    checkValid(formula) {
+        return {
+            status: 'unknown',
+            output: `[paraconsistent.belnap] Motor no implementado aun. Formula: ${(0, propositional_1.formulaToString)(formula)}`,
+            diagnostics: [{ severity: 'warning', message: 'Perfil paraconsistent.belnap aun no tiene motor completo' }],
+            formula,
+        };
+    }
+    checkSatisfiable(formula) {
+        return { status: 'unknown', output: '[paraconsistent.belnap] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+    prove(goal, theory) {
+        return { status: 'unknown', output: '[paraconsistent.belnap] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula: goal };
+    }
+    derive(goal, premises, theory) {
+        return { status: 'unknown', output: '[paraconsistent.belnap] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula: goal };
+    }
+    countermodel(formula) {
+        return { status: 'unknown', output: '[paraconsistent.belnap] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+    explain(formula) {
+        return { status: 'unknown', output: '[paraconsistent.belnap] No implementado', diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }], formula };
+    }
+}
+exports.ParaconsistentBelnap = ParaconsistentBelnap;
+//# sourceMappingURL=belnap.js.map

package/dist/profiles/paraconsistent/belnap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"belnap.js","sourceRoot":"","sources":["../../../src/profiles/paraconsistent/belnap.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,+DAA+D;;;AAK/D,8DAA6D;AAE7D,MAAa,oBAAoB;IAC/B,IAAI,GAAG,uBAAuB,CAAC;IAC/B,WAAW,GAAG,gFAAgF,CAAC;IAE/F,eAAe,CAAC,OAAgB;QAC9B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,+DAA+D,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YACjG,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,0DAA0D,EAAE,CAAC;YAC3G,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACrK,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3K,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3K,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACrK,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,yCAAyC,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;IACrK,CAAC;CACF;AApCD,oDAoCC"}

package/dist/protocol/handler.d.ts

@@ -0,0 +1,17 @@
+import { ProtocolRequest, ProtocolResponse } from '../types';
+export declare class ProtocolHandler {
+    private interpreter;
+    constructor();
+    handle(request: ProtocolRequest): ProtocolResponse;
+    private handleParse;
+    private handleCheck;
+    private handleRun;
+    private handleHover;
+    private handleSymbols;
+    private handleGotoDefinition;
+    private handleCompletion;
+    private handleRender;
+    private getStatementHoverInfo;
+    private renderOutput;
+}
+//# sourceMappingURL=handler.d.ts.map

package/dist/protocol/handler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler.d.ts","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,eAAe,EAAE,gBAAgB,EAElC,MAAM,UAAU,CAAC;AAMlB,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAc;;IAMjC,MAAM,CAAC,OAAO,EAAE,eAAe,GAAG,gBAAgB;IA0BlD,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,WAAW;IAsBnB,OAAO,CAAC,aAAa;IA4CrB,OAAO,CAAC,oBAAoB;IAgB5B,OAAO,CAAC,gBAAgB;IAuBxB,OAAO,CAAC,YAAY;IAepB,OAAO,CAAC,qBAAqB;IAa7B,OAAO,CAAC,YAAY;CAoBrB"}

package/dist/protocol/handler.js

@@ -0,0 +1,219 @@
+"use strict";
+// ============================================================
+// ST Editor Protocol — Handler
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProtocolHandler = void 0;
+const parser_1 = require("../parser/parser");
+const interpreter_1 = require("../runtime/interpreter");
+const propositional_1 = require("../profiles/classical/propositional");
+class ProtocolHandler {
+    interpreter;
+    constructor() {
+        this.interpreter = new interpreter_1.Interpreter();
+    }
+    handle(request) {
+        switch (request.method) {
+            case 'parse':
+                return this.handleParse(request);
+            case 'check':
+                return this.handleCheck(request);
+            case 'run':
+                return this.handleRun(request);
+            case 'hover':
+                return this.handleHover(request);
+            case 'symbols':
+                return this.handleSymbols(request);
+            case 'goto_definition':
+                return this.handleGotoDefinition(request);
+            case 'completion':
+                return this.handleCompletion(request);
+            case 'render':
+                return this.handleRender(request);
+            default:
+                return {
+                    id: request.id,
+                    error: { code: -1, message: `Metodo desconocido: ${request.method}` },
+                };
+        }
+    }
+    handleParse(request) {
+        const source = request.params.source;
+        const file = request.params.file || '<stdin>';
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        return {
+            id: request.id,
+            result: { statements: program.statements.length, file: program.file },
+            diagnostics: parser.diagnostics,
+        };
+    }
+    handleCheck(request) {
+        const source = request.params.source;
+        const file = request.params.file || '<stdin>';
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        const diagnostics = [...parser.diagnostics];
+        // Solo chequear sintaxis y bien-formación
+        if (diagnostics.length === 0) {
+            diagnostics.push({
+                severity: 'info',
+                message: `Archivo parseado correctamente: ${program.statements.length} statements`,
+                file,
+            });
+        }
+        return {
+            id: request.id,
+            result: { valid: diagnostics.filter(d => d.severity === 'error').length === 0 },
+            diagnostics,
+        };
+    }
+    handleRun(request) {
+        const source = request.params.source;
+        const file = request.params.file || '<stdin>';
+        const output = this.interpreter.execute(source, file);
+        return {
+            id: request.id,
+            result: output,
+            diagnostics: output.diagnostics,
+        };
+    }
+    handleHover(request) {
+        const source = request.params.source;
+        const line = request.params.line;
+        const column = request.params.column;
+        const file = request.params.file || '<stdin>';
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        // Buscar statement en la posición
+        for (const stmt of program.statements) {
+            if (stmt.source.line === line) {
+                const info = this.getStatementHoverInfo(stmt);
+                if (info) {
+                    return { id: request.id, result: info };
+                }
+            }
+        }
+        return { id: request.id, result: null };
+    }
+    handleSymbols(request) {
+        const source = request.params.source;
+        const file = request.params.file || '<stdin>';
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        const symbols = [];
+        for (const stmt of program.statements) {
+            switch (stmt.kind) {
+                case 'axiom_decl':
+                    symbols.push({
+                        name: stmt.name,
+                        kind: 'axiom',
+                        location: stmt.source,
+                    });
+                    break;
+                case 'theorem_decl':
+                    symbols.push({
+                        name: stmt.name,
+                        kind: 'theorem',
+                        location: stmt.source,
+                    });
+                    break;
+                case 'claim_decl':
+                    symbols.push({
+                        name: stmt.name,
+                        kind: 'claim',
+                        location: stmt.source,
+                    });
+                    break;
+                case 'let_decl':
+                    symbols.push({
+                        name: stmt.name,
+                        kind: stmt.letType === 'passage' ? 'passage' : 'formula',
+                        location: stmt.source,
+                    });
+                    break;
+            }
+        }
+        return { id: request.id, result: symbols };
+    }
+    handleGotoDefinition(request) {
+        const source = request.params.source;
+        const name = request.params.name;
+        const file = request.params.file || '<stdin>';
+        const parser = new parser_1.Parser(file);
+        const program = parser.parse(source);
+        for (const stmt of program.statements) {
+            if ('name' in stmt && stmt.name === name) {
+                return { id: request.id, result: stmt.source };
+            }
+        }
+        return { id: request.id, result: null };
+    }
+    handleCompletion(request) {
+        const items = [
+            { label: 'logic', kind: 'keyword', detail: 'Declarar perfil logico', insertText: 'logic ' },
+            { label: 'axiom', kind: 'keyword', detail: 'Declarar axioma', insertText: 'axiom ${1:name} = ${2:formula}' },
+            { label: 'theorem', kind: 'keyword', detail: 'Declarar teorema', insertText: 'theorem ${1:name} = ${2:formula}' },
+            { label: 'derive', kind: 'keyword', detail: 'Derivar formula', insertText: 'derive ${1:formula} from {${2:premises}}' },
+            { label: 'check valid', kind: 'keyword', detail: 'Verificar validez', insertText: 'check valid ${1:formula}' },
+            { label: 'check satisfiable', kind: 'keyword', detail: 'Verificar satisfacibilidad', insertText: 'check satisfiable ${1:formula}' },
+            { label: 'prove', kind: 'keyword', detail: 'Probar formula', insertText: 'prove ${1:formula} from {${2:premises}}' },
+            { label: 'countermodel', kind: 'keyword', detail: 'Buscar contramodelo', insertText: 'countermodel ${1:formula}' },
+            { label: 'truth_table', kind: 'keyword', detail: 'Tabla de verdad', insertText: 'truth_table ${1:formula}' },
+            { label: 'let', kind: 'keyword', detail: 'Declarar variable', insertText: 'let ${1:name} = ' },
+            { label: 'passage', kind: 'keyword', detail: 'Declarar pasaje', insertText: 'passage([[${1:path}]])' },
+            { label: 'formalize', kind: 'keyword', detail: 'Formalizar pasaje', insertText: 'formalize ${1:passage} as ${2:formula}' },
+            { label: 'claim', kind: 'keyword', detail: 'Declarar claim', insertText: 'claim ${1:name} = ${2:value}' },
+            { label: 'support', kind: 'keyword', detail: 'Registrar soporte', insertText: 'support ${1:claim} <- ${2:source}' },
+            { label: 'confidence', kind: 'keyword', detail: 'Registrar confianza', insertText: 'confidence ${1:claim} = ${2:value}' },
+            { label: 'context', kind: 'keyword', detail: 'Registrar contexto', insertText: 'context ${1:claim} = "${2:text}"' },
+        ];
+        return { id: request.id, result: items };
+    }
+    handleRender(request) {
+        const source = request.params.source;
+        const format = request.params.format || 'markdown';
+        const file = request.params.file || '<stdin>';
+        const output = this.interpreter.execute(source, file);
+        const rendered = this.renderOutput(output, format);
+        return {
+            id: request.id,
+            result: { rendered, format },
+            diagnostics: output.diagnostics,
+        };
+    }
+    getStatementHoverInfo(stmt) {
+        switch (stmt.kind) {
+            case 'axiom_decl':
+                return { content: `**Axioma** \`${stmt.name}\` = ${(0, propositional_1.formulaToString)(stmt.formula)}`, range: stmt.source };
+            case 'theorem_decl':
+                return { content: `**Teorema** \`${stmt.name}\` = ${(0, propositional_1.formulaToString)(stmt.formula)}`, range: stmt.source };
+            case 'claim_decl':
+                return { content: `**Claim** \`${stmt.name}\``, range: stmt.source };
+            default:
+                return null;
+        }
+    }
+    renderOutput(output, format) {
+        if (format === 'json') {
+            return JSON.stringify(output, null, 2);
+        }
+        // Default: markdown
+        let md = '';
+        if (output.stdout) {
+            md += output.stdout;
+        }
+        if (output.diagnostics && output.diagnostics.length > 0) {
+            md += '\n\n## Diagnosticos\n\n';
+            for (const d of output.diagnostics) {
+                md += `- **${d.severity}**: ${d.message}`;
+                if (d.line)
+                    md += ` (linea ${d.line})`;
+                md += '\n';
+            }
+        }
+        return md;
+    }
+}
+exports.ProtocolHandler = ProtocolHandler;
+//# sourceMappingURL=handler.js.map

package/dist/protocol/handler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"handler.js","sourceRoot":"","sources":["../../src/protocol/handler.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;;;AAM/D,6CAA0C;AAC1C,wDAAqD;AAErD,uEAAsE;AAEtE,MAAa,eAAe;IAClB,WAAW,CAAc;IAEjC;QACE,IAAI,CAAC,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,OAAwB;QAC7B,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC;YACvB,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACnC,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACnC,KAAK,KAAK;gBACR,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YACjC,KAAK,OAAO;gBACV,OAAO,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;YACnC,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YACrC,KAAK,iBAAiB;gBACpB,OAAO,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;YAC5C,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACxC,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YACpC;gBACE,OAAO;oBACL,EAAE,EAAE,OAAO,CAAC,EAAE;oBACd,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,uBAAuB,OAAO,CAAC,MAAM,EAAE,EAAE;iBACtE,CAAC;QACN,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,OAAwB;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrC,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;YACrE,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,OAAwB;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,WAAW,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QAE5C,0CAA0C;QAC1C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,mCAAmC,OAAO,CAAC,UAAU,CAAC,MAAM,aAAa;gBAClF,IAAI;aACL,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;YAC/E,WAAW;SACZ,CAAC;IACJ,CAAC;IAEO,SAAS,CAAC,OAAwB;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,OAAwB;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QAExD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAErC,kCAAkC;QAClC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;gBAC1C,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAEO,aAAa,CAAC,OAAwB;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAErC,MAAM,OAAO,GAAiB,EAAE,CAAC;QAEjC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,YAAY;oBACf,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,IAAI,CAAC,MAAM;qBACtB,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,cAAc;oBACjB,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,SAAS;wBACf,QAAQ,EAAE,IAAI,CAAC,MAAM;qBACtB,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,YAAY;oBACf,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,OAAO;wBACb,QAAQ,EAAE,IAAI,CAAC,MAAM;qBACtB,CAAC,CAAC;oBACH,MAAM;gBACR,KAAK,UAAU;oBACb,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS;wBACxD,QAAQ,EAAE,IAAI,CAAC,MAAM;qBACtB,CAAC,CAAC;oBACH,MAAM;YACV,CAAC;QACH,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAC7C,CAAC;IAEO,oBAAoB,CAAC,OAAwB;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,CAAC;QAC3C,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QACxD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAErC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACtC,IAAI,MAAM,IAAI,IAAI,IAAK,IAAY,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAClD,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YACjD,CAAC;QACH,CAAC;QAED,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC1C,CAAC;IAEO,gBAAgB,CAAC,OAAwB;QAC/C,MAAM,KAAK,GAAqB;YAC9B,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,wBAAwB,EAAE,UAAU,EAAE,QAAQ,EAAE;YAC3F,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,gCAAgC,EAAE;YAC5G,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,UAAU,EAAE,kCAAkC,EAAE;YACjH,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,0CAA0C,EAAE;YACvH,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,0BAA0B,EAAE;YAC9G,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,4BAA4B,EAAE,UAAU,EAAE,gCAAgC,EAAE;YACnI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,UAAU,EAAE,yCAAyC,EAAE;YACpH,EAAE,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,qBAAqB,EAAE,UAAU,EAAE,2BAA2B,EAAE;YAClH,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,0BAA0B,EAAE;YAC5G,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,kBAAkB,EAAE;YAC9F,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,EAAE,UAAU,EAAE,wBAAwB,EAAE;YACtG,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,wCAAwC,EAAE;YAC1H,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE,UAAU,EAAE,8BAA8B,EAAE;YACzG,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,mCAAmC,EAAE;YACnH,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,qBAAqB,EAAE,UAAU,EAAE,oCAAoC,EAAE;YACzH,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,EAAE,UAAU,EAAE,kCAAkC,EAAE;SACpH,CAAC;QAEF,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IAC3C,CAAC;IAEO,YAAY,CAAC,OAAwB;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,CAAC;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,MAAgB,IAAI,UAAU,CAAC;QAC7D,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAc,IAAI,SAAS,CAAC;QAExD,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAEnD,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;YAC5B,WAAW,EAAE,MAAM,CAAC,WAAW;SAChC,CAAC;IACJ,CAAC;IAEO,qBAAqB,CAAC,IAAe;QAC3C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,OAAO,EAAE,OAAO,EAAE,gBAAgB,IAAI,CAAC,IAAI,QAAQ,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3G,KAAK,cAAc;gBACjB,OAAO,EAAE,OAAO,EAAE,iBAAiB,IAAI,CAAC,IAAI,QAAQ,IAAA,+BAAe,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5G,KAAK,YAAY;gBACf,OAAO,EAAE,OAAO,EAAE,eAAe,IAAI,CAAC,IAAI,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;YACvE;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAEO,YAAY,CAAC,MAAW,EAAE,MAAc;QAC9C,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;YACtB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;QAED,oBAAoB;QACpB,IAAI,EAAE,GAAG,EAAE,CAAC;QACZ,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClB,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC;QACtB,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxD,EAAE,IAAI,yBAAyB,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;gBACnC,EAAE,IAAI,OAAO,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;gBAC1C,IAAI,CAAC,CAAC,IAAI;oBAAE,EAAE,IAAI,WAAW,CAAC,CAAC,IAAI,GAAG,CAAC;gBACvC,EAAE,IAAI,IAAI,CAAC;YACb,CAAC;QACH,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;CACF;AAxOD,0CAwOC"}

package/dist/repl/repl.d.ts

@@ -0,0 +1,12 @@
+export declare class REPL {
+    private interpreter;
+    private rl;
+    constructor();
+    start(): void;
+    private executeBuffer;
+    private handleMetaCommand;
+    private printHelp;
+    private printTheory;
+    private printClaims;
+}
+//# sourceMappingURL=repl.d.ts.map

package/dist/repl/repl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repl.d.ts","sourceRoot":"","sources":["../../src/repl/repl.ts"],"names":[],"mappings":"AASA,qBAAa,IAAI;IACf,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,EAAE,CAAmC;;IAM7C,KAAK,IAAI,IAAI;IAqDb,OAAO,CAAC,aAAa;IAgBrB,OAAO,CAAC,iBAAiB;IAoDzB,OAAO,CAAC,SAAS;IAyCjB,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,WAAW;CAsBpB"}

package/dist/repl/repl.js

@@ -0,0 +1,237 @@
+"use strict";
+// ============================================================
+// ST REPL — Read-Eval-Print Loop interactivo
+// ============================================================
+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 });
+exports.REPL = void 0;
+const readline = __importStar(require("readline"));
+const interpreter_1 = require("../runtime/interpreter");
+const propositional_1 = require("../profiles/classical/propositional");
+const interface_1 = require("../profiles/interface");
+class REPL {
+    interpreter;
+    rl = null;
+    constructor() {
+        this.interpreter = new interpreter_1.Interpreter();
+    }
+    start() {
+        this.rl = readline.createInterface({
+            input: process.stdin,
+            output: process.stdout,
+            prompt: 'st> ',
+            terminal: true,
+        });
+        console.log('ST REPL v0.1.0');
+        console.log('Lenguaje ejecutable con nucleo logico y capa textual');
+        console.log('Escribe :help para ver comandos. :quit para salir.\n');
+        this.rl.prompt();
+        let buffer = '';
+        this.rl.on('line', (line) => {
+            const trimmed = line.trim();
+            // Comandos especiales del REPL
+            if (trimmed.startsWith(':')) {
+                this.handleMetaCommand(trimmed);
+                this.rl.prompt();
+                return;
+            }
+            // Línea vacía ejecuta el buffer si hay algo
+            if (trimmed === '' && buffer !== '') {
+                this.executeBuffer(buffer);
+                buffer = '';
+                this.rl.prompt();
+                return;
+            }
+            if (trimmed === '') {
+                this.rl.prompt();
+                return;
+            }
+            // Acumular o ejecutar directo
+            // Si la línea parece un statement completo, ejecutar directo
+            buffer = trimmed;
+            this.executeBuffer(buffer);
+            buffer = '';
+            this.rl.prompt();
+        });
+        this.rl.on('close', () => {
+            console.log('\nAdios.');
+            process.exit(0);
+        });
+    }
+    executeBuffer(source) {
+        const output = this.interpreter.executeSingle(source);
+        if (output.stdout) {
+            console.log(output.stdout);
+        }
+        if (output.stderr) {
+            console.error(`Error: ${output.stderr}`);
+        }
+        for (const d of output.diagnostics) {
+            if (d.severity === 'warning') {
+                console.log(`Advertencia: ${d.message}`);
+            }
+        }
+    }
+    handleMetaCommand(cmd) {
+        const parts = cmd.split(/\s+/);
+        const command = parts[0].toLowerCase();
+        switch (command) {
+            case ':help':
+            case ':h':
+                this.printHelp();
+                break;
+            case ':quit':
+            case ':q':
+            case ':exit':
+                console.log('Adios.');
+                process.exit(0);
+                break;
+            case ':profiles':
+                console.log('Perfiles disponibles:');
+                for (const name of interface_1.registry.list()) {
+                    const p = interface_1.registry.get(name);
+                    console.log(`  ${name} — ${p?.description || ''}`);
+                }
+                break;
+            case ':theory':
+                this.printTheory();
+                break;
+            case ':reset':
+                this.interpreter.reset();
+                console.log('Estado reiniciado.');
+                break;
+            case ':profile':
+                const p = this.interpreter.getProfile();
+                if (p) {
+                    console.log(`Perfil actual: ${p.name}`);
+                }
+                else {
+                    console.log('No hay perfil activo. Use: logic <perfil>');
+                }
+                break;
+            case ':claims':
+                this.printClaims();
+                break;
+            default:
+                console.log(`Comando desconocido: ${command}. Escribe :help para ver comandos.`);
+        }
+    }
+    printHelp() {
+        console.log(`
+Comandos del REPL:
+  :help, :h          Mostrar esta ayuda
+  :quit, :q, :exit   Salir
+  :profiles          Listar perfiles logicos disponibles
+  :profile           Mostrar perfil activo
+  :theory            Mostrar teoria actual (axiomas, teoremas)
+  :claims            Mostrar claims registrados
+  :reset             Reiniciar estado
+
+Sintaxis ST:
+  logic <perfil>                         Seleccionar perfil logico
+  axiom <nombre> = <formula>             Declarar axioma
+  theorem <nombre> = <formula>           Declarar teorema
+  derive <formula> from {p1, p2, ...}    Derivar formula
+  check valid <formula>                  Verificar validez (tautologia)
+  check satisfiable <formula>            Verificar satisfacibilidad
+  check equivalent <f1>, <f2>            Verificar equivalencia
+  prove <formula> from {p1, p2, ...}     Probar formula
+  countermodel <formula>                 Buscar contramodelo
+  truth_table <formula>                  Tabla de verdad
+
+  let <nombre> = passage([[path]])       Declarar pasaje
+  let <nombre> = formalize p as F        Formalizar pasaje
+  claim <nombre> = <ref>                 Declarar claim
+  support <claim> <- <fuente>            Registrar soporte
+  confidence <claim> = <0..1>            Registrar confianza
+  context <claim> = "texto"              Registrar contexto
+
+Formulas:
+  P, Q, R       Atomos proposicionales
+  !P             Negacion
+  P & Q          Conjuncion
+  P | Q          Disyuncion
+  P -> Q         Implicacion
+  P <-> Q        Bicondicional
+  (P -> Q)       Agrupacion con parentesis
+`);
+    }
+    printTheory() {
+        const theory = this.interpreter.getTheory();
+        const profile = this.interpreter.getProfile();
+        console.log(`Perfil: ${profile?.name || '(ninguno)'}`);
+        if (theory.axioms.size > 0) {
+            console.log('Axiomas:');
+            for (const [name, formula] of theory.axioms) {
+                console.log(`  ${name} = ${(0, propositional_1.formulaToString)(formula)}`);
+            }
+        }
+        else {
+            console.log('Axiomas: (ninguno)');
+        }
+        if (theory.theorems.size > 0) {
+            console.log('Teoremas:');
+            for (const [name, formula] of theory.theorems) {
+                console.log(`  ${name} = ${(0, propositional_1.formulaToString)(formula)}`);
+            }
+        }
+    }
+    printClaims() {
+        const tl = this.interpreter.getTextLayer();
+        if (tl.passages.size > 0) {
+            console.log('Passages:');
+            for (const [name, p] of tl.passages) {
+                console.log(`  ${name} -> ${p.anchor.path}${p.anchor.fragment ? '#' + p.anchor.fragment : ''}`);
+            }
+        }
+        if (tl.claims.size > 0) {
+            console.log('Claims:');
+            for (const [name, c] of tl.claims) {
+                let info = name;
+                if (c.formula)
+                    info += ` = ${(0, propositional_1.formulaToString)(c.formula)}`;
+                if (c.support)
+                    info += ` (soporte: ${c.support})`;
+                if (c.confidence !== undefined)
+                    info += ` [confianza: ${c.confidence}]`;
+                if (c.context)
+                    info += ` {contexto: "${c.context}"}`;
+                console.log(`  ${info}`);
+            }
+        }
+    }
+}
+exports.REPL = REPL;
+//# sourceMappingURL=repl.js.map