@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/hyperreal/index.js

@@ -0,0 +1,183 @@
+"use strict";
+// ============================================================
+// ST Hyperreal — Lógica probabilística con infinitesimales
+// ============================================================
+// Modela valores como números hiperreales de primer orden:
+//
+//   x = standard + infinitesimal · ε
+//
+// donde ε es un infinitesimal formal con ε² ≈ 0. Esto permite:
+//   • distinguir 1 y 1 + ε (probabilidad "casi 1" pero no exacta).
+//   • razonar sobre diferencias infinitamente pequeñas sin colapsar
+//     al límite estándar.
+//   • propagar incertidumbre con cotas inferior/superior conservadoras
+//     bajo operadores booleanos probabilísticos.
+//
+// Aritmética (sólo primer orden en ε; los términos ε² se descartan):
+//   (a_s + a_i ε) + (b_s + b_i ε) = (a_s + b_s) + (a_i + b_i) ε
+//   (a_s + a_i ε) - (b_s + b_i ε) = (a_s - b_s) + (a_i - b_i) ε
+//   (a_s + a_i ε) · (b_s + b_i ε) = a_s b_s + (a_s b_i + a_i b_s) ε
+//                                    [+ a_i b_i ε² → 0]
+//
+// Orden total (lexicográfico standard primero, después infinitesimal):
+//   a < b  ⇔  a_s < b_s  ∨  (a_s = b_s ∧ a_i < b_i)
+//
+// Lógica probabilística hiperreal:
+//   p ∧ q = p · q
+//   p ∨ q = p + q − p·q       (inclusión-exclusión)
+//   ¬p     = 1 − p
+//   p → q = ¬p ∨ q = 1 − p + p·q
+//
+// Propagación de cotas [lower, upper]:
+//   AND y OR son monótonas crecientes en ambas variables.
+//   NOT invierte y refleja la cota.
+//   IMPLIES es decreciente en p y creciente en q ⇒ la cota inferior
+//   sale del lado conservador (upper_p, lower_q) y viceversa.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HR_EPSILON = exports.HR_ONE = exports.HR_ZERO = void 0;
+exports.hr = hr;
+exports.add = add;
+exports.sub = sub;
+exports.mul = mul;
+exports.compare = compare;
+exports.eq = eq;
+exports.lt = lt;
+exports.gt = gt;
+exports.hrAnd = hrAnd;
+exports.hrOr = hrOr;
+exports.hrNot = hrNot;
+exports.hrImplies = hrImplies;
+exports.bound = bound;
+exports.propagate = propagate;
+exports.hrToString = hrToString;
+function hr(standard, infinitesimal = 0) {
+    return { standard, infinitesimal };
+}
+exports.HR_ZERO = { standard: 0, infinitesimal: 0 };
+exports.HR_ONE = { standard: 1, infinitesimal: 0 };
+exports.HR_EPSILON = { standard: 0, infinitesimal: 1 };
+// ── Aritmética ──────────────────────────────────────────────
+function add(a, b) {
+    return {
+        standard: a.standard + b.standard,
+        infinitesimal: a.infinitesimal + b.infinitesimal,
+    };
+}
+function sub(a, b) {
+    return {
+        standard: a.standard - b.standard,
+        infinitesimal: a.infinitesimal - b.infinitesimal,
+    };
+}
+function mul(a, b) {
+    // (a.s + a.i ε)(b.s + b.i ε) = a.s·b.s + (a.s·b.i + a.i·b.s)·ε + O(ε²)
+    return {
+        standard: a.standard * b.standard,
+        infinitesimal: a.standard * b.infinitesimal + a.infinitesimal * b.standard,
+    };
+}
+/**
+ * Compara dos hiperreales lexicográficamente: primero la parte estándar,
+ * luego la infinitesimal. Devuelve -1, 0 o 1.
+ *
+ * Usa una tolerancia ínfima sobre las componentes para absorber el ruido
+ * de coma flotante; los infinitesimales formales no se ven afectados
+ * porque su magnitud es de orden O(1) en el coeficiente.
+ */
+function compare(a, b) {
+    const EPS = 1e-12;
+    const ds = a.standard - b.standard;
+    if (ds > EPS)
+        return 1;
+    if (ds < -EPS)
+        return -1;
+    const di = a.infinitesimal - b.infinitesimal;
+    if (di > EPS)
+        return 1;
+    if (di < -EPS)
+        return -1;
+    return 0;
+}
+function eq(a, b) {
+    return compare(a, b) === 0;
+}
+function lt(a, b) {
+    return compare(a, b) < 0;
+}
+function gt(a, b) {
+    return compare(a, b) > 0;
+}
+// ── Lógica probabilística hiperreal ─────────────────────────
+function hrAnd(p, q) {
+    return mul(p, q);
+}
+function hrOr(p, q) {
+    return sub(add(p, q), mul(p, q));
+}
+function hrNot(p) {
+    return sub(exports.HR_ONE, p);
+}
+function hrImplies(p, q) {
+    // p → q ≡ ¬p ∨ q
+    return hrOr(hrNot(p), q);
+}
+function bound(lower, upper) {
+    if (compare(lower, upper) > 0) {
+        throw new Error(`UncertaintyBound inválido: lower (${lower.standard}+${lower.infinitesimal}ε) > upper (${upper.standard}+${upper.infinitesimal}ε)`);
+    }
+    return { lower, upper };
+}
+/**
+ * Propaga una operación lógica sobre cotas de incertidumbre.
+ *
+ * - `and`/`or` requieren `other`; ambas operaciones son monótonas en
+ *   sus dos argumentos, por lo que la cota se obtiene aplicando la
+ *   operación a (lower, lower) y (upper, upper) respectivamente.
+ * - `not` invierte la cota: ¬[a, b] = [1 − b, 1 − a].
+ * - `implies` requiere `other`. p → q es decreciente en p y creciente
+ *   en q ⇒ lower = (upper_p → lower_q), upper = (lower_p → upper_q).
+ */
+function propagate(b, op, other) {
+    switch (op) {
+        case 'and': {
+            if (!other)
+                throw new Error("propagate('and') requiere el segundo operando");
+            return {
+                lower: hrAnd(b.lower, other.lower),
+                upper: hrAnd(b.upper, other.upper),
+            };
+        }
+        case 'or': {
+            if (!other)
+                throw new Error("propagate('or') requiere el segundo operando");
+            return {
+                lower: hrOr(b.lower, other.lower),
+                upper: hrOr(b.upper, other.upper),
+            };
+        }
+        case 'not': {
+            return {
+                lower: hrNot(b.upper),
+                upper: hrNot(b.lower),
+            };
+        }
+        case 'implies': {
+            if (!other)
+                throw new Error("propagate('implies') requiere el segundo operando");
+            return {
+                lower: hrImplies(b.upper, other.lower),
+                upper: hrImplies(b.lower, other.upper),
+            };
+        }
+    }
+}
+// ── Utilidades de depuración ────────────────────────────────
+function hrToString(x) {
+    if (x.infinitesimal === 0)
+        return `${x.standard}`;
+    const sign = x.infinitesimal >= 0 ? '+' : '-';
+    const mag = Math.abs(x.infinitesimal);
+    return `${x.standard} ${sign} ${mag}ε`;
+}
+//# sourceMappingURL=index.js.map

