@motebit/protocol 0.7.0 → 0.8.0

package/dist/__tests__/branded-ids.test.d.ts

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

package/dist/__tests__/branded-ids.test.d.ts.map

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

package/dist/__tests__/branded-ids.test.js

@@ -0,0 +1,70 @@
+import { describe, it, expect, expectTypeOf } from "vitest";
+import { asMotebitId, asDeviceId, asNodeId, asGoalId, asEventId, asConversationId, asPlanId, asAllocationId, asSettlementId, asListingId, asProposalId, } from "../index.js";
+describe("Branded ID types", () => {
+    it("string is assignable to branded type (backward compat)", () => {
+        expectTypeOf().toMatchTypeOf();
+        expectTypeOf().toMatchTypeOf();
+        expectTypeOf().toMatchTypeOf();
+        expectTypeOf().toMatchTypeOf();
+    });
+    it("branded type is assignable to string (for SQL, JSON)", () => {
+        expectTypeOf().toMatchTypeOf();
+        expectTypeOf().toMatchTypeOf();
+    });
+    it("branded types are NOT cross-assignable (catches the bug)", () => {
+        expectTypeOf().not.toMatchTypeOf();
+        expectTypeOf().not.toMatchTypeOf();
+        expectTypeOf().not.toMatchTypeOf();
+        expectTypeOf().not.toMatchTypeOf();
+        expectTypeOf().not.toMatchTypeOf();
+    });
+});
+describe("Branded ID branding functions", () => {
+    it("asMotebitId brands a string as MotebitId", () => {
+        const id = asMotebitId("test-motebit-id");
+        expect(id).toBe("test-motebit-id");
+        // Runtime value is a plain string
+        expect(typeof id).toBe("string");
+    });
+    it("asDeviceId brands a string as DeviceId", () => {
+        const id = asDeviceId("dev-001");
+        expect(id).toBe("dev-001");
+    });
+    it("asNodeId brands a string as NodeId", () => {
+        const id = asNodeId("node-abc");
+        expect(id).toBe("node-abc");
+    });
+    it("asGoalId brands a string as GoalId", () => {
+        const id = asGoalId("goal-xyz");
+        expect(id).toBe("goal-xyz");
+    });
+    it("asEventId brands a string as EventId", () => {
+        const id = asEventId("evt-123");
+        expect(id).toBe("evt-123");
+    });
+    it("asConversationId brands a string as ConversationId", () => {
+        const id = asConversationId("conv-456");
+        expect(id).toBe("conv-456");
+    });
+    it("asPlanId brands a string as PlanId", () => {
+        const id = asPlanId("plan-789");
+        expect(id).toBe("plan-789");
+    });
+    it("asAllocationId brands a string as AllocationId", () => {
+        const id = asAllocationId("alloc-001");
+        expect(id).toBe("alloc-001");
+    });
+    it("asSettlementId brands a string as SettlementId", () => {
+        const id = asSettlementId("settle-002");
+        expect(id).toBe("settle-002");
+    });
+    it("asListingId brands a string as ListingId", () => {
+        const id = asListingId("list-003");
+        expect(id).toBe("list-003");
+    });
+    it("asProposalId brands a string as ProposalId", () => {
+        const id = asProposalId("prop-004");
+        expect(id).toBe("prop-004");
+    });
+});
+//# sourceMappingURL=branded-ids.test.js.map

package/dist/__tests__/branded-ids.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"branded-ids.test.js","sourceRoot":"","sources":["../../src/__tests__/branded-ids.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AAE5D,OAAO,EACL,WAAW,EACX,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,gBAAgB,EAChB,QAAQ,EACR,cAAc,EACd,cAAc,EACd,WAAW,EACX,YAAY,GACb,MAAM,aAAa,CAAC;AAErB,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,YAAY,EAAU,CAAC,aAAa,EAAa,CAAC;QAClD,YAAY,EAAU,CAAC,aAAa,EAAY,CAAC;QACjD,YAAY,EAAU,CAAC,aAAa,EAAU,CAAC;QAC/C,YAAY,EAAU,CAAC,aAAa,EAAU,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,YAAY,EAAa,CAAC,aAAa,EAAU,CAAC;QAClD,YAAY,EAAY,CAAC,aAAa,EAAU,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,YAAY,EAAa,CAAC,GAAG,CAAC,aAAa,EAAY,CAAC;QACxD,YAAY,EAAY,CAAC,GAAG,CAAC,aAAa,EAAa,CAAC;QACxD,YAAY,EAAU,CAAC,GAAG,CAAC,aAAa,EAAU,CAAC;QACnD,YAAY,EAAU,CAAC,GAAG,CAAC,aAAa,EAAU,CAAC;QACnD,YAAY,EAAa,CAAC,GAAG,CAAC,aAAa,EAAU,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnC,kCAAkC;QAClC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,YAAY,CAAC,UAAU,CAAC,CAAC;QACpC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,25 @@
+/**
+ * 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.
+ */
+export {};
+//# sourceMappingURL=semiring-laws.test.d.ts.map

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

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

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

@@ -0,0 +1,231 @@
+/**
+ * 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

@@ -0,0 +1 @@
+{"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

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

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

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

package/dist/__tests__/semiring.test.js

@@ -0,0 +1,201 @@
+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

@@ -0,0 +1 @@
+{"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

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

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

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