@yieldstar/core 0.4.6 → 0.6.0

package/dist/base/runtime.d.ts

@@ -1,5 +1,28 @@
-import type { Logger } from "pino";
-import type { WorkflowResult } from "./step";
-import type { WorkflowEvent } from "./event";
-export type EventProcessor = (event: WorkflowEvent, logger: Logger) => Promise<void | WorkflowResult<any>>;
+import type { EffectClient } from "./effect";
+import type { ExecutionClient } from "./execution";
+import type { HeapClient } from "./heap";
+import type { StoreClient } from "./store";
+export interface RuntimeOptions {
+    /** Every client of the runtime reads time from this clock. Defaults to `Date.now`. */
+    clock?: () => number;
+}
+/**
+ * A runtime is defined by the guarantees its clients keep, not by how many
+ * databases it uses:
+ *
+ * - Where one write must accompany another, such as the wakes for a store
+ *   commit, the second is durable once the first commits and is applied
+ *   eventually (in one transaction or through an outbox).
+ * - A store or effect waiter is deleted atomically with its step's result.
+ * - An effect's settlement and the wakes of its waiters are one atomic write.
+ * - Every client reads time from the runtime's clock.
+ */
+export declare abstract class Runtime {
+    /** The clock every client, and every step's wake time, reads. */
+    abstract readonly clock: () => number;
+    abstract readonly executions: ExecutionClient;
+    abstract readonly effects: EffectClient;
+    abstract readonly heap: HeapClient;
+    abstract readonly stores: StoreClient;
+}
 //# sourceMappingURL=runtime.d.ts.map

package/dist/base/runtime.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/base/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACnC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAC7C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAE7C,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE,aAAa,EACpB,MAAM,EAAE,MAAM,KACX,OAAO,CAAC,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC"}
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/base/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAE3C,MAAM,WAAW,cAAc;IAC7B,sFAAsF;IACtF,KAAK,CAAC,EAAE,MAAM,MAAM,CAAC;CACtB;AAED;;;;;;;;;;GAUG;AACH,8BAAsB,OAAO;IAC3B,iEAAiE;IACjE,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IAC9C,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IACnC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CACvC"}

package/dist/base/step.d.ts

@@ -15,11 +15,14 @@ export declare class StepInvalid extends StepResponse {
     static type: string;
     readonly type = "step-invalid";
 }