package/dist/hyperreal/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/hyperreal/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,2DAA2D;AAC3D,EAAE;AACF,qCAAqC;AACrC,EAAE;AACF,+DAA+D;AAC/D,mEAAmE;AACnE,oEAAoE;AACpE,0BAA0B;AAC1B,uEAAuE;AACvE,iDAAiD;AACjD,EAAE;AACF,qEAAqE;AACrE,gEAAgE;AAChE,gEAAgE;AAChE,oEAAoE;AACpE,wDAAwD;AACxD,EAAE;AACF,uEAAuE;AACvE,oDAAoD;AACpD,EAAE;AACF,mCAAmC;AACnC,kBAAkB;AAClB,oDAAoD;AACpD,mBAAmB;AACnB,iCAAiC;AACjC,EAAE;AACF,uCAAuC;AACvC,0DAA0D;AAC1D,oCAAoC;AACpC,oEAAoE;AACpE,8DAA8D;AAC9D,+DAA+D;;;AAO/D,gBAEC;AAQD,kBAKC;AAED,kBAKC;AAED,kBAMC;AAUD,0BASC;AAED,gBAEC;AAED,gBAEC;AAED,gBAEC;AAID,sBAEC;AAED,oBAEC;AAED,sBAEC;AAED,8BAGC;AASD,sBAOC;AAYD,8BAkCC;AAID,gCAKC;AAvJD,SAAgB,EAAE,CAAC,QAAgB,EAAE,gBAAwB,CAAC;IAC5D,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;AACrC,CAAC;AAEY,QAAA,OAAO,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACvD,QAAA,MAAM,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACtD,QAAA,UAAU,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AAEvE,+DAA+D;AAE/D,SAAgB,GAAG,CAAC,CAAY,EAAE,CAAY;IAC5C,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ;QACjC,aAAa,EAAE,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa;KACjD,CAAC;AACJ,CAAC;AAED,SAAgB,GAAG,CAAC,CAAY,EAAE,CAAY;IAC5C,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ;QACjC,aAAa,EAAE,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa;KACjD,CAAC;AACJ,CAAC;AAED,SAAgB,GAAG,CAAC,CAAY,EAAE,CAAY;IAC5C,uEAAuE;IACvE,OAAO;QACL,QAAQ,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ;QACjC,aAAa,EAAE,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,QAAQ;KAC3E,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,OAAO,CAAC,CAAY,EAAE,CAAY;IAChD,MAAM,GAAG,GAAG,KAAK,CAAC;IAClB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC;IACnC,IAAI,EAAE,GAAG,GAAG;QAAE,OAAO,CAAC,CAAC;IACvB,IAAI,EAAE,GAAG,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,aAAa,CAAC;IAC7C,IAAI,EAAE,GAAG,GAAG;QAAE,OAAO,CAAC,CAAC;IACvB,IAAI,EAAE,GAAG,CAAC,GAAG;QAAE,OAAO,CAAC,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,+DAA+D;AAE/D,SAAgB,KAAK,CAAC,CAAY,EAAE,CAAY;IAC9C,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,SAAgB,IAAI,CAAC,CAAY,EAAE,CAAY;IAC7C,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,SAAgB,KAAK,CAAC,CAAY;IAChC,OAAO,GAAG,CAAC,cAAM,EAAE,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,SAAgB,SAAS,CAAC,CAAY,EAAE,CAAY;IAClD,iBAAiB;IACjB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AASD,SAAgB,KAAK,CAAC,KAAgB,EAAE,KAAgB;IACtD,IAAI,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CACb,qCAAqC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,eAAe,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,aAAa,IAAI,CACnI,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,SAAS,CACvB,CAAmB,EACnB,EAAoC,EACpC,KAAwB;IAExB,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;YAC7E,OAAO;gBACL,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;gBAClC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aACnC,CAAC;QACJ,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;YAC5E,OAAO;gBACL,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;gBACjC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aAClC,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,OAAO;gBACL,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;gBACrB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;aACtB,CAAC;QACJ,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACjF,OAAO;gBACL,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;gBACtC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;aACvC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,+DAA+D;AAE/D,SAAgB,UAAU,CAAC,CAAY;IACrC,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IAClD,MAAM,IAAI,GAAG,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;IACtC,OAAO,GAAG,CAAC,CAAC,QAAQ,IAAI,IAAI,IAAI,GAAG,GAAG,CAAC;AACzC,CAAC"}

package/dist/index.d.ts

