@dxos/functions 0.8.4-main.bc674ce → 0.8.4-main.bcb3aa67d6

package/dist/types/src/example/index.d.ts

@@ -1,12 +1,4 @@
-export declare namespace Example {
-    const fib: import("..").FunctionDefinition<{
-        readonly iterations?: number | undefined;
-    }, {
-        readonly result: string;
-    }, import("..").FunctionServices>;
-    const reply: import("..").FunctionDefinition<any, any, import("..").FunctionServices>;
-    const sleep: import("..").FunctionDefinition<{
-        readonly duration?: number | undefined;
-    }, void, import("..").FunctionServices>;
-}
+import { OperationHandlerSet } from '@dxos/operation';
+export * from './definitions';
+export declare const ExampleHandlers: OperationHandlerSet.OperationHandlerSet;
 //# sourceMappingURL=index.d.ts.map

package/dist/types/src/example/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/example/index.ts"],"names":[],"mappings":"AAQA,yBAAiB,OAAO,CAAC;IAChB,MAAM,GAAG;;;;qCAAO,CAAC;IACjB,MAAM,KAAK,0EAAS,CAAC;IACrB,MAAM,KAAK;;2CAAS,CAAC;CAC7B"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/example/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,cAAc,eAAe,CAAC;AAE9B,eAAO,MAAM,eAAe,yCAI3B,CAAC"}

package/dist/types/src/example/reply.d.ts

@@ -1,3 +1,4 @@
-declare const _default: import("..").FunctionDefinition<any, any, import("..").FunctionServices>;
+import { Operation } from '@dxos/operation';
+declare const _default: Operation.WithHandler<Operation.Definition<any, any, never>>;
 export default _default;
 //# sourceMappingURL=reply.d.ts.map

