@lmzhen/dsh-evolution-state-json 0.32.3 → 0.32.4

package/README.md

@@ -17,7 +17,7 @@ change.
 ## Known limitations
 
 - Both tables are capped (200 pending, 500 sessions), and past the pending cap the DOMAIN provider deletes instead of archiving: this provider keeps an audit sidecar. The `updatedAt` stamp is stripped on read, so the consumer-facing record shape is unchanged.
-- The one medium without cross-process write locking is the `storage-json` store behind the DOMAIN provider: route multi-process deployments to a backend with cross-process semantics such as SQLite or remote storage.
+- All shipped JSON media are **single-process**: the IO backend has no cross-process lock. A second process sharing `DSH_HOME` is not coordinated; route multi-process deployments to a platform-provided cross-process backend before relying on this provider.
 
 **Runtime invariant:** No companion is published. The platform auto-assembles nothing and the family mounts no `<pkg>/invariant` cordis row, so a companion here would never execute (v37 S2.1 / I-3).
 
@@ -25,4 +25,4 @@ change.
 
 - P2-4 (v15): the live pending map is BOUNDED — resolved (approved/rejected) records are kept to the most recent `PENDING_RESOLVED_CAP` (200, seam constant in `evolution-state-storage`); the oldest by `resolvedAt` rotate into the `pending-state-archive.json` sidecar (with `.bak` rotation), which is JSON-provider-specific.
 - V25-11 (v25): the review-state table is likewise BOUNDED: `REVIEW_STATE_SESSION_CAP` (500, seam constant) rows keyed by session; on every save the least-recently-active sessions (provider-stamped `updatedAt`, stored on disk only) are pruned.
-- JSON provider serializes writers inside one process AND through the IO backend's cross-process transact lock (an internal transact wrapper (not public API, audit v10 S-03) wraps every mutation, 0.3.20/0.3.27) — this provider is NOT limited to single-process safety.
+- The JSON provider serializes writers inside one process only (the internal transact wrapper is not public API, audit v10 S-03). It does **not** claim cross-process safety; the shipped IO backend declares single-process.

package/lib/index.js

@@ -1,55 +1,7 @@
 import z from "@deepseek-ai/schemastery";
-import { evolutionHome, isAbsent, isPresent, isRecord, isUnknown, makeSerialQueue, probeText, transactIo, transactTaskGuard } from "@lmzhen/dsh-evolution-core";
+import { WriteKernel, evolutionHome, isAbsent, isPresent, isRecord, isUnknown, makeSerialQueue, probeText, transactIo, transactTaskGuard } from "@lmzhen/dsh-evolution-core";
 import { CURATOR_STATE_FILE, CURATOR_STATE_KEY, CURATOR_STATE_TABLE, PENDING_ARCHIVE_BAK_FILE, PENDING_ARCHIVE_FILE, PENDING_LEGACY_FILE, PENDING_RESOLVED_CAP, PENDING_STATE_FILE, PENDING_TABLE, PROVIDER_JSON, REVIEW_STATE_FILE, REVIEW_STATE_SESSION_CAP, REVIEW_STATE_TABLE, assertCloneable, canClaimPending, canResolvePending, cloneRecord, recordIssue, releasedStatus, selectPendingOverflow, selectSessionOverflow } from "@lmzhen/dsh-evolution-state-storage";
 import { basename, dirname, isAbsolute, join } from "node:path";
