@stevenvo780/st-lang 4.2.0 → 4.3.0

package/dist/runtime/symbolic-diff/simplify.js

@@ -0,0 +1,214 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.simplify = simplify;
+exports.exprEquals = exprEquals;
+const constructors_1 = require("./constructors");
+function isConst(expr, value) {
+    return expr.kind === 'const' && expr.value === value;
+}
+function asConst(expr) {
+    return expr.kind === 'const' ? expr.value : null;
+}
+function flattenAdd(args) {
+    const out = [];
+    for (const a of args) {
+        if (a.kind === 'add')
+            out.push(...flattenAdd(a.args));
+        else
+            out.push(a);
+    }
+    return out;
+}
+function flattenMul(args) {
+    const out = [];
+    for (const a of args) {
+        if (a.kind === 'mul')
+            out.push(...flattenMul(a.args));
+        else
+            out.push(a);
+    }
+    return out;
+}
+/**
+ * Simplificación algebraica: constant folding + identidades básicas
+ * (x+0=x, x*1=x, x*0=0, x^0=1, x^1=x, neg(neg(x))=x).
+ *
+ * No intenta factorización ni canonicalización total (eso sería CAS).
+ * Aplica recursivamente hasta punto fijo (máx 10 pases).
+ */
+function simplify(expr) {
+    let current = expr;
+    for (let i = 0; i < 10; i++) {
+        const next = simplifyOnce(current);
+        if (exprEquals(next, current))
+            return next;
+        current = next;
+    }
+    return current;
+}
+function simplifyOnce(expr) {
+    switch (expr.kind) {
+        case 'const':
+        case 'var':
+            return expr;
+        case 'neg': {
+            const a = simplifyOnce(expr.arg);
+            if (a.kind === 'const')
+                return (0, constructors_1.cst)(-a.value);
+            if (a.kind === 'neg')
+                return a.arg;
+            return { kind: 'neg', arg: a };
+        }
+        case 'add': {
+            const simplified = expr.args.map(simplifyOnce);
+            const flat = flattenAdd(simplified);
+            let constSum = 0;
+            const nonConst = [];
+            for (const term of flat) {
+                const c = asConst(term);
+                if (c !== null)
+                    constSum += c;
+                else
+                    nonConst.push(term);
+            }
+            if (nonConst.length === 0)
+                return (0, constructors_1.cst)(constSum);
+            const finalArgs = constSum === 0 ? nonConst : [...nonConst, (0, constructors_1.cst)(constSum)];
+            if (finalArgs.length === 1) {
+                const only = finalArgs[0];
+                if (only !== undefined)
+                    return only;
+            }
+            return { kind: 'add', args: finalArgs };
+        }
+        case 'mul': {
+            const simplified = expr.args.map(simplifyOnce);
+            const flat = flattenMul(simplified);
+            let constProd = 1;
+            const nonConst = [];
+            for (const factor of flat) {
+                const c = asConst(factor);
+                if (c !== null)
+                    constProd *= c;
+                else
+                    nonConst.push(factor);
+            }
+            if (constProd === 0)
+                return (0, constructors_1.cst)(0);
+            if (nonConst.length === 0)
+                return (0, constructors_1.cst)(constProd);
+            const finalArgs = constProd === 1 ? nonConst : [(0, constructors_1.cst)(constProd), ...nonConst];
+            if (finalArgs.length === 1) {
+                const only = finalArgs[0];
+                if (only !== undefined)
+                    return only;
+            }
+            return { kind: 'mul', args: finalArgs };
+        }
+        case 'sub': {
+            const l = simplifyOnce(expr.left);
+            const r = simplifyOnce(expr.right);
+            if (l.kind === 'const' && r.kind === 'const')
+                return (0, constructors_1.cst)(l.value - r.value);
+            if (isConst(r, 0))
+                return l;
+            if (isConst(l, 0))
+                return simplifyOnce({ kind: 'neg', arg: r });
+            return { kind: 'sub', left: l, right: r };
+        }
+        case 'div': {
+            const l = simplifyOnce(expr.left);
+            const r = simplifyOnce(expr.right);
+            if (isConst(r, 1))
+                return l;
+            if (isConst(l, 0) && !isConst(r, 0))
+                return (0, constructors_1.cst)(0);
+            if (l.kind === 'const' && r.kind === 'const' && r.value !== 0)
+                return (0, constructors_1.cst)(l.value / r.value);
+            return { kind: 'div', left: l, right: r };
+        }
+        case 'pow': {
+            const base = simplifyOnce(expr.base);
+            const exponent = simplifyOnce(expr.exp);
+            if (isConst(exponent, 0))
+                return (0, constructors_1.cst)(1);
+            if (isConst(exponent, 1))
+                return base;
+            if (isConst(base, 0))
+                return (0, constructors_1.cst)(0);
+            if (isConst(base, 1))
+                return (0, constructors_1.cst)(1);
+            if (base.kind === 'const' && exponent.kind === 'const') {
+                return (0, constructors_1.cst)(Math.pow(base.value, exponent.value));
+            }
+            return { kind: 'pow', base, exp: exponent };
+        }
+        case 'sin':
+        case 'cos':
+        case 'tan':
+        case 'log':
+        case 'exp': {
+            const arg = simplifyOnce(expr.arg);
+            if (arg.kind === 'const') {
+                switch (expr.kind) {
+                    case 'sin':
+                        return (0, constructors_1.cst)(Math.sin(arg.value));
+                    case 'cos':
+                        return (0, constructors_1.cst)(Math.cos(arg.value));
+                    case 'tan':
+                        return (0, constructors_1.cst)(Math.tan(arg.value));
+                    case 'log':
+                        if (arg.value > 0)
+                            return (0, constructors_1.cst)(Math.log(arg.value));
+                        break;
+                    case 'exp':
+                        return (0, constructors_1.cst)(Math.exp(arg.value));
+                }
+            }
+            return { kind: expr.kind, arg };
+        }
+    }
+}
+function exprEquals(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case 'const':
+            return a.value === b.value;
+        case 'var':
+            return a.name === b.name;
+        case 'add':
+        case 'mul': {
+            const bMulti = b;
+            if (a.args.length !== bMulti.args.length)
+                return false;
+            for (let i = 0; i < a.args.length; i++) {
+                const aArg = a.args[i];
+                const bArg = bMulti.args[i];
+                if (aArg === undefined || bArg === undefined)
+                    return false;
+                if (!exprEquals(aArg, bArg))
+                    return false;
+            }
+            return true;
+        }
+        case 'sub':
+        case 'div': {
+            const bBin = b;
+            return exprEquals(a.left, bBin.left) && exprEquals(a.right, bBin.right);
+        }
+        case 'pow': {
+            const bPow = b;
+            return exprEquals(a.base, bPow.base) && exprEquals(a.exp, bPow.exp);
+        }
+        case 'neg':
+            return exprEquals(a.arg, b.arg);
+        case 'sin':
+        case 'cos':
+        case 'tan':
+        case 'log':
+        case 'exp':
+            return exprEquals(a.arg, b.arg);
+    }
+}
+//# sourceMappingURL=simplify.js.map

