@rotorsoft/act-tck 1.13.0 → 1.13.2

package/dist/index.js

@@ -662,6 +662,52 @@ var runStoreTck = (options) => {
         }
       });
     });
+    describe4("lease semantics", () => {
+      it4("returns retry=0 on first claim and increments on re-claim without ack", async () => {
+        const fresh = await options.factory();
+        try {
+          await fresh.drop();
+          await fresh.seed();
+          const s = `lease-retry-${uid()}`;
+          await fresh.subscribe([{ stream: s }]);
+          await fresh.commit(
+            s,
+            [inc(1)],
+            make_meta({ stream: s })
+          );
+          const first = await fresh.claim(1, 0, `w-${uid()}`, 0);
+          const f = first.find((l) => l.stream === s);
+          expect4(f).toBeDefined();
+          expect4(f.retry).toBe(0);
+          const second = await fresh.claim(1, 0, `w-${uid()}`, 1e5);
+          const sec = second.find((l) => l.stream === s);
+          expect4(sec).toBeDefined();
+          expect4(sec.retry).toBe(1);
+        } finally {
+          await fresh.dispose();
+        }
+      });
+      it4("reports lagging=true from the lagging frontier and false from the leading frontier", async () => {
+        const fresh = await options.factory();
+        try {
+          await fresh.drop();
+          await fresh.seed();
+          const s = `lease-lag-${uid()}`;
+          await fresh.subscribe([{ stream: s }]);
+          await fresh.commit(
+            s,
+            [inc(1)],
+            make_meta({ stream: s })
+          );
+          const lag = await fresh.claim(1, 0, `w-${uid()}`, 0);
+          expect4(lag.find((l) => l.stream === s)?.lagging).toBe(true);
+          const lead = await fresh.claim(0, 1, `w-${uid()}`, 1e5);
+          expect4(lead.find((l) => l.stream === s)?.lagging).toBe(false);
+        } finally {
+          await fresh.dispose();
+        }
+      });
+    });
     describe4("block", () => {
       it4("hides blocked streams from claim", async () => {
         const s = `block-${uid()}`;