@effect-agent/workflow 0.1.0-beta.46

package/dist/WorkflowDispatch.mjs

@@ -0,0 +1,91 @@
+import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
+import { Context, Effect, Schema } from "effect";
+import { SettlementId } from "@effect-agent/core/Identifiers";
+import { Receipt } from "@effect-agent/thread/DurableAgentRuntime";
+import { DeploymentId } from "@effect-agent/thread/Records";
+import { DurableDeferred } from "effect/unstable/workflow";
+//#region src/WorkflowDispatch.ts
+var WorkflowDispatch_exports = /* @__PURE__ */ __exportAll({
+	WorkflowDispatchError: () => WorkflowDispatchError,
+	WorkflowDispatchFailpoint: () => WorkflowDispatchFailpoint,
+	WorkflowDispatchFailpointLocation: () => WorkflowDispatchFailpointLocation,
+	WorkflowDispatchIntent: () => WorkflowDispatchIntent,
+	WorkflowDispatchScan: () => WorkflowDispatchScan,
+	WorkflowDispatchStore: () => WorkflowDispatchStore,
+	WorkflowRepairReport: () => WorkflowRepairReport,
+	WorkflowRepairTrigger: () => WorkflowRepairTrigger,
+	WorkflowSettlementReference: () => WorkflowSettlementReference,
+	WorkflowSubmission: () => WorkflowSubmission
+});
+/** Only identities cross the Workflow boundary; the agent journal owns the outcome. */
+var WorkflowSubmission = class extends Schema.Class("@effect-agent/workflow/WorkflowSubmission")({
+	version: Schema.Literal(1),
+	deploymentId: DeploymentId,
+	receipt: Receipt
+}) {};
+var WorkflowSettlementReference = class extends Schema.Class("@effect-agent/workflow/WorkflowSettlementReference")({
+	version: Schema.Literal(1),
+	submissionId: Receipt.fields.submissionId,
+	threadId: Receipt.fields.threadId,
+	settlementId: SettlementId
+}) {};
+/** Retained until native success has been checked against the canonical Settlement. */
+var WorkflowDispatchIntent = class extends Schema.Class("@effect-agent/workflow/WorkflowDispatchIntent")({
+	...WorkflowSubmission.fields,
+	workflowName: Schema.NonEmptyString,
+	executionId: Schema.NonEmptyString,
+	/** One workflow step owns this submission. Repair must notify it before removing the intent. */
+	completionToken: Schema.optionalKey(DurableDeferred.Token)
+}) {};
+var WorkflowDispatchError = class extends Schema.TaggedError()("WorkflowDispatchError", {
+	operation: Schema.String,
+	message: Schema.String,
+	cause: Schema.optionalKey(Schema.Defect())
+}) {};
+var WorkflowDispatchScan = class extends Schema.Class("@effect-agent/workflow/WorkflowDispatchScan")({
+	deploymentId: DeploymentId,
+	workflowName: Schema.NonEmptyString,
+	after: Schema.optionalKey(Schema.String),
+	limit: Schema.Int.check(Schema.isBetween({
+		minimum: 1,
+		maximum: 1e3
+	}))
+}) {};
+/**
+* Adapter-private outbox. `put` returns the stored intent, preserving an existing completion
+* token when omitted and allowing its one-time attachment. Different identities or tokens
+* conflict. `remove` must compare the entire intent, so a concurrent token attachment cannot
+* be lost. `scan` returns at most limit rows in executionId order, after
+* the exclusive cursor, filtered by deployment and workflow. All writes are durable
+* before returning. No transcript, outcome, or native engine storage belongs here.
+*/
+var WorkflowDispatchStore = class extends Context.Service()("@effect-agent/workflow/WorkflowDispatchStore") {};
+/**
+* Host-owned durable repair trigger. Register before admission opens. The host must
+* invoke repair at startup and repeatedly after lost hints or process loss. A Node
+* deployment may use a scoped poller; other hosts may use alarms or durable jobs.
+* Stop invoking the callback when this Scope closes. The shared driver starts no loop.
+*/
+var WorkflowRepairTrigger = class extends Context.Service()("@effect-agent/workflow/WorkflowRepairTrigger") {};
+const WorkflowDispatchFailpointLocation = Schema.Literals([
+	"intent:before-persist",
+	"intent:after-persist",
+	"launch:before",
+	"launch:after",
+	"completion:before-observe",
+	"completion:after-observe",
+	"completion:before-notify",
+	"completion:after-notify",
+	"cleanup:before",
+	"cleanup:after"
+]);
+const WorkflowDispatchFailpoint = Context.Reference("@effect-agent/workflow/WorkflowDispatchFailpoint", { defaultValue: () => ({ hit: () => Effect.void }) });
+var WorkflowRepairReport = class extends Schema.Class("@effect-agent/workflow/WorkflowRepairReport")({
+	discovered: Schema.Int,
+	inspected: Schema.Int,
+	completed: Schema.Int
+}) {};
+//#endregion
+export { WorkflowDispatchError, WorkflowDispatchFailpoint, WorkflowDispatchFailpointLocation, WorkflowDispatchIntent, WorkflowDispatchScan, WorkflowDispatchStore, WorkflowRepairReport, WorkflowRepairTrigger, WorkflowSettlementReference, WorkflowSubmission, WorkflowDispatch_exports as t };
+
+//# sourceMappingURL=WorkflowDispatch.mjs.map