package/dist/runtime/symbolic-diff/simplify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"simplify.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/simplify.ts"],"names":[],"mappings":";;AAoCA,4BAQC;AA+GD,gCAqCC;AA/LD,iDAAqC;AAErC,SAAS,OAAO,CAAC,IAAU,EAAE,KAAa;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC;AACvD,CAAC;AAED,SAAS,OAAO,CAAC,IAAU;IACzB,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;;YACjD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;;YACjD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,QAAQ,CAAC,IAAU;IACjC,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3C,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,IAAU;IAC9B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QAEd,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,CAAC,CAAC,GAAG,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACjC,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,QAAQ,GAAG,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;gBACxB,IAAI,CAAC,KAAK,IAAI;oBAAE,QAAQ,IAAI,CAAC,CAAC;;oBACzB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,QAAQ,CAAC,CAAC;YAChD,MAAM,SAAS,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,EAAE,IAAA,kBAAG,EAAC,QAAQ,CAAC,CAAC,CAAC;YAC3E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;YACtC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC1C,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;YAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;YACpC,IAAI,SAAS,GAAG,CAAC,CAAC;YAClB,MAAM,QAAQ,GAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,CAAC;gBAC1B,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC1B,IAAI,CAAC,KAAK,IAAI;oBAAE,SAAS,IAAI,CAAC,CAAC;;oBAC1B,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7B,CAAC;YACD,IAAI,SAAS,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;YACnC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,SAAS,CAAC,CAAC;YACjD,MAAM,SAAS,GAAG,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAA,kBAAG,EAAC,SAAS,CAAC,EAAE,GAAG,QAAQ,CAAC,CAAC;YAC7E,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC1B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC;YACtC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC1C,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YAC5E,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC5B,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;YAChE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC;YAC5B,IAAI,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7F,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;QAC5C,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;YACtC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;YACpC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAA,kBAAG,EAAC,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACvD,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;YACnD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC9C,CAAC;QAED,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACnC,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACzB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;oBAClB,KAAK,KAAK;wBACR,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAClC,KAAK,KAAK;wBACR,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAClC,KAAK,KAAK;wBACR,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;oBAClC,KAAK,KAAK;wBACR,IAAI,GAAG,CAAC,KAAK,GAAG,CAAC;4BAAE,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;wBACnD,MAAM;oBACR,KAAK,KAAK;wBACR,OAAO,IAAA,kBAAG,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;QAClC,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAgB,UAAU,CAAC,CAAO,EAAE,CAAO;IACzC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,KAAM,CAAuB,CAAC,KAAK,CAAC;QACpD,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,KAAM,CAAsB,CAAC,IAAI,CAAC;QACjD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,CAAqB,CAAC;YACrC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBAC3D,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;YAC5C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,CAAgC,CAAC;YAC9C,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,CAA8B,CAAC;YAC5C,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACtE,CAAC;QACD,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,EAAG,CAAmB,CAAC,GAAG,CAAC,CAAC;QACrD,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,EAAG,CAAmB,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;AACH,CAAC"}