package/dist/types/src/example/reply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../../../src/example/reply.ts"],"names":[],"mappings":";AAUA,wBAUG"}
+{"version":3,"file":"reply.d.ts","sourceRoot":"","sources":["../../../../src/example/reply.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;;AAG5C,wBAOE"}

package/dist/types/src/example/sleep.d.ts

@@ -1,5 +1,6 @@
-declare const _default: import("..").FunctionDefinition<{
+import { Operation } from '@dxos/operation';
+declare const _default: Operation.WithHandler<Operation.Definition<{
     readonly duration?: number | undefined;
-}, void, import("..").FunctionServices>;
+}, void, never>>;
 export default _default;
 //# sourceMappingURL=sleep.d.ts.map

package/dist/types/src/example/sleep.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sleep.d.ts","sourceRoot":"","sources":["../../../../src/example/sleep.ts"],"names":[],"mappings":";;;AASA,wBAcG"}
+{"version":3,"file":"sleep.d.ts","sourceRoot":"","sources":["../../../../src/example/sleep.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;;;;AAE5C,wBAME"}

package/dist/types/src/index.d.ts

@@ -1,7 +1,11 @@
 export * from './errors';
 export * from './example';
+export * as Process from './process/Process';
+export * as ServiceResolver from './process/ServiceResolver';
+export * from './process/StorageService';
 export * from './sdk';
 export * from './services';
 export * from './types';
 export * from './protocol';
+export * as Trace from './Trace';
 //# sourceMappingURL=index.d.ts.map

package/dist/types/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,UAAU,CAAC;AACzB,cAAc,WAAW,CAAC;AAC1B,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,eAAe,MAAM,2BAA2B,CAAC;AAC7D,cAAc,0BAA0B,CAAC;AACzC,cAAc,OAAO,CAAC;AACtB,cAAc,YAAY,CAAC;AAC3B,cAAc,SAAS,CAAC;AACxB,cAAc,YAAY,CAAC;AAC3B,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC"}

package/dist/types/src/process/Process.d.ts

@@ -0,0 +1,247 @@
+import * as Scope from 'effect/Scope';
+import * as Effect from 'effect/Effect';
+import * as Schema from 'effect/Schema';
+import type * as Exit from 'effect/Exit';
+import * as Context from 'effect/Context';
+import type * as Types from 'effect/Types';
+import { Operation, OperationHandlerSet } from '@dxos/operation';
+import type { TracingService } from '../services/tracing';
+import * as Option from 'effect/Option';
+import type { Atom } from '@effect-atom/atom';
+import type { ObjectId } from '@dxos/protocols';
+import * as Trace from '../Trace';
+/** Opaque process id (arbitrary string). */
+export declare const ID: Schema.brand<typeof Schema.String, "ProcessId">;
+export type ID = Schema.Schema.Type<typeof ID>;
+/**
+ * A running process callbacks.
+ *
+ * Process lifecycle: Initial -> Running <-> Suspended -> Terminated.
+ *
+ * - onSpawn -> called once when the process is spawned.
+ * - onInput -> called for every input submitted to the process.
+ * - onAlarm -> called for processes scheduling alarms.
+ * - onChildEvent -> called when child process produces output or exits.
+ */
+export interface Callbacks<I, O, R> {
+    /**
+     * Called when the process is spawned.
+     * Not called for processes that are resumed from a previously suspended state.
+     *
+     * @returns A signal indicating to the runtime whether the process is finished, or should be resumed later.
+     * @throws Throwing in the handler will terminate the process with an error.
+     *
+     * Note: This function should aim to complete in under 5 seconds to avoid exceeding limits in serverless environments.
+     */
+    onSpawn(): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when there's input available to process.
+     *
+     * The function can be called in parallel.
+     *
+     * @returns A signal indicating to the runtime whether the process is finished, or should be resumed later.
+     * @throws Throwing in the handler will terminate the process with an error.
+     *
+     * Note: This function should aim to complete in under 5 seconds to avoid exceeding limits in serverless environments.
+     */
+    onInput(input: I): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when the process's alarm is triggered.
+     *
+     * @throws Throwing in the handler will terminate the process with an error.
+     */
+    onAlarm(): Effect.Effect<void, never, R | BaseServices>;
+    /**
+     * Called when the process's child process produces output or exits.
+     *
+     * This allows the parent process to hibernate while a long-running child process is running.
+     */
+    onChildEvent(event: ChildEvent<unknown>): Effect.Effect<void, never, R | BaseServices>;
+}
+/**
+ * Services that are always available to all processes.
+ */
+export type BaseServices = TracingService | Trace.TraceService;
+export type ChildEvent<T> = {
+    readonly _tag: 'output';
+    readonly pid: ID;
+    readonly data: T;
+} | {
+    readonly _tag: 'exited';
+    readonly pid: ID;
+    readonly result: Exit.Exit<void>;
+};
+export interface ProcessContext<I, O> {
+    readonly id: ID;
+    /**
+     * Parameters assigned during process creation.
+     */
+    readonly params: Params;
+    /**
+     * Complete this process with sucessful result.
+     * No additional events will be pushed to the process.
+     */
+    succeed(): void;
+    /**
+     * Complete this process with an error.
+     * No additional events will be pushed to the process.
+     */
+    fail(error: Error): void;
+    /**
+     * Submit output of the process.
+     */
+    submitOutput(output: O): void;
+    /**
+     * Set an alarm for the process to be woken up later.
+     *
+     * @param timeout - Optional timeout in milliseconds. If not provided, the process is woken up as soon as possible.
+     */
+    setAlarm(timeout?: number): void;
+}
+/**
+ * Generic parameters for a all processes.
+ */
+export interface Params {
+    /**
+     * Process name for debugging purposes.
+     */
+    readonly name: string | null;
+    /**
+     * Target object that this process is assigned to.
+     */
+    readonly target: ObjectId | null;
+}
+export declare const ProcessTypeId: "~@dxos/functions/Process";
+export type ProcessTypeId = typeof ProcessTypeId;
+/**
+ * A process (factory).
+ * Can be instantiated mutlitple times to produce new runtime instance with separate state and callbacks.
+ * `create` is used to instantiate a new process.
+ * Can store runtime state in scope of `create` function.
+ */
+export interface Process<I, O, R> extends Process.Variance<I, O, R> {
+    /**
+     * Unique identifier for the executable in the reverse DNS format.
+     */
+    readonly key: string;
+    /**
+     * Human-readable label from {@link MakeExecutableOpts.name} when provided.
+     */
+    readonly name?: string;
+    readonly services: readonly Context.Tag<any, any>[];
+    /**
+     * Create a new instance of the process.
+     */
+    create(ctx: ProcessContext<I, O>): Effect.Effect<Callbacks<I, O, R>, never, R | BaseServices | Scope.Scope>;
+}
+export declare const isProcess: (executable: unknown) => executable is Process.Any;
+export declare namespace Process {
+    interface Variance<I, O, R> {
+        readonly [ProcessTypeId]: {
+            readonly _Input: Types.Contravariant<I>;
+            readonly _Output: Types.Covariant<O>;
+            readonly _Requirements: Types.Covariant<R>;
+        };
+    }
+    type Any = Process<any, any, never>;
+}
+export interface MakeProcessOpts {
+    /**
+     * Unique identifier for the process in the reverse DNS format.
+     */
+    readonly key: string;
+    readonly input: Schema.Schema.AnyNoContext;
+    readonly output: Schema.Schema.AnyNoContext;
+    readonly services: readonly Context.Tag<any, any>[];
+}
+export declare const make: <const Opts extends Types.NoExcessProperties<MakeProcessOpts, Opts>>(opts: Opts, create: (ctx: ProcessContext<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>>) => Effect.Effect<Partial<Callbacks<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]>>>, never, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]> | BaseServices | Scope.Scope>) => Process<Schema.Schema.Type<Opts["input"]>, Schema.Schema.Type<Opts["output"]>, Context.Tag.Identifier<NonNullable<Opts["services"]>[number]>>;
+export declare const fromOperation: <const Op extends Operation.Definition.Any>(op: Op, handler: OperationHandlerSet.OperationHandlerSet) => Process<Operation.Definition.Input<Op>, Operation.Definition.Output<Op>, Operation.Definition.Services<Op>>;
+/**
+ * Runtime state of a process.
+ */
+export declare enum State {
+    RUNNING = "RUNNING",
+    HYBERNATING = "HYBERNATING",
+    IDLE = "IDLE",
+    TERMINATING = "TERMINATING",
+    TERMINATED = "TERMINATED",
+    SUCCEEDED = "SUCCEEDED",
+    FAILED = "FAILED"
+}
+/**
+ * Read-only view of a process tree
+ */
+export interface Monitor {
+    /**
+     * Get the current state of the process tree.
+     */
+    processTree: Effect.Effect<readonly Info[]>;
+    /**
+     * Atom for the process tree.
+     */
+    processTreeAtom: Atom.Atom<readonly Info[]>;
+}
+declare const ProcessMonitorService_base: Context.TagClass<ProcessMonitorService, "@dxos/functions/ProcessMonitorService", Monitor>;
+export declare class ProcessMonitorService extends ProcessMonitorService_base {
+}
+export interface Info {
+    readonly pid: ID;
+    readonly parentPid: ID | null;
+    /**
+     * Key of the process.
+     *
+     * NOTE: There might be multiple running processes with the same key.
+     */
+    readonly key: string;
+    /**
+     * Parameters of the process.
+     */
+    readonly params: Params;
+    /**
+     * State of the process.
+     */
+    readonly state: State;
+    /**
+     * Error of the process.
+     * Only for process in FAILED state.
+     */
+    readonly error: string | null;
+    /**
+     * UNIX timestamp in milliseconds.
+     */
+    readonly startedAt: number;
+    /**
+     * UNIX timestamp in milliseconds.
+     */
+    readonly completedAt: Option.Option<number>;
+    readonly metrics: {
+        /**
+         * Total wall time of all handler invocations of the process in milliseconds.
+         */
+        readonly wallTime: number;
+        /**
+         * Total number of inputs submitted to the process.
+         */
+        readonly inputCount: number;
+        /**
+         * Total number of outputs submitted to the process.
+         */
+        readonly outputCount: number;
+    };
+}
+/**
+ * New process is spawned.
+ */
+export declare const SpawnedEvent: Trace.EventType<void>;
+/**
+ * Process has reached a terminal state.
+ */
+export declare const ExitedEvent: Trace.EventType<{
+    readonly outcome: "succeeded" | "failed" | "terminated";
+}>;
+/**
+ * Renders spawned processes as a forest: top-level rows use "- ", nested rows use ├── / └── / │.
+ */
+export declare const prettyProcessTree: (tree: readonly Info[]) => string;
+export {};
+//# sourceMappingURL=Process.d.ts.map