+export type StepSchemaVerdict = "accepted" | "rejected";
 export declare class StepResult extends StepResponse {
     static type: string;
     readonly type = "step-result";
     result: any;
-    constructor(result: any);
+    /** Whether the step's schema accepted its value on the first run. */
+    schema?: StepSchemaVerdict;
+    constructor(result: any, schema?: StepSchemaVerdict);
 }
 export declare class WorkflowResult<T extends any> extends StepResponse {
     static type: string;
@@ -30,8 +33,25 @@ export declare class WorkflowResult<T extends any> extends StepResponse {
 export declare class WorkflowDelay extends StepResponse {
     static type: string;
     readonly type = "workflow-delay";
-    resumeIn: number;
-    constructor(resumeIn: number);
+    /** The absolute time the step's pause ends, read from the runtime clock. */
+    wakeAt: number;
+    constructor(wakeAt: number);
+}
+export declare class StepStoreWait extends StepResponse {
+    static type: string;
+    readonly type = "store-wait";
+    constructor();
+}
+/**
+ * An effect step whose outcome is uncertain. The driver records it as an
+ * unfinished step after watching the effect, so the next delivery begins the
+ * effect again; `wakeAt` is when that delivery is due.
+ */
+export declare class StepEffectWait extends StepResponse {
+    static type: string;
+    readonly type = "effect-wait";
+    wakeAt: number;
+    constructor(wakeAt: number);
 }
 export declare class WorkflowRestart extends StepResponse {
     static type: string;
@@ -54,7 +74,8 @@ export declare class StepError extends StepResponse {
 export declare class StepDelay extends StepResponse {
     static type: string;
     readonly type = "step-delay";
-    resumeIn: number;
-    constructor(resumeIn: number);
+    /** The absolute time the step's pause ends, read from the runtime clock. */
+    wakeAt: number;
+    constructor(wakeAt: number);
 }
 //# sourceMappingURL=step.d.ts.map

package/dist/base/step.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/base/step.ts"],"names":[],"mappings":"AAAA,8BAAsB,YAAY;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,qBAAa,OAAQ,SAAQ,YAAY;IACvC,MAAM,CAAC,IAAI,SAAc;IACzB,QAAQ,CAAC,IAAI,cAAc;IAC3B,GAAG,EAAE,MAAM,CAAC;gBACA,GAAG,EAAE,MAAM;CAIxB;AAED,qBAAa,cAAe,SAAQ,YAAY;IAC9C,MAAM,CAAC,IAAI,SAAiB;IAC5B,QAAQ,CAAC,IAAI,iBAAiB;CAC/B;AAED,qBAAa,WAAY,SAAQ,YAAY;IAC3C,MAAM,CAAC,IAAI,SAAkB;IAC7B,QAAQ,CAAC,IAAI,kBAAkB;CAChC;AAED,qBAAa,UAAW,SAAQ,YAAY;IAC1C,MAAM,CAAC,IAAI,SAAiB;IAC5B,QAAQ,CAAC,IAAI,iBAAiB;IAC9B,MAAM,EAAE,GAAG,CAAC;gBACA,MAAM,EAAE,GAAG;CAIxB;AAED,qBAAa,cAAc,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,YAAY;IAC7D,MAAM,CAAC,IAAI,SAAqB;IAChC,QAAQ,CAAC,IAAI,qBAAqB;IAClC,MAAM,EAAE,CAAC,CAAC;gBACE,MAAM,EAAE,CAAC;CAItB;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC7C,MAAM,CAAC,IAAI,SAAoB;IAC/B,QAAQ,CAAC,IAAI,oBAAoB;IACjC,QAAQ,EAAE,MAAM,CAAC;gBACL,QAAQ,EAAE,MAAM;CAI7B;AAED,qBAAa,eAAgB,SAAQ,YAAY;IAC/C,MAAM,CAAC,IAAI,SAAsB;IACjC,QAAQ,CAAC,IAAI,sBAAsB;;CAIpC;AAED,qBAAa,SAAU,SAAQ,YAAY;IACzC,MAAM,CAAC,IAAI,SAAgB;IAC3B,QAAQ,CAAC,IAAI,gBAAgB;IAC7B,GAAG,EAAE,GAAG,CAAC;IACT,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,QAAQ,GAAG,OAAO,CAAC;gBAElC,GAAG,EAAE,GAAG,EACR,IAAI,CAAC,EAAE;QACL,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,eAAe,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;KACtC;CAUJ;AAED,qBAAa,SAAU,SAAQ,YAAY;IACzC,MAAM,CAAC,IAAI,SAAgB;IAC3B,QAAQ,CAAC,IAAI,gBAAgB;IAC7B,QAAQ,EAAE,MAAM,CAAC;gBACL,QAAQ,EAAE,MAAM;CAI7B"}
+{"version":3,"file":"step.d.ts","sourceRoot":"","sources":["../../src/base/step.ts"],"names":[],"mappings":"AAAA,8BAAsB,YAAY;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,qBAAa,OAAQ,SAAQ,YAAY;IACvC,MAAM,CAAC,IAAI,SAAc;IACzB,QAAQ,CAAC,IAAI,cAAc;IAC3B,GAAG,EAAE,MAAM,CAAC;gBACA,GAAG,EAAE,MAAM;CAIxB;AAED,qBAAa,cAAe,SAAQ,YAAY;IAC9C,MAAM,CAAC,IAAI,SAAiB;IAC5B,QAAQ,CAAC,IAAI,iBAAiB;CAC/B;AAED,qBAAa,WAAY,SAAQ,YAAY;IAC3C,MAAM,CAAC,IAAI,SAAkB;IAC7B,QAAQ,CAAC,IAAI,kBAAkB;CAChC;AAED,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,UAAU,CAAC;AAExD,qBAAa,UAAW,SAAQ,YAAY;IAC1C,MAAM,CAAC,IAAI,SAAiB;IAC5B,QAAQ,CAAC,IAAI,iBAAiB;IAC9B,MAAM,EAAE,GAAG,CAAC;IACZ,qEAAqE;IACrE,MAAM,CAAC,EAAE,iBAAiB,CAAC;gBACf,MAAM,EAAE,GAAG,EAAE,MAAM,CAAC,EAAE,iBAAiB;CAKpD;AAED,qBAAa,cAAc,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,YAAY;IAC7D,MAAM,CAAC,IAAI,SAAqB;IAChC,QAAQ,CAAC,IAAI,qBAAqB;IAClC,MAAM,EAAE,CAAC,CAAC;gBACE,MAAM,EAAE,CAAC;CAItB;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC7C,MAAM,CAAC,IAAI,SAAoB;IAC/B,QAAQ,CAAC,IAAI,oBAAoB;IACjC,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;gBACH,MAAM,EAAE,MAAM;CAI3B;AAED,qBAAa,aAAc,SAAQ,YAAY;IAC7C,MAAM,CAAC,IAAI,SAAgB;IAC3B,QAAQ,CAAC,IAAI,gBAAgB;;CAI9B;AAED;;;;GAIG;AACH,qBAAa,cAAe,SAAQ,YAAY;IAC9C,MAAM,CAAC,IAAI,SAAiB;IAC5B,QAAQ,CAAC,IAAI,iBAAiB;IAC9B,MAAM,EAAE,MAAM,CAAC;gBACH,MAAM,EAAE,MAAM;CAI3B;AAED,qBAAa,eAAgB,SAAQ,YAAY;IAC/C,MAAM,CAAC,IAAI,SAAsB;IACjC,QAAQ,CAAC,IAAI,sBAAsB;;CAIpC;AAED,qBAAa,SAAU,SAAQ,YAAY;IACzC,MAAM,CAAC,IAAI,SAAgB;IAC3B,QAAQ,CAAC,IAAI,gBAAgB;IAC7B,GAAG,EAAE,GAAG,CAAC;IACT,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,eAAe,EAAE,QAAQ,GAAG,OAAO,CAAC;gBAElC,GAAG,EAAE,GAAG,EACR,IAAI,CAAC,EAAE;QACL,WAAW,EAAE,MAAM,CAAC;QACpB,aAAa,CAAC,EAAE,MAAM,CAAC;QACvB,eAAe,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;KACtC;CAUJ;AAED,qBAAa,SAAU,SAAQ,YAAY;IACzC,MAAM,CAAC,IAAI,SAAgB;IAC3B,QAAQ,CAAC,IAAI,gBAAgB;IAC7B,4EAA4E;IAC5E,MAAM,EAAE,MAAM,CAAC;gBACH,MAAM,EAAE,MAAM;CAI3B"}

package/dist/base/store.d.ts

@@ -0,0 +1,431 @@
+import type { StandardSchemaV1 } from "@standard-schema/spec";
+import { type Durable, type IfDurable } from "./durable-value";
+export type Draft<T> = T extends object ? {
+    -readonly [K in keyof T]: Draft<T[K]>;
+} : T;
+export type StoreVersion = number;
+export type StorePath = readonly (string | number)[];
+export type StoreDefinition<Schema extends StandardSchemaV1 = StandardSchemaV1> = {
+    name: string;
+    schema: Schema;
+    /**
+     * The state a store starts with. Every operation on a missing store
+     * creates it from this state, so it is evaluated only when the store with
+     * this `id` does not exist.
+     */
+    initial: (id: string) => StoreState<Schema>;
+};
+export type StoreState<Schema extends StandardSchemaV1> = StandardSchemaV1.InferOutput<Schema>;
+export type StoreKey = {
+    storeName: string;
+    storeId: string;
+};
+/**
+ * Identifies the durable workflow step performing a store operation.
+ * When provided to `updateStore`/`takeFromStore`, the store client records
+ * the committed result in an applied-steps ledger keyed by
+ * (storeName, storeId, executionId, stepKey), written atomically with the
+ * state change. A retried call with the same StoreStepId returns the recorded
+ * result without re-running the updater/selector/claim, making the operation
+ * exactly-once even if the caller crashes before persisting its own record
+ * of the result (e.g. the workflow heap write).
+ */
+export type StoreStepId = {
+    executionId: string;
+    stepKey: string;
+};
+export type StoreSnapshot<T> = {
+    state: T;
+    instanceId: string;
+    version: StoreVersion;
+};
+export type StoreUpdateResult<T> = {
+    state: T;
+    previousVersion: StoreVersion;
+    version: StoreVersion;
+};
+export type StoreUpdateFromResult<T> = ({
+    updated: true;
+} & StoreUpdateResult<T>) | {
+    updated: false;
+    expectedInstanceId: string;
+    actualInstanceId: string;
+    expectedVersion: StoreVersion;
+    actualVersion: StoreVersion;
+};
+export type StoreDeleteFromResult = {
+    deleted: true;
+} | {
+    deleted: false;
+    reason: "conflict";
+    expectedInstanceId: string;
+    actualInstanceId: string;
+    expectedVersion: StoreVersion;
+    actualVersion: StoreVersion;
+};
+export type StoreSelector<T, R> = (state: Readonly<T>) => R;
+export type StoreTakeResult<R> = {
+    matched: true;
+    selected: NonNullable<R>;
+    instanceId: string;
+    version: StoreVersion;
+} | {
+    matched: false;
+    instanceId: string;
+    version: StoreVersion;
+    readPaths: StorePath[];
+};
+export type StoreWaiter = {
+    workflowId: string;
+    executionId: string;
+    stepKey: string;
+    storeName: string;
+    storeId: string;
+    instanceId: string;
+    sinceVersion: StoreVersion;
+    readPaths: StorePath[];
+};
+export type StoreMutationCommitResult = {
+    status: "committed";
+} | {
+    status: "already-applied";
+    result: unknown;
+} | {
+    status: "conflict";
+    snapshot: StoreSnapshot<unknown>;
+} | {
+    status: "missing";
+};
+/**
+ * A snapshot read from a store, or, when `created` is true, the initial state
+ * of a store that did not exist when it was read. A created snapshot's
+ * `instanceId` is new and its `version` is 0.
+ */
+export type StoreReadSnapshot<T> = StoreSnapshot<T> & {
+    created: boolean;
+};
+export type StoreMutation = {
+    definition: StoreDefinition;
+    id: string;
+    /**
+     * The snapshot the mutation was computed from. When `created` is true the
+     * commit first inserts it as the store's initial state, and conflicts if
+     * the store exists by then.
+     */
+    expected: StoreReadSnapshot<unknown>;
+    nextState: unknown;
+    changedPaths: StorePath[];
+    stepId?: StoreStepId;
+    result: unknown;
+};
+export type StoreDeletion = {
+    definition: StoreDefinition;
+    id: string;
+    expected: StoreSnapshot<unknown>;
+    stepId?: StoreStepId;
+    result: StoreDeleteFromResult;
+};
+export type RuntimeStore<T> = {
+    get(): Promise<StoreSnapshot<T>>;
+    update(updater: (draft: Draft<T>) => void | T): Promise<StoreUpdateResult<T>>;
+    updateFrom(snapshot: StoreSnapshot<T>, updater: (draft: Draft<T>) => void | T): Promise<StoreUpdateFromResult<T>>;
+    deleteFrom(snapshot: StoreSnapshot<T>): Promise<StoreDeleteFromResult>;
+};
+/** A store state failed its schema. Workflow code can catch it. */
+export declare class StoreValidationError extends Error {
+    constructor(message: string);
+}
+/**
+ * A schema whose output, the store state, is a durable value. The state is
+ * still validated by the codec at runtime.
+ */
+export type DurableStoreSchema<Schema extends StandardSchemaV1> = IfDurable<StoreState<Schema>, StandardSchemaV1<StandardSchemaV1.InferInput<Schema>, Durable<StoreState<Schema>>>>;
+/**
+ * `State` is inferred from the schema alone, so `initial` is checked against
+ * it and keeps literal types such as `status: "idle"`.
+ */
+export declare function defineStore<Schema extends StandardSchemaV1<any, State>, State = StoreState<Schema>>(name: string, schema: Schema & StandardSchemaV1<any, State> & DurableStoreSchema<Schema>, options: {
+    initial: (id: string) => NoInfer<Durable<State>>;
+}): StoreDefinition<Schema>;
+export declare abstract class StoreClient {
+    store<Schema extends StandardSchemaV1>(definition: StoreDefinition<Schema>, id: string): RuntimeStore<StoreState<Schema>>;
+    /**
+     * Every operation that takes a `definition` and `id`, except `deleteStore`,
+     * first creates a missing store from `definition.initial(id)`, in the same
+     * atomic write as the operation. `initial` is evaluated only when the store
+     * is missing, and concurrent operations on a missing store record exactly
+     * one initial state. A creation is version 0 of a new instance.
+     */
+    abstract getStore<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+    }): Promise<StoreSnapshot<StoreState<Schema>>>;
+    /**
+     * Updates a store's state atomically.
+     * Updaters must be synchronous, deterministic, and side-effect-free. CAS-backed
+     * clients may run an updater again when another writer wins the version race.
+     * A rejected promise does not prove that the mutation was rolled back: a
+     * connector may commit state and then fail while delivering its durable wake
+     * intents. Retrying is exactly-once only when the same `stepId` is supplied.
+     * Callers without a `stepId` must read and reconcile instead of blindly retrying.
+     *
+     * When `stepId` is provided the update is exactly-once per
+     * (executionId, stepKey): the committed StoreUpdateResult is recorded in
+     * the applied-steps ledger inside the same transaction as the state change,
+     * and a repeated call with the same stepId returns the recorded result
+     * verbatim without running the updater or bumping the version.
+     */
+    abstract updateStore<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        updater: (draft: Draft<StoreState<Schema>>) => void | StoreState<Schema>;
+        stepId?: StoreStepId;
+    }): Promise<StoreUpdateResult<StoreState<Schema>>>;
+    /**
+     * Updates a store only if it has not changed since `snapshot` was read.
+     * A conflict does not change the store, though a racing writer may cause a
+     * pure updater to have been evaluated before the conflict is observed. When `stepId`
+     * identifies an update that already committed, its recorded result wins
+     * over the version check so replay remains exactly-once.
+     */
+    abstract updateStoreFrom<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        snapshot: StoreSnapshot<StoreState<Schema>>;
+        updater: (draft: Draft<StoreState<Schema>>) => void | StoreState<Schema>;
+        stepId?: StoreStepId;
+    }): Promise<StoreUpdateFromResult<StoreState<Schema>>>;
+    /**
+     * Atomically selects and claims from a store. The selector and claim run
+     * locally against a snapshot, then commit with a single conditional version
+     * bump. A conflict re-runs both functions against the new snapshot. If the selector does not match, nothing is
+     * committed and the store's current version plus the selector's tracked
+     * read paths are returned so the caller can register a waiter with the
+     * correct sinceVersion (closing the lost-wakeup gap by construction).
+     *
+     * `claim` must be synchronous – implementations must reject (throw) if it
+     * returns a Promise.
+     *
+     * When `stepId` is provided, a MATCHED (committed) take is recorded in the
+     * applied-steps ledger inside the same transaction as the claim commit, and
+     * a repeated call with the same stepId returns the recorded outcome without
+     * re-running the selector or claim. Unmatched outcomes are NOT recorded:
+     * an unmatched take commits nothing and registers a waiter, so it must
+     * remain free to re-evaluate the selector on every wake.
+     */
+    abstract takeFromStore<Schema extends StandardSchemaV1, R>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        selector: StoreSelector<StoreState<Schema>, R>;
+        claim: (draft: Draft<StoreState<Schema>>, selected: NonNullable<R>) => void;
+        stepId?: StoreStepId;
+    }): Promise<StoreTakeResult<R>>;
+    /**
+     * Registers a versioned read observation. Registration must be linearizable
+     * with mutations: a stale observation is woken immediately, while a current
+     * observation is woken by a later intersecting mutation. A wake requests a
+     * delivery of `waiter.executionId`; it carries no copy of the event. Once a
+     * mutation is durable, the wakes it requires are durable too. The waiter
+     * stays registered until the heap records its step's result.
+     */
+    abstract registerWaiter(waiter: StoreWaiter): Promise<void>;
+    /**
+     * Enumerates the ids of every store created under a given definition name.
+     * Needed by external consumers (e.g. Notation's state backend) that treat a
+     * store name as a collection of instances and must list them. Order is
+     * ascending by id so callers get a deterministic sequence.
+     */
+    abstract listStores(definition: StoreDefinition): Promise<string[]>;
+    /**
+     * Removes a physical store instance and its waiters. Applied-step receipts
+     * remain authoritative for the logical store key across recreation. A no-op
+     * if the store does not exist; it never creates one.
+     */
+    abstract deleteStore(params: {
+        definition: StoreDefinition;
+        id: string;
+    }): Promise<void>;
+    /**
+     * Deletes a store only if its instance ID and version still match the
+     * snapshot. A missing store is created first, so the result is a conflict
+     * with the new instance. With a `stepId`, a committed deletion is recorded
+     * and a repeated call returns the recorded result.
+     */
+    abstract deleteStoreFrom(params: {
+        definition: StoreDefinition;
+        id: string;
+        snapshot: StoreSnapshot<unknown>;
+        stepId?: StoreStepId;
+    }): Promise<StoreDeleteFromResult>;
+}
+/**
+ * Implements store transformations as read/compute/compare-and-swap loops.
+ * Storage connectors only implement the atomic mutation protocol and never
+ * execute application callbacks, including `initial`, while holding a storage
+ * transaction.
+ */
+export declare abstract class CasStoreClient extends StoreClient {
+    /** Reads a store's current snapshot, or `undefined` if it does not exist. */
+    protected abstract readStore(params: {
+        definition: StoreDefinition;
+        id: string;
+    }): Promise<StoreSnapshot<unknown> | undefined>;
+    /**
+     * Atomically inserts `snapshot` as a store's initial state unless the store
+     * exists, and returns the store's snapshot after the write: `snapshot` if it
+     * was inserted, otherwise the existing store's.
+     */
+    protected abstract insertStore(params: {
+        definition: StoreDefinition;
+        id: string;
+        snapshot: StoreSnapshot<unknown>;
+    }): Promise<StoreSnapshot<unknown>>;
+    protected abstract getAppliedStoreStep(params: {
+        definition: StoreDefinition;
+        id: string;
+        stepId: StoreStepId;
+    }): Promise<{
+        result: unknown;
+    } | undefined>;
+    /**
+     * Atomically compares `expected`, writes the next state at
+     * `expected.version + 1`, records the optional step result, and records the
+     * wake obligations created by `changedPaths`. When `expected.created` is
+     * true the store must still be missing, and the commit inserts it under
+     * `expected.instanceId`; otherwise a missing store returns `missing`. A
+     * recorded step result wins over both checks. A transactional outbox is
+     * recommended but is not part of the protocol.
+     */
+    protected abstract commitStoreMutation(mutation: StoreMutation): Promise<StoreMutationCommitResult>;
+    /**
+     * Atomically compares `expected`, deletes the store and its waiters, and
+     * records the optional step result. A recorded step result wins over the
+     * comparison, and a missing store returns `missing`.
+     */
+    protected abstract commitStoreDeletion(deletion: StoreDeletion): Promise<StoreMutationCommitResult>;
+    /** Names the instance a store is created as. Connectors may override it. */
+    protected createInstanceId(): string;
+    getStore<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+    }): Promise<StoreSnapshot<StoreState<Schema>>>;
+    updateStore<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        updater: (draft: Draft<StoreState<Schema>>) => void | StoreState<Schema>;
+        stepId?: StoreStepId;
+    }): Promise<StoreUpdateResult<StoreState<Schema>>>;
+    updateStoreFrom<Schema extends StandardSchemaV1>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        snapshot: StoreSnapshot<StoreState<Schema>>;
+        updater: (draft: Draft<StoreState<Schema>>) => void | StoreState<Schema>;
+        stepId?: StoreStepId;
+    }): Promise<StoreUpdateFromResult<StoreState<Schema>>>;
+    deleteStoreFrom(params: {
+        definition: StoreDefinition;
+        id: string;
+        snapshot: StoreSnapshot<unknown>;
+        stepId?: StoreStepId;
+    }): Promise<StoreDeleteFromResult>;
+    takeFromStore<Schema extends StandardSchemaV1, R>(params: {
+        definition: StoreDefinition<Schema>;
+        id: string;
+        selector: StoreSelector<StoreState<Schema>, R>;
+        claim: (draft: Draft<StoreState<Schema>>, selected: NonNullable<R>) => void;
+        stepId?: StoreStepId;
+    }): Promise<StoreTakeResult<R>>;
+    /**
+     * Reads a store, or evaluates and validates `definition.initial` when it is
+     * missing. Nothing is written: a created snapshot is committed by the
+     * operation computed from it.
+     */
+    private readOrInitialize;
+    private getOrInsertStore;
+    private getAppliedResult;
+}
+export declare function isStoreSelectorMatch<R>(result: R): result is Exclude<R, undefined | null | false>;
+export declare function assertSynchronousClaim(claimResult: unknown): void;
+export declare function assertSynchronousUpdater(updaterResult: unknown): void;
+/**
+ * Validates a state against its store's schema, then checks that the schema's
+ * output is a durable value. Throws `StoreValidationError` when the schema
+ * rejects the state, and `WorkflowValueError` (`INVALID_STEP_VALUE`) when the
+ * output is not durable, so callers that validate before committing leave the
+ * store unchanged. `stepKey` names the step in that error.
+ */
+export declare function validateStoreState<Schema extends StandardSchemaV1>(definition: StoreDefinition<Schema>, state: unknown, stepKey?: string): Promise<StoreState<Schema>>;
+/** Encodes a store state or step result for storage. Throws if it is not durable. */
+export declare function encodeStoreValue(value: unknown): string;
+export declare function decodeStoreValue(canonical: string): unknown;
+/**
+ * Copies a state as the durable value codec would read it back. Values the
+ * codec rejects, which validation keeps out of committed state, are copied
+ * with `structuredClone`.
+ */
+export declare function cloneStoreState<T>(state: T): T;
+/**
+ * Diffs two store states and returns the set of changed paths.
+ *
+ * This is O(total state size). `trackStoreUpdater` records ordinary mutation
+ * paths in O(changes); the diff handles cases a recording proxy cannot observe:
+ * - the updater RETURNED a replacement state instead of mutating the draft
+ * - schema validation returned a transformed copy of the draft
+ *
+ * NOTE: array splices (insert/remove in the middle) report all shifted
+ * indices as changed, which can over-wake waiters. This is safe – wakes are
+ * spurious at worst, since replay re-evaluates the selector.
+ */
+export declare function diffStorePaths(previous: unknown, next: unknown): StorePath[];
+/**
+ * Unwraps a tracking proxy (`trackStoreSelector` or `trackStoreUpdater`)
+ * one level, back to the object it wraps. When a selector runs over a
+ * write-recording draft, the selected value unwraps to the RECORDING proxy,
+ * so claim mutations applied through it land on the draft AND are recorded
+ * as write paths. Derived values (fresh arrays/objects built inside the
+ * selector) are returned as-is.
+ */
+export declare function unwrapTrackedValue<V>(value: V): V;
+export declare function trackStoreSelector<T, R>(state: T, selector: StoreSelector<T, R>): {
+    result: R;
+    readPaths: StorePath[];
+};
+export type TrackedStoreUpdater<T> = {
+    /** Write-recording proxy over the raw draft. Hand this to the updater. */
+    draft: T;
+    /** The collapsed set of paths written so far (O(changes), not O(state)). */
+    writePaths(): StorePath[];
+};
+/**
+ * Wraps a draft in a write-recording Proxy so changed paths can be derived
+ * from the updater's own mutations in O(changes) instead of deep-diffing the
+ * whole previous/next state (O(state size) – see `diffStorePaths`).
+ *
+ * - Every `set` and `deleteProperty` through the proxy records its full
+ *   path. Mutating array methods are trapped naturally via the index/length
+ *   sets they perform: a push onto `messages` records ["messages", 3] (and
+ *   ["messages", "length"]), preserving prefix-match wake semantics – a
+ *   waiter on ["messages"] still wakes via prefix intersection.
+ * - Reads return proxied children so nested mutations are captured, but the
+ *   mutation itself lands on the underlying raw draft (Reflect.set on the
+ *   target), because the mutated draft becomes the next state.
+ * - Values assigned through the proxy are unwrapped (top-level) so the raw
+ *   draft never stores a proxy wrapper for the common `draft.a = draft.b`
+ *   case. Deeper wrappers (a proxy nested inside a fresh object) are
+ *   laundered at commit time: `cloneStoreState` always produces fresh plain
+ *   objects (structuredClone rejects proxies and falls back to JSON), and
+ *   the SQLite client serializes state through JSON.stringify.
+ * - Ambiguous traps (`defineProperty`) record conservatively. Changed paths
+ *   only affect wake precision, never state correctness: an extra path is a
+ *   spurious wake (safe – replay re-evaluates the selector), while a missed
+ *   path would lose a wakeup. When in doubt, over-report.
+ *
+ * IMPORTANT: this only observes MUTATIONS of the draft. If the updater
+ * RETURNS a replacement state instead of mutating (the
+ * `updated === undefined ? draft : updated` contract), no writes go through
+ * the proxy – callers must detect that case and fall back to
+ * `diffStorePaths(previousState, replacement)`.
+ */
+export declare function trackStoreUpdater<T>(target: T): TrackedStoreUpdater<T>;
+export declare function storePathsIntersect(readPaths: StorePath[], writePaths: StorePath[]): boolean;
+//# sourceMappingURL=store.d.ts.map