package/dist/runtime/symbolic-diff/stringify.d.ts

@@ -0,0 +1,3 @@
+import type { Expr } from './types';
+export declare function toString(expr: Expr): string;
+//# sourceMappingURL=stringify.d.ts.map

package/dist/runtime/symbolic-diff/stringify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringify.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/stringify.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AA0CpC,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CA2B3C"}

package/dist/runtime/symbolic-diff/stringify.js

@@ -0,0 +1,69 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.toString = toString;
+// Precedencias para decidir paréntesis.
+const PREC = {
+    add: 1,
+    sub: 1,
+    mul: 2,
+    div: 2,
+    neg: 3,
+    pow: 4,
+    atom: 5,
+};
+function precedence(expr) {
+    switch (expr.kind) {
+        case 'const':
+        case 'var':
+        case 'sin':
+        case 'cos':
+        case 'tan':
+        case 'log':
+        case 'exp':
+            return PREC.atom;
+        case 'add':
+            return PREC.add;
+        case 'sub':
+            return PREC.sub;
+        case 'mul':
+            return PREC.mul;
+        case 'div':
+            return PREC.div;
+        case 'neg':
+            return PREC.neg;
+        case 'pow':
+            return PREC.pow;
+    }
+}
+function wrap(s, inner, outer) {
+    return inner < outer ? `(${s})` : s;
+}
+function toString(expr) {
+    const myPrec = precedence(expr);
+    switch (expr.kind) {
+        case 'const':
+            return String(expr.value);
+        case 'var':
+            return expr.name;
+        case 'add':
+            return expr.args.map((a) => wrap(toString(a), precedence(a), myPrec)).join(' + ');
+        case 'mul':
+            return expr.args.map((a) => wrap(toString(a), precedence(a), myPrec)).join('*');
+        case 'sub':
+            return `${wrap(toString(expr.left), precedence(expr.left), myPrec)} - ${wrap(toString(expr.right), precedence(expr.right), myPrec + 1)}`;
+        case 'div':
+            return `${wrap(toString(expr.left), precedence(expr.left), myPrec)}/${wrap(toString(expr.right), precedence(expr.right), myPrec + 1)}`;
+        case 'pow':
+            // pow es right-assoc; el lado izquierdo necesita más prioridad para no envolver de más.
+            return `${wrap(toString(expr.base), precedence(expr.base), myPrec + 1)}^${wrap(toString(expr.exp), precedence(expr.exp), myPrec)}`;
+        case 'neg':
+            return `-${wrap(toString(expr.arg), precedence(expr.arg), myPrec)}`;
+        case 'sin':
+        case 'cos':
+        case 'tan':
+        case 'log':
+        case 'exp':
+            return `${expr.kind}(${toString(expr.arg)})`;
+    }
+}
+//# sourceMappingURL=stringify.js.map

