@rotorsoft/act-tck 1.34.0 → 1.34.2

package/dist/index.cjs

@@ -438,6 +438,24 @@ ${content}`;
 // src/store-differential-tck.ts
 var import_act = require("@rotorsoft/act");
 var import_vitest6 = require("vitest");
+var mark_all = async (store) => {
+  const rows = [];
+  const { maxEventId } = await store.query_streams(
+    (p) => rows.push({
+      stream: p.stream,
+      at: p.at,
+      priority: p.priority,
+      lane: p.lane
+    })
+  );
+  const marks = rows.filter((r) => r.at < maxEventId).map((r) => ({
+    stream: r.stream,
+    priority: r.priority,
+    lane: r.lane,
+    correlated_at: maxEventId
+  }));
+  await store.subscribe(marks);
+};
 var mulberry322 = (seed) => {
   let a = seed >>> 0;
   return () => {
@@ -654,6 +672,7 @@ var apply_plan = async (store, plan, pii_isolation) => {
       ]);
     } else if (op.t === "claim") {
       const by = uid();
+      await mark_all(store);
       const leased = await store.claim(1e5, 1e5, by, op.millis);
       for (const l of leased) if (owned.has(l.stream)) held.set(l.stream, by);
     } else if (op.t === "ack") {
@@ -910,6 +929,24 @@ var runStoreDifferentialTck = (options) => {
 // src/store-property-tck.ts
 var import_vitest7 = require("@fast-check/vitest");
 var import_vitest8 = require("vitest");
+var mark_all2 = async (store) => {
+  const rows = [];
+  const { maxEventId } = await store.query_streams(
+    (p) => rows.push({
+      stream: p.stream,
+      at: p.at,
+      priority: p.priority,
+      lane: p.lane
+    })
+  );
+  const marks = rows.filter((r) => r.at < maxEventId).map((r) => ({
+    stream: r.stream,
+    priority: r.priority,
+    lane: r.lane,
+    correlated_at: maxEventId
+  }));
+  await store.subscribe(marks);
+};
 var streamArb = import_vitest7.fc.constantFrom("s1", "s2", "s3");
 var commitArb = import_vitest7.fc.record({
   stream: streamArb,
@@ -1017,6 +1054,7 @@ var runStorePropertyTck = (options) => {
                 make_meta({ stream: op.stream })
               );
             } else if (op.kind === "claim") {
+              await mark_all2(store);
               const claimed = await store.claim(5, 5, "worker", 6e4);
               totalClaims += claimed.length;
               pending = [...pending, ...claimed];
@@ -1058,6 +1096,7 @@ var runStorePropertyTck = (options) => {
               make_meta({ stream })
             );
           }
+          await mark_all2(store);
           const acked1 = await store.ack(
             await store.claim(10, 10, "worker", 6e4)
           );
@@ -1070,6 +1109,7 @@ var runStorePropertyTck = (options) => {
               make_meta({ stream })
             );
           }
+          await mark_all2(store);
           const acked2 = await store.ack(
             await store.claim(10, 10, "worker", 6e4)
           );
@@ -1093,6 +1133,7 @@ var runStorePropertyTck = (options) => {
             make_meta({ stream })
           );
         }
+        await mark_all2(store);
         const claimed = await store.claim(10, 10, "worker", 6e4);
         await store.block(claimed.map((l) => ({ ...l, error: "test" })));
         const blockedSet = new Set(claimed.map((l) => l.stream));
@@ -1102,6 +1143,7 @@ var runStorePropertyTck = (options) => {
           [inc(1)],
           make_meta({ stream: "ctrl" })
         );
+        await mark_all2(store);
         const reclaim = await store.claim(10, 10, "worker2", 6e4);
         for (const l of reclaim) (0, import_vitest8.expect)(blockedSet.has(l.stream)).toBe(false);
       });
@@ -1116,6 +1158,38 @@ var runStoreTck = (options) => {
   (0, import_vitest9.describe)(`TCK / Store / ${options.name}`, () => {
     let store;
     const caps = { ...options.capabilities };
+    const is_literal = (source) => !/[\]^$.*+?()[{}|\\]/.test(source);
+    const correlate = async (target = store) => {
+      const rows = [];
+      await target.query_streams(
+        (p) => rows.push({
+          stream: p.stream,
+          source: p.source,
+          at: p.at,
+          priority: p.priority,
+          lane: p.lane
+        }),
+        { limit: 1e3 }
+      );
+      const marks = [];
+      for (const row of rows) {
+        let mark = -1;
+        await target.query(
+          (e) => {
+            mark = Math.max(mark, e.id);
+          },
+          row.source !== void 0 ? { stream: row.source, stream_exact: is_literal(row.source) } : {}
+        );
+        if (mark > row.at)
+          marks.push({
+            stream: row.stream,
+            priority: row.priority,
+            lane: row.lane,
+            correlated_at: mark
+          });
+      }
+      if (marks.length) await target.subscribe(marks);
+    };
     (0, import_vitest9.beforeAll)(async () => {
       store = await options.factory();
       await store.drop();
@@ -1742,18 +1816,21 @@ var runStoreTck = (options) => {
         const s = `fresh-empty-${uid()}`;
         const src = `fresh-src-${uid()}`;
         await store.subscribe([{ stream: s, source: src }]);
+        await correlate();
         const leases = await store.claim(5, 5, `w-${uid()}`, 5e3);
         (0, import_vitest9.expect)(leases.filter((l) => l.stream === s)).toHaveLength(0);
       });
-      (0, import_vitest9.it)("claims a fresh subscription as soon as its first event lands", async () => {
+      (0, import_vitest9.it)("claims a fresh subscription as soon as its first event is marked", async () => {
         const s = `fresh-first-${uid()}`;
         const src = `fresh-first-src-${uid()}`;
         await store.subscribe([{ stream: s, source: src }]);
-        await store.commit(
+        const [first] = await store.commit(
           src,
           [inc(1)],
           make_meta({ stream: src })
         );
+        await store.subscribe([{ stream: s, correlated_at: first.id }]);
+        await correlate();
         const leases = await store.claim(5, 5, `w-${uid()}`, 5e3);
         const mine = leases.filter((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toHaveLength(1);
@@ -1846,7 +1923,7 @@ var runStoreTck = (options) => {
           (0, import_vitest9.expect)(seen).not.toContain("correlated");
         });
       });
-      import_vitest9.describe.skipIf(!caps.work_set)("subscription work set", () => {
+      (0, import_vitest9.describe)("subscription work set", () => {
         const claimable = async (stream) => {
           const leased = await store.claim(100, 0, `w-${uid()}`, 1);
           const mine = leased.find((l) => l.stream === stream);
@@ -1933,16 +2010,17 @@ var runStoreTck = (options) => {
           await store.prioritize({ stream: s, stream_exact: true }, 5);
           (0, import_vitest9.expect)(await claimable(s)).toBe(true);
         });
-        (0, import_vitest9.it)("falls back to the legacy probe for an unmarked stream", async () => {
-          const s = `ws-legacy-${uid()}`;
-          const src = `ws-legacy-src-${uid()}`;
+        (0, import_vitest9.it)("never claims an unmarked stream, however much work the log holds", async () => {
+          const s = `ws-unmarked-${uid()}`;
+          const src = `ws-unmarked-src-${uid()}`;
           await store.subscribe([{ stream: s, source: src }]);
-          (0, import_vitest9.expect)(await claimable(s)).toBe(false);
-          await store.commit(
+          const [event] = await store.commit(
             src,
             [inc(1)],
             make_meta({ stream: src })
           );
+          (0, import_vitest9.expect)(await claimable(s)).toBe(false);
+          await store.subscribe([{ stream: s, correlated_at: event.id }]);
           (0, import_vitest9.expect)(await claimable(s)).toBe(true);
         });
         (0, import_vitest9.it)("surfaces the mark on query_streams positions", async () => {
@@ -1975,6 +2053,7 @@ var runStoreTck = (options) => {
           make_meta({ stream: s })
         );
         const by = `worker-${uid()}`;
+        await correlate();
         const leased = await store.claim(100, 0, by, 1e4);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -1997,6 +2076,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leasedA = await store.claim(100, 0, `wA-${uid()}`, 1e5);
         const targetA = leasedA.find((l) => l.stream === s);
         (0, import_vitest9.expect)(targetA).toBeDefined();
@@ -2006,6 +2086,7 @@ var runStoreTck = (options) => {
           [inc(2)],
           make_meta({ stream: other })
         );
+        await correlate();
         const leasedB = await store.claim(100, 0, `wB-${uid()}`, 1e5);
         (0, import_vitest9.expect)(leasedB.length).toBeGreaterThan(0);
         (0, import_vitest9.expect)(leasedB.find((l) => l.stream === s)).toBeUndefined();
@@ -2019,11 +2100,13 @@ var runStoreTck = (options) => {
           [inc(1), inc(2)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leasedA = await store.claim(100, 0, `wA-${uid()}`, 1);
         const a = leasedA.find((l) => l.stream === s);
         (0, import_vitest9.expect)(a).toBeDefined();
         (0, import_vitest9.expect)(a.retry).toBe(0);
         await new Promise((r) => setTimeout(r, 50));
+        await correlate();
         const leasedB = await store.claim(100, 0, `wB-${uid()}`, 1e5);
         const b = leasedB.find((l) => l.stream === s);
         (0, import_vitest9.expect)(b).toBeDefined();
@@ -2044,10 +2127,12 @@ var runStoreTck = (options) => {
           [inc(1), inc(2)],
           make_meta({ stream: s })
         );
+        await correlate();
         const first = await store.claim(100, 0, `w-${uid()}`, 1);
         const mine = first.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
         await store.ack([{ ...mine, at: mine.at + 1 }]);
+        await correlate();
         const second = await store.claim(0, 100, `w-${uid()}`, 1);
         (0, import_vitest9.expect)(second.find((l) => l.stream === s)).toBeDefined();
       });
@@ -2081,6 +2166,7 @@ var runStoreTck = (options) => {
           let low_claimed = false;
           const MAX_CYCLES = 20;
           for (let cycle = 0; cycle < MAX_CYCLES && !low_claimed; cycle++) {
+            await correlate(fresh);
             const leases = await fresh.claim(4, 0, by, 1e3);
             if (leases.some((l) => l.stream === low)) {
               low_claimed = true;
@@ -2108,6 +2194,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const claimed = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const matches = claimed.filter((l) => l.stream === s);
         (0, import_vitest9.expect)(matches).toHaveLength(1);
@@ -2126,6 +2213,7 @@ var runStoreTck = (options) => {
           [inc(2)],
           make_meta({ stream: sibling })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `right-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         const sibling_lease = leased.find((l) => l.stream === sibling);
