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

package/dist/cjs/internal/RecordedPlan.js

@@ -0,0 +1,55 @@
+"use strict";
+var __create = Object.create;
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __getProtoOf = Object.getPrototypeOf;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__getProtoOf(mod)) : {}, __copyProps(
+  // If the importer is in node compatibility mode or this is not an ESM
+  // file that has been converted to a CommonJS file using a Babel-
+  // compatible transform (i.e. "__esModule" has not been set), then set
+  // "default" to the CommonJS "module.exports" for node compatibility.
+  isNodeMode || !mod || !mod.__esModule ? __defProp(target, "default", { value: mod, enumerable: true }) : target,
+  mod
+));
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+var RecordedPlan_exports = {};
+__export(RecordedPlan_exports, {
+  recordedPlanDrafts: () => recordedPlanDrafts
+});
+module.exports = __toCommonJS(RecordedPlan_exports);
+var import_Record = require("@smthrs/canonical/Record");
+var Graph = __toESM(require("../Graph.js"), 1);
+const callback = (value) => (0, import_Record.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;
+const body = (value) => {
+  if (!(0, import_Record.isRecord)(value)) return value;
+  switch (value._tag) {
+    case "FlowCall":
+      return (0, import_Record.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;
+  }
+};
+const recordedPlanDrafts = (graph) => Graph.drafts(graph).map((draft) => ({ ...draft, material: { ...draft.material, body: body(draft.material.body) } }));
+//# sourceMappingURL=RecordedPlan.js.map

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

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../../src/internal/RecordedPlan.ts"],
+  "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"],
+  "mappings": ";;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAUA,oBAAyB;AAEzB,YAAuB;AAGvB,MAAM,WAAW,CAAC,cAChB,wBAAS,KAAK,KAAK,MAAM,SAAS,sBAAsB,MAAM,cAAc,gCAC1E,OAAO,MAAM,iBAAiB,WAC5B,EAAE,MAAM,MAAM,MAAM,WAAW,MAAM,WAAW,QAAQ,MAAM,aAAa,IAC3E;AAGN,MAAM,OAAO,CAAC,UAA4B;AACxC,MAAI,KAAC,wBAAS,KAAK,EAAG,QAAO;AAC7B,UAAQ,MAAM,MAAM;AAAA,IAClB,KAAK;AACH,iBAAO,wBAAS,MAAM,WAAW,IAC7B,EAAE,GAAG,OAAO,aAAa,EAAE,GAAG,MAAM,aAAa,MAAM,SAAS,MAAM,YAAY,IAAI,EAAE,EAAE,IAC1F;AAAA,IACN,KAAK;AACH,aAAO,EAAE,GAAG,OAAO,QAAQ,SAAS,MAAM,MAAM,EAAE;AAAA,IACpD,KAAK;AACH,aAAO,EAAE,GAAG,OAAO,cAAc,SAAS,MAAM,YAAY,EAAE;AAAA,IAChE,KAAK;AACH,aAAO,EAAE,GAAG,OAAO,WAAW,SAAS,MAAM,SAAS,EAAE;AAAA,IAC1D,KAAK;AACH,aAAO,EAAE,GAAG,OAAO,gBAAgB,SAAS,MAAM,cAAc,EAAE;AAAA,IACpE;AACE,aAAO;AAAA,EACX;AACF;AAQO,MAAM,qBAAqB,CAAC,UACjC,MAAM,OAAO,KAAK,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,OAAO,UAAU,EAAE,GAAG,MAAM,UAAU,MAAM,KAAK,MAAM,SAAS,IAAI,EAAE,EAAE,EAAE;",
+  "names": []
+}