package/dist/types/src/process/Process.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Process.d.ts","sourceRoot":"","sources":["../../../../src/process/Process.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,IAAI,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,KAAK,MAAM,cAAc,CAAC;AAE3C,OAAO,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,OAAO,KAAK,KAAK,MAAM,UAAU,CAAC;AAMlC,4CAA4C;AAC5C,eAAO,MAAM,EAAE,iDAAgD,CAAC;AAChE,MAAM,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;AAE/C;;;;;;;;;GASG;AACH,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAChC;;;;;;;;OAQG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAExD;;;;;;;;;OASG;IACH,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAEhE;;;;OAIG;IACH,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;IAExD;;;;OAIG;IACH,YAAY,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC;CACxF;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,cAAc,GAAG,KAAK,CAAC,YAAY,CAAC;AAE/D,MAAM,MAAM,UAAU,CAAC,CAAC,IACpB;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;CAClC,CAAC;AAEN,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAAC;IAEhB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;;OAGG;IACH,OAAO,IAAI,IAAI,CAAC;IAEhB;;;OAGG;IACH,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;IAEzB;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAE7B;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;CAClC;AAMD,eAAO,MAAM,aAAa,EAAG,0BAAmC,CAAC;AACjE,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAE,SAAQ,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IAEpD;;OAEG;IACH,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;CAC7G;AAED,eAAO,MAAM,SAAS,GAAI,YAAY,OAAO,KAAG,UAAU,IAAI,OAAO,CAAC,GACgB,CAAC;AAEvF,yBAAiB,OAAO,CAAC;IACvB,UAAiB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE;YACxB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;YACxC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACrC,QAAQ,CAAC,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;SAC5C,CAAC;KACH;IAED,KAAY,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;CACrD;AAED,eAAO,MAAM,IAAI,GAAI,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,kBAAkB,CAAC,eAAe,EAAE,IAAI,CAAC,EACrF,MAAM,IAAI,EACV,QAAQ,CACN,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KACvF,MAAM,CAAC,MAAM,CAChB,OAAO,CACL,SAAS,CACP,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAC9D,CACF,EACD,KAAK,EACL,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,GAAG,KAAK,CAAC,KAAK,CAC3F,KACA,OAAO,CACR,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACjC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAClC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAiB9D,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,KAAK,CAAC,EAAE,SAAS,SAAS,CAAC,UAAU,CAAC,GAAG,EACrE,IAAI,EAAE,EACN,SAAS,mBAAmB,CAAC,mBAAmB,KAC/C,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CA2B1G,CAAC;AAEJ;;GAEG;AACH,oBAAY,KAAK;IAEf,OAAO,YAAY;IAGnB,WAAW,gBAAgB;IAG3B,IAAI,SAAS;IAIb,WAAW,gBAAgB;IAG3B,UAAU,eAAe;IAGzB,SAAS,cAAc;IAGvB,MAAM,WAAW;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAE5C;;OAEG;IACH,eAAe,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;CAC7C;;AAED,qBAAa,qBAAsB,SAAQ,0BAGxC;CAAG;AAEN,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,GAAG,EAAE,EAAE,CAAC;IACjB,QAAQ,CAAC,SAAS,EAAE,EAAE,GAAG,IAAI,CAAC;IAE9B;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IAEtB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAE9B;;OAEG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAE5C,QAAQ,CAAC,OAAO,EAAE;QAChB;;WAEG;QACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAE1B;;WAEG;QACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAE5B;;WAEG;QACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,CAAC;CACH;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,uBAGvB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW;;EAKtB,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,MAAM,SAAS,IAAI,EAAE,KAAG,MA+DzD,CAAC"}

