@smthrs/flow 1.0.0-rc.13 → 1.0.0-rc.14

package/dist/esm/internal/RecordedPlan.js

@@ -0,0 +1,45 @@
+/**
+ * Resume compatibility is weaker than result reuse: unchanged callback source
+ * may rebuild a recorded plan, but an opaque closure still cannot earn a cache
+ * hit. Only the interpreter's PlanRecorded guard uses this projection. Approval
+ * digests and dispatch keys keep the original entropy-bearing material.
+ *
+ * @since 1.0.0
+ * @internal
+ */
+import { isRecord } from "@smthrs/canonical/Record";
+import * as Graph from "../Graph.js";
+/** Missing source metadata retains the old identity and fails closed. */
+const callback = (value) => isRecord(value) && value._tag === "FunctionIdentity" && value.algorithm === "sha256-source-ephemeral/v4" &&
+    typeof value.sourceDigest === "string"
+    ? { _tag: value._tag, algorithm: value.algorithm, digest: value.sourceDigest }
+    : value;
+/** Project only callback slots, never identity-shaped application data. */
+const body = (value) => {
+    if (!isRecord(value))
+        return value;
+    switch (value._tag) {
+        case "FlowCall":
+            return isRecord(value.declaration)
+                ? { ...value, declaration: { ...value.declaration, body: callback(value.declaration.body) } }
+                : value;
+        case "Map":
+            return { ...value, mapper: callback(value.mapper) };
+        case "AndThen":
+            return { ...value, continuation: callback(value.continuation) };
+        case "Branch":
+            return { ...value, predicate: callback(value.predicate) };
+        case "Catch":
+            return { ...value, filterIdentity: callback(value.filterIdentity) };
+        default:
+            return value;
+    }
+};
+/**
+ * The same drafts, with only callback identities made restart-comparable.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export const recordedPlanDrafts = (graph) => Graph.drafts(graph).map((draft) => ({ ...draft, material: { ...draft.material, body: body(draft.material.body) } }));
+//# sourceMappingURL=RecordedPlan.js.map

package/dist/esm/internal/RecordedPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RecordedPlan.js","sourceRoot":"","sources":["../../../src/internal/RecordedPlan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAA;AAEnD,OAAO,KAAK,KAAK,MAAM,aAAa,CAAA;AAEpC,yEAAyE;AACzE,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAW,EAAE,CAC3C,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,kBAAkB,IAAI,KAAK,CAAC,SAAS,KAAK,4BAA4B;IACtG,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ;IACtC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,CAAC,YAAY,EAAE;IAC9E,CAAC,CAAC,KAAK,CAAA;AAEX,2EAA2E;AAC3E,MAAM,IAAI,GAAG,CAAC,KAAc,EAAW,EAAE;IACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAClC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC;gBAChC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE;gBAC7F,CAAC,CAAC,KAAK,CAAA;QACX,KAAK,KAAK;YACR,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAA;QACrD,KAAK,SAAS;YACZ,OAAO,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAA;QACjE,KAAK,QAAQ;YACX,OAAO,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAA;QAC3D,KAAK,OAAO;YACV,OAAO,EAAE,GAAG,KAAK,EAAE,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAA;QACrE;YACE,OAAO,KAAK,CAAA;IAChB,CAAC;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAkB,EAAiC,EAAE,CACtF,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Resume compatibility is weaker than result reuse: unchanged callback source\n * may rebuild a recorded plan, but an opaque closure still cannot earn a cache\n * hit. Only the interpreter's PlanRecorded guard uses this projection. Approval\n * digests and dispatch keys keep the original entropy-bearing material.\n *\n * @since 1.0.0\n * @internal\n */\n\nimport { isRecord } from \"@smthrs/canonical/Record\"\nimport type * as Plan from \"@smthrs/plan/Plan\"\nimport * as Graph from \"../Graph.ts\"\n\n/** Missing source metadata retains the old identity and fails closed. */\nconst callback = (value: unknown): unknown =>\n  isRecord(value) && value._tag === \"FunctionIdentity\" && value.algorithm === \"sha256-source-ephemeral/v4\" &&\n    typeof value.sourceDigest === \"string\"\n    ? { _tag: value._tag, algorithm: value.algorithm, digest: value.sourceDigest }\n    : value\n\n/** Project only callback slots, never identity-shaped application data. */\nconst body = (value: unknown): unknown => {\n  if (!isRecord(value)) return value\n  switch (value._tag) {\n    case \"FlowCall\":\n      return isRecord(value.declaration)\n        ? { ...value, declaration: { ...value.declaration, body: callback(value.declaration.body) } }\n        : value\n    case \"Map\":\n      return { ...value, mapper: callback(value.mapper) }\n    case \"AndThen\":\n      return { ...value, continuation: callback(value.continuation) }\n    case \"Branch\":\n      return { ...value, predicate: callback(value.predicate) }\n    case \"Catch\":\n      return { ...value, filterIdentity: callback(value.filterIdentity) }\n    default:\n      return value\n  }\n}\n\n/**\n * The same drafts, with only callback identities made restart-comparable.\n *\n * @since 1.0.0\n * @private\n */\nexport const recordedPlanDrafts = (graph: Graph.Graph): ReadonlyArray<Plan.NodeDraft> =>\n  Graph.drafts(graph).map((draft) => ({ ...draft, material: { ...draft.material, body: body(draft.material.body) } }))\n"]}