package/dist/runtime/symbolic-diff/stringify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stringify.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/stringify.ts"],"names":[],"mappings":";;AA0CA,4BA2BC;AAnED,wCAAwC;AACxC,MAAM,IAAI,GAAG;IACX,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,GAAG,EAAE,CAAC;IACN,IAAI,EAAE,CAAC;CACC,CAAC;AAEX,SAAS,UAAU,CAAC,IAAU;IAC5B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC;QACb,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,GAAG,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,IAAI,CAAC,CAAS,EAAE,KAAa,EAAE,KAAa;IACnD,OAAO,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AACtC,CAAC;AAED,SAAgB,QAAQ,CAAC,IAAU;IACjC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAChC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpF,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClF,KAAK,KAAK;YACR,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QAC3I,KAAK,KAAK;YACR,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;QACzI,KAAK,KAAK;YACR,wFAAwF;YACxF,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;QACrI,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC;QACtE,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK;YACR,OAAO,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACjD,CAAC;AACH,CAAC"}

package/dist/runtime/symbolic-diff/types.d.ts

@@ -0,0 +1,35 @@
+export type UnaryFn = 'sin' | 'cos' | 'tan' | 'log' | 'exp';
+export type Expr = {
+    kind: 'const';
+    value: number;
+} | {
+    kind: 'var';
+    name: string;
+} | {
+    kind: 'add';
+    args: Expr[];
+} | {
+    kind: 'mul';
+    args: Expr[];
+} | {
+    kind: 'sub';
+    left: Expr;
+    right: Expr;
+} | {
+    kind: 'div';
+    left: Expr;
+    right: Expr;
+} | {
+    kind: 'pow';
+    base: Expr;
+    exp: Expr;
+} | {
+    kind: 'neg';
+    arg: Expr;
+} | {
+    kind: UnaryFn;
+    arg: Expr;
+};
+export declare const UNARY_FUNCTIONS: readonly UnaryFn[];
+export declare function isUnaryFn(kind: string): kind is UnaryFn;
+//# sourceMappingURL=types.d.ts.map

package/dist/runtime/symbolic-diff/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAE5D,MAAM,MAAM,IAAI,GACZ;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,EAAE,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,GACtC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,GAC1B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,IAAI,CAAA;CAAE,CAAC;AAEjC,eAAO,MAAM,eAAe,EAAE,SAAS,OAAO,EAAwC,CAAC;AAEvF,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,OAAO,CAEvD"}

package/dist/runtime/symbolic-diff/types.js

@@ -0,0 +1,9 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UNARY_FUNCTIONS = void 0;
+exports.isUnaryFn = isUnaryFn;
+exports.UNARY_FUNCTIONS = ['sin', 'cos', 'tan', 'log', 'exp'];
+function isUnaryFn(kind) {
+    return exports.UNARY_FUNCTIONS.includes(kind);
+}
+//# sourceMappingURL=types.js.map

package/dist/runtime/symbolic-diff/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/symbolic-diff/types.ts"],"names":[],"mappings":";;;AAeA,8BAEC;AAJY,QAAA,eAAe,GAAuB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AAEvF,SAAgB,SAAS,CAAC,IAAY;IACpC,OAAQ,uBAAqC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC/D,CAAC"}

package/dist/runtime/term-rewriting/critical-pairs.d.ts

@@ -0,0 +1,38 @@
+import type { RewriteRule, Term } from './types';
+export interface CriticalPair {
+    lhs: Term;
+    rhs: Term;
+    /** Reglas que originaron el par (informativo). */
+    ruleOuterIndex: number;
+    ruleInnerIndex: number;
+}
+/**
+ * Calcula todos los critical pairs entre dos reglas.
+ *
+ * Las variables se renombran para evitar colisiones espurias
+ * (la regla "outer" recibe sufijo `_o`, la inner sufijo `_i`).
+ */
+export declare function criticalPairsBetween(outer: RewriteRule, inner: RewriteRule, outerIdx: number, innerIdx: number): CriticalPair[];
+/**
+ * Critical pairs de un TRS completo: para cada par de reglas
+ * (incluyendo (i, i) con i = i), calcula sus CPs.
+ */
+export declare function allCriticalPairs(rules: RewriteRule[]): CriticalPair[];
+/**
+ * Confluencia local: todos los CPs son joinables.
+ *
+ * Un CP (a, b) es joinable si normalize(a) = normalize(b).
+ *
+ * Por Newman's Lemma: terminating + locally confluent ⇒ confluent.
+ * No verificamos terminación acá (eso requiere LPO/KBO/etc.).
+ */
+export declare function isConfluent(trs: {
+    rules: RewriteRule[];
+}): boolean;
+/**
+ * Helper: ¿la variable v aparece libre en t?
+ *
+ * Re-export para facilidad de imports.
+ */
+export declare function freeVarsOf(t: Term): Set<string>;
+//# sourceMappingURL=critical-pairs.d.ts.map

