@motebit/protocol 0.8.0 → 1.0.0

package/dist/__tests__/semiring-laws.test.js

@@ -1,231 +0,0 @@
-/**
- * Property-based tests for semiring laws using fast-check.
- *
- * These verify the algebraic invariants that every algorithm in the
- * semiring package depends on — associativity, commutativity, identity,
- * annihilation, distributivity — over thousands of random inputs rather
- * than a handful of hand-picked examples.
- *
- * ### Determinism
- *
- * Fast-check defaults to a time-based seed, which means two CI runs
- * can draw different inputs and expose different edge cases. That
- * turns property tests into nondeterministic flakes under parallel
- * monorepo execution — one of the 103 tests in this file fired
- * intermittently during the pre-push hook. Fixed by pinning a seed:
- * every run now draws the same input sequence, so a passing run is a
- * reproducible guarantee, and a failing run is a bisectable
- * counterexample instead of a ghost.
- *
- * If a new law fails locally but passes the fixed-seed CI run, bump
- * `FC_NUM_RUNS` to explore more inputs, or switch the seed temporarily
- * to confirm the counterexample isn't a cherry-pick.
- */
-import { describe, it, beforeAll } from "vitest";
-import fc from "fast-check";
-import { TrustSemiring, CostSemiring, LatencySemiring, BottleneckSemiring, ReliabilitySemiring, BooleanSemiring, RegulatoryRiskSemiring, productSemiring, recordSemiring, } from "../index.js";
-// Pin fast-check's seed so the property tests run deterministically.
-// This makes CI runs reproducible and removes the "works locally,
-// fails in CI once every N runs" flake class entirely. The number of
-// runs per property stays at the default (100) — raising it would
-// make the suite slower without changing the deterministic guarantee.
-const FC_SEED = 0x5eed; // arbitrary fixed value, no security meaning
-beforeAll(() => {
-    fc.configureGlobal({ seed: FC_SEED, numRuns: 100 });
-});
-// ── Approximate equality for floating-point ────────────────────────
-/**
- * Relative epsilon scaled by magnitude. Absolute 1e-10 tolerance is too
- * tight when values reach ~1e6 (one ULP of 1e6 is ~1.2e-10), so
- * associativity/distributivity checks would occasionally "fail" on
- * perfectly-algebraic IEEE 754 math. Relative epsilon (1e-9 × the
- * larger magnitude) plus a small absolute floor fixes both the
- * large-value and near-zero cases.
- */
-function tolerance(a, b) {
-    const scale = Math.max(Math.abs(a), Math.abs(b), 1);
-    return 1e-9 * scale + 1e-12;
-}
-function approxEq(a, b) {
-    if (a === b)
-        return true; // handles Infinity === Infinity
-    if (!isFinite(a) || !isFinite(b))
-        return false;
-    return Math.abs(a - b) <= tolerance(a, b);
-}
-/** `x <= y` with the same scaled tolerance approxEq uses. */
-function approxLeq(x, y) {
-    if (x === y)
-        return true;
-    if (x === -Infinity || y === Infinity)
-        return true;
-    if (x === Infinity || y === -Infinity)
-        return false;
-    return x <= y + tolerance(x, y);
-}
-// ── Generic law checker ────────────────────────────────────────────
-function semiringLaws(name, sr, arb, eq, opts) {
-    describe(`${name} — property-based semiring laws`, () => {
-        it("associativity of add: a + (b + c) = (a + b) + c", () => {
-            fc.assert(fc.property(arb, arb, arb, (a, b, c) => {
-                return eq(sr.add(a, sr.add(b, c)), sr.add(sr.add(a, b), c));
-            }));
-        });
-        it("associativity of mul: a * (b * c) = (a * b) * c", () => {
-            fc.assert(fc.property(arb, arb, arb, (a, b, c) => {
-                return eq(sr.mul(a, sr.mul(b, c)), sr.mul(sr.mul(a, b), c));
-            }));
-        });
-        it("commutativity of add: a + b = b + a", () => {
-            fc.assert(fc.property(arb, arb, (a, b) => {
-                return eq(sr.add(a, b), sr.add(b, a));
-            }));
-        });
-        it("additive identity: a + 0 = a = 0 + a", () => {
-            fc.assert(fc.property(arb, (a) => {
-                return eq(sr.add(a, sr.zero), a) && eq(sr.add(sr.zero, a), a);
-            }));
-        });
-        it("multiplicative identity: a * 1 = a = 1 * a", () => {
-            fc.assert(fc.property(arb, (a) => {
-                return eq(sr.mul(a, sr.one), a) && eq(sr.mul(sr.one, a), a);
-            }));
-        });
-        it("annihilation: a * 0 = 0 = 0 * a", () => {
-            fc.assert(fc.property(arb, (a) => {
-                return eq(sr.mul(a, sr.zero), sr.zero) && eq(sr.mul(sr.zero, a), sr.zero);
-            }));
-        });
-        it("left distributivity: a * (b + c) = (a * b) + (a * c)", () => {
-            fc.assert(fc.property(arb, arb, arb, (a, b, c) => {
-                const lhs = sr.mul(a, sr.add(b, c));
-                const rhs = sr.add(sr.mul(a, b), sr.mul(a, c));
-                return eq(lhs, rhs);
-            }));
-        });
-        it("right distributivity: (a + b) * c = (a * c) + (b * c)", () => {
-            fc.assert(fc.property(arb, arb, arb, (a, b, c) => {
-                const lhs = sr.mul(sr.add(a, b), c);
-                const rhs = sr.add(sr.mul(a, c), sr.mul(b, c));
-                return eq(lhs, rhs);
-            }));
-        });
-        if (opts?.idempotentAdd) {
-            it("idempotency of add: a + a = a", () => {
-                fc.assert(fc.property(arb, (a) => {
-                    return eq(sr.add(a, a), a);
-                }));
-            });
-        }
-        it("closure: add result is in valid domain", () => {
-            fc.assert(fc.property(arb, arb, (a, b) => {
-                const r = sr.add(a, b);
-                // Result should be the same type and not NaN
-                return typeof r === typeof a && !(typeof r === "number" && isNaN(r));
-            }));
-        });
-        it("closure: mul result is in valid domain", () => {
-            fc.assert(fc.property(arb, arb, (a, b) => {
-                const r = sr.mul(a, b);
-                return typeof r === typeof a && !(typeof r === "number" && isNaN(r));
-            }));
-        });
-    });
-}
-// ── Arbitraries ────────────────────────────────────────────────────
-// Trust/Reliability: values in [0, 1]
-const unitArb = fc.double({ min: 0, max: 1, noNaN: true });
-// Cost/Latency/RegulatoryRisk: non-negative including Infinity
-// Use oneof to ensure Infinity appears in the test distribution
-const nonNegArb = fc.oneof(fc.double({ min: 0, max: 1e6, noNaN: true }), fc.constant(Infinity), fc.constant(0));
-// Bottleneck: non-negative including 0 and Infinity
-const bottleneckArb = fc.oneof(fc.double({ min: 0, max: 1e6, noNaN: true }), fc.constant(Infinity), fc.constant(0));
-const boolArb = fc.boolean();
-// ── Run law checks on all concrete semirings ───────────────────────
-// Trust: (max, *, 0, 1) — add is idempotent (max(a,a) = a)
-semiringLaws("TrustSemiring", TrustSemiring, unitArb, approxEq, {
-    idempotentAdd: true,
-});
-// Cost: (min, +, Inf, 0) — tropical semiring, add is idempotent (min(a,a) = a)
-semiringLaws("CostSemiring", CostSemiring, nonNegArb, approxEq, {
-    idempotentAdd: true,
-});
-// Latency: same algebra as Cost
-semiringLaws("LatencySemiring", LatencySemiring, nonNegArb, approxEq, {
-    idempotentAdd: true,
-});
-// RegulatoryRisk: same algebra as Cost
-semiringLaws("RegulatoryRiskSemiring", RegulatoryRiskSemiring, nonNegArb, approxEq, {
-    idempotentAdd: true,
-});
-// Bottleneck: (max, min, 0, Inf) — add is idempotent (max(a,a) = a)
-semiringLaws("BottleneckSemiring", BottleneckSemiring, bottleneckArb, approxEq, {
-    idempotentAdd: true,
-});
-// Reliability: (max, *, 0, 1) — same algebra as Trust
-semiringLaws("ReliabilitySemiring", ReliabilitySemiring, unitArb, approxEq, {
-    idempotentAdd: true,
-});
-// Boolean: (||, &&, false, true)
-semiringLaws("BooleanSemiring", BooleanSemiring, boolArb, (a, b) => a === b, {
-    idempotentAdd: true,
-});
-// ── Product semiring ───────────────────────────────────────────────
-describe("Product(Trust x Cost) — property-based", () => {
-    const ps = productSemiring(TrustSemiring, CostSemiring);
-    const productArb = fc.tuple(unitArb, nonNegArb);
-    const productEq = (a, b) => approxEq(a[0], b[0]) && approxEq(a[1], b[1]);
-    semiringLaws("Product(Trust x Cost)", ps, productArb, productEq, {
-        idempotentAdd: true,
-    });
-});
-// ── Record semiring ────────────────────────────────────────────────
-describe("Record{trust, cost, latency} — property-based", () => {
-    const rs = recordSemiring({
-        trust: TrustSemiring,
-        cost: CostSemiring,
-        latency: LatencySemiring,
-    });
-    const recordArb = fc.record({
-        trust: unitArb,
-        cost: nonNegArb,
-        latency: nonNegArb,
-    });
-    const recordEq = (a, b) => approxEq(a.trust, b.trust) && approxEq(a.cost, b.cost) && approxEq(a.latency, b.latency);
-    semiringLaws("Record{trust, cost, latency}", rs, recordArb, recordEq, {
-        idempotentAdd: true,
-    });
-});
-// ── Monotonicity ───────────────────────────────────────────────────
-// For semirings where add = max or add = min, verify monotonicity.
-describe("monotonicity", () => {
-    it("TrustSemiring: if a <= b then a + c <= b + c", () => {
-        fc.assert(fc.property(unitArb, unitArb, unitArb, (a, b, c) => {
-            if (a > b)
-                return true; // only test when a <= b
-            return approxLeq(TrustSemiring.add(a, c), TrustSemiring.add(b, c));
-        }));
-    });
-    it("CostSemiring: if a <= b then a + c <= b + c (min is monotone)", () => {
-        fc.assert(fc.property(nonNegArb, nonNegArb, nonNegArb, (a, b, c) => {
-            if (a > b)
-                return true;
-            return approxLeq(CostSemiring.add(a, c), CostSemiring.add(b, c));
-        }));
-    });
-    it("ReliabilitySemiring: if a <= b then a + c <= b + c", () => {
-        fc.assert(fc.property(unitArb, unitArb, unitArb, (a, b, c) => {
-            if (a > b)
-                return true;
-            return approxLeq(ReliabilitySemiring.add(a, c), ReliabilitySemiring.add(b, c));
-        }));
-    });
-    it("BottleneckSemiring: if a <= b then a + c <= b + c", () => {
-        fc.assert(fc.property(bottleneckArb, bottleneckArb, bottleneckArb, (a, b, c) => {
-            if (a > b)
-                return true;
-            return approxLeq(BottleneckSemiring.add(a, c), BottleneckSemiring.add(b, c));
-        }));
-    });
-});
-//# sourceMappingURL=semiring-laws.test.js.map

