@stevenvo780/st-lang 0.3.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 stevenvo780
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/bin/st

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+"use strict";
+require("../dist/cli/index.js");

package/dist/api.d.ts

@@ -0,0 +1,157 @@
+import type { Diagnostic, RunResult, SymbolInfo, HoverInfo, CompletionItem, SourceLocation } from './types';
+import type { Program } from './ast/nodes';
+/** Resultado de evaluate() */
+export interface STEvalResult {
+    /** true si no hubo errores */
+    ok: boolean;
+    /** Salida formateada para humanos (lo que imprimiría el CLI) */
+    stdout: string;
+    /** Errores si los hubo */
+    stderr: string;
+    /** Código de salida (0 = ok, 1 = parse error, 3 = runtime error) */
+    exitCode: number;
+    /** Resultados lógicos individuales (uno por cada check/derive/prove/etc) */
+    results: RunResult[];
+    /** Diagnósticos (errores, warnings, hints) */
+    diagnostics: Diagnostic[];
+}
+/** Resultado de parse() */
+export interface STParseResult {
+    ok: boolean;
+    program: Program | null;
+    diagnostics: Diagnostic[];
+}
+/** Resultado de check() */
+export interface STCheckResult {
+    ok: boolean;
+    diagnostics: Diagnostic[];
+}
+/**
+ * Ejecuta código ST completo y devuelve resultado estructurado.
+ *
+ * @example
+ * ```ts
+ * const r = evaluate(`
+ *   logic classical.propositional
+ *   axiom a1 : P -> Q
+ *   axiom a2 : P
+ *   derive Q from a1, a2
+ * `);
+ * console.log(r.ok);     // true
+ * console.log(r.stdout); // "✓ [derive] Q es DERIVABLE..."
+ * ```
+ */
+export declare function evaluate(source: string, file?: string): STEvalResult;
+/**
+ * Parsea código ST sin ejecutarlo. Útil para validación de sintaxis.
+ */
+export declare function parse(source: string, file?: string): STParseResult;
+/**
+ * Verifica sintaxis y bien-formación sin ejecutar comandos lógicos.
+ * Parsea el código y reporta errores.
+ */
+export declare function check(source: string, file?: string): STCheckResult;
+/**
+ * Evalúa una expresión lógica rápida (auto-prepone "logic classical.propositional").
+ * Útil para validaciones inline sin necesidad de declarar perfil.
+ *
+ * @example
+ * ```ts
+ * const r = quickEval('check valid (P -> (Q -> P))');
+ * console.log(r.ok);              // true
+ * console.log(r.results[0].status); // 'valid'
+ * ```
+ */
+export declare function quickEval(expression: string): STEvalResult;
+/**
+ * Intérprete con estado persistente. Permite ejecutar líneas incrementalmente
+ * manteniendo axiomas, teoremas, claims y perfil entre llamadas.
+ *
+ * @example
+ * ```ts
+ * const st = createInterpreter();
+ * st.exec('logic classical.propositional');
+ * st.exec('axiom a1 : P -> Q');
+ * st.exec('axiom a2 : P');
+ * const r = st.exec('derive Q from a1, a2');
+ * console.log(r.results[0].status); // 'valid'
+ * console.log(st.getTheorySummary()); // { axioms: ['a1', 'a2'], ... }
+ * ```
+ */
+export interface STInterpreter {
+    /** Ejecuta uno o más statements manteniendo el estado */
+    exec(source: string): STEvalResult;
+    /** Reinicia todo el estado (perfil, axiomas, claims, etc.) */
+    reset(): void;
+    /** Obtiene el perfil lógico actual */
+    getProfile(): string | null;
+    /** Lista nombres de axiomas registrados */
+    getAxioms(): string[];
+    /** Lista nombres de teoremas registrados */
+    getTheorems(): string[];
+    /** Lista nombres de claims registrados */
+    getClaims(): string[];
+    /** Resumen completo del estado actual */
+    getTheorySummary(): TheorySummary;
+    /** Historial de todos los resultados ejecutados */
+    getHistory(): STEvalResult[];
+}
+export interface TheorySummary {
+    profile: string;
+    axioms: string[];
+    theorems: string[];
+    claims: string[];
+    judgmentCount: number;
+}
+/**
+ * Crea una instancia de intérprete ST con estado persistente.
+ */
+export declare function createInterpreter(): STInterpreter;
+/** Convierte una fórmula AST a string legible */
+export { formulaToString } from './profiles/classical/propositional';
+/** Lista los perfiles lógicos disponibles */
+export declare function listProfiles(): string[];
+/** Resultado de hover() */
+export interface STHoverResult {
+    content: string;
+    range?: SourceLocation;
+}
+/** Resultado de render() */
+export interface STRenderResult {
+    rendered: string;
+    format: string;
+    diagnostics: Diagnostic[];
+}
+/**
+ * Obtiene información de hover para una posición en el código ST.
+ * Útil para tooltips en editores.
+ *
+ * @returns HoverInfo o null si no hay info en esa posición
+ */
+export declare function hover(source: string, line: number, column: number, file?: string): HoverInfo | null;
+/**
+ * Lista todos los símbolos definidos en el código ST (axiomas, teoremas, claims, passages, etc.).
+ * Útil para panel de símbolos en editores.
+ */
+export declare function symbols(source: string, file?: string): SymbolInfo[];
+/**
+ * Busca la definición de un símbolo por nombre en el código ST.
+ * Útil para "Go to Definition" en editores.
+ *
+ * @returns SourceLocation de la definición o null si no se encuentra
+ */
+export declare function gotoDefinition(source: string, name: string, file?: string): SourceLocation | null;
+/**
+ * Obtiene sugerencias de completado para el lenguaje ST.
+ * Devuelve keywords y snippets disponibles.
+ */
+export declare function completion(): CompletionItem[];
+/**
+ * Ejecuta y renderiza el código ST en el formato especificado.
+ *
+ * @param format 'markdown' | 'json' (default: 'markdown')
+ */
+export declare function render(source: string, format?: string, file?: string): STRenderResult;
+export type { ExecutionOutput, Diagnostic, RunResult, Formula, LogicStatus, Theory, TruthTableResult, Proof, Model, Valuation, Severity, FormulaKind, Claim, Passage, Anchor, SymbolInfo, HoverInfo, CompletionItem, SourceLocation, } from './types';
+export type { Program, Statement } from './ast/nodes';
+//# sourceMappingURL=api.d.ts.map