@@ -20,7 +20,33 @@ export { formulaToUnicode, formulaToLaTeX } from './runtime/format';
 export { detectFallacies } from './runtime/fallacies';
 export type { FallacyInfo } from './runtime/fallacies';
 export { TextLayerState, createTextLayerState, parseAnchorPath, registerPassage, registerFormalization, registerClaim, registerSupport, registerConfidence, registerContext, compileClaimsToTheory, registerDefinition, registerSource, registerInterpretation, } from './text-layer/compiler';
+export { ClaimGraph, CycleError } from './text-layer/v2';
+export type { Claim, ClaimValidation, ClaimSource, ClaimEvaluator } from './text-layer/v2';
 export { Interpreter } from './runtime/interpreter';
 export { ProtocolHandler } from './protocol/handler';
 export { REPL } from './repl/repl';
+export { typeCheck, TypeChecker } from './runtime/typecheck';
+export type { TypeError } from './runtime/typecheck';
+export { visit, visitProgram, BaseASTVisitor } from './ast/visitor';
+export type { ASTVisitor } from './ast/visitor';
+export { solveCDCLv2 } from './solver/cdcl-v2';
+export { evalParallel, shutdownPool } from './runtime/parallel';
+export type { ParallelEvalOptions, ParallelEvalResult } from './runtime/parallel';
+export { DerivationCache, hashFormula } from './runtime/memo';
+export { streamEval } from './runtime/streaming';
+export type { StreamEvent } from './runtime/streaming';
+export { exportToCoq, exportProofToCoq } from './exporters/coq';
+export { computeExtensions, isAdmissible, isConflictFree, defends, dotExport, } from './argumentation';
+export type { ArgumentationFramework, Semantics } from './argumentation';
+export { proveFOL, unify, skolemize, toCNF } from './fol-prover';
+export { canonicalize, hashProof, signProof, verifyProof, generateKeyPair } from './proof-exchange';
+export type { ProofPackage } from './proof-exchange';
+export { captureSnapshot, SnapshotStore } from './time-travel';
+export type { STSnapshot, SnapshotDiff } from './time-travel';
+export { generateExercise, checkAnswer, generateLessonPath } from './educational';
+export type { Exercise, ExerciseLevel, ExerciseKind } from './educational';
+export { toSMTLIB, MockSMTBackend, SubprocessSMTBackend, detectAvailableSMT } from './runtime/smt';
+export type { SMTBackend } from './runtime/smt';
+export { deriveWithCitations, explainProof } from './citation-reasoning';
+export type { CitedClaim, CitationDerivation, CitationDerivationResult, DerivationStep, Evaluator, } from './citation-reasoning';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,KAAK,EACL,OAAO,EACP,cAAc,EACd,UAAU,EACV,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,cAAc,GACpB,MAAM,OAAO,CAAC;AAGf,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG5D,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAGxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC5D,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAGzF,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EACL,QAAQ,EACR,KAAK,EACL,KAAK,EACL,SAAS,EACT,iBAAiB,EACjB,YAAY,EACZ,KAAK,EACL,OAAO,EACP,cAAc,EACd,UAAU,EACV,MAAM,EACN,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,cAAc,GACpB,MAAM,OAAO,CAAC;AAGf,cAAc,SAAS,CAAC;AAGxB,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAG5D,cAAc,aAAa,CAAC;AAG5B,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAGzC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,oBAAoB,EAAE,MAAM,kCAAkC,CAAC;AAGxE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC5D,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAGzF,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EACL,cAAc,EACd,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,kBAAkB,EAClB,cAAc,EACd,sBAAsB,GACvB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AACzD,YAAY,EAAE,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAG3F,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGnC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAC7D,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAGrD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpE,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG/C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAChE,YAAY,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAGlF,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAG9D,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,YAAY,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAGvD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGhE,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,cAAc,EACd,OAAO,EACP,SAAS,GACV,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,sBAAsB,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGzE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAGjE,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACpG,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAGrD,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC/D,YAAY,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG9D,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAClF,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAG3E,OAAO,EAAE,QAAQ,EAAE,cAAc,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACnG,YAAY,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAGhD,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzE,YAAY,EACV,UAAU,EACV,kBAAkB,EAClB,wBAAwB,EACxB,cAAc,EACd,SAAS,GACV,MAAM,sBAAsB,CAAC"}

package/dist/index.js