package/dist/WorkflowDispatch.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkflowDispatch.mjs","names":[],"sources":["../src/WorkflowDispatch.ts"],"sourcesContent":["import { SettlementId } from \"@effect-agent/core/Identifiers\";\nimport { Receipt } from \"@effect-agent/thread/DurableAgentRuntime\";\nimport { DeploymentId } from \"@effect-agent/thread/Records\";\nimport { Context, Effect, Schema, type Scope } from \"effect\";\nimport { DurableDeferred } from \"effect/unstable/workflow\";\n\n/** Only identities cross the Workflow boundary; the agent journal owns the outcome. */\nexport class WorkflowSubmission extends Schema.Class<WorkflowSubmission>(\n  \"@effect-agent/workflow/WorkflowSubmission\",\n)({\n  version: Schema.Literal(1),\n  deploymentId: DeploymentId,\n  receipt: Receipt,\n}) {}\n\nexport class WorkflowSettlementReference extends Schema.Class<WorkflowSettlementReference>(\n  \"@effect-agent/workflow/WorkflowSettlementReference\",\n)({\n  version: Schema.Literal(1),\n  submissionId: Receipt.fields.submissionId,\n  threadId: Receipt.fields.threadId,\n  settlementId: SettlementId,\n}) {}\n\n/** Retained until native success has been checked against the canonical Settlement. */\nexport class WorkflowDispatchIntent extends Schema.Class<WorkflowDispatchIntent>(\n  \"@effect-agent/workflow/WorkflowDispatchIntent\",\n)({\n  ...WorkflowSubmission.fields,\n  workflowName: Schema.NonEmptyString,\n  executionId: Schema.NonEmptyString,\n  /** One workflow step owns this submission. Repair must notify it before removing the intent. */\n  completionToken: Schema.optionalKey(DurableDeferred.Token),\n}) {}\n\nexport class WorkflowDispatchError extends Schema.TaggedError<WorkflowDispatchError>()(\n  \"WorkflowDispatchError\",\n  {\n    operation: Schema.String,\n    message: Schema.String,\n    cause: Schema.optionalKey(Schema.Defect()),\n  },\n) {}\n\nexport class WorkflowDispatchScan extends Schema.Class<WorkflowDispatchScan>(\n  \"@effect-agent/workflow/WorkflowDispatchScan\",\n)({\n  deploymentId: DeploymentId,\n  workflowName: Schema.NonEmptyString,\n  after: Schema.optionalKey(Schema.String),\n  limit: Schema.Int.check(Schema.isBetween({ minimum: 1, maximum: 1000 })),\n}) {}\n\n/**\n * Adapter-private outbox. `put` returns the stored intent, preserving an existing completion\n * token when omitted and allowing its one-time attachment. Different identities or tokens\n * conflict. `remove` must compare the entire intent, so a concurrent token attachment cannot\n * be lost. `scan` returns at most limit rows in executionId order, after\n * the exclusive cursor, filtered by deployment and workflow. All writes are durable\n * before returning. No transcript, outcome, or native engine storage belongs here.\n */\nexport class WorkflowDispatchStore extends Context.Service<\n  WorkflowDispatchStore,\n  {\n    readonly put: (\n      intent: WorkflowDispatchIntent,\n    ) => Effect.Effect<WorkflowDispatchIntent, WorkflowDispatchError>;\n    readonly scan: (\n      request: WorkflowDispatchScan,\n    ) => Effect.Effect<ReadonlyArray<WorkflowDispatchIntent>, WorkflowDispatchError>;\n    readonly remove: (intent: WorkflowDispatchIntent) => Effect.Effect<void, WorkflowDispatchError>;\n  }\n>()(\"@effect-agent/workflow/WorkflowDispatchStore\") {}\n\n/**\n * Host-owned durable repair trigger. Register before admission opens. The host must\n * invoke repair at startup and repeatedly after lost hints or process loss. A Node\n * deployment may use a scoped poller; other hosts may use alarms or durable jobs.\n * Stop invoking the callback when this Scope closes. The shared driver starts no loop.\n */\nexport class WorkflowRepairTrigger extends Context.Service<\n  WorkflowRepairTrigger,\n  {\n    readonly register: (repair: Effect.Effect<void>) => Effect.Effect<void, never, Scope.Scope>;\n  }\n>()(\"@effect-agent/workflow/WorkflowRepairTrigger\") {}\n\nexport const WorkflowDispatchFailpointLocation = Schema.Literals([\n  \"intent:before-persist\",\n  \"intent:after-persist\",\n  \"launch:before\",\n  \"launch:after\",\n  \"completion:before-observe\",\n  \"completion:after-observe\",\n  \"completion:before-notify\",\n  \"completion:after-notify\",\n  \"cleanup:before\",\n  \"cleanup:after\",\n]);\n\nexport type WorkflowDispatchFailpointLocation = typeof WorkflowDispatchFailpointLocation.Type;\n\nexport const WorkflowDispatchFailpoint = Context.Reference<{\n  readonly hit: (\n    location: WorkflowDispatchFailpointLocation,\n    intent: WorkflowDispatchIntent,\n  ) => Effect.Effect<void, WorkflowDispatchError>;\n}>(\"@effect-agent/workflow/WorkflowDispatchFailpoint\", {\n  defaultValue: () => ({ hit: () => Effect.void }),\n});\n\nexport class WorkflowRepairReport extends Schema.Class<WorkflowRepairReport>(\n  \"@effect-agent/workflow/WorkflowRepairReport\",\n)({\n  discovered: Schema.Int,\n  inspected: Schema.Int,\n  completed: Schema.Int,\n}) {}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAOA,IAAa,qBAAb,cAAwC,OAAO,MAC7C,2CACF,CAAC,CAAC;CACA,SAAS,OAAO,QAAQ,CAAC;CACzB,cAAc;CACd,SAAS;AACX,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,8BAAb,cAAiD,OAAO,MACtD,oDACF,CAAC,CAAC;CACA,SAAS,OAAO,QAAQ,CAAC;CACzB,cAAc,QAAQ,OAAO;CAC7B,UAAU,QAAQ,OAAO;CACzB,cAAc;AAChB,CAAC,CAAC,CAAC,CAAC;;AAGJ,IAAa,yBAAb,cAA4C,OAAO,MACjD,+CACF,CAAC,CAAC;CACA,GAAG,mBAAmB;CACtB,cAAc,OAAO;CACrB,aAAa,OAAO;;CAEpB,iBAAiB,OAAO,YAAY,gBAAgB,KAAK;AAC3D,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,wBAAb,cAA2C,OAAO,YAAmC,CAAC,CACpF,yBACA;CACE,WAAW,OAAO;CAClB,SAAS,OAAO;CAChB,OAAO,OAAO,YAAY,OAAO,OAAO,CAAC;AAC3C,CACF,CAAC,CAAC,CAAC;AAEH,IAAa,uBAAb,cAA0C,OAAO,MAC/C,6CACF,CAAC,CAAC;CACA,cAAc;CACd,cAAc,OAAO;CACrB,OAAO,OAAO,YAAY,OAAO,MAAM;CACvC,OAAO,OAAO,IAAI,MAAM,OAAO,UAAU;EAAE,SAAS;EAAG,SAAS;CAAK,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC,CAAC;;;;;;;;;AAUJ,IAAa,wBAAb,cAA2C,QAAQ,QAWjD,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC;;;;;;;AAQrD,IAAa,wBAAb,cAA2C,QAAQ,QAKjD,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC;AAErD,MAAa,oCAAoC,OAAO,SAAS;CAC/D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAID,MAAa,4BAA4B,QAAQ,UAK9C,oDAAoD,EACrD,qBAAqB,EAAE,WAAW,OAAO,KAAK,GAChD,CAAC;AAED,IAAa,uBAAb,cAA0C,OAAO,MAC/C,6CACF,CAAC,CAAC;CACA,YAAY,OAAO;CACnB,WAAW,OAAO;CAClB,WAAW,OAAO;AACpB,CAAC,CAAC,CAAC,CAAC"}