package/dist/types/src/process/ServiceResolver.d.ts

@@ -0,0 +1,74 @@
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Layer from 'effect/Layer';
+import type { DXN, SpaceId } from '@dxos/keys';
+import { ServiceNotAvailableError } from '../errors';
+import * as Process from './Process';
+import * as Scope from 'effect/Scope';
+declare const ServiceResolverTypeId: "~@dxos/functions/ServiceResolver";
+type ServiceResolverTypeId = typeof ServiceResolverTypeId;
+export interface ServiceResolver {
+    readonly [ServiceResolverTypeId]: ServiceResolverTypeId;
+    /**
+     * Resolve a set of services identified by their tags.
+     * Returns a Context containing all requested services, or fails with ServiceNotAvailableError.
+     */
+    resolve<Tag extends Context.Tag<any, any>>(tag: Tag, context: ResolutionContext): Effect.Effect<Context.Tag.Service<Tag>, ServiceNotAvailableError, Scope.Scope>;
+}
+/**
+ * Tag for the ServiceResolver service.
+ */
+export declare const ServiceResolver: Context.Tag<ServiceResolver, ServiceResolver>;
+export declare const resolve: <Tag extends Context.Tag<any, any>>(tag: Tag, context: ResolutionContext) => Effect.Effect<Context.Tag.Service<Tag>, ServiceNotAvailableError, Scope.Scope | ServiceResolver>;
+export declare const resolveAll: <const Tags extends readonly Context.Tag<any, any>[]>(tags: Tags, context: ResolutionContext) => Effect.Effect<Context.Context<Tags[number]>, ServiceNotAvailableError, Scope.Scope | ServiceResolver>;
+/**
+ * Provides context for service resolution.
+ */
+export interface ResolutionContext {
+    /**
+     * Under which identity the process is running.
+     */
+    readonly identity?: string;
+    /**
+     * Under which space the process is running.
+     */
+    readonly space?: SpaceId;
+    /**
+     * DXN of the conversation feed the process is running in.
+     */
+    readonly conversation?: DXN.String;
+    /**
+     * Under which process the process is running.
+     */
+    readonly process?: Process.ID;
+}
+export declare const succeed: <I, S>(tag: Context.Tag<I, S>, getService: (context: ResolutionContext) => Effect.Effect<S, ServiceNotAvailableError, Scope.Scope>) => ServiceResolver;
+/**
+ * Create a ServiceResolver from a custom resolution function.
+ */
+export declare const make: (resolveFn: <I, S>(tag: Context.Tag<I, S>, context: ResolutionContext) => Effect.Effect<S, ServiceNotAvailableError, Scope.Scope>) => ServiceResolver;
+/**
+ * Create a ServiceResolver backed by a static Context.
+ * Tags present in the context are resolved; missing tags fail with ServiceNotAvailableError.
+ */
+export declare const fromContext: (ctx: Context.Context<any>) => ServiceResolver;
+/**
+ * Create a ServiceResolver that resolves tags from the current Effect context.
+ * Only the specified tags are available; requests for other tags fail.
+ */
+export declare const fromRequirements: <const Tags extends readonly Context.Tag<any, any>[]>(...tags: Tags) => Effect.Effect<ServiceResolver, never, Context.Tag.Identifier<Tags[number]>>;
+/**
+ * Like {@link fromRequirements} but returns a Layer that provides ServiceResolver.
+ */
+export declare const layerRequirements: <const Tags extends readonly Context.Tag<any, any>[]>(...tags: Tags) => Layer.Layer<ServiceResolver, never, Context.Tag.Identifier<Tags[number]>>;
+/**
+ * Compose multiple resolvers left to right. Earlier resolvers take precedence:
+ * the first resolver that can satisfy a tag wins.
+ */
+export declare const compose: (...resolvers: readonly ServiceResolver[]) => ServiceResolver;
+/**
+ * An empty resolver that fails for any requested service.
+ */
+export declare const empty: ServiceResolver;
+export {};
+//# sourceMappingURL=ServiceResolver.d.ts.map

