@stevenvo780/st-lang 4.14.0 → 4.15.0

package/dist/reasoning/information-theory/index.js

@@ -42,8 +42,7 @@ const EPS_DEFAULT = 1e-9;
 // ------------------------------------------------------------
 // Soporte y validación
 // ------------------------------------------------------------
-// Devuelve los símbolos con probabilidad estrictamente positiva, en el
-// orden en que aparecen en el Map (orden de inserción, estable).
+/** Devuelve los símbolos con probabilidad estrictamente positiva (soporte de `p`). */
 function support(p) {
     const out = [];
     for (const [k, v] of p) {
@@ -52,8 +51,7 @@ function support(p) {
     }
     return out;
 }
-// True si todas las probabilidades son finitas y ≥ 0, y la suma está a
-// menos de `eps` de 1. Probabilidades negativas o NaN ⇒ false.
+/** `true` si todas las probabilidades son ≥ 0, finitas y su suma difiere de 1 en menos de `eps`. */
 function isValidDistribution(p, eps = EPS_DEFAULT) {
     let sum = 0;
     for (const v of p.values()) {
@@ -63,8 +61,10 @@ function isValidDistribution(p, eps = EPS_DEFAULT) {
     }
     return Math.abs(sum - 1) <= eps;
 }
-// Reescala la distribución a masa 1. Si la suma actual es 0, lanza:
-// no hay forma canónica de "normalizar" la distribución nula.
+/**
+ * Reescala la distribución `p` para que su masa sea 1.
+ * @throws si alguna probabilidad es inválida o la masa total es 0.
+ */
 function normalize(p) {
     let sum = 0;
     for (const v of p.values()) {
@@ -97,8 +97,7 @@ function logIn(base) {
 // ------------------------------------------------------------
 // Entropías
 // ------------------------------------------------------------
-// Shannon: H(p) = -Σ p(x) · log p(x).
-// Convención lim_{x→0} x·log x = 0 ⇒ los símbolos con masa 0 no aportan.
+/** Entropía de Shannon: H(p) = −Σ p(x)·log p(x). Convención: 0·log 0 = 0. */
 function shannonEntropy(p, base = 2) {
     const log = logIn(base);
     let h = 0;
@@ -109,17 +108,11 @@ function shannonEntropy(p, base = 2) {
     }
     return h;
 }
-// Rényi de orden α (α ≥ 0, α ≠ 1):
-//   H_α(p) = 1/(1-α) · log Σ p(x)^α
-//
-// Casos especiales:
-//   α = 0 → log |sop(p)|       (Hartley / max-entropy del soporte)
-//   α = 1 → Shannon            (límite L'Hôpital — devolvemos Shannon)
-//   α = 2 → -log Σ p(x)^2      (entropía de colisión)
-//   α → ∞ → -log max p(x)      (min-entropy)
-//
-// `alpha` debe ser un número real finito y ≥ 0. α negativos no son
-// entropías de Rényi estándar y no se aceptan.
+/**
+ * Entropía de Rényi de orden `alpha` (α ≥ 0): H_α(p) = 1/(1−α)·log Σ p(x)^α.
+ * Límites: α=0 → max-entropy, α=1 → Shannon, α=2 → colisión, α→∞ → min-entropy.
+ * @throws si `alpha` es negativo o no finito.
+ */
 function renyiEntropy(p, alpha, base = 2) {
     if (!Number.isFinite(alpha) || alpha < 0) {
         throw new Error('renyiEntropy: α debe ser finito y ≥ 0');
@@ -138,7 +131,7 @@ function renyiEntropy(p, alpha, base = 2) {
         return 0;
     return log(s) / (1 - alpha);
 }
-// Min-entropy: -log max_x p(x). Mide la peor predictibilidad single-guess.
+/** Min-entropy: −log max_x p(x). Mide la peor predictibilidad en un solo intento. */
 function minEntropy(p, base = 2) {
     const log = logIn(base);
     let max = 0;
@@ -150,7 +143,7 @@ function minEntropy(p, base = 2) {
         return 0;
     return -log(max);
 }
-// Max-entropy: log|soporte(p)|. Hartley sobre el soporte estricto.
+/** Max-entropy (Hartley): log|soporte(p)|, el logaritmo del tamaño del soporte estricto. */
 function maxEntropy(p, base = 2) {
     const log = logIn(base);
     const n = support(p).length;
@@ -158,7 +151,7 @@ function maxEntropy(p, base = 2) {
         return 0;
     return log(n);
 }
-// Entropía de colisión: Rényi α=2 = -log Σ p(x)^2.
+/** Entropía de colisión: Rényi α=2 = −log Σ p(x)². Mide la probabilidad de dos muestras iguales. */
 function collisionEntropy(p, base = 2) {
     const log = logIn(base);
     let s = 0;
@@ -173,9 +166,7 @@ function collisionEntropy(p, base = 2) {
 // ------------------------------------------------------------
 // Divergencias y distancias
 // ------------------------------------------------------------
-// KL(p ‖ q) = Σ p(x) · log(p(x)/q(x)).
-// Convención: p(x)=0 aporta 0; p(x)>0 y q(x)=0 ⇒ +Infinity.
-// Soporte sobre la unión de claves de p y q.
+/** Divergencia KL: KL(p ‖ q) = Σ p(x)·log(p(x)/q(x)). Devuelve +∞ si p(x)>0 y q(x)=0. */
 function klDivergence(p, q, base = 2) {
     const log = logIn(base);
     let d = 0;
@@ -189,8 +180,7 @@ function klDivergence(p, q, base = 2) {
     }
     return d;
 }
-// Jensen-Shannon: JS(p,q) = ½ KL(p ‖ m) + ½ KL(q ‖ m), m = ½(p+q).
-// Simétrica y siempre finita en [0, log 2] (base 2 ⇒ [0, 1]).
+/** Divergencia Jensen-Shannon: JS(p,q) = ½ KL(p ‖ m) + ½ KL(q ‖ m), m = ½(p+q). Simétrica, ∈ [0, log 2]. */
 function jsDivergence(p, q, base = 2) {
     const m = new Map();
     for (const [k, v] of p)
@@ -202,7 +192,7 @@ function jsDivergence(p, q, base = 2) {
         m.set(k, v / 2);
     return 0.5 * klDivergence(p, m, base) + 0.5 * klDivergence(q, m, base);
 }
-// Distancia de variación total: TV(p,q) = ½ Σ |p(x) - q(x)|. ∈ [0, 1].
+/** Distancia de variación total: TV(p,q) = ½ Σ |p(x) − q(x)|. ∈ [0, 1]. */
 function tvDistance(p, q) {
     const keys = new Set();
     for (const k of p.keys())
@@ -215,8 +205,7 @@ function tvDistance(p, q) {
     }
     return s / 2;
 }
-// Distancia de Hellinger: H(p,q) = (1/√2) · sqrt(Σ (√p(x) - √q(x))²).
-// ∈ [0, 1]; 0 sii p=q; 1 sii soportes disjuntos.
+/** Distancia de Hellinger: H(p,q) = (1/√2)·√(Σ (√p(x) − √q(x))²). ∈ [0, 1]; 0 ⟺ p = q; 1 ⟺ soportes disjuntos. */
 function hellingerDistance(p, q) {
     const keys = new Set();
     for (const k of p.keys())
@@ -235,8 +224,7 @@ function hellingerDistance(p, q) {
 // ------------------------------------------------------------
 // Cross-entropy
 // ------------------------------------------------------------
-// H(p, q) = -Σ p(x) · log q(x) = H(p) + KL(p ‖ q).
-// Devuelve +∞ si existe x con p(x) > 0 y q(x) = 0.
+/** Cross-entropía: H(p,q) = −Σ p(x)·log q(x) = H(p) + KL(p ‖ q). Devuelve +∞ si p(x)>0 y q(x)=0. */
 function crossEntropy(p, q, base = 2) {
     const log = logIn(base);
     let h = 0;
@@ -253,10 +241,7 @@ function crossEntropy(p, q, base = 2) {
 // ------------------------------------------------------------
 // Distribuciones conjuntas e información mutua
 // ------------------------------------------------------------
-// Proyecta la conjunta sobre cada eje. Devuelve dos distribuciones
-// (marginales) tal que Σ joint(x,y) = X(x) = Σ_y joint(x,y), etc.
-// Si dos claves de la conjunta tienen el mismo par lógico (mismas X y
-// Y por referencia/valor), sus masas se suman en las marginales.
+/** Proyecta la distribución conjunta `j` sobre cada eje, devolviendo las marginales `X` e `Y`. */
 function jointToMarginals(j) {
     const mX = new Map();
     const mY = new Map();
@@ -278,10 +263,7 @@ function jointEntropy(j, base) {
     }
     return h;
 }
-// I(X; Y) = Σ_xy p(x,y) · log( p(x,y) / (p(x)·p(y)) ).
-// Equivalentemente: I(X;Y) = H(X) + H(Y) − H(X,Y).
-// Usamos la forma sumatoria directa para mantener invariancia ante
-// reordenamiento numérico de los marginales y evitar restas catastróficas.
+/** Información mutua I(X;Y) = Σ p(x,y)·log(p(x,y)/(p(x)·p(y))) = H(X) + H(Y) − H(X,Y). */
 function mutualInformation(j, base = 2) {
     const log = logIn(base);
     const { X: mX, Y: mY } = jointToMarginals(j);
@@ -299,8 +281,7 @@ function mutualInformation(j, base = 2) {
     // dar -1e-16 por redondeo en distribuciones independientes).
     return mi < 0 && mi > -1e-12 ? 0 : mi;
 }
-// H(X|Y) o H(Y|X) según `condOn`.
-// H(X|Y) = H(X,Y) − H(Y); H(Y|X) = H(X,Y) − H(X). Ambas ≥ 0.
+/** Entropía condicional H(X|Y) o H(Y|X) según `condOn`. H(X|Y) = H(X,Y) − H(Y) ≥ 0. */
 function conditionalEntropy(j, condOn, base = 2) {
     const hXY = jointEntropy(j, base);
     const { X: mX, Y: mY } = jointToMarginals(j);
@@ -309,8 +290,10 @@ function conditionalEntropy(j, condOn, base = 2) {
     const out = condOn === 'X' ? hXY - hY : hXY - hX;
     return out < 0 && out > -1e-12 ? 0 : out;
 }
-// Cuatro escalares clásicos: H(X), H(Y), H(X,Y), I(X;Y). Útil para
-// verificar la regla de la cadena: H(X,Y) = H(X) + H(Y) − I(X;Y).
+/**
+ * Devuelve los cuatro escalares {hX, hY, hXY, iXY} de la regla de la cadena.
+ * Verifica: H(X,Y) = H(X) + H(Y) − I(X;Y).
+ */
 function chainRule(j, base = 2) {
     const { X: mX, Y: mY } = jointToMarginals(j);
     return {

package/dist/reasoning/information-theory/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/information-theory/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,EAAE;AACF,uEAAuE;AACvE,qBAAqB;AACrB,EAAE;AACF,wDAAwD;AACxD,wDAAwD;AACxD,2DAA2D;AAC3D,6DAA6D;AAC7D,EAAE;AACF,yBAAyB;AACzB,sEAAsE;AACtE,2DAA2D;AAC3D,wEAAwE;AACxE,2DAA2D;AAC3D,sEAAsE;AACtE,sEAAsE;AACtE,8DAA8D;;AAoB9D,0BAMC;AAID,kDAOC;AAID,8BAgBC;AA4BD,wCASC;AAaD,oCAcC;AAGD,gCAQC;AAGD,gCAKC;AAGD,4CAQC;AASD,oCAUC;AAID,oCAQC;AAGD,gCASC;AAID,8CAYC;AAQD,oCAUC;AAUD,4CAUC;AAgBD,8CAcC;AAID,gDAWC;AAID,8BAWC;AAzSD,qEAAqE;AACrE,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,uEAAuE;AACvE,iEAAiE;AACjE,SAAgB,OAAO,CAAI,CAAkB;IAC3C,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uEAAuE;AACvE,+DAA+D;AAC/D,SAAgB,mBAAmB,CAAI,CAAkB,EAAE,MAAc,WAAW;IAClF,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,GAAG,IAAI,CAAC,CAAC;IACX,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;AAClC,CAAC;AAED,oEAAoE;AACpE,8DAA8D;AAC9D,SAAgB,SAAS,CAAI,CAAkB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,GAAG,IAAI,CAAC,CAAC;IACX,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAS,KAAK,CAAC,IAAa;IAC1B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,EAAE;YACL,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,CAAC;QACP,KAAK,KAAK,CAAC;QACX;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,YAAY;AACZ,+DAA+D;AAE/D,sCAAsC;AACtC,yEAAyE;AACzE,SAAgB,cAAc,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACrE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mCAAmC;AACnC,oCAAoC;AACpC,EAAE;AACF,oBAAoB;AACpB,mEAAmE;AACnE,uEAAuE;AACvE,sDAAsD;AACtD,6CAA6C;AAC7C,EAAE;AACF,mEAAmE;AACnE,+CAA+C;AAC/C,SAAgB,YAAY,CAAI,CAAkB,EAAE,KAAa,EAAE,OAAgB,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAE5C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,2EAA2E;AAC3E,SAAgB,UAAU,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,mEAAmE;AACnE,SAAgB,UAAU,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,mDAAmD;AACnD,SAAgB,gBAAgB,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAE/D,uCAAuC;AACvC,4DAA4D;AAC5D,6CAA6C;AAC7C,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAC9C,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mEAAmE;AACnE,8DAA8D;AAC9D,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,qDAAqD;IACrD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAExC,OAAO,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,uEAAuE;AACvE,SAAgB,UAAU,CAAI,CAAkB,EAAE,CAAkB;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAK,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,sEAAsE;AACtE,iDAAiD;AACjD,SAAgB,iBAAiB,CAAI,CAAkB,EAAE,CAAkB;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAK,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;AACnC,CAAC;AAED,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAE/D,mDAAmD;AACnD,mDAAmD;AACnD,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAC9C,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAE/D,mEAAmE;AACnE,kEAAkE;AAClE,sEAAsE;AACtE,iEAAiE;AACjE,SAAgB,gBAAgB,CAAO,CAAc;IACnD,MAAM,EAAE,GAAG,IAAI,GAAG,EAAa,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAa,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AAC1B,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAO,CAAc,EAAE,IAAa;IACvD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,uDAAuD;AACvD,mDAAmD;AACnD,mEAAmE;AACnE,2EAA2E;AAC3E,SAAgB,iBAAiB,CAAO,CAAc,EAAE,OAAgB,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACnC,EAAE,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,mEAAmE;IACnE,6DAA6D;IAC7D,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,kCAAkC;AAClC,6DAA6D;AAC7D,SAAgB,kBAAkB,CAChC,CAAc,EACd,MAAiB,EACjB,OAAgB,CAAC;IAEjB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;IACjD,OAAO,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,mEAAmE;AACnE,kEAAkE;AAClE,SAAgB,SAAS,CACvB,CAAc,EACd,OAAgB,CAAC;IAEjB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC;QAC1B,GAAG,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/information-theory/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8DAA8D;AAC9D,+DAA+D;AAC/D,EAAE;AACF,uEAAuE;AACvE,qBAAqB;AACrB,EAAE;AACF,wDAAwD;AACxD,wDAAwD;AACxD,2DAA2D;AAC3D,6DAA6D;AAC7D,EAAE;AACF,yBAAyB;AACzB,sEAAsE;AACtE,2DAA2D;AAC3D,wEAAwE;AACxE,2DAA2D;AAC3D,sEAAsE;AACtE,sEAAsE;AACtE,8DAA8D;;AAoB9D,0BAMC;AAGD,kDAOC;AAMD,8BAgBC;AA2BD,wCASC;AAOD,oCAcC;AAGD,gCAQC;AAGD,gCAKC;AAGD,4CAQC;AAOD,oCAUC;AAGD,oCAQC;AAGD,gCASC;AAGD,8CAYC;AAOD,oCAUC;AAOD,4CAUC;AAaD,8CAcC;AAGD,gDAWC;AAMD,8BAWC;AAxRD,qEAAqE;AACrE,MAAM,WAAW,GAAG,IAAI,CAAC;AAEzB,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,sFAAsF;AACtF,SAAgB,OAAO,CAAI,CAAkB;IAC3C,MAAM,GAAG,GAAQ,EAAE,CAAC;IACpB,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oGAAoG;AACpG,SAAgB,mBAAmB,CAAI,CAAkB,EAAE,MAAc,WAAW;IAClF,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/C,GAAG,IAAI,CAAC,CAAC;IACX,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;AAClC,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CAAI,CAAkB;IAC7C,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;QACjF,CAAC;QACD,GAAG,IAAI,CAAC,CAAC;IACX,CAAC;IACD,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAa,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD,SAAS,KAAK,CAAC,IAAa;IAC1B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,GAAG;YACN,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,EAAE;YACL,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,CAAC;QACP,KAAK,KAAK,CAAC;QACX;YACE,OAAO,IAAI,CAAC,IAAI,CAAC;IACrB,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,YAAY;AACZ,+DAA+D;AAE/D,6EAA6E;AAC7E,SAAgB,cAAc,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACrE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;GAIG;AACH,SAAgB,YAAY,CAAI,CAAkB,EAAE,KAAa,EAAE,OAAgB,CAAC;IAClF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAChD,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAE5C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,qFAAqF;AACrF,SAAgB,UAAU,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,GAAG;YAAE,GAAG,GAAG,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,GAAG,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACxB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AACnB,CAAC;AAED,4FAA4F;AAC5F,SAAgB,UAAU,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACjE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;AAChB,CAAC;AAED,oGAAoG;AACpG,SAAgB,gBAAgB,CAAI,CAAkB,EAAE,OAAgB,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjB,CAAC;AAED,+DAA+D;AAC/D,4BAA4B;AAC5B,+DAA+D;AAE/D,yFAAyF;AACzF,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAC9C,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,4GAA4G;AAC5G,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,qDAAqD;IACrD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAExC,OAAO,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;AACzE,CAAC;AAED,2EAA2E;AAC3E,SAAgB,UAAU,CAAI,CAAkB,EAAE,CAAkB;IAClE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAK,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,CAAC;AACf,CAAC;AAED,kHAAkH;AAClH,SAAgB,iBAAiB,CAAI,CAAkB,EAAE,CAAkB;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAK,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;AACnC,CAAC;AAED,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAE/D,oGAAoG;AACpG,SAAgB,YAAY,CAAI,CAAkB,EAAE,CAAkB,EAAE,OAAgB,CAAC;IACvF,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,EAAE,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;QAC9C,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;AAE/D,kGAAkG;AAClG,SAAgB,gBAAgB,CAAO,CAAc;IACnD,MAAM,EAAE,GAAG,IAAI,GAAG,EAAa,CAAC;IAChC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAa,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;AAC1B,CAAC;AAED,oEAAoE;AACpE,SAAS,YAAY,CAAO,CAAc,EAAE,IAAa;IACvD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,0FAA0F;AAC1F,SAAgB,iBAAiB,CAAO,CAAc,EAAE,OAAgB,CAAC;IACvE,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,IAAI,CAAC;YAAE,SAAS;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;YAAE,SAAS;QACnC,EAAE,IAAI,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,mEAAmE;IACnE,6DAA6D;IAC7D,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,uFAAuF;AACvF,SAAgB,kBAAkB,CAChC,CAAc,EACd,MAAiB,EACjB,OAAgB,CAAC;IAEjB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAClC,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC;IACjD,OAAO,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,SAAgB,SAAS,CACvB,CAAc,EACd,OAAgB,CAAC;IAEjB,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO;QACL,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,EAAE,EAAE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC;QAC5B,GAAG,EAAE,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC;QAC1B,GAAG,EAAE,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC;KAChC,CAAC;AACJ,CAAC"}

package/dist/reasoning/lemma-rag/__tests__/benchmarks.test.d.ts

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

package/dist/reasoning/lemma-rag/__tests__/benchmarks.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"benchmarks.test.d.ts","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/benchmarks.test.ts"],"names":[],"mappings":""}

package/dist/reasoning/lemma-rag/__tests__/benchmarks.test.js

@@ -0,0 +1,72 @@
+"use strict";
+// ============================================================
+// Tests: benchmarks.ts — sanity checks sobre el test-set de recall
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const benchmarks_1 = require("../benchmarks");
+const standard_1 = require("../../../tooling/lemma-library/standard");
+(0, vitest_1.describe)('BENCHMARK_PAIRS', () => {
+    (0, vitest_1.it)('tiene exactamente 20 pares', () => {
+        (0, vitest_1.expect)(benchmarks_1.BENCHMARK_PAIRS.length).toBe(20);
+    });
+    (0, vitest_1.it)('todos los pares tienen query no vacía', () => {
+        for (const pair of benchmarks_1.BENCHMARK_PAIRS) {
+            (0, vitest_1.expect)(pair.query.trim().length).toBeGreaterThan(0);
+        }
+    });
+    (0, vitest_1.it)('todos los pares tienen expectedId no vacío', () => {
+        for (const pair of benchmarks_1.BENCHMARK_PAIRS) {
+            (0, vitest_1.expect)(pair.expectedId.trim().length).toBeGreaterThan(0);
+        }
+    });
+});
+(0, vitest_1.describe)('runBenchmark sobre standardLibrary', () => {
+    const lemmas = (0, standard_1.standardLibrary)().all();
+    (0, vitest_1.it)('devuelve 3 resultados (keyword, embedding, hybrid)', () => {
+        const results = (0, benchmarks_1.runBenchmark)(lemmas);
+        (0, vitest_1.expect)(results.length).toBe(3);
+        const methods = results.map((r) => r.method);
+        (0, vitest_1.expect)(methods).toContain('keyword');
+        (0, vitest_1.expect)(methods).toContain('embedding');
+        (0, vitest_1.expect)(methods).toContain('hybrid');
+    });
+    (0, vitest_1.it)('hybrid Recall@1 >= keyword Recall@1', () => {
+        const results = (0, benchmarks_1.runBenchmark)(lemmas);
+        const keyword = results.find((r) => r.method === 'keyword');
+        const hybrid = results.find((r) => r.method === 'hybrid');
+        (0, vitest_1.expect)(hybrid.recallAt1).toBeGreaterThanOrEqual(keyword.recallAt1 * 0.8);
+    });
+    (0, vitest_1.it)('hybrid Recall@5 >= embedding Recall@5', () => {
+        const results = (0, benchmarks_1.runBenchmark)(lemmas);
+        const embedding = results.find((r) => r.method === 'embedding');
+        const hybrid = results.find((r) => r.method === 'hybrid');
+        // hybrid debería ser al menos tan bueno como embedding solo a R@5
+        (0, vitest_1.expect)(hybrid.recallAt5).toBeGreaterThanOrEqual(embedding.recallAt5 * 0.8);
+    });
+    (0, vitest_1.it)('recall values están en [0, 1]', () => {
+        const results = (0, benchmarks_1.runBenchmark)(lemmas);
+        for (const r of results) {
+            (0, vitest_1.expect)(r.recallAt1).toBeGreaterThanOrEqual(0);
+            (0, vitest_1.expect)(r.recallAt1).toBeLessThanOrEqual(1);
+            (0, vitest_1.expect)(r.recallAt3).toBeGreaterThanOrEqual(0);
+            (0, vitest_1.expect)(r.recallAt3).toBeLessThanOrEqual(1);
+            (0, vitest_1.expect)(r.recallAt5).toBeGreaterThanOrEqual(0);
+            (0, vitest_1.expect)(r.recallAt5).toBeLessThanOrEqual(1);
+        }
+    });
+});
+(0, vitest_1.describe)('formatBenchmarkResults', () => {
+    (0, vitest_1.it)('devuelve string legible con los métodos', () => {
+        const results = (0, benchmarks_1.runBenchmark)((0, standard_1.standardLibrary)().all());
+        const text = (0, benchmarks_1.formatBenchmarkResults)(results);
+        (0, vitest_1.expect)(text).toContain('keyword');
+        (0, vitest_1.expect)(text).toContain('hybrid');
+        (0, vitest_1.expect)(text).toContain('R@1');
+    });
+    (0, vitest_1.it)('devuelve mensaje cuando no hay resultados', () => {
+        const text = (0, benchmarks_1.formatBenchmarkResults)([]);
+        (0, vitest_1.expect)(text.length).toBeGreaterThan(0);
+    });
+});
+//# sourceMappingURL=benchmarks.test.js.map

package/dist/reasoning/lemma-rag/__tests__/benchmarks.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"benchmarks.test.js","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/benchmarks.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mEAAmE;AACnE,+DAA+D;;AAE/D,mCAA8C;AAC9C,8CAIuB;AACvB,sEAA0E;AAE1E,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,4BAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,IAAI,IAAI,4BAAe,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,KAAK,MAAM,IAAI,IAAI,4BAAe,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,MAAM,MAAM,GAAG,IAAA,0BAAe,GAAE,CAAC,GAAG,EAAE,CAAC;IAEvC,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,OAAO,GAAG,IAAA,yBAAY,EAAC,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,IAAA,yBAAY,EAAC,MAAM,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,IAAA,yBAAY,EAAC,MAAM,CAAC,CAAC;QACrC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAE,CAAC;QACjE,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAE,CAAC;QAC3D,kEAAkE;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,OAAO,GAAG,IAAA,yBAAY,EAAC,MAAM,CAAC,CAAC;QACrC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,OAAO,GAAG,IAAA,yBAAY,EAAC,IAAA,0BAAe,GAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,IAAA,mCAAsB,EAAC,OAAO,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,mCAAsB,EAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/reasoning/lemma-rag/__tests__/embedding.test.d.ts

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

package/dist/reasoning/lemma-rag/__tests__/embedding.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"embedding.test.d.ts","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/embedding.test.ts"],"names":[],"mappings":""}

package/dist/reasoning/lemma-rag/__tests__/embedding.test.js

@@ -0,0 +1,102 @@
+"use strict";
+// ============================================================
+// Tests: HashEmbedding — propiedades del vector de embedding
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const embedding_1 = require("../embedding");
+const types_1 = require("../types");
+(0, vitest_1.describe)('hashEmbed — dimensión y tipos', () => {
+    (0, vitest_1.it)('devuelve un Float32Array de dimensión EMBEDDING_DIM', () => {
+        const v = (0, embedding_1.hashEmbed)('P → Q');
+        (0, vitest_1.expect)(v).toBeInstanceOf(Float32Array);
+        (0, vitest_1.expect)(v.length).toBe(types_1.EMBEDDING_DIM);
+    });
+    (0, vitest_1.it)('no contiene NaN ni Infinity', () => {
+        const v = (0, embedding_1.hashEmbed)('∀x. P(x) ∧ Q(x)');
+        for (let i = 0; i < v.length; i++) {
+            (0, vitest_1.expect)(Number.isFinite(v[i])).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('vector vacío no tiene NaN', () => {
+        const v = (0, embedding_1.hashEmbed)('');
+        for (let i = 0; i < v.length; i++) {
+            (0, vitest_1.expect)(Number.isFinite(v[i])).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('EMBEDDING_DIM es 256', () => {
+        (0, vitest_1.expect)(types_1.EMBEDDING_DIM).toBe(256);
+    });
+});
+(0, vitest_1.describe)('hashEmbed — determinismo', () => {
+    (0, vitest_1.it)('la misma fórmula produce el mismo vector (llamada simple)', () => {
+        const f = '(P ∧ Q) → P';
+        const v1 = (0, embedding_1.hashEmbed)(f);
+        const v2 = (0, embedding_1.hashEmbed)(f);
+        (0, vitest_1.expect)(Array.from(v1)).toEqual(Array.from(v2));
+    });
+    (0, vitest_1.it)('la misma fórmula produce el mismo vector (llamadas repetidas)', () => {
+        const f = '¬¬P → P';
+        const vecs = Array.from({ length: 5 }, () => (0, embedding_1.hashEmbed)(f));
+        for (const v of vecs) {
+            (0, vitest_1.expect)(Array.from(v)).toEqual(Array.from(vecs[0]));
+        }
+    });
+    (0, vitest_1.it)('fórmulas diferentes producen vectores diferentes', () => {
+        const v1 = (0, embedding_1.hashEmbed)('P → Q');
+        const v2 = (0, embedding_1.hashEmbed)('P ∧ Q');
+        const diff = Array.from(v1).reduce((acc, x, i) => acc + Math.abs(x - (v2[i] ?? 0)), 0);
+        (0, vitest_1.expect)(diff).toBeGreaterThan(0);
+    });
+});
+(0, vitest_1.describe)('hashEmbed — normalización L2', () => {
+    (0, vitest_1.it)('el vector normalizado tiene norma ≈ 1', () => {
+        const v = (0, embedding_1.hashEmbed)('P ∨ ¬P');
+        let norm = 0;
+        for (let i = 0; i < v.length; i++)
+            norm += (v[i] ?? 0) ** 2;
+        (0, vitest_1.expect)(Math.sqrt(norm)).toBeCloseTo(1.0, 5);
+    });
+    (0, vitest_1.it)('normalizeEmbedding(zero) no produce NaN', () => {
+        const zero = new Float32Array(types_1.EMBEDDING_DIM);
+        const norm = (0, embedding_1.normalizeEmbedding)(zero);
+        for (let i = 0; i < norm.length; i++) {
+            (0, vitest_1.expect)(Number.isFinite(norm[i])).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('normalizeEmbedding idempotente sobre vector ya normalizado', () => {
+        const v = (0, embedding_1.hashEmbed)('□P → P');
+        const v2 = (0, embedding_1.normalizeEmbedding)(v);
+        let norm = 0;
+        for (let i = 0; i < v2.length; i++)
+            norm += (v2[i] ?? 0) ** 2;
+        (0, vitest_1.expect)(Math.sqrt(norm)).toBeCloseTo(1.0, 5);
+    });
+});
+(0, vitest_1.describe)('hashEmbed — localidad semántica', () => {
+    (0, vitest_1.it)('commutativity: P∧Q y Q∧P tienen similarity > 0.5', () => {
+        const v1 = (0, embedding_1.hashEmbed)('P ∧ Q');
+        const v2 = (0, embedding_1.hashEmbed)('Q ∧ P');
+        let dot = 0;
+        for (let i = 0; i < v1.length; i++)
+            dot += (v1[i] ?? 0) * (v2[i] ?? 0);
+        (0, vitest_1.expect)(dot).toBeGreaterThan(0.5);
+    });
+    (0, vitest_1.it)('fórmulas modales cercanas tienen similarity > 0.3', () => {
+        const v1 = (0, embedding_1.hashEmbed)('□P → P');
+        const v2 = (0, embedding_1.hashEmbed)('□Q → Q');
+        let dot = 0;
+        for (let i = 0; i < v1.length; i++)
+            dot += (v1[i] ?? 0) * (v2[i] ?? 0);
+        (0, vitest_1.expect)(dot).toBeGreaterThan(0.3);
+    });
+    (0, vitest_1.it)('fórmulas de distintos dominios tienen similarity < 0.95', () => {
+        const vProp = (0, embedding_1.hashEmbed)('P ∧ Q → P');
+        const vArith = (0, embedding_1.hashEmbed)('∀n. n + 0 = n');
+        let dot = 0;
+        for (let i = 0; i < vProp.length; i++)
+            dot += (vProp[i] ?? 0) * (vArith[i] ?? 0);
+        (0, vitest_1.expect)(dot).toBeLessThan(0.95);
+    });
+});
+//# sourceMappingURL=embedding.test.js.map

package/dist/reasoning/lemma-rag/__tests__/embedding.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"embedding.test.js","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/embedding.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;;AAE/D,mCAA8C;AAC9C,4CAA6D;AAC7D,oCAAyC;AAEzC,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,qBAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,iBAAiB,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,EAAE,CAAC,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,qBAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,aAAa,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,SAAS,CAAC;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,qBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,qBAAa,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,8BAAkB,EAAC,IAAI,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,8BAAkB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,QAAQ,CAAC,CAAC;QAC/B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,qBAAS,EAAC,WAAW,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAA,qBAAS,EAAC,eAAe,CAAC,CAAC;QAC1C,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/reasoning/lemma-rag/__tests__/integration.test.d.ts

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

package/dist/reasoning/lemma-rag/__tests__/integration.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"integration.test.d.ts","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/integration.test.ts"],"names":[],"mappings":""}

package/dist/reasoning/lemma-rag/__tests__/integration.test.js

@@ -0,0 +1,40 @@
+"use strict";
+// ============================================================
+// Tests: integration — RAG sobre la biblioteca real (standardLibrary)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const query_1 = require("../query");
+const standard_1 = require("../../../tooling/lemma-library/standard");
+(0, vitest_1.describe)('LemmaRAG sobre standardLibrary real', () => {
+    const lib = (0, standard_1.standardLibrary)();
+    const lemmas = lib.all();
+    (0, vitest_1.it)('indexa todos los lemas sin errores', () => {
+        const rag = new query_1.LemmaRAG();
+        (0, vitest_1.expect)(() => rag.index(lemmas)).not.toThrow();
+        (0, vitest_1.expect)(rag.size()).toBe(lemmas.length);
+    });
+    (0, vitest_1.it)('query de "double negation" recupera prop.double-negation-elim en top-3', () => {
+        const rag = new query_1.LemmaRAG();
+        rag.index(lemmas);
+        const results = rag.query('double negation elimination', { k: 3 });
+        const ids = results.map((r) => r.lemma.id);
+        (0, vitest_1.expect)(ids).toContain('prop.double-negation-elim');
+    });
+    (0, vitest_1.it)('query de "modus ponens" recupera prop.modus-ponens en top-5', () => {
+        const rag = new query_1.LemmaRAG();
+        rag.index(lemmas);
+        const results = rag.query('modus ponens inference rule implication', { k: 5 });
+        const ids = results.map((r) => r.lemma.id);
+        (0, vitest_1.expect)(ids).toContain('prop.modus-ponens');
+    });
+    (0, vitest_1.it)('filtro de dominio no devuelve lemas de otros dominios', () => {
+        const rag = new query_1.LemmaRAG();
+        rag.index(lemmas);
+        const results = rag.query('commutativity identity', { k: 10, domain: 'arithmetic' });
+        for (const r of results) {
+            (0, vitest_1.expect)(r.lemma.domain).toBe('arithmetic');
+        }
+    });
+});
+//# sourceMappingURL=integration.test.js.map

package/dist/reasoning/lemma-rag/__tests__/integration.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integration.test.js","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/integration.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sEAAsE;AACtE,+DAA+D;;AAE/D,mCAA8C;AAC9C,oCAAoC;AACpC,sEAA0E;AAE1E,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,GAAG,GAAG,IAAA,0BAAe,GAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;IAEzB,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAI,gBAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,IAAI,gBAAQ,EAAE,CAAC;QAC3B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,6BAA6B,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAI,gBAAQ,EAAE,CAAC;QAC3B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,yCAAyC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/E,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAI,gBAAQ,EAAE,CAAC;QAC3B,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClB,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,wBAAwB,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;QACrF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/reasoning/lemma-rag/__tests__/query.test.d.ts

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

package/dist/reasoning/lemma-rag/__tests__/query.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.test.d.ts","sourceRoot":"","sources":["../../../../src/reasoning/lemma-rag/__tests__/query.test.ts"],"names":[],"mappings":""}