package/dist/WorkflowExecution.d.mts

@@ -0,0 +1,30 @@
+import { Schema } from "effect";
+import { AgentId } from "@effect-agent/core/Identifiers";
+import { Receipt } from "@effect-agent/thread/DurableAgentRuntime";
+declare namespace WorkflowExecution_d_exports {
+  export { WorkflowAgent, WorkflowExecuteOptions, WorkflowExecutionFailure };
+}
+/** Must be the exact registered Definition instance; its model and tool services belong to registration. */
+interface WorkflowAgent<Input extends Schema.Top, Output extends Schema.Top> {
+  readonly id: typeof AgentId.Type;
+  readonly input: Input;
+  readonly output: Output;
+}
+interface WorkflowExecuteOptions {
+  /** Stable, nonempty step name, unique within one parent execution. Use item IDs in loops. */
+  readonly name: string;
+}
+declare const WorkflowExecutionFailure_base: Schema.Class<WorkflowExecutionFailure, Schema.TaggedStruct<"WorkflowExecutionFailure", {
+  readonly reason: Schema.Literals<readonly ["invalid-name", "engine-mismatch", "failed", "aborted", "missing-output"]>;
+  readonly message: Schema.String;
+  readonly receipt: Schema.optionalKey<typeof Receipt>;
+  readonly failure: Schema.optionalKey<Schema.Struct<{
+    readonly errorTag: Schema.NonEmptyString;
+    readonly message: Schema.String;
+  }>>;
+}>, import("effect/Cause").YieldableError>;
+/** A terminal agent outcome or invalid invocation, distinct from retriable infrastructure errors. */
+declare class WorkflowExecutionFailure extends WorkflowExecutionFailure_base {}
+//#endregion
+export { WorkflowAgent, WorkflowExecuteOptions, WorkflowExecutionFailure, WorkflowExecution_d_exports as t };
+//# sourceMappingURL=WorkflowExecution.d.mts.map