package/dist/types/src/process/ServiceResolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ServiceResolver.d.ts","sourceRoot":"","sources":["../../../../src/process/ServiceResolver.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAE,wBAAwB,EAAE,MAAM,WAAW,CAAC;AACrD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAGtC,QAAA,MAAM,qBAAqB,EAAG,kCAA2C,CAAC;AAC1E,KAAK,qBAAqB,GAAG,OAAO,qBAAqB,CAAC;AAE1D,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,qBAAqB,CAAC;IAExD;;;OAGG;IACH,OAAO,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EACvC,GAAG,EAAE,GAAG,EACR,OAAO,EAAE,iBAAiB,GACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;CACnF;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,+CAAyE,CAAC;AAEtG,eAAO,MAAM,OAAO,GAXV,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,2IAW2C,CAAC;AAEvF,eAAO,MAAM,UAAU,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAC5E,MAAM,IAAI,EACV,SAAS,iBAAiB,KACzB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,GAAG,eAAe,CAMnG,CAAC;AAEL;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAE3B;;OAEG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IAEzB;;OAEG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC;IAEnC;;OAEG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;CAC/B;AAED,eAAO,MAAM,OAAO,GAAI,CAAC,EAAE,CAAC,EAC1B,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACtB,YAAY,CAAC,OAAO,EAAE,iBAAiB,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,KAClG,eAQF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,WAAW,CAAC,CAAC,EAAE,CAAC,EACd,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EACtB,OAAO,EAAE,iBAAiB,KACvB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,wBAAwB,EAAE,KAAK,CAAC,KAAK,CAAC,KAC3D,eAGD,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAG,eASrD,CAAC;AAEJ;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EAClF,GAAG,MAAM,IAAI,KACZ,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAgBzE,CAAC;AAEL;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,KAAK,CAAC,IAAI,SAAS,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,EACnF,GAAG,MAAM,IAAI,KACZ,KAAK,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CACjB,CAAC;AAE3D;;;GAGG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,WAAW,SAAS,eAAe,EAAE,KAAG,eAYhE,CAAC;AAEJ;;GAEG;AACH,eAAO,MAAM,KAAK,EAAE,eAElB,CAAC"}

package/dist/types/src/process/StorageService.d.ts