package/dist/runtime/term-rewriting/critical-pairs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"critical-pairs.d.ts","sourceRoot":"","sources":["../../../src/runtime/term-rewriting/critical-pairs.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,WAAW,EAAgB,IAAI,EAAE,MAAM,SAAS,CAAC;AAI/D,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,IAAI,CAAC;IACV,GAAG,EAAE,IAAI,CAAC;IACV,kDAAkD;IAClD,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,WAAW,EAClB,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,GACf,YAAY,EAAE,CAiChB;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,YAAY,EAAE,CAWrE;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,GAAG,EAAE;IAAE,KAAK,EAAE,WAAW,EAAE,CAAA;CAAE,GAAG,OAAO,CAQlE;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAE/C"}

package/dist/runtime/term-rewriting/critical-pairs.js

@@ -0,0 +1,109 @@
+"use strict";
+// ============================================================
+// ST Term Rewriting — Critical pairs
+// ============================================================
+//
+// Un critical pair (CP) entre dos reglas l₁ → r₁ y l₂ → r₂ surge
+// cuando un subtérmino no-variable de l₁ unifica con l₂. Esto
+// representa dos formas distintas de reducir el mismo término, y
+// si ambas convergen a la misma forma normal, las reglas son
+// "join-able" en ese punto.
+//
+// Algoritmo (Knuth-Bendix Critical Pair Lemma):
+//   Para cada posición p no-variable de l₁:
+//     subterm = l₁ |_p
+//     si unify(subterm, l₂) = σ existe:
+//       cp₁ = σ(r₁)
+//       cp₂ = σ(l₁[p ← r₂])
+//       => (cp₁, cp₂) es un critical pair.
+//
+// El sistema es **localmente confluente** sii todos sus CPs son
+// joinables (Newman's Lemma + decidible para sistemas terminantes).
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.criticalPairsBetween = criticalPairsBetween;
+exports.allCriticalPairs = allCriticalPairs;
+exports.isConfluent = isConfluent;
+exports.freeVarsOf = freeVarsOf;
+const term_utils_1 = require("./term-utils");
+const rewrite_1 = require("./rewrite");
+/**
+ * Calcula todos los critical pairs entre dos reglas.
+ *
+ * Las variables se renombran para evitar colisiones espurias
+ * (la regla "outer" recibe sufijo `_o`, la inner sufijo `_i`).
+ */
+function criticalPairsBetween(outer, inner, outerIdx, innerIdx) {
+    const oLhs = (0, term_utils_1.renameVars)(outer.lhs, 'o');
+    const oRhs = (0, term_utils_1.renameVars)(outer.rhs, 'o');
+    const iLhs = (0, term_utils_1.renameVars)(inner.lhs, 'i');
+    const iRhs = (0, term_utils_1.renameVars)(inner.rhs, 'i');
+    const pairs = [];
+    const positions = (0, rewrite_1.allPositions)(oLhs);
+    for (const pos of positions) {
+        const sub = (0, rewrite_1.subtermAt)(oLhs, pos);
+        if (sub === null)
+            continue;
+        if (sub.kind === 'var')
+            continue; // CPs solo en posiciones no-variable
+        const mgu = (0, term_utils_1.unify)(sub, iLhs);
+        if (mgu === null)
+            continue;
+        // Trivial overlap: misma regla en raíz (outerIdx === innerIdx, pos = [])
+        // ⇒ produce el CP (σ(rhs), σ(rhs)) que es siempre joinable. Lo omitimos.
+        if (outerIdx === innerIdx && pos.length === 0)
+            continue;
+        const cpInner = (0, term_utils_1.applySubst)(oRhs, mgu);
+        const cpOuter = (0, term_utils_1.applySubst)((0, rewrite_1.replaceAt)(oLhs, pos, iRhs), mgu);
+        pairs.push({
+            lhs: cpOuter,
+            rhs: cpInner,
+            ruleOuterIndex: outerIdx,
+            ruleInnerIndex: innerIdx,
+        });
+    }
+    return pairs;
+}
+/**
+ * Critical pairs de un TRS completo: para cada par de reglas
+ * (incluyendo (i, i) con i = i), calcula sus CPs.
+ */
+function allCriticalPairs(rules) {
+    const out = [];
+    for (let i = 0; i < rules.length; i++) {
+        for (let j = 0; j < rules.length; j++) {
+            const ri = rules[i];
+            const rj = rules[j];
+            if (ri === undefined || rj === undefined)
+                continue;
+            out.push(...criticalPairsBetween(ri, rj, i, j));
+        }
+    }
+    return out;
+}
+/**
+ * Confluencia local: todos los CPs son joinables.
+ *
+ * Un CP (a, b) es joinable si normalize(a) = normalize(b).
+ *
+ * Por Newman's Lemma: terminating + locally confluent ⇒ confluent.
+ * No verificamos terminación acá (eso requiere LPO/KBO/etc.).
+ */
+function isConfluent(trs) {
+    const cps = allCriticalPairs(trs.rules);
+    for (const cp of cps) {
+        const a = (0, rewrite_1.normalize)(cp.lhs, trs.rules);
+        const b = (0, rewrite_1.normalize)(cp.rhs, trs.rules);
+        if (!(0, term_utils_1.termEquals)(a, b))
+            return false;
+    }
+    return true;
+}
+/**
+ * Helper: ¿la variable v aparece libre en t?
+ *
+ * Re-export para facilidad de imports.
+ */
+function freeVarsOf(t) {
+    return (0, term_utils_1.varsOf)(t);
+}
+//# sourceMappingURL=critical-pairs.js.map

