@stevenvo780/st-lang 4.5.1 → 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/api/namespaces.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Public API namespaces — paridad backward-compatible.
+ *
+ * Verifica que los namespaces semánticos (Logic, ProofSystems, TypeTheory,
+ * Solvers, Reasoning, Semantics) expongan los mismos símbolos que los flat
+ * exports existentes, sin colisiones y con identidad referencial preservada.
+ */
+export {};
+//# sourceMappingURL=namespaces.test.d.ts.map

package/dist/tests/api/namespaces.test.d.ts.map

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

package/dist/tests/api/namespaces.test.js

@@ -0,0 +1,218 @@
+"use strict";
+/**
+ * Public API namespaces — paridad backward-compatible.
+ *
+ * Verifica que los namespaces semánticos (Logic, ProofSystems, TypeTheory,
+ * Solvers, Reasoning, Semantics) expongan los mismos símbolos que los flat
+ * exports existentes, sin colisiones y con identidad referencial preservada.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const ST = __importStar(require("../../index"));
+(0, vitest_1.describe)('public API — namespaces semánticos', () => {
+    // ── existencia básica ───────────────────────────────────────────────────
+    (0, vitest_1.it)('expone los 6 namespaces a nivel raíz', () => {
+        (0, vitest_1.expect)(ST.Logic).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics).toBeDefined();
+    });
+    // ── Logic ───────────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Logic incluye sub-namespaces para perfiles con barrel propio', () => {
+        (0, vitest_1.expect)(ST.Logic.ctl).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.ltl).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.muCalculus).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.hybrid).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.descriptionLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.modalAxioms).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.sequentG3).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.sequentLK).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.intuitNJ).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.defaultLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.manyValued).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.substructural).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.arithmetic).toBeDefined();
+    });
+    (0, vitest_1.it)('Logic.ctl.modelCheckCTL es la misma función que el modelo CTL flat', () => {
+        (0, vitest_1.expect)(typeof ST.Logic.ctl.modelCheckCTL).toBe('function');
+        (0, vitest_1.expect)(typeof ST.Logic.ctl.satisfiesCTL).toBe('function');
+    });
+    (0, vitest_1.it)('Logic re-exporta clases de perfiles single-file', () => {
+        (0, vitest_1.expect)(ST.Logic.ClassicalPropositional).toBe(ST.ClassicalPropositional);
+        (0, vitest_1.expect)(ST.Logic.ModalK).toBe(ST.ModalK);
+        (0, vitest_1.expect)(ST.Logic.ParaconsistentBelnap).toBe(ST.ParaconsistentBelnap);
+    });
+    (0, vitest_1.it)('Logic re-exporta SAT helpers (cdcl, dpll)', () => {
+        (0, vitest_1.expect)(ST.Logic.cdcl).toBe(ST.cdcl);
+        (0, vitest_1.expect)(ST.Logic.dpll).toBe(ST.dpll);
+        (0, vitest_1.expect)(ST.Logic.PARALLEL_THRESHOLD).toBe(ST.PARALLEL_THRESHOLD);
+    });
+    // ── ProofSystems ────────────────────────────────────────────────────────
+    (0, vitest_1.it)('ProofSystems agrupa probadores y herramientas de prueba', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.folProver).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.folProverEquality).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofMinify).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.tableauFramework).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofNets).toBeDefined();
+    });
+    (0, vitest_1.it)('ProofSystems.folProver.proveFOL coincide con el flat', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.proveFOL).toBe(ST.proveFOL);
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.unify).toBe(ST.unify);
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.skolemize).toBe(ST.skolemize);
+    });
+    (0, vitest_1.it)('ProofSystems.proofExchange expone canonicalize y signProof', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.canonicalize).toBe(ST.canonicalize);
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.signProof).toBe(ST.signProof);
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.verifyProof).toBe(ST.verifyProof);
+    });
+    (0, vitest_1.it)('ProofSystems.tableauFramework expone TableauProver', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.tableauFramework.TableauProver).toBe(ST.TableauProver);
+    });
+    // ── TypeTheory ──────────────────────────────────────────────────────────
+    (0, vitest_1.it)('TypeTheory agrupa Curry-Howard, System F, MLTT y λ-calc', () => {
+        (0, vitest_1.expect)(ST.TypeTheory.curryHoward).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.systemF).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.mltt).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.lambdaCalc).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.combinatorsSKI).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.nbe).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.refinementTypes).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.higherOrderUnify).toBeDefined();
+    });
+    (0, vitest_1.it)('TypeTheory.systemF.typeOf produce el mismo resultado que el flat', () => {
+        const sf = ST.TypeTheory.systemF;
+        // Identidad polimórfica: Λ X. λ x:X. x  ⊢  ∀X. X → X
+        const idTerm = sf.fTAbs('X', sf.fAbs('x', sf.fAtom('X'), sf.fVar('x')));
+        const result = sf.typeOf(idTerm);
+        (0, vitest_1.expect)(sf.isTypeError(result)).toBe(false);
+        if (!sf.isTypeError(result)) {
+            // ∀X. X → X
+            (0, vitest_1.expect)(result.kind).toBe('forall');
+            (0, vitest_1.expect)(sf.fTypeToString(result)).toBe('∀X. X → X');
+        }
+    });
+    (0, vitest_1.it)('TypeTheory.curryHoward.inferType coincide con flat inferType', () => {
+        const ch = ST.TypeTheory.curryHoward;
+        // λx:P. x — debería tipar a P → P
+        const id = ch.abs('x', ch.atom('P'), ch.vr('x'));
+        const inferred = ch.inferType(id);
+        (0, vitest_1.expect)(ch.isInferError(inferred)).toBe(false);
+        // Llamada directa a flat
+        (0, vitest_1.expect)(ST.inferType).toBe(ch.inferType);
+    });
+    (0, vitest_1.it)('TypeTheory.mltt expone constructores y normalize', () => {
+        const m = ST.TypeTheory.mltt;
+        (0, vitest_1.expect)(typeof m.mVar).toBe('function');
+        (0, vitest_1.expect)(typeof m.mLam).toBe('function');
+        (0, vitest_1.expect)(typeof m.normalize).toBe('function');
+        // Identidad referencial con flat (con alias mlttX).
+        (0, vitest_1.expect)(m.normalize).toBe(ST.mlttNormalize);
+    });
+    (0, vitest_1.it)('TypeTheory.lambdaCalc expone constructores y normalize', () => {
+        const lc = ST.TypeTheory.lambdaCalc;
+        (0, vitest_1.expect)(typeof lc.v).toBe('function');
+        (0, vitest_1.expect)(typeof lc.lam).toBe('function');
+        (0, vitest_1.expect)(lc.normalize).toBe(ST.lcNormalize);
+    });
+    // ── Solvers ─────────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Solvers expone CDCL v2, CSP, MUS, SMT', () => {
+        (0, vitest_1.expect)(ST.Solvers.cdclV2).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.cdclV2Incremental).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.csp).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.mus).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.smt).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.parallel).toBeDefined();
+    });
+    (0, vitest_1.it)('Solvers.solveCDCLv2 coincide con flat solveCDCLv2', () => {
+        (0, vitest_1.expect)(ST.Solvers.solveCDCLv2).toBe(ST.solveCDCLv2);
+    });
+    // ── Reasoning ───────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Reasoning agrupa argumentation, belief-revision, abduction, etc.', () => {
+        (0, vitest_1.expect)(ST.Reasoning.argumentation).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.beliefRevision).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.abduction).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.markovLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.bayesian).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.citationReasoning).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.hyperreal).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.antiUnification).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.termRewriting).toBeDefined();
+    });
+    (0, vitest_1.it)('Reasoning.argumentation.computeExtensions coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Reasoning.argumentation.computeExtensions).toBe(ST.computeExtensions);
+    });
+    (0, vitest_1.it)('Reasoning.citationReasoning.deriveWithCitations coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Reasoning.citationReasoning.deriveWithCitations).toBe(ST.deriveWithCitations);
+    });
+    (0, vitest_1.it)('Reasoning.TheoremCache coincide con flat TheoremCache', () => {
+        (0, vitest_1.expect)(ST.Reasoning.TheoremCache).toBe(ST.TheoremCache);
+        (0, vitest_1.expect)(ST.Reasoning.tryReuseProof).toBe(ST.tryReuseProof);
+    });
+    // ── Semantics ───────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Semantics agrupa text-layer, game-semantics, profile-bridge, coinduction', () => {
+        (0, vitest_1.expect)(ST.Semantics.textLayer).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.textLayerCompiler).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.textLayerV2).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.gameSemantics).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.profileBridge).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.coinduction).toBeDefined();
+    });
+    (0, vitest_1.it)('Semantics.gameSemantics.winningStrategy coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Semantics.gameSemantics.winningStrategy).toBe(ST.winningStrategy);
+    });
+    (0, vitest_1.it)('Semantics.profileBridge re-exporta translateFormula', () => {
+        (0, vitest_1.expect)(ST.Semantics.profileBridge.translateFormula).toBe(ST.translateFormula);
+        (0, vitest_1.expect)(ST.Semantics.profileBridge.glivenkoTranslation).toBe(ST.glivenkoTranslation);
+    });
+    (0, vitest_1.it)('Semantics.textLayer expone createTextLayerState', () => {
+        (0, vitest_1.expect)(ST.Semantics.textLayer.createTextLayerState).toBe(ST.createTextLayerState);
+    });
+    // ── backward-compat global ──────────────────────────────────────────────
+    (0, vitest_1.it)('los flat exports históricos siguen vivos (no breaking change)', () => {
+        (0, vitest_1.expect)(typeof ST.evaluate).toBe('function');
+        (0, vitest_1.expect)(typeof ST.parse).toBe('function');
+        (0, vitest_1.expect)(typeof ST.check).toBe('function');
+        (0, vitest_1.expect)(typeof ST.typeCheck).toBe('function');
+        (0, vitest_1.expect)(typeof ST.proveFOL).toBe('function');
+        (0, vitest_1.expect)(typeof ST.solveCDCLv2).toBe('function');
+        (0, vitest_1.expect)(typeof ST.computeExtensions).toBe('function');
+        (0, vitest_1.expect)(typeof ST.createTextLayerState).toBe('function');
+    });
+});
+//# sourceMappingURL=namespaces.test.js.map

package/dist/tests/api/namespaces.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespaces.test.js","sourceRoot":"","sources":["../../../src/tests/api/namespaces.test.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,mCAA8C;AAC9C,gDAAkC;AAElC,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,2EAA2E;IAE3E,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACxD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QACjC,qDAAqD;QACrD,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,YAAY;YACZ,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QACrC,kCAAkC;QAClC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,yBAAyB;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAC7B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bdd/manager.test.d.ts

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

package/dist/tests/bdd/manager.test.d.ts.map

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