@@ -0,0 +1,58 @@
+import * as Pipeable from 'effect/Pipeable';
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Option from 'effect/Option';
+import * as Schema from 'effect/Schema';
+export interface Service {
+    /** Read a value by key. Returns `None` if key does not exist. */
+    get<S extends Schema.Schema<any, string, any>>(schema: S, key: string): Effect.Effect<Option.Option<Schema.Schema.Type<S>>, never, Schema.Schema.Context<S>>;
+    /** Write a value for the given key. */
+    set<S extends Schema.Schema<any, string, any>>(schema: S, key: string, value: Schema.Schema.Type<S>): Effect.Effect<void, never, Schema.Schema.Context<S>>;
+    /** Remove a key. */
+    delete(key: string): Effect.Effect<void>;
+    /** List all keys, optionally filtered by prefix. */
+    list(prefix?: string): Effect.Effect<readonly string[]>;
+    /** Remove all keys managed by this scoped store. */
+    clear(): Effect.Effect<void>;
+}
+declare const StorageService_base: Context.TagClass<StorageService, "@dxos/functions/StorageService", Service>;
+/**
+ * Scoped key-value storage service for processes.
+ * Each process receives its own namespaced instance via the process manager.
+ * Construct a live implementation with `StorageService.layer` from `@dxos/functions-runtime`.
+ */
+export declare class StorageService extends StorageService_base {
+}
+export declare const get: <S extends Schema.Schema<any, string, any>>(schema: S, key: string) => Effect.Effect<Option.Option<Schema.Schema.Type<S>>, never, Schema.Schema.Context<S> | StorageService>;
+export declare const set: <S extends Schema.Schema<any, string, any>>(schema: S, key: string, value: Schema.Schema.Type<S>) => Effect.Effect<void, never, Schema.Schema.Context<S> | StorageService>;
+export declare const deleteKey: (key: string) => Effect.Effect<void, never, StorageService>;
+export declare const list: (prefix?: string | undefined) => Effect.Effect<readonly string[], never, StorageService>;
+export declare const clear: () => Effect.Effect<void, never, StorageService>;
+/**
+ * Typed key in a storage service.
+ */
+export interface Key<T> extends Pipeable.Pipeable {
+    readonly key: string;
+    get: Effect.Effect<Option.Option<T>, never, StorageService>;
+    set(value: T): Effect.Effect<void, never, StorageService>;
+    delete(): Effect.Effect<void, never, StorageService>;
+}
+/**
+ * Create a typed key in a storage service.
+ */
+export declare const key: <S extends Schema.Schema<any, string, any>>(schema: S, key: string) => Key<Schema.Schema.Type<S>>;
+/**
+ * Typed key in a storage service with a default value.
+ */
+export interface KeyWithDefault<T, U> extends Pipeable.Pipeable {
+    readonly key: string;
+    get: Effect.Effect<T | U, never, StorageService>;
+    set(value: U): Effect.Effect<void, never, StorageService>;
+    delete(): Effect.Effect<void, never, StorageService>;
+}
+/**
+ * Assign a default value to a key if it is not present.
+ */
+export declare const withDefault: <T>(getDefault: () => NoInfer<T>) => (key: Key<T>) => KeyWithDefault<T, T>;
+export {};
+//# sourceMappingURL=StorageService.d.ts.map

package/dist/types/src/process/StorageService.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"StorageService.d.ts","sourceRoot":"","sources":["../../../../src/process/StorageService.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAC5C,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,MAAM,WAAW,OAAO;IACtB,iEAAiE;IACjE,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAC3C,MAAM,EAAE,CAAC,EACT,GAAG,EAAE,MAAM,GACV,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAExF,uCAAuC;IACvC,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAC3C,MAAM,EAAE,CAAC,EACT,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAExD,oBAAoB;IACpB,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEzC,oDAAoD;IACpD,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IAExD,oDAAoD;IACpD,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;CAC9B;;AAED;;;;GAIG;AACH,qBAAa,cAAe,SAAQ,mBAAwE;CAAG;AAE/G,eAAO,MAAM,GAAG,GA7BV,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,kIA6B8B,CAAC;AAC9E,eAAO,MAAM,GAAG,GAxBV,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,gIAwB8B,CAAC;AAC9E,eAAO,MAAM,SAAS,6DAAgE,CAAC;AACvF,eAAO,MAAM,IAAI,0FAA8D,CAAC;AAChF,eAAO,MAAM,KAAK,kDAA+D,CAAC;AAElF;;GAEG;AACH,MAAM,WAAW,GAAG,CAAC,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAErB,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAC5D,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAC1D,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;CACtD;AAED;;GAEG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,QAAQ,CAAC,EAAE,KAAK,MAAM,KAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAUhH,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,CAAC,EAAE,CAAC,CAAE,SAAQ,QAAQ,CAAC,QAAQ;IAC7D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IACjD,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;IAC1D,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;CACtD;AAED;;GAEG;AACH,eAAO,MAAM,WAAW,GACrB,CAAC,EAAE,YAAY,MAAM,OAAO,CAAC,CAAC,CAAC,MAC/B,KAAK,GAAG,CAAC,CAAC,CAAC,KAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAUjC,CAAC"}

package/dist/types/src/protocol/protocol.d.ts

@@ -1,7 +1,7 @@
 import { type FunctionProtocol } from '@dxos/protocols';
-import { FunctionDefinition } from '../sdk';
+import { Operation } from '@dxos/operation';
 /**
  * Wraps a function handler made with `defineFunction` to a protocol that the functions-runtime expects.
  */
-export declare const wrapFunctionHandler: (func: FunctionDefinition) => FunctionProtocol.Func;
+export declare const wrapFunctionHandler: (func: Operation.WithHandler<Operation.Definition.Any>) => FunctionProtocol.Func;
 //# sourceMappingURL=protocol.d.ts.map

package/dist/types/src/protocol/protocol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../../src/protocol/protocol.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAGxD,OAAO,EAAE,kBAAkB,EAAyB,MAAM,QAAQ,CAAC;AAKnE;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,kBAAkB,KAAG,gBAAgB,CAAC,IAwE/E,CAAC"}
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../../src/protocol/protocol.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAMxD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAI5C;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAAI,MAAM,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,KAAG,gBAAgB,CAAC,IAwE5G,CAAC"}

