@lmzhen/dsh-evolution-state-json 0.3.36 → 0.3.37

package/lib/index.js

@@ -55,11 +55,12 @@ async function quarantine(io, root, file, raw, reason) {
 * Cross-process JSON-file RMW (v3-audit M-8): every read-modify-write state
 * mutation runs inside the IO backend's transact lock (via transactIo) so a
 * second process sharing DSH_HOME cannot interleave its claim/resolve.
-* `task` returns the next value (null = keep); for a record-map file the
-* return must be null or a plain object map of records, and an array/scalar
-* would be persisted as a corrupt map — so it fails loud before any write
-* (0.3.28, V4-08). The legacy `pending.json` merge stays inside the task via
-* `readJson` where relevant.
+* `task` returns the next value; null = ENSURE-ABSENT (the file is deleted
+* when it exists — the parity of the transact seam, V6-32). For a record-map
+* file the return must be null or a plain object map of records, and an
+* array/scalar would be persisted as a corrupt map — so it fails loud before
+* any write (0.3.28, V4-08). The legacy `pending.json` merge stays inside the
+* task via `readJson` where relevant.
 */
 async function jsonTransact(io, root, file, task) {
 	await transactIo(io(), join(root, file), async (current) => {
@@ -104,6 +105,12 @@ function apply(ctx, rawConfig) {
 			if (Array.isArray(rawArchive)) {
 				for (const entry of rawArchive) if (entry && typeof entry.id === "string") ids.add(entry.id);
 			}
+			try {
+				const rawBak = await readJson("pending-state-archive.json.bak");
+				if (Array.isArray(rawBak)) {
+					for (const entry of rawBak) if (entry && typeof entry.id === "string") ids.add(entry.id);
+				}
+			} catch {}
 		} catch {}
 		archivedIdsCache = ids;
 		return ids;
@@ -170,9 +177,10 @@ function apply(ctx, rawConfig) {
 			return Number.isNaN(parsed) ? Number.MAX_SAFE_INTEGER : parsed;
 		};
 		const oldest = resolved.sort((a, b) => entryTime(a) - entryTime(b)).slice(0, overflow);
-		const evictIds = new Set(oldest.map((record) => record.id));
+		const oldestKeys = /* @__PURE__ */ new Set();
+		for (const [key, value] of Object.entries(map)) if (oldest.includes(value)) oldestKeys.add(key);
 		const kept = {};
-		for (const [key, value] of Object.entries(map)) if (!evictIds.has(value.id)) kept[key] = value;
+		for (const [key, value] of Object.entries(map)) if (!oldestKeys.has(key)) kept[key] = value;
 		return {
 			map: kept,
 			evicted: oldest
@@ -197,19 +205,21 @@ function apply(ctx, rawConfig) {
 					if (Array.isArray(parsed)) archive = parsed;
 				} catch {}
 				const archiveKeys = /* @__PURE__ */ new Set();
-				archive = archive.filter((entry) => {
+				const collapsed = archive.filter((entry) => {
 					const key = pendingArchiveKey(entry);
 					if (archiveKeys.has(key)) return false;
 					archiveKeys.add(key);
 					return true;
 				});
+				const hadDuplicates = collapsed.length !== archive.length;
+				archive = collapsed;
 				const seen = new Set(archive.map(pendingArchiveKey));
 				const fresh = records.filter((record) => !seen.has(pendingArchiveKey(record)));
-				if (fresh.length === 0) return current;
+				if (fresh.length === 0 && !hadDuplicates) return current;
 				const next = [...archive, ...fresh];
 				if (next.length > ARCHIVE_RESOLVED_CAP) {
 					if (archive.length > 0) await io().writeText(pathOf("pending-state-archive.json.bak"), JSON.stringify(archive, null, 2)).catch(() => {});
-					return JSON.stringify(fresh.slice(-5e3), null, 2);
+					return JSON.stringify((fresh.length > 0 ? fresh : next).slice(-5e3), null, 2);
 				}
 				return JSON.stringify(next, null, 2);
 			});

package/lib/types/index.d.ts

@@ -18,11 +18,12 @@ export declare const Config: z<Config>;
  * Cross-process JSON-file RMW (v3-audit M-8): every read-modify-write state
  * mutation runs inside the IO backend's transact lock (via transactIo) so a
  * second process sharing DSH_HOME cannot interleave its claim/resolve.
- * `task` returns the next value (null = keep); for a record-map file the
- * return must be null or a plain object map of records, and an array/scalar
- * would be persisted as a corrupt map — so it fails loud before any write
- * (0.3.28, V4-08). The legacy `pending.json` merge stays inside the task via
- * `readJson` where relevant.
+ * `task` returns the next value; null = ENSURE-ABSENT (the file is deleted
+ * when it exists — the parity of the transact seam, V6-32). For a record-map
+ * file the return must be null or a plain object map of records, and an
+ * array/scalar would be persisted as a corrupt map — so it fails loud before
+ * any write (0.3.28, V4-08). The legacy `pending.json` merge stays inside the
+ * task via `readJson` where relevant.
  */
 export declare function jsonTransact<T>(io: () => EvolutionIoLike, root: string, file: string, task: (current: T | null) => T | null | Promise<T | null>): Promise<void>;
 export declare function apply(ctx: Context, rawConfig: Config): void;

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@lmzhen/dsh-evolution-state-json",
   "description": "JSON-file evolution state provider over the IO seam (community build)",
-  "version": "0.3.36",
+  "version": "0.3.37",
   "publishConfig": {
     "access": "public"
   },
@@ -31,17 +31,17 @@
   "license": "MIT",
   "dependencies": {
     "@deepseek-ai/schemastery": "^3.18.1",
-    "@lmzhen/dsh-evolution-core": "^0.3.36"
+    "@lmzhen/dsh-evolution-core": "^0.3.37"
   },
   "peerDependencies": {
     "@deepseek-ai/dsh-invariants": "^0.1.1-rc.2",
     "@deepseek-ai/cordis": "^4.0.1",
-    "@lmzhen/dsh-evolution-io": "^0.3.36",
-    "@lmzhen/dsh-evolution-state-storage": "^0.3.36"
+    "@lmzhen/dsh-evolution-io": "^0.3.37",
+    "@lmzhen/dsh-evolution-state-storage": "^0.3.37"
   },
   "devDependencies": {
     "@deepseek-ai/dsh-invariants": "^0.1.1-rc.2",
-    "@lmzhen/dsh-evolution-io": "^0.3.36",
-    "@lmzhen/dsh-evolution-state-storage": "^0.3.36"
+    "@lmzhen/dsh-evolution-io": "^0.3.37",
+    "@lmzhen/dsh-evolution-state-storage": "^0.3.37"
   }
 }