@smthrs/flow 0.0.0-stage → 1.0.0-rc.3

package/dist/esm/Flow/internal.js

@@ -0,0 +1,149 @@
+/**
+ * Private flow construction shared by declarations and action registration.
+ *
+ * @since 1.0.0
+ * @private
+ */
+import { Sha256 } from "@smthrs/crypto";
+import * as Node from "@smthrs/plan/Node";
+import * as Cause from "effect/Cause";
+import * as Context from "effect/Context";
+import * as Crypto from "effect/Crypto";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { ExecutionIdentityConflict } from "../FlowRuntime/ExecutionIdentityConflict.js";
+import { FlowRuntime } from "../FlowRuntime/FlowRuntime.js";
+import * as DeclarationSite from "../internal/DeclarationSite.js";
+import { CurrentExecutionIds } from "./ExecutionIds.js";
+import { withRollback } from "./Runtime.js";
+import { TypeId } from "./TypeId.js";
+/**
+ * The identity of an invocation that named no `executionId`: the flow's own
+ * declared key when it has one, and the ambient source otherwise.
+ *
+ * A declared key wins over the ambient source because it is the narrower
+ * statement — this author said what makes two invocations of THIS flow the
+ * same — where the source is the host's blanket answer for every flow it
+ * drives.
+ *
+ * The tag and declared key are JSON-tuple framed before hashing. Their strings
+ * are used exactly as given and encoded as UTF-8, with no Unicode
+ * normalization. This preimage encoding freezes at rc.0.
+ */
+const makeExecutionIdFromPayload = (self, payload) => {
+    const idempotencyKey = self.idempotencyKey;
+    return idempotencyKey === undefined
+        ? Effect.flatMap(CurrentExecutionIds, (source) => source.mint(self, payload))
+        // The JSON tuple prevents delimiter splicing. This exact framing freezes at rc.0.
+        : Schema.decodeUnknownEffect(Sha256)(JSON.stringify([self._tag, idempotencyKey(payload)])).pipe(Effect.orDie);
+};
+const resolveExecutionId = (self, payload, executionId) => executionId === undefined
+    ? makeExecutionIdFromPayload(self, payload)
+    : Effect.succeed(executionId);
+const Proto = {
+    [TypeId]: TypeId,
+    annotate(tag, value) {
+        return DeclarationSite.annotate(makeProto({
+            _tag: this._tag,
+            description: this.description,
+            model: this.model,
+            effort: this.effort,
+            system: this.system,
+            chat: this.chat,
+            flows: this.flows,
+            prompt: this.prompt,
+            action: this.action,
+            payloadSchema: this.payloadSchema,
+            successSchema: this.successSchema,
+            errorSchema: this.errorSchema,
+            annotations: Context.add(this.annotations, tag, value),
+            body: this.body,
+            idempotencyKey: this.idempotencyKey,
+            suspendedRetryPolicy: this.suspendedRetryPolicy,
+            maxRounds: this.maxRounds,
+            deadline: this.deadline
+        }), DeclarationSite.declaredAt(this));
+    },
+    annotateMerge(context) {
+        return DeclarationSite.annotate(makeProto({
+            _tag: this._tag,
+            description: this.description,
+            model: this.model,
+            effort: this.effort,
+            system: this.system,
+            chat: this.chat,
+            flows: this.flows,
+            prompt: this.prompt,
+            action: this.action,
+            payloadSchema: this.payloadSchema,
+            successSchema: this.successSchema,
+            errorSchema: this.errorSchema,
+            annotations: Context.merge(this.annotations, context),
+            body: this.body,
+            idempotencyKey: this.idempotencyKey,
+            suspendedRetryPolicy: this.suspendedRetryPolicy,
+            maxRounds: this.maxRounds,
+            deadline: this.deadline
+        }), DeclarationSite.declaredAt(this));
+    },
+    call(payload) {
+        return Node.flowCall(this, this._tag, "inline", payload);
+    },
+    child(payload) {
+        return Node.flowCall(this, this._tag, "boundary", payload);
+    },
+    to(payload) {
+        return Node.flowCall(this, this._tag, "handoff", payload);
+    },
+    execute(fields, opts) {
+        // Caller input that fails the payload schema is data, not programmer
+        // wiring, so it FAILS with the schema's typed `SchemaError` — carrying
+        // the offending field path — instead of dying with the raw constructor
+        // throw `payloadSchema.make` would produce.
+        return this.payloadSchema.makeEffect(fields).pipe(Effect.mapError((issue) => new Schema.SchemaError(issue)), Effect.flatMap((payload) => Effect.flatMap(resolveExecutionId(this, payload, opts?.executionId), (executionId) => Effect.flatMap(FlowRuntime, (engine) => Effect.andThen(Effect.annotateCurrentSpan({ executionId }), engine.execute(this, {
+            executionId,
+            payload,
+            discard: opts?.discard,
+            suspendedRetryPolicy: this.suspendedRetryPolicy
+        }).pipe(Effect.catchCause((cause) => {
+            const reason = cause.reasons.length === 1 ? cause.reasons.find(Cause.isDieReason) : undefined;
+            return reason?.defect instanceof ExecutionIdentityConflict
+                ? Effect.fail(reason.defect)
+                : Effect.failCause(cause);
+        }))))))).pipe(Effect.withSpan(`${this._tag}.execute`, {}, { captureStackTrace: false }));
+    },
+    start(payload) {
+        return Effect.flatMap(Crypto.Crypto, (crypto) => Effect.flatMap(Effect.orDie(crypto.randomUUIDv4), (executionId) => this.execute(payload, { executionId, discard: true })));
+    },
+    ensure(payload, options) {
+        return Schema.decodeUnknownEffect(Schema.String)(options.key).pipe(Effect.flatMap((key) => Effect.orDie(Schema.decodeUnknownEffect(Sha256)(JSON.stringify([this._tag, key])))), Effect.flatMap((executionId) => this.execute(payload, { executionId, discard: true })));
+    },
+    poll(executionId) {
+        return Effect.flatMap(FlowRuntime, (engine) => engine.poll(this, executionId)).pipe(Effect.withSpan(`${this._tag}.poll`, { attributes: { executionId } }, { captureStackTrace: false }));
+    },
+    interrupt(executionId) {
+        return Effect.flatMap(FlowRuntime, (engine) => engine.interrupt(this, executionId)).pipe(Effect.withSpan(`${this._tag}.interrupt`, { attributes: { executionId } }, { captureStackTrace: false }));
+    },
+    resume(executionId) {
+        return Effect.flatMap(FlowRuntime, (engine) => engine.resume(this, executionId)).pipe(Effect.withSpan(`${this._tag}.resume`, { attributes: { executionId } }, { captureStackTrace: false }));
+    },
+    executionId(payload) {
+        return Effect.flatMap(
+        // The channel stays never: precomputing callers must validate first, and an invalid payload dies here.
+        Effect.orDie(this.payloadSchema.makeEffect(payload)), (payload) => makeExecutionIdFromPayload(this, payload));
+    },
+    withRollback: ((...args) => withRollback(...args))
+};
+/**
+ * Builds the private prototype from normalized declaration data.
+ *
+ * @since 1.0.0
+ * @private
+ */
+export const makeProto = (options) => {
+    function Flow() { }
+    Object.setPrototypeOf(Flow, Proto);
+    Object.assign(Flow, options);
+    return Flow;
+};
+//# sourceMappingURL=internal.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"internal.js","sourceRoot":"","sources":["../../../src/Flow/internal.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAA;AACvC,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAA;AACvF,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,KAAK,eAAe,MAAM,gCAAgC,CAAA;AAEjE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC;;;;;;;;;;;;GAYG;AACH,MAAM,0BAA0B,GAAG,CACjC,IAAkB,EAClB,OAAgB,EACmB,EAAE;IACrC,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,CAAA;IAC1C,OAAO,cAAc,KAAK,SAAS;QACjC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,kFAAkF;QAClF,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACjH,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CACzB,IAAkB,EAClB,OAAgB,EAChB,WAA+B,EACI,EAAE,CACrC,WAAW,KAAK,SAAS;IACvB,CAAC,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC;IAC3C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAEjC,MAAM,KAAK,GAAG;IACZ,CAAC,MAAM,CAAC,EAAE,MAAM;IAChB,QAAQ,CAAqB,GAA0B,EAAE,KAAU;QACjE,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC;YACtD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,aAAa,CAAqB,OAA6B;QAC7D,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAAC;YACR,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC;YACrD,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;YAC/C,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,EACF,eAAe,CAAC,UAAU,CAAC,IAAI,CAAC,CACjC,CAAA;IACH,CAAC;IACD,IAAI,CAAqB,OAAgB;QACvC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IAC1D,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAC5D,CAAC;IACD,EAAE,CAAqB,OAAgB;QACrC,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,CAEL,MAAW,EACX,IAGa;QAEb,qEAAqE;QACrE,uEAAuE;QACvE,uEAAuE;QACvE,4CAA4C;QAC5C,OAAO,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EACzD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,MAAM,CAAC,OAAO,CACZ,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,EACpD,CAAC,WAAW,EAAE,EAAE,CACd,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CACrC,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,mBAAmB,CAAC,EAAE,WAAW,EAAE,CAAC,EAC3C,MAAM,CAAC,OAAO,CAAC,IAAW,EAAE;YAC1B,WAAW;YACX,OAAO;YACP,OAAO,EAAE,IAAI,EAAE,OAAO;YACtB,oBAAoB,EAAE,IAAI,CAAC,oBAAoB;SAChD,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,EAAE;YAClC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7F,OAAO,MAAM,EAAE,MAAM,YAAY,yBAAyB;gBACxD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC,CAAC,CAAC,CACJ,CAAC,CACP,CACF,CACF,CAAC,IAAI,CACJ,MAAM,CAAC,QAAQ,CACb,GAAG,IAAI,CAAC,IAAI,UAAU,EACtB,EAAE,EACF,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAC7B,CACK,CAAA;IACV,CAAC;IACD,KAAK,CAAqB,OAAgB;QACxC,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,MAAM,EACb,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,OAAO,CACZ,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EACjC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CACvE,CACJ,CAAA;IACH,CAAC;IACD,MAAM,CAAqB,OAAgB,EAAE,OAAiC;QAC5E,OAAO,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3G,MAAM,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CACvF,CAAA;IACH,CAAC;IACD,IAAI,CAAmE,WAAmB;QACxF,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACjF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACpG,CAAA;IACH,CAAC;IACD,SAAS,CAAqB,WAAmB;QAC/C,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACtF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,YAAY,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACzG,CAAA;IACH,CAAC;IACD,MAAM,CAAmE,WAAmB;QAC1F,OAAO,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CACnF,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,IAAI,SAAS,EAAE,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CACtG,CAAA;IACH,CAAC;IACD,WAAW,CAAqB,OAAY;QAC1C,OAAO,MAAM,CAAC,OAAO;QACnB,uGAAuG;QACvG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EACpD,CAAC,OAAO,EAAE,EAAE,CAAC,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,CACvD,CAAA;IACH,CAAC;IACD,YAAY,EAAE,CAAC,CAAC,GAAG,IAAwB,EAAE,EAAE,CAAE,YAAoB,CAAC,GAAG,IAAI,CAAC,CAAC;CAChF,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAOvB,OAcC,EAC6C,EAAE;IAChD,SAAS,IAAI,KAAI,CAAC;IAClB,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAClC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAC5B,OAAO,IAAW,CAAA;AACpB,CAAC,CAAA","sourcesContent":["/**\n * Private flow construction shared by declarations and action registration.\n *\n * @since 1.0.0\n * @private\n */\n\nimport { Sha256 } from \"@smthrs/crypto\"\nimport * as Node from \"@smthrs/plan/Node\"\nimport * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Crypto from \"effect/Crypto\"\nimport type * as Duration from \"effect/Duration\"\nimport * as Effect from \"effect/Effect\"\nimport * as Schema from \"effect/Schema\"\nimport { ExecutionIdentityConflict } from \"../FlowRuntime/ExecutionIdentityConflict.ts\"\nimport { FlowRuntime } from \"../FlowRuntime/FlowRuntime.ts\"\nimport * as DeclarationSite from \"../internal/DeclarationSite.ts\"\nimport type * as RetryPolicy from \"../RetryPolicy.ts\"\nimport { CurrentExecutionIds } from \"./ExecutionIds.ts\"\nimport type { Any, AnyStructSchema, AnyWithProps, BodySuccess, DeclarationMetadata, Flow } from \"./Flow.ts\"\nimport type { To } from \"./Outcome.ts\"\nimport { withRollback } from \"./Runtime.ts\"\nimport { TypeId } from \"./TypeId.ts\"\n\n/**\n * The identity of an invocation that named no `executionId`: the flow's own\n * declared key when it has one, and the ambient source otherwise.\n *\n * A declared key wins over the ambient source because it is the narrower\n * statement — this author said what makes two invocations of THIS flow the\n * same — where the source is the host's blanket answer for every flow it\n * drives.\n *\n * The tag and declared key are JSON-tuple framed before hashing. Their strings\n * are used exactly as given and encoded as UTF-8, with no Unicode\n * normalization. This preimage encoding freezes at rc.0.\n */\nconst makeExecutionIdFromPayload = (\n  self: AnyWithProps,\n  payload: unknown\n): Effect.Effect<string, never, any> => {\n  const idempotencyKey = self.idempotencyKey\n  return idempotencyKey === undefined\n    ? Effect.flatMap(CurrentExecutionIds, (source) => source.mint(self, payload))\n    // The JSON tuple prevents delimiter splicing. This exact framing freezes at rc.0.\n    : Schema.decodeUnknownEffect(Sha256)(JSON.stringify([self._tag, idempotencyKey(payload)])).pipe(Effect.orDie)\n}\n\nconst resolveExecutionId = (\n  self: AnyWithProps,\n  payload: unknown,\n  executionId: string | undefined\n): Effect.Effect<string, never, any> =>\n  executionId === undefined\n    ? makeExecutionIdFromPayload(self, payload)\n    : Effect.succeed(executionId)\n\nconst Proto = {\n  [TypeId]: TypeId,\n  annotate(this: AnyWithProps, tag: Context.Key<any, any>, value: any) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.add(this.annotations, tag, value),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  annotateMerge(this: AnyWithProps, context: Context.Context<any>) {\n    return DeclarationSite.annotate(\n      makeProto({\n        _tag: this._tag,\n        description: this.description,\n        model: this.model,\n        effort: this.effort,\n        system: this.system,\n        chat: this.chat,\n        flows: this.flows,\n        prompt: this.prompt,\n        action: this.action,\n        payloadSchema: this.payloadSchema,\n        successSchema: this.successSchema,\n        errorSchema: this.errorSchema,\n        annotations: Context.merge(this.annotations, context),\n        body: this.body,\n        idempotencyKey: this.idempotencyKey,\n        suspendedRetryPolicy: this.suspendedRetryPolicy,\n        maxRounds: this.maxRounds,\n        deadline: this.deadline\n      }),\n      DeclarationSite.declaredAt(this)\n    )\n  },\n  call(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"inline\", payload)\n  },\n  child(this: AnyWithProps, payload: unknown) {\n    return Node.flowCall(this, this._tag, \"boundary\", payload)\n  },\n  to(this: AnyWithProps, payload: unknown): Node.Node<To<unknown>> {\n    return Node.flowCall(this, this._tag, \"handoff\", payload)\n  },\n  execute<const Discard extends boolean = false>(\n    this: AnyWithProps,\n    fields: any,\n    opts?: {\n      readonly discard?: Discard\n      readonly executionId?: string | undefined\n    } | undefined\n  ) {\n    // Caller input that fails the payload schema is data, not programmer\n    // wiring, so it FAILS with the schema's typed `SchemaError` — carrying\n    // the offending field path — instead of dying with the raw constructor\n    // throw `payloadSchema.make` would produce.\n    return this.payloadSchema.makeEffect(fields).pipe(\n      Effect.mapError((issue) => new Schema.SchemaError(issue)),\n      Effect.flatMap((payload) =>\n        Effect.flatMap(\n          resolveExecutionId(this, payload, opts?.executionId),\n          (executionId) =>\n            Effect.flatMap(FlowRuntime, (engine) =>\n              Effect.andThen(\n                Effect.annotateCurrentSpan({ executionId }),\n                engine.execute(this as any, {\n                  executionId,\n                  payload,\n                  discard: opts?.discard,\n                  suspendedRetryPolicy: this.suspendedRetryPolicy\n                }).pipe(Effect.catchCause((cause) => {\n                  const reason = cause.reasons.length === 1 ? cause.reasons.find(Cause.isDieReason) : undefined\n                  return reason?.defect instanceof ExecutionIdentityConflict\n                    ? Effect.fail(reason.defect)\n                    : Effect.failCause(cause)\n                }))\n              ))\n        )\n      )\n    ).pipe(\n      Effect.withSpan(\n        `${this._tag}.execute`,\n        {},\n        { captureStackTrace: false }\n      )\n    ) as any\n  },\n  start(this: AnyWithProps, payload: unknown) {\n    return Effect.flatMap(\n      Crypto.Crypto,\n      (crypto) =>\n        Effect.flatMap(\n          Effect.orDie(crypto.randomUUIDv4),\n          (executionId) => this.execute(payload, { executionId, discard: true })\n        )\n    )\n  },\n  ensure(this: AnyWithProps, payload: unknown, options: { readonly key: string }) {\n    return Schema.decodeUnknownEffect(Schema.String)(options.key).pipe(\n      Effect.flatMap((key) => Effect.orDie(Schema.decodeUnknownEffect(Sha256)(JSON.stringify([this._tag, key])))),\n      Effect.flatMap((executionId) => this.execute(payload, { executionId, discard: true }))\n    )\n  },\n  poll(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.poll(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.poll`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  interrupt(this: AnyWithProps, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.interrupt(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.interrupt`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  resume(this: Flow<string, AnyStructSchema, Schema.Top, Schema.Top, any>, executionId: string) {\n    return Effect.flatMap(FlowRuntime, (engine) => engine.resume(this, executionId)).pipe(\n      Effect.withSpan(`${this._tag}.resume`, { attributes: { executionId } }, { captureStackTrace: false })\n    )\n  },\n  executionId(this: AnyWithProps, payload: any) {\n    return Effect.flatMap(\n      // The channel stays never: precomputing callers must validate first, and an invalid payload dies here.\n      Effect.orDie(this.payloadSchema.makeEffect(payload)),\n      (payload) => makeExecutionIdFromPayload(this, payload)\n    )\n  },\n  withRollback: ((...args: ReadonlyArray<any>) => (withRollback as any)(...args))\n}\n\n/**\n * Builds the private prototype from normalized declaration data.\n *\n * @since 1.0.0\n * @private\n */\nexport const makeProto = <\n  const Tag extends string,\n  Payload extends AnyStructSchema,\n  Success extends Schema.Top,\n  Error extends Schema.Top,\n  Requires\n>(\n  options: DeclarationMetadata & {\n    readonly _tag: Tag\n    readonly description?: string | undefined\n    readonly payloadSchema: Payload\n    readonly successSchema: Success\n    readonly errorSchema: Error\n    readonly annotations: Context.Context<never>\n    readonly body: (payload: Payload[\"Type\"]) => Node.Node<BodySuccess<Success[\"Type\"]>, Error[\"Type\"], Requires>\n    readonly prompt?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly action?: Any[\"action\"] | undefined\n    readonly idempotencyKey?: ((payload: Payload[\"Type\"]) => string) | undefined\n    readonly suspendedRetryPolicy?: RetryPolicy.RetryPolicy | undefined\n    readonly maxRounds?: number | undefined\n    readonly deadline?: Duration.Duration | undefined\n  }\n): Flow<Tag, Payload, Success, Error, Requires> => {\n  function Flow() {}\n  Object.setPrototypeOf(Flow, Proto)\n  Object.assign(Flow, options)\n  return Flow as any\n}\n"]}