package/dist/types/src/sdk.d.ts

@@ -1,114 +1,14 @@
-import type * as Context from 'effect/Context';
-import * as Effect from 'effect/Effect';
-import * as Schema from 'effect/Schema';
 import { type AiService } from '@dxos/ai';
-import { Type } from '@dxos/echo';
-import { type Database } from '@dxos/echo';
-import { Operation } from '@dxos/operation';
+import { type Database, type Feed } from '@dxos/echo';
+import { type Trace } from '@dxos/functions';
 import { type CredentialsService, type FunctionInvocationService, type QueueService, type TracingService } from './services';
-import { Function } from './types';
 /**
  * Services that are provided at the function call site by the caller.
  */
 export type InvocationServices = TracingService;
 /**
  * Services that are available to invoked functions.
+ * @deprecated
  */
-export type FunctionServices = InvocationServices | AiService.AiService | CredentialsService | Database.Service | QueueService | FunctionInvocationService;
-/**
- * Function handler.
- */
-export type FunctionHandler<TData = {}, TOutput = any, S extends FunctionServices = FunctionServices> = (params: {
-    /**
-     * Context available to the function.
-     */
-    context: FunctionContext;
-    /**
-     * Data passed as the input to the function.
-     * Must match the function's input schema.
-     * This will be the payload from the trigger or other data passed into the function in a workflow.
-     */
-    data: TData;
-}) => TOutput | Promise<TOutput> | Effect.Effect<TOutput, any, S>;
-/**
- * Function context.
- */
-export interface FunctionContext {
-}
-declare const typeId: unique symbol;
-export type FunctionDefinition<T = any, O = any, S extends FunctionServices = FunctionServices> = {
-    [typeId]: true;
-    key: string;
-    name: string;
-    description?: string;
-    inputSchema: Schema.Schema<T, any>;
-    outputSchema?: Schema.Schema<O, any>;
-    /**
-     * List of types the function uses.
-     * This is used to ensure that the types are available when the function is executed.
-     */
-    types: readonly Type.Entity.Any[];
-    /**
-     * Keys of the required services.
-     */
-    services: readonly string[];
-    handler: FunctionHandler<T, O, S>;
-    meta?: {
-        /**
-         * Tools that are projected from functions have this annotation.
-         *
-         * deployedFunctionId:
-         * - Backend deployment ID assigned by the EDGE function service (typically a UUID).
-         * - Used for remote invocation via `FunctionInvocationService` → `RemoteFunctionExecutionService`.
-         * - Persisted on the corresponding ECHO `Function.Function` object's metadata under the
-         *   `FUNCTIONS_META_KEY` and retrieved with `getUserFunctionIdInMetadata`.
-         */
-        deployedFunctionId?: string;
-    };
-};
-export declare namespace FunctionDefinition {
-    type Any = FunctionDefinition<any, any, any>;
-    type Input<T extends Any> = T extends FunctionDefinition<infer I, infer _O, infer _S> ? I : never;
-    type Output<T extends Any> = T extends FunctionDefinition<infer _I, infer O, infer _S> ? O : never;
-    type Services<T extends Any> = T extends FunctionDefinition<infer _I, infer _O, infer S> ? S : never;
-}
-export type FunctionProps<T, O> = {
-    key: string;
-    name: string;
-    description?: string;
-    inputSchema: Schema.Schema<T, any>;
-    outputSchema?: Schema.Schema<O, any>;
-    /**
-     * List of types the function uses.
-     * This is used to ensure that the types are available when the function is executed.
-     */
-    types?: readonly Type.Entity.Any[];
-    services?: readonly Context.Tag<any, any>[];
-    handler: FunctionHandler<T, O, FunctionServices>;
-};
-export declare const defineFunction: {
-    <I, O>(params: FunctionProps<I, O>): FunctionDefinition<I, O, FunctionServices>;
-};
-/**
- * Converts a FunctionDefinition to an OperationDefinition with handler.
- * The function handler is adapted to the OperationHandler format.
- *
- * Note: FunctionDefinition stores service keys as strings, not Tag types,
- * so we can't use Operation.withHandler's type inference here.
- */
-export declare const toOperation: <T, O, S extends FunctionServices = FunctionServices>(functionDef: FunctionDefinition<T, O, S>) => Operation.Definition<T, O> & {
-    handler: Operation.Handler<T, O, any, S>;
-};
-export declare const FunctionDefinition: {
-    make: <I, O>(params: FunctionProps<I, O>) => FunctionDefinition<I, O, FunctionServices>;
-    isFunction: (value: unknown) => value is FunctionDefinition.Any;
-    serialize: (functionDef: FunctionDefinition.Any) => Function.Function;
-    deserialize: (functionObj: Function.Function) => FunctionDefinition.Any;
-    toOperation: <T, O, S extends FunctionServices = FunctionServices>(functionDef: FunctionDefinition<T, O, S>) => Operation.Definition<T, O> & {
-        handler: Operation.Handler<T, O, any, S>;
-    };
-};
-export declare const serializeFunction: (functionDef: FunctionDefinition.Any) => Function.Function;
-export declare const deserializeFunction: (functionObj: Function.Function) => FunctionDefinition<unknown, unknown>;
-export {};
+export type FunctionServices = InvocationServices | AiService.AiService | CredentialsService | Database.Service | QueueService | Feed.Service | Trace.TraceService | FunctionInvocationService;
 //# sourceMappingURL=sdk.d.ts.map

