@stevenvo780/st-lang 4.5.1 → 4.6.0

package/dist/categorical/monoidal.js

@@ -0,0 +1,148 @@
+"use strict";
+// ============================================================
+// ST Categorical — Monoidal Category (FinSet con producto ×)
+// ============================================================
+// Construcción concreta de la categoría monoidal estricta
+// (FinSet, ×, 1) donde 1 = {*} y A×B se define elemento a elemento.
+// Verifica unitor izquierdo / derecho y asociador por igualdad
+// estricta sobre los carriers (suficiente porque elegimos los
+// nombres canónicos: "*∥x" se mapea a "x", etc.).
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.FinSetMonoidal = FinSetMonoidal;
+const fin_set_1 = require("./fin-set");
+/**
+ * Construye la categoría monoidal (FinSet, ×, 1). Recibe la lista
+ * de objetos generadores; añade automáticamente la unidad 1.
+ *
+ * Esta versión es estricta hasta isomorfismo canónico: los unitores
+ * y asociador se comprueban por igualdad estructural de los
+ * elementos serializados (`x` vs `*∥x` vs `x∥*`), siguiendo la
+ * convención `mkProductObj`. En lugar de verificar conmutatividad
+ * de diagramas complejos, comparamos los carriers normalizados.
+ */
+function FinSetMonoidal(objs, generators = []) {
+    const unit = { name: '1', elements: ['*'] };
+    const allObjs = [unit, ...objs];
+    // Cerramos productos relevantes para que verifyAssociator/unitors
+    // puedan buscar objetos producto sin construir uno nuevo cada vez.
+    const objsByName = new Map();
+    for (const o of allObjs)
+        objsByName.set(o.name, o);
+    function productObj(a, b) {
+        const name = `${a.name}×${b.name}`;
+        const cached = objsByName.get(name);
+        if (cached)
+            return cached;
+        const elements = [];
+        for (const x of a.elements) {
+            for (const y of b.elements) {
+                elements.push(`${x}∥${y}`);
+            }
+        }
+        const o = { name, elements };
+        objsByName.set(name, o);
+        return o;
+    }
+    // Generar tensorial de unidades y de generators para asegurar
+    // que la categoría base tenga las identidades para esos objetos.
+    const expandedObjs = [...allObjs];
+    for (const a of allObjs) {
+        for (const b of allObjs) {
+            const p = productObj(a, b);
+            if (!expandedObjs.some((o) => o.name === p.name))
+                expandedObjs.push(p);
+        }
+    }
+    const baseCat = (0, fin_set_1.FinSet)(expandedObjs, generators);
+    function tensor(a, b) {
+        return productObj(a, b);
+    }
+    function tensorMor(f, g) {
+        // f×g : A×B → A'×B', (a,b) ↦ (f(a), g(b))
+        const aObj = Array.from(baseCat.objects).find((o) => o.name === f.src);
+        const bObj = Array.from(baseCat.objects).find((o) => o.name === g.src);
+        const aTgt = Array.from(baseCat.objects).find((o) => o.name === f.tgt);
+        const bTgt = Array.from(baseCat.objects).find((o) => o.name === g.tgt);
+        const prodSrc = productObj(aObj, bObj);
+        const prodTgt = productObj(aTgt, bTgt);
+        const table = {};
+        for (const x of aObj.elements) {
+            for (const y of bObj.elements) {
+                table[`${x}∥${y}`] = `${f.fn.get(x)}∥${g.fn.get(y)}`;
+            }
+        }
+        // Asegurar que los objetos producto existan en la categoría base.
+        if (!baseCat.objects.has(prodSrc) || !baseCat.objects.has(prodTgt)) {
+            // No deberían faltar con expandedObjs, pero como salvaguarda
+            // devolvemos un morfismo standalone.
+        }
+        return (0, fin_set_1.mkFinSetMor)(`${f.id.split(':').pop()}×${g.id.split(':').pop()}`, prodSrc, prodTgt, table);
+    }
+    function verifyLeftUnitor() {
+        // 1⊗A debe ser isomorfo a A. Concretamente: el carrier de 1×A es
+        // { "*∥a" | a∈A }, en biyección con A vía "*∥a" ↔ a.
+        for (const a of allObjs) {
+            const oneA = tensor(unit, a);
+            if (oneA.elements.length !== a.elements.length)
+                return false;
+            // Cada elemento "*∥a" debe corresponder con un a en A.
+            const matches = oneA.elements.every((el) => {
+                const [u, x] = el.split('∥');
+                return u === '*' && a.elements.includes(x ?? '');
+            });
+            if (!matches)
+                return false;
+        }
+        return true;
+    }
+    function verifyRightUnitor() {
+        for (const a of allObjs) {
+            const aOne = tensor(a, unit);
+            if (aOne.elements.length !== a.elements.length)
+                return false;
+            const matches = aOne.elements.every((el) => {
+                const [x, u] = el.split('∥');
+                return u === '*' && a.elements.includes(x ?? '');
+            });
+            if (!matches)
+                return false;
+        }
+        return true;
+    }
+    function verifyAssociator() {
+        // (A⊗B)⊗C y A⊗(B⊗C) deben tener carriers en biyección canónica.
+        for (const a of allObjs) {
+            for (const b of allObjs) {
+                for (const c of allObjs) {
+                    const lhs = tensor(tensor(a, b), c);
+                    const rhs = tensor(a, tensor(b, c));
+                    if (lhs.elements.length !== rhs.elements.length)
+                        return false;
+                    // Asociador: "(x∥y)∥z" ↔ "x∥(y∥z)". Como nuestro encoding es
+                    // strings con ∥ izquierda-asociativo, normalizamos quitando
+                    // separadores y comparando.
+                    const lset = new Set(lhs.elements.map((s) => s.replaceAll('∥', '|')));
+                    const rset = new Set(rhs.elements.map((s) => s.replaceAll('∥', '|')));
+                    if (lset.size !== rset.size)
+                        return false;
+                    for (const s of lset)
+                        if (!rset.has(s))
+                            return false;
+                }
+            }
+        }
+        return true;
+    }
+    return {
+        ...baseCat,
+        name: 'FinSet⊗',
+        unit,
+        tensor,
+        tensorMor,
+        verifyLeftUnitor,
+        verifyRightUnitor,
+        verifyAssociator,
+    };
+}
+//# sourceMappingURL=monoidal.js.map

