@stevenvo780/st-lang 0.3.0 → 0.4.0

package/README.md

@@ -0,0 +1,86 @@
+# ST — Symbolic Theory Language
+
+**ST** is a modular logical environment and executable language designed for formalizing, verifying, and exploring logical theories across multiple systems (Classical, Modal, Paraconsistent). It features a unique **Text Layer** that bridges natural language documents with formal logical claims.
+
+[![Version](https://img.shields.io/badge/version-0.3.0-blue.svg)](package.json)
+[![License](https://img.shields.io/badge/license-MIT-green.svg)](LICENSE)
+
+## 🚀 Key Features
+
+- **Multi-Logic Support**: Pluggable profiles for Classical Propositional, First-Order, Modal (K), and Paraconsistent (Belnap) logic.
+- **Automated Reasoning**: Built-in engines for automated derivations, truth tables, and countermodel generation.
+- **Text Layer**: Map logical claims directly to document anchors (e.g., `file.md#heading`), enabling formal verification of "live" documents.
+- **Interactive REPL**: A powerful CLI to explore theories in real-time.
+- **Programmatic API**: Full TypeScript/JavaScript support to integrate logical verification into your own applications.
+- **Editor Integration**: Protocol-ready for high-level features like hover, go-to-definition, and symbols.
+
+## 📦 Installation
+
+```bash
+npm install -g @stevenvo780/st-lang
+```
+
+## 🛠️ Quick Start (CLI)
+
+Create a file named `demo.st`:
+
+```st
+logic classical.propositional
+
+axiom a1 : P -> Q
+axiom a2 : P
+
+derive Q from {a1, a2}
+check valid (P | !P)
+```
+
+Run it:
+
+```bash
+st demo.st
+```
+
+Or enter the REPL:
+
+```bash
+st
+```
+
+## 💻 Programmatic API
+
+```typescript
+import { evaluate, createInterpreter } from '@stevenvo780/st-lang/api';
+
+// Stateless evaluation
+const result = evaluate(`
+  logic classical.propositional
+  check valid (A -> (B -> A))
+`);
+console.log(result.results[0].status); // 'valid'
+
+// Stateful interpreter
+const st = createInterpreter();
+st.exec('logic classical.propositional');
+st.exec('axiom a1 : P -> Q');
+const r = st.exec('check satisfiable a1');
+console.log(r.ok); // true
+```
+
+## 🏗️ Architecture
+
+ST is built with a traditional compiler architecture but specialized for logic:
+
+1. **Lexer/Parser**: Consumes `.st` scripts into a typed AST.
+2. **Interpreter**: Manages the **Theory** (axioms, theorems, claims) and executes statements.
+3. **Logic Profiles**: Pluggable engines that implement the `LogicProfile` interface. Each profile provides its own solvers (Tableau, Truth Tables, etc.).
+4. **Text Layer State**: Tracks references to external documents and maps them to logical formulas.
+
+## 📚 Documentation
+
+For a deep dive into the language syntax, logic profiles, and the Text Layer, see [DOCS.md](./DOCS.md).
+
+Check [LOGIC_LIMITATIONS.md](./LOGIC_LIMITATIONS.md) for known boundaries of the current solvers.
+
+## 📄 License
+
+MIT © [Steven Velez](https://github.com/stevenvo780)

package/dist/api.d.ts

@@ -1,3 +1,10 @@
+/**
+ * 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)');
+ */
 import type { Diagnostic, RunResult, SymbolInfo, HoverInfo, CompletionItem, SourceLocation } from './types';
 import type { Program } from './ast/nodes';
 /** Resultado de evaluate() */

package/dist/api.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"api.d.ts","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH,OAAO,KAAK,EACV,UAAU,EACV,SAAS,EACT,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,CACnB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,EACd,IAAI,CAAC,EAAE,MAAM,GACZ,SAAS,GAAG,IAAI,CAQlB;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

@@ -1,11 +1,11 @@
 "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)');
-// ============================================================
+/**
+ * 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;
@@ -22,6 +22,7 @@ exports.render = render;
 const parser_1 = require("./parser/parser");
 const interpreter_1 = require("./runtime/interpreter");
 const handler_1 = require("./protocol/handler");
+const interface_1 = require("./profiles/interface");
 // ── Funciones estateless (una sola invocación) ────────────────
 /**
  * Ejecuta código ST completo y devuelve resultado estructurado.
@@ -56,7 +57,7 @@ function evaluate(source, file) {
 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');
+    const hasErrors = parser.diagnostics.some((d) => d.severity === 'error');
     return {
         ok: !hasErrors,
         program: hasErrors ? null : program,
@@ -70,7 +71,7 @@ function parse(source, file) {
 function check(source, file) {
     const parser = new parser_1.Parser(file || '<api>');
     parser.parse(source);
-    const hasErrors = parser.diagnostics.some(d => d.severity === 'error');
+    const hasErrors = parser.diagnostics.some((d) => d.severity === 'error');
     return {
         ok: !hasErrors,
         diagnostics: parser.diagnostics,
@@ -148,11 +149,11 @@ 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();
+    // Los perfiles se registran al instanciar un Interpreter,
+    // pero ya deberían estar en el registry si se cargan sus archivos.
+    // Sin embargo, para asegurar, instanciamos uno.
+    new interpreter_1.Interpreter();
+    return interface_1.registry.list();
 }
 /**
  * Obtiene información de hover para una posición en el código ST.
@@ -165,7 +166,7 @@ function hover(source, line, column, file) {
     const resp = handler.handle({
         id: 0,
         method: 'hover',
-        params: { source, line, column, file: file || '<api>' }
+        params: { source, line, column, file: file || '<api>' },
     });
     return resp.result ?? null;
 }
@@ -178,7 +179,7 @@ function symbols(source, file) {
     const resp = handler.handle({
         id: 0,
         method: 'symbols',
-        params: { source, file: file || '<api>' }
+        params: { source, file: file || '<api>' },
     });
     return resp.result ?? [];
 }
@@ -193,7 +194,7 @@ function gotoDefinition(source, name, file) {
     const resp = handler.handle({
         id: 0,
         method: 'goto_definition',
-        params: { source, name, file: file || '<api>' }
+        params: { source, name, file: file || '<api>' },
     });
     return resp.result ?? null;
 }
@@ -206,7 +207,7 @@ function completion() {
     const resp = handler.handle({
         id: 0,
         method: 'completion',
-        params: {}
+        params: {},
     });
     return resp.result ?? [];
 }
@@ -220,7 +221,7 @@ function render(source, format, file) {
     const resp = handler.handle({
         id: 0,
         method: 'render',
-        params: { source, format: format || 'markdown', file: file || '<api>' }
+        params: { source, format: format || 'markdown', file: file || '<api>' },
     });
     const result = resp.result;
     return {

package/dist/api.js.map

@@ -1 +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"}
+{"version":3,"file":"api.js","sourceRoot":"","sources":["../src/api.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;AAgEH,4BAWC;AAKD,sBASC;AAMD,sBAQC;AAaD,8BAEC;AAiDD,8CAwDC;AAQD,oCAMC;AAuBD,sBAaC;AAMD,0BAQC;AAQD,wCAQC;AAMD,gCAQC;AAOD,wBAaC;AA/UD,4CAAyC;AACzC,uDAAoD;AACpD,gDAAqD;AACrD,oDAAgD;AA0ChD,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,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACzE,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,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IACzE,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,0DAA0D;IAC1D,mEAAmE;IACnE,gDAAgD;IAChD,IAAI,yBAAW,EAAE,CAAC;IAClB,OAAO,oBAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAiBD;;;;;GAKG;AACH,SAAgB,KAAK,CACnB,MAAc,EACd,IAAY,EACZ,MAAc,EACd,IAAa;IAEb,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

@@ -73,6 +73,7 @@ export interface ClaimDeclNode extends ASTNode {
     name: string;
     value: string;
     formula?: Formula;
+    formalization?: string;
 }
 export interface SupportDeclNode extends ASTNode {
     kind: 'support_decl';

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

@@ -1 +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"}
+{"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;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;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/cli/index.d.ts

@@ -1,2 +1,3 @@
+#!/usr/bin/env node
 export {};
 //# sourceMappingURL=index.d.ts.map

package/dist/cli/index.js

@@ -1,6 +1,7 @@
+#!/usr/bin/env node
 "use strict";
 // ============================================================
-// ST CLI — Entry point principal
+// ST CLI — Entry point principal (Commander based)
 // ============================================================
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
@@ -35,227 +36,133 @@ var __importStar = (this && this.__importStar) || (function () {
         return result;
     };
 })();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
 const fs = __importStar(require("fs"));
 const path = __importStar(require("path"));
+const readline = __importStar(require("readline"));
+const commander_1 = require("commander");
+const chalk_1 = __importDefault(require("chalk"));
 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>');
+const interface_1 = require("../profiles/interface");
+const program = new commander_1.Command();
+program
+    .name('st')
+    .description('ST — Lenguaje ejecutable con nucleo logico y capa textual')
+    .version('0.3.0');
+program
+    .command('run')
+    .description('Ejecutar script .st')
+    .argument('<archivo>', 'Ruta al archivo .st')
+    .option('-d, --diagnostics', 'Escribir diagnósticos en un archivo .json')
+    .action((filePath, options) => {
+    const fullPath = path.resolve(filePath);
+    if (!fs.existsSync(fullPath)) {
+        console.error(chalk_1.default.red(`Error: archivo no encontrado: ${fullPath}`));
         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 source = fs.readFileSync(fullPath, 'utf-8');
     const interpreter = new interpreter_1.Interpreter();
-    const output = interpreter.execute(source, filePath);
-    if (output.stdout) {
+    const output = interpreter.execute(source, fullPath);
+    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');
+    if (output.stderr)
+        console.error(chalk_1.default.red(output.stderr));
+    if (options.diagnostics) {
+        const diagPath = fullPath.replace(/\.st$/, '.diagnostics.json');
         fs.writeFileSync(diagPath, JSON.stringify(output.diagnostics, null, 2));
-        console.log(`Diagnosticos escritos en: ${diagPath}`);
+        console.log(chalk_1.default.blue(`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}`);
+});
+program
+    .command('check')
+    .description('Verificar sintaxis y bien-formacion de un archivo .st')
+    .argument('<archivo>', 'Ruta al archivo .st')
+    .action((filePath) => {
+    const fullPath = path.resolve(filePath);
+    if (!fs.existsSync(fullPath)) {
+        console.error(chalk_1.default.red(`Error: archivo no encontrado: ${fullPath}`));
         process.exit(1);
     }
-    const source = fs.readFileSync(filePath, 'utf-8');
+    const source = fs.readFileSync(fullPath, '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');
+    const output = interpreter.execute(source, fullPath);
+    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`);
+        console.log(chalk_1.default.green(`✓ ${fullPath}: sin errores`));
         if (warnings.length > 0) {
-            console.log(`  ${warnings.length} advertencia(s)`);
+            console.log(chalk_1.default.yellow(`  ${warnings.length} advertencia(s)`));
             for (const w of warnings) {
-                console.log(`  ⚠ ${w.message}${w.line ? ` (linea ${w.line})` : ''}`);
+                console.log(chalk_1.default.yellow(`  ⚠ ${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}`);
+                console.log(chalk_1.default.red(`  ✗ Resultado negativo: ${r.output}`));
             }
         }
-        const hasNegativeResults = output.results.some(r => r.status === 'invalid' || r.status === 'refutable');
+        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)`);
+        console.error(chalk_1.default.red(`✗ ${fullPath}: ${errors.length} error(es)`));
         for (const e of errors) {
-            console.error(`  ✗ ${e.message}${e.line ? ` (linea ${e.line})` : ''}`);
+            console.error(chalk_1.default.red(`  ✗ ${e.message}${e.line ? ` (linea ${e.line})` : ''}`));
         }
         process.exit(1);
     }
-}
-function cmdRepl() {
+});
+program
+    .command('repl')
+    .description('Iniciar REPL interactivo')
+    .action(() => {
     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(' ');
+});
+program
+    .command('eval')
+    .description('Evaluar una expresion directa')
+    .argument('<expresion>', 'Expresion ST a evaluar')
+    .action((expression) => {
     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}`;
+    let fullSource = expression;
+    if (!expression.trim().startsWith('logic ')) {
+        fullSource = `logic classical.propositional\n${expression}`;
     }
     const output = interpreter.execute(fullSource, '<eval>');
-    if (output.stdout) {
+    if (output.stdout)
         console.log(output.stdout);
-    }
-    if (output.stderr) {
-        console.error(output.stderr);
-    }
+    if (output.stderr)
+        console.error(chalk_1.default.red(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}`);
+});
+program
+    .command('profiles')
+    .description('Listar perfiles logicos disponibles')
+    .action(() => {
+    new interpreter_1.Interpreter(); // Asegura registro
+    console.log(chalk_1.default.bold('Perfiles logicos disponibles:\n'));
+    for (const name of interface_1.registry.list()) {
+        const p = interface_1.registry.get(name);
+        const status = name === 'classical.propositional' ? chalk_1.default.green('completo') : chalk_1.default.yellow('stub');
+        console.log(`  ${chalk_1.default.cyan(name)} [${status}]`);
+        if (p?.description)
+            console.log(`    ${p.description}`);
         console.log('');
     }
-}
-function cmdProtocol(args) {
-    // Modo JSON-RPC sobre stdin/stdout para integración con editores
+});
+program
+    .command('protocol')
+    .description('Modo JSON-RPC para integracion con editores (LSP-like)')
+    .action(() => {
     const handler = new handler_1.ProtocolHandler();
-    const rl = require('readline').createInterface({
+    const rl = readline.createInterface({
         input: process.stdin,
         output: process.stdout,
         terminal: false,
@@ -267,12 +174,39 @@ function cmdProtocol(args) {
             console.log(JSON.stringify(response));
         }
         catch (e) {
+            const message = e instanceof Error ? e.message : String(e);
             console.log(JSON.stringify({
                 id: -1,
-                error: { code: -32700, message: `Parse error: ${e.message}` },
+                error: { code: -32700, message: `Parse error: ${message}` },
             }));
         }
     });
+});
+// Handle unknown commands
+program.on('command:*', () => {
+    const args = program.args;
+    if (args.length > 0 && (args[0].endsWith('.st') || args[0].endsWith('.md.st'))) {
+        // Legacy support for `st file.st`
+        const filePath = path.resolve(args[0]);
+        if (fs.existsSync(filePath)) {
+            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(chalk_1.default.red(output.stderr));
+            process.exit(output.exitCode);
+        }
+    }
+    console.error(chalk_1.default.red(`Comando desconocido: ${program.args.join(' ')}`));
+    console.error(`Usa 'st --help' para ver los comandos disponibles.`);
+    process.exit(1);
+});
+if (process.argv.length === 2) {
+    program.help();
+}
+else {
+    program.parse(process.argv);
 }
-main();
 //# sourceMappingURL=index.js.map