@stevenvo780/st-lang 4.14.0 → 4.14.1

package/dist/reasoning/hoare-logic/index.js

@@ -46,12 +46,16 @@ exports.programLinearSearch = programLinearSearch;
 exports.factorial = factorial;
 exports.gcd = gcd;
 // ── Constructores de conveniencia ────────────────────────────
+/** Constructor de literal numérico IMP. */
 const num = (n) => ({ kind: 'const', value: n });
 exports.num = num;
+/** Constructor de literal booleano IMP. */
 const bool = (b) => ({ kind: 'bool', value: b });
 exports.bool = bool;
+/** Constructor de referencia a variable IMP por nombre. */
 const v = (name) => ({ kind: 'var', name });
 exports.v = v;
+/** Constructor de operación binaria IMP. */
 const binop = (op, left, right) => ({
     kind: 'binop',
     op,
@@ -59,26 +63,35 @@ const binop = (op, left, right) => ({
     right,
 });
 exports.binop = binop;
+/** Constructor de negación de expresión IMP. */
 const not = (arg) => ({ kind: 'not', arg });
 exports.not = not;
+/** Constructor de conjunción lógica IMP: `left && right`. */
 const and = (left, right) => (0, exports.binop)('&&', left, right);
 exports.and = and;
+/** Constructor de disyunción lógica IMP: `left || right`. */
 const or = (left, right) => (0, exports.binop)('||', left, right);
 exports.or = or;
+/** Constructor de igualdad IMP: `left == right`. */
 const eq = (left, right) => (0, exports.binop)('==', left, right);
 exports.eq = eq;
+/** Constructor de menor estricto IMP: `left < right`. */
 const lt = (left, right) => (0, exports.binop)('<', left, right);
 exports.lt = lt;
+/** Constructor de menor o igual IMP: `left <= right`. */
 const le = (left, right) => (0, exports.binop)('<=', left, right);
 exports.le = le;
+/** Instrucción `skip` (no-op). */
 const skip = () => ({ kind: 'skip' });
 exports.skip = skip;
+/** Instrucción de asignación: `varName := expr`. */
 const assign = (varName, expr) => ({
     kind: 'assign',
     var: varName,
     expr,
 });
 exports.assign = assign;
+/** Secuencia de instrucciones (asociativa a la derecha). Con 0 args devuelve `skip`. */
 function seq(...stmts) {
     if (stmts.length === 0)
         return (0, exports.skip)();
@@ -91,6 +104,7 @@ function seq(...stmts) {
     }
     return acc;
 }
+/** Instrucción condicional `if cond then then_ else else_`. */
 const ifS = (cond, then_, else_) => ({
     kind: 'if',
     cond,
@@ -98,6 +112,7 @@ const ifS = (cond, then_, else_) => ({
     else: else_,
 });
 exports.ifS = ifS;
+/** Instrucción `while cond body` con invariante opcional para verificación. */
 const whileS = (cond, body, invariant) => ({
     kind: 'while',
     cond,
@@ -106,6 +121,7 @@ const whileS = (cond, body, invariant) => ({
 });
 exports.whileS = whileS;
 // ── Sustitución sintáctica P[E/x] ────────────────────────────
+/** Sustitución sintáctica `expr[replacement/varName]` en expresiones IMP. */
 function substitute(expr, varName, replacement) {
     switch (expr.kind) {
         case 'const':
@@ -125,6 +141,7 @@ function substitute(expr, varName, replacement) {
     }
 }
 // ── Recolección de variables libres ──────────────────────────
+/** Variables libres en la expresión IMP `expr`. Acumula en `acc` (o devuelve un nuevo Set). */
 function freeVars(expr, acc = new Set()) {
     switch (expr.kind) {
         case 'const':
@@ -142,6 +159,7 @@ function freeVars(expr, acc = new Set()) {
             return acc;
     }
 }
+/** Variables mencionadas en la instrucción IMP `stmt` (asignadas y/o leídas). */
 function stmtVars(stmt, acc = new Set()) {
     switch (stmt.kind) {
         case 'skip':
@@ -167,6 +185,7 @@ function stmtVars(stmt, acc = new Set()) {
             return acc;
     }
 }
+/** Evalúa la expresión IMP `expr` en el estado `state`. Devuelve un número o booleano. */
 function evalExpr(expr, state) {
     switch (expr.kind) {
         case 'const':
@@ -231,6 +250,7 @@ function toNum(v) {
 function toBool(v) {
     return typeof v === 'boolean' ? v : v !== 0;
 }
+/** Ejecuta `stmt` sobre `state` con un límite de `maxSteps` pasos. Devuelve el estado final o un error. */
 function execStmt(stmt, state, maxSteps = 10_000) {
     const counter = { steps: 0, limit: maxSteps };
     try {
@@ -279,6 +299,7 @@ function execInternal(stmt, state, counter) {
     }
 }
 // ── Weakest precondition (wp) ────────────────────────────────
+/** Precondición más débil `wp(stmt, post)`. Para while requiere invariant anotado; sin él devuelve `false`. */
 function wp(stmt, post) {
     switch (stmt.kind) {
         case 'skip':
@@ -311,6 +332,7 @@ function wp(stmt, post) {
 // Implementación pragmática: para statements sin loops devolvemos
 // una fórmula que describe el estado tras ejecutar `stmt`. Para
 // loops sin invariant cae a `true` (no informativo).
+/** Postcondición más fuerte aproximada `sp(stmt, pre)`. Para x := E cuando E no menciona x; sino devuelve `true`. */
 function spExtension(stmt, pre) {
     switch (stmt.kind) {
         case 'skip':
@@ -342,6 +364,7 @@ function spExtension(stmt, pre) {
     }
 }
 // ── Generación de condiciones de verificación (VCs) ──────────
+/** Genera las condiciones de verificación (VCs) para la tripla de Hoare: pre, wp global y VCs de loops. */
 function generateVCs(triple) {
     const vcs = [];
     // VC global: pre → wp(stmt, post)
@@ -385,6 +408,7 @@ function collectLoopVCs(stmt, post, out) {
         }
     }
 }
+/** Verifica la tripla `{pre} stmt {post}` por muestreo aleatorio de estados. */
 function verifyTriple(triple, opts = {}) {
     const samples = opts.samples ?? 200;
     const range = opts.range ?? [-5, 10];
@@ -511,12 +535,14 @@ function programLinearSearch() {
     return seq((0, exports.assign)('i', (0, exports.num)(0)), (0, exports.assign)('found', (0, exports.num)(0)), (0, exports.whileS)((0, exports.and)((0, exports.binop)('<', (0, exports.v)('i'), (0, exports.v)('n')), (0, exports.eq)((0, exports.v)('found'), (0, exports.num)(0))), body, invariant));
 }
 // ── Helper: cómputo factorial concreto (para los tests) ──────
+/** Calcula el factorial de `n` en enteros (JavaScript). Solo para tests. */
 function factorial(n) {
     let r = 1;
     for (let k = 1; k <= n; k++)
         r *= k;
     return r;
 }
+/** Máximo común divisor de `a` y `b` (Euclides). Solo para tests. */
 function gcd(a, b) {
     let x = Math.abs(a);
     let y = Math.abs(b);

package/dist/reasoning/hoare-logic/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/hoare-logic/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,kEAAkE;AAClE,+DAA+D;AAC/D,+DAA+D;AAC/D,kEAAkE;AAClE,2BAA2B;AAC3B,EAAE;AACF,qBAAqB;AACrB,kEAAkE;AAClE,2DAA2D;AAC3D,EAAE;AACF,kBAAkB;AAClB,8BAA8B;AAC9B,qCAAqC;AACrC,2DAA2D;AAC3D,kFAAkF;AAClF,6DAA6D;AAC7D,2DAA2D;AAC3D,EAAE;AACF,kEAAkE;AAClE,gEAAgE;AAChE,oEAAoE;AACpE,gEAAgE;AAChE,8BAA8B;;;AA+D9B,kBASC;AAgBD,gCAiBC;AAID,4BAgBC;AAED,4BAuBC;AAMD,4BAuDC;AAcD,4BAWC;AA8CD,gBAyBC;AAQD,kCA4BC;AAID,kCAMC;AA0DD,oCA2DC;AA8BD,kCAEC;AAYD,4CAWC;AASD,gCAQC;AAaD,kDAWC;AAID,8BAIC;AAED,kBAUC;AAniBD,gEAAgE;AAEzD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAA5D,QAAA,GAAG,OAAyD;AAClE,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAA7D,QAAA,IAAI,QAAyD;AACnE,MAAM,CAAC,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAvD,QAAA,CAAC,KAAsD;AAC7D,MAAM,KAAK,GAAG,CAAC,EAAY,EAAE,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,OAAO;IACb,EAAE;IACF,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AALU,QAAA,KAAK,SAKf;AACI,MAAM,GAAG,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAAxD,QAAA,GAAG,OAAqD;AAC9D,MAAM,GAAG,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA3E,QAAA,GAAG,OAAwE;AACjF,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AAChF,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AAChF,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAAzE,QAAA,EAAE,MAAuE;AAC/E,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AAEhF,MAAM,IAAI,GAAG,GAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAAzC,QAAA,IAAI,QAAqC;AAC/C,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IAClE,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,OAAO;IACZ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,MAAM,UAIhB;AACH,SAAgB,GAAG,CAAC,GAAG,KAAgB;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAA,YAAI,GAAE,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACxC,qDAAqD;IACrD,IAAI,GAAG,GAAY,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AACM,MAAM,GAAG,GAAG,CAAC,IAAa,EAAE,KAAc,EAAE,KAAc,EAAW,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AALU,QAAA,GAAG,OAKb;AACI,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,IAAa,EAAE,SAAmB,EAAW,EAAE,CAAC,CAAC;IACrF,IAAI,EAAE,OAAO;IACb,IAAI;IACJ,SAAS;IACT,IAAI;CACL,CAAC,CAAC;AALU,QAAA,MAAM,UAKhB;AAEH,gEAAgE;AAEhE,SAAgB,UAAU,CAAC,IAAa,EAAE,OAAe,EAAE,WAAoB;IAC7E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,KAAK,OAAO;YACV,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;gBACjD,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC;aACpD,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAgB,QAAQ,CAAC,IAAa,EAAE,MAAmB,IAAI,GAAG,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACxB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAgB,QAAQ,CAAC,IAAa,EAAE,MAAmB,IAAI,GAAG,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ;YACX,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,OAAO,GAAG,CAAC;QACb,KAAK,IAAI;YACP,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAMD,SAAgB,QAAQ,CAAC,IAAa,EAAE,KAAY;IAClD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,iEAAiE;YACjE,4DAA4D;YAC5D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACzC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC;wBAAE,OAAO,CAAC,CAAC,CAAC,uCAAuC;oBAC/D,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACnC,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC;wBAAE,OAAO,CAAC,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvB,CAAC;gBACD,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI;oBACP,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBAChC,KAAK,IAAI;oBACP,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,CAAmB;IAChC,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,CAAmB;IACjC,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAMD,SAAgB,QAAQ,CACtB,IAAa,EACb,KAAY,EACZ,WAAmB,MAAM;IAEzB,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,IAAa,EACb,KAAY,EACZ,OAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,uCAAuC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACzC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjB,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1C,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;oBACpC,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;gBACpF,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAgB,EAAE,CAAC,IAAa,EAAE,IAAa;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC,qCAAqC;YACrC,OAAO,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,IAAA,UAAE,EAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,0DAA0D;YAC1D,wDAAwD;YACxD,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC;YACxC,6DAA6D;YAC7D,2DAA2D;YAC3D,OAAO,IAAI,CAAC,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,EAAE;AACF,kEAAkE;AAClE,gEAAgE;AAChE,qDAAqD;AAErD,SAAgB,WAAW,CAAC,IAAa,EAAE,GAAY;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,qEAAqE;YACrE,+CAA+C;YAC/C,yDAAyD;YACzD,4DAA4D;YAC5D,uDAAuD;YACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAA,WAAG,EAAC,GAAG,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,IAAA,YAAI,EAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,WAAG,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,WAAG,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,OAAO,IAAA,UAAE,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,OAAO;YACV,2DAA2D;YAC3D,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAA,WAAG,EAAC,IAAI,CAAC,SAAS,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,OAAO,IAAA,YAAI,EAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,SAAgB,WAAW,CAAC,MAAmB;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,kCAAkC;IAClC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,IAAA,UAAE,EAAC,IAAA,WAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,IAAa,EAAE,GAAc;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,KAAK;YACR,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;YACvD,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACT,KAAK,IAAI;YACP,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,OAAO;QACT,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACpB,2CAA2C;gBAC3C,GAAG,CAAC,IAAI,CAAC,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YACzB,0CAA0C;YAC1C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAA,WAAG,EAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,8DAA8D;YAC9D,4DAA4D;YAC5D,gEAAgE;YAChE,4BAA4B;YAC5B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAA,WAAG,EAAC,CAAC,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAChD,4CAA4C;YAC5C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAoBD,SAAgB,YAAY,CAAC,MAAmB,EAAE,OAAsB,EAAE;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAE3B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAA0C,EAAE,CAAC;IAE3D,wEAAwE;IACxE,MAAM,YAAY,GAAY,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,EAAE,GAAU,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,QAAQ;YAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAE9D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,cAAiC,CAAC;QACtC,iEAAiE;QACjE,0BAA0B;QAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpB,cAAc,GAAG,EAAE,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;QACD,qBAAqB;QACrB,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,EAAE,GAAU,EAAE,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC5B,EAAE,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;oBACpB,cAAc,GAAG,EAAE,CAAC;oBACpB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CAAC,EAAW,EAAE,KAAY;IACvC,OAAO,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IAC3C,0CAA0C;IAC1C,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,EAAU,EAAE,EAAU;IAChE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACjD,CAAC;AAED,gEAAgE;AAEhE;;;;GAIG;AACH,SAAgB,WAAW;IACzB,OAAO,GAAG,CAAC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,gBAAgB;IAC9B,MAAM,IAAI,GAAG,GAAG,CACd,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EACvC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,GAAG,CACR,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CACpD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,UAAU;IACxB,MAAM,IAAI,GAAG,IAAA,WAAG,EACd,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAC1B,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACvC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,IAAA,cAAM,EAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,mBAAmB;IACjC,MAAM,IAAI,GAAG,GAAG,CACd,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,OAAO,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,YAAI,GAAE,CAAC,EAC7D,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,OAAO,GAAG,CACR,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,OAAO,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACvB,IAAA,cAAM,EAAC,IAAA,WAAG,EAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CACjF,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,SAAgB,SAAS,CAAC,CAAS;IACjC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAgB,GAAG,CAAC,CAAS,EAAE,CAAS;IACtC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACf,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,CAAC;;YACb,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/hoare-logic/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yDAAyD;AACzD,+DAA+D;AAC/D,EAAE;AACF,kEAAkE;AAClE,kEAAkE;AAClE,+DAA+D;AAC/D,+DAA+D;AAC/D,kEAAkE;AAClE,2BAA2B;AAC3B,EAAE;AACF,qBAAqB;AACrB,kEAAkE;AAClE,2DAA2D;AAC3D,EAAE;AACF,kBAAkB;AAClB,8BAA8B;AAC9B,qCAAqC;AACrC,2DAA2D;AAC3D,kFAAkF;AAClF,6DAA6D;AAC7D,2DAA2D;AAC3D,EAAE;AACF,kEAAkE;AAClE,gEAAgE;AAChE,oEAAoE;AACpE,gEAAgE;AAChE,8BAA8B;;;AAgF9B,kBASC;AAmBD,gCAiBC;AAKD,4BAgBC;AAGD,4BAuBC;AAQD,4BAuDC;AAgBD,4BAWC;AA+CD,gBAyBC;AASD,kCA4BC;AAKD,kCAMC;AA6DD,oCA2DC;AA8BD,kCAEC;AAYD,4CAWC;AASD,gCAQC;AAaD,kDAWC;AAKD,8BAIC;AAGD,kBAUC;AAjkBD,gEAAgE;AAEhE,2CAA2C;AACpC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAA5D,QAAA,GAAG,OAAyD;AACzE,2CAA2C;AACpC,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AAA7D,QAAA,IAAI,QAAyD;AAC1E,2DAA2D;AACpD,MAAM,CAAC,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAvD,QAAA,CAAC,KAAsD;AACpE,4CAA4C;AACrC,MAAM,KAAK,GAAG,CAAC,EAAY,EAAE,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,OAAO;IACb,EAAE;IACF,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AALU,QAAA,KAAK,SAKf;AACH,gDAAgD;AACzC,MAAM,GAAG,GAAG,CAAC,GAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AAAxD,QAAA,GAAG,OAAqD;AACrE,6DAA6D;AACtD,MAAM,GAAG,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA3E,QAAA,GAAG,OAAwE;AACxF,6DAA6D;AACtD,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AACvF,oDAAoD;AAC7C,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AACvF,yDAAyD;AAClD,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAAzE,QAAA,EAAE,MAAuE;AACtF,yDAAyD;AAClD,MAAM,EAAE,GAAG,CAAC,IAAa,EAAE,KAAc,EAAW,EAAE,CAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAA1E,QAAA,EAAE,MAAwE;AAEvF,kCAAkC;AAC3B,MAAM,IAAI,GAAG,GAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAAzC,QAAA,IAAI,QAAqC;AACtD,oDAAoD;AAC7C,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IAClE,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,OAAO;IACZ,IAAI;CACL,CAAC,CAAC;AAJU,QAAA,MAAM,UAIhB;AACH,wFAAwF;AACxF,SAAgB,GAAG,CAAC,GAAG,KAAgB;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAA,YAAI,GAAE,CAAC;IACtC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IACxC,qDAAqD;IACrD,IAAI,GAAG,GAAY,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AACD,+DAA+D;AACxD,MAAM,GAAG,GAAG,CAAC,IAAa,EAAE,KAAc,EAAE,KAAc,EAAW,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,IAAI;IACV,IAAI;IACJ,IAAI,EAAE,KAAK;IACX,IAAI,EAAE,KAAK;CACZ,CAAC,CAAC;AALU,QAAA,GAAG,OAKb;AACH,+EAA+E;AACxE,MAAM,MAAM,GAAG,CAAC,IAAa,EAAE,IAAa,EAAE,SAAmB,EAAW,EAAE,CAAC,CAAC;IACrF,IAAI,EAAE,OAAO;IACb,IAAI;IACJ,SAAS;IACT,IAAI;CACL,CAAC,CAAC;AALU,QAAA,MAAM,UAKhB;AAEH,gEAAgE;AAEhE,6EAA6E;AAC7E,SAAgB,UAAU,CAAC,IAAa,EAAE,OAAe,EAAE,WAAoB;IAC7E,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,KAAK,OAAO;YACV,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;gBACjD,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,CAAC;aACpD,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;IAC5E,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,+FAA+F;AAC/F,SAAgB,QAAQ,CAAC,IAAa,EAAE,MAAmB,IAAI,GAAG,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACxB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAgB,QAAQ,CAAC,IAAa,EAAE,MAAmB,IAAI,GAAG,EAAE;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ;YACX,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAClB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;QACb,KAAK,KAAK;YACR,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YAC3B,OAAO,GAAG,CAAC;QACb,KAAK,IAAI;YACP,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,IAAI,IAAI,CAAC,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAOD,0FAA0F;AAC1F,SAAgB,QAAQ,CAAC,IAAa,EAAE,KAAY;IAClD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,iEAAiE;YACjE,4DAA4D;YAC5D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QACzC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YACpC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACtC,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;gBAChB,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC;wBAAE,OAAO,CAAC,CAAC,CAAC,uCAAuC;oBAC/D,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACnC,CAAC;gBACD,KAAK,GAAG,CAAC,CAAC,CAAC;oBACT,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC;wBAAE,OAAO,CAAC,CAAC;oBACvB,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;gBACvB,CAAC;gBACD,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9B,KAAK,GAAG;oBACN,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC7B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI;oBACP,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC/B,KAAK,IAAI;oBACP,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;gBAChC,KAAK,IAAI;oBACP,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,CAAmB;IAChC,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,MAAM,CAAC,CAAmB;IACjC,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAC9C,CAAC;AAOD,2GAA2G;AAC3G,SAAgB,QAAQ,CACtB,IAAa,EACb,KAAY,EACZ,WAAmB,MAAM;IAEzB,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IAC9C,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,EAAE,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,IAAa,EACb,KAAY,EACZ,OAAyC;IAEzC,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,uCAAuC,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YACzC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjB,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;iBAAM,CAAC;gBACN,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC1C,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;oBACpC,MAAM,IAAI,KAAK,CAAC,gDAAgD,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;gBACpF,CAAC;gBACD,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,+GAA+G;AAC/G,SAAgB,EAAE,CAAC,IAAa,EAAE,IAAa;IAC7C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACpC,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACnC,qCAAqC;YACrC,OAAO,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,EAAE,IAAA,UAAE,EAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,0DAA0D;YAC1D,wDAAwD;YACxD,IAAI,CAAC,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC;YACxC,6DAA6D;YAC7D,2DAA2D;YAC3D,OAAO,IAAI,CAAC,SAAS,CAAC;QACxB,CAAC;IACH,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,EAAE;AACF,kEAAkE;AAClE,gEAAgE;AAChE,qDAAqD;AAErD,qHAAqH;AACrH,SAAgB,WAAW,CAAC,IAAa,EAAE,GAAY;IACrD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,qEAAqE;YACrE,+CAA+C;YAC/C,yDAAyD;YACzD,4DAA4D;YAC5D,uDAAuD;YACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAA,WAAG,EAAC,GAAG,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9C,CAAC;YACD,OAAO,IAAA,YAAI,EAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QACD,KAAK,KAAK;YACR,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,WAAG,EAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3D,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,IAAA,WAAG,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,OAAO,IAAA,UAAE,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5B,CAAC;QACD,KAAK,OAAO;YACV,2DAA2D;YAC3D,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO,IAAA,WAAG,EAAC,IAAI,CAAC,SAAS,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,OAAO,IAAA,YAAI,EAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,gEAAgE;AAEhE,2GAA2G;AAC3G,SAAgB,WAAW,CAAC,MAAmB;IAC7C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,kCAAkC;IAClC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,IAAA,UAAE,EAAC,IAAA,WAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,IAAa,EAAE,GAAc;IAClE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO;QACT,KAAK,KAAK;YACR,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;YACvD,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACT,KAAK,IAAI;YACP,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YACrC,OAAO;QACT,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBACpB,2CAA2C;gBAC3C,GAAG,CAAC,IAAI,CAAC,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC,CAAC;gBACtB,OAAO;YACT,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;YACzB,0CAA0C;YAC1C,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAA,WAAG,EAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACvD,8DAA8D;YAC9D,4DAA4D;YAC5D,gEAAgE;YAChE,4BAA4B;YAC5B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAA,WAAG,EAAC,CAAC,EAAE,IAAA,WAAG,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAChD,4CAA4C;YAC5C,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAClC,OAAO;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAsBD,gFAAgF;AAChF,SAAgB,YAAY,CAAC,MAAmB,EAAE,OAAsB,EAAE;IACxE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,GAAG,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAE3B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,QAAQ,GAA0C,EAAE,CAAC;IAE3D,wEAAwE;IACxE,MAAM,YAAY,GAAY,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,EAAE,GAAU,EAAE,CAAC;QACrB,KAAK,MAAM,IAAI,IAAI,QAAQ;YAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;IAE9D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,cAAiC,CAAC;QACtC,iEAAiE;QACjE,0BAA0B;QAC1B,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QAED,0BAA0B;QAC1B,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACpB,cAAc,GAAG,EAAE,CAAC;gBACpB,MAAM;YACR,CAAC;QACH,CAAC;QACD,qBAAqB;QACrB,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;gBACjC,MAAM,EAAE,GAAU,EAAE,CAAC;gBACrB,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;oBAC5B,EAAE,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC;gBACD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;oBACpB,cAAc,GAAG,EAAE,CAAC;oBACpB,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AACzD,CAAC;AAED,SAAS,MAAM,CAAC,EAAW,EAAE,KAAY;IACvC,OAAO,MAAM,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IAC3C,0CAA0C;IAC1C,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,EAAU,EAAE,EAAU;IAChE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AACjD,CAAC;AAED,gEAAgE;AAEhE;;;;GAIG;AACH,SAAgB,WAAW;IACzB,OAAO,GAAG,CAAC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,gBAAgB;IAC9B,MAAM,IAAI,GAAG,GAAG,CACd,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EACvC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,OAAO,GAAG,CACR,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CACpD,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,UAAU;IACxB,MAAM,IAAI,GAAG,IAAA,WAAG,EACd,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAC1B,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACvC,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,OAAO,IAAA,cAAM,EAAC,IAAA,aAAK,EAAC,IAAI,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAgB,mBAAmB;IACjC,MAAM,IAAI,GAAG,GAAG,CACd,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,QAAQ,CAAC,CAAC,EAAE,IAAA,cAAM,EAAC,OAAO,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,YAAI,GAAE,CAAC,EAC7D,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CACxC,CAAC;IACF,MAAM,SAAS,GAAG,IAAA,WAAG,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,OAAO,GAAG,CACR,IAAA,cAAM,EAAC,GAAG,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACnB,IAAA,cAAM,EAAC,OAAO,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,EACvB,IAAA,cAAM,EAAC,IAAA,WAAG,EAAC,IAAA,aAAK,EAAC,GAAG,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,EAAE,IAAA,SAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,UAAE,EAAC,IAAA,SAAC,EAAC,OAAO,CAAC,EAAE,IAAA,WAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CACjF,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,4EAA4E;AAC5E,SAAgB,SAAS,CAAC,CAAS;IACjC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,qEAAqE;AACrE,SAAgB,GAAG,CAAC,CAAS,EAAE,CAAS;IACtC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACtB,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACf,IAAI,CAAC,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,CAAC;;YACb,CAAC,IAAI,CAAC,CAAC;IACd,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/reasoning/hyperreal/index.d.ts

@@ -1,13 +1,30 @@
+/**
+ * A first-order hyperreal number `standard + infinitesimal · ε`,
+ * where ε is a formal infinitesimal (ε² ≈ 0).
+ */
 export interface Hyperreal {
     readonly standard: number;
     readonly infinitesimal: number;
 }
+/**
+ * Constructs a {@link Hyperreal} from its standard and optional infinitesimal parts.
+ * `hr(x)` produces the standard real `x + 0ε`.
+ */
 export declare function hr(standard: number, infinitesimal?: number): Hyperreal;
+/** The hyperreal zero: 0 + 0ε. */
 export declare const HR_ZERO: Hyperreal;
+/** The hyperreal one: 1 + 0ε. */
 export declare const HR_ONE: Hyperreal;
+/** The formal infinitesimal ε: 0 + 1ε. */
 export declare const HR_EPSILON: Hyperreal;
+/** Returns `a + b` (component-wise addition). */
 export declare function add(a: Hyperreal, b: Hyperreal): Hyperreal;
+/** Returns `a - b` (component-wise subtraction). */
 export declare function sub(a: Hyperreal, b: Hyperreal): Hyperreal;
+/**
+ * Returns `a * b`, discarding O(ε²) terms:
+ * `(a.s + a.i ε)(b.s + b.i ε) = a.s·b.s + (a.s·b.i + a.i·b.s)·ε`.
+ */
 export declare function mul(a: Hyperreal, b: Hyperreal): Hyperreal;
 /**
  * Compara dos hiperreales lexicográficamente: primero la parte estándar,
@@ -18,17 +35,29 @@ export declare function mul(a: Hyperreal, b: Hyperreal): Hyperreal;
  * porque su magnitud es de orden O(1) en el coeficiente.
  */
 export declare function compare(a: Hyperreal, b: Hyperreal): -1 | 0 | 1;
+/** Returns `true` when `a` and `b` are equal under the lexicographic order. */
 export declare function eq(a: Hyperreal, b: Hyperreal): boolean;
+/** Returns `true` when `a < b` in the hyperreal order. */
 export declare function lt(a: Hyperreal, b: Hyperreal): boolean;
+/** Returns `true` when `a > b` in the hyperreal order. */
 export declare function gt(a: Hyperreal, b: Hyperreal): boolean;
+/** Probabilistic AND: `p ∧ q = p · q`. */
 export declare function hrAnd(p: Hyperreal, q: Hyperreal): Hyperreal;
+/** Probabilistic OR (inclusion-exclusion): `p ∨ q = p + q − p·q`. */
 export declare function hrOr(p: Hyperreal, q: Hyperreal): Hyperreal;
+/** Probabilistic NOT: `¬p = 1 − p`. */
 export declare function hrNot(p: Hyperreal): Hyperreal;
+/** Probabilistic implication: `p → q = ¬p ∨ q`. */
 export declare function hrImplies(p: Hyperreal, q: Hyperreal): Hyperreal;
+/** A closed interval `[lower, upper]` of hyperreal probabilities. */
 export interface UncertaintyBound {
     readonly lower: Hyperreal;
     readonly upper: Hyperreal;
 }
+/**
+ * Constructs a validated {@link UncertaintyBound}.
+ * @throws When `lower > upper` in the hyperreal order.
+ */
 export declare function bound(lower: Hyperreal, upper: Hyperreal): UncertaintyBound;
 /**
  * Propaga una operación lógica sobre cotas de incertidumbre.
@@ -41,5 +70,6 @@ export declare function bound(lower: Hyperreal, upper: Hyperreal): UncertaintyBo
  *   en q ⇒ lower = (upper_p → lower_q), upper = (lower_p → upper_q).
  */
 export declare function propagate(b: UncertaintyBound, op: 'and' | 'or' | 'not' | 'implies', other?: UncertaintyBound): UncertaintyBound;
+/** Returns a human-readable string like `"0.9 + 3ε"` or `"1"` (when infinitesimal is 0). */
 export declare function hrToString(x: Hyperreal): string;
 //# sourceMappingURL=index.d.ts.map

package/dist/reasoning/hyperreal/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/hyperreal/index.ts"],"names":[],"mappings":"AAoCA,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAE,MAAU,GAAG,SAAS,CAEzE;AAED,eAAO,MAAM,OAAO,EAAE,SAA6C,CAAC;AACpE,eAAO,MAAM,MAAM,EAAE,SAA6C,CAAC;AACnE,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AAIvE,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAKzD;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAKzD;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAMzD;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAS9D;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAID,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE3D;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE1D;AAED,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,SAAS,CAE7C;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAG/D;AAID,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B;AAED,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,gBAAgB,CAO1E;AAED;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CACvB,CAAC,EAAE,gBAAgB,EACnB,EAAE,EAAE,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,EACpC,KAAK,CAAC,EAAE,gBAAgB,GACvB,gBAAgB,CA8BlB;AAID,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAK/C"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/hyperreal/index.ts"],"names":[],"mappings":"AAoCA;;;GAGG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,aAAa,GAAE,MAAU,GAAG,SAAS,CAEzE;AAED,kCAAkC;AAClC,eAAO,MAAM,OAAO,EAAE,SAA6C,CAAC;AACpE,iCAAiC;AACjC,eAAO,MAAM,MAAM,EAAE,SAA6C,CAAC;AACnE,0CAA0C;AAC1C,eAAO,MAAM,UAAU,EAAE,SAA6C,CAAC;AAIvE,iDAAiD;AACjD,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAKzD;AAED,oDAAoD;AACpD,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAKzD;AAED;;;GAGG;AACH,wBAAgB,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAMzD;AAED;;;;;;;GAOG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAS9D;AAED,+EAA+E;AAC/E,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED,0DAA0D;AAC1D,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED,0DAA0D;AAC1D,wBAAgB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,CAEtD;AAID,0CAA0C;AAC1C,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE3D;AAED,qEAAqE;AACrE,wBAAgB,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE1D;AAED,uCAAuC;AACvC,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,GAAG,SAAS,CAE7C;AAED,mDAAmD;AACnD,wBAAgB,SAAS,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAG/D;AAID,qEAAqE;AACrE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;CAC3B;AAED;;;GAGG;AACH,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,gBAAgB,CAO1E;AAED;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CACvB,CAAC,EAAE,gBAAgB,EACnB,EAAE,EAAE,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,SAAS,EACpC,KAAK,CAAC,EAAE,gBAAgB,GACvB,gBAAgB,CA8BlB;AAID,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,CAAC,EAAE,SAAS,GAAG,MAAM,CAK/C"}

package/dist/reasoning/hyperreal/index.js

@@ -51,25 +51,38 @@ exports.hrImplies = hrImplies;
 exports.bound = bound;
 exports.propagate = propagate;
 exports.hrToString = hrToString;
+/**
+ * Constructs a {@link Hyperreal} from its standard and optional infinitesimal parts.
+ * `hr(x)` produces the standard real `x + 0ε`.
+ */
 function hr(standard, infinitesimal = 0) {
     return { standard, infinitesimal };
 }
+/** The hyperreal zero: 0 + 0ε. */
 exports.HR_ZERO = { standard: 0, infinitesimal: 0 };
+/** The hyperreal one: 1 + 0ε. */
 exports.HR_ONE = { standard: 1, infinitesimal: 0 };
+/** The formal infinitesimal ε: 0 + 1ε. */
 exports.HR_EPSILON = { standard: 0, infinitesimal: 1 };
 // ── Aritmética ──────────────────────────────────────────────
+/** Returns `a + b` (component-wise addition). */
 function add(a, b) {
     return {
         standard: a.standard + b.standard,
         infinitesimal: a.infinitesimal + b.infinitesimal,
     };
 }
+/** Returns `a - b` (component-wise subtraction). */
 function sub(a, b) {
     return {
         standard: a.standard - b.standard,
         infinitesimal: a.infinitesimal - b.infinitesimal,
     };
 }
+/**
+ * Returns `a * b`, discarding O(ε²) terms:
+ * `(a.s + a.i ε)(b.s + b.i ε) = a.s·b.s + (a.s·b.i + a.i·b.s)·ε`.
+ */
 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 {
@@ -99,29 +112,40 @@ function compare(a, b) {
         return -1;
     return 0;
 }
+/** Returns `true` when `a` and `b` are equal under the lexicographic order. */
 function eq(a, b) {
     return compare(a, b) === 0;
 }
+/** Returns `true` when `a < b` in the hyperreal order. */
 function lt(a, b) {
     return compare(a, b) < 0;
 }
+/** Returns `true` when `a > b` in the hyperreal order. */
 function gt(a, b) {
     return compare(a, b) > 0;
 }
 // ── Lógica probabilística hiperreal ─────────────────────────
+/** Probabilistic AND: `p ∧ q = p · q`. */
 function hrAnd(p, q) {
     return mul(p, q);
 }
+/** Probabilistic OR (inclusion-exclusion): `p ∨ q = p + q − p·q`. */
 function hrOr(p, q) {
     return sub(add(p, q), mul(p, q));
 }
+/** Probabilistic NOT: `¬p = 1 − p`. */
 function hrNot(p) {
     return sub(exports.HR_ONE, p);
 }
+/** Probabilistic implication: `p → q = ¬p ∨ q`. */
 function hrImplies(p, q) {
     // p → q ≡ ¬p ∨ q
     return hrOr(hrNot(p), q);
 }
+/**
+ * Constructs a validated {@link UncertaintyBound}.
+ * @throws When `lower > upper` in the hyperreal order.
+ */
 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}ε)`);
@@ -173,6 +197,7 @@ function propagate(b, op, other) {
     }
 }
 // ── Utilidades de depuración ────────────────────────────────
+/** Returns a human-readable string like `"0.9 + 3ε"` or `"1"` (when infinitesimal is 0). */
 function hrToString(x) {
     if (x.infinitesimal === 0)
         return `${x.standard}`;

package/dist/reasoning/hyperreal/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/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"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/reasoning/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;;;AAe/D,gBAEC;AAYD,kBAKC;AAGD,kBAKC;AAMD,kBAMC;AAUD,0BASC;AAGD,gBAEC;AAGD,gBAEC;AAGD,gBAEC;AAKD,sBAEC;AAGD,oBAEC;AAGD,sBAEC;AAGD,8BAGC;AAcD,sBAOC;AAYD,8BAkCC;AAKD,gCAKC;AAjLD;;;GAGG;AACH,SAAgB,EAAE,CAAC,QAAgB,EAAE,gBAAwB,CAAC;IAC5D,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;AACrC,CAAC;AAED,kCAAkC;AACrB,QAAA,OAAO,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACpE,iCAAiC;AACpB,QAAA,MAAM,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AACnE,0CAA0C;AAC7B,QAAA,UAAU,GAAc,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;AAEvE,+DAA+D;AAE/D,iDAAiD;AACjD,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,oDAAoD;AACpD,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;;;GAGG;AACH,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,+EAA+E;AAC/E,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED,0DAA0D;AAC1D,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,0DAA0D;AAC1D,SAAgB,EAAE,CAAC,CAAY,EAAE,CAAY;IAC3C,OAAO,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,+DAA+D;AAE/D,0CAA0C;AAC1C,SAAgB,KAAK,CAAC,CAAY,EAAE,CAAY;IAC9C,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,CAAC;AAED,qEAAqE;AACrE,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,uCAAuC;AACvC,SAAgB,KAAK,CAAC,CAAY;IAChC,OAAO,GAAG,CAAC,cAAM,EAAE,CAAC,CAAC,CAAC;AACxB,CAAC;AAED,mDAAmD;AACnD,SAAgB,SAAS,CAAC,CAAY,EAAE,CAAY;IAClD,iBAAiB;IACjB,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC;AAUD;;;GAGG;AACH,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,4FAA4F;AAC5F,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/reasoning/information-theory/index.d.ts

@@ -1,25 +1,59 @@
+/** Distribución de probabilidad discreta sobre símbolos de tipo `T` (`Map<T, number>`, masa ≈ 1). */
 export type Distribution<T> = Map<T, number>;
+/**
+ * Distribución conjunta sobre pares (X, Y).
+ * Nota: `Map<[X, Y], number>` no des-duplica por igualdad estructural;
+ * el llamante debe garantizar un par por combinación (x, y).
+ */
 export type Joint<X, Y> = Map<[X, Y], number>;
+/** Devuelve los símbolos con probabilidad estrictamente positiva (soporte de `p`). */
 export declare function support<T>(p: Distribution<T>): T[];
+/** `true` si todas las probabilidades son ≥ 0, finitas y su suma difiere de 1 en menos de `eps`. */
 export declare function isValidDistribution<T>(p: Distribution<T>, eps?: number): boolean;
+/**
+ * Reescala la distribución `p` para que su masa sea 1.
+ * @throws si alguna probabilidad es inválida o la masa total es 0.
+ */
 export declare function normalize<T>(p: Distribution<T>): Distribution<T>;
+/** Base del logaritmo para entropías: `2` (bits, default), `'e'` (nats), `10` (hartleys), `'log'` (alias de 2). */
 export type LogBase = 'log' | 'e' | 2 | 10;
+/** Entropía de Shannon: H(p) = −Σ p(x)·log p(x). Convención: 0·log 0 = 0. */
 export declare function shannonEntropy<T>(p: Distribution<T>, base?: LogBase): number;
+/**
+ * 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.
+ */
 export declare function renyiEntropy<T>(p: Distribution<T>, alpha: number, base?: LogBase): number;
+/** Min-entropy: −log max_x p(x). Mide la peor predictibilidad en un solo intento. */
 export declare function minEntropy<T>(p: Distribution<T>, base?: LogBase): number;
+/** Max-entropy (Hartley): log|soporte(p)|, el logaritmo del tamaño del soporte estricto. */
 export declare function maxEntropy<T>(p: Distribution<T>, base?: LogBase): number;
+/** Entropía de colisión: Rényi α=2 = −log Σ p(x)². Mide la probabilidad de dos muestras iguales. */
 export declare function collisionEntropy<T>(p: Distribution<T>, base?: LogBase): number;
+/** Divergencia KL: KL(p ‖ q) = Σ p(x)·log(p(x)/q(x)). Devuelve +∞ si p(x)>0 y q(x)=0. */
 export declare function klDivergence<T>(p: Distribution<T>, q: Distribution<T>, base?: LogBase): number;
+/** Divergencia Jensen-Shannon: JS(p,q) = ½ KL(p ‖ m) + ½ KL(q ‖ m), m = ½(p+q). Simétrica, ∈ [0, log 2]. */
 export declare function jsDivergence<T>(p: Distribution<T>, q: Distribution<T>, base?: LogBase): number;
+/** Distancia de variación total: TV(p,q) = ½ Σ |p(x) − q(x)|. ∈ [0, 1]. */
 export declare function tvDistance<T>(p: Distribution<T>, q: Distribution<T>): number;
+/** Distancia de Hellinger: H(p,q) = (1/√2)·√(Σ (√p(x) − √q(x))²). ∈ [0, 1]; 0 ⟺ p = q; 1 ⟺ soportes disjuntos. */
 export declare function hellingerDistance<T>(p: Distribution<T>, q: Distribution<T>): number;
+/** 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. */
 export declare function crossEntropy<T>(p: Distribution<T>, q: Distribution<T>, base?: LogBase): number;
+/** Proyecta la distribución conjunta `j` sobre cada eje, devolviendo las marginales `X` e `Y`. */
 export declare function jointToMarginals<X, Y>(j: Joint<X, Y>): {
     X: Distribution<X>;
     Y: Distribution<Y>;
 };
+/** Información mutua I(X;Y) = Σ p(x,y)·log(p(x,y)/(p(x)·p(y))) = H(X) + H(Y) − H(X,Y). */
 export declare function mutualInformation<X, Y>(j: Joint<X, Y>, base?: LogBase): number;
+/** Entropía condicional H(X|Y) o H(Y|X) según `condOn`. H(X|Y) = H(X,Y) − H(Y) ≥ 0. */
 export declare function conditionalEntropy<X, Y>(j: Joint<X, Y>, condOn: 'X' | 'Y', base?: LogBase): number;
+/**
+ * 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).
+ */
 export declare function chainRule<X, Y>(j: Joint<X, Y>, base?: LogBase): {
     hX: number;
     hY: number;

package/dist/reasoning/information-theory/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/information-theory/index.ts"],"names":[],"mappings":"AAsBA,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAM7C,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAW9C,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAMlD;AAID,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,GAAE,MAAoB,GAAG,OAAO,CAO7F;AAID,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAgBhE;AAOD,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;AAqB3C,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAS/E;AAaD,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAc5F;AAGD,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQ3E;AAGD,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAK3E;AAGD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQjF;AASD,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAUjG;AAID,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQjG;AAGD,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAS5E;AAID,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAYnF;AAQD,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAUjG;AAUD,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAAE,CAUjG;AAgBD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAcjF;AAID,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EACrC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,MAAM,EAAE,GAAG,GAAG,GAAG,EACjB,IAAI,GAAE,OAAW,GAChB,MAAM,CAOR;AAID,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAC5B,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,IAAI,GAAE,OAAW,GAChB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAQtD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reasoning/information-theory/index.ts"],"names":[],"mappings":"AAqBA,qGAAqG;AACrG,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE7C;;;;GAIG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAS9C,sFAAsF;AACtF,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAMlD;AAED,oGAAoG;AACpG,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,GAAE,MAAoB,GAAG,OAAO,CAO7F;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAgBhE;AAMD,mHAAmH;AACnH,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC;AAmB3C,6EAA6E;AAC7E,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAS/E;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAc5F;AAED,qFAAqF;AACrF,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQ3E;AAED,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAK3E;AAED,oGAAoG;AACpG,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQjF;AAMD,yFAAyF;AACzF,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAUjG;AAED,4GAA4G;AAC5G,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAQjG;AAED,2EAA2E;AAC3E,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAS5E;AAED,kHAAkH;AAClH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAYnF;AAMD,oGAAoG;AACpG,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAUjG;AAMD,kGAAkG;AAClG,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAA;CAAE,CAUjG;AAYD,0FAA0F;AAC1F,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,GAAE,OAAW,GAAG,MAAM,CAcjF;AAED,uFAAuF;AACvF,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EACrC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,MAAM,EAAE,GAAG,GAAG,GAAG,EACjB,IAAI,GAAE,OAAW,GAChB,MAAM,CAOR;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,EAC5B,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EACd,IAAI,GAAE,OAAW,GAChB;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAQtD"}