package/dist/base/store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.d.ts","sourceRoot":"","sources":["../../src/base/store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAqB,KAAK,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGlF,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GACnC;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GACzC,CAAC,CAAC;AAEN,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC;AAClC,MAAM,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;AAErD,MAAM,MAAM,eAAe,CAAC,MAAM,SAAS,gBAAgB,GAAG,gBAAgB,IAC5E;IACE,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,UAAU,CAAC,MAAM,CAAC,CAAC;CAC7C,CAAC;AAEJ,MAAM,MAAM,UAAU,CAAC,MAAM,SAAS,gBAAgB,IACpD,gBAAgB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;AAEvC,MAAM,MAAM,QAAQ,GAAG;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI;IAC7B,KAAK,EAAE,CAAC,CAAC;IACT,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,YAAY,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI;IACjC,KAAK,EAAE,CAAC,CAAC;IACT,eAAe,EAAE,YAAY,CAAC;IAC9B,OAAO,EAAE,YAAY,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAC/B,CAAC;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAC1C;IACE,OAAO,EAAE,KAAK,CAAC;IACf,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,YAAY,CAAC;IAC9B,aAAa,EAAE,YAAY,CAAC;CAC7B,CAAC;AAEN,MAAM,MAAM,qBAAqB,GAC7B;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,GACjB;IACE,OAAO,EAAE,KAAK,CAAC;IACf,MAAM,EAAE,UAAU,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,YAAY,CAAC;IAC9B,aAAa,EAAE,YAAY,CAAC;CAC7B,CAAC;AAEN,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAE5D,MAAM,MAAM,eAAe,CAAC,CAAC,IACzB;IACE,OAAO,EAAE,IAAI,CAAC;IACd,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,YAAY,CAAC;CACvB,GACD;IACE,OAAO,EAAE,KAAK,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,SAAS,EAAE,SAAS,EAAE,CAAC;CACxB,CAAC;AAEN,MAAM,MAAM,WAAW,GAAG;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,YAAY,CAAC;IAC3B,SAAS,EAAE,SAAS,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GACjC;IAAE,MAAM,EAAE,WAAW,CAAA;CAAE,GACvB;IAAE,MAAM,EAAE,iBAAiB,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC9C;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CAAE,GACxD;IAAE,MAAM,EAAE,SAAS,CAAA;CAAE,CAAC;AAE1B;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAE3E,MAAM,MAAM,aAAa,GAAG;IAC1B,UAAU,EAAE,eAAe,CAAC;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX;;;;OAIG;IACH,QAAQ,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACrC,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,SAAS,EAAE,CAAC;IAC1B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,UAAU,EAAE,eAAe,CAAC;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,qBAAqB,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAC5B,GAAG,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9E,UAAU,CACR,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,EAC1B,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,GACrC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,UAAU,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACxE,CAAC;AAEF,mEAAmE;AACnE,qBAAa,oBAAqB,SAAQ,KAAK;gBACjC,OAAO,EAAE,MAAM;CAI5B;AAID;;;GAGG;AACH,MAAM,MAAM,kBAAkB,CAAC,MAAM,SAAS,gBAAgB,IAAI,SAAS,CACzE,UAAU,CAAC,MAAM,CAAC,EAClB,gBAAgB,CACd,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,EACnC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAC5B,CACF,CAAC;AAEF;;;GAGG;AACH,wBAAgB,WAAW,CACzB,MAAM,SAAS,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,EAC3C,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,EAE1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,EAC1E,OAAO,EAAE;IACP,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;CAClD,GACA,eAAe,CAAC,MAAM,CAAC,CAMzB;AAED,8BAAsB,WAAW;IAC/B,KAAK,CAAC,MAAM,SAAS,gBAAgB,EACnC,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,EACnC,EAAE,EAAE,MAAM,GACT,YAAY,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IA6BnC;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QACzD,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;KACZ,GAAG,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAE9C;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,WAAW,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QAC5D,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAElD;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QAChE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAEtD;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,aAAa,CAAC,MAAM,SAAS,gBAAgB,EAAE,CAAC,EAAE,MAAM,EAAE;QACjE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAChC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,KACrB,IAAI,CAAC;QACV,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAE/B;;;;;;;OAOG;IACH,QAAQ,CAAC,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC;IAE3D;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAEnE;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE;QAC3B,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;KACZ,GAAG,OAAO,CAAC,IAAI,CAAC;IAEjB;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,CAAC,MAAM,EAAE;QAC/B,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,qBAAqB,CAAC;CACnC;AAED;;;;;GAKG;AACH,8BAAsB,cAAe,SAAQ,WAAW;IACtD,6EAA6E;IAC7E,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE;QACnC,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;KACZ,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;IAE/C;;;;OAIG;IACH,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,MAAM,EAAE;QACrC,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;KAClC,GAAG,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAEnC,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CAAC,MAAM,EAAE;QAC7C,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,MAAM,EAAE,WAAW,CAAC;KACrB,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAAC;IAE5C;;;;;;;;OAQG;IACH,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CACpC,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC,yBAAyB,CAAC;IAErC;;;;OAIG;IACH,SAAS,CAAC,QAAQ,CAAC,mBAAmB,CACpC,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC,yBAAyB,CAAC;IAErC,4EAA4E;IAC5E,SAAS,CAAC,gBAAgB,IAAI,MAAM;IAI9B,QAAQ,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QACtD,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;KACZ,GAAG,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAIxC,WAAW,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QACzD,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IA2C5C,eAAe,CAAC,MAAM,SAAS,gBAAgB,EAAE,MAAM,EAAE;QAC7D,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QACzE,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IAgDhD,eAAe,CAAC,MAAM,EAAE;QAC5B,UAAU,EAAE,eAAe,CAAC;QAC5B,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,qBAAqB,CAAC;IAqC5B,aAAa,CAAC,MAAM,SAAS,gBAAgB,EAAE,CAAC,EAAE,MAAM,EAAE;QAC9D,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QACpC,EAAE,EAAE,MAAM,CAAC;QACX,QAAQ,EAAE,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAChC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,KACrB,IAAI,CAAC;QACV,MAAM,CAAC,EAAE,WAAW,CAAC;KACtB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAkF/B;;;;OAIG;YACW,gBAAgB;YAiBhB,gBAAgB;IAc9B,OAAO,CAAC,gBAAgB;CAazB;AA6FD,wBAAgB,oBAAoB,CAAC,CAAC,EACpC,MAAM,EAAE,CAAC,GACR,MAAM,IAAI,OAAO,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,GAAG,KAAK,CAAC,CAEhD;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,OAAO,GAAG,IAAI,CAOjE;AAED,wBAAgB,wBAAwB,CAAC,aAAa,EAAE,OAAO,GAAG,IAAI,CAOrE;AAED;;;;;;GAMG;AACH,wBAAsB,kBAAkB,CAAC,MAAM,SAAS,gBAAgB,EACtE,UAAU,EAAE,eAAe,CAAC,MAAM,CAAC,EACnC,KAAK,EAAE,OAAO,EACd,OAAO,SAAK,GACX,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAY7B;AAaD,qFAAqF;AACrF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAMvD;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAM3D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAe9C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,GAAG,SAAS,EAAE,CAwB5E;AAID;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAQjD;AAED,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,CAAC,EACrC,KAAK,EAAE,CAAC,EACR,QAAQ,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAC5B;IAAE,MAAM,EAAE,CAAC,CAAC;IAAC,SAAS,EAAE,SAAS,EAAE,CAAA;CAAE,CA2CvC;AAED,MAAM,MAAM,mBAAmB,CAAC,CAAC,IAAI;IACnC,0EAA0E;IAC1E,KAAK,EAAE,CAAC,CAAC;IACT,4EAA4E;IAC5E,UAAU,IAAI,SAAS,EAAE,CAAC;CAC3B,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,mBAAmB,CAAC,CAAC,CAAC,CA4DtE;AAED,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,SAAS,EAAE,EACtB,UAAU,EAAE,SAAS,EAAE,GACtB,OAAO,CAOT"}

