@rotorsoft/act-tck 1.38.24 → 1.38.25

package/dist/@types/fixtures/mark-all.d.ts

@@ -0,0 +1,11 @@
+import type { Store } from "@rotorsoft/act/types";
+/**
+ * Correlate's job, done by hand. `claim` follows the work mark, so a
+ * generated plan that commits events has to mark what they resolve to before
+ * a worker can see them. Marking every subscription to the log head is the
+ * right shape for the property and differential suites: they drive adapters
+ * through the *same* plan, and what they compare is claim/ack/block/defer
+ * behavior, not discovery. Not exported from the package.
+ */
+export declare const mark_all: (store: Store) => Promise<void>;
+//# sourceMappingURL=mark-all.d.ts.map

package/dist/@types/fixtures/mark-all.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mark-all.d.ts","sourceRoot":"","sources":["../../../src/fixtures/mark-all.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAElD;;;;;;;GAOG;AACH,eAAO,MAAM,QAAQ,UAAiB,KAAK,kBA0B1C,CAAC"}

package/dist/@types/store-differential-tck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"store-differential-tck.d.ts","sourceRoot":"","sources":["../../src/store-differential-tck.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAKV,KAAK,EACN,MAAM,sBAAsB,CAAC;AA+C9B;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC;CACnC,CAAC;AAifF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,uBAAuB,YACzB,2BAA2B,KACnC,IA0RF,CAAC"}
+{"version":3,"file":"store-differential-tck.d.ts","sourceRoot":"","sources":["../../src/store-differential-tck.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAKV,KAAK,EACN,MAAM,sBAAsB,CAAC;AAa9B;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAC3C;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC;CACpC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,2BAA2B,GAAG;IACxC,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;;OAOG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,iBAAiB,CAAC;CACnC,CAAC;AAifF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,eAAO,MAAM,uBAAuB,YACzB,2BAA2B,KACnC,IA0RF,CAAC"}

package/dist/@types/store-property-tck.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"store-property-tck.d.ts","sourceRoot":"","sources":["../../src/store-property-tck.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAwClD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,OAAO,EAAE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;;;;OAUG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAkBF,eAAO,MAAM,mBAAmB,YAAa,uBAAuB,KAAG,IAyNtE,CAAC"}
+{"version":3,"file":"store-property-tck.d.ts","sourceRoot":"","sources":["../../src/store-property-tck.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAMlD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,uBAAuB,GAAG;IACpC,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,wEAAwE;IACxE,OAAO,EAAE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,6EAA6E;IAC7E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;;;;OAUG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAkBF,eAAO,MAAM,mBAAmB,YAAa,uBAAuB,KAAG,IAyNtE,CAAC"}

package/dist/index.cjs

@@ -438,6 +438,8 @@ ${content}`;
 // src/store-differential-tck.ts
 var import_act = require("@rotorsoft/act");
 var import_vitest6 = require("vitest");
+
+// src/fixtures/mark-all.ts
 var mark_all = async (store) => {
   const rows = [];
   const { maxEventId } = await store.query_streams(
@@ -456,6 +458,8 @@ var mark_all = async (store) => {
   }));
   await store.subscribe(marks);
 };
+
+// src/store-differential-tck.ts
 var mulberry322 = (seed) => {
   let a = seed >>> 0;
   return () => {
@@ -929,24 +933,6 @@ 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,
@@ -1057,7 +1043,7 @@ var runStorePropertyTck = (options) => {
                 make_meta({ stream: op.stream })
               );
             } else if (op.kind === "claim") {
-              await mark_all2(store);
+              await mark_all(store);
               const claimed = await store.claim(5, 5, "worker", 6e4);
               totalClaims += claimed.length;
               pending = [...pending, ...claimed];
@@ -1100,7 +1086,7 @@ var runStorePropertyTck = (options) => {
               make_meta({ stream })
             );
           }
-          await mark_all2(store);
+          await mark_all(store);
           const acked1 = await store.ack(
             await store.claim(10, 10, "worker", 6e4)
           );
@@ -1113,7 +1099,7 @@ var runStorePropertyTck = (options) => {
               make_meta({ stream })
             );
           }
-          await mark_all2(store);
+          await mark_all(store);
           const acked2 = await store.ack(
             await store.claim(10, 10, "worker", 6e4)
           );
@@ -1140,7 +1126,7 @@ var runStorePropertyTck = (options) => {
               make_meta({ stream })
             );
           }
-          await mark_all2(store);
+          await mark_all(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));
@@ -1150,7 +1136,7 @@ var runStorePropertyTck = (options) => {
             [inc(1)],
             make_meta({ stream: "ctrl" })
           );
-          await mark_all2(store);
+          await mark_all(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);
         },