package/dist/WorkflowExecution.mjs

@@ -0,0 +1,23 @@
+import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
+import { Schema } from "effect";
+import { Receipt } from "@effect-agent/thread/DurableAgentRuntime";
+import { SettlementFailureDiagnostic } from "@effect-agent/thread/Records";
+//#region src/WorkflowExecution.ts
+var WorkflowExecution_exports = /* @__PURE__ */ __exportAll({ WorkflowExecutionFailure: () => WorkflowExecutionFailure });
+/** A terminal agent outcome or invalid invocation, distinct from retriable infrastructure errors. */
+var WorkflowExecutionFailure = class extends Schema.TaggedError()("WorkflowExecutionFailure", {
+	reason: Schema.Literals([
+		"invalid-name",
+		"engine-mismatch",
+		"failed",
+		"aborted",
+		"missing-output"
+	]),
+	message: Schema.String,
+	receipt: Schema.optionalKey(Receipt),
+	failure: Schema.optionalKey(SettlementFailureDiagnostic)
+}) {};
+//#endregion
+export { WorkflowExecutionFailure, WorkflowExecution_exports as t };
+
+//# sourceMappingURL=WorkflowExecution.mjs.map

package/dist/WorkflowExecution.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"WorkflowExecution.mjs","names":[],"sources":["../src/WorkflowExecution.ts"],"sourcesContent":["import type { AgentId } from \"@effect-agent/core/Identifiers\";\nimport { Receipt } from \"@effect-agent/thread/DurableAgentRuntime\";\nimport { SettlementFailureDiagnostic } from \"@effect-agent/thread/Records\";\nimport { Schema } from \"effect\";\n\n/** Must be the exact registered Definition instance; its model and tool services belong to registration. */\nexport interface WorkflowAgent<Input extends Schema.Top, Output extends Schema.Top> {\n  readonly id: typeof AgentId.Type;\n  readonly input: Input;\n  readonly output: Output;\n}\n\nexport interface WorkflowExecuteOptions {\n  /** Stable, nonempty step name, unique within one parent execution. Use item IDs in loops. */\n  readonly name: string;\n}\n\n/** A terminal agent outcome or invalid invocation, distinct from retriable infrastructure errors. */\nexport class WorkflowExecutionFailure extends Schema.TaggedError<WorkflowExecutionFailure>()(\n  \"WorkflowExecutionFailure\",\n  {\n    reason: Schema.Literals([\n      \"invalid-name\",\n      \"engine-mismatch\",\n      \"failed\",\n      \"aborted\",\n      \"missing-output\",\n    ]),\n    message: Schema.String,\n    receipt: Schema.optionalKey(Receipt),\n    failure: Schema.optionalKey(SettlementFailureDiagnostic),\n  },\n) {}\n"],"mappings":";;;;;;;AAkBA,IAAa,2BAAb,cAA8C,OAAO,YAAsC,CAAC,CAC1F,4BACA;CACE,QAAQ,OAAO,SAAS;EACtB;EACA;EACA;EACA;EACA;CACF,CAAC;CACD,SAAS,OAAO;CAChB,SAAS,OAAO,YAAY,OAAO;CACnC,SAAS,OAAO,YAAY,2BAA2B;AACzD,CACF,CAAC,CAAC,CAAC"}

