@rulvar/store-conformance 1.61.0 → 1.63.0

package/dist/index.js

@@ -671,6 +671,24 @@ function leasableStoreConformance(mk, options) {
 				ensure(loaded.length === 2 && !loaded.some((item) => item.seq === 2), "fencing-stale-epoch", "a rejected stale-epoch append must never appear in load");
 			}
 		},
+		{
+			id: "fencing-epoch-tombstone",
+			title: "delete/recreate of the same runId keeps the epoch strictly monotonic",
+			async run() {
+				const store = await mk();
+				const zombie = await store.acquire(RUN$2, "owner-stable");
+				await store.append(RUN$2, leaseEntry(0), zombie);
+				await store.release(zombie);
+				await store.delete(RUN$2);
+				const fresh = await store.acquire(RUN$2, "owner-stable");
+				ensure(fresh.epoch > zombie.epoch, "fencing-epoch-tombstone", `acquire after delete/recreate must return a strictly higher epoch than any epoch the deleted incarnation held (got ${fresh.epoch} after ${zombie.epoch}); keep an epoch tombstone through deletion`);
+				await store.append(RUN$2, leaseEntry(0), fresh);
+				ensure(await mustReject(() => store.append(RUN$2, leaseEntry(1), zombie)) !== void 0, "fencing-epoch-tombstone", "an append under a lease from a deleted incarnation must reject");
+				ensure(await mustReject(() => store.renew(zombie)) !== void 0, "fencing-epoch-tombstone", "renew of a lease from a deleted incarnation must reject");
+				const loaded = await store.load(RUN$2);
+				ensure(loaded.length === 1 && !loaded.some((item) => item.seq === 1), "fencing-epoch-tombstone", "a rejected zombie append must never appear in the recreated run");
+			}
+		},
 		{
 			id: "lease-release-fences",
 			title: "a released lease can neither renew nor append",
@@ -802,6 +820,26 @@ function fencedWritesConformance(mk) {
 				ensure((await store.load(RUN$1)).length === 0 && await readMeta$1(store, RUN$1) === void 0, "fenced-delete-stale-rejected", "a delete under the current lease must remove the journal and the meta row");
 			}
 		},
+		{
+			id: "fenced-tombstone-zombie-rejected",
+			title: "a lease from a deleted incarnation guards nothing after recreate",
+			async run() {
+				const store = await mk();
+				const zombie = await store.acquire(RUN$1, "owner-stable");
+				await store.append(RUN$1, fencedEntry(0), zombie);
+				await store.putMeta(meta(RUN$1, "running", 1), zombie);
+				await store.release(zombie);
+				await store.delete(RUN$1);
+				const fresh = await store.acquire(RUN$1, "owner-stable");
+				await store.append(RUN$1, fencedEntry(0), fresh);
+				await store.putMeta(meta(RUN$1, "running", 1), fresh);
+				await mustRejectFenced$1("fenced-tombstone-zombie-rejected", "a putMeta under a lease from a deleted incarnation", () => store.putMeta(meta(RUN$1, "ok", 1), zombie));
+				await mustRejectFenced$1("fenced-tombstone-zombie-rejected", "a delete under a lease from a deleted incarnation", () => store.delete(RUN$1, zombie));
+				const current = await readMeta$1(store, RUN$1);
+				ensure(current !== void 0 && current.status === "running", "fenced-tombstone-zombie-rejected", "the recreated run must survive every zombie mutation attempt unchanged");
+				ensure((await store.load(RUN$1)).length === 1, "fenced-tombstone-zombie-rejected", "the recreated journal must survive a zombie delete attempt");
+			}
+		},
 		{
 			id: "fenced-run-match",
 			title: "a live lease for a different run guards nothing",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rulvar/store-conformance",
-  "version": "1.61.0",
+  "version": "1.63.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.61.0"
+    "@rulvar/core": "1.63.0"
   },
   "devDependencies": {
     "@types/node": "^22.20.0",