package/dist/runtime/term-rewriting/critical-pairs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"critical-pairs.js","sourceRoot":"","sources":["../../../src/runtime/term-rewriting/critical-pairs.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qCAAqC;AACrC,+DAA+D;AAC/D,EAAE;AACF,iEAAiE;AACjE,8DAA8D;AAC9D,iEAAiE;AACjE,6DAA6D;AAC7D,4BAA4B;AAC5B,EAAE;AACF,gDAAgD;AAChD,4CAA4C;AAC5C,uBAAuB;AACvB,wCAAwC;AACxC,oBAAoB;AACpB,4BAA4B;AAC5B,2CAA2C;AAC3C,EAAE;AACF,gEAAgE;AAChE,oEAAoE;;AAoBpE,oDAsCC;AAMD,4CAWC;AAUD,kCAQC;AAOD,gCAEC;AAnGD,6CAAiF;AACjF,uCAA0E;AAU1E;;;;;GAKG;AACH,SAAgB,oBAAoB,CAClC,KAAkB,EAClB,KAAkB,EAClB,QAAgB,EAChB,QAAgB;IAEhB,MAAM,IAAI,GAAG,IAAA,uBAAU,EAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAA,uBAAU,EAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAA,uBAAU,EAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,IAAA,uBAAU,EAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAExC,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,SAAS,GAAG,IAAA,sBAAY,EAAC,IAAI,CAAC,CAAC;IAErC,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS,CAAC,qCAAqC;QAEvE,MAAM,GAAG,GAAwB,IAAA,kBAAK,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClD,IAAI,GAAG,KAAK,IAAI;YAAE,SAAS;QAE3B,yEAAyE;QACzE,yEAAyE;QACzE,IAAI,QAAQ,KAAK,QAAQ,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAExD,MAAM,OAAO,GAAG,IAAA,uBAAU,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAA,uBAAU,EAAC,IAAA,mBAAS,EAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;QAE5D,KAAK,CAAC,IAAI,CAAC;YACT,GAAG,EAAE,OAAO;YACZ,GAAG,EAAE,OAAO;YACZ,cAAc,EAAE,QAAQ;YACxB,cAAc,EAAE,QAAQ;SACzB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAgB,gBAAgB,CAAC,KAAoB;IACnD,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YACnD,GAAG,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,WAAW,CAAC,GAA6B;IACvD,MAAM,GAAG,GAAG,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxC,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,CAAC,IAAA,uBAAU,EAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAgB,UAAU,CAAC,CAAO;IAChC,OAAO,IAAA,mBAAM,EAAC,CAAC,CAAC,CAAC;AACnB,CAAC"}

package/dist/runtime/term-rewriting/index.d.ts

@@ -0,0 +1,9 @@
+export type { Term, RewriteRule, TRS, Substitution, KBOptions, KBResult } from './types';
+export { termEquals, cloneTerm, varsOf, applySubst, occursIn, match, unify, renameVars, termSize, v, f, c, } from './term-utils';
+export { rewriteStep, normalize, allPositions, subtermAt, replaceAt } from './rewrite';
+export { lpo, lpoCompare } from './lpo';
+export type { LPOComparison } from './lpo';
+export { criticalPairsBetween, allCriticalPairs, isConfluent, freeVarsOf } from './critical-pairs';
+export type { CriticalPair } from './critical-pairs';
+export { knuthBendixCompletion, orient, makeTRS } from './knuth-bendix';
+//# sourceMappingURL=index.d.ts.map