-//#region lib/types/state-store.js
-const safeName = (collection) => String(collection).replace(/[^a-zA-Z0-9._-]/g, "_");
-var JsonStateStore = class {
-	name = "json-state-store";
-	capabilities = { crossProcess: false };
-	io;
-	root;
-	serial = makeSerialQueue();
-	constructor(io, root) {
-		this.io = io;
-		this.root = root;
-	}
-	path(collection) {
-		return join(this.root, "state-store", safeName(collection) + ".json");
-	}
-	async load(collection) {
-		const text = await this.io.readText(this.path(collection));
-		if (text === null) return {
-			schemaVersion: 1,
-			records: {}
-		};
-		const parsed = JSON.parse(text);
-		if (parsed.schemaVersion !== 1 || parsed.records === null || typeof parsed.records !== "object" || Array.isArray(parsed.records)) throw new Error("state-store collection is corrupt: " + String(collection));
-		return parsed;
-	}
-	async read(collection, key) {
-		return (await this.load(collection)).records[key];
-	}
-	async transact(collection, key, fn) {
-		return this.serial(async () => {
-			let next;
-			await transactIo(this.io, this.path(collection), async (current) => {
-				const file = current === null ? {
-					schemaVersion: 1,
-					records: {}
-				} : JSON.parse(current);
-				next = await fn(file.records[key]);
-				file.records[key] = next;
-				return JSON.stringify(file);
-			});
-			return next;
-		});
-	}
-	async list(collection) {
-		return Object.values((await this.load(collection)).records);
-	}
-};
-//#endregion
 //#region lib/types/index.js
 /**
 * JSON-file evolution state provider over the IO seam.
@@ -228,7 +180,7 @@ async function ensureCorruptCopy(ctx, io, root, file, bad, memory) {
 	return wrote;
 }
 async function jsonTransact(ctx, io, root, file, task, options) {
-	await transactIo(io(), join(root, file), async (current) => {
+	await new WriteKernel({ io: io() }).run({ path: join(root, file) }, async (current) => {
 		let parsed = null;
 		if (current !== null) {
 			try {
@@ -752,7 +704,6 @@ function apply(ctx, rawConfig = {}) {
 		}
 	};
 	ctx.effect(() => ctx.evolutionStateStorage.registerProvider(provider), "evolution-state-json.provider");
-	ctx.provide("evolutionStateStore", new JsonStateStore(io(), root));
 }
 //#endregion
-export { Config, JsonStateStore, apply, inject, jsonTransact, name, newQuarantineMemory };
+export { Config, apply, inject, jsonTransact, name, newQuarantineMemory };

package/lib/types/index.d.ts

@@ -15,9 +15,10 @@ export interface Config {
 }
 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.
+ * In-process JSON-file RMW (v3-audit M-8): every read-modify-write state
+ * mutation runs inside the IO backend's transact lock (via transactIo). The
+ * shipped backend is single-process; a second process sharing DSH_HOME is not
+ * coordinated and must not be assumed safe.
  * `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
@@ -57,5 +58,4 @@ export declare function jsonTransact<T>(ctx: Context, io: () => EvolutionIoLike,
     memory: QuarantineMemory;
 }): Promise<void>;
 export declare function apply(ctx: Context, rawConfig?: Config): void;
-export { JsonStateStore } from './state-store.ts';
 //# sourceMappingURL=index.d.ts.map

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.32.3",
+  "version": "0.32.4",
   "publishConfig": {
     "access": "public"
   },
@@ -27,18 +27,17 @@
   "license": "MIT",
   "dependencies": {
     "@deepseek-ai/schemastery": "^3.18.5",
-    "@lmzhen/dsh-evolution-contract": "^0.32.3",
-    "@lmzhen/dsh-evolution-core": "^0.32.3"
+    "@lmzhen/dsh-evolution-core": "^0.32.4"
   },
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.5",
-    "@lmzhen/dsh-evolution-io": "^0.32.3",
-    "@lmzhen/dsh-evolution-state-storage": "^0.32.3"
+    "@lmzhen/dsh-evolution-io": "^0.32.4",
+    "@lmzhen/dsh-evolution-state-storage": "^0.32.4"
   },
   "devDependencies": {
-    "@lmzhen/dsh-evolution-io": "^0.32.3",
-    "@lmzhen/dsh-evolution-state-storage": "^0.32.3",
-    "@lmzhen/dsh-evolution-io-node": "^0.32.3"
+    "@lmzhen/dsh-evolution-io": "^0.32.4",
+    "@lmzhen/dsh-evolution-state-storage": "^0.32.4",
+    "@lmzhen/dsh-evolution-io-node": "^0.32.4"
   },
   "engines": {
     "dsh": ">=0.2.1-rc.2 <0.2.2-0"

package/lib/types/state-store.d.ts

@@ -1,23 +0,0 @@
-/**
- * Generic JSON-file implementation of the contract StateStore.
- *
- * One file per collection; records use a key map. `transact` delegates to the
- * IO seam's transact, so the medium's serialization/CAS behavior is preserved.
- * The node backend is process-local, so capabilities.crossProcess is false.
- */
-import type { EvolutionCollection, EvolutionStateCapabilities, EvolutionStateStore } from '@lmzhen/dsh-evolution-contract';
-import { type EvolutionIoLike } from '@lmzhen/dsh-evolution-core';
-export declare class JsonStateStore implements EvolutionStateStore {
-    readonly name = "json-state-store";
-    readonly capabilities: EvolutionStateCapabilities;
-    private readonly io;
-    private readonly root;
-    private readonly serial;
-    constructor(io: EvolutionIoLike, root: string);
-    private path;
-    private load;
-    read<T>(collection: EvolutionCollection, key: string): Promise<T | undefined>;
-    transact<T>(collection: EvolutionCollection, key: string, fn: (current: T | undefined) => Promise<T>): Promise<T>;
-    list<T>(collection: EvolutionCollection): Promise<T[]>;
-}
-//# sourceMappingURL=state-store.d.ts.map