package/dist/__tests__/semiring-laws.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"semiring-laws.test.js","sourceRoot":"","sources":["../../src/__tests__/semiring-laws.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EACL,aAAa,EACb,YAAY,EACZ,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,cAAc,GACf,MAAM,aAAa,CAAC;AAErB,qEAAqE;AACrE,kEAAkE;AAClE,qEAAqE;AACrE,kEAAkE;AAClE,sEAAsE;AACtE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,6CAA6C;AACrE,SAAS,CAAC,GAAG,EAAE;IACb,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,sEAAsE;AAEtE;;;;;;;GAOG;AACH,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,OAAO,IAAI,GAAG,KAAK,GAAG,KAAK,CAAC;AAC9B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,gCAAgC;IAC1D,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,6DAA6D;AAC7D,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,IAAI,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpD,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,sEAAsE;AAEtE,SAAS,YAAY,CACnB,IAAY,EACZ,EAAe,EACf,GAAoB,EACpB,EAA2B,EAC3B,IAAkC;IAElC,QAAQ,CAAC,GAAG,IAAI,iCAAiC,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxC,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;gBACrB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChE,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;gBACrB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9D,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;gBACrB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5E,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/C,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/C,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtB,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,IAAI,EAAE,aAAa,EAAE,CAAC;YACxB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;gBACvC,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;oBACrB,OAAO,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7B,CAAC,CAAC,CACH,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,6CAA6C;gBAC7C,OAAO,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAW,CAAC,CAAC,CAAC;YACjF,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACvB,OAAO,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAW,CAAC,CAAC,CAAC;YACjF,CAAC,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sEAAsE;AAEtE,sCAAsC;AACtC,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE3D,+DAA+D;AAC/D,gEAAgE;AAChE,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CACxB,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAC5C,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACrB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CACf,CAAC;AAEF,oDAAoD;AACpD,MAAM,aAAa,GAAG,EAAE,CAAC,KAAK,CAC5B,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAC5C,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EACrB,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CACf,CAAC;AAEF,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC;AAE7B,sEAAsE;AAEtE,2DAA2D;AAC3D,YAAY,CAAC,eAAe,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC9D,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,+EAA+E;AAC/E,YAAY,CAAC,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE;IAC9D,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,gCAAgC;AAChC,YAAY,CAAC,iBAAiB,EAAE,eAAe,EAAE,SAAS,EAAE,QAAQ,EAAE;IACpE,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,uCAAuC;AACvC,YAAY,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,SAAS,EAAE,QAAQ,EAAE;IAClF,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,oEAAoE;AACpE,YAAY,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,aAAa,EAAE,QAAQ,EAAE;IAC9E,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,sDAAsD;AACtD,YAAY,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,OAAO,EAAE,QAAQ,EAAE;IAC1E,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,iCAAiC;AACjC,YAAY,CAAC,iBAAiB,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;IAC3E,aAAa,EAAE,IAAI;CACpB,CAAC,CAAC;AAEH,sEAAsE;AAEtE,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,MAAM,EAAE,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;IAExD,MAAM,UAAU,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAA4C,CAAC;IAE3F,MAAM,SAAS,GAAG,CAAC,CAA4B,EAAE,CAA4B,EAAE,EAAE,CAC/E,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/C,YAAY,CAAC,uBAAuB,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE;QAC/D,aAAa,EAAE,IAAI;KACpB,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AAEtE,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,MAAM,EAAE,GAAG,cAAc,CAAC;QACxB,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,eAAe;KACzB,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1B,KAAK,EAAE,OAAO;QACd,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,SAAS;KACnB,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,CACf,CAAmD,EACnD,CAAmD,EACnD,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAE9F,YAAY,CAAC,8BAA8B,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE;QACpE,aAAa,EAAE,IAAI;KACpB,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AACtE,mEAAmE;AAEnE,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACjD,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC,CAAC,wBAAwB;YAChD,OAAO,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACvD,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvB,OAAO,SAAS,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnE,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACjD,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvB,OAAO,SAAS,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjF,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,aAAa,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;YACnE,IAAI,CAAC,GAAG,CAAC;gBAAE,OAAO,IAAI,CAAC;YACvB,OAAO,SAAS,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/semiring.test.d.ts

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

package/dist/__tests__/semiring.test.d.ts.map

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

package/dist/__tests__/semiring.test.js

@@ -1,201 +0,0 @@
-import { describe, it, expect } from "vitest";
-import { TrustSemiring, CostSemiring, LatencySemiring, BottleneckSemiring, ReliabilitySemiring, BooleanSemiring, RegulatoryRiskSemiring, productSemiring, recordSemiring, mappedSemiring, } from "../index.js";
-// Cover the barrel re-export (index.ts line 1+)
-import * as barrel from "../index.js";
-// ── Semiring Axiom Verification ─────────────────────────────────────
-// If the axioms don't hold, every algorithm built on top is wrong.
-function verifySemiringAxioms(name, sr, values, eq = (a, b) => a === b) {
-    describe(`${name} — semiring axioms`, () => {
-        it("⊕ is commutative: a ⊕ b = b ⊕ a", () => {
-            for (const a of values) {
-                for (const b of values) {
-                    expect(eq(sr.add(a, b), sr.add(b, a))).toBe(true);
-                }
-            }
-        });
-        it("⊕ is associative: (a ⊕ b) ⊕ c = a ⊕ (b ⊕ c)", () => {
-            for (const a of values) {
-                for (const b of values) {
-                    for (const c of values) {
-                        expect(eq(sr.add(sr.add(a, b), c), sr.add(a, sr.add(b, c)))).toBe(true);
-                    }
-                }
-            }
-        });
-        it("0 is additive identity: a ⊕ 0 = a", () => {
-            for (const a of values) {
-                expect(eq(sr.add(a, sr.zero), a)).toBe(true);
-                expect(eq(sr.add(sr.zero, a), a)).toBe(true);
-            }
-        });
-        it("⊗ is associative: (a ⊗ b) ⊗ c = a ⊗ (b ⊗ c)", () => {
-            for (const a of values) {
-                for (const b of values) {
-                    for (const c of values) {
-                        const lhs = sr.mul(sr.mul(a, b), c);
-                        const rhs = sr.mul(a, sr.mul(b, c));
-                        expect(eq(lhs, rhs)).toBe(true);
-                    }
-                }
-            }
-        });
-        it("1 is multiplicative identity: a ⊗ 1 = 1 ⊗ a = a", () => {
-            for (const a of values) {
-                expect(eq(sr.mul(a, sr.one), a)).toBe(true);
-                expect(eq(sr.mul(sr.one, a), a)).toBe(true);
-            }
-        });
-        it("0 annihilates: a ⊗ 0 = 0 ⊗ a = 0", () => {
-            for (const a of values) {
-                expect(eq(sr.mul(a, sr.zero), sr.zero)).toBe(true);
-                expect(eq(sr.mul(sr.zero, a), sr.zero)).toBe(true);
-            }
-        });
-        it("⊗ distributes over ⊕: a ⊗ (b ⊕ c) = (a ⊗ b) ⊕ (a ⊗ c)", () => {
-            for (const a of values) {
-                for (const b of values) {
-                    for (const c of values) {
-                        const lhs = sr.mul(a, sr.add(b, c));
-                        const rhs = sr.add(sr.mul(a, b), sr.mul(a, c));
-                        expect(eq(lhs, rhs)).toBe(true);
-                    }
-                }
-            }
-        });
-        it("right distributivity: (b ⊕ c) ⊗ a = (b ⊗ a) ⊕ (c ⊗ a)", () => {
-            for (const a of values) {
-                for (const b of values) {
-                    for (const c of values) {
-                        const lhs = sr.mul(sr.add(b, c), a);
-                        const rhs = sr.add(sr.mul(b, a), sr.mul(c, a));
-                        expect(eq(lhs, rhs)).toBe(true);
-                    }
-                }
-            }
-        });
-    });
-}
-// ── Number equality with floating point tolerance ───────────────────
-const numEq = (a, b) => Math.abs(a - b) < 1e-10 || a === b;
-// ── Run axiom checks on all concrete semirings ──────────────────────
-const trustValues = [0, 0.1, 0.3, 0.6, 0.9, 1];
-verifySemiringAxioms("TrustSemiring", TrustSemiring, trustValues, numEq);
-const costValues = [0, 0.5, 1, 5, 10, Infinity];
-verifySemiringAxioms("CostSemiring", CostSemiring, costValues, numEq);
-const latencyValues = [0, 100, 500, 1000, Infinity];
-verifySemiringAxioms("LatencySemiring", LatencySemiring, latencyValues, numEq);
-// RegulatoryRisk: (min, +, ∞, 0) — same algebra as Cost/Latency (tropical)
-const riskValues = [0, 0.5, 1, 5, 10, Infinity];
-verifySemiringAxioms("RegulatoryRiskSemiring", RegulatoryRiskSemiring, riskValues, numEq);
-// Bottleneck: (max, min, 0, ∞) — annihilation check needs special care
-// a ⊗ 0 = min(a, 0) = 0 ✓  and  a ⊕ 0 = max(a, 0) = a ✓ (for a >= 0)
-const bottleneckValues = [0, 0.5, 1, 10, Infinity];
-verifySemiringAxioms("BottleneckSemiring", BottleneckSemiring, bottleneckValues, numEq);
-verifySemiringAxioms("ReliabilitySemiring", ReliabilitySemiring, trustValues, numEq);
-verifySemiringAxioms("BooleanSemiring", BooleanSemiring, [true, false]);
-// ── Product Semiring ────────────────────────────────────────────────
-describe("productSemiring", () => {
-    const ps = productSemiring(TrustSemiring, CostSemiring);
-    it("zero and one are correct", () => {
-        expect(ps.zero).toEqual([0, Infinity]);
-        expect(ps.one).toEqual([1, 0]);
-    });
-    it("add applies component-wise", () => {
-        expect(ps.add([0.5, 10], [0.8, 5])).toEqual([0.8, 5]);
-    });
-    it("mul applies component-wise", () => {
-        const result = ps.mul([0.9, 2], [0.8, 3]);
-        expect(result[0]).toBeCloseTo(0.72); // 0.9 × 0.8
-        expect(result[1]).toBeCloseTo(5); // 2 + 3
-    });
-    // Verify axioms on the product
-    const productValues = [
-        [0, Infinity],
-        [1, 0],
-        [0.5, 3],
-        [0.9, 1],
-        [0.3, 10],
-    ];
-    verifySemiringAxioms("Product(Trust × Cost)", ps, [...productValues], (a, b) => numEq(a[0], b[0]) && numEq(a[1], b[1]));
-});
-// ── Record Semiring ─────────────────────────────────────────────────
-describe("recordSemiring", () => {
-    const rs = recordSemiring({
-        trust: TrustSemiring,
-        cost: CostSemiring,
-        latency: LatencySemiring,
-    });
-    it("computes zero and one correctly", () => {
-        expect(rs.zero).toEqual({ trust: 0, cost: Infinity, latency: Infinity });
-        expect(rs.one).toEqual({ trust: 1, cost: 0, latency: 0 });
-    });
-    it("add picks best per dimension", () => {
-        const a = { trust: 0.5, cost: 10, latency: 200 };
-        const b = { trust: 0.8, cost: 5, latency: 300 };
-        const result = rs.add(a, b);
-        expect(result.trust).toBe(0.8); // max
-        expect(result.cost).toBe(5); // min
-        expect(result.latency).toBe(200); // min
-    });
-    it("mul composes per dimension", () => {
-        const a = { trust: 0.9, cost: 2, latency: 100 };
-        const b = { trust: 0.8, cost: 3, latency: 200 };
-        const result = rs.mul(a, b);
-        expect(result.trust).toBeCloseTo(0.72); // ×
-        expect(result.cost).toBe(5); // +
-        expect(result.latency).toBe(300); // +
-    });
-});
-// ── Mapped Semiring ─────────────────────────────────────────────────
-describe("barrel re-export (index.ts)", () => {
-    it("exports all MIT protocol symbols", () => {
-        expect(barrel.TrustSemiring).toBeDefined();
-        expect(barrel.CostSemiring).toBeDefined();
-        expect(barrel.WeightedDigraph).toBeDefined();
-        expect(barrel.optimalPaths).toBeDefined();
-        // ProvenanceSemiring, buildAgentGraph, addDelegationEdges, RouteWeightSemiring
-        // are BSL exports from @motebit/semiring — tested there, not here.
-    });
-});
-describe("mappedSemiring", () => {
-    // Map cost semiring through milliseconds ↔ seconds conversion
-    const SecondsCost = mappedSemiring(CostSemiring, (ms) => ms / 1000, (s) => s * 1000);
-    it("preserves semiring structure through isomorphism", () => {
-        expect(SecondsCost.zero).toBe(Infinity);
-        expect(SecondsCost.one).toBe(0);
-        expect(SecondsCost.add(5, 3)).toBe(3); // min
-        expect(SecondsCost.mul(2, 3)).toBe(5); // mapped: (2000+3000)/1000
-    });
-    it("eq delegates through the mapping", () => {
-        expect(SecondsCost.eq(3, 3)).toBe(true);
-        expect(SecondsCost.eq(3, 4)).toBe(false);
-    });
-});
-// ── Semiring eq (value equality for convergence) ────────────────────
-describe("Semiring eq — value equality for compound semirings", () => {
-    it("productSemiring eq compares both components", () => {
-        const TC = productSemiring(TrustSemiring, CostSemiring);
-        expect(TC.eq([0.8, 10], [0.8, 10])).toBe(true);
-        expect(TC.eq([0.8, 10], [0.9, 10])).toBe(false);
-        expect(TC.eq([0.8, 10], [0.8, 11])).toBe(false);
-    });
-    it("recordSemiring eq compares all fields", () => {
-        const Multi = recordSemiring({ trust: TrustSemiring, cost: CostSemiring });
-        expect(Multi.eq({ trust: 0.5, cost: 10 }, { trust: 0.5, cost: 10 })).toBe(true);
-        expect(Multi.eq({ trust: 0.5, cost: 10 }, { trust: 0.6, cost: 10 })).toBe(false);
-        expect(Multi.eq({ trust: 0.5, cost: 10 }, { trust: 0.5, cost: 11 })).toBe(false);
-    });
-    it("recordSemiring with nested eq propagates through fields", () => {
-        // Build a record where one field is itself a product (has non-trivial eq)
-        const Inner = productSemiring(TrustSemiring, CostSemiring);
-        const Outer = recordSemiring({ inner: Inner, lat: LatencySemiring });
-        expect(Outer.eq({ inner: [0.5, 3], lat: 10 }, { inner: [0.5, 3], lat: 10 })).toBe(true);
-        expect(Outer.eq({ inner: [0.5, 3], lat: 10 }, { inner: [0.5, 4], lat: 10 })).toBe(false);
-    });
-    it("primitive semirings do not define eq (defaults to ===)", () => {
-        expect(TrustSemiring.eq).toBeUndefined();
-        expect(CostSemiring.eq).toBeUndefined();
-        expect(BooleanSemiring.eq).toBeUndefined();
-    });
-});
-//# sourceMappingURL=semiring.test.js.map

package/dist/__tests__/semiring.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"semiring.test.js","sourceRoot":"","sources":["../../src/__tests__/semiring.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,aAAa,EACb,YAAY,EACZ,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,cAAc,GACf,MAAM,aAAa,CAAC;AAGrB,gDAAgD;AAChD,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AAEtC,uEAAuE;AACvE,mEAAmE;AAEnE,SAAS,oBAAoB,CAC3B,IAAY,EACZ,EAAe,EACf,MAAW,EACX,KAA8B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;IAE/C,QAAQ,CAAC,GAAG,IAAI,oBAAoB,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACpD,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAC1E,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7C,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;wBACpC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnD,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;wBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC/C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;oBACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;wBACvB,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBACpC,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;wBAC/C,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uEAAuE;AACvE,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC;AAE3E,uEAAuE;AAEvE,MAAM,WAAW,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC/C,oBAAoB,CAAC,eAAe,EAAE,aAAa,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AAEzE,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AAChD,oBAAoB,CAAC,cAAc,EAAE,YAAY,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;AAEtE,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;AACpD,oBAAoB,CAAC,iBAAiB,EAAE,eAAe,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;AAE/E,2EAA2E;AAC3E,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AAChD,oBAAoB,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;AAE1F,uEAAuE;AACvE,qEAAqE;AACrE,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;AACnD,oBAAoB,CAAC,oBAAoB,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;AAExF,oBAAoB,CAAC,qBAAqB,EAAE,mBAAmB,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;AAErF,oBAAoB,CAAC,iBAAiB,EAAE,eAAe,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAExE,uEAAuE;AAEvE,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,MAAM,EAAE,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;IAExD,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY;QACjD,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;IAC5C,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,MAAM,aAAa,GAAgC;QACjD,CAAC,CAAC,EAAE,QAAQ,CAAC;QACb,CAAC,CAAC,EAAE,CAAC,CAAC;QACN,CAAC,GAAG,EAAE,CAAC,CAAC;QACR,CAAC,GAAG,EAAE,CAAC,CAAC;QACR,CAAC,GAAG,EAAE,EAAE,CAAC;KACV,CAAC;IAEF,oBAAoB,CAClB,uBAAuB,EACvB,EAAE,EACF,CAAC,GAAG,aAAa,CAAC,EAClB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CACjD,CAAC;AACJ,CAAC,CAAC,CAAC;AAEH,uEAAuE;AAEvE,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,MAAM,EAAE,GAAG,cAAc,CAAC;QACxB,KAAK,EAAE,aAAa;QACpB,IAAI,EAAE,YAAY;QAClB,OAAO,EAAE,eAAe;KACzB,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM;QACtC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QACnC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChD,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;QAC5C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACjC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uEAAuE;AAEvE,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,+EAA+E;QAC/E,mEAAmE;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,8DAA8D;IAC9D,MAAM,WAAW,GAAG,cAAc,CAChC,YAAY,EACZ,CAAC,EAAU,EAAE,EAAE,CAAC,EAAE,GAAG,IAAI,EACzB,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CACxB,CAAC;IAEF,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QAC7C,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,WAAW,CAAC,EAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,WAAW,CAAC,EAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uEAAuE;AAEvE,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QACxD,MAAM,CAAC,EAAE,CAAC,EAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,CAAC,EAAE,CAAC,EAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnE,MAAM,CAAC,EAAE,CAAC,EAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClF,MAAM,CAAC,KAAK,CAAC,EAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0EAA0E;QAC1E,MAAM,KAAK,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,CAAC;QACrE,MAAM,CACJ,KAAK,CAAC,EAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAU,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CACxF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,CACJ,KAAK,CAAC,EAAG,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAU,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,CAAU,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CACxF,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACzC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/traversal.test.d.ts

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

package/dist/__tests__/traversal.test.d.ts.map

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