package/dist/base/store.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=store.test.d.ts.map

package/dist/base/store.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.test.d.ts","sourceRoot":"","sources":["../../src/base/store.test.ts"],"names":[],"mappings":""}

package/dist/base/workflow.d.ts

@@ -1,10 +1,27 @@
 import type { Logger } from "pino";
 import type { EventParams, WorkflowEvent, EventContext } from "./event";
+import type { EffectClient } from "./effect";
+import type { ExecutionClient, ExecutionLease } from "./execution";
 import { HeapClient } from "./heap";
+import { StoreClient } from "./store";
 import { StepResponse, WorkflowResult } from "./step";
 export type WorkflowGeneratorParams<Params extends EventParams, Context extends EventContext> = {
     event: WorkflowEvent<Params, Context>;
+    /** Every heap step write is fenced by this lease. */
+    lease: ExecutionLease;
+    /**
+     * Aborted when the delivery must stop. The driver checks it before each
+     * step function and each fenced write.
+     */
+    signal: AbortSignal;
     heapClient: HeapClient;
+    storeClient: StoreClient;
+    /** `step.start` admits its target through this client. */
+    executionClient: ExecutionClient;
+    /** `step.effect` records and settles its effects through this client. */
+    effectClient: EffectClient;
+    /** The runtime clock. Delay and retry wake times are read from it. */
+    clock: () => number;
     logger: Logger;
 };
 export type WorkflowGenerator<Params extends EventParams, Result, Context extends EventContext> = (genParams: WorkflowGeneratorParams<Params, Context>) => AsyncGenerator<StepResponse, WorkflowResult<Result>, StepResponse>;