package/docs/guides/inspect-the-plan.md

@@ -19,7 +19,7 @@ engine, database, or jj: planning reads declarations only. They import
 add both at the version of `@smthrs/flows` you have:
 
 ```bash
-npm install @smthrs/flow@1.0.0-rc.13 @smthrs/plan@1.0.0-rc.13
+npm install @smthrs/flow@1.0.0-rc.14 @smthrs/plan@1.0.0-rc.14
 ```
 
 `@smthrs/flows` re-exports the same modules, so `import { Graph } from "@smthrs/flows"`

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@smthrs/flow",
   "type": "module",
-  "version": "1.0.0-rc.13",
+  "version": "1.0.0-rc.14",
   "license": "MIT",
   "smthrs": {
     "group": "engine"
@@ -289,11 +289,11 @@
     "tag": "next"
   },
   "dependencies": {
-    "@smthrs/crypto": "1.0.0-rc.13",
-    "@smthrs/keys": "1.0.0-rc.13",
-    "@smthrs/plan": "1.0.0-rc.13",
-    "@smthrs/canonical": "1.0.0-rc.13",
-    "@smthrs/capability": "1.0.0-rc.13"
+    "@smthrs/crypto": "1.0.0-rc.14",
+    "@smthrs/keys": "1.0.0-rc.14",
+    "@smthrs/plan": "1.0.0-rc.14",
+    "@smthrs/canonical": "1.0.0-rc.14",
+    "@smthrs/capability": "1.0.0-rc.14"
   },
   "devDependencies": {
     "@effect/language-service": "0.87.2",

package/src/Interpreter.ts

@@ -80,6 +80,7 @@ import * as HumanTask from "./HumanTask.ts"
 import * as BoundedJson from "./internal/BoundedJson.ts"
 import { ExecutionMiddleware } from "./internal/ExecutionMiddleware.ts"
 import { OutcomeValueTypeId } from "./internal/OutcomeMarker.ts"
+import { recordedPlanDrafts } from "./internal/RecordedPlan.ts"
 import * as Sleep from "./Sleep.ts"
 import * as WaitFor from "./WaitFor.ts"
 
@@ -272,7 +273,7 @@ const planPages = (
 > =>
   Effect.gen(function*() {
     const identity = yield* StepKey.content({
-      body: { flow, nodes: Graph.drafts(graph), edges: Graph.edges(graph) },
+      body: { flow, nodes: recordedPlanDrafts(graph), edges: Graph.edges(graph) },
       inputs: {},
       layers: [],
       capabilities: {}

package/src/internal/RecordedPlan.ts

@@ -0,0 +1,50 @@
+/**
+ * Resume compatibility is weaker than result reuse: unchanged callback source
+ * may rebuild a recorded plan, but an opaque closure still cannot earn a cache
+ * hit. Only the interpreter's PlanRecorded guard uses this projection. Approval
+ * digests and dispatch keys keep the original entropy-bearing material.
+ *
+ * @since 1.0.0
+ * @internal
+ */
+
+import { isRecord } from "@smthrs/canonical/Record"
+import type * as Plan from "@smthrs/plan/Plan"
+import * as Graph from "../Graph.ts"
+
+/** Missing source metadata retains the old identity and fails closed. */
+const callback = (value: unknown): unknown =>
+  isRecord(value) && value._tag === "FunctionIdentity" && value.algorithm === "sha256-source-ephemeral/v4" &&
+    typeof value.sourceDigest === "string"
+    ? { _tag: value._tag, algorithm: value.algorithm, digest: value.sourceDigest }
+    : value
+
+/** Project only callback slots, never identity-shaped application data. */
+const body = (value: unknown): unknown => {
+  if (!isRecord(value)) return value
+  switch (value._tag) {
+    case "FlowCall":
+      return isRecord(value.declaration)
+        ? { ...value, declaration: { ...value.declaration, body: callback(value.declaration.body) } }
+        : value
+    case "Map":
+      return { ...value, mapper: callback(value.mapper) }
+    case "AndThen":
+      return { ...value, continuation: callback(value.continuation) }
+    case "Branch":
+      return { ...value, predicate: callback(value.predicate) }
+    case "Catch":
+      return { ...value, filterIdentity: callback(value.filterIdentity) }
+    default:
+      return value
+  }
+}
+
+/**
+ * The same drafts, with only callback identities made restart-comparable.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export const recordedPlanDrafts = (graph: Graph.Graph): ReadonlyArray<Plan.NodeDraft> =>
+  Graph.drafts(graph).map((draft) => ({ ...draft, material: { ...draft.material, body: body(draft.material.body) } }))