package/dist/api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAEV,UAAU,EACV,SAAS,EAOT,UAAU,EACV,SAAS,EACT,cAAc,EACd,cAAc,EACf,MAAM,SAAS,CAAC;AACjB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAI3C,8BAA8B;AAC9B,MAAM,WAAW,YAAY;IAC3B,8BAA8B;IAC9B,EAAE,EAAE,OAAO,CAAC;IACZ,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,0BAA0B;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,oEAAoE;IACpE,QAAQ,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,8CAA8C;IAC9C,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACxB,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,OAAO,CAAC;IACZ,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAID;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,YAAY,CAWpE;AAED;;GAEG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,aAAa,CASlE;AAED;;;GAGG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,aAAa,CAQlE;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,YAAY,CAE1D;AAID;;;;;;;;;;;;;;GAcG;AACH,MAAM,WAAW,aAAa;IAC5B,yDAAyD;IACzD,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAAC;IACnC,8DAA8D;IAC9D,KAAK,IAAI,IAAI,CAAC;IACd,sCAAsC;IACtC,UAAU,IAAI,MAAM,GAAG,IAAI,CAAC;IAC5B,2CAA2C;IAC3C,SAAS,IAAI,MAAM,EAAE,CAAC;IACtB,4CAA4C;IAC5C,WAAW,IAAI,MAAM,EAAE,CAAC;IACxB,0CAA0C;IAC1C,SAAS,IAAI,MAAM,EAAE,CAAC;IACtB,yCAAyC;IACzC,gBAAgB,IAAI,aAAa,CAAC;IAClC,mDAAmD;IACnD,UAAU,IAAI,YAAY,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,IAAI,aAAa,CAwDjD;AAID,iDAAiD;AACjD,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAErE,6CAA6C;AAC7C,wBAAgB,YAAY,IAAI,MAAM,EAAE,CAMvC;AAID,2BAA2B;AAC3B,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,cAAc,CAAC;CACxB;AAED,4BAA4B;AAC5B,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAQnG;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,UAAU,EAAE,CAQnE;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAQjG;AAED;;;GAGG;AACH,wBAAgB,UAAU,IAAI,cAAc,EAAE,CAQ7C;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,cAAc,CAarF;AAID,YAAY,EACV,eAAe,EACf,UAAU,EACV,SAAS,EACT,OAAO,EACP,WAAW,EACX,MAAM,EACN,gBAAgB,EAChB,KAAK,EACL,KAAK,EACL,SAAS,EACT,QAAQ,EACR,WAAW,EACX,KAAK,EACL,OAAO,EACP,MAAM,EACN,UAAU,EACV,SAAS,EACT,cAAc,EACd,cAAc,GACf,MAAM,SAAS,CAAC;AAEjB,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC"}