package/dist/esm/Flow/make.d.ts

@@ -0,0 +1,134 @@
+/**
+ * Constructs executable flow declarations from schema and policy data.
+ *
+ * @since 0.1.0
+ */
+import type * as Effects from "@smthrs/plan/Effects";
+import * as Node from "@smthrs/plan/Node";
+import type * as Context from "effect/Context";
+import * as Duration from "effect/Duration";
+import * as Schema from "effect/Schema";
+import type * as RetryPolicy from "../RetryPolicy.ts";
+import type { Any, AnyStructSchema, BodySuccess, DeclarationMetadata, Flow, PromptFlow } from "./Flow.ts";
+/**
+ * The declaration data every flow takes beside its body.
+ *
+ * @private
+ */
+interface MakeOptions<Payload extends Schema.Struct.Fields | AnyStructSchema, Success extends Schema.Top, Error extends Schema.Top> extends DeclarationMetadata {
+    readonly payload: Payload;
+    /**
+     * Native declaration whose source location this reconstructed flow retains.
+     * A source with no recorded location preserves that absence. This affects
+     * diagnostics only, never identity; the new flow keeps its own body and calls.
+     */
+    readonly declaredFrom?: object | undefined;
+    /**
+     * One sentence saying what this flow does, read by a catalog that lists it.
+     */
+    readonly description?: string | undefined;
+    /**
+     * The capability ceiling this flow's body runs under, as string literals.
+     *
+     * It is the same ceiling {@link Annotations.Capabilities} carries, and
+     * declaring it here is what makes it READABLE without importing the module:
+     * a catalog projects a discovered flow's authority from the declaration, and
+     * an annotation built at run time is invisible to that projection.
+     */
+    readonly capabilities?: ReadonlyArray<string> | undefined;
+    /**
+     * The effect envelope this flow's body runs under, as a literal.
+     *
+     * It is the same declaration {@link Annotations.EffectEnvelope} carries, and
+     * declaring it here is what makes it READABLE without importing the module,
+     * exactly as `capabilities` is: a catalog projects a discovered flow's
+     * authority from the source text of this literal, and an annotation built at
+     * run time is invisible to that projection.
+     *
+     * {@link module:Graph.build} refuses a composition beneath this flow that
+     * reads or writes outside the envelope, loosens `hermetic` to `expected`, or
+     * raises the tier. `reads` and `writes` are normalized to sorted,
+     * duplicate-free arrays, so two spellings of one envelope are one envelope.
+     */
+    readonly effects?: Effects.MakeOptions | undefined;
+    /**
+     * Whether a catalog may offer this flow to a model, as a literal. Defaults
+     * to `true`.
+     *
+     * It is the same statement {@link Annotations.ModelInvocable} carries, and
+     * declaring it here is what makes it READABLE without importing the module,
+     * exactly as `capabilities` and `effects` are: a registry projects a
+     * discovered flow's visibility from the source text of this literal onto the
+     * descriptor it lists, and an annotation built at run time is invisible to
+     * that projection.
+     *
+     * Declare `false` when the actions this flow's body calls are implemented by
+     * one host only. The file is discoverable wherever it sits, so a catalog
+     * elsewhere would otherwise teach an agent a call with no implementation to
+     * reach.
+     */
+    readonly modelInvocable?: boolean | undefined;
+    readonly idempotencyKey?: ((payload: Payload extends Schema.Struct.Fields ? Schema.Struct.Type<Payload> : Payload["Type"]) => string) | undefined;
+    readonly success?: Success;
+    readonly error?: Error;
+    readonly suspendedRetryPolicy?: RetryPolicy.RetryPolicy | undefined;
+    /**
+     * The round budget a trampoline lineage started from this flow runs under.
+     */
+    readonly maxRounds?: number | undefined;
+    /**
+     * How long one execution may take, counted from its journaled first start.
+     * A positive finite duration; see {@link Flow.deadline}.
+     */
+    readonly deadline?: Duration.Input | undefined;
+    readonly annotations?: Context.Context<never>;
+}
+/**
+ * The pure plan-time body, typed with the decoded payload.
+ *
+ * @private
+ */
+type Body<Payload extends Schema.Struct.Fields | AnyStructSchema, Success extends Schema.Top, Error extends Schema.Top, Requires> = (payload: Payload extends Schema.Struct.Fields ? Schema.Struct.Type<Payload> : Payload["Type"]) => Node.Node<BodySuccess<Success["Type"]>, Error["Type"], Requires>;
+/**
+ * The payload schema a declaration's `payload` field stands for.
+ *
+ * @private
+ */
+type PayloadSchemaOf<Payload extends Schema.Struct.Fields | AnyStructSchema> = Payload extends Schema.Struct.Fields ? Schema.Struct<Payload> : Payload;
+/**
+ * Whether a value is a flow this package made.
+ *
+ * The check is the runtime type id, not the shape: a host that loads a module
+ * and finds a default export has to decide whether it holds a flow before it
+ * reads anything off it, and a structural guess would accept a look-alike from
+ * another flow model.
+ *
+ * @category predicates
+ * @since 0.1.0
+ */
+export declare const isFlow: (value: unknown) => value is Any;
+/**
+ * Creates a durable flow with one plan-time body or a typed prompt renderer.
+ * A prompt lowers to one ordinary action implemented by the host; neither
+ * construction nor planning renders it. Model metadata is interpreted by the
+ * host and adds no execution model to this package.
+ *
+ * Invocation IDs are caller-selected or opt-in deterministic IDs derived
+ * from the flow tag and idempotency key.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export declare const make: {
+    <const Tag extends string, Payload extends Schema.Struct.Fields | AnyStructSchema, Success extends Schema.Top = Schema.Void, Error extends Schema.Top = Schema.Never, Requires = never>(tag: Tag, options: MakeOptions<Payload, Success, Error> & {
+        readonly body: Body<Payload, Success, Error, Requires>;
+        readonly prompt?: never;
+    }): Flow<Tag, PayloadSchemaOf<Payload>, Success, Error, Requires>;
+    <const Tag extends string, Payload extends Schema.Struct.Fields | AnyStructSchema, Success extends Schema.Top = Schema.Void, Error extends Schema.Top = Schema.Never>(tag: Tag, options: MakeOptions<Payload, Success, Error> & {
+        readonly prompt: (payload: PayloadSchemaOf<Payload>["Type"]) => string;
+        readonly body?: never;
+        readonly implementationVersion?: string | undefined;
+    }): PromptFlow<Tag, PayloadSchemaOf<Payload>, Success, Error>;
+};
+export {};
+//# sourceMappingURL=make.d.ts.map

package/dist/esm/Flow/make.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"make.d.ts","sourceRoot":"","sources":["../../../src/Flow/make.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,OAAO,MAAM,sBAAsB,CAAA;AACpD,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AACzC,OAAO,KAAK,KAAK,OAAO,MAAM,gBAAgB,CAAA;AAC9C,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAG3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAKvC,OAAO,KAAK,KAAK,WAAW,MAAM,mBAAmB,CAAA;AACrD,OAAO,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAIzG;;;;GAIG;AACH,UAAU,WAAW,CACnB,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,EACtD,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,CACxB,SAAQ,mBAAmB;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAC1C;;OAEG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzC;;;;;;;OAOG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAA;IACzD;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,WAAW,GAAG,SAAS,CAAA;IAClD;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IAC7C,QAAQ,CAAC,cAAc,CAAC,EACpB,CAAC,CACD,OAAO,EAAE,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GACvE,OAAO,CAAC,MAAM,CAAC,KAChB,MAAM,CAAC,GACV,SAAS,CAAA;IACb,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAA;IACtB,QAAQ,CAAC,oBAAoB,CAAC,EAAE,WAAW,CAAC,WAAW,GAAG,SAAS,CAAA;IACnE;;OAEG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACvC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAA;IAC9C,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;CAC9C;AAED;;;;GAIG;AACH,KAAK,IAAI,CACP,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,EACtD,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,SAAS,MAAM,CAAC,GAAG,EACxB,QAAQ,IACN,CACF,OAAO,EAAE,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,KAC1F,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAA;AAErE;;;;GAIG;AACH,KAAK,eAAe,CAAC,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,IAAI,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAC/G,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GACtB,OAAO,CAAA;AAEX;;;;;;;;;;GAUG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,GAA2C,CAAA;AAE5F;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CACE,KAAK,CAAC,GAAG,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,EACtD,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,EACxC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,EACvC,QAAQ,GAAG,KAAK,EAEhB,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG;QAC9C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;QACtD,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAA;KACxB,GACA,IAAI,CAAC,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;IAChE,CACE,KAAK,CAAC,GAAG,SAAS,MAAM,EACxB,OAAO,SAAS,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,eAAe,EACtD,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,IAAI,EACxC,KAAK,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,KAAK,EAEvC,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,GAAG;QAC9C,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,MAAM,CAAA;QACtE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,CAAA;QACrB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;KACpD,GACA,UAAU,CAAC,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;CAiG7D,CAAA"}

package/dist/esm/Flow/make.js

@@ -0,0 +1,106 @@
+// Deep reviewed and polished by a human on 2026-08-10.
+import * as Node from "@smthrs/plan/Node";
+import * as Duration from "effect/Duration";
+import * as Option from "effect/Option";
+import * as Predicate from "effect/Predicate";
+import * as Schema from "effect/Schema";
+import * as Action from "../Action/make.js";
+import { lowerDeclarations } from "../internal/Declarations.js";
+import * as DeclarationSite from "../internal/DeclarationSite.js";
+import { makeProto } from "./internal.js";
+import { TypeId } from "./TypeId.js";
+/**
+ * Whether a value is a flow this package made.
+ *
+ * The check is the runtime type id, not the shape: a host that loads a module
+ * and finds a default export has to decide whether it holds a flow before it
+ * reads anything off it, and a structural guess would accept a look-alike from
+ * another flow model.
+ *
+ * @category predicates
+ * @since 0.1.0
+ */
+export const isFlow = (value) => Predicate.hasProperty(value, TypeId);
+/**
+ * Creates a durable flow with one plan-time body or a typed prompt renderer.
+ * A prompt lowers to one ordinary action implemented by the host; neither
+ * construction nor planning renders it. Model metadata is interpreted by the
+ * host and adds no execution model to this package.
+ *
+ * Invocation IDs are caller-selected or opt-in deterministic IDs derived
+ * from the flow tag and idempotency key.
+ *
+ * @category constructors
+ * @since 0.1.0
+ */
+export const make = (tag, options) => {
+    if (typeof tag !== "string" || tag.trim().length === 0) {
+        throw new TypeError("Flow.make: tag must be a non-empty string");
+    }
+    if ((options.body === undefined && typeof options.prompt !== "function") ||
+        (options.prompt === undefined && typeof options.body !== "function") ||
+        (options.body !== undefined && options.prompt !== undefined)) {
+        throw new TypeError(`Flow.make: "${tag}" must declare exactly one function: body or prompt`);
+    }
+    // Invalid static configuration is a programmer error thrown at construction,
+    // the same contract as effect's own `ExecutionPlan.make` (which throws on
+    // `attempts <= 0`); `RangeError` matches effect's range-violation throws.
+    if (options.maxRounds !== undefined &&
+        (!Number.isSafeInteger(options.maxRounds) || options.maxRounds < 1)) {
+        throw new RangeError(`Flow.make: "${tag}" maxRounds must be a positive safe integer`);
+    }
+    const deadline = options.deadline === undefined
+        ? undefined
+        : Option.getOrUndefined(Duration.fromInput(options.deadline));
+    if (options.deadline !== undefined &&
+        (deadline === undefined || !Duration.isFinite(deadline) || Duration.toMillis(deadline) <= 0)) {
+        throw new RangeError(`Flow.make: "${tag}" deadline must be a positive finite duration`);
+    }
+    // Captured here, where the stack still names the author's file, and carried
+    // as a non-enumerable property so no digest can see it
+    // (`internal/DeclarationSite.ts`).
+    const site = options.declaredFrom === undefined
+        ? DeclarationSite.capture()
+        : DeclarationSite.declaredAt(options.declaredFrom);
+    const payloadSchema = (Schema.isSchema(options.payload)
+        ? options.payload
+        : Schema.Struct(options.payload));
+    const successSchema = options.success ?? Schema.Void;
+    const errorSchema = options.error ?? Schema.Never;
+    const annotations = lowerDeclarations(options);
+    const action = options.prompt === undefined ? undefined : Action.make(`${tag}/prompt`, {
+        payload: payloadSchema,
+        success: successSchema,
+        error: errorSchema,
+        capabilities: options.capabilities,
+        effects: options.effects,
+        annotations,
+        tier: options.effects?.tier ?? "irreversible",
+        implementationVersion: options.implementationVersion,
+        declaredFrom: options.declaredFrom
+    });
+    // The adapter only describes one dispatch. Prompt rendering belongs to the
+    // host implementation and its reviewed source/implementation identity.
+    const body = action === undefined ? options.body : Node.capture({ action: action.name, implementationVersion: action.implementationVersion ?? null }, (payload) => action.call(payload));
+    return DeclarationSite.annotate(makeProto({
+        _tag: tag,
+        description: options.description,
+        payloadSchema,
+        successSchema,
+        errorSchema,
+        annotations,
+        model: options.model,
+        effort: options.effort,
+        system: options.system,
+        chat: options.chat,
+        flows: options.flows,
+        prompt: options.prompt,
+        action,
+        body: body,
+        idempotencyKey: options.idempotencyKey,
+        suspendedRetryPolicy: options.suspendedRetryPolicy,
+        maxRounds: options.maxRounds,
+        deadline
+    }), site);
+};
+//# sourceMappingURL=make.js.map

