@rulvar/store-conformance 1.81.2 → 1.83.0

package/dist/index.d.ts

@@ -42,9 +42,23 @@ declare function journalStoreConformance(mk: StoreFactory<JournalStore>): Confor
 declare function leasableStoreConformance(mk: StoreFactory<LeasableStore>, options?: {
   /**
   * The store's configured lease TTL, when known: enables the
-  * wall-clock expiry and renew-keeps-held checks.
+  * wall-clock expiry and renew-keeps-held checks against the MAIN
+  * factory. LEGACY single-ttl pairing: the mandatory checks follow
+  * the suite's no-wall-clock convention, and a short shared ttl lets
+  * one scheduler stall expire a just-acquired lease inside them (the
+  * cycle 80 CI flake). Prefer `expiry`.
   */
   ttlMs?: number;
+  /**
+  * The wall-clock expiry check's OWN store and ttl (cycle 80): hand
+  * the mandatory checks a main factory whose ttl no realistic stall
+  * can cross, and give the expiry check its short-ttl store here.
+  * Wins over `ttlMs` when both are present.
+  */
+  expiry?: {
+    ttlMs: number;
+    mk: StoreFactory<LeasableStore>;
+  };
 }): ConformanceSuite;
 //#endregion
 //#region src/fenced-writes.d.ts

package/dist/index.js

@@ -703,26 +703,32 @@ function leasableStoreConformance(mk, options) {
 			}
 		}
 	];
-	const ttlMs = options?.ttlMs;
-	if (ttlMs !== void 0) checks.push({
-		id: "lease-ttl-and-renew-cadence",
-		title: "renew at ttl/3 keeps the lease held past ttl; an unrenewed lease expires",
-		async run() {
-			const store = await mk();
-			const held = await store.acquire(RUN$2, "owner-a");
-			const cadence = Math.floor(ttlMs / 3);
-			const deadline = Date.now() + Math.ceil(ttlMs * 1.5);
-			while (Date.now() < deadline) {
-				await sleep$2(cadence);
-				await store.renew(held);
-				ensure(await mustReject(() => store.acquire(RUN$2, "owner-b")) instanceof LeaseHeldError, "lease-ttl-and-renew-cadence", "a lease renewed at ttl/3 must stay held past the original ttl");
-			}
-			await store.release(held);
-			const abandoned = await store.acquire("expiring-run", "owner-a");
-			await sleep$2(Math.ceil(ttlMs * 1.2));
-			ensure((await store.acquire("expiring-run", "owner-b")).epoch > abandoned.epoch, "lease-ttl-and-renew-cadence", "reclaiming an expired lease must advance the fencing epoch");
-		}
+	const expiry = options?.expiry ?? (options?.ttlMs === void 0 ? void 0 : {
+		ttlMs: options.ttlMs,
+		mk
 	});
+	if (expiry !== void 0) {
+		const { ttlMs, mk: mkExpiry } = expiry;
+		checks.push({
+			id: "lease-ttl-and-renew-cadence",
+			title: "renew at ttl/3 keeps the lease held past ttl; an unrenewed lease expires",
+			async run() {
+				const store = await mkExpiry();
+				const held = await store.acquire(RUN$2, "owner-a");
+				const cadence = Math.floor(ttlMs / 3);
+				const deadline = Date.now() + Math.ceil(ttlMs * 1.5);
+				while (Date.now() < deadline) {
+					await sleep$2(cadence);
+					await store.renew(held);
+					ensure(await mustReject(() => store.acquire(RUN$2, "owner-b")) instanceof LeaseHeldError, "lease-ttl-and-renew-cadence", "a lease renewed at ttl/3 must stay held past the original ttl");
+				}
+				await store.release(held);
+				const abandoned = await store.acquire("expiring-run", "owner-a");
+				await sleep$2(Math.ceil(ttlMs * 1.2));
+				ensure((await store.acquire("expiring-run", "owner-b")).epoch > abandoned.epoch, "lease-ttl-and-renew-cadence", "reclaiming an expired lease must advance the fencing epoch");
+			}
+		});
+	}
 	return makeSuite("leasableStoreConformance", checks);
 }
 //#endregion

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/store-conformance",
-  "version": "1.81.2",
+  "version": "1.83.0",
   "description": "Rulvar executable store conformance kit (DEF-4).",
   "type": "module",
   "license": "Apache-2.0",
@@ -22,7 +22,7 @@
     "access": "public"
   },
   "dependencies": {
-    "@rulvar/core": "1.81.2"
+    "@rulvar/core": "1.83.0"
   },
   "devDependencies": {
     "@types/node": "^22.20.0",