package/dist/runtime/term-rewriting/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/term-rewriting/index.ts"],"names":[],"mappings":"AAIA,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAEzF,OAAO,EACL,UAAU,EACV,SAAS,EACT,MAAM,EACN,UAAU,EACV,QAAQ,EACR,KAAK,EACL,KAAK,EACL,UAAU,EACV,QAAQ,EACR,CAAC,EACD,CAAC,EACD,CAAC,GACF,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEvF,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AACxC,YAAY,EAAE,aAAa,EAAE,MAAM,OAAO,CAAC;AAE3C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnG,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,qBAAqB,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/runtime/term-rewriting/index.js

@@ -0,0 +1,38 @@
+"use strict";
+// ============================================================
+// ST Term Rewriting — Barrel de exportaciones
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.makeTRS = exports.orient = exports.knuthBendixCompletion = exports.freeVarsOf = exports.isConfluent = exports.allCriticalPairs = exports.criticalPairsBetween = exports.lpoCompare = exports.lpo = exports.replaceAt = exports.subtermAt = exports.allPositions = exports.normalize = exports.rewriteStep = exports.c = exports.f = exports.v = exports.termSize = exports.renameVars = exports.unify = exports.match = exports.occursIn = exports.applySubst = exports.varsOf = exports.cloneTerm = exports.termEquals = void 0;
+var term_utils_1 = require("./term-utils");
+Object.defineProperty(exports, "termEquals", { enumerable: true, get: function () { return term_utils_1.termEquals; } });
+Object.defineProperty(exports, "cloneTerm", { enumerable: true, get: function () { return term_utils_1.cloneTerm; } });
+Object.defineProperty(exports, "varsOf", { enumerable: true, get: function () { return term_utils_1.varsOf; } });
+Object.defineProperty(exports, "applySubst", { enumerable: true, get: function () { return term_utils_1.applySubst; } });
+Object.defineProperty(exports, "occursIn", { enumerable: true, get: function () { return term_utils_1.occursIn; } });
+Object.defineProperty(exports, "match", { enumerable: true, get: function () { return term_utils_1.match; } });
+Object.defineProperty(exports, "unify", { enumerable: true, get: function () { return term_utils_1.unify; } });
+Object.defineProperty(exports, "renameVars", { enumerable: true, get: function () { return term_utils_1.renameVars; } });
+Object.defineProperty(exports, "termSize", { enumerable: true, get: function () { return term_utils_1.termSize; } });
+Object.defineProperty(exports, "v", { enumerable: true, get: function () { return term_utils_1.v; } });
+Object.defineProperty(exports, "f", { enumerable: true, get: function () { return term_utils_1.f; } });
+Object.defineProperty(exports, "c", { enumerable: true, get: function () { return term_utils_1.c; } });
+var rewrite_1 = require("./rewrite");
+Object.defineProperty(exports, "rewriteStep", { enumerable: true, get: function () { return rewrite_1.rewriteStep; } });
+Object.defineProperty(exports, "normalize", { enumerable: true, get: function () { return rewrite_1.normalize; } });
+Object.defineProperty(exports, "allPositions", { enumerable: true, get: function () { return rewrite_1.allPositions; } });
+Object.defineProperty(exports, "subtermAt", { enumerable: true, get: function () { return rewrite_1.subtermAt; } });
+Object.defineProperty(exports, "replaceAt", { enumerable: true, get: function () { return rewrite_1.replaceAt; } });
+var lpo_1 = require("./lpo");
+Object.defineProperty(exports, "lpo", { enumerable: true, get: function () { return lpo_1.lpo; } });
+Object.defineProperty(exports, "lpoCompare", { enumerable: true, get: function () { return lpo_1.lpoCompare; } });
+var critical_pairs_1 = require("./critical-pairs");
+Object.defineProperty(exports, "criticalPairsBetween", { enumerable: true, get: function () { return critical_pairs_1.criticalPairsBetween; } });
+Object.defineProperty(exports, "allCriticalPairs", { enumerable: true, get: function () { return critical_pairs_1.allCriticalPairs; } });
+Object.defineProperty(exports, "isConfluent", { enumerable: true, get: function () { return critical_pairs_1.isConfluent; } });
+Object.defineProperty(exports, "freeVarsOf", { enumerable: true, get: function () { return critical_pairs_1.freeVarsOf; } });
+var knuth_bendix_1 = require("./knuth-bendix");
+Object.defineProperty(exports, "knuthBendixCompletion", { enumerable: true, get: function () { return knuth_bendix_1.knuthBendixCompletion; } });
+Object.defineProperty(exports, "orient", { enumerable: true, get: function () { return knuth_bendix_1.orient; } });
+Object.defineProperty(exports, "makeTRS", { enumerable: true, get: function () { return knuth_bendix_1.makeTRS; } });
+//# sourceMappingURL=index.js.map