package/dist/esm/Flow/make.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"make.js","sourceRoot":"","sources":["../../../src/Flow/make.ts"],"names":[],"mappings":"AAAA,uDAAuD;AASvD,OAAO,KAAK,IAAI,MAAM,mBAAmB,CAAA;AAEzC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAA;AAC/D,OAAO,KAAK,eAAe,MAAM,gCAAgC,CAAA;AAGjE,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AA4GpC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAgB,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AAE5F;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,IAAI,GA2Bb,CAOF,GAAQ,EACR,OAIC,EACI,EAAE;IACP,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAA;IAClE,CAAC;IACD,IACE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC;QACpE,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC;QACpE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,EAC5D,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,eAAe,GAAG,qDAAqD,CAAC,CAAA;IAC9F,CAAC;IACD,6EAA6E;IAC7E,0EAA0E;IAC1E,0EAA0E;IAC1E,IACE,OAAO,CAAC,SAAS,KAAK,SAAS;QAC/B,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC,EACnE,CAAC;QACD,MAAM,IAAI,UAAU,CAAC,eAAe,GAAG,6CAA6C,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,SAAS;QAC7C,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC/D,IACE,OAAO,CAAC,QAAQ,KAAK,SAAS;QAC9B,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAC5F,CAAC;QACD,MAAM,IAAI,UAAU,CAAC,eAAe,GAAG,+CAA+C,CAAC,CAAA;IACzF,CAAC;IACD,4EAA4E;IAC5E,uDAAuD;IACvD,mCAAmC;IACnC,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS;QAC7C,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE;QAC3B,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAA;IACpD,MAAM,aAAa,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;QACrD,CAAC,CAAC,OAAO,CAAC,OAAO;QACjB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAc,CAAC,CAA6B,CAAA;IACtE,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,IAAK,MAAM,CAAC,IAA2B,CAAA;IAC5E,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,IAAK,MAAM,CAAC,KAA0B,CAAA;IACvE,MAAM,WAAW,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,SAAS,EAAE;QACrF,OAAO,EAAE,aAAa;QACtB,OAAO,EAAE,aAAa;QACtB,KAAK,EAAE,WAAW;QAClB,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,WAAW;QACX,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,IAAI,cAAc;QAC7C,qBAAqB,EAAE,OAAO,CAAC,qBAAqB;QACpD,YAAY,EAAE,OAAO,CAAC,YAAY;KACnC,CAAmF,CAAA;IACpF,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAC7D,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,qBAAqB,EAAE,MAAM,CAAC,qBAAqB,IAAI,IAAI,EAAE,EACpF,CAAC,OAAyC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAgB,CAAC,CAC7E,CAAA;IACD,OAAO,eAAe,CAAC,QAAQ,CAC7B,SAAS,CAA0D;QACjE,IAAI,EAAE,GAAG;QACT,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,aAAa;QACb,aAAa;QACb,WAAW;QACX,WAAW;QACX,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,MAAM;QACN,IAAI,EAAE,IAE+D;QACrE,cAAc,EAAE,OAAO,CAAC,cAAqB;QAC7C,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,QAAQ;KACT,CAAC,EACF,IAAI,CACL,CAAA;AACH,CAAC,CAAA","sourcesContent":["// Deep reviewed and polished by a human on 2026-08-10.\n\n/**\n * Constructs executable flow declarations from schema and policy data.\n *\n * @since 0.1.0\n */\n\nimport type * as Effects from \"@smthrs/plan/Effects\"\nimport * as Node from \"@smthrs/plan/Node\"\nimport type * as Context from \"effect/Context\"\nimport * as Duration from \"effect/Duration\"\nimport * as Option from \"effect/Option\"\nimport * as Predicate from \"effect/Predicate\"\nimport * as Schema from \"effect/Schema\"\nimport type { Declared } from \"../Action/Action.ts\"\nimport * as Action from \"../Action/make.ts\"\nimport { lowerDeclarations } from \"../internal/Declarations.ts\"\nimport * as DeclarationSite from \"../internal/DeclarationSite.ts\"\nimport type * as RetryPolicy from \"../RetryPolicy.ts\"\nimport type { Any, AnyStructSchema, BodySuccess, DeclarationMetadata, Flow, PromptFlow } from \"./Flow.ts\"\nimport { makeProto } from \"./internal.ts\"\nimport { TypeId } from \"./TypeId.ts\"\n\n/**\n * The declaration data every flow takes beside its body.\n *\n * @private\n */\ninterface MakeOptions<\n  Payload extends Schema.Struct.Fields | AnyStructSchema,\n  Success extends Schema.Top,\n  Error extends Schema.Top\n> extends DeclarationMetadata {\n  readonly payload: Payload\n  /**\n   * Native declaration whose source location this reconstructed flow retains.\n   * A source with no recorded location preserves that absence. This affects\n   * diagnostics only, never identity; the new flow keeps its own body and calls.\n   */\n  readonly declaredFrom?: object | undefined\n  /**\n   * One sentence saying what this flow does, read by a catalog that lists it.\n   */\n  readonly description?: string | undefined\n  /**\n   * The capability ceiling this flow's body runs under, as string literals.\n   *\n   * It is the same ceiling {@link Annotations.Capabilities} carries, and\n   * declaring it here is what makes it READABLE without importing the module:\n   * a catalog projects a discovered flow's authority from the declaration, and\n   * an annotation built at run time is invisible to that projection.\n   */\n  readonly capabilities?: ReadonlyArray<string> | undefined\n  /**\n   * The effect envelope this flow's body runs under, as a literal.\n   *\n   * It is the same declaration {@link Annotations.EffectEnvelope} carries, and\n   * declaring it here is what makes it READABLE without importing the module,\n   * exactly as `capabilities` is: a catalog projects a discovered flow's\n   * authority from the source text of this literal, and an annotation built at\n   * run time is invisible to that projection.\n   *\n   * {@link module:Graph.build} refuses a composition beneath this flow that\n   * reads or writes outside the envelope, loosens `hermetic` to `expected`, or\n   * raises the tier. `reads` and `writes` are normalized to sorted,\n   * duplicate-free arrays, so two spellings of one envelope are one envelope.\n   */\n  readonly effects?: Effects.MakeOptions | undefined\n  /**\n   * Whether a catalog may offer this flow to a model, as a literal. Defaults\n   * to `true`.\n   *\n   * It is the same statement {@link Annotations.ModelInvocable} carries, and\n   * declaring it here is what makes it READABLE without importing the module,\n   * exactly as `capabilities` and `effects` are: a registry projects a\n   * discovered flow's visibility from the source text of this literal onto the\n   * descriptor it lists, and an annotation built at run time is invisible to\n   * that projection.\n   *\n   * Declare `false` when the actions this flow's body calls are implemented by\n   * one host only. The file is discoverable wherever it sits, so a catalog\n   * elsewhere would otherwise teach an agent a call with no implementation to\n   * reach.\n   */\n  readonly modelInvocable?: boolean | undefined\n  readonly idempotencyKey?:\n    | ((\n      payload: Payload extends Schema.Struct.Fields ? Schema.Struct.Type<Payload>\n        : Payload[\"Type\"]\n    ) => string)\n    | undefined\n  readonly success?: Success\n  readonly error?: Error\n  readonly suspendedRetryPolicy?: RetryPolicy.RetryPolicy | undefined\n  /**\n   * The round budget a trampoline lineage started from this flow runs under.\n   */\n  readonly maxRounds?: number | undefined\n  /**\n   * How long one execution may take, counted from its journaled first start.\n   * A positive finite duration; see {@link Flow.deadline}.\n   */\n  readonly deadline?: Duration.Input | undefined\n  readonly annotations?: Context.Context<never>\n}\n\n/**\n * The pure plan-time body, typed with the decoded payload.\n *\n * @private\n */\ntype Body<\n  Payload extends Schema.Struct.Fields | AnyStructSchema,\n  Success extends Schema.Top,\n  Error extends Schema.Top,\n  Requires\n> = (\n  payload: Payload extends Schema.Struct.Fields ? Schema.Struct.Type<Payload> : Payload[\"Type\"]\n) => Node.Node<BodySuccess<Success[\"Type\"]>, Error[\"Type\"], Requires>\n\n/**\n * The payload schema a declaration's `payload` field stands for.\n *\n * @private\n */\ntype PayloadSchemaOf<Payload extends Schema.Struct.Fields | AnyStructSchema> = Payload extends Schema.Struct.Fields\n  ? Schema.Struct<Payload>\n  : Payload\n\n/**\n * Whether a value is a flow this package made.\n *\n * The check is the runtime type id, not the shape: a host that loads a module\n * and finds a default export has to decide whether it holds a flow before it\n * reads anything off it, and a structural guess would accept a look-alike from\n * another flow model.\n *\n * @category predicates\n * @since 0.1.0\n */\nexport const isFlow = (value: unknown): value is Any => Predicate.hasProperty(value, TypeId)\n\n/**\n * Creates a durable flow with one plan-time body or a typed prompt renderer.\n * A prompt lowers to one ordinary action implemented by the host; neither\n * construction nor planning renders it. Model metadata is interpreted by the\n * host and adds no execution model to this package.\n *\n * Invocation IDs are caller-selected or opt-in deterministic IDs derived\n * from the flow tag and idempotency key.\n *\n * @category constructors\n * @since 0.1.0\n */\nexport const make: {\n  <\n    const Tag extends string,\n    Payload extends Schema.Struct.Fields | AnyStructSchema,\n    Success extends Schema.Top = Schema.Void,\n    Error extends Schema.Top = Schema.Never,\n    Requires = never\n  >(\n    tag: Tag,\n    options: MakeOptions<Payload, Success, Error> & {\n      readonly body: Body<Payload, Success, Error, Requires>\n      readonly prompt?: never\n    }\n  ): Flow<Tag, PayloadSchemaOf<Payload>, Success, Error, Requires>\n  <\n    const Tag extends string,\n    Payload extends Schema.Struct.Fields | AnyStructSchema,\n    Success extends Schema.Top = Schema.Void,\n    Error extends Schema.Top = Schema.Never\n  >(\n    tag: Tag,\n    options: MakeOptions<Payload, Success, Error> & {\n      readonly prompt: (payload: PayloadSchemaOf<Payload>[\"Type\"]) => string\n      readonly body?: never\n      readonly implementationVersion?: string | undefined\n    }\n  ): PromptFlow<Tag, PayloadSchemaOf<Payload>, Success, Error>\n} = <\n  const Tag extends string,\n  Payload extends Schema.Struct.Fields | AnyStructSchema,\n  Success extends Schema.Top = Schema.Void,\n  Error extends Schema.Top = Schema.Never,\n  Requires = never\n>(\n  tag: Tag,\n  options: MakeOptions<Payload, Success, Error> & {\n    readonly body?: Body<Payload, Success, Error, Requires> | undefined\n    readonly prompt?: ((payload: PayloadSchemaOf<Payload>[\"Type\"]) => string) | undefined\n    readonly implementationVersion?: string | undefined\n  }\n): any => {\n  if (typeof tag !== \"string\" || tag.trim().length === 0) {\n    throw new TypeError(\"Flow.make: tag must be a non-empty string\")\n  }\n  if (\n    (options.body === undefined && typeof options.prompt !== \"function\") ||\n    (options.prompt === undefined && typeof options.body !== \"function\") ||\n    (options.body !== undefined && options.prompt !== undefined)\n  ) {\n    throw new TypeError(`Flow.make: \"${tag}\" must declare exactly one function: body or prompt`)\n  }\n  // Invalid static configuration is a programmer error thrown at construction,\n  // the same contract as effect's own `ExecutionPlan.make` (which throws on\n  // `attempts <= 0`); `RangeError` matches effect's range-violation throws.\n  if (\n    options.maxRounds !== undefined &&\n    (!Number.isSafeInteger(options.maxRounds) || options.maxRounds < 1)\n  ) {\n    throw new RangeError(`Flow.make: \"${tag}\" maxRounds must be a positive safe integer`)\n  }\n  const deadline = options.deadline === undefined\n    ? undefined\n    : Option.getOrUndefined(Duration.fromInput(options.deadline))\n  if (\n    options.deadline !== undefined &&\n    (deadline === undefined || !Duration.isFinite(deadline) || Duration.toMillis(deadline) <= 0)\n  ) {\n    throw new RangeError(`Flow.make: \"${tag}\" deadline must be a positive finite duration`)\n  }\n  // Captured here, where the stack still names the author's file, and carried\n  // as a non-enumerable property so no digest can see it\n  // (`internal/DeclarationSite.ts`).\n  const site = options.declaredFrom === undefined\n    ? DeclarationSite.capture()\n    : DeclarationSite.declaredAt(options.declaredFrom)\n  const payloadSchema = (Schema.isSchema(options.payload)\n    ? options.payload\n    : Schema.Struct(options.payload as any)) as PayloadSchemaOf<Payload>\n  const successSchema = options.success ?? (Schema.Void as unknown as Success)\n  const errorSchema = options.error ?? (Schema.Never as unknown as Error)\n  const annotations = lowerDeclarations(options)\n  const action = options.prompt === undefined ? undefined : Action.make(`${tag}/prompt`, {\n    payload: payloadSchema,\n    success: successSchema,\n    error: errorSchema,\n    capabilities: options.capabilities,\n    effects: options.effects,\n    annotations,\n    tier: options.effects?.tier ?? \"irreversible\",\n    implementationVersion: options.implementationVersion,\n    declaredFrom: options.declaredFrom\n  }) as unknown as Declared<`${Tag}/prompt`, PayloadSchemaOf<Payload>, Success, Error>\n  // The adapter only describes one dispatch. Prompt rendering belongs to the\n  // host implementation and its reviewed source/implementation identity.\n  const body = action === undefined ? options.body : Node.capture(\n    { action: action.name, implementationVersion: action.implementationVersion ?? null },\n    (payload: PayloadSchemaOf<Payload>[\"Type\"]) => action.call(payload as never)\n  )\n  return DeclarationSite.annotate(\n    makeProto<Tag, PayloadSchemaOf<Payload>, Success, Error, Requires>({\n      _tag: tag,\n      description: options.description,\n      payloadSchema,\n      successSchema,\n      errorSchema,\n      annotations,\n      model: options.model,\n      effort: options.effort,\n      system: options.system,\n      chat: options.chat,\n      flows: options.flows,\n      prompt: options.prompt,\n      action,\n      body: body as (\n        payload: PayloadSchemaOf<Payload>[\"Type\"]\n      ) => Node.Node<BodySuccess<Success[\"Type\"]>, Error[\"Type\"], Requires>,\n      idempotencyKey: options.idempotencyKey as any,\n      suspendedRetryPolicy: options.suspendedRetryPolicy,\n      maxRounds: options.maxRounds,\n      deadline\n    }),\n    site\n  )\n}\n"]}

