@stevenvo780/st-lang 4.5.2 → 4.6.0

package/dist/tactic-dsl/types.js

@@ -0,0 +1,226 @@
+"use strict";
+// ============================================================
+// Tactic DSL — tipos, parser y normalizador de fórmulas
+// ============================================================
+//
+// El DSL trabaja con fórmulas como strings (legibles para el user)
+// y un AST interno mínimo (`Formula`) que se usa para destructurar
+// goals y reducir hipótesis. El parser soporta:
+//
+//   atom: identificador alfanumérico (P, Q, n, x_1, Nat).
+//   implicación  P -> Q   (right-assoc, menor precedencia)
+//   disyunción   P \/ Q    (right-assoc)
+//   conjunción   P /\ Q    (right-assoc, mayor prec. que \/)
+//   negación     ~P
+//   constantes   True, False
+//   función      f(arg1, arg2)         — opaco, se trata como atom
+//   paréntesis   (...)
+//
+// El parser es deliberadamente pequeño: nos importa poder destructurar
+// las fórmulas que los tactics manipulan, no parsear FOL completa.
+// Para cosas como `rewrite`, la igualdad se acepta como string `lhs = rhs`.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TacticError = void 0;
+exports.parseFormula = parseFormula;
+exports.formulaToString = formulaToString;
+exports.normalizeFormula = normalizeFormula;
+exports.formulaEq = formulaEq;
+exports.substitute = substitute;
+class TacticError extends Error {
+    tactic;
+    constructor(tactic, message) {
+        super(`[${tactic}] ${message}`);
+        this.tactic = tactic;
+        this.name = 'TacticError';
+    }
+}
+exports.TacticError = TacticError;
+function peek(s) {
+    return s.src[s.pos] ?? '';
+}
+function skipWs(s) {
+    while (s.pos < s.src.length && /\s/.test(s.src[s.pos] ?? ''))
+        s.pos++;
+}
+function match(s, lit) {
+    skipWs(s);
+    if (s.src.startsWith(lit, s.pos)) {
+        s.pos += lit.length;
+        return true;
+    }
+    return false;
+}
+function isIdStart(ch) {
+    return /[A-Za-z_]/.test(ch);
+}
+function isIdPart(ch) {
+    return /[A-Za-z0-9_]/.test(ch);
+}
+function parseIdent(s) {
+    skipWs(s);
+    if (!isIdStart(peek(s)))
+        return null;
+    let id = '';
+    while (s.pos < s.src.length && isIdPart(peek(s))) {
+        id += s.src[s.pos];
+        s.pos++;
+    }
+    return id;
+}
+// Parses an opaque function-like atom: f(a, b, c) → just folds into a string atom
+// so we don't try to reason about argument structure.
+function parseAtomOrApp(s) {
+    const id = parseIdent(s);
+    if (id === null) {
+        throw new Error(`expected identifier at pos ${s.pos} in "${s.src}"`);
+    }
+    if (id === 'True' || id === 'true')
+        return { kind: 'true' };
+    if (id === 'False' || id === 'false')
+        return { kind: 'false' };
+    // función opaca
+    if (match(s, '(')) {
+        const parts = [];
+        if (!match(s, ')')) {
+            while (true) {
+                skipWs(s);
+                // recolectar tokens hasta `,` o `)` con balance de paréntesis
+                let depth = 0;
+                let buf = '';
+                while (s.pos < s.src.length) {
+                    const ch = peek(s);
+                    if (depth === 0 && (ch === ',' || ch === ')'))
+                        break;
+                    if (ch === '(')
+                        depth++;
+                    else if (ch === ')')
+                        depth--;
+                    buf += ch;
+                    s.pos++;
+                }
+                parts.push(buf.trim());
+                if (match(s, ','))
+                    continue;
+                if (match(s, ')'))
+                    break;
+                throw new Error(`expected ',' or ')' inside application of '${id}'`);
+            }
+        }
+        return { kind: 'atom', name: `${id}(${parts.join(',')})` };
+    }
+    return { kind: 'atom', name: id };
+}
+function parsePrimary(s) {
+    skipWs(s);
+    if (match(s, '(')) {
+        const inner = parseImp(s);
+        if (!match(s, ')')) {
+            throw new Error(`expected ')' at pos ${s.pos} in "${s.src}"`);
+        }
+        return inner;
+    }
+    if (match(s, '~') || match(s, '¬')) {
+        const body = parsePrimary(s);
+        return { kind: 'not', body };
+    }
+    return parseAtomOrApp(s);
+}
+// equality binds tightest after primary (e.g. `f(n) = g(n)` should be a single eq)
+function parseEq(s) {
+    const left = parsePrimary(s);
+    skipWs(s);
+    if (s.src.startsWith('=', s.pos) && s.src[s.pos + 1] !== '=' && s.src[s.pos + 1] !== '>') {
+        s.pos++;
+        const right = parsePrimary(s);
+        return { kind: 'eq', left, right };
+    }
+    return left;
+}
+function parseAnd(s) {
+    const left = parseEq(s);
+    if (match(s, '/\\') || match(s, '∧') || match(s, '&&')) {
+        const right = parseAnd(s);
+        return { kind: 'and', left, right };
+    }
+    return left;
+}
+function parseOr(s) {
+    const left = parseAnd(s);
+    if (match(s, '\\/') || match(s, '∨') || match(s, '||')) {
+        const right = parseOr(s);
+        return { kind: 'or', left, right };
+    }
+    return left;
+}
+function parseImp(s) {
+    const left = parseOr(s);
+    if (match(s, '->') || match(s, '→') || match(s, '⇒')) {
+        const right = parseImp(s);
+        return { kind: 'imp', left, right };
+    }
+    return left;
+}
+function parseFormula(src) {
+    const s = { src, pos: 0 };
+    const f = parseImp(s);
+    skipWs(s);
+    if (s.pos !== s.src.length) {
+        throw new Error(`unexpected trailing input at pos ${s.pos} in "${src}"`);
+    }
+    return f;
+}
+// ---------- Serializer ----------
+//
+// Forma canónica: usamos '->', '/\', '\/', '~'. Las strings de entrada
+// que usan unicode (∧, ∨, →, ¬) se normalizan a ascii al re-imprimirse.
+function formulaToString(f) {
+    switch (f.kind) {
+        case 'atom':
+            return f.name;
+        case 'true':
+            return 'True';
+        case 'false':
+            return 'False';
+        case 'not':
+            return `~${formulaToString(f.body)}`;
+        case 'and':
+            return `(${formulaToString(f.left)} /\\ ${formulaToString(f.right)})`;
+        case 'or':
+            return `(${formulaToString(f.left)} \\/ ${formulaToString(f.right)})`;
+        case 'imp':
+            return `(${formulaToString(f.left)} -> ${formulaToString(f.right)})`;
+        case 'eq':
+            return `${formulaToString(f.left)} = ${formulaToString(f.right)}`;
+    }
+}
+// Normaliza una string a la forma canónica re-parseando y serializando.
+// Útil para comparar `P -> P` con `P → P` o con paréntesis extra.
+function normalizeFormula(src) {
+    try {
+        return formulaToString(parseFormula(src));
+    }
+    catch {
+        return src.trim();
+    }
+}
+function formulaEq(a, b) {
+    return normalizeFormula(a) === normalizeFormula(b);
+}
+// ---------- Substitución textual ----------
+//
+// Para `rewrite`: dado `lhs = rhs`, sustituye ocurrencias de `lhs`
+// como string en una fórmula objetivo. Es textual (no αβ-aware) — el
+// alcance del DSL no incluye un substituidor capture-avoiding completo
+// porque las fórmulas son ASCII opacas.
+function substitute(target, lhs, rhs) {
+    if (lhs === rhs)
+        return target;
+    // Word-boundary sensitive replace para identificadores; literal en caso
+    // contrario.
+    const escaped = lhs.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+    const re = /^[A-Za-z_][A-Za-z0-9_]*$/.test(lhs)
+        ? new RegExp(`\\b${escaped}\\b`, 'g')
+        : new RegExp(escaped, 'g');
+    return target.replace(re, rhs);
+}
+//# sourceMappingURL=types.js.map