package/dist/categorical/monoidal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"monoidal.js","sourceRoot":"","sources":["../../src/categorical/monoidal.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6DAA6D;AAC7D,+DAA+D;AAC/D,0DAA0D;AAC1D,oEAAoE;AACpE,+DAA+D;AAC/D,8DAA8D;AAC9D,kDAAkD;AAClD,+DAA+D;;AAe/D,wCAkIC;AA9ID,uCAAgF;AAEhF;;;;;;;;;GASG;AACH,SAAgB,cAAc,CAC5B,IAA8B,EAC9B,aAAuC,EAAE;IAEzC,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACvD,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC;IAEhC,kEAAkE;IAClE,mEAAmE;IACnE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAqB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAEnD,SAAS,UAAU,CAAC,CAAY,EAAE,CAAY;QAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QACD,MAAM,CAAC,GAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACxC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxB,OAAO,CAAC,CAAC;IACX,CAAC;IAED,8DAA8D;IAC9D,iEAAiE;IACjE,MAAM,YAAY,GAAgB,CAAC,GAAG,OAAO,CAAC,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;gBAAE,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,IAAA,gBAAM,EAAC,YAAY,EAAE,UAAU,CAAC,CAAC;IAEjD,SAAS,MAAM,CAAC,CAAY,EAAE,CAAY;QACxC,OAAO,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,SAAS,SAAS,CAAC,CAAY,EAAE,CAAY;QAC3C,0CAA0C;QAC1C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAE,CAAC;QACxE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAE,CAAC;QACxE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAE,CAAC;QACxE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAE,CAAC;QACxE,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,MAAM,KAAK,GAA2B,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,CAAC;YACzD,CAAC;QACH,CAAC;QACD,kEAAkE;QAClE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnE,6DAA6D;YAC7D,qCAAqC;QACvC,CAAC;QACD,OAAO,IAAA,qBAAW,EAChB,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,EACnD,OAAO,EACP,OAAO,EACP,KAAK,CACN,CAAC;IACJ,CAAC;IAED,SAAS,gBAAgB;QACvB,iEAAiE;QACjE,qDAAqD;QACrD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7D,uDAAuD;YACvD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE;gBACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,iBAAiB;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7D,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE;gBACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC7B,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;QAC7B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,SAAS,gBAAgB;QACvB,gEAAgE;QAChE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;oBACxB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACpC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,MAAM;wBAAE,OAAO,KAAK,CAAC;oBAC9D,6DAA6D;oBAC7D,4DAA4D;oBAC5D,4BAA4B;oBAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBACtE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBACtE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI;wBAAE,OAAO,KAAK,CAAC;oBAC1C,KAAK,MAAM,CAAC,IAAI,IAAI;wBAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;4BAAE,OAAO,KAAK,CAAC;gBACvD,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,GAAG,OAAO;QACV,IAAI,EAAE,SAAS;QACf,IAAI;QACJ,MAAM;QACN,SAAS;QACT,gBAAgB;QAChB,iBAAiB;QACjB,gBAAgB;KACjB,CAAC;AACJ,CAAC"}