package/dist/esm/FlowRuntime/CancelRequestFailed.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Failure raised when a cancellation request could not be made durable.
+ *
+ * @since 0.1.0
+ */
+import * as Schema from "effect/Schema";
+declare const CancelRequestFailed_base: Schema.Class<CancelRequestFailed, Schema.TaggedStruct<"@smthrs/flow/CancelRequestFailed", {
+    /**
+     * Stable public error code. `cancel_request_failed` is a storage failure
+     * on a supported request; `unsafe_interrupt_unsupported` is the durable
+     * engine refusing `interruptUnsafe`, which it does not implement.
+     */
+    readonly code: Schema.Literals<readonly ["cancel_request_failed", "unsafe_interrupt_unsupported"]>;
+    /** The execution whose cancellation could not be recorded. */
+    readonly executionId: Schema.String;
+    /** The storage failure, rendered for an operator. */
+    readonly reason: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * Raised when `interrupt` could not durably record its cancellation request.
+ *
+ * This is a **typed failure**, never a defect, and never swallowed. A durable
+ * runtime records operator intent before it interrupts anything: the record is
+ * what tells the interruption handler that a cancellation happened rather than
+ * a shutdown (issue #26), what survives the requesting process dying, and what
+ * a parked or cross-process run is eventually cancelled by. A durable runtime
+ * records the run and all linked descendants in one transaction. A storage
+ * failure on any write leaves every request unchanged: the run is still
+ * running and still cancellable, so the caller sees this typed failure and can
+ * retry instead of receiving false success.
+ *
+ * A runtime that keeps no durable cancellation record — the in-memory engine —
+ * never raises it, so its `Effect<void>` remains assignable to the widened
+ * contract and no in-memory caller has to handle anything.
+ *
+ * The same error carries the durable engine's refusal of `interruptUnsafe`.
+ * That port promises forced cancellation without cleanup, and the durable
+ * engine has no such path — it has one cancellation path, `interrupt`, which
+ * is durable and cascades to linked children. Answering the unsafe request
+ * with the safe one silently reinterpreted it, so 1.0.0-rc.0 refuses it with
+ * code `unsafe_interrupt_unsupported`. It is the same failure type because it
+ * is the same question — "your cancellation request was not carried out" —
+ * and the code says which of the two reasons applies.
+ *
+ * The error is declared here because it is part of the `interrupt` contract
+ * this package owns; the durable implementation lives in
+ * `@smthrs/engine-store`'s `RunDriver`.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export declare class CancelRequestFailed extends CancelRequestFailed_base {
+}
+export {};
+//# sourceMappingURL=CancelRequestFailed.d.ts.map

package/dist/esm/FlowRuntime/CancelRequestFailed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CancelRequestFailed.d.ts","sourceRoot":"","sources":["../../../src/FlowRuntime/CancelRequestFailed.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;;IAsCnC;;;;OAIG;;IAEH,8DAA8D;;IAE9D,qDAAqD;;;AA5CzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,qBAAa,mBAAoB,SAAQ,wBAcxC;CAAG"}

package/dist/esm/FlowRuntime/CancelRequestFailed.js

@@ -0,0 +1,53 @@
+/**
+ * Failure raised when a cancellation request could not be made durable.
+ *
+ * @since 0.1.0
+ */
+import * as Schema from "effect/Schema";
+/**
+ * Raised when `interrupt` could not durably record its cancellation request.
+ *
+ * This is a **typed failure**, never a defect, and never swallowed. A durable
+ * runtime records operator intent before it interrupts anything: the record is
+ * what tells the interruption handler that a cancellation happened rather than
+ * a shutdown (issue #26), what survives the requesting process dying, and what
+ * a parked or cross-process run is eventually cancelled by. A durable runtime
+ * records the run and all linked descendants in one transaction. A storage
+ * failure on any write leaves every request unchanged: the run is still
+ * running and still cancellable, so the caller sees this typed failure and can
+ * retry instead of receiving false success.
+ *
+ * A runtime that keeps no durable cancellation record — the in-memory engine —
+ * never raises it, so its `Effect<void>` remains assignable to the widened
+ * contract and no in-memory caller has to handle anything.
+ *
+ * The same error carries the durable engine's refusal of `interruptUnsafe`.
+ * That port promises forced cancellation without cleanup, and the durable
+ * engine has no such path — it has one cancellation path, `interrupt`, which
+ * is durable and cascades to linked children. Answering the unsafe request
+ * with the safe one silently reinterpreted it, so 1.0.0-rc.0 refuses it with
+ * code `unsafe_interrupt_unsupported`. It is the same failure type because it
+ * is the same question — "your cancellation request was not carried out" —
+ * and the code says which of the two reasons applies.
+ *
+ * The error is declared here because it is part of the `interrupt` contract
+ * this package owns; the durable implementation lives in
+ * `@smthrs/engine-store`'s `RunDriver`.
+ *
+ * @category errors
+ * @since 0.1.0
+ */
+export class CancelRequestFailed extends Schema.TaggedError()("@smthrs/flow/CancelRequestFailed", {
+    /**
+     * Stable public error code. `cancel_request_failed` is a storage failure
+     * on a supported request; `unsafe_interrupt_unsupported` is the durable
+     * engine refusing `interruptUnsafe`, which it does not implement.
+     */
+    code: Schema.Literals(["cancel_request_failed", "unsafe_interrupt_unsupported"]),
+    /** The execution whose cancellation could not be recorded. */
+    executionId: Schema.String,
+    /** The storage failure, rendered for an operator. */
+    reason: Schema.String
+}) {
+}
+//# sourceMappingURL=CancelRequestFailed.js.map

package/dist/esm/FlowRuntime/CancelRequestFailed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CancelRequestFailed.js","sourceRoot":"","sources":["../../../src/FlowRuntime/CancelRequestFailed.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,OAAO,mBAAoB,SAAQ,MAAM,CAAC,WAAW,EAAuB,CAChF,kCAAkC,EAClC;IACE;;;;OAIG;IACH,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,uBAAuB,EAAE,8BAA8B,CAAC,CAAC;IAChF,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC,MAAM;CACtB,CACF;CAAG","sourcesContent":["/**\n * Failure raised when a cancellation request could not be made durable.\n *\n * @since 0.1.0\n */\n\nimport * as Schema from \"effect/Schema\"\n\n/**\n * Raised when `interrupt` could not durably record its cancellation request.\n *\n * This is a **typed failure**, never a defect, and never swallowed. A durable\n * runtime records operator intent before it interrupts anything: the record is\n * what tells the interruption handler that a cancellation happened rather than\n * a shutdown (issue #26), what survives the requesting process dying, and what\n * a parked or cross-process run is eventually cancelled by. A durable runtime\n * records the run and all linked descendants in one transaction. A storage\n * failure on any write leaves every request unchanged: the run is still\n * running and still cancellable, so the caller sees this typed failure and can\n * retry instead of receiving false success.\n *\n * A runtime that keeps no durable cancellation record — the in-memory engine —\n * never raises it, so its `Effect<void>` remains assignable to the widened\n * contract and no in-memory caller has to handle anything.\n *\n * The same error carries the durable engine's refusal of `interruptUnsafe`.\n * That port promises forced cancellation without cleanup, and the durable\n * engine has no such path — it has one cancellation path, `interrupt`, which\n * is durable and cascades to linked children. Answering the unsafe request\n * with the safe one silently reinterpreted it, so 1.0.0-rc.0 refuses it with\n * code `unsafe_interrupt_unsupported`. It is the same failure type because it\n * is the same question — \"your cancellation request was not carried out\" —\n * and the code says which of the two reasons applies.\n *\n * The error is declared here because it is part of the `interrupt` contract\n * this package owns; the durable implementation lives in\n * `@smthrs/engine-store`'s `RunDriver`.\n *\n * @category errors\n * @since 0.1.0\n */\nexport class CancelRequestFailed extends Schema.TaggedError<CancelRequestFailed>()(\n  \"@smthrs/flow/CancelRequestFailed\",\n  {\n    /**\n     * Stable public error code. `cancel_request_failed` is a storage failure\n     * on a supported request; `unsafe_interrupt_unsupported` is the durable\n     * engine refusing `interruptUnsafe`, which it does not implement.\n     */\n    code: Schema.Literals([\"cancel_request_failed\", \"unsafe_interrupt_unsupported\"]),\n    /** The execution whose cancellation could not be recorded. */\n    executionId: Schema.String,\n    /** The storage failure, rendered for an operator. */\n    reason: Schema.String\n  }\n) {}\n"]}