@@ -2142,6 +2230,7 @@ var runStoreTck = (options) => {
         const s = `ack-stale-${uid()}`;
         await store.subscribe([{ stream: s }]);
         const by = `w-${uid()}`;
+        await correlate();
         const leased = await store.claim(100, 0, by, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2154,6 +2243,7 @@ var runStoreTck = (options) => {
         try {
           await fresh.drop();
           await fresh.seed();
+          await correlate(fresh);
           const claimed = await fresh.claim(1, 1, `w-${uid()}`, 1e3);
           (0, import_vitest9.expect)(claimed).toEqual([]);
         } finally {
@@ -2174,10 +2264,12 @@ var runStoreTck = (options) => {
             [inc(1)],
             make_meta({ stream: s })
           );
+          await correlate(fresh);
           const first = await fresh.claim(1, 0, `w-${uid()}`, 0);
           const f = first.find((l) => l.stream === s);
           (0, import_vitest9.expect)(f).toBeDefined();
           (0, import_vitest9.expect)(f.retry).toBe(0);
+          await correlate(fresh);
           const second = await fresh.claim(1, 0, `w-${uid()}`, 1e5);
           const sec = second.find((l) => l.stream === s);
           (0, import_vitest9.expect)(sec).toBeDefined();
@@ -2198,8 +2290,10 @@ var runStoreTck = (options) => {
             [inc(1)],
             make_meta({ stream: s })
           );
+          await correlate(fresh);
           const lag = await fresh.claim(1, 0, `w-${uid()}`, 0);
           (0, import_vitest9.expect)(lag.find((l) => l.stream === s)?.lagging).toBe(true);
+          await correlate(fresh);
           const lead = await fresh.claim(0, 1, `w-${uid()}`, 1e5);
           (0, import_vitest9.expect)(lead.find((l) => l.stream === s)?.lagging).toBe(false);
         } finally {
@@ -2214,14 +2308,17 @@ var runStoreTck = (options) => {
           const s = `lease-timeout-${uid()}`;
           await fresh.subscribe([{ stream: s }]);
           const [e1] = await seed_stream(fresh, s, 1);
+          await correlate(fresh);
           const a = await fresh.claim(1, 0, `wA-${uid()}`, 0);
           (0, import_vitest9.expect)(a.find((l) => l.stream === s)?.retry).toBe(0);
+          await correlate(fresh);
           const b = await fresh.claim(1, 0, `wB-${uid()}`, 3e4);
           const b_lease = b.find((l) => l.stream === s);
           (0, import_vitest9.expect)(b_lease).toBeDefined();
           (0, import_vitest9.expect)(b_lease.retry).toBe(1);
           await fresh.ack([{ ...b_lease, at: e1.id }]);
           await seed_stream(fresh, s, 1);
+          await correlate(fresh);
           const c = await fresh.claim(1, 0, `wC-${uid()}`, 3e4);
           (0, import_vitest9.expect)(c.find((l) => l.stream === s)?.retry).toBe(0);
         } finally {
@@ -2229,42 +2326,7 @@ var runStoreTck = (options) => {
         }
       });
     });
-    (0, import_vitest9.describe)("claim source matching", () => {
-      (0, import_vitest9.it)("treats source as an exact stream name \u2014 no substring or pattern overmatch", async () => {
-        const fresh = await options.factory();
-        try {
-          await fresh.drop();
-          await fresh.seed();
-          const base = `src-${uid()}`;
-          const sibling = `${base}2`;
-          const target = `agg-${uid()}`;
-          const control = `ctl-${uid()}`;
-          await fresh.subscribe([
-            { stream: target, source: base },
-            // Control subscription sourced from the sibling — it DOES see
-            // the sibling commit below, so the negative assertion runs
-            // through a populated claim result.
-            { stream: control, source: sibling }
-          ]);
-          const [seeded] = await seed_stream(fresh, base, 1);
-          const [ctl_seeded] = await seed_stream(fresh, sibling, 1);
-          const first = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-          const mine = first.find((l) => l.stream === target);
-          const ctl = first.find((l) => l.stream === control);
-          (0, import_vitest9.expect)(mine).toBeDefined();
-          (0, import_vitest9.expect)(ctl).toBeDefined();
-          await fresh.ack([
-            { ...mine, at: seeded.id },
-            { ...ctl, at: ctl_seeded.id }
-          ]);
-          await seed_stream(fresh, sibling, 1);
-          const second = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-          (0, import_vitest9.expect)(second.find((l) => l.stream === control)).toBeDefined();
-          (0, import_vitest9.expect)(second.find((l) => l.stream === target)).toBeUndefined();
-        } finally {
-          await fresh.dispose();
-        }
-      });
+    (0, import_vitest9.describe)("source windows and lease exclusivity", () => {
       (0, import_vitest9.it)("receives exactly its source stream's events", async () => {
         const fresh = await options.factory();
         try {
@@ -2274,12 +2336,14 @@ var runStoreTck = (options) => {
           const target = `agg-${uid()}`;
           await fresh.subscribe([{ stream: target, source: base }]);
           const [e1] = await seed_stream(fresh, base, 1);
+          await correlate(fresh);
           const first = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
           const f = first.find((l) => l.stream === target);
           (0, import_vitest9.expect)(f).toBeDefined();
           (0, import_vitest9.expect)(f.source).toBe(base);
           await fresh.ack([{ ...f, at: e1.id }]);
           const [e2] = await seed_stream(fresh, base, 1);
+          await correlate(fresh);
           const second = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
           const sec = second.find((l) => l.stream === target);
           (0, import_vitest9.expect)(sec).toBeDefined();
@@ -2304,6 +2368,7 @@ var runStoreTck = (options) => {
           await fresh.subscribe([{ stream: target, source: base }]);
           const [b1] = await seed_stream(fresh, base, 1);
           await seed_stream(fresh, sibling, 1);
+          await correlate(fresh);
           const claimed = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
           const lease = claimed.find((l) => l.stream === target);
           (0, import_vitest9.expect)(lease).toBeDefined();
@@ -2319,64 +2384,6 @@ var runStoreTck = (options) => {
         }
       });
     });
-    import_vitest9.describe.skipIf(!caps.pattern_claim_source)(
-      "claim pattern source matching (capability)",
-      () => {
-        (0, import_vitest9.it)("claims a pattern-source target when any matched stream has work (^(A|B)$)", async () => {
-          const fresh = await options.factory();
-          try {
-            await fresh.drop();
-            await fresh.seed();
-            const a = `A-${uid()}`;
-            const b = `B-${uid()}`;
-            const target = `board-${uid()}`;
-            const pattern = `^(${a}|${b})$`;
-            await fresh.subscribe([{ stream: target, source: pattern }]);
-            const [ea] = await seed_stream(fresh, a, 1);
-            const first = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-            const l1 = first.find((s) => s.stream === target);
-            (0, import_vitest9.expect)(l1).toBeDefined();
-            await fresh.ack([{ ...l1, at: ea.id }]);
-            const [eb] = await seed_stream(fresh, b, 1);
-            const second = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-            (0, import_vitest9.expect)(second.find((s) => s.stream === target)).toBeDefined();
-            (0, import_vitest9.expect)(eb.stream).toBe(b);
-          } finally {
-            await fresh.dispose();
-          }
-        });
-        (0, import_vitest9.it)("does not claim a pattern-source target when no matched stream has work", async () => {
-          const fresh = await options.factory();
-          try {
-            await fresh.drop();
-            await fresh.seed();
-            const a = `A-${uid()}`;
-            const b = `B-${uid()}`;
-            const other = `Z-${uid()}`;
-            const target = `board-${uid()}`;
-            const control = `ctl-${uid()}`;
-            const pattern = `^(${a}|${b})$`;
-            await fresh.subscribe([
-              { stream: target, source: pattern },
-              { stream: control, source: other }
-            ]);
-            const [ea] = await seed_stream(fresh, a, 1);
-            const first = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-            const l1 = first.find((s) => s.stream === target);
-            (0, import_vitest9.expect)(l1).toBeDefined();
-            (0, import_vitest9.expect)(first.map((s) => s.stream)).not.toContain(control);
-            await fresh.ack([{ ...l1, at: ea.id }]);
-            await seed_stream(fresh, other, 1);
-            const claimed = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-            const streams = claimed.map((s) => s.stream);
-            (0, import_vitest9.expect)(streams).toContain(control);
-            (0, import_vitest9.expect)(streams).not.toContain(target);
-          } finally {
-            await fresh.dispose();
-          }
-        });
-      }
-    );
     import_vitest9.describe.skipIf(!caps.rejects_nonportable_claim_source)(
       "claim source registration (capability)",
       () => {
@@ -2394,23 +2401,6 @@ var runStoreTck = (options) => {
             await fresh.dispose();
           }
         });
-        (0, import_vitest9.it)("accepts a portable-subset pattern claim source (^prefix.*) and claims on match", async () => {
-          const fresh = await options.factory();
-          try {
-            await fresh.drop();
-            await fresh.seed();
-            const prefix = `pfx${uid()}`.replace(/-/g, "");
-            const matched = `${prefix}child`;
-            const target = `board-${uid()}`;
-            await fresh.subscribe([{ stream: target, source: `^${prefix}.*` }]);
-            const [e] = await seed_stream(fresh, matched, 1);
-            const claimed = await fresh.claim(100, 0, `w-${uid()}`, 3e4);
-            (0, import_vitest9.expect)(claimed.find((s) => s.stream === target)).toBeDefined();
-            (0, import_vitest9.expect)(e.stream).toBe(matched);
-          } finally {
-            await fresh.dispose();
-          }
-        });
       }
     );
     import_vitest9.describe.skipIf(!caps.concurrent_claim)("concurrency (capability)", () => {
@@ -2432,6 +2422,7 @@ var runStoreTck = (options) => {
             );
           }
           const owned = new Set(streams);
+          await correlate(fresh);
           const [a, b] = await Promise.all([
             fresh.claim(100, 100, `wA-${uid()}`, 6e4),
             fresh.claim(100, 100, `wB-${uid()}`, 6e4)
@@ -2452,10 +2443,12 @@ var runStoreTck = (options) => {
           const other = `unexpired-other-${uid()}`;
           await fresh.subscribe([{ stream: s }]);
           await seed_stream(fresh, s, 1);
+          await correlate(fresh);
           const a = await fresh.claim(100, 100, `wA-${uid()}`, 6e4);
           (0, import_vitest9.expect)(a.find((l) => l.stream === s)).toBeDefined();
           await fresh.subscribe([{ stream: other }]);
           await seed_stream(fresh, other, 1);
+          await correlate(fresh);
           const b = await fresh.claim(100, 100, `wB-${uid()}`, 6e4);
           (0, import_vitest9.expect)(b.find((l) => l.stream === other)).toBeDefined();
           (0, import_vitest9.expect)(b.find((l) => l.stream === s)).toBeUndefined();
@@ -2471,6 +2464,7 @@ var runStoreTck = (options) => {
           const s = `expired-${uid()}`;
           await fresh.subscribe([{ stream: s }]);
           const [e1] = await seed_stream(fresh, s, 1);
+          await correlate(fresh);
           const dead = await fresh.claim(100, 0, `wDead-${uid()}`, 0);
           (0, import_vitest9.expect)(dead.find((l) => l.stream === s)?.retry).toBe(0);
           const [b, c] = await Promise.all([
@@ -2482,6 +2476,7 @@ var runStoreTck = (options) => {
           (0, import_vitest9.expect)(winners[0].retry).toBe(1);
           await fresh.ack([{ ...winners[0], at: e1.id }]);
           await seed_stream(fresh, s, 1);
+          await correlate(fresh);
           const again = await fresh.claim(100, 0, `wNext-${uid()}`, 6e4);
           (0, import_vitest9.expect)(again.find((l) => l.stream === s)?.retry).toBe(0);
         } finally {
@@ -2498,6 +2493,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2508,6 +2504,7 @@ var runStoreTck = (options) => {
         ]);
         (0, import_vitest9.expect)(blocked).toHaveLength(1);
         (0, import_vitest9.expect)(blocked[0].error).toBe("boom");
+        await correlate();
         const again = await store.claim(100, 100, `w2-${uid()}`, 1e5);
         (0, import_vitest9.expect)(again.find((l) => l.stream === s)).toBeUndefined();
       });
@@ -2519,6 +2516,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2544,6 +2542,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `right-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2562,6 +2561,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2588,6 +2588,7 @@ var runStoreTck = (options) => {
             make_meta({ stream: st })
           );
         (0, import_vitest9.expect)(await store.defer([s], Date.now() + 36e5)).toBe(1);
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         (0, import_vitest9.expect)(leased.find((l) => l.stream === ctl)).toBeDefined();
         (0, import_vitest9.expect)(leased.find((l) => l.stream === s)).toBeUndefined();
@@ -2601,6 +2602,7 @@ var runStoreTck = (options) => {
           make_meta({ stream: s })
         );
         (0, import_vitest9.expect)(await store.defer([s], Date.now() - 1e3)).toBe(1);
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2617,9 +2619,12 @@ var runStoreTck = (options) => {
           make_meta({ stream: s })
         );
         await store.defer([s], Date.now() + 36e5);
+        await correlate();
         await store.claim(100, 100, `w1-${uid()}`, 1e5);
+        await correlate();
         await store.claim(100, 100, `w2-${uid()}`, 1e5);
         await store.defer([s], Date.now() - 1e3);
+        await correlate();
         const leased = await store.claim(100, 100, `w3-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
@@ -2638,6 +2643,7 @@ var runStoreTck = (options) => {
         );
         await store.defer([s], Date.now() + 36e5);
         (0, import_vitest9.expect)(await store.reset([s])).toBe(1);
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         (0, import_vitest9.expect)(leased.find((l) => l.stream === s)).toBeDefined();
       });
@@ -2686,6 +2692,7 @@ var runStoreTck = (options) => {
           Date.now() + 36e5
         );
         (0, import_vitest9.expect)(n).toBe(2);
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         (0, import_vitest9.expect)(leased.find((l) => l.stream === ctl)).toBeDefined();
         (0, import_vitest9.expect)(leased.find((l) => l.stream === a)).toBeUndefined();
@@ -2721,6 +2728,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: ctl })
         );
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const s_lease = leased.find((l) => l.stream === s);
         const ctl_lease = leased.find((l) => l.stream === ctl);
@@ -2735,6 +2743,7 @@ var runStoreTck = (options) => {
           [inc(2)],
           make_meta({ stream: ctl })
         );
+        await correlate();
         const again = await store.claim(100, 100, `w-${uid()}`, 1e5);
         (0, import_vitest9.expect)(again.find((l) => l.stream === ctl)).toBeDefined();
         (0, import_vitest9.expect)(again.find((l) => l.stream === s)).toBeUndefined();
@@ -2747,9 +2756,11 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         await store.ack([{ ...mine, due: Date.now() - 1e3, retry: -1 }]);
+        await correlate();
         const again = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const re = again.find((l) => l.stream === s);
         (0, import_vitest9.expect)(re).toBeDefined();
@@ -2765,9 +2776,11 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         await store.ack([{ ...mine, due: Date.now() - 1e3, retry: 3 }]);
+        await correlate();
         const again = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const re = again.find((l) => l.stream === s);
         (0, import_vitest9.expect)(re).toBeDefined();
@@ -2788,12 +2801,14 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine.at).toBeLessThan(e1.id);
         await store.ack([
           { ...mine, at: e1.id, due: Date.now() - 1e3, retry: 2 }
         ]);
+        await correlate();
         const again = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const re = again.find((l) => l.stream === s);
         (0, import_vitest9.expect)(re).toBeDefined();
@@ -2809,6 +2824,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 100, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         await store.ack([
@@ -2827,11 +2843,13 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         (0, import_vitest9.expect)(mine).toBeDefined();
         await store.ack([{ ...mine, at: 99 }]);
         (0, import_vitest9.expect)(await store.reset([s])).toBe(1);
+        await correlate();
         const after = await store.claim(100, 0, `w2-${uid()}`, 1e5);
         const back = after.find((l) => l.stream === s);
         (0, import_vitest9.expect)(back).toBeDefined();
@@ -2845,12 +2863,14 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         const others = leased.filter((l) => l.stream !== s);
         await store.ack(others);
         await store.block([{ ...mine, error: "boom" }]);
         (0, import_vitest9.expect)(await store.reset([s])).toBe(1);
+        await correlate();
         const after = await store.claim(100, 0, `w2-${uid()}`, 1e5);
         (0, import_vitest9.expect)(after.find((l) => l.stream === s)).toBeDefined();
       });
@@ -2883,9 +2903,11 @@ var runStoreTck = (options) => {
           [inc(2)],
           make_meta({ stream: s })
         );
+        await correlate();
         const first = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const m1 = first.find((l) => l.stream === s);
         await store.ack([{ ...m1, at: m1.at }]);
+        await correlate();
         const before_block = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const m2 = before_block.find((l) => l.stream === s);
         (0, import_vitest9.expect)(m2).toBeDefined();
@@ -2900,6 +2922,7 @@ var runStoreTck = (options) => {
         );
         (0, import_vitest9.expect)(blocked_flag).toBe(true);
         (0, import_vitest9.expect)(await store.unblock([s])).toBe(1);
+        await correlate();
         const after = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const back = after.find((l) => l.stream === s);
         (0, import_vitest9.expect)(back).toBeDefined();
@@ -2934,6 +2957,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s2 })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const m1 = leased.find((l) => l.stream === s1);
         const others = leased.filter((l) => l.stream !== s1);
@@ -2962,6 +2986,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s3 })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const blockable = leased.filter((l) => l.stream === s1 || l.stream === s2 || l.stream === s3).map((l) => ({ ...l, error: "boom" }));
         await store.ack(
@@ -2974,6 +2999,7 @@ var runStoreTck = (options) => {
           stream: `^unblock-filter-${tag}-`
         });
         (0, import_vitest9.expect)(count).toBe(2);