package/dist/index.d.mts

@@ -0,0 +1,5 @@
+import { t as WorkflowDispatch_d_exports } from "./WorkflowDispatch.mjs";
+import { t as WorkflowExecution_d_exports } from "./WorkflowExecution.mjs";
+import { t as WorkflowAgentHost_d_exports } from "./WorkflowAgentHost.mjs";
+import { t as AgentWorkflow_d_exports } from "./AgentWorkflow.mjs";
+export { AgentWorkflow_d_exports as AgentWorkflow, WorkflowAgentHost_d_exports as WorkflowAgentHost, WorkflowDispatch_d_exports as WorkflowDispatch, WorkflowExecution_d_exports as WorkflowExecution };

package/dist/index.mjs

@@ -0,0 +1,5 @@
+import { t as WorkflowDispatch_exports } from "./WorkflowDispatch.mjs";
+import { r as WorkflowAgentHost_exports } from "./WorkflowAgentHost-DOGuS1cg.mjs";
+import { t as WorkflowExecution_exports } from "./WorkflowExecution.mjs";
+import { t as AgentWorkflow_exports } from "./AgentWorkflow.mjs";
+export { AgentWorkflow_exports as AgentWorkflow, WorkflowAgentHost_exports as WorkflowAgentHost, WorkflowDispatch_exports as WorkflowDispatch, WorkflowExecution_exports as WorkflowExecution };

package/dist/rolldown-runtime-D7D4PA-g.mjs

@@ -0,0 +1,13 @@
+//#region \0rolldown/runtime.js
+var __defProp = Object.defineProperty;
+var __exportAll = (all, no_symbols) => {
+	let target = {};
+	for (var name in all) __defProp(target, name, {
+		get: all[name],
+		enumerable: true
+	});
+	if (!no_symbols) __defProp(target, Symbol.toStringTag, { value: "Module" });
+	return target;
+};
+//#endregion
+export { __exportAll as t };

package/package.json