package/dist/esm/Interpreter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Interpreter.d.ts","sourceRoot":"","sources":["../../src/Interpreter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAUH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAuB,eAAe,EAAwB,MAAM,6BAA6B,CAAA;AAIxG,OAAO,KAAK,EAAkB,eAAe,EAAgB,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAKzF,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAG1D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;;;;;;;AAQnC;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,gBAAiB,SAAQ,qBAoBrC;CAAG;AAEJ;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9C,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACxC;AAED;;;;;GAKG;AACH,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,CAAA;AAa5E;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,mBAAmB,MAAM,EACzB,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAUzC,CAAA;AAEJ;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,QAAS,CAAA;AAEtC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,sBAAsB,KAAK,CAAA;AAyMxC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,GACpB,YAAY,UAAU,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC7C,UAAU,OAAO,EACjB,UAAS,KAAK,CAAC,YAAiB,KAC/B,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAsD,CAAA;AA4+BxG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,KAAK,GAChB,GAAG,SAAS,MAAM,EAClB,OAAO,SAAS,eAAe,EAC/B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EAExB,MAAM,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAC7C,UAAS,KAAK,CAAC,YAAiB,6UAC8B,CAAA;AAkGhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,wBAAwB,GACnC,GAAG,SAAS,MAAM,EAClB,OAAO,SAAS,eAAe,EAC/B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EACxB,QAAQ,EACR,QAAQ,EACR,CAAC,EACD,CAAC,EAED,MAAM,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,EAClD,iBACI,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,GAC3B,CACA,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,OAAO,GAC5C;IAAE,QAAQ,CAAC,4BAA4B,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,CAC3E,EACH,UAAS,KAAK,CAAC,YAAiB,ofAW7B,CAAA"}
+{"version":3,"file":"Interpreter.d.ts","sourceRoot":"","sources":["../../src/Interpreter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAUH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAErC,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAA;AAE5C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AAGrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAuB,eAAe,EAAwB,MAAM,6BAA6B,CAAA;AAIxG,OAAO,KAAK,EAAkB,eAAe,EAAgB,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAKzF,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAG1D,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;;;;;;;AASnC;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,gBAAiB,SAAQ,qBAoBrC;CAAG;AAEJ;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC9C,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACxC;AAED;;;;;GAKG;AACH,KAAK,QAAQ,GAAG,MAAM,CAAC,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,eAAe,CAAA;AAa5E;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,mBAAmB,MAAM,EACzB,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,SAAS,OAAO,KACf,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAUzC,CAAA;AAEJ;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gBAAgB,QAAS,CAAA;AAEtC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,sBAAsB,KAAK,CAAA;AAyMxC;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,SAAS,GACpB,YAAY,UAAU,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC7C,UAAU,OAAO,EACjB,UAAS,KAAK,CAAC,YAAiB,KAC/B,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAsD,CAAA;AA4+BxG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,eAAO,MAAM,KAAK,GAChB,GAAG,SAAS,MAAM,EAClB,OAAO,SAAS,eAAe,EAC/B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EAExB,MAAM,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAC7C,UAAS,KAAK,CAAC,YAAiB,6UAC8B,CAAA;AAkGhE;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,wBAAwB,GACnC,GAAG,SAAS,MAAM,EAClB,OAAO,SAAS,eAAe,EAC/B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EACxB,QAAQ,EACR,QAAQ,EACR,CAAC,EACD,CAAC,EAED,MAAM,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,EAClD,iBACI,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,GAC3B,CACA,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,OAAO,GAC5C;IAAE,QAAQ,CAAC,4BAA4B,EAAE,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;CAAE,CAC3E,EACH,UAAS,KAAK,CAAC,YAAiB,ofAW7B,CAAA"}

package/dist/esm/Interpreter.js

@@ -75,6 +75,7 @@ import * as HumanTask from "./HumanTask.js";
 import * as BoundedJson from "./internal/BoundedJson.js";
 import { ExecutionMiddleware } from "./internal/ExecutionMiddleware.js";
 import { OutcomeValueTypeId } from "./internal/OutcomeMarker.js";
+import { recordedPlanDrafts } from "./internal/RecordedPlan.js";
 import * as Sleep from "./Sleep.js";
 import * as WaitFor from "./WaitFor.js";
 /**
@@ -219,7 +220,7 @@ const summarize = (node) => {
  */
 const planPages = (flow, graph, measure) => 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: {}