package/dist/api.js

@@ -0,0 +1,232 @@
+"use strict";
+// ============================================================
+// ST — API programática para uso como librería
+// ============================================================
+// Uso:
+//   import { evaluate, parse, check, createInterpreter } from 'st-lang/api';
+//   const result = evaluate('logic classical.propositional\ncheck valid (P -> P)');
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.formulaToString = void 0;
+exports.evaluate = evaluate;
+exports.parse = parse;
+exports.check = check;
+exports.quickEval = quickEval;
+exports.createInterpreter = createInterpreter;
+exports.listProfiles = listProfiles;
+exports.hover = hover;
+exports.symbols = symbols;
+exports.gotoDefinition = gotoDefinition;
+exports.completion = completion;
+exports.render = render;
+const parser_1 = require("./parser/parser");
+const interpreter_1 = require("./runtime/interpreter");
+const handler_1 = require("./protocol/handler");
+// ── Funciones estateless (una sola invocación) ────────────────
+/**
+ * Ejecuta código ST completo y devuelve resultado estructurado.
+ *
+ * @example
+ * ```ts
+ * const r = evaluate(`
+ *   logic classical.propositional
+ *   axiom a1 : P -> Q
+ *   axiom a2 : P
+ *   derive Q from a1, a2
+ * `);
+ * console.log(r.ok);     // true
+ * console.log(r.stdout); // "✓ [derive] Q es DERIVABLE..."
+ * ```
+ */
+function evaluate(source, file) {
+    const interpreter = new interpreter_1.Interpreter();
+    const output = interpreter.execute(source, file || '<api>');
+    return {
+        ok: output.exitCode === 0,
+        stdout: output.stdout,
+        stderr: output.stderr,
+        exitCode: output.exitCode,
+        results: output.results,
+        diagnostics: output.diagnostics,
+    };
+}
+/**
+ * Parsea código ST sin ejecutarlo. Útil para validación de sintaxis.
+ */
+function parse(source, file) {
+    const parser = new parser_1.Parser(file || '<api>');
+    const program = parser.parse(source);
+    const hasErrors = parser.diagnostics.some(d => d.severity === 'error');
+    return {
+        ok: !hasErrors,
+        program: hasErrors ? null : program,
+        diagnostics: parser.diagnostics,
+    };
+}
+/**
+ * Verifica sintaxis y bien-formación sin ejecutar comandos lógicos.
+ * Parsea el código y reporta errores.
+ */
+function check(source, file) {
+    const parser = new parser_1.Parser(file || '<api>');
+    parser.parse(source);
+    const hasErrors = parser.diagnostics.some(d => d.severity === 'error');
+    return {
+        ok: !hasErrors,
+        diagnostics: parser.diagnostics,
+    };
+}
+/**
+ * Evalúa una expresión lógica rápida (auto-prepone "logic classical.propositional").
+ * Útil para validaciones inline sin necesidad de declarar perfil.
+ *
+ * @example
+ * ```ts
+ * const r = quickEval('check valid (P -> (Q -> P))');
+ * console.log(r.ok);              // true
+ * console.log(r.results[0].status); // 'valid'
+ * ```
+ */
+function quickEval(expression) {
+    return evaluate(`logic classical.propositional\n${expression}`);
+}
+/**
+ * Crea una instancia de intérprete ST con estado persistente.
+ */
+function createInterpreter() {
+    const inner = new interpreter_1.Interpreter();
+    const history = [];
+    return {
+        exec(source) {
+            const output = inner.executeSingle(source);
+            const result = {
+                ok: output.exitCode === 0,
+                stdout: output.stdout,
+                stderr: output.stderr,
+                exitCode: output.exitCode,
+                results: output.results,
+                diagnostics: output.diagnostics,
+            };
+            history.push(result);
+            return result;
+        },
+        reset() {
+            inner.reset();
+            history.length = 0;
+        },
+        getProfile() {
+            const p = inner.getProfile();
+            return p ? p.name : null;
+        },
+        getAxioms() {
+            return Array.from(inner.getTheory().axioms.keys());
+        },
+        getTheorems() {
+            return Array.from(inner.getTheory().theorems.keys());
+        },
+        getClaims() {
+            return Array.from(inner.getTheory().claims.keys());
+        },
+        getTheorySummary() {
+            const t = inner.getTheory();
+            return {
+                profile: t.profile,
+                axioms: Array.from(t.axioms.keys()),
+                theorems: Array.from(t.theorems.keys()),
+                claims: Array.from(t.claims.keys()),
+                judgmentCount: t.judgments.length,
+            };
+        },
+        getHistory() {
+            return [...history];
+        },
+    };
+}
+// ── Utilidades expuestas ──────────────────────────────────────
+/** Convierte una fórmula AST a string legible */
+var propositional_1 = require("./profiles/classical/propositional");
+Object.defineProperty(exports, "formulaToString", { enumerable: true, get: function () { return propositional_1.formulaToString; } });
+/** Lista los perfiles lógicos disponibles */
+function listProfiles() {
+    // Los perfiles se registran al crear un Interpreter
+    const temp = new interpreter_1.Interpreter();
+    void temp; // asegura registro de perfiles
+    const { registry } = require('./profiles/interface');
+    return registry.list();
+}
+/**
+ * Obtiene información de hover para una posición en el código ST.
+ * Útil para tooltips en editores.
+ *
+ * @returns HoverInfo o null si no hay info en esa posición
+ */
+function hover(source, line, column, file) {
+    const handler = new handler_1.ProtocolHandler();
+    const resp = handler.handle({
+        id: 0,
+        method: 'hover',
+        params: { source, line, column, file: file || '<api>' }
+    });
+    return resp.result ?? null;
+}
+/**
+ * Lista todos los símbolos definidos en el código ST (axiomas, teoremas, claims, passages, etc.).
+ * Útil para panel de símbolos en editores.
+ */
+function symbols(source, file) {
+    const handler = new handler_1.ProtocolHandler();
+    const resp = handler.handle({
+        id: 0,
+        method: 'symbols',
+        params: { source, file: file || '<api>' }
+    });
+    return resp.result ?? [];
+}
+/**
+ * Busca la definición de un símbolo por nombre en el código ST.
+ * Útil para "Go to Definition" en editores.
+ *
+ * @returns SourceLocation de la definición o null si no se encuentra
+ */
+function gotoDefinition(source, name, file) {
+    const handler = new handler_1.ProtocolHandler();
+    const resp = handler.handle({
+        id: 0,
+        method: 'goto_definition',
+        params: { source, name, file: file || '<api>' }
+    });
+    return resp.result ?? null;
+}
+/**
+ * Obtiene sugerencias de completado para el lenguaje ST.
+ * Devuelve keywords y snippets disponibles.
+ */
+function completion() {
+    const handler = new handler_1.ProtocolHandler();
+    const resp = handler.handle({
+        id: 0,
+        method: 'completion',
+        params: {}
+    });
+    return resp.result ?? [];
+}
+/**
+ * Ejecuta y renderiza el código ST en el formato especificado.
+ *
+ * @param format 'markdown' | 'json' (default: 'markdown')
+ */
+function render(source, format, file) {
+    const handler = new handler_1.ProtocolHandler();
+    const resp = handler.handle({
+        id: 0,
+        method: 'render',
+        params: { source, format: format || 'markdown', file: file || '<api>' }
+    });
+    const result = resp.result;
+    return {
+        rendered: result?.rendered ?? '',
+        format: result?.format ?? format ?? 'markdown',
+        diagnostics: resp.diagnostics ?? [],
+    };
+}
+//# sourceMappingURL=api.js.map