@@ -0,0 +1 @@
+{"name":"@effect-agent/workflow","version":"0.1.0-beta.46","dependencies":{"@effect-agent/core":"0.1.0-beta.46","@effect-agent/thread":"0.1.0-beta.46"},"devDependencies":{"@effect-agent/engine":"0.1.0-beta.46","@effect-agent/storage-memory":"0.1.0-beta.46","@effect/platform-node":"4.0.0-rc.112","@effect/vitest":"4.0.0-rc.112","effect":"4.0.0-rc.112","typescript":"7.0.2","vite-plus":"0.3.0"},"peerDependencies":{"effect":"^4.0.0-rc.112"},"exports":{".":{"types":"./dist/index.d.mts","default":"./dist/index.mjs"},"./AgentWorkflow":{"types":"./dist/AgentWorkflow.d.mts","default":"./dist/AgentWorkflow.mjs"},"./WorkflowAgentHost":{"types":"./dist/WorkflowAgentHost.d.mts","default":"./dist/WorkflowAgentHost.mjs"},"./WorkflowDispatch":{"types":"./dist/WorkflowDispatch.d.mts","default":"./dist/WorkflowDispatch.mjs"},"./WorkflowExecution":{"types":"./dist/WorkflowExecution.d.mts","default":"./dist/WorkflowExecution.mjs"}},"description":"Effect Workflow execution for the existing durable Agent runtime.","license":"MIT","repository":{"type":"git","url":"git+https://github.com/danieljvdm/effect-agent.git","directory":"packages/workflow"},"files":["dist","src"],"type":"module","sideEffects":[],"publishConfig":{"access":"public"},"scripts":{"build":"vp pack","check":"tsc --noEmit -p tsconfig.json","test":"vp test --passWithNoTests"}}

package/src/AgentWorkflow.ts

@@ -0,0 +1,65 @@
+import { AgentInputError, AgentOutputError } from "@effect-agent/core/AgentError";
+import { BindingUnavailable } from "@effect-agent/thread/AgentRegistration";
+import { DigestError } from "@effect-agent/thread/Digest";
+import { DurableRuntimeFailpointError } from "@effect-agent/thread/DurableFailpoint";
+import { OperationDenied } from "@effect-agent/thread/OperationAuthorizer";
+import {
+  AdmissionConflict,
+  LedgerError,
+  SettlementConflict,
+} from "@effect-agent/thread/SubmissionLedger";
+import {
+  AppendConflict,
+  FenceRejected,
+  ThreadNotMaterialized,
+  ThreadStoreError,
+} from "@effect-agent/thread/ThreadStore";
+import { Effect, Schema } from "effect";
+
+import { WorkflowAdmissionClosed, WorkflowAgentHost } from "./WorkflowAgentHost.ts";
+import { WorkflowDispatchError } from "./WorkflowDispatch.ts";
+import {
+  WorkflowExecutionFailure,
+  type WorkflowAgent,
+  type WorkflowExecuteOptions,
+} from "./WorkflowExecution.ts";
+
+/** Schema for the exact typed failure channel of execute, suitable for Workflow.make({ error }). */
+export const Error = Schema.Union([
+  AgentInputError,
+  AgentOutputError,
+  AdmissionConflict,
+  AppendConflict,
+  BindingUnavailable,
+  DigestError,
+  DurableRuntimeFailpointError,
+  FenceRejected,
+  LedgerError,
+  OperationDenied,
+  SettlementConflict,
+  ThreadNotMaterialized,
+  ThreadStoreError,
+  WorkflowDispatchError,
+  WorkflowAdmissionClosed,
+  WorkflowExecutionFailure,
+]);
+
+export type Error = typeof Error.Type;
+
+/**
+ * Run a registered agent inside a native Workflow.toLayer handler. One stable name identifies
+ * one submission in that parent execution. Replays verify admission identity and decode the
+ * canonical output again. Pending work suspends through Effect DurableDeferred; neither
+ * suspension nor parent interruption aborts accepted agent work. Use the host's authorized abort.
+ * Provide WorkflowAgentHost at the application boundary, sharing the parent's WorkflowEngine.
+ * Pass the exact Agent Definition instance used in runtime registration; a same-ID copy fails
+ * with BindingUnavailable before input encoding or admission.
+ */
+export const execute = Effect.fn("AgentWorkflow.execute")(function* <
+  Input extends Schema.Top,
+  Output extends Schema.Top,
+>(agent: WorkflowAgent<Input, Output>, input: Input["Type"], options: WorkflowExecuteOptions) {
+  const host = yield* WorkflowAgentHost;
+
+  return yield* host.execute(agent, input, options);
+});