@smthrs/plan 1.0.0-rc.12 → 1.0.0-rc.14

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@smthrs/plan",
   "type": "module",
-  "version": "1.0.0-rc.12",
+  "version": "1.0.0-rc.14",
   "license": "MIT",
   "smthrs": {
     "group": "engine"
@@ -218,19 +218,19 @@
     "tag": "next"
   },
   "dependencies": {
-    "@smthrs/crypto": "1.0.0-rc.12",
-    "@smthrs/keys": "1.0.0-rc.12",
-    "@smthrs/canonical": "1.0.0-rc.12"
+    "@smthrs/crypto": "1.0.0-rc.14",
+    "@smthrs/keys": "1.0.0-rc.14",
+    "@smthrs/canonical": "1.0.0-rc.14"
   },
   "devDependencies": {
     "@effect/language-service": "0.87.2",
-    "@effect/platform-node": "4.0.4",
-    "@effect/vitest": "4.0.4",
+    "@effect/platform-node": "4.0.5",
+    "@effect/vitest": "4.0.5",
     "@eslint/js": "9.39.5",
     "@types/node": "26.4.1",
     "@vitest/coverage-v8": "5.0.0",
     "dprint": "0.57.1",
-    "effect": "4.0.4",
+    "effect": "4.0.5",
     "esbuild": "0.28.2",
     "eslint": "9.39.5",
     "eslint-import-resolver-typescript": "4.4.5",
@@ -244,7 +244,7 @@
     "fast-check": "4.9.0"
   },
   "peerDependencies": {
-    "effect": "^4.0.4"
+    "effect": "4.0.5"
   },
   "scripts": {
     "lint": "eslint src --max-warnings=0 && dprint check",

package/src/Node.ts

@@ -539,9 +539,14 @@ export const bindPlanned: {
     )
 )
 
-// Arm builders run before the graph walker can enforce its topology bound.
-// Leave native stack headroom to construct the typed refusal and unwind.
-const maximumArmDepth = 512
+/**
+ * Maximum eagerly nested branch arms. Arm construction precedes graph walking;
+ * this bound leaves native stack headroom for a typed refusal.
+ *
+ * @since 1.0.0
+ * @category constants
+ */
+export const maximumArmDepth = 512
 let armDepth = 0
 
 /**

package/src/internal/node.ts

@@ -301,6 +301,8 @@ export interface FunctionIdentity {
   readonly _tag: "FunctionIdentity"
   readonly algorithm: IdentityAlgorithm
   readonly digest: string
+  /** Nonce-free resume comparison material. Step keys still use `digest`. */
+  readonly sourceDigest?: string | undefined
 }
 
 /**
@@ -729,12 +731,25 @@ const filterIdentity = (filter: Schema.Top): FunctionIdentity => {
       }
     }
   }
+  const ephemeral = identities.some(([, identity]) => identity.algorithm === "sha256-source-ephemeral/v4")
+  const sourceComparable = identities.every(([, identity]) =>
+    identity.algorithm !== "sha256-source-ephemeral/v4" || identity.sourceDigest !== undefined
+  )
   return {
     _tag: "FunctionIdentity",
-    algorithm: identities.some(([, identity]) => identity.algorithm === "sha256-source-ephemeral/v4")
+    algorithm: ephemeral
       ? "sha256-source-ephemeral/v4"
       : "sha256-source-captures/v5",
-    digest: digestSync(JSON.stringify(identities))
+    digest: digestSync(JSON.stringify(identities)),
+    ...(ephemeral && sourceComparable
+      ? {
+        sourceDigest: digestSync(JSON.stringify(identities.map(([path, identity]) => [path, {
+          _tag: identity._tag,
+          algorithm: identity.algorithm,
+          digest: identity.sourceDigest ?? identity.digest
+        }])))
+      }
+      : {})
   }
 }