package/dist/categorical/poset.d.ts

@@ -0,0 +1,14 @@
+import type { Category, MorId } from './types';
+/** Morfismo del poset: par origen/destino. Único entre dos objetos. */
+export interface PosetMor {
+    readonly id: MorId;
+    readonly src: string;
+    readonly tgt: string;
+}
+/**
+ * Construye la categoría poset. `elements` define los objetos y
+ * `leq` los pares a≤b explícitos. La clausura reflexivo-transitiva
+ * se calcula y se realiza como morfismos del Category resultante.
+ */
+export declare function Poset(elements: ReadonlyArray<string>, leq: ReadonlyArray<readonly [string, string]>): Category<string, PosetMor>;
+//# sourceMappingURL=poset.d.ts.map

package/dist/categorical/poset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"poset.d.ts","sourceRoot":"","sources":["../../src/categorical/poset.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAE/C,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CACnB,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,EAC/B,GAAG,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC5C,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAmG5B"}

package/dist/categorical/poset.js

@@ -0,0 +1,115 @@
+"use strict";
+// ============================================================
+// ST Categorical — Poset como categoría
+// ============================================================
+// Un poset (P, ≤) genera una categoría con un único morfismo a→b
+// por cada par (a, b) tal que a ≤ b. La identidad es a ≤ a y la
+// composición es transitividad. Reflexividad y transitividad están
+// validadas por construcción.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Poset = Poset;
+/**
+ * Construye la categoría poset. `elements` define los objetos y
+ * `leq` los pares a≤b explícitos. La clausura reflexivo-transitiva
+ * se calcula y se realiza como morfismos del Category resultante.
+ */
+function Poset(elements, leq) {
+    // Clausura reflexivo-transitiva sobre la relación dada.
+    const closure = new Set();
+    for (const e of elements)
+        closure.add(`${e}|${e}`);
+    for (const [a, b] of leq)
+        closure.add(`${a}|${b}`);
+    let changed = true;
+    while (changed) {
+        changed = false;
+        const snapshot = Array.from(closure).map((s) => s.split('|'));
+        for (const [a, b] of snapshot) {
+            for (const [c, d] of snapshot) {
+                if (b === c) {
+                    const key = `${a}|${d}`;
+                    if (!closure.has(key)) {
+                        closure.add(key);
+                        changed = true;
+                    }
+                }
+            }
+        }
+    }
+    // Antisimetría se asume verificada por el cliente (no la chequeamos
+    // aquí — si el cliente da un ciclo, simplemente colapsa elementos en
+    // la categoría resultante y los tests lo detectarán).
+    const morphisms = new Map();
+    for (const key of closure) {
+        const [a, b] = key.split('|');
+        const mid = `${a}→${b}:leq`;
+        morphisms.set(mid, { id: mid, src: a, tgt: b });
+    }
+    const objectsSet = new Set(elements);
+    function identity(obj) {
+        const m = morphisms.get(`${obj}→${obj}:leq`);
+        if (!m)
+            throw new Error(`Poset: missing identity for ${obj}`);
+        return m;
+    }
+    function compose(g, f) {
+        if (f.tgt !== g.src) {
+            throw new Error(`Poset compose: dom mismatch ${f.id} ; ${g.id}`);
+        }
+        const id = `${f.src}→${g.tgt}:leq`;
+        const m = morphisms.get(id);
+        if (!m)
+            throw new Error(`Poset compose: missing morphism ${id}`);
+        return m;
+    }
+    function source(m) {
+        return m.src;
+    }
+    function target(m) {
+        return m.tgt;
+    }
+    function eqMor(a, b) {
+        return a.id === b.id;
+    }
+    function eqObj(a, b) {
+        return a === b;
+    }
+    function hom(a, b) {
+        const m = morphisms.get(`${a}→${b}:leq`);
+        return m ? [m] : [];
+    }
+    function verifyAssociativity() {
+        // En un poset cualquier composición es única, asociativa por
+        // construcción.
+        return true;
+    }
+    function verifyIdentity() {
+        // Reflexividad y composición con identidad: triviales por
+        // construcción al estar la clausura reflexiva añadida.
+        for (const m of morphisms.values()) {
+            const idSrc = identity(m.src);
+            const idTgt = identity(m.tgt);
+            if (compose(m, idSrc).id !== m.id)
+                return false;
+            if (compose(idTgt, m).id !== m.id)
+                return false;
+        }
+        return true;
+    }
+    return {
+        name: 'Poset',
+        objects: objectsSet,
+        morphisms,
+        identity,
+        compose,
+        source,
+        target,
+        eqMor,
+        eqObj,
+        hom,
+        verifyAssociativity,
+        verifyIdentity,
+    };
+}
+//# sourceMappingURL=poset.js.map