package/dist/tactic-dsl/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/tactic-dsl/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,gDAAgD;AAChD,EAAE;AACF,0DAA0D;AAC1D,2DAA2D;AAC3D,yCAAyC;AACzC,6DAA6D;AAC7D,oBAAoB;AACpB,6BAA6B;AAC7B,mEAAmE;AACnE,uBAAuB;AACvB,EAAE;AACF,uEAAuE;AACvE,mEAAmE;AACnE,4EAA4E;;;AAkL5E,oCAQC;AAOD,0CAmBC;AAID,4CAMC;AAED,8BAEC;AASD,gCASC;AAnND,MAAa,WAAY,SAAQ,KAAK;IAE3B;IADT,YACS,MAAc,EACrB,OAAe;QAEf,KAAK,CAAC,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC,CAAC;QAHzB,WAAM,GAAN,MAAM,CAAQ;QAIrB,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AARD,kCAQC;AASD,SAAS,IAAI,CAAC,CAAc;IAC1B,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,MAAM,CAAC,CAAc;IAC5B,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAAE,CAAC,CAAC,GAAG,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,KAAK,CAAC,CAAc,EAAE,GAAW;IACxC,MAAM,CAAC,CAAC,CAAC,CAAC;IACV,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,SAAS,CAAC,EAAU;IAC3B,OAAO,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,EAAU;IAC1B,OAAO,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,CAAc;IAChC,MAAM,CAAC,CAAC,CAAC,CAAC;IACV,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC,CAAC,GAAG,EAAE,CAAC;IACV,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,kFAAkF;AAClF,sDAAsD;AACtD,SAAS,cAAc,CAAC,CAAc;IACpC,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,EAAE,KAAK,MAAM,IAAI,EAAE,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5D,IAAI,EAAE,KAAK,OAAO,IAAI,EAAE,KAAK,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC/D,gBAAgB;IAChB,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACnB,OAAO,IAAI,EAAE,CAAC;gBACZ,MAAM,CAAC,CAAC,CAAC,CAAC;gBACV,8DAA8D;gBAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;gBACd,IAAI,GAAG,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;oBAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBACnB,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,CAAC;wBAAE,MAAM;oBACrD,IAAI,EAAE,KAAK,GAAG;wBAAE,KAAK,EAAE,CAAC;yBACnB,IAAI,EAAE,KAAK,GAAG;wBAAE,KAAK,EAAE,CAAC;oBAC7B,GAAG,IAAI,EAAE,CAAC;oBACV,CAAC,CAAC,GAAG,EAAE,CAAC;gBACV,CAAC;gBACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvB,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAAE,SAAS;gBAC5B,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;oBAAE,MAAM;gBACzB,MAAM,IAAI,KAAK,CAAC,8CAA8C,EAAE,GAAG,CAAC,CAAC;YACvE,CAAC;QACH,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACpC,CAAC;AAED,SAAS,YAAY,CAAC,CAAc;IAClC,MAAM,CAAC,CAAC,CAAC,CAAC;IACV,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,mFAAmF;AACnF,SAAS,OAAO,CAAC,CAAc;IAC7B,MAAM,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,CAAC,CAAC,CAAC,CAAC;IACV,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACzF,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAc;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,OAAO,CAAC,CAAc;IAC7B,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,QAAQ,CAAC,CAAc;IAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,YAAY,CAAC,GAAW;IACtC,MAAM,CAAC,GAAgB,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IACvC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,CAAC,CAAC,CAAC,CAAC;IACV,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC,GAAG,QAAQ,GAAG,GAAG,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,mCAAmC;AACnC,EAAE;AACF,uEAAuE;AACvE,wEAAwE;AAExE,SAAgB,eAAe,CAAC,CAAU;IACxC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,KAAK;YACR,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACxE,KAAK,IAAI;YACP,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACxE,KAAK,KAAK;YACR,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;QACvE,KAAK,IAAI;YACP,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,kEAAkE;AAClE,SAAgB,gBAAgB,CAAC,GAAW;IAC1C,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAgB,SAAS,CAAC,CAAS,EAAE,CAAS;IAC5C,OAAO,gBAAgB,CAAC,CAAC,CAAC,KAAK,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,6CAA6C;AAC7C,EAAE;AACF,mEAAmE;AACnE,qEAAqE;AACrE,uEAAuE;AACvE,wCAAwC;AAExC,SAAgB,UAAU,CAAC,MAAc,EAAE,GAAW,EAAE,GAAW;IACjE,IAAI,GAAG,KAAK,GAAG;QAAE,OAAO,MAAM,CAAC;IAC/B,wEAAwE;IACxE,aAAa;IACb,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,EAAE,GAAG,0BAA0B,CAAC,IAAI,CAAC,GAAG,CAAC;QAC7C,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,OAAO,KAAK,EAAE,GAAG,CAAC;QACrC,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC7B,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC"}