package/dist/api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAC/D,OAAO;AACP,6EAA6E;AAC7E,oFAAoF;AACpF,+DAA+D;;;AAuE/D,4BAWC;AAKD,sBASC;AAMD,sBAQC;AAaD,8BAEC;AAiDD,8CAwDC;AAQD,oCAMC;AAuBD,sBAQC;AAMD,0BAQC;AAQD,wCAQC;AAMD,gCAQC;AAOD,wBAaC;AAjVD,4CAAyC;AACzC,uDAAoD;AACpD,gDAAqD;AAkDrD,iEAAiE;AAEjE;;;;;;;;;;;;;;GAcG;AACH,SAAgB,QAAQ,CAAC,MAAc,EAAE,IAAa;IACpD,MAAM,WAAW,GAAG,IAAI,yBAAW,EAAE,CAAC;IACtC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,IAAI,OAAO,CAAC,CAAC;IAC5D,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,QAAQ,KAAK,CAAC;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,KAAK,CAAC,MAAc,EAAE,IAAa;IACjD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACvE,OAAO;QACL,EAAE,EAAE,CAAC,SAAS;QACd,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;QACnC,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAgB,KAAK,CAAC,MAAc,EAAE,IAAa;IACjD,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrB,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACvE,OAAO;QACL,EAAE,EAAE,CAAC,SAAS;QACd,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,SAAS,CAAC,UAAkB;IAC1C,OAAO,QAAQ,CAAC,kCAAkC,UAAU,EAAE,CAAC,CAAC;AAClE,CAAC;AA8CD;;GAEG;AACH,SAAgB,iBAAiB;IAC/B,MAAM,KAAK,GAAG,IAAI,yBAAW,EAAE,CAAC;IAChC,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,OAAO;QACL,IAAI,CAAC,MAAc;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAiB;gBAC3B,EAAE,EAAE,MAAM,CAAC,QAAQ,KAAK,CAAC;gBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,KAAK;YACH,KAAK,CAAC,KAAK,EAAE,CAAC;YACd,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;QACrB,CAAC;QAED,UAAU;YACR,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;YAC7B,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3B,CAAC;QAED,SAAS;YACP,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;QAED,WAAW;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,SAAS;YACP,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACrD,CAAC;QAED,gBAAgB;YACd,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACnC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gBACvC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACnC,aAAa,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM;aAClC,CAAC;QACJ,CAAC;QAED,UAAU;YACR,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC;QACtB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,iEAAiE;AAEjE,iDAAiD;AACjD,oEAAqE;AAA5D,gHAAA,eAAe,OAAA;AAExB,6CAA6C;AAC7C,SAAgB,YAAY;IAC1B,oDAAoD;IACpD,MAAM,IAAI,GAAG,IAAI,yBAAW,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,CAAC,+BAA+B;IAC1C,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAiBD;;;;;GAKG;AACH,SAAgB,KAAK,CAAC,MAAc,EAAE,IAAY,EAAE,MAAc,EAAE,IAAa;IAC/E,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,OAAO;QACf,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,EAAE;KACxD,CAAC,CAAC;IACH,OAAQ,IAAI,CAAC,MAA2B,IAAI,IAAI,CAAC;AACnD,CAAC;AAED;;;GAGG;AACH,SAAgB,OAAO,CAAC,MAAc,EAAE,IAAa;IACnD,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,EAAE;KAC1C,CAAC,CAAC;IACH,OAAQ,IAAI,CAAC,MAAuB,IAAI,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,SAAgB,cAAc,CAAC,MAAc,EAAE,IAAY,EAAE,IAAa;IACxE,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,iBAAiB;QACzB,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,EAAE;KAChD,CAAC,CAAC;IACH,OAAQ,IAAI,CAAC,MAAgC,IAAI,IAAI,CAAC;AACxD,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU;IACxB,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,YAAY;QACpB,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,OAAQ,IAAI,CAAC,MAA2B,IAAI,EAAE,CAAC;AACjD,CAAC;AAED;;;;GAIG;AACH,SAAgB,MAAM,CAAC,MAAc,EAAE,MAAe,EAAE,IAAa;IACnE,MAAM,OAAO,GAAG,IAAI,yBAAe,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,EAAE,EAAE,CAAC;QACL,MAAM,EAAE,QAAQ;QAChB,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,UAAU,EAAE,IAAI,EAAE,IAAI,IAAI,OAAO,EAAE;KACxE,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,CAAC,MAA0D,CAAC;IAC/E,OAAO;QACL,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE;QAChC,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,MAAM,IAAI,UAAU;QAC9C,WAAW,EAAE,IAAI,CAAC,WAAW,IAAI,EAAE;KACpC,CAAC;AACJ,CAAC"}