package/dist/base/workflow.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/base/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACnC,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAEtD,MAAM,MAAM,uBAAuB,CACjC,MAAM,SAAS,WAAW,EAC1B,OAAO,SAAS,YAAY,IAC1B;IACF,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,UAAU,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAC3B,MAAM,SAAS,WAAW,EAC1B,MAAM,EACN,OAAO,SAAS,YAAY,IAC1B,CACF,SAAS,EAAE,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,KAChD,cAAc,CAAC,YAAY,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;AAExE,MAAM,MAAM,2BAA2B,CAAC,EAAE,IAAI,EAAE,SAAS,iBAAiB,CACxE,MAAM,MAAM,EACZ,MAAM,MAAM,EACZ,MAAM,OAAO,CACd,GACG,MAAM,GACN,KAAK,CAAC;AAEV,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9E,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IACpE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE5B,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAClE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC"}
+{"version":3,"file":"workflow.d.ts","sourceRoot":"","sources":["../../src/base/workflow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AACnC,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAEtD,MAAM,MAAM,uBAAuB,CACjC,MAAM,SAAS,WAAW,EAC1B,OAAO,SAAS,YAAY,IAC1B;IACF,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,qDAAqD;IACrD,KAAK,EAAE,cAAc,CAAC;IACtB;;;OAGG;IACH,MAAM,EAAE,WAAW,CAAC;IACpB,UAAU,EAAE,UAAU,CAAC;IACvB,WAAW,EAAE,WAAW,CAAC;IACzB,0DAA0D;IAC1D,eAAe,EAAE,eAAe,CAAC;IACjC,yEAAyE;IACzE,YAAY,EAAE,YAAY,CAAC;IAC3B,sEAAsE;IACtE,KAAK,EAAE,MAAM,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAC3B,MAAM,SAAS,WAAW,EAC1B,MAAM,EACN,OAAO,SAAS,YAAY,IAC1B,CACF,SAAS,EAAE,uBAAuB,CAAC,MAAM,EAAE,OAAO,CAAC,KAChD,cAAc,CAAC,YAAY,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;AAExE,MAAM,MAAM,2BAA2B,CAAC,EAAE,IAAI,EAAE,SAAS,iBAAiB,CACxE,MAAM,MAAM,EACZ,MAAM,MAAM,EACZ,MAAM,OAAO,CACd,GACG,MAAM,GACN,KAAK,CAAC;AAEV,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAE9E,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IACpE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;AAE5B,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAClE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC"}

package/dist/index.d.ts

@@ -1,11 +1,31 @@
 export type { HeapClient, HeapRecord } from "./base/heap";
-export type { WorkflowInvoker } from "./base/invoker";
-export type { EventProcessor } from "./base/runtime";
-export type { SchedulerClient } from "./base/scheduler";
+export type { DeliveryOptions, WorkflowInvoker } from "./base/invoker";
+export { WorkerExitedError } from "./base/invoker";
+export type { RuntimeOptions } from "./base/runtime";
+export { Runtime } from "./base/runtime";
+export type { ExecutionAcknowledgeResult, ExecutionAdmissionErrorCode, ExecutionAdmissionRequest, ExecutionAdmissionResult, ExecutionClient, ExecutionLease, ExecutionOutcome, ExecutionParent, ExecutionRecord, ExecutionReleaseResult, ExecutionRenewResult, ExecutionStartRequest, ExecutionStartResult, ExecutionStatus, ExecutionWakeResult, LeaseLost, WorkflowRunOutcome, WorkflowStartErrorCode, } from "./base/execution";
+export { ExecutionAdmissionError, InfrastructureError, LeaseLostError, StepConflictError, WorkflowStartError, isLeaseLost, isTerminalExecutionStatus, } from "./base/execution";
+export type { EffectBeginRequest, EffectBeginResult, EffectClient, EffectConflictReport, EffectDeliveryErrorCode, EffectRecord, EffectSettleRequest, EffectSettleResult, EffectWatchRequest, WorkflowEffectErrorCode, } from "./base/effect";
+export { EffectClientInvariantError, EffectDeliveryError, WorkflowEffectError, } from "./base/effect";
+export type { EffectConflictState, EffectState, PreparedEffectBegin, PreparedEffectSettle, } from "./lib/effect-state";
+export { createEffectState, effectNotFound, matchEffectBegin, prepareEffectBegin, prepareEffectSettle, prepareEffectWatch, settleEffect, toEffectRecord, validateEffectRequest, } from "./lib/effect-state";
+export type { Durable, DurableDecoding, DurableObject, DurableValue, DurableValueCodec, DurableValueEncoding, IfDurable, } from "./base/durable-value";
+export { DurableValueError, decodeParsedValue, durableValueCodec, encodeThrownValue, } from "./base/durable-value";
+export type { ErrorClass, WorkflowValueErrorCode } from "./base/errors";
+export { WORKFLOW_RESULT_STEP_KEY, WorkflowValueError, registerErrorClass, } from "./base/errors";
+export type { ExecutionState, PreparedExecutionStart, StartRequestState, } from "./lib/execution-state";
+export { DEFAULT_LEASE_DURATION, REDELIVERY_DELAY_BASE, REDELIVERY_DELAY_MAX, ExecutionEventEncodingError, acknowledgeExecution, claimExecution, createExecutionState, createStartedExecution, decodeExecutionEvent, decodeExecutionOutcome, encodeExecutionEvent, encodeExecutionOutcome, executionIdConflict, executionNotFound, executionStatusAt, isExecutionClaimable, isLeaseCurrent, matchStartRequest, nextClaimAt, prepareExecutionAdmission, prepareExecutionStart, redeliveryDelay, releaseExecutionLease, renewExecutionLease, requestExecutionWake, toExecutionRecord, unacknowledgedDeliveryCountAt, } from "./lib/execution-state";
+export type { DispatcherOptions } from "./lib/execution-dispatcher";
+export { DEFAULT_ABORT_GRACE_PERIOD, DEFAULT_DISPATCHER_CONCURRENCY, ExecutionDispatcher, } from "./lib/execution-dispatcher";
+export { waitForExecutionOutcome } from "./lib/wait-for-outcome";
+export type { StandardSchemaV1 } from "@standard-schema/spec";
+export type { Draft, RuntimeStore, StoreDefinition, StoreDeleteFromResult, StoreKey, StorePath, StoreSelector, StoreSnapshot, StoreState, DurableStoreSchema, StoreStepId, StoreTakeResult, StoreUpdateFromResult, StoreUpdateResult, StoreVersion, StoreWaiter, StoreMutation, StoreMutationCommitResult, StoreDeletion, StoreReadSnapshot, TrackedStoreUpdater, } from "./base/store";
+export { StoreClient, CasStoreClient, StoreValidationError, assertSynchronousClaim, assertSynchronousUpdater, cloneStoreState, decodeStoreValue, defineStore, encodeStoreValue, diffStorePaths, isStoreSelectorMatch, storePathsIntersect, trackStoreSelector, trackStoreUpdater, unwrapTrackedValue, validateStoreState, } from "./base/store";
 export type { EventParams, EventContext, ExecutionEvent, MiddlewareEvent, TriggerEvent, WorkflowEvent, } from "./base/event";
 export type { MiddlewareNext, MiddlewareFunction } from "./base/middleware";
 export type { WorkflowGenerator, WorkflowGeneratorReturnType, WorkflowRouter, EventOfWorkflow, EventParamsOf, } from "./base/workflow";
-export { StepCacheCheck, StepDelay, StepError, StepInvalid, StepKey, StepResponse, StepResult, WorkflowDelay, WorkflowRestart, WorkflowResult, } from "./base/step";
+export { StepCacheCheck, StepDelay, StepEffectWait, StepError, StepInvalid, StepKey, StepResponse, StepResult, StepStoreWait, WorkflowDelay, WorkflowRestart, WorkflowResult, } from "./base/step";
+export type { StepSchemaVerdict } from "./base/step";
 export { WorkflowRunner } from "./lib/workflow-runner";
 export { ReadOnlyMap, FreezableMap } from "./utils/map";
 export { errorWithOriginalStack } from "./utils/error";