package/dist/tests/categorical/categorical.test.d.ts

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

package/dist/tests/categorical/categorical.test.d.ts.map

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

package/dist/tests/categorical/categorical.test.js

@@ -0,0 +1,300 @@
+"use strict";
+// ============================================================
+// ST Categorical — Tests
+// ============================================================
+// Cubre:
+//   • FinSet: identidad, asociatividad, hom-sets.
+//   • Poset: clausura reflexivo-transitiva y categoricidad.
+//   • Free: paths como morfismos, asociatividad.
+//   • Functor: identidad y composición; preservación de leyes.
+//   • NaturalTransformation: naturalidad estricta y trivial (id).
+//   • Limits: product, coproduct, equalizer (FinSet binarios).
+//   • Monoidal: unitores y asociador estructurales.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const categorical_1 = require("../../categorical");
+// Reutilizamos estos objetos en varios tests.
+const A = { name: 'A', elements: ['a0', 'a1'] };
+const B = { name: 'B', elements: ['b0', 'b1', 'b2'] };
+const C = { name: 'C', elements: ['c0'] };
+(0, vitest_1.describe)('FinSet — categoría', () => {
+    (0, vitest_1.it)('FinSet con 2 objetos verifica identity', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+    });
+    (0, vitest_1.it)('FinSet con 2 objetos verifica associativity', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, C, { b0: 'c0', b1: 'c0', b2: 'c0' });
+        const cat = (0, categorical_1.FinSet)([A, B, C], [f, g]);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('hom-set hom(A, B) contiene a f', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const homs = cat.hom(A, B);
+        (0, vitest_1.expect)(homs.some((m) => cat.eqMor(m, f))).toBe(true);
+    });
+    (0, vitest_1.it)('mkFinSetMor rechaza imagen fuera del codominio', () => {
+        (0, vitest_1.expect)(() => (0, categorical_1.mkFinSetMor)('bad', A, B, { a0: 'b0', a1: 'zzz' })).toThrow(/not in target/);
+    });
+    (0, vitest_1.it)('compose en FinSet aplica funciones correctamente', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, C, { b0: 'c0', b1: 'c0', b2: 'c0' });
+        const cat = (0, categorical_1.FinSet)([A, B, C], [f, g]);
+        const gf = cat.compose(g, f);
+        (0, vitest_1.expect)(gf.fn.get('a0')).toBe('c0');
+        (0, vitest_1.expect)(gf.fn.get('a1')).toBe('c0');
+    });
+});
+(0, vitest_1.describe)('Poset — categoría', () => {
+    (0, vitest_1.it)('Poset [1≤2≤3] forma categoría válida', () => {
+        const cat = (0, categorical_1.Poset)(['1', '2', '3'], [
+            ['1', '2'],
+            ['2', '3'],
+        ]);
+        // Debe haber el morfismo transitivo 1→3
+        (0, vitest_1.expect)(cat.hom('1', '3').length).toBe(1);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('Poset reflexividad: cada objeto tiene identidad', () => {
+        const cat = (0, categorical_1.Poset)(['x', 'y'], [['x', 'y']]);
+        (0, vitest_1.expect)(cat.hom('x', 'x').length).toBe(1);
+        (0, vitest_1.expect)(cat.hom('y', 'y').length).toBe(1);
+    });
+    (0, vitest_1.it)('Poset sin relaciones es discreto', () => {
+        const cat = (0, categorical_1.Poset)(['p', 'q'], []);
+        (0, vitest_1.expect)(cat.hom('p', 'q').length).toBe(0);
+        (0, vitest_1.expect)(cat.hom('p', 'p').length).toBe(1);
+    });
+});
+(0, vitest_1.describe)('Free — categoría libre sobre grafo', () => {
+    (0, vitest_1.it)('Free con 1 edge produce path de longitud 1', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y'], [['x', 'y', 'e']]);
+        const homs = cat.hom('x', 'y');
+        (0, vitest_1.expect)(homs.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(homs.some((m) => m.path.length === 1 && m.path[0] === 'e')).toBe(true);
+    });
+    (0, vitest_1.it)('Free verifica asociatividad', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y', 'z'], [
+            ['x', 'y', 'e1'],
+            ['y', 'z', 'e2'],
+        ]);
+        (0, vitest_1.expect)(cat.verifyAssociativity()).toBe(true);
+    });
+    (0, vitest_1.it)('Free verifica identity laws', () => {
+        const cat = (0, categorical_1.Free)(['x', 'y'], [['x', 'y', 'e']]);
+        (0, vitest_1.expect)(cat.verifyIdentity()).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Functor', () => {
+    (0, vitest_1.it)('Functor identidad pasa preservation e identity laws', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        (0, vitest_1.expect)(Id.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(Id.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Functor constante a un objeto verifica leyes', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Const = (0, categorical_1.mkFunctor)({
+            name: 'Const_C',
+            source: cat,
+            target: cat,
+            onObjects: () => B,
+            onMorphisms: () => cat.identity(B),
+        });
+        (0, vitest_1.expect)(Const.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(Const.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Functor Free → FinSet preserve composition (estructura discreta)', () => {
+        // Free sobre un vertice solo (sólo identidades).
+        const free = (0, categorical_1.Free)(['v'], []);
+        const cat = (0, categorical_1.FinSet)([A], []);
+        const F = (0, categorical_1.mkFunctor)({
+            name: 'F',
+            source: free,
+            target: cat,
+            onObjects: () => A,
+            onMorphisms: () => cat.identity(A),
+        });
+        (0, vitest_1.expect)(F.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(F.verifyComposition()).toBe(true);
+    });
+    (0, vitest_1.it)('Composición de dos functores produce un functor válido', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const IdId = (0, categorical_1.composeFunctors)(Id, Id);
+        (0, vitest_1.expect)(IdId.verifyIdentityPreservation()).toBe(true);
+        (0, vitest_1.expect)(IdId.verifyComposition()).toBe(true);
+    });
+});
+(0, vitest_1.describe)('NaturalTransformation', () => {
+    (0, vitest_1.it)('Identity natural transformation id_F satisfies naturality', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const idNT = (0, categorical_1.identityNT)(Id);
+        (0, vitest_1.expect)(idNT.verifyNaturality()).toBe(true);
+    });
+    (0, vitest_1.it)('NT entre 2 functores constantes (mismo objeto) es natural trivialmente', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const ConstA = (0, categorical_1.mkFunctor)({
+            name: 'KA',
+            source: cat,
+            target: cat,
+            onObjects: () => A,
+            onMorphisms: () => cat.identity(A),
+        });
+        const ConstB = (0, categorical_1.mkFunctor)({
+            name: 'KB',
+            source: cat,
+            target: cat,
+            onObjects: () => B,
+            onMorphisms: () => cat.identity(B),
+        });
+        const f = cat.hom(A, B)[0];
+        const nt = (0, categorical_1.mkNaturalTransformation)({
+            name: 'k',
+            source: ConstA,
+            target: ConstB,
+            component: () => f,
+        });
+        (0, vitest_1.expect)(nt.verifyNaturality()).toBe(true);
+    });
+    (0, vitest_1.it)('NT mal definida es rechazada por verifyNaturality', () => {
+        // Construimos dos functores: Id y Const_{B}. La transformación
+        // natural "constante a f" no satisface naturalidad cuando hay
+        // varios morfismos f con dom/cod compatibles. Aquí montamos un
+        // contraejemplo concreto.
+        const swapA = { name: 'A', elements: ['a0', 'a1'] };
+        const f = (0, categorical_1.mkFinSetMor)('swap', swapA, swapA, { a0: 'a1', a1: 'a0' });
+        const cat = (0, categorical_1.FinSet)([swapA], [f]);
+        const Id = (0, categorical_1.identityFunctor)(cat);
+        const Const = (0, categorical_1.mkFunctor)({
+            name: 'KA',
+            source: cat,
+            target: cat,
+            onObjects: () => swapA,
+            onMorphisms: () => cat.identity(swapA),
+        });
+        // η_a = swap : Id(a)=a → Const(a)=a. Naturalidad pide
+        // Const(swap) ∘ η_a = η_a ∘ Id(swap), i.e. id ∘ swap = swap ∘ swap,
+        // i.e. swap = id ⇒ FALSO.
+        const bad = (0, categorical_1.mkNaturalTransformation)({
+            name: 'bad',
+            source: Id,
+            target: Const,
+            component: () => f,
+        });
+        (0, vitest_1.expect)(bad.verifyNaturality()).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Limits/Colimits — FinSet', () => {
+    (0, vitest_1.it)('product A×B construible en FinSet', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], []);
+        const p = (0, categorical_1.product)(cat, A, B);
+        (0, vitest_1.expect)(p).not.toBeNull();
+        if (!p)
+            return;
+        (0, vitest_1.expect)(p.obj.elements.length).toBe(A.elements.length * B.elements.length);
+        (0, vitest_1.expect)(p.pi1.src).toBe(p.obj.name);
+        (0, vitest_1.expect)(p.pi1.tgt).toBe(A.name);
+        (0, vitest_1.expect)(p.pi2.tgt).toBe(B.name);
+    });
+    (0, vitest_1.it)('coproduct A⊔B construible en FinSet', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], []);
+        const c = (0, categorical_1.coproduct)(cat, A, B);
+        (0, vitest_1.expect)(c).not.toBeNull();
+        if (!c)
+            return;
+        (0, vitest_1.expect)(c.obj.elements.length).toBe(A.elements.length + B.elements.length);
+        (0, vitest_1.expect)(c.in1.src).toBe(A.name);
+        (0, vitest_1.expect)(c.in1.tgt).toBe(c.obj.name);
+    });
+    (0, vitest_1.it)('equalizer trivial: f = g ⇒ equalizer es el dominio entero', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f]);
+        const e = (0, categorical_1.equalizer)(cat, f, f);
+        (0, vitest_1.expect)(e).not.toBeNull();
+        if (!e)
+            return;
+        (0, vitest_1.expect)(e.obj.elements.length).toBe(A.elements.length);
+    });
+    (0, vitest_1.it)('equalizer no trivial: solo elementos donde f y g coinciden', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', A, B, { a0: 'b0', a1: 'b2' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f, g]);
+        const e = (0, categorical_1.equalizer)(cat, f, g);
+        (0, vitest_1.expect)(e).not.toBeNull();
+        if (!e)
+            return;
+        (0, vitest_1.expect)(e.obj.elements).toEqual(['a0']);
+    });
+    (0, vitest_1.it)('coequalizer colapsa elementos relacionados por f, g', () => {
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', A, B, { a0: 'b1', a1: 'b1' });
+        const cat = (0, categorical_1.FinSet)([A, B], [f, g]);
+        const ce = (0, categorical_1.coequalizer)(cat, f, g);
+        (0, vitest_1.expect)(ce).not.toBeNull();
+        if (!ce)
+            return;
+        // b0 y b1 se colapsan (via a0), b2 queda solo.
+        (0, vitest_1.expect)(ce.obj.elements.length).toBe(2);
+    });
+    (0, vitest_1.it)('isCone valida correctamente un cono trivial', () => {
+        const cat = (0, categorical_1.FinSet)([A, B], [(0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' })]);
+        const diagram = {
+            vertices: new Map([['v', A]]),
+            edges: [],
+        };
+        const cone = {
+            apex: A,
+            legs: new Map([['v', cat.identity(A)]]),
+        };
+        (0, vitest_1.expect)((0, categorical_1.isCone)(cat, diagram, cone)).toBe(true);
+    });
+    (0, vitest_1.it)('isLimit verifica límite trivial (1 vértice = ese vértice)', () => {
+        const cat = (0, categorical_1.FinSet)([A], []);
+        const diagram = {
+            vertices: new Map([['v', A]]),
+            edges: [],
+        };
+        const cone = {
+            apex: A,
+            legs: new Map([['v', cat.identity(A)]]),
+        };
+        (0, vitest_1.expect)((0, categorical_1.isLimit)(cat, diagram, cone)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Monoidal (FinSet, ×, 1)', () => {
+    (0, vitest_1.it)('verifica unitor izquierdo: 1⊗A ≅ A', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        (0, vitest_1.expect)(mc.verifyLeftUnitor()).toBe(true);
+    });
+    (0, vitest_1.it)('verifica unitor derecho: A⊗1 ≅ A', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        (0, vitest_1.expect)(mc.verifyRightUnitor()).toBe(true);
+    });
+    (0, vitest_1.it)('verifica asociador: (A⊗B)⊗C ≅ A⊗(B⊗C)', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B, C]);
+        (0, vitest_1.expect)(mc.verifyAssociator()).toBe(true);
+    });
+    (0, vitest_1.it)('tensor de objetos tiene cardinal producto', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        const AxB = mc.tensor(A, B);
+        (0, vitest_1.expect)(AxB.elements.length).toBe(A.elements.length * B.elements.length);
+    });
+    (0, vitest_1.it)('tensor de morfismos f×g aplica componentes', () => {
+        const mc = (0, categorical_1.FinSetMonoidal)([A, B]);
+        const f = (0, categorical_1.mkFinSetMor)('f', A, B, { a0: 'b0', a1: 'b1' });
+        const g = (0, categorical_1.mkFinSetMor)('g', B, A, { b0: 'a0', b1: 'a1', b2: 'a0' });
+        const fxg = mc.tensorMor(f, g);
+        (0, vitest_1.expect)(fxg.fn.get('a0∥b0')).toBe('b0∥a0');
+        (0, vitest_1.expect)(fxg.fn.get('a1∥b1')).toBe('b1∥a1');
+    });
+});
+//# sourceMappingURL=categorical.test.js.map