package/dist/types/src/sdk.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sdk.d.ts","sourceRoot":"","sources":["../../../src/sdk.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAO,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE5C,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,YAAY,EACjB,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAQnC;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,SAAS,CAAC,SAAS,GACnB,kBAAkB,GAClB,QAAQ,CAAC,OAAO,GAChB,YAAY,GACZ,yBAAyB,CAAC;AAE9B;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,KAAK,GAAG,EAAE,EAAE,OAAO,GAAG,GAAG,EAAE,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,IAAI,CAAC,MAAM,EAAE;IAC/G;;OAEG;IACH,OAAO,EAAE,eAAe,CAAC;IAEzB;;;;OAIG;IACH,IAAI,EAAE,KAAK,CAAC;CACb,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAElE;;GAEG;AACH,MAAM,WAAW,eAAe;CAE/B;AAED,QAAA,MAAM,MAAM,eAAmD,CAAC;AAEhE,MAAM,MAAM,kBAAkB,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,IAAI;IAChG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAErC;;;OAGG;IACH,KAAK,EAAE,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAElC;;OAEG;IACH,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAE5B,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,IAAI,CAAC,EAAE;QACL;;;;;;;;WAQG;QACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH,CAAC;AAEF,MAAM,CAAC,OAAO,WAAW,kBAAkB,CAAC;IAC1C,KAAY,GAAG,GAAG,kBAAkB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACpD,KAAY,KAAK,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,kBAAkB,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACzG,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,kBAAkB,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAC1G,KAAY,QAAQ,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,kBAAkB,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;CAC7G;AAED,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI;IAChC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAErC;;;OAGG;IACH,KAAK,CAAC,EAAE,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;IAEnC,QAAQ,CAAC,EAAE,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IAE5C,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;CAClD,CAAC;AAGF,eAAO,MAAM,cAAc,EAAE;IAC3B,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;CAiDjF,CAAC;AAWF;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,EAC7E,aAAa,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACvC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAAE,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;CAqCzE,CAAC;AAEF,eAAO,MAAM,kBAAkB;WA5G5B,CAAC,EAAE,CAAC,UAAU,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;wBA8G3D,OAAO,KAAG,KAAK,IAAI,kBAAkB,CAAC,GAAG;6BAGpC,kBAAkB,CAAC,GAAG,KAAG,QAAQ,CAAC,QAAQ;+BAIxC,QAAQ,CAAC,QAAQ,KAAG,kBAAkB,CAAC,GAAG;kBAlD3C,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,gBAAgB,kCAC7C,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACvC,SAAS,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;QAAE,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;KAAE;CAqD3E,CAAC;AAEF,eAAO,MAAM,iBAAiB,GAAI,aAAa,kBAAkB,CAAC,GAAG,KAAG,QAAQ,CAAC,QAchF,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAAI,aAAa,QAAQ,CAAC,QAAQ,KAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,CAiBvG,CAAC"}
+{"version":3,"file":"sdk.d.ts","sourceRoot":"","sources":["../../../src/sdk.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1C,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,IAAI,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAE7C,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,EAC9B,KAAK,YAAY,EACjB,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AAOpB;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,cAAc,CAAC;AAEhD;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GACxB,kBAAkB,GAClB,SAAS,CAAC,SAAS,GACnB,kBAAkB,GAClB,QAAQ,CAAC,OAAO,GAEhB,YAAY,GACZ,IAAI,CAAC,OAAO,GACZ,KAAK,CAAC,YAAY,GAClB,yBAAyB,CAAC"}

package/dist/types/src/services/event-logger.d.ts

@@ -45,15 +45,15 @@ export declare const ComputeEvent: Type.Obj<{
         readonly nodeId: string;
         readonly outputs: readonly string[];
     } | {
-        readonly value: any;
         readonly type: "compute-input";
-        readonly nodeId: string;
+        readonly value: any;
         readonly property: string;
+        readonly nodeId: string;
     } | {
-        readonly value: any;
         readonly type: "compute-output";
-        readonly nodeId: string;
+        readonly value: any;
         readonly property: string;
+        readonly nodeId: string;
     } | {
         readonly type: "custom";
         readonly nodeId: string;