@@ -17,7 +17,8 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.REPL = exports.ProtocolHandler = exports.Interpreter = exports.registerInterpretation = exports.registerSource = exports.registerDefinition = exports.compileClaimsToTheory = exports.registerContext = exports.registerConfidence = exports.registerSupport = exports.registerClaim = exports.registerFormalization = exports.registerPassage = exports.parseAnchorPath = exports.createTextLayerState = exports.detectFallacies = exports.formulaToLaTeX = exports.formulaToUnicode = exports.PARALLEL_THRESHOLD = exports.workersAvailable = exports.dpllAsync = exports.dpll = exports.cdclAsync = exports.cdcl = exports.ParaconsistentBelnap = exports.ModalK = exports.ClassicalFirstOrder = exports.formulaToString = exports.ClassicalPropositional = exports.registry = exports.ProfileRegistry = exports.Parser = exports.KEYWORDS = exports.TokenType = exports.Lexer = exports.render = exports.completion = exports.gotoDefinition = exports.symbols = exports.hover = exports.listProfiles = exports.createInterpreter = exports.quickEval = exports.check = exports.parse = exports.evaluate = void 0;
+exports.TypeChecker = exports.typeCheck = exports.REPL = exports.ProtocolHandler = exports.Interpreter = exports.CycleError = exports.ClaimGraph = exports.registerInterpretation = exports.registerSource = exports.registerDefinition = exports.compileClaimsToTheory = exports.registerContext = exports.registerConfidence = exports.registerSupport = exports.registerClaim = exports.registerFormalization = exports.registerPassage = exports.parseAnchorPath = exports.createTextLayerState = exports.detectFallacies = exports.formulaToLaTeX = exports.formulaToUnicode = exports.PARALLEL_THRESHOLD = exports.workersAvailable = exports.dpllAsync = exports.dpll = exports.cdclAsync = exports.cdcl = exports.ParaconsistentBelnap = exports.ModalK = exports.ClassicalFirstOrder = exports.formulaToString = exports.ClassicalPropositional = exports.registry = exports.ProfileRegistry = exports.Parser = exports.KEYWORDS = exports.TokenType = exports.Lexer = exports.render = exports.completion = exports.gotoDefinition = exports.symbols = exports.hover = exports.listProfiles = exports.createInterpreter = exports.quickEval = exports.check = exports.parse = exports.evaluate = void 0;
+exports.explainProof = exports.deriveWithCitations = exports.detectAvailableSMT = exports.SubprocessSMTBackend = exports.MockSMTBackend = exports.toSMTLIB = exports.generateLessonPath = exports.checkAnswer = exports.generateExercise = exports.SnapshotStore = exports.captureSnapshot = exports.generateKeyPair = exports.verifyProof = exports.signProof = exports.hashProof = exports.canonicalize = exports.toCNF = exports.skolemize = exports.unify = exports.proveFOL = exports.dotExport = exports.defends = exports.isConflictFree = exports.isAdmissible = exports.computeExtensions = exports.exportProofToCoq = exports.exportToCoq = exports.streamEval = exports.hashFormula = exports.DerivationCache = exports.shutdownPool = exports.evalParallel = exports.solveCDCLv2 = exports.BaseASTVisitor = exports.visitProgram = exports.visit = void 0;
 // API programática (uso recomendado para integración)
 var api_1 = require("./api");
 Object.defineProperty(exports, "evaluate", { enumerable: true, get: function () { return api_1.evaluate; } });