package/dist/tests/categorical/categorical.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"categorical.test.js","sourceRoot":"","sources":["../../../src/tests/categorical/categorical.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAC/D,SAAS;AACT,kDAAkD;AAClD,4DAA4D;AAC5D,iDAAiD;AACjD,+DAA+D;AAC/D,kEAAkE;AAClE,+DAA+D;AAC/D,oDAAoD;AACpD,+DAA+D;;AAE/D,mCAA8C;AAC9C,mDAqB2B;AAE3B,8CAA8C;AAC9C,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AAC3D,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;AACjE,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AAErD,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAW,EAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,mBAAK,EACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,wCAAwC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,mBAAK,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,kBAAI,EACd,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC;YAChB,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC;SACjB,CACF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,mBAAmB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAA,uBAAS,EAAC;YACtB,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC;YAClB,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,IAAI;YACZ,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,6BAAe,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,0BAA0B,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAA,uBAAS,EAAC;YACvB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,uBAAS,EAAC;YACvB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;YAClB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,qCAAuB,EAAC;YACjC,IAAI,EAAE,GAAG;YACT,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,+DAA+D;QAC/D,8DAA8D;QAC9D,+DAA+D;QAC/D,0BAA0B;QAC1B,MAAM,KAAK,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,IAAA,uBAAS,EAAC;YACtB,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,GAAG;YACX,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,WAAW,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC;SACvC,CAAC,CAAC;QACH,sDAAsD;QACtD,oEAAoE;QACpE,0BAA0B;QAC1B,MAAM,GAAG,GAAG,IAAA,qCAAuB,EAAC;YAClC,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,EAAE;YACV,MAAM,EAAE,KAAK;YACb,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;SACnB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,qBAAO,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,uBAAS,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,EAAE;YAAE,OAAO;QAChB,+CAA+C;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAkC;YAC7C,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,IAAI,GAA+B;YACvC,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,oBAAM,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5B,MAAM,OAAO,GAAkC;YAC7C,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7B,KAAK,EAAE,EAAE;SACV,CAAC;QACF,MAAM,IAAI,GAA+B;YACvC,IAAI,EAAE,CAAC;YACP,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,4BAAc,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAW,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/csp-hoare/csp-hoare.test.d.ts

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

package/dist/tests/csp-hoare/csp-hoare.test.d.ts.map

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