package/dist/runtime/term-rewriting/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime/term-rewriting/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;;;AAI/D,2CAasB;AAZpB,wGAAA,UAAU,OAAA;AACV,uGAAA,SAAS,OAAA;AACT,oGAAA,MAAM,OAAA;AACN,wGAAA,UAAU,OAAA;AACV,sGAAA,QAAQ,OAAA;AACR,mGAAA,KAAK,OAAA;AACL,mGAAA,KAAK,OAAA;AACL,wGAAA,UAAU,OAAA;AACV,sGAAA,QAAQ,OAAA;AACR,+FAAA,CAAC,OAAA;AACD,+FAAA,CAAC,OAAA;AACD,+FAAA,CAAC,OAAA;AAGH,qCAAuF;AAA9E,sGAAA,WAAW,OAAA;AAAE,oGAAA,SAAS,OAAA;AAAE,uGAAA,YAAY,OAAA;AAAE,oGAAA,SAAS,OAAA;AAAE,oGAAA,SAAS,OAAA;AAEnE,6BAAwC;AAA/B,0FAAA,GAAG,OAAA;AAAE,iGAAA,UAAU,OAAA;AAGxB,mDAAmG;AAA1F,sHAAA,oBAAoB,OAAA;AAAE,kHAAA,gBAAgB,OAAA;AAAE,6GAAA,WAAW,OAAA;AAAE,4GAAA,UAAU,OAAA;AAGxE,+CAAwE;AAA/D,qHAAA,qBAAqB,OAAA;AAAE,sGAAA,MAAM,OAAA;AAAE,uGAAA,OAAO,OAAA"}

package/dist/runtime/term-rewriting/knuth-bendix.d.ts

@@ -0,0 +1,29 @@
+import type { KBOptions, KBResult, RewriteRule, Term, TRS } from './types';
+/**
+ * Orienta una ecuación s = t a regla l → r usando LPO.
+ *
+ * - Si s >LPO t: devuelve s → t.
+ * - Si t >LPO s: devuelve t → s.
+ * - Si son incomparables: null (KB falla aquí, el caller debe abortar
+ *   o pedir al user una precedencia distinta).
+ * - Si son iguales: ecuación trivial, devuelve null sin error.
+ */
+export declare function orient(s: Term, t: Term, precedence: Map<string, number>): RewriteRule | null;
+/**
+ * Knuth-Bendix completion.
+ *
+ * `initialRules` se interpretan como ecuaciones orientadas. La
+ * orientación inicial se respeta si ya está bien dirigida según
+ * la precedencia; si no, se re-orienta.
+ *
+ * Devuelve un `KBResult` con:
+ *   - `completed: true` si convergió.
+ *   - `completed: false` si se excedió `maxSteps` o un CP no-joinable
+ *     no pudo orientarse (LPO incomparable).
+ */
+export declare function knuthBendixCompletion(initialRules: RewriteRule[], opts?: KBOptions): KBResult;
+/**
+ * Sugar: construye un TRS plano.
+ */
+export declare function makeTRS(rules: RewriteRule[]): TRS;
+//# sourceMappingURL=knuth-bendix.d.ts.map

package/dist/runtime/term-rewriting/knuth-bendix.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"knuth-bendix.d.ts","sourceRoot":"","sources":["../../../src/runtime/term-rewriting/knuth-bendix.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,SAAS,CAAC;AAM3E;;;;;;;;GAQG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,WAAW,GAAG,IAAI,CAO5F;AAyDD;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,WAAW,EAAE,EAAE,IAAI,GAAE,SAAc,GAAG,QAAQ,CAwEjG;AAED;;GAEG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,GAAG,GAAG,CAEjD"}