package/dist/ast/nodes.d.ts

@@ -0,0 +1,97 @@
+import { Formula, SourceLocation } from '../types';
+export type StatementKind = 'logic_decl' | 'axiom_decl' | 'theorem_decl' | 'derive_cmd' | 'check_valid_cmd' | 'check_satisfiable_cmd' | 'check_equivalent_cmd' | 'prove_cmd' | 'countermodel_cmd' | 'truth_table_cmd' | 'let_decl' | 'claim_decl' | 'support_decl' | 'confidence_decl' | 'context_decl' | 'render_cmd';
+export interface ASTNode {
+    kind: StatementKind;
+    source: SourceLocation;
+}
+export interface LogicDeclNode extends ASTNode {
+    kind: 'logic_decl';
+    profile: string;
+}
+export interface AxiomDeclNode extends ASTNode {
+    kind: 'axiom_decl';
+    name: string;
+    formula: Formula;
+}
+export interface TheoremDeclNode extends ASTNode {
+    kind: 'theorem_decl';
+    name: string;
+    formula: Formula;
+}
+export interface DeriveCmdNode extends ASTNode {
+    kind: 'derive_cmd';
+    goal: Formula;
+    premises: string[];
+}
+export interface CheckValidCmdNode extends ASTNode {
+    kind: 'check_valid_cmd';
+    formula: Formula;
+}
+export interface CheckSatisfiableCmdNode extends ASTNode {
+    kind: 'check_satisfiable_cmd';
+    formula: Formula;
+}
+export interface CheckEquivalentCmdNode extends ASTNode {
+    kind: 'check_equivalent_cmd';
+    left: Formula;
+    right: Formula;
+}
+export interface ProveCmdNode extends ASTNode {
+    kind: 'prove_cmd';
+    goal: Formula;
+    premises: string[];
+}
+export interface CountermodelCmdNode extends ASTNode {
+    kind: 'countermodel_cmd';
+    formula: Formula;
+}
+export interface TruthTableCmdNode extends ASTNode {
+    kind: 'truth_table_cmd';
+    formula: Formula;
+}
+export interface RenderCmdNode extends ASTNode {
+    kind: 'render_cmd';
+    target: string;
+    format: string;
+}
+export interface LetPassageNode extends ASTNode {
+    kind: 'let_decl';
+    name: string;
+    letType: 'passage';
+    anchorPath: string;
+}
+export interface LetFormalizeNode extends ASTNode {
+    kind: 'let_decl';
+    name: string;
+    letType: 'formalize';
+    passageName: string;
+    formula: Formula;
+}
+export type LetDeclNode = LetPassageNode | LetFormalizeNode;
+export interface ClaimDeclNode extends ASTNode {
+    kind: 'claim_decl';
+    name: string;
+    value: string;
+    formula?: Formula;
+}
+export interface SupportDeclNode extends ASTNode {
+    kind: 'support_decl';
+    claimName: string;
+    sourceName: string;
+}
+export interface ConfidenceDeclNode extends ASTNode {
+    kind: 'confidence_decl';
+    claimName: string;
+    value: number;
+}
+export interface ContextDeclNode extends ASTNode {
+    kind: 'context_decl';
+    claimName: string;
+    text: string;
+}
+export type Statement = LogicDeclNode | AxiomDeclNode | TheoremDeclNode | DeriveCmdNode | CheckValidCmdNode | CheckSatisfiableCmdNode | CheckEquivalentCmdNode | ProveCmdNode | CountermodelCmdNode | TruthTableCmdNode | LetDeclNode | ClaimDeclNode | SupportDeclNode | ConfidenceDeclNode | ContextDeclNode | RenderCmdNode;
+export interface Program {
+    statements: Statement[];
+    file: string;
+}
+//# sourceMappingURL=nodes.d.ts.map