package/dist/categorical/poset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"poset.js","sourceRoot":"","sources":["../../src/categorical/poset.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAC/D,iEAAiE;AACjE,gEAAgE;AAChE,mEAAmE;AACnE,8BAA8B;AAC9B,+DAA+D;;AAgB/D,sBAsGC;AA3GD;;;;GAIG;AACH,SAAgB,KAAK,CACnB,QAA+B,EAC/B,GAA6C;IAE7C,wDAAwD;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG;QAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEnD,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,EAAE,CAAC;QACf,OAAO,GAAG,KAAK,CAAC;QAChB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC,CAAC;QAClF,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;YAC9B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACZ,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACjB,OAAO,GAAG,IAAI,CAAC;oBACjB,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,qEAAqE;IACrE,sDAAsD;IAEtD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAqB,CAAC;QAClD,MAAM,GAAG,GAAU,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QACnC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAC;IAE7C,SAAS,QAAQ,CAAC,GAAW;QAC3B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,EAAE,CAAC,CAAC;QAC9D,OAAO,CAAC,CAAC;IACX,CAAC;IAED,SAAS,OAAO,CAAC,CAAW,EAAE,CAAW;QACvC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,EAAE,GAAU,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,MAAM,CAAC;QAC1C,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,EAAE,EAAE,CAAC,CAAC;QACjE,OAAO,CAAC,CAAC;IACX,CAAC;IAED,SAAS,MAAM,CAAC,CAAW;QACzB,OAAO,CAAC,CAAC,GAAG,CAAC;IACf,CAAC;IACD,SAAS,MAAM,CAAC,CAAW;QACzB,OAAO,CAAC,CAAC,GAAG,CAAC;IACf,CAAC;IACD,SAAS,KAAK,CAAC,CAAW,EAAE,CAAW;QACrC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;IACvB,CAAC;IACD,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS;QACjC,OAAO,CAAC,KAAK,CAAC,CAAC;IACjB,CAAC;IACD,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;QAC/B,MAAM,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtB,CAAC;IACD,SAAS,mBAAmB;QAC1B,6DAA6D;QAC7D,gBAAgB;QAChB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,SAAS,cAAc;QACrB,0DAA0D;QAC1D,uDAAuD;QACvD,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;YAChD,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAC;QAClD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,IAAI,EAAE,OAAO;QACb,OAAO,EAAE,UAAU;QACnB,SAAS;QACT,QAAQ;QACR,OAAO;QACP,MAAM;QACN,MAAM;QACN,KAAK;QACL,KAAK;QACL,GAAG;QACH,mBAAmB;QACnB,cAAc;KACf,CAAC;AACJ,CAAC"}

