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

package/lib/index.js

@@ -463,17 +463,13 @@ async function comparePendingReadings(left, right) {
 /**
 * G2b/2b.3: which medium carries each record type, and what PROCESS SCOPE that medium actually gives.
 *
-* The family has two serialization layers and only ever wrote one of them down, for the json provider: the
-* IO backend cross-process transact lock (first layer) and the caller own in-process chain (second). The
-* domain medium inherits its answer from whatever backend the platform storage facility routes, and nothing
-* stated it. So this file states it - and the criterion is the family one: a CLAIM must be produced by a
-* capability that can be DISPROVED. processScopeViolations takes the io the provider writes through and
-* reports every claim of cross-process that the io cannot back up.
+* The shipped IO backend declares single-process: its transaction serializes one process only.
+* The domain medium inherits whatever backend the platform storage facility routes, and that is also
+* single-process in this tree. This file states the weaker truth. processScopeViolations takes the io the
+* provider writes through and reports every claim of cross-process that the io cannot back up.
 *
-* MIGRATION NOTE: the plan allows naming storage-sqlite for a cross-process record type. That package does
-* not exist in this tree (0 hits), so today every entry is either backed by the IO transact lock or
-* declares single-process. When a backend carrying its own cross-process guarantee lands, it is named here
-* and the reasoning moves with it - one declaration, not two.
+* MIGRATION NOTE: when a platform backend carrying its own cross-process guarantee lands, name it here and
+* move the reasoning with it - one declaration, not two.
 *
 * @module @lmzhen/dsh-evolution-state-storage/medium-declaration
 */
@@ -482,20 +478,20 @@ const MEDIUM_PROCESS_DECLARATION = [
 	{
 		record: "review_state",
 		medium: "json",
-		scope: "cross-process",
-		because: "the json provider serializes through the IO backend transact lock, as its README states"
+		scope: "single-process",
+		because: "the shipped IO backend declares single-process; no cross-process medium exists in this tree"
 	},
 	{
 		record: "curator_state",
 		medium: "json",
-		scope: "cross-process",
-		because: "same provider and same lock as review_state; the run bookkeeping rides the same write path"
+		scope: "single-process",
+		because: "same provider and same single-process write path as review_state"
 	},
 	{
 		record: "pending",
 		medium: "json",
-		scope: "cross-process",
-		because: "a staged write is claimed by name across processes, so it needs the lock more than the other two"
+		scope: "single-process",
+		because: "the shipped IO backend has no cross-process claim primitive; a staged write is serialized only in-process"
 	},
 	{
 		record: "evolution-domain",
@@ -507,11 +503,12 @@ const MEDIUM_PROCESS_DECLARATION = [
 /**
 * Falsify the declaration against a capability reading.
 * @param io - the io backend the medium writes through, or undefined when none is mounted.
+* @param declaration - claims to falsify; defaults to the shipped declaration.
 * @returns one message per claim the capability cannot back up; empty when every claim holds.
 */
-function processScopeViolations(io) {
+function processScopeViolations(io, declaration = MEDIUM_PROCESS_DECLARATION) {
 	const backed = io?.processScope === "cross-process";
-	return MEDIUM_PROCESS_DECLARATION.filter((claim) => claim.scope === "cross-process" && !backed).map((claim) => claim.record + " claims cross-process (" + claim.because + ") but the mounted io declares " + (io?.processScope ?? "no process scope"));
+	return declaration.filter((claim) => claim.scope === "cross-process" && !backed).map((claim) => claim.record + " claims cross-process (" + claim.because + ") but the mounted io declares " + (io?.processScope ?? "no process scope"));
 }
 //#endregion
 //#region lib/types/index.js

package/lib/types/medium-declaration.d.ts

@@ -1,17 +1,13 @@
 /**
  * G2b/2b.3: which medium carries each record type, and what PROCESS SCOPE that medium actually gives.
  *
- * The family has two serialization layers and only ever wrote one of them down, for the json provider: the
- * IO backend cross-process transact lock (first layer) and the caller own in-process chain (second). The
- * domain medium inherits its answer from whatever backend the platform storage facility routes, and nothing
- * stated it. So this file states it - and the criterion is the family one: a CLAIM must be produced by a
- * capability that can be DISPROVED. processScopeViolations takes the io the provider writes through and
- * reports every claim of cross-process that the io cannot back up.
+ * The shipped IO backend declares single-process: its transaction serializes one process only.
+ * The domain medium inherits whatever backend the platform storage facility routes, and that is also
+ * single-process in this tree. This file states the weaker truth. processScopeViolations takes the io the
+ * provider writes through and reports every claim of cross-process that the io cannot back up.
  *
- * MIGRATION NOTE: the plan allows naming storage-sqlite for a cross-process record type. That package does
- * not exist in this tree (0 hits), so today every entry is either backed by the IO transact lock or
- * declares single-process. When a backend carrying its own cross-process guarantee lands, it is named here
- * and the reasoning moves with it - one declaration, not two.
+ * MIGRATION NOTE: when a platform backend carrying its own cross-process guarantee lands, name it here and
+ * move the reasoning with it - one declaration, not two.
  *
  * @module @lmzhen/dsh-evolution-state-storage/medium-declaration
  */
@@ -34,7 +30,8 @@ export interface ProcessScopeProbe {
 /**
  * Falsify the declaration against a capability reading.
  * @param io - the io backend the medium writes through, or undefined when none is mounted.
+ * @param declaration - claims to falsify; defaults to the shipped declaration.
  * @returns one message per claim the capability cannot back up; empty when every claim holds.
  */
-export declare function processScopeViolations(io: ProcessScopeProbe | undefined): readonly string[];
+export declare function processScopeViolations(io: ProcessScopeProbe | undefined, declaration?: readonly MediumProcessClaim[]): readonly string[];
 //# sourceMappingURL=medium-declaration.d.ts.map

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@lmzhen/dsh-evolution-state-storage",
   "description": "Provider registry seam for durable evolution state (community build)",
-  "version": "0.32.3",
+  "version": "0.32.4",
   "publishConfig": {
     "access": "public"
   },
@@ -26,7 +26,7 @@
   ],
   "license": "MIT",
   "dependencies": {
-    "@lmzhen/dsh-evolution-contract": "^0.32.3"
+    "@lmzhen/dsh-evolution-contract": "^0.32.4"
   },
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.5"