package/dist/ast/nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.d.ts","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,UAAU,CAAC;AAInD,MAAM,MAAM,aAAa,GACrB,YAAY,GACZ,YAAY,GACZ,cAAc,GACd,YAAY,GACZ,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,WAAW,GACX,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,YAAY,GACZ,cAAc,GACd,iBAAiB,GACjB,cAAc,GACd,YAAY,CAAC;AAEjB,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,aAAa,CAAC;IACpB,MAAM,EAAE,cAAc,CAAC;CACxB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,OAAO,CAAC;CAClB;AAID,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO;IACtD,IAAI,EAAE,uBAAuB,CAAC;IAC9B,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,sBAAuB,SAAQ,OAAO;IACrD,IAAI,EAAE,sBAAsB,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,YAAa,SAAQ,OAAO;IAC3C,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,OAAO,CAAC;IACd,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAoB,SAAQ,OAAO;IAClD,IAAI,EAAE,kBAAkB,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,iBAAkB,SAAQ,OAAO;IAChD,IAAI,EAAE,iBAAiB,CAAC;IACxB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAID,MAAM,WAAW,cAAe,SAAQ,OAAO;IAC7C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,OAAO;IAC/C,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,MAAM,MAAM,WAAW,GAAG,cAAc,GAAG,gBAAgB,CAAC;AAE5D,MAAM,WAAW,aAAc,SAAQ,OAAO;IAC5C,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,kBAAmB,SAAQ,OAAO;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAgB,SAAQ,OAAO;IAC9C,IAAI,EAAE,cAAc,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAID,MAAM,MAAM,SAAS,GACjB,aAAa,GACb,aAAa,GACb,eAAe,GACf,aAAa,GACb,iBAAiB,GACjB,uBAAuB,GACvB,sBAAsB,GACtB,YAAY,GACZ,mBAAmB,GACnB,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,eAAe,GACf,kBAAkB,GAClB,eAAe,GACf,aAAa,CAAC;AAElB,MAAM,WAAW,OAAO;IACtB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;CACd"}

package/dist/ast/nodes.js

@@ -0,0 +1,6 @@
+"use strict";
+// ============================================================
+// ST AST — Nodos del Árbol de Sintaxis Abstracta
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=nodes.js.map

package/dist/ast/nodes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes.js","sourceRoot":"","sources":["../../src/ast/nodes.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iDAAiD;AACjD,+DAA+D"}

package/dist/cli/index.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/cli/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cli/index.ts"],"names":[],"mappings":""}