@@ -88,6 +89,10 @@ Object.defineProperty(exports, "compileClaimsToTheory", { enumerable: true, get:
 Object.defineProperty(exports, "registerDefinition", { enumerable: true, get: function () { return compiler_1.registerDefinition; } });
 Object.defineProperty(exports, "registerSource", { enumerable: true, get: function () { return compiler_1.registerSource; } });
 Object.defineProperty(exports, "registerInterpretation", { enumerable: true, get: function () { return compiler_1.registerInterpretation; } });
+// Text Layer 2.0 — grafo de claims con dependencias e invalidación propagada
+var v2_1 = require("./text-layer/v2");
+Object.defineProperty(exports, "ClaimGraph", { enumerable: true, get: function () { return v2_1.ClaimGraph; } });
+Object.defineProperty(exports, "CycleError", { enumerable: true, get: function () { return v2_1.CycleError; } });
 // Runtime
 var interpreter_1 = require("./runtime/interpreter");
 Object.defineProperty(exports, "Interpreter", { enumerable: true, get: function () { return interpreter_1.Interpreter; } });
@@ -97,4 +102,70 @@ Object.defineProperty(exports, "ProtocolHandler", { enumerable: true, get: funct
 // REPL
 var repl_1 = require("./repl/repl");
 Object.defineProperty(exports, "REPL", { enumerable: true, get: function () { return repl_1.REPL; } });
+// TypeChecker (validación estática con sugerencias humanas)
+var typecheck_1 = require("./runtime/typecheck");
+Object.defineProperty(exports, "typeCheck", { enumerable: true, get: function () { return typecheck_1.typeCheck; } });
+Object.defineProperty(exports, "TypeChecker", { enumerable: true, get: function () { return typecheck_1.TypeChecker; } });
+// AST visitor (nuevo en v4)
+var visitor_1 = require("./ast/visitor");
+Object.defineProperty(exports, "visit", { enumerable: true, get: function () { return visitor_1.visit; } });
+Object.defineProperty(exports, "visitProgram", { enumerable: true, get: function () { return visitor_1.visitProgram; } });
+Object.defineProperty(exports, "BaseASTVisitor", { enumerable: true, get: function () { return visitor_1.BaseASTVisitor; } });
+// CDCL v2
+var cdcl_v2_1 = require("./solver/cdcl-v2");
+Object.defineProperty(exports, "solveCDCLv2", { enumerable: true, get: function () { return cdcl_v2_1.solveCDCLv2; } });
+// Parallel pool
+var parallel_1 = require("./runtime/parallel");
+Object.defineProperty(exports, "evalParallel", { enumerable: true, get: function () { return parallel_1.evalParallel; } });
+Object.defineProperty(exports, "shutdownPool", { enumerable: true, get: function () { return parallel_1.shutdownPool; } });
+// Memoization
+var memo_1 = require("./runtime/memo");
+Object.defineProperty(exports, "DerivationCache", { enumerable: true, get: function () { return memo_1.DerivationCache; } });
+Object.defineProperty(exports, "hashFormula", { enumerable: true, get: function () { return memo_1.hashFormula; } });
+// Streaming
+var streaming_1 = require("./runtime/streaming");
+Object.defineProperty(exports, "streamEval", { enumerable: true, get: function () { return streaming_1.streamEval; } });
+// Coq exporter
+var coq_1 = require("./exporters/coq");
+Object.defineProperty(exports, "exportToCoq", { enumerable: true, get: function () { return coq_1.exportToCoq; } });
+Object.defineProperty(exports, "exportProofToCoq", { enumerable: true, get: function () { return coq_1.exportProofToCoq; } });
+// Argumentation (Dung framework)
+var argumentation_1 = require("./argumentation");
+Object.defineProperty(exports, "computeExtensions", { enumerable: true, get: function () { return argumentation_1.computeExtensions; } });
+Object.defineProperty(exports, "isAdmissible", { enumerable: true, get: function () { return argumentation_1.isAdmissible; } });
+Object.defineProperty(exports, "isConflictFree", { enumerable: true, get: function () { return argumentation_1.isConflictFree; } });
+Object.defineProperty(exports, "defends", { enumerable: true, get: function () { return argumentation_1.defends; } });
+Object.defineProperty(exports, "dotExport", { enumerable: true, get: function () { return argumentation_1.dotExport; } });
+// FOL prover
+var fol_prover_1 = require("./fol-prover");
+Object.defineProperty(exports, "proveFOL", { enumerable: true, get: function () { return fol_prover_1.proveFOL; } });
+Object.defineProperty(exports, "unify", { enumerable: true, get: function () { return fol_prover_1.unify; } });
+Object.defineProperty(exports, "skolemize", { enumerable: true, get: function () { return fol_prover_1.skolemize; } });
+Object.defineProperty(exports, "toCNF", { enumerable: true, get: function () { return fol_prover_1.toCNF; } });
+// Proof exchange
+var proof_exchange_1 = require("./proof-exchange");
+Object.defineProperty(exports, "canonicalize", { enumerable: true, get: function () { return proof_exchange_1.canonicalize; } });
+Object.defineProperty(exports, "hashProof", { enumerable: true, get: function () { return proof_exchange_1.hashProof; } });
+Object.defineProperty(exports, "signProof", { enumerable: true, get: function () { return proof_exchange_1.signProof; } });
+Object.defineProperty(exports, "verifyProof", { enumerable: true, get: function () { return proof_exchange_1.verifyProof; } });
+Object.defineProperty(exports, "generateKeyPair", { enumerable: true, get: function () { return proof_exchange_1.generateKeyPair; } });
+// Time-travel
+var time_travel_1 = require("./time-travel");
+Object.defineProperty(exports, "captureSnapshot", { enumerable: true, get: function () { return time_travel_1.captureSnapshot; } });
+Object.defineProperty(exports, "SnapshotStore", { enumerable: true, get: function () { return time_travel_1.SnapshotStore; } });
+// Educational
+var educational_1 = require("./educational");
+Object.defineProperty(exports, "generateExercise", { enumerable: true, get: function () { return educational_1.generateExercise; } });
+Object.defineProperty(exports, "checkAnswer", { enumerable: true, get: function () { return educational_1.checkAnswer; } });
+Object.defineProperty(exports, "generateLessonPath", { enumerable: true, get: function () { return educational_1.generateLessonPath; } });
+// SMT bridge
+var smt_1 = require("./runtime/smt");
+Object.defineProperty(exports, "toSMTLIB", { enumerable: true, get: function () { return smt_1.toSMTLIB; } });
+Object.defineProperty(exports, "MockSMTBackend", { enumerable: true, get: function () { return smt_1.MockSMTBackend; } });
+Object.defineProperty(exports, "SubprocessSMTBackend", { enumerable: true, get: function () { return smt_1.SubprocessSMTBackend; } });
+Object.defineProperty(exports, "detectAvailableSMT", { enumerable: true, get: function () { return smt_1.detectAvailableSMT; } });
+// Citation Reasoning (δ3)
+var citation_reasoning_1 = require("./citation-reasoning");
+Object.defineProperty(exports, "deriveWithCitations", { enumerable: true, get: function () { return citation_reasoning_1.deriveWithCitations; } });
+Object.defineProperty(exports, "explainProof", { enumerable: true, get: function () { return citation_reasoning_1.explainProof; } });
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;AAEH,sDAAsD;AACtD,6BAmBe;AAlBb,+FAAA,QAAQ,OAAA;AACR,4FAAA,KAAK,OAAA;AACL,4FAAA,KAAK,OAAA;AACL,gGAAA,SAAS,OAAA;AACT,wGAAA,iBAAiB,OAAA;AACjB,mGAAA,YAAY,OAAA;AACZ,4FAAA,KAAK,OAAA;AACL,8FAAA,OAAO,OAAA;AACP,qGAAA,cAAc,OAAA;AACd,iGAAA,UAAU,OAAA;AACV,6FAAA,MAAM,OAAA;AAUR,QAAQ;AACR,0CAAwB;AAExB,QAAQ;AACR,uCAAsC;AAA7B,8FAAA,KAAK,OAAA;AACd,yCAA4D;AAAnD,mGAAA,SAAS,OAAA;AAAS,kGAAA,QAAQ,OAAA;AAEnC,MAAM;AACN,8CAA4B;AAE5B,SAAS;AACT,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AAEf,WAAW;AACX,kDAA+E;AAAxD,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAChD,oEAA6F;AAApF,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,gEAAuE;AAA9D,kHAAA,mBAAmB,OAAA;AAC5B,wCAA4C;AAAnC,2FAAA,MAAM,OAAA;AACf,2DAAwE;AAA/D,8GAAA,oBAAoB,OAAA;AAE7B,oCAAoC;AACpC,kDAA4D;AAAnD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,kDAA4D;AAAnD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,kEAAyF;AAAhF,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA;AAE7C,4BAA4B;AAC5B,2CAAoE;AAA3D,0GAAA,gBAAgB,OAAA;AAAE,wGAAA,cAAc,OAAA;AAEzC,uBAAuB;AACvB,iDAAsD;AAA7C,4GAAA,eAAe,OAAA;AAGxB,aAAa;AACb,kDAc+B;AAZ7B,gHAAA,oBAAoB,OAAA;AACpB,2GAAA,eAAe,OAAA;AACf,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,kHAAA,sBAAsB,OAAA;AAGxB,UAAU;AACV,qDAAoD;AAA3C,0GAAA,WAAW,OAAA;AAEpB,WAAW;AACX,8CAAqD;AAA5C,0GAAA,eAAe,OAAA;AAExB,OAAO;AACP,oCAAmC;AAA1B,4FAAA,IAAI,OAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";AAAA;;GAEG;;;;;;;;;;;;;;;;;;AAEH,sDAAsD;AACtD,6BAmBe;AAlBb,+FAAA,QAAQ,OAAA;AACR,4FAAA,KAAK,OAAA;AACL,4FAAA,KAAK,OAAA;AACL,gGAAA,SAAS,OAAA;AACT,wGAAA,iBAAiB,OAAA;AACjB,mGAAA,YAAY,OAAA;AACZ,4FAAA,KAAK,OAAA;AACL,8FAAA,OAAO,OAAA;AACP,qGAAA,cAAc,OAAA;AACd,iGAAA,UAAU,OAAA;AACV,6FAAA,MAAM,OAAA;AAUR,QAAQ;AACR,0CAAwB;AAExB,QAAQ;AACR,uCAAsC;AAA7B,8FAAA,KAAK,OAAA;AACd,yCAA4D;AAAnD,mGAAA,SAAS,OAAA;AAAS,kGAAA,QAAQ,OAAA;AAEnC,MAAM;AACN,8CAA4B;AAE5B,SAAS;AACT,0CAAyC;AAAhC,gGAAA,MAAM,OAAA;AAEf,WAAW;AACX,kDAA+E;AAAxD,4GAAA,eAAe,OAAA;AAAE,qGAAA,QAAQ,OAAA;AAChD,oEAA6F;AAApF,uHAAA,sBAAsB,OAAA;AAAE,gHAAA,eAAe,OAAA;AAChD,gEAAuE;AAA9D,kHAAA,mBAAmB,OAAA;AAC5B,wCAA4C;AAAnC,2FAAA,MAAM,OAAA;AACf,2DAAwE;AAA/D,8GAAA,oBAAoB,OAAA;AAE7B,oCAAoC;AACpC,kDAA4D;AAAnD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AAExB,kDAA4D;AAAnD,4FAAA,IAAI,OAAA;AAAE,iGAAA,SAAS,OAAA;AACxB,kEAAyF;AAAhF,gHAAA,gBAAgB,OAAA;AAAE,kHAAA,kBAAkB,OAAA;AAE7C,4BAA4B;AAC5B,2CAAoE;AAA3D,0GAAA,gBAAgB,OAAA;AAAE,wGAAA,cAAc,OAAA;AAEzC,uBAAuB;AACvB,iDAAsD;AAA7C,4GAAA,eAAe,OAAA;AAGxB,aAAa;AACb,kDAc+B;AAZ7B,gHAAA,oBAAoB,OAAA;AACpB,2GAAA,eAAe,OAAA;AACf,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,yGAAA,aAAa,OAAA;AACb,2GAAA,eAAe,OAAA;AACf,8GAAA,kBAAkB,OAAA;AAClB,2GAAA,eAAe,OAAA;AACf,iHAAA,qBAAqB,OAAA;AACrB,8GAAA,kBAAkB,OAAA;AAClB,0GAAA,cAAc,OAAA;AACd,kHAAA,sBAAsB,OAAA;AAGxB,6EAA6E;AAC7E,sCAAyD;AAAhD,gGAAA,UAAU,OAAA;AAAE,gGAAA,UAAU,OAAA;AAG/B,UAAU;AACV,qDAAoD;AAA3C,0GAAA,WAAW,OAAA;AAEpB,WAAW;AACX,8CAAqD;AAA5C,0GAAA,eAAe,OAAA;AAExB,OAAO;AACP,oCAAmC;AAA1B,4FAAA,IAAI,OAAA;AAEb,4DAA4D;AAC5D,iDAA6D;AAApD,sGAAA,SAAS,OAAA;AAAE,wGAAA,WAAW,OAAA;AAG/B,4BAA4B;AAC5B,yCAAoE;AAA3D,gGAAA,KAAK,OAAA;AAAE,uGAAA,YAAY,OAAA;AAAE,yGAAA,cAAc,OAAA;AAG5C,UAAU;AACV,4CAA+C;AAAtC,sGAAA,WAAW,OAAA;AAEpB,gBAAgB;AAChB,+CAAgE;AAAvD,wGAAA,YAAY,OAAA;AAAE,wGAAA,YAAY,OAAA;AAGnC,cAAc;AACd,uCAA8D;AAArD,uGAAA,eAAe,OAAA;AAAE,mGAAA,WAAW,OAAA;AAErC,YAAY;AACZ,iDAAiD;AAAxC,uGAAA,UAAU,OAAA;AAGnB,eAAe;AACf,uCAAgE;AAAvD,kGAAA,WAAW,OAAA;AAAE,uGAAA,gBAAgB,OAAA;AAEtC,iCAAiC;AACjC,iDAMyB;AALvB,kHAAA,iBAAiB,OAAA;AACjB,6GAAA,YAAY,OAAA;AACZ,+GAAA,cAAc,OAAA;AACd,wGAAA,OAAO,OAAA;AACP,0GAAA,SAAS,OAAA;AAIX,aAAa;AACb,2CAAiE;AAAxD,sGAAA,QAAQ,OAAA;AAAE,mGAAA,KAAK,OAAA;AAAE,uGAAA,SAAS,OAAA;AAAE,mGAAA,KAAK,OAAA;AAE1C,iBAAiB;AACjB,mDAAoG;AAA3F,8GAAA,YAAY,OAAA;AAAE,2GAAA,SAAS,OAAA;AAAE,2GAAA,SAAS,OAAA;AAAE,6GAAA,WAAW,OAAA;AAAE,iHAAA,eAAe,OAAA;AAGzE,cAAc;AACd,6CAA+D;AAAtD,8GAAA,eAAe,OAAA;AAAE,4GAAA,aAAa,OAAA;AAGvC,cAAc;AACd,6CAAkF;AAAzE,+GAAA,gBAAgB,OAAA;AAAE,0GAAA,WAAW,OAAA;AAAE,iHAAA,kBAAkB,OAAA;AAG1D,aAAa;AACb,qCAAmG;AAA1F,+FAAA,QAAQ,OAAA;AAAE,qGAAA,cAAc,OAAA;AAAE,2GAAA,oBAAoB,OAAA;AAAE,yGAAA,kBAAkB,OAAA;AAG3E,0BAA0B;AAC1B,2DAAyE;AAAhE,yHAAA,mBAAmB,OAAA;AAAE,kHAAA,YAAY,OAAA"}

package/dist/lsp/index.d.ts

@@ -0,0 +1,6 @@
+export { STLanguageServer } from './server';
+export type { OutgoingMessage } from './server';
+export { encodeMessage, parseFrames, isRequest, isNotification } from './protocol';
+export type { IncomingMessage } from './protocol';
+export * from './types';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lsp/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAC5C,YAAY,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AACnF,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,cAAc,SAAS,CAAC"}

package/dist/lsp/index.js

@@ -0,0 +1,29 @@
+"use strict";
+// ============================================================
+// ST LSP — Barrel export
+// ============================================================
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isNotification = exports.isRequest = exports.parseFrames = exports.encodeMessage = exports.STLanguageServer = void 0;
+var server_1 = require("./server");
+Object.defineProperty(exports, "STLanguageServer", { enumerable: true, get: function () { return server_1.STLanguageServer; } });
+var protocol_1 = require("./protocol");
+Object.defineProperty(exports, "encodeMessage", { enumerable: true, get: function () { return protocol_1.encodeMessage; } });
+Object.defineProperty(exports, "parseFrames", { enumerable: true, get: function () { return protocol_1.parseFrames; } });
+Object.defineProperty(exports, "isRequest", { enumerable: true, get: function () { return protocol_1.isRequest; } });
+Object.defineProperty(exports, "isNotification", { enumerable: true, get: function () { return protocol_1.isNotification; } });
+__exportStar(require("./types"), exports);
+//# sourceMappingURL=index.js.map

package/dist/lsp/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/lsp/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;;;;;;;;;;;;;;;;AAE/D,mCAA4C;AAAnC,0GAAA,gBAAgB,OAAA;AAEzB,uCAAmF;AAA1E,yGAAA,aAAa,OAAA;AAAE,uGAAA,WAAW,OAAA;AAAE,qGAAA,SAAS,OAAA;AAAE,0GAAA,cAAc,OAAA;AAE9D,0CAAwB"}

package/dist/lsp/protocol.d.ts

@@ -0,0 +1,20 @@
+import { JsonRpcRequest, JsonRpcNotification, JsonRpcResponse } from './types';
+export type IncomingMessage = JsonRpcRequest | JsonRpcNotification | JsonRpcResponse;
+export interface FramedParseResult {
+    messages: IncomingMessage[];
+    remainder: Buffer;
+}
+/**
+ * Codifica un mensaje JSON-RPC con framing Content-Length de LSP.
+ * Devuelve un Buffer listo para escribir a stdout.
+ */
+export declare function encodeMessage(message: JsonRpcResponse | JsonRpcNotification): Buffer;
+/**
+ * Acumula chunks entrantes y extrae todos los mensajes completos. Lo que
+ * sobra (header parcial o body parcial) vuelve en `remainder` para reintentar
+ * en la siguiente entrega.
+ */
+export declare function parseFrames(buffer: Buffer): FramedParseResult;
+export declare function isRequest(message: IncomingMessage): message is JsonRpcRequest;
+export declare function isNotification(message: IncomingMessage): message is JsonRpcNotification;
+//# sourceMappingURL=protocol.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../src/lsp/protocol.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,SAAS,CAAC;AAK/E,MAAM,MAAM,eAAe,GAAG,cAAc,GAAG,mBAAmB,GAAG,eAAe,CAAC;AAErF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,eAAe,GAAG,mBAAmB,GAAG,MAAM,CAKpF;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,CAiC7D;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,IAAI,cAAc,CAE7E;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,eAAe,GAAG,OAAO,IAAI,mBAAmB,CAEvF"}

package/dist/lsp/protocol.js

@@ -0,0 +1,64 @@
+"use strict";
+// ============================================================
+// ST LSP — Framing JSON-RPC base
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.encodeMessage = encodeMessage;
+exports.parseFrames = parseFrames;
+exports.isRequest = isRequest;
+exports.isNotification = isNotification;
+const CONTENT_LENGTH_RE = /Content-Length:\s*(\d+)/i;
+const HEADER_TERMINATOR = '\r\n\r\n';
+/**
+ * Codifica un mensaje JSON-RPC con framing Content-Length de LSP.
+ * Devuelve un Buffer listo para escribir a stdout.
+ */
+function encodeMessage(message) {
+    const json = JSON.stringify(message);
+    const body = Buffer.from(json, 'utf8');
+    const header = Buffer.from(`Content-Length: ${body.length}\r\n\r\n`, 'utf8');
+    return Buffer.concat([header, body]);
+}
+/**
+ * Acumula chunks entrantes y extrae todos los mensajes completos. Lo que
+ * sobra (header parcial o body parcial) vuelve en `remainder` para reintentar
+ * en la siguiente entrega.
+ */
+function parseFrames(buffer) {
+    const messages = [];
+    let cursor = 0;
+    while (cursor < buffer.length) {
+        const headerEnd = buffer.indexOf(HEADER_TERMINATOR, cursor, 'utf8');
+        if (headerEnd === -1)
+            break;
+        const headerText = buffer.slice(cursor, headerEnd).toString('utf8');
+        const match = CONTENT_LENGTH_RE.exec(headerText);
+        if (!match) {
+            cursor = headerEnd + HEADER_TERMINATOR.length;
+            continue;
+        }
+        const contentLength = Number.parseInt(match[1], 10);
+        const bodyStart = headerEnd + HEADER_TERMINATOR.length;
+        const bodyEnd = bodyStart + contentLength;
+        if (bodyEnd > buffer.length)
+            break;
+        const body = buffer.slice(bodyStart, bodyEnd).toString('utf8');
+        try {
+            const parsed = JSON.parse(body);
+            messages.push(parsed);
+        }
+        catch {
+            // Mensaje invalido: lo descartamos para no quedar atascados; el server
+            // puede responder con un error si lo identifica via id.
+        }
+        cursor = bodyEnd;
+    }
+    return { messages, remainder: buffer.slice(cursor) };
+}
+function isRequest(message) {
+    return 'method' in message && 'id' in message && message.id !== undefined;
+}
+function isNotification(message) {
+    return 'method' in message && !('id' in message);
+}
+//# sourceMappingURL=protocol.js.map

package/dist/lsp/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../src/lsp/protocol.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;AAkB/D,sCAKC;AAOD,kCAiCC;AAED,8BAEC;AAED,wCAEC;AAnED,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AACrD,MAAM,iBAAiB,GAAG,UAAU,CAAC;AASrC;;;GAGG;AACH,SAAgB,aAAa,CAAC,OAA8C;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,MAAM,UAAU,EAAE,MAAM,CAAC,CAAC;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,SAAgB,WAAW,CAAC,MAAc;IACxC,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,OAAO,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACpE,IAAI,SAAS,KAAK,CAAC,CAAC;YAAE,MAAM;QAE5B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,GAAG,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC;YAC9C,SAAS;QACX,CAAC;QAED,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,SAAS,GAAG,iBAAiB,CAAC,MAAM,CAAC;QACvD,MAAM,OAAO,GAAG,SAAS,GAAG,aAAa,CAAC;QAC1C,IAAI,OAAO,GAAG,MAAM,CAAC,MAAM;YAAE,MAAM;QAEnC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC/D,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;YACnD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QAAC,MAAM,CAAC;YACP,uEAAuE;YACvE,wDAAwD;QAC1D,CAAC;QAED,MAAM,GAAG,OAAO,CAAC;IACnB,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;AACvD,CAAC;AAED,SAAgB,SAAS,CAAC,OAAwB;IAChD,OAAO,QAAQ,IAAI,OAAO,IAAI,IAAI,IAAI,OAAO,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS,CAAC;AAC5E,CAAC;AAED,SAAgB,cAAc,CAAC,OAAwB;IACrD,OAAO,QAAQ,IAAI,OAAO,IAAI,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC;AACnD,CAAC"}

package/dist/lsp/server.d.ts

@@ -0,0 +1,47 @@
+import { Readable, Writable } from 'stream';
+import { type IncomingMessage } from './protocol';
+import { type JsonRpcNotification, type JsonRpcResponse } from './types';
+export type OutgoingMessage = JsonRpcResponse | JsonRpcNotification;
+/**
+ * Implementa el Language Server Protocol mínimo para archivos `.st`.
+ *
+ * Diseñado para que la lógica de dispatch sea testeable sin streams: usa
+ * `dispatch()` directamente o llama `listen(stdin, stdout)` para correrlo
+ * conectado a procesos.
+ */
+export declare class STLanguageServer {
+    private readonly documents;
+    private initialized;
+    private shutdownRequested;
+    private emit;
+    constructor(emit?: (message: OutgoingMessage) => void);
+    /** Conecta el server a streams (típicamente process.stdin / process.stdout). */
+    listen(stdin: Readable, stdout: Writable): void;
+    /**
+     * Procesa un mensaje entrante. Devuelve la respuesta (para requests) o
+     * `null` (para notificaciones o cuando el método no produce respuesta).
+     * Las notificaciones emitidas como efecto (publishDiagnostics) salen
+     * por el callback `emit` configurado en el constructor o por `listen()`.
+     */
+    dispatch(message: IncomingMessage): JsonRpcResponse | null;
+    private handleRequest;
+    private handleInitialize;
+    private handleHover;
+    private handleDefinition;
+    private handleCompletion;
+    private handleDocumentSymbol;
+    private handleNotification;
+    private onDidOpen;
+    private onDidChange;
+    private onDidSave;
+    private onDidClose;
+    private publishDiagnostics;
+    private publish;
+    private respond;
+    private error;
+    /** True si el cliente ya envió `initialize`. Útil para tests. */
+    isInitialized(): boolean;
+    /** True si el cliente pidió shutdown. */
+    isShutdownRequested(): boolean;
+}
+//# sourceMappingURL=server.d.ts.map

package/dist/lsp/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/lsp/server.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAW5C,OAAO,EAKL,KAAK,eAAe,EACrB,MAAM,YAAY,CAAC;AACpB,OAAO,EASL,KAAK,mBAAmB,EAExB,KAAK,eAAe,EAWrB,MAAM,SAAS,CAAC;AAQjB,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG,mBAAmB,CAAC;AAMpE;;;;;;GAMG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAmC;IAC7D,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,iBAAiB,CAAS;IAClC,OAAO,CAAC,IAAI,CAAqC;gBAErC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,IAAI;IAIrD,gFAAgF;IAChF,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,IAAI;IAsB/C;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,eAAe,GAAG,eAAe,GAAG,IAAI;IAa1D,OAAO,CAAC,aAAa;IAmCrB,OAAO,CAAC,gBAAgB;IAexB,OAAO,CAAC,WAAW;IAyBnB,OAAO,CAAC,gBAAgB;IAsBxB,OAAO,CAAC,gBAAgB;IAoBxB,OAAO,CAAC,oBAAoB;IAyB5B,OAAO,CAAC,kBAAkB;IA2B1B,OAAO,CAAC,SAAS;IAQjB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,SAAS;IAUjB,OAAO,CAAC,UAAU;IAgBlB,OAAO,CAAC,kBAAkB;IAiC1B,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,KAAK;IAIb,iEAAiE;IACjE,aAAa,IAAI,OAAO;IAIxB,yCAAyC;IACzC,mBAAmB,IAAI,OAAO;CAG/B"}