package/dist/categorical/types.d.ts

@@ -0,0 +1,111 @@
+/**
+ * Identidad estable de un morfismo. Las categorías construidas
+ * en este módulo usan strings derivados de `src→tgt:name`, pero
+ * un cliente puede definir su propio esquema mientras sea único.
+ */
+export type MorId = string;
+/**
+ * Una categoría sobre objetos `Obj` y morfismos `Mor`. Las
+ * propiedades `objects` y `morphisms` exponen el grafo subyacente
+ * para tests y consumidores que necesiten iterar.
+ *
+ * Los morfismos viven en un `Map<MorId, Mor>` para que el chequeo
+ * de leyes pueda muestrear pares aleatorios sin coste prohibitivo.
+ */
+export interface Category<Obj, Mor> {
+    readonly name: string;
+    readonly objects: Set<Obj>;
+    readonly morphisms: Map<MorId, Mor>;
+    /** Devuelve la identidad para un objeto (axioma: existe y es única). */
+    identity(obj: Obj): Mor;
+    /** Composición g ∘ f (lee de derecha a izquierda: aplica f y luego g). */
+    compose(g: Mor, f: Mor): Mor;
+    /** Dominio del morfismo. */
+    source(m: Mor): Obj;
+    /** Codominio del morfismo. */
+    target(m: Mor): Obj;
+    /** Igualdad de morfismos (semántica del modelo concreto). */
+    eqMor(a: Mor, b: Mor): boolean;
+    /** Igualdad de objetos (semántica del modelo concreto). */
+    eqObj(a: Obj, b: Obj): boolean;
+    /** Devuelve todos los morfismos a→b. Útil para tests y para limits. */
+    hom(a: Obj, b: Obj): Mor[];
+    /** Verifica asociatividad: (h∘g)∘f = h∘(g∘f) sobre un muestreo. */
+    verifyAssociativity(sample?: number): boolean;
+    /** Verifica id ∘ f = f y f ∘ id = f. */
+    verifyIdentity(sample?: number): boolean;
+}
+/**
+ * Functor F : C → D, dado por su acción en objetos y morfismos.
+ * Debe preservar identidad y composición; ambas son verificables.
+ */
+export interface Functor<O1, M1, O2, M2> {
+    readonly name: string;
+    readonly source: Category<O1, M1>;
+    readonly target: Category<O2, M2>;
+    onObjects(obj: O1): O2;
+    onMorphisms(mor: M1): M2;
+    /** F(id_a) = id_{F(a)} para todo objeto. */
+    verifyIdentityPreservation(): boolean;
+    /** F(g∘f) = F(g)∘F(f). */
+    verifyComposition(sample?: number): boolean;
+}
+/**
+ * Transformación natural η : F ⇒ G entre functores paralelos
+ * F, G : C → D. Cada componente `η_a : F(a) → G(a)`. La condición
+ * de naturalidad es G(f) ∘ η_a = η_b ∘ F(f) para f : a→b en C.
+ */
+export interface NaturalTransformation<O1, M1, O2, M2> {
+    readonly name: string;
+    readonly source: Functor<O1, M1, O2, M2>;
+    readonly target: Functor<O1, M1, O2, M2>;
+    component(obj: O1): M2;
+    verifyNaturality(sample?: number): boolean;
+}
+/**
+ * Un diagrama es un functor desde una categoría índice J (típicamente
+ * pequeña, finita) a la categoría ambiente C. Para nuestros usos
+ * concretos representamos el diagrama por sus vértices (objetos
+ * de C imagen) y sus aristas (morfismos forzados entre ellos).
+ */
+export interface Diagram<O, M> {
+    readonly vertices: Map<string, O>;
+    readonly edges: Array<{
+        from: string;
+        to: string;
+        mor: M;
+    }>;
+}
+/**
+ * Cono sobre un diagrama: un objeto ápice junto con un morfismo
+ * (`leg`) hacia cada vértice del diagrama, conmutando con sus aristas.
+ */
+export interface Cone<O, M> {
+    apex: O;
+    legs: Map<string, M>;
+}
+/**
+ * Cocono (dual del cono): un ápice con morfismos *desde* cada vértice.
+ */
+export interface Cocone<O, M> {
+    apex: O;
+    legs: Map<string, M>;
+}
+/**
+ * Categoría monoidal: añade producto tensorial y unidad sobre
+ * la estructura categórica. No imponemos asociadores ni unitores
+ * explícitos — los modelos concretos (Set con ×) son estrictos
+ * suficiente para verificar α, λ, ρ por igualdad en objetos.
+ */
+export interface MonoidalCategory<O, M> extends Category<O, M> {
+    readonly unit: O;
+    tensor(a: O, b: O): O;
+    tensorMor(f: M, g: M): M;
+    /** Unitor izquierdo: 1 ⊗ a ≅ a (verificable por igualdad de objetos). */
+    verifyLeftUnitor(sample?: number): boolean;
+    /** Unitor derecho: a ⊗ 1 ≅ a. */
+    verifyRightUnitor(sample?: number): boolean;
+    /** Asociador: (a⊗b)⊗c = a⊗(b⊗c). */
+    verifyAssociator(sample?: number): boolean;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/categorical/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/categorical/types.ts"],"names":[],"mappings":"AAaA;;;;GAIG;AACH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAE3B;;;;;;;GAOG;AACH,MAAM,WAAW,QAAQ,CAAC,GAAG,EAAE,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAEpC,wEAAwE;IACxE,QAAQ,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC;IACxB,0EAA0E;IAC1E,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;IAC7B,4BAA4B;IAC5B,MAAM,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;IACpB,8BAA8B;IAC9B,MAAM,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;IAEpB,6DAA6D;IAC7D,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC;IAC/B,2DAA2D;IAC3D,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC;IAE/B,uEAAuE;IACvE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,GAAG,GAAG,EAAE,CAAC;IAE3B,mEAAmE;IACnE,mBAAmB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9C,wCAAwC;IACxC,cAAc,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAClC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;IACvB,WAAW,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;IACzB,4CAA4C;IAC5C,0BAA0B,IAAI,OAAO,CAAC;IACtC,0BAA0B;IAC1B,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,WAAW,qBAAqB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC;IACvB,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5C;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;CAC7D;AAED;;;GAGG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC;IACxB,IAAI,EAAE,CAAC,CAAC;IACR,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC;IACR,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;CACtB;AAED;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACtB,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC;IACzB,yEAAyE;IACzE,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC3C,iCAAiC;IACjC,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAC5C,oCAAoC;IACpC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;CAC5C"}

package/dist/categorical/types.js

@@ -0,0 +1,15 @@
+"use strict";
+// ============================================================
+// ST Categorical — Tipos públicos
+// ============================================================
+// Definiciones de interfaz para Category, Functor,
+// NaturalTransformation, Cone, Diagram y MonoidalCategory.
+//
+// Decisión de diseño: cada morfismo se identifica por su `id`
+// (clave estable string-able). La categoría es responsable de
+// resolver compose / source / target a partir de la identidad
+// del morfismo. Esto permite igualdad estructural simple por
+// `id`, sin tener que comparar callbacks o funciones.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/categorical/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/categorical/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kCAAkC;AAClC,+DAA+D;AAC/D,mDAAmD;AACnD,2DAA2D;AAC3D,EAAE;AACF,8DAA8D;AAC9D,8DAA8D;AAC9D,8DAA8D;AAC9D,6DAA6D;AAC7D,sDAAsD;AACtD,+DAA+D"}

package/dist/csp-hoare/analysis.d.ts

@@ -0,0 +1,51 @@
+import type { FailurePair, Process, Trace } from './types';
+/**
+ * Enumera todas las trazas de `p` hasta longitud `maxLength` (inclusive).
+ * Incluye la traza vacía (siempre presente) y los prefijos intermedios.
+ *
+ * Las trazas se devuelven sin duplicados, ordenadas por longitud
+ * ascendente, y como copias de arrays inmutables (las modificaciones no
+ * afectan el motor).
+ */
+export declare function traces(p: Process, maxLength?: number): Trace[];
+/**
+ * Calcula failures hasta `maxLength`. Para cada traza alcanzable, registra
+ * los refusal sets posibles iterando todas las resoluciones internas del
+ * estado tras la traza.
+ *
+ * Devuelve una lista (no un set) porque los refusal sets son objetos —
+ * agrupamos por igualdad estructural y deduplicamos manualmente.
+ */
+export declare function failures(p: Process, maxLength?: number): FailurePair[];
+/**
+ * Hay deadlock si el proceso no ofrece NINGÚN evento (ni siquiera ✓) en
+ * ALGUNA resolución interna alcanzable desde el estado inicial.
+ *
+ * En `STOP` el chequeo es trivial: `nextEvents(STOP) = ∅`.
+ */
+export declare function isDeadlocked(p: Process): boolean;
+/**
+ * Detección heurística de livelock: el proceso recorre eventos ocultos
+ * (τ) indefinidamente sin avanzar visiblemente. Implementación: chequea
+ * si la profundidad de despliegues internos excede `depth` sin ofrecer
+ * eventos visibles.
+ *
+ * No es decisión: usamos límite acotado. Útil para advertir sobre `μX.X`
+ * o `(a → STOP) \ {a}` con loop.
+ */
+export declare function isLiveLocked(p: Process, depth?: number): boolean;
+/**
+ * P ⊑_T Q : Q refina a P en trazas sii cada traza de Q es traza de P.
+ * Equivalentemente: Q no puede hacer nada que P no pudiera observar.
+ */
+export declare function refinesTraces(spec: Process, impl: Process, maxLength?: number): boolean;
+/**
+ * P ⊑_F Q : refinamiento en failures. Q refina a P sii:
+ *   (a) traces(Q) ⊆ traces(P)
+ *   (b) failures(Q) ⊆ failures(P)
+ *
+ * Una falla `(t, R)` de Q debe poder ser exhibida también por P. Esto
+ * capta el principio de que Q es "menos no-determinista" que P.
+ */
+export declare function refinesFailures(spec: Process, impl: Process, maxLength?: number): boolean;
+//# sourceMappingURL=analysis.d.ts.map

package/dist/csp-hoare/analysis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../src/csp-hoare/analysis.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAS,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAKlE;;;;;;;GAOG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,SAAI,GAAG,KAAK,EAAE,CAqCzD;AAuBD;;;;;;;GAOG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,SAAI,GAAG,WAAW,EAAE,CAoCjE;AAwBD;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,GAAG,OAAO,CAKhD;AAED;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,SAAK,GAAG,OAAO,CAS5D;AAqDD;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,SAAI,GAAG,OAAO,CAOlF;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,SAAI,GAAG,OAAO,CA8BpF"}