@dxos/app-framework 0.8.4-main.1da679c → 0.8.4-main.21d9917

package/dist/types/src/core/plugin.d.ts

@@ -1,7 +1,45 @@
-import { type MaybePromise } from '@dxos/util';
-import { type AnyCapability, type PluginContext } from './capabilities';
-import { type ActivationEvent, type ActivationEvents } from './events';
-interface PluginModuleInterface {
+import * as Context from 'effect/Context';
+import * as Effect from 'effect/Effect';
+import * as Pipeable from 'effect/Pipeable';
+import type * as ActivationEvent from './activation-event';
+import * as Capability from './capability';
+import type * as PluginManager from './plugin-manager';
+declare const Service_base: Context.TagClass<Service, "@dxos/app-framework/PluginManager", PluginManager.PluginManager>;
+/**
+ * Effect Context.Tag for accessing PluginManager via the Effect layer system.
+ * This allows lifecycle operations to access the plugin manager without having it passed as an argument.
+ */
+export declare class Service extends Service_base {
+}
+/**
+ * Activates plugins based on the activation event.
+ * Accesses the PluginManager via the Effect layer system.
+ * @param event The activation event.
+ * @returns Whether the activation was successful.
+ */
+export declare const activate: (event: ActivationEvent.ActivationEvent) => Effect.Effect<boolean, Error, Service>;
+/**
+ * Re-activates the modules that were activated by the event.
+ * Accesses the PluginManager via the Effect layer system.
+ * @param event The activation event.
+ * @returns Whether the reset was successful.
+ */
+export declare const reset: (event: ActivationEvent.ActivationEvent) => Effect.Effect<boolean, Error, Service>;
+/**
+ * Identifier denoting a PluginModule.
+ */
+export declare const PluginModuleTypeId: unique symbol;
+export type PluginModuleTypeId = typeof PluginModuleTypeId;
+/**
+ * Type guard to check if a value is a PluginModule.
+ */
+export declare const isPluginModule: (value: unknown) => value is PluginModule;
+/**
+ * A unit of containment of modular functionality that can be provided to an application.
+ * Activation of a module is async allowing for code to split and loaded lazily.
+ */
+export interface PluginModule {
+    readonly [PluginModuleTypeId]: PluginModuleTypeId;
     /**
      * Unique id of the module.
      */
@@ -9,41 +47,30 @@ interface PluginModuleInterface {
     /**
      * Events for which the module will be activated.
      */
-    activatesOn: ActivationEvents;
+    activatesOn: ActivationEvent.Events;
     /**
      * Events which the plugin depends on being activated.
      * Plugin is marked as needing reset a plugin activated by a dependent event is removed.
      * Events are automatically activated before activation of the plugin.
      */
-    activatesBefore?: ActivationEvent[];
+    activatesBefore?: ActivationEvent.ActivationEvent[];
     /**
      * Events which this plugin triggers upon activation.
      */
-    activatesAfter?: ActivationEvent[];
+    activatesAfter?: ActivationEvent.ActivationEvent[];
     /**
      * Called when the module is activated.
-     * @param context The plugin context.
+     * CapabilityManager is accessed via the Effect layer system (Capability.Service).
+     * PluginManager is accessed via Plugin.Service.
+     * @param props Optional props passed to the module.
      * @returns The capabilities of the module.
      */
-    activate: (context: PluginContext) => MaybePromise<AnyCapability | AnyCapability[]> | Promise<() => Promise<AnyCapability | AnyCapability[]>>;
+    activate: (props?: any) => Effect.Effect<Capability.ModuleReturn, Error, Capability.Service | Service | never>;
 }
-/**
- * A unit of containment of modular functionality that can be provided to an application.
- * Activation of a module is async allowing for code to split and loaded lazily.
- */
-export declare class PluginModule implements PluginModuleInterface {
-    readonly id: PluginModuleInterface['id'];
-    readonly activatesOn: PluginModuleInterface['activatesOn'];
-    readonly activatesBefore?: PluginModuleInterface['activatesBefore'];
-    readonly activatesAfter?: PluginModuleInterface['activatesAfter'];
-    readonly activate: PluginModuleInterface['activate'];
-    constructor(options: PluginModuleInterface);
-}
-/**
- * Helper to define a module.
- */
-export declare const defineModule: (options: PluginModuleInterface) => PluginModule;
-export type PluginMeta = {
+export type PluginModuleOptions = Omit<PluginModule, 'id' | typeof PluginModuleTypeId> & {
+    id?: string;
+};
+export type Meta = {
     /**
      * Globally unique ID.
      *
@@ -80,19 +107,57 @@ export type PluginMeta = {
      * A grep-able symbol string which can be resolved to an icon asset by @ch-ui/icons, via @ch-ui/vite-plugin-icons.
      */
     icon?: string;
+    /**
+     * Icon hue (ChromaticPalette).
+     */
+    iconHue?: string;
 };
+/**
+ * Identifier denoting a Plugin.
+ */
+export declare const PluginTypeId: unique symbol;
+export type PluginTypeId = typeof PluginTypeId;
+/**
+ * Type guard to check if a value is a Plugin.
+ */
+export declare const isPlugin: (value: unknown) => value is Plugin;
 /**
  * A collection of modules that are be enabled/disabled as a unit.
  * Plugins provide things such as components, state, actions, etc. to the application.
  */
-export declare class Plugin {
-    readonly meta: PluginMeta;
-    readonly modules: PluginModule[];
-    constructor(meta: PluginMeta, modules: PluginModule[]);
+export interface Plugin {
+    readonly [PluginTypeId]: PluginTypeId;
+    readonly meta: Readonly<Meta>;
+    readonly modules: ReadonlyArray<PluginModule>;
 }
 /**
- * Helper to define a plugin.
+ * Builder interface for creating plugins incrementally.
+ */
+export interface PluginBuilder<T = void> extends Pipeable.Pipeable {
+    readonly meta: Meta;
+    readonly modules: ReadonlyArray<PluginModuleOptions | ((options: T) => PluginModuleOptions)>;
+    addModule(moduleOptions: PluginModuleOptions | ((options: T) => PluginModuleOptions)): PluginBuilder<T>;
+}
+/**
+ * Creates a new PluginBuilder to start building a plugin.
+ */
+export declare const define: <T = void>(meta: Meta) => PluginBuilder<T>;
+/**
+ * Adds a module to a plugin builder.
+ * Supports both pipeline and direct call styles.
+ * Modules can be either PluginModuleOptions or functions that receive options.
+ */
+export declare function addModule<T>(moduleOptions: PluginModuleOptions | ((options: T) => PluginModuleOptions)): (builder: PluginBuilder<T>) => PluginBuilder<T>;
+export declare function addModule<T>(builder: PluginBuilder<T>, moduleOptions: PluginModuleOptions | ((options: T) => PluginModuleOptions)): PluginBuilder<T>;
+export type PluginFactory<T = void> = ((options: T) => Plugin) & {
+    meta: Meta;
+};
+/**
+ * Creates a Plugin from a builder.
+ * Supports both pipeline and direct call styles.
+ * Always returns a factory function (options: T) => Plugin.
+ * When T is void, the function takes no arguments: () => Plugin.
  */
-export declare const definePlugin: (meta: PluginMeta, modules: PluginModule[]) => Plugin;
+export declare function make<T>(builder: PluginBuilder<T>): PluginFactory<T>;
 export {};
 //# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/core/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../src/core/plugin.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACxE,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAEvE,UAAU,qBAAqB;IAC7B;;OAEG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,WAAW,EAAE,gBAAgB,CAAC;IAE9B;;;;OAIG;IACH,eAAe,CAAC,EAAE,eAAe,EAAE,CAAC;IAEpC;;OAEG;IACH,cAAc,CAAC,EAAE,eAAe,EAAE,CAAC;IAEnC;;;;OAIG;IACH,QAAQ,EAAE,CACR,OAAO,EAAE,aAAa,KACnB,YAAY,CAAC,aAAa,GAAG,aAAa,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,OAAO,CAAC,aAAa,GAAG,aAAa,EAAE,CAAC,CAAC,CAAC;CAC9G;AAED;;;GAGG;AAEH,qBAAa,YAAa,YAAW,qBAAqB;IACxD,QAAQ,CAAC,EAAE,EAAE,qBAAqB,CAAC,IAAI,CAAC,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC,aAAa,CAAC,CAAC;IAC3D,QAAQ,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAC,iBAAiB,CAAC,CAAC;IACpE,QAAQ,CAAC,cAAc,CAAC,EAAE,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;IAClE,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,UAAU,CAAC,CAAC;gBAEzC,OAAO,EAAE,qBAAqB;CAO3C;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,SAAS,qBAAqB,iBAA8B,CAAC;AAE1F,MAAM,MAAM,UAAU,GAAG;IACvB;;;;;;OAMG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB;;OAEG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAEhB;;OAEG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF;;;GAGG;AAEH,qBAAa,MAAM;IAEf,QAAQ,CAAC,IAAI,EAAE,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE;gBADvB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE,YAAY,EAAE;CAEnC;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,MAAM,UAAU,EAAE,SAAS,YAAY,EAAE,WAErE,CAAC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../src/core/plugin.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAC;AAI5C,OAAO,KAAK,KAAK,eAAe,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,KAAK,aAAa,MAAM,kBAAkB,CAAC;;AAMvD;;;GAGG;AACH,qBAAa,OAAQ,SAAQ,YAAwF;CAAG;AAMxH;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,OAAO,eAAe,CAAC,eAAe,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CACxC,CAAC;AAEhE;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,eAAe,CAAC,eAAe,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CACxC,CAAC;AAS7D;;GAEG;AACH,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAAuD,CAAC;AAChG,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;GAEG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,YAExD,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IAClD;;OAEG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,WAAW,EAAE,eAAe,CAAC,MAAM,CAAC;IAEpC;;;;OAIG;IACH,eAAe,CAAC,EAAE,eAAe,CAAC,eAAe,EAAE,CAAC;IAEpD;;OAEG;IACH,cAAc,CAAC,EAAE,eAAe,CAAC,eAAe,EAAE,CAAC;IAEnD;;;;;;OAMG;IACH,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,GAAG,OAAO,GAAG,KAAK,CAAC,CAAC;CAChH;AAED,MAAM,MAAM,mBAAmB,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,OAAO,kBAAkB,CAAC,GAAG;IAAE,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAmBzG,MAAM,MAAM,IAAI,GAAG;IACjB;;;;;;OAMG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;OAEG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB;;OAEG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;OAEG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAEvB;;OAEG;IACH,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAEhB;;OAEG;IACH,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd;;OAEG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,YAAY,EAAE,OAAO,MAAiD,CAAC;AACpF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAE/C;;GAEG;AACH,eAAO,MAAM,QAAQ,GAAI,OAAO,OAAO,KAAG,KAAK,IAAI,MAElD,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;CAC/C;AAuBD;;GAEG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,GAAG,IAAI,CAAE,SAAQ,QAAQ,CAAC,QAAQ;IAChE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,mBAAmB,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,mBAAmB,CAAC,CAAC,CAAC;IAC7F,SAAS,CAAC,aAAa,EAAE,mBAAmB,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,mBAAmB,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;CACzG;AA4BD;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,GAAG,IAAI,EAAE,MAAM,IAAI,KAAG,aAAa,CAAC,CAAC,CAAmC,CAAC;AAEjG;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,CAAC,EACzB,aAAa,EAAE,mBAAmB,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,mBAAmB,CAAC,GACzE,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC;AACnD,wBAAgB,SAAS,CAAC,CAAC,EACzB,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,EACzB,aAAa,EAAE,mBAAmB,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,mBAAmB,CAAC,GACzE,aAAa,CAAC,CAAC,CAAC,CAAC;AAcpB,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAwBhF;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC"}

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

@@ -1,7 +1,8 @@
-export * from './common';
-export * from './components';
+export * from './cli';
+export * as Common from './common';
+export * from './context';
 export * from './core';
-export * from './plugin-intent';
+export * from './plugin-operation';
+export * from './plugin-runtime';
 export * from './plugin-settings';
-export * from './react';
 //# 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,cAAc,CAAC;AAC7B,cAAc,QAAQ,CAAC;AACvB,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/index.ts"],"names":[],"mappings":"AAIA,cAAc,OAAO,CAAC;AACtB,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,QAAQ,CAAC;AACvB,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,mBAAmB,CAAC"}

package/dist/types/src/playground/debug/Debug.d.ts

@@ -1,6 +1,8 @@
+import * as Effect from 'effect/Effect';
 import React from 'react';
-import { Capabilities } from '../../common';
+import * as Common from '../../common';
+import { Capability } from '../../core';
 export declare const Debug: () => React.JSX.Element;
-declare const _default: () => import("../..").Capability<import("../..").InterfaceDef<Capabilities.ReactSurface>>;
+declare const _default: (props?: void | undefined) => Effect.Effect<Capability.Capability<Capability.InterfaceDef<Common.Capability.ReactSurface>>, never, never>;
 export default _default;
 //# sourceMappingURL=Debug.d.ts.map

package/dist/types/src/playground/debug/Debug.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Debug.d.ts","sourceRoot":"","sources":["../../../../../src/playground/debug/Debug.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,OAAO,CAAC;AAI1B,OAAO,EAAE,YAAY,EAAiB,MAAM,cAAc,CAAC;AAI3D,eAAO,MAAM,KAAK,yBAgBjB,CAAC;;AAEF,wBAQI"}
+{"version":3,"file":"Debug.d.ts","sourceRoot":"","sources":["../../../../../src/playground/debug/Debug.tsx"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,OAAO,CAAC;AAI1B,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxC,eAAO,MAAM,KAAK,yBAqBjB,CAAC;;AAEF,wBAWE"}

package/dist/types/src/playground/debug/plugin.d.ts

@@ -1,2 +1,3 @@
-export declare const DebugPlugin: () => import("../..").Plugin;
+import { Plugin } from '../../core';
+export declare const DebugPlugin: Plugin.PluginFactory<void>;
 //# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/playground/debug/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/debug/plugin.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,WAAW,8BAOpB,CAAC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/debug/plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAc,MAAM,EAAE,MAAM,YAAY,CAAC;AAIhD,eAAO,MAAM,WAAW,4BAMvB,CAAC"}

package/dist/types/src/playground/generator/Main.d.ts

@@ -1,6 +1,8 @@
+import * as Effect from 'effect/Effect';
 import React from 'react';
-import { Capabilities } from '../../common';
+import * as Common from '../../common';
+import { Capability } from '../../core';
 export declare const Main: () => React.JSX.Element;
-declare const _default: () => import("../..").Capability<import("../..").InterfaceDef<Capabilities.ReactSurface>>;
+declare const _default: (props?: void | undefined) => Effect.Effect<Capability.Capability<Capability.InterfaceDef<Common.Capability.ReactSurface>>, never, never>;
 export default _default;
 //# sourceMappingURL=Main.d.ts.map

package/dist/types/src/playground/generator/Main.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Main.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/Main.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAiC5C,eAAO,MAAM,IAAI,yBAsBhB,CAAC;;AAEF,wBAKK"}
+{"version":3,"file":"Main.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/Main.tsx"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA+BxC,eAAO,MAAM,IAAI,yBAwBhB,CAAC;;AAEF,wBAWE"}

package/dist/types/src/playground/generator/Toolbar.d.ts

@@ -1,6 +1,8 @@
+import * as Effect from 'effect/Effect';
 import React from 'react';
-import { Capabilities } from '../../common';
+import * as Common from '../../common';
+import { Capability } from '../../core';
 export declare const Toolbar: () => React.JSX.Element;
-declare const _default: () => import("../..").Capability<import("../..").InterfaceDef<Capabilities.ReactSurface>>;
+declare const _default: (props?: void | undefined) => Effect.Effect<Capability.Capability<Capability.InterfaceDef<Common.Capability.ReactSurface>>, never, never>;
 export default _default;
 //# sourceMappingURL=Toolbar.d.ts.map

package/dist/types/src/playground/generator/Toolbar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Toolbar.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/Toolbar.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAO5C,eAAO,MAAM,OAAO,yBAwBnB,CAAC;;AAEF,wBAKK"}
+{"version":3,"file":"Toolbar.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/Toolbar.tsx"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAe,MAAM,YAAY,CAAC;AAKrD,eAAO,MAAM,OAAO,yBA2BnB,CAAC;;AAEF,wBAWE"}

package/dist/types/src/playground/generator/generator.d.ts

@@ -1,7 +1,19 @@
-import { type IntentSchema } from '../../plugin-intent';
-export declare const Number: import("../..").InterfaceDef<number>;
-export declare const CountEvent: import("../..").ActivationEvent;
+import * as Schema from 'effect/Schema';
+import { ActivationEvent, Capability, Plugin } from '../../core';
+export declare const Number: Capability.InterfaceDef<number>;
+export declare const CountEvent: ActivationEvent.ActivationEvent;
 export declare const createPluginId: (id: string) => string;
-export declare const createGeneratorIntent: (id: string) => IntentSchema<any, any>;
-export declare const createNumberPlugin: (id: string) => import("../..").Plugin;
+export declare const createAlertOperation: (id: string) => Omit<{
+    readonly meta: {
+        readonly key: `${string}/operation/alert`;
+        readonly name: "Alert";
+    };
+    readonly schema: {
+        readonly input: typeof Schema.Void;
+        readonly output: typeof Schema.Void;
+    };
+}, "executionMode"> & import("effect/Pipeable").Pipeable & {
+    readonly executionMode: "sync" | "async";
+};
+export declare const createNumberPlugin: (id: string) => Plugin.Plugin;
 //# sourceMappingURL=generator.d.ts.map

package/dist/types/src/playground/generator/generator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/generator.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,KAAK,YAAY,EAAkB,MAAM,qBAAqB,CAAC;AAExE,eAAO,MAAM,MAAM,sCAA6D,CAAC;AAEjF,eAAO,MAAM,UAAU,iCAA+C,CAAC;AAEvE,eAAO,MAAM,cAAc,GAAI,IAAI,MAAM,WAAoC,CAAC;AAE9E,eAAO,MAAM,qBAAqB,GAAI,IAAI,MAAM,KAMnB,YAAY,CAAC,GAAG,EAAE,GAAG,CACjD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,IAAI,MAAM,2BAsB5C,CAAC"}
+{"version":3,"file":"generator.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/generator.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEjE,eAAO,MAAM,MAAM,iCAA4D,CAAC;AAEhF,eAAO,MAAM,UAAU,iCAAwD,CAAC;AAEhF,eAAO,MAAM,cAAc,GAAI,IAAI,MAAM,WAAoC,CAAC;AAE9E,eAAO,MAAM,oBAAoB,GAAI,IAAI,MAAM;;;;;;;;;;;CAI3C,CAAC;AAEL,eAAO,MAAM,kBAAkB,GAAI,IAAI,MAAM,kBAuB5C,CAAC"}

package/dist/types/src/playground/generator/plugin.d.ts

@@ -1,2 +1,3 @@
-export declare const GeneratorPlugin: () => import("../..").Plugin;
+import { Plugin } from '../../core';
+export declare const GeneratorPlugin: Plugin.PluginFactory<void>;
 //# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/playground/generator/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/plugin.ts"],"names":[],"mappings":"AAUA,eAAO,MAAM,eAAe,8BAYxB,CAAC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/generator/plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAc,MAAM,EAAE,MAAM,YAAY,CAAC;AAKhD,eAAO,MAAM,eAAe,4BAU3B,CAAC"}

package/dist/types/src/playground/layout/Layout.d.ts

@@ -1,8 +1,10 @@
+import * as Effect from 'effect/Effect';
 import React from 'react';
+import { Capability } from '../../core';
 export declare const Layout: () => React.JSX.Element;
-declare const _default: () => import("../..").Capability<import("../..").InterfaceDef<Readonly<{
+declare const _default: (props?: void | undefined) => Effect.Effect<Capability.Capability<Capability.InterfaceDef<Readonly<{
     id: string;
     root: React.FC<React.PropsWithChildren>;
-}>>>;
+}>>>, never, never>;
 export default _default;
 //# sourceMappingURL=Layout.d.ts.map

package/dist/types/src/playground/layout/Layout.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Layout.d.ts","sourceRoot":"","sources":["../../../../../src/playground/layout/Layout.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,OAAO,CAAC;AAM1B,eAAO,MAAM,MAAM,yBAgBlB,CAAC;;;;;AAEF,wBAIK"}
+{"version":3,"file":"Layout.d.ts","sourceRoot":"","sources":["../../../../../src/playground/layout/Layout.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,OAAO,CAAC;AAG1B,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAGxC,eAAO,MAAM,MAAM,yBAgBlB,CAAC;;;;;AAEF,wBAOE"}

package/dist/types/src/playground/layout/plugin.d.ts

@@ -1,2 +1,3 @@
-export declare const LayoutPlugin: () => import("../..").Plugin;
+import { Plugin } from '../../core';
+export declare const LayoutPlugin: Plugin.PluginFactory<void>;
 //# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/playground/layout/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/layout/plugin.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,YAAY,8BAOrB,CAAC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/layout/plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAc,MAAM,EAAE,MAAM,YAAY,CAAC;AAMhD,eAAO,MAAM,YAAY,4BAMxB,CAAC"}

package/dist/types/src/playground/logger/Toolbar.d.ts

@@ -1,6 +1,8 @@
+import * as Effect from 'effect/Effect';
 import React from 'react';
-import { Capabilities } from '../../common';
+import * as Common from '../../common';
+import { Capability } from '../../core';
 export declare const Logger: () => React.JSX.Element;
-declare const _default: () => import("../..").Capability<import("../..").InterfaceDef<Capabilities.ReactSurface>>;
+declare const _default: (props?: void | undefined) => Effect.Effect<Capability.Capability<Capability.InterfaceDef<Common.Capability.ReactSurface>>, never, never>;
 export default _default;
 //# sourceMappingURL=Toolbar.d.ts.map

package/dist/types/src/playground/logger/Toolbar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Toolbar.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/Toolbar.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,EAAE,YAAY,EAAiB,MAAM,cAAc,CAAC;AAO3D,eAAO,MAAM,MAAM,yBAIlB,CAAC;;AAEF,wBAQI"}
+{"version":3,"file":"Toolbar.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/Toolbar.tsx"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAsB,MAAM,OAAO,CAAC;AAI3C,OAAO,KAAK,MAAM,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAKxC,eAAO,MAAM,MAAM,yBAIlB,CAAC;;AAEF,wBAWE"}

package/dist/types/src/playground/logger/plugin.d.ts

@@ -1,2 +1,3 @@
-export declare const LoggerPlugin: () => import("../..").Plugin;
+import { Plugin } from '../../core';
+export declare const LoggerPlugin: Plugin.PluginFactory<void>;
 //# sourceMappingURL=plugin.d.ts.map

package/dist/types/src/playground/logger/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/plugin.ts"],"names":[],"mappings":"AAcA,eAAO,MAAM,YAAY,8BAsBrB,CAAC"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/plugin.ts"],"names":[],"mappings":"AAUA,OAAO,EAAc,MAAM,EAAE,MAAM,YAAY,CAAC;AAWhD,eAAO,MAAM,YAAY,4BAoBxB,CAAC"}

package/dist/types/src/playground/logger/schema.d.ts

@@ -1,4 +1,4 @@
-import { Schema } from 'effect';
+import * as Schema from 'effect/Schema';
 declare const Log_base: Schema.TaggedClass<Log, "dxos.org/test/logger/log", {
     readonly _tag: Schema.tag<"dxos.org/test/logger/log">;
 } & {
@@ -9,5 +9,19 @@ declare const Log_base: Schema.TaggedClass<Log, "dxos.org/test/logger/log", {
 }>;
 export declare class Log extends Log_base {
 }
+export declare const LogOperation: Omit<{
+    readonly meta: {
+        readonly key: "dxos.org/test/logger/log";
+        readonly name: "Log";
+    };
+    readonly schema: {
+        readonly input: Schema.Struct<{
+            message: typeof Schema.String;
+        }>;
+        readonly output: typeof Schema.Void;
+    };
+}, "executionMode"> & import("effect/Pipeable").Pipeable & {
+    readonly executionMode: "sync" | "async";
+};
 export {};
 //# sourceMappingURL=schema.d.ts.map

package/dist/types/src/playground/logger/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/schema.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;;;;;;;;;AAEhC,qBAAa,GAAI,SAAQ,QAKvB;CAAG"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../../src/playground/logger/schema.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;;;;;;;;;AAIxC,qBAAa,GAAI,SAAQ,QAKvB;CAAG;AAEL,eAAO,MAAM,YAAY;;;;;;;;;;;;;CAMvB,CAAC"}

package/dist/types/src/playground/playground.stories.d.ts

@@ -1,4 +1,3 @@
-import '@dxos-theme';
 import { type StoryObj } from '@storybook/react-vite';
 import React from 'react';
 declare const meta: {

package/dist/types/src/playground/playground.stories.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"playground.stories.d.ts","sourceRoot":"","sources":["../../../../src/playground/playground.stories.tsx"],"names":[],"mappings":"AAIA,OAAO,aAAa,CAAC;AAErB,OAAO,EAAa,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjE,OAAO,KAAK,MAAM,OAAO,CAAC;AA6B1B,QAAA,MAAM,IAAI;;;;CAI2B,CAAC;AAEtC,eAAe,IAAI,CAAC;AAEpB,KAAK,KAAK,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;AAEnC,eAAO,MAAM,UAAU,EAAE,KAAU,CAAC"}
+{"version":3,"file":"playground.stories.d.ts","sourceRoot":"","sources":["../../../../src/playground/playground.stories.tsx"],"names":[],"mappings":"AAIA,OAAO,EAAa,KAAK,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjE,OAAO,KAAK,MAAM,OAAO,CAAC;AAqC1B,QAAA,MAAM,IAAI;;;;CAI2B,CAAC;AAEtC,eAAe,IAAI,CAAC;AAEpB,KAAK,KAAK,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC;AAEnC,eAAO,MAAM,UAAU,EAAE,KAAU,CAAC"}

package/dist/types/src/plugin-operation/OperationPlugin.d.ts

@@ -0,0 +1,3 @@
+import { Plugin } from '../core';
+export declare const OperationPlugin: Plugin.PluginFactory<void>;
+//# sourceMappingURL=OperationPlugin.d.ts.map

package/dist/types/src/plugin-operation/OperationPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"OperationPlugin.d.ts","sourceRoot":"","sources":["../../../../src/plugin-operation/OperationPlugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAc,MAAM,EAAE,MAAM,SAAS,CAAC;AAO7C,eAAO,MAAM,eAAe,4BAY3B,CAAC"}

package/dist/types/src/plugin-operation/history/capability.d.ts

@@ -0,0 +1,7 @@
+import * as Effect from 'effect/Effect';
+import { Capability } from '../../core';
+import * as HistoryTracker from './history-tracker';
+import * as UndoRegistry from './undo-registry';
+declare const _default: (props?: void | undefined) => Effect.Effect<[Capability.Capability<Capability.InterfaceDef<UndoRegistry.UndoRegistry>>, Capability.Capability<Capability.InterfaceDef<HistoryTracker.HistoryTracker>>], Error, Capability.Service>;
+export default _default;
+//# sourceMappingURL=capability.d.ts.map

package/dist/types/src/plugin-operation/history/capability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability.d.ts","sourceRoot":"","sources":["../../../../../src/plugin-operation/history/capability.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,YAAY,MAAM,iBAAiB,CAAC;;AAMhD,wBAkBE"}

package/dist/types/src/plugin-operation/history/errors.d.ts

@@ -0,0 +1,5 @@
+import { OperationError } from '@dxos/operation';
+export declare class EmptyHistoryError extends OperationError {
+    constructor();
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/types/src/plugin-operation/history/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../../../src/plugin-operation/history/errors.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,qBAAa,iBAAkB,SAAQ,cAAc;;CAIpD"}

package/dist/types/src/plugin-operation/history/history-tracker.d.ts

@@ -0,0 +1,18 @@
+import * as Effect from 'effect/Effect';
+import { type OperationInvoker } from '@dxos/operation';
+import type { UndoRegistry } from './undo-registry';
+/**
+ * HistoryTracker interface - tracks operation history and provides undo.
+ */
+export interface HistoryTracker {
+    undo: () => Effect.Effect<void, Error>;
+    undoPromise: () => Promise<{
+        error?: Error;
+    }>;
+    canUndo: () => boolean;
+}
+/**
+ * Creates a HistoryTracker that subscribes to invocation events and provides undo.
+ */
+export declare const make: (invoker: OperationInvoker.OperationInvokerInternal, undoRegistry: UndoRegistry) => HistoryTracker;
+//# sourceMappingURL=history-tracker.d.ts.map

package/dist/types/src/plugin-operation/history/history-tracker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"history-tracker.d.ts","sourceRoot":"","sources":["../../../../../src/plugin-operation/history/history-tracker.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAKxC,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAOxD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAQpD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,WAAW,EAAE,MAAM,OAAO,CAAC;QAAE,KAAK,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAC9C,OAAO,EAAE,MAAM,OAAO,CAAC;CACxB;AAMD;;GAEG;AACH,eAAO,MAAM,IAAI,GACf,SAAS,gBAAgB,CAAC,wBAAwB,EAClD,cAAc,YAAY,KACzB,cAqFF,CAAC"}

package/dist/types/src/plugin-operation/history/history-tracker.test.d.ts

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

package/dist/types/src/plugin-operation/history/history-tracker.test.d.ts.map

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

package/dist/types/src/plugin-operation/history/index.d.ts

@@ -0,0 +1,6 @@
+export * from './errors';
+export * from './types';
+export * as UndoMapping from './undo-mapping';
+export * as UndoRegistry from './undo-registry';
+export * as HistoryTracker from './history-tracker';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/src/plugin-operation/history/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../src/plugin-operation/history/index.ts"],"names":[],"mappings":"AAIA,cAAc,UAAU,CAAC;AACzB,cAAc,SAAS,CAAC;AACxB,OAAO,KAAK,WAAW,MAAM,gBAAgB,CAAC;AAC9C,OAAO,KAAK,YAAY,MAAM,iBAAiB,CAAC;AAChD,OAAO,KAAK,cAAc,MAAM,mBAAmB,CAAC"}

package/dist/types/src/plugin-operation/history/types.d.ts

@@ -0,0 +1,13 @@
+import type { Operation } from '@dxos/operation';
+/**
+ * History entry stored by HistoryTracker.
+ */
+export type HistoryEntry = {
+    operation: Operation.Definition<any, any>;
+    input: any;
+    output: any;
+    inverse: Operation.Definition<any, any>;
+    inverseInput: any;
+    timestamp: number;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/types/src/plugin-operation/history/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../../src/plugin-operation/history/types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,KAAK,EAAE,GAAG,CAAC;IACX,MAAM,EAAE,GAAG,CAAC;IACZ,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,YAAY,EAAE,GAAG,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC"}

package/dist/types/src/plugin-operation/history/undo-mapping.d.ts

@@ -0,0 +1,93 @@
+import type { Operation } from '@dxos/operation';
+import type { Label } from '../../common/translations';
+/**
+ * Extract the input type from an OperationDefinition.
+ */
+export type InputOf<T> = T extends Operation.Definition<infer I, any> ? I : never;
+/**
+ * Extract the output type from an OperationDefinition.
+ */
+export type OutputOf<T> = T extends Operation.Definition<any, infer O> ? O : never;
+/**
+ * Message provider for undo toast.
+ * Can be a static Label or a function that derives the message from input/output.
+ */
+export type MessageProvider<Op extends Operation.Definition<any, any>> = Label | ((input: InputOf<Op>, output: OutputOf<Op>) => Label);
+/**
+ * Undo mapping that links a forward operation to its inverse.
+ * Type parameters ensure deriveContext has correctly typed arguments.
+ *
+ * @template Op - The forward operation definition type.
+ * @template Inv - The inverse operation definition type.
+ */
+export interface UndoMapping<Op extends Operation.Definition<any, any> = Operation.Definition<any, any>, Inv extends Operation.Definition<any, any> = Operation.Definition<any, any>> {
+    /** The forward operation. */
+    readonly operation: Op;
+    /** The inverse operation to invoke for undo. */
+    readonly inverse: Inv;
+    /**
+     * Derives the input for the inverse operation from the forward operation's input and output.
+     * @param input - The input that was passed to the forward operation.
+     * @param output - The output that was returned by the forward operation.
+     * @returns The input to pass to the inverse operation, or undefined to indicate the operation is not undoable.
+     */
+    readonly deriveContext: (input: InputOf<Op>, output: OutputOf<Op>) => InputOf<Inv> | undefined;
+    /**
+     * Optional message to show in the undo toast.
+     * Can be a static Label or a function that derives the message from input/output.
+     */
+    readonly message?: MessageProvider<Op>;
+}
+/**
+ * Props for creating an UndoMapping.
+ */
+export interface UndoMappingProps<Op extends Operation.Definition<any, any>, Inv extends Operation.Definition<any, any>> {
+    /** The forward operation. */
+    operation: Op;
+    /** The inverse operation to invoke for undo. */
+    inverse: Inv;
+    /**
+     * Derives the input for the inverse operation from the forward operation's input and output.
+     * Return undefined to indicate the operation is not undoable.
+     */
+    deriveContext: (input: InputOf<Op>, output: OutputOf<Op>) => InputOf<Inv> | undefined;
+    /**
+     * Optional message to show in the undo toast.
+     * Can be a static Label or a function that derives the message from input/output.
+     */
+    message?: MessageProvider<Op>;
+}
+/**
+ * Creates a type-safe undo mapping.
+ *
+ * @example
+ * ```ts
+ * // Static message
+ * const mapping = UndoMapping.make({
+ *   operation: DeleteThread,
+ *   inverse: RestoreThread,
+ *   deriveContext: (input, output) => ({
+ *     thread: output.thread,
+ *     anchor: output.anchor,
+ *   }),
+ *   message: ['thread deleted label', { ns: 'plugin-thread' }],
+ * });
+ *
+ * // Dynamic message based on input/output
+ * const mapping = UndoMapping.make({
+ *   operation: RemoveObjects,
+ *   inverse: RestoreObjects,
+ *   deriveContext: (_input, output) => output,
+ *   message: (input, _output) =>
+ *     input.objects.length === 1
+ *       ? ['object deleted label', { ns: getTypename(input.objects[0]) }]
+ *       : ['objects deleted label', { ns: 'plugin-space' }],
+ * });
+ * ```
+ */
+export declare const make: <Op extends Operation.Definition<any, any>, Inv extends Operation.Definition<any, any>>(props: UndoMappingProps<Op, Inv>) => UndoMapping<Op, Inv>;
+/**
+ * Resolves a message provider to a Label.
+ */
+export declare const resolveMessage: <Op extends Operation.Definition<any, any>>(message: MessageProvider<Op> | undefined, input: InputOf<Op>, output: OutputOf<Op>) => Label | undefined;
+//# sourceMappingURL=undo-mapping.d.ts.map