package/dist/esm/FlowRuntime/ExecutionIdentityConflict.d.ts

@@ -0,0 +1,23 @@
+/** Execution identity refusals shared by authoring and engine layers.
+ * @since 1.0.0
+ */
+import * as Schema from "effect/Schema";
+declare const ExecutionIdentityConflict_base: Schema.Class<ExecutionIdentityConflict, Schema.TaggedStruct<"@smthrs/engine/ExecutionIdentityConflict", {
+    readonly code: Schema.withConstructorDefault<Schema.Literal<"execution_identity_conflict">>;
+    readonly executionId: Schema.String;
+    readonly field: Schema.Literals<readonly ["flow", "payload", "capabilities", "lineage", "round", "parent"]>;
+    readonly expected: Schema.String;
+    readonly actual: Schema.String;
+    readonly status: Schema.withConstructorDefault<Schema.Literals<readonly ["pending", "running", "suspended", "completed", "failed", "cancelled", "unknown"]>>;
+    readonly message: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A caller reused an execution id for different persisted run identity.
+ *
+ * @category errors
+ * @since 1.0.0
+ */
+export declare class ExecutionIdentityConflict extends ExecutionIdentityConflict_base {
+}
+export {};
+//# sourceMappingURL=ExecutionIdentityConflict.d.ts.map

package/dist/esm/FlowRuntime/ExecutionIdentityConflict.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExecutionIdentityConflict.d.ts","sourceRoot":"","sources":["../../../src/FlowRuntime/ExecutionIdentityConflict.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;;;;;;;;;;AAGvC;;;;;GAKG;AACH,qBAAa,yBAA0B,SAAQ,8BAe9C;CAAG"}