+        await correlate();
         const after = await store.claim(100, 0, `w-${uid()}`, 1e5);
         (0, import_vitest9.expect)(after.find((l) => l.stream === s3)).toBeUndefined();
         (0, import_vitest9.expect)(after.find((l) => l.stream === s1)).toBeDefined();
@@ -2994,6 +3020,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s2 })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.filter((l) => l.stream === s1 || l.stream === s2);
         await store.ack(leased.filter((l) => !mine.includes(l)));
@@ -3048,6 +3075,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: other })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.filter(
           (l) => l.stream === s1 || l.stream === s2 || l.stream === other
@@ -3084,6 +3112,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s2 })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const m1 = leased.find((l) => l.stream === s1);
         await store.ack(leased.filter((l) => l.stream !== s1));
@@ -3174,6 +3203,7 @@ var runStoreTck = (options) => {
           { stream: sub_default, source: src1 },
           { stream: sub_slow, source: src2, lane: "slow" }
         ]);
+        await correlate();
         const slow = await store.claim(50, 0, `w-slow-${tag}`, 1e3, "slow");
         const slow_mine = slow.filter(
           (l) => l.stream === sub_default || l.stream === sub_slow
@@ -3181,6 +3211,7 @@ var runStoreTck = (options) => {
         (0, import_vitest9.expect)(slow_mine.map((l) => l.stream)).toEqual([sub_slow]);
         (0, import_vitest9.expect)(slow_mine[0]?.lane).toBe("slow");
         await store.ack(slow_mine.map((l) => ({ ...l, at: l.at + 1 })));
+        await correlate();
         const all = await store.claim(50, 0, `w-all-${tag}`, 1e3);
         const all_mine = all.filter((l) => l.stream === sub_default || l.stream === sub_slow).map((l) => ({ stream: l.stream, lane: l.lane }));
         (0, import_vitest9.expect)(all_mine).toEqual(
@@ -3240,6 +3271,7 @@ var runStoreTck = (options) => {
           { stream: a, source: src, lane: `rslow-${tag}` },
           { stream: b, source: src, lane: `rfast-${tag}` }
         ]);
+        await correlate();
         const leases = await store.claim(50, 0, `w-${tag}`, 5e3);
         const mine = leases.filter((l) => l.stream === a || l.stream === b);
         await store.ack(mine.map((l) => ({ ...l, at: l.at + 1 })));
@@ -3269,6 +3301,7 @@ var runStoreTck = (options) => {
           { stream: a, source: src, lane: `uslow-${tag}` },
           { stream: b, source: src, lane: `ufast-${tag}` }
         ]);
+        await correlate();
         const leases = await store.claim(50, 0, `w-${tag}`, 5e3);
         const mine = leases.filter((l) => l.stream === a || l.stream === b);
         await store.block(mine.map((l) => ({ ...l, error: "boom" })));
@@ -3659,6 +3692,7 @@ var runStoreTck = (options) => {
           [inc(1)],
           make_meta({ stream: s })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === s);
         const others = leased.filter((l) => l.stream !== s);
@@ -3907,6 +3941,7 @@ var runStoreTck = (options) => {
           [inc(2)],
           make_meta({ stream: b })
         );
+        await correlate();
         const leased = await store.claim(100, 0, `w-${uid()}`, 1e5);
         const mine = leased.find((l) => l.stream === a);
         (0, import_vitest9.expect)(mine).toBeDefined();