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

package/dist/esm/Plugins.js

@@ -0,0 +1,178 @@
+/**
+ * The dispatcher: a plain service over a resolved plugin list, generic over the
+ * hook interface.
+ *
+ * The public package contract is documented at
+ * {@link https://smithers.sh/docs/reference/api/plugin}. Each host holds an instance over its
+ * augmented `FlowsHooks` and may dispatch only the runtime catalog it supplied.
+ * The shipped cell host owns the three
+ * waterfalls declared in `packages/smithers/agent/src/CellPlugin.ts`; there is
+ * no engine-wide lifecycle dispatcher.
+ *
+ * Cancellation is fiber interruption via scope closure; nothing here threads an
+ * `AbortSignal`.
+ *
+ * @since 1.0.0-rc.0
+ */
+import * as ImmutableMap from "@smthrs/canonical/ReadonlyMap";
+import * as Context from "effect/Context";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import * as Option from "effect/Option";
+import { engineHooks } from "./Hooks.js";
+import { PluginError } from "./PluginError.js";
+import { defaultParallelConcurrency } from "./Resolve.js";
+const empty = Object.freeze([]);
+// The typed catalog and the runtime catalog can only drift when a host casts
+// around `KeysOfKind`; refuse before any handler runs rather than execute a
+// hook under semantics its declaration never promised.
+const kindMismatch = (resolved, hook, kind) => {
+    if (!Object.hasOwn(resolved.kinds, hook))
+        return undefined;
+    const declared = resolved.kinds[hook];
+    if (declared === kind)
+        return undefined;
+    return new PluginError({
+        code: "hook_kind_mismatch",
+        message: `hook "${hook}" is declared ${JSON.stringify(declared)} in the runtime catalog but was dispatched as ${JSON.stringify(kind)}`,
+        hook
+    });
+};
+const runHandler = (record, args) => {
+    const onCause = (cause) => Effect.fail(new PluginError({
+        code: "hook_failed",
+        message: `hook "${record.hook}" failed in plugin "${record.plugin}"`,
+        plugin: record.plugin,
+        hook: record.hook,
+        cause
+    }));
+    return Effect.sync(() => record.handler(...args)).pipe(Effect.catchCause(onCause), Effect.flatMap((result) => Effect.isEffect(result)
+        ? result.pipe(Effect.catchCause(onCause))
+        : Effect.fail(new PluginError({
+            code: "hook_failed",
+            message: `hook "${record.hook}" in plugin "${record.plugin}" returned a non-Effect (${typeof result})`,
+            plugin: record.plugin,
+            hook: record.hook
+        }))));
+};
+/**
+ * Builds a dispatcher over an already resolved plugin list.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const make = (resolved) => {
+    const handlers = (hook) => resolved.handlers.get(hook) ?? empty;
+    const sequential = ((hook, ...args) => Effect.gen(function* () {
+        const mismatch = kindMismatch(resolved, hook, "sequential");
+        if (mismatch !== undefined)
+            return yield* Effect.fail(mismatch);
+        const results = [];
+        for (const record of handlers(hook)) {
+            results.push(yield* runHandler(record, args));
+        }
+        return results;
+    }));
+    const parallel = ((hook, ...args) => {
+        const mismatch = kindMismatch(resolved, hook, "parallel");
+        if (mismatch !== undefined)
+            return Effect.succeed([mismatch]);
+        return Effect.forEach(handlers(hook), (record) => runHandler(record, args).pipe(Effect.match({ onFailure: (error) => [error], onSuccess: () => [] })), { concurrency: resolved.parallelConcurrency }).pipe(Effect.map((chunks) => chunks.flat()));
+    });
+    const first = ((hook, ...args) => Effect.gen(function* () {
+        const mismatch = kindMismatch(resolved, hook, "first");
+        if (mismatch !== undefined)
+            return yield* Effect.fail(mismatch);
+        for (const record of handlers(hook)) {
+            const result = yield* runHandler(record, args);
+            if (!Option.isOption(result)) {
+                return yield* Effect.fail(new PluginError({
+                    code: "invalid_hook_result",
+                    message: `first hook "${record.hook}" in plugin "${record.plugin}" did not return an Option`,
+                    plugin: record.plugin,
+                    hook: record.hook
+                }));
+            }
+            if (Option.isSome(result))
+                return result;
+        }
+        return Option.none();
+    }));
+    const waterfall = ((hook, initial, merge) => Effect.gen(function* () {
+        const mismatch = kindMismatch(resolved, hook, "waterfall");
+        if (mismatch !== undefined)
+            return yield* Effect.fail(mismatch);
+        let value = initial;
+        for (const record of handlers(hook)) {
+            const patch = yield* runHandler(record, [value]);
+            if (patch !== undefined) {
+                value = yield* Effect.try({
+                    try: () => merge(value, patch),
+                    catch: (cause) => cause instanceof PluginError
+                        ? new PluginError({
+                            code: cause.code,
+                            message: cause.message,
+                            plugin: record.plugin,
+                            hook: record.hook,
+                            path: cause.path
+                        })
+                        : new PluginError({
+                            code: "config_invalid",
+                            message: `waterfall hook "${record.hook}" in plugin "${record.plugin}" returned an invalid patch`,
+                            plugin: record.plugin,
+                            hook: record.hook
+                        })
+                });
+            }
+        }
+        return value;
+    }));
+    return Object.freeze({ resolved, handlers, sequential, parallel, first, waterfall });
+};
+/**
+ * A dispatcher with no plugins at all.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export const makeNoop = () => make(Object.freeze({
+    plugins: Object.freeze([]),
+    handlers: ImmutableMap.make(),
+    kinds: engineHooks,
+    parallelConcurrency: defaultParallelConcurrency
+}));
+/**
+ * The shared dispatcher, as a service tag.
+ *
+ * This tag holds one dispatcher over the process-wide augmented `FlowsHooks`.
+ * `declare module "@smthrs/plugin"` augmentation is the supported extension
+ * mechanism for values placed in the tag. A host typed against a separate hook
+ * interface holds its `Service<H>` directly, as `@smthrs/agent` does, and does
+ * not use this tag or its layers.
+ *
+ * @category context
+ * @since 1.0.0-rc.0
+ */
+export class Plugins extends Context.Service()("flows/plugin/Plugins") {
+}
+/**
+ * Layer providing a dispatcher over an already resolved plugin list.
+ *
+ * This layer targets the shared augmented `FlowsHooks` catalog only. A host
+ * with a separate hook interface holds its `Service<H>` directly.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export const layer = (resolved) => Layer.succeed(Plugins)(make(resolved));
+/**
+ * Layer providing a dispatcher with no plugins.
+ *
+ * This layer targets the shared augmented `FlowsHooks` catalog only. A host
+ * with a separate hook interface holds its `Service<H>` directly.
+ *
+ * @category layers
+ * @since 1.0.0-rc.0
+ */
+export const layerNoop = Layer.succeed(Plugins)(makeNoop());
+//# sourceMappingURL=Plugins.js.map

package/dist/esm/Plugins.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Plugins.js","sourceRoot":"","sources":["../../src/Plugins.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,YAAY,MAAM,+BAA+B,CAAA;AAE7D,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAA;AACzC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,0BAA0B,EAAqC,MAAM,cAAc,CAAA;AAE5F,MAAM,KAAK,GAAiC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAE7D,6EAA6E;AAC7E,4EAA4E;AAC5E,uDAAuD;AACvD,MAAM,YAAY,GAAG,CAAC,QAA2B,EAAE,IAAY,EAAE,IAAc,EAA2B,EAAE;IAC1G,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,SAAS,CAAA;IAC1D,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,SAAS,CAAA;IACvC,OAAO,IAAI,WAAW,CAAC;QACrB,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,SAAS,IAAI,iBAAiB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,iDAC7D,IAAI,CAAC,SAAS,CAAC,IAAI,CACrB,EAAE;QACF,IAAI;KACL,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,CACjB,MAAqB,EACrB,IAA4B,EACc,EAAE;IAC5C,MAAM,OAAO,GAAG,CAAC,KAA2B,EAAE,EAAE,CAC9C,MAAM,CAAC,IAAI,CACT,IAAI,WAAW,CAAC;QACd,IAAI,EAAE,aAAa;QACnB,OAAO,EAAE,SAAS,MAAM,CAAC,IAAI,uBAAuB,MAAM,CAAC,MAAM,GAAG;QACpE,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,KAAK;KACN,CAAC,CACH,CAAA;IAEH,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CACpD,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,EAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACxB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACrB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACzC,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,IAAI,WAAW,CAAC;YACd,IAAI,EAAE,aAAa;YACnB,OAAO,EAAE,SAAS,MAAM,CAAC,IAAI,gBAAgB,MAAM,CAAC,MAAM,4BAA4B,OAAO,MAAM,GAAG;YACtG,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,IAAI,EAAE,MAAM,CAAC,IAAI;SAClB,CAAC,CACH,CACJ,CACF,CAAA;AACH,CAAC,CAAA;AAuCD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAiB,QAAqB,EAAc,EAAE;IACxE,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAgC,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAA;IAErG,MAAM,UAAU,GAAG,CAAC,CAAC,IAAY,EAAE,GAAG,IAAoB,EAAE,EAAE,CAC5D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,YAAY,CAAC,CAAA;QAC3D,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/D,MAAM,OAAO,GAAmB,EAAE,CAAA;QAClC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;QAC/C,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC,CAAC,CAA6B,CAAA;IAEjC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAY,EAAE,GAAG,IAAoB,EAAE,EAAE;QAC1D,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,CAAA;QACzD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC7D,OAAO,MAAM,CAAC,OAAO,CACnB,QAAQ,CAAC,IAAI,CAAC,EACd,CAAC,MAAM,EAAE,EAAE,CACT,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAC3B,MAAM,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAwB,EAAE,CAAC,CAC3F,EACH,EAAE,WAAW,EAAE,QAAQ,CAAC,mBAAmB,EAAE,CAC9C,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC/C,CAAC,CAA2B,CAAA;IAE5B,MAAM,KAAK,GAAG,CAAC,CAAC,IAAY,EAAE,GAAG,IAAoB,EAAE,EAAE,CACvD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;QACtD,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/D,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;YAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,WAAW,CAAC;oBACd,IAAI,EAAE,qBAAqB;oBAC3B,OAAO,EAAE,eAAe,MAAM,CAAC,IAAI,gBAAgB,MAAM,CAAC,MAAM,4BAA4B;oBAC5F,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,IAAI,EAAE,MAAM,CAAC,IAAI;iBAClB,CAAC,CACH,CAAA;YACH,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAA;QAC1C,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC,CAAC,CAAmC,CAAA;IAEvC,MAAM,SAAS,GACb,CAAC,CAAC,IAAY,EAAE,OAAgB,EAAE,KAAqD,EAAE,EAAE,CACzF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;QAC1D,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/D,IAAI,KAAK,GAAG,OAAO,CAAA;QACnB,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;YAChD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,KAAK,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;oBACxB,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC;oBAC9B,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,KAAK,YAAY,WAAW;wBAC1B,CAAC,CAAC,IAAI,WAAW,CAAC;4BAChB,IAAI,EAAE,KAAK,CAAC,IAAI;4BAChB,OAAO,EAAE,KAAK,CAAC,OAAO;4BACtB,MAAM,EAAE,MAAM,CAAC,MAAM;4BACrB,IAAI,EAAE,MAAM,CAAC,IAAI;4BACjB,IAAI,EAAE,KAAK,CAAC,IAAI;yBACjB,CAAC;wBACF,CAAC,CAAC,IAAI,WAAW,CAAC;4BAChB,IAAI,EAAE,gBAAgB;4BACtB,OAAO,EAAE,mBAAmB,MAAM,CAAC,IAAI,gBAAgB,MAAM,CAAC,MAAM,6BAA6B;4BACjG,MAAM,EAAE,MAAM,CAAC,MAAM;4BACrB,IAAI,EAAE,MAAM,CAAC,IAAI;yBAClB,CAAC;iBACP,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,CAAC,CAA4B,CAAA;IAElC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;AACtF,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,GAA+B,EAAE,CACvD,IAAI,CAAI,MAAM,CAAC,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1B,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAwC;IACnE,KAAK,EAAE,WAAW;IAClB,mBAAmB,EAAE,0BAA0B;CAChD,CAAC,CAAC,CAAA;AAEL;;;;;;;;;;;GAWG;AACH,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,OAAO,EAAoB,CAAC,sBAAsB,CAAC;CAAG;AAE3F;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAwB,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAA;AAEzG;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,SAAS,GAAyB,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAA","sourcesContent":["/**\n * The dispatcher: a plain service over a resolved plugin list, generic over the\n * hook interface.\n *\n * The public package contract is documented at\n * {@link https://smithers.sh/docs/reference/api/plugin}. Each host holds an instance over its\n * augmented `FlowsHooks` and may dispatch only the runtime catalog it supplied.\n * The shipped cell host owns the three\n * waterfalls declared in `packages/smithers/agent/src/CellPlugin.ts`; there is\n * no engine-wide lifecycle dispatcher.\n *\n * Cancellation is fiber interruption via scope closure; nothing here threads an\n * `AbortSignal`.\n *\n * @since 1.0.0-rc.0\n */\n\nimport * as ImmutableMap from \"@smthrs/canonical/ReadonlyMap\"\nimport type * as Cause from \"effect/Cause\"\nimport * as Context from \"effect/Context\"\nimport * as Effect from \"effect/Effect\"\nimport * as Layer from \"effect/Layer\"\nimport * as Option from \"effect/Option\"\nimport type { ArgsOf, ContextOf, HookKind, KeysOfKind, SuccessOf } from \"./Hooks.ts\"\nimport { engineHooks } from \"./Hooks.ts\"\nimport type { FlowsHooks } from \"./index.ts\"\nimport { PluginError } from \"./PluginError.ts\"\nimport { defaultParallelConcurrency, type HandlerRecord, type Resolved } from \"./Resolve.ts\"\n\nconst empty: ReadonlyArray<HandlerRecord> = Object.freeze([])\n\n// The typed catalog and the runtime catalog can only drift when a host casts\n// around `KeysOfKind`; refuse before any handler runs rather than execute a\n// hook under semantics its declaration never promised.\nconst kindMismatch = (resolved: Resolved<unknown>, hook: string, kind: HookKind): PluginError | undefined => {\n  if (!Object.hasOwn(resolved.kinds, hook)) return undefined\n  const declared = resolved.kinds[hook]\n  if (declared === kind) return undefined\n  return new PluginError({\n    code: \"hook_kind_mismatch\",\n    message: `hook \"${hook}\" is declared ${JSON.stringify(declared)} in the runtime catalog but was dispatched as ${\n      JSON.stringify(kind)\n    }`,\n    hook\n  })\n}\n\nconst runHandler = (\n  record: HandlerRecord,\n  args: ReadonlyArray<unknown>\n): Effect.Effect<unknown, PluginError, any> => {\n  const onCause = (cause: Cause.Cause<unknown>) =>\n    Effect.fail(\n      new PluginError({\n        code: \"hook_failed\",\n        message: `hook \"${record.hook}\" failed in plugin \"${record.plugin}\"`,\n        plugin: record.plugin,\n        hook: record.hook,\n        cause\n      })\n    )\n\n  return Effect.sync(() => record.handler(...args)).pipe(\n    Effect.catchCause(onCause),\n    Effect.flatMap((result) =>\n      Effect.isEffect(result)\n        ? result.pipe(Effect.catchCause(onCause))\n        : Effect.fail(\n          new PluginError({\n            code: \"hook_failed\",\n            message: `hook \"${record.hook}\" in plugin \"${record.plugin}\" returned a non-Effect (${typeof result})`,\n            plugin: record.plugin,\n            hook: record.hook\n          })\n        )\n    )\n  )\n}\n\n/**\n * The dispatch surface.\n *\n * @category models\n * @since 1.0.0-rc.0\n */\nexport interface Service<H = FlowsHooks> {\n  /** The resolved list this dispatcher walks. */\n  readonly resolved: Resolved<H>\n  /** Frozen, ordered handler records for a hook. */\n  readonly handlers: (hook: string) => ReadonlyArray<HandlerRecord>\n  /** Runs every handler in resolved order, one at a time. */\n  readonly sequential: <K extends KeysOfKind<H, \"sequential\">>(\n    hook: K,\n    ...args: ArgsOf<H[K]>\n  ) => Effect.Effect<ReadonlyArray<SuccessOf<H[K]>>, PluginError, ContextOf<H[K]>>\n  /**\n   * Runs every handler concurrently, ignoring results. Never fails: handler\n   * failures are returned so the caller can report them at its own boundary.\n   */\n  readonly parallel: <K extends KeysOfKind<H, \"parallel\">>(\n    hook: K,\n    ...args: ArgsOf<H[K]>\n  ) => Effect.Effect<ReadonlyArray<PluginError>, never, ContextOf<H[K]>>\n  /** Runs handlers in order until one returns `Option.some`. */\n  readonly first: <K extends KeysOfKind<H, \"first\">>(\n    hook: K,\n    ...args: ArgsOf<H[K]>\n  ) => Effect.Effect<SuccessOf<H[K]>, PluginError, ContextOf<H[K]>>\n  /** Threads a value through every handler, merging each returned patch. */\n  readonly waterfall: <K extends KeysOfKind<H, \"waterfall\">>(\n    hook: K,\n    initial: ArgsOf<H[K]>[0],\n    merge: (previous: ArgsOf<H[K]>[0], patch: Exclude<SuccessOf<H[K]>, void>) => ArgsOf<H[K]>[0]\n  ) => Effect.Effect<ArgsOf<H[K]>[0], PluginError, ContextOf<H[K]>>\n}\n\n/**\n * Builds a dispatcher over an already resolved plugin list.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const make = <H = FlowsHooks>(resolved: Resolved<H>): Service<H> => {\n  const handlers = (hook: string): ReadonlyArray<HandlerRecord> => resolved.handlers.get(hook) ?? empty\n\n  const sequential = ((hook: string, ...args: Array<unknown>) =>\n    Effect.gen(function*() {\n      const mismatch = kindMismatch(resolved, hook, \"sequential\")\n      if (mismatch !== undefined) return yield* Effect.fail(mismatch)\n      const results: Array<unknown> = []\n      for (const record of handlers(hook)) {\n        results.push(yield* runHandler(record, args))\n      }\n      return results\n    })) as Service<H>[\"sequential\"]\n\n  const parallel = ((hook: string, ...args: Array<unknown>) => {\n    const mismatch = kindMismatch(resolved, hook, \"parallel\")\n    if (mismatch !== undefined) return Effect.succeed([mismatch])\n    return Effect.forEach(\n      handlers(hook),\n      (record) =>\n        runHandler(record, args).pipe(\n          Effect.match({ onFailure: (error) => [error], onSuccess: () => [] as Array<PluginError> })\n        ),\n      { concurrency: resolved.parallelConcurrency }\n    ).pipe(Effect.map((chunks) => chunks.flat()))\n  }) as Service<H>[\"parallel\"]\n\n  const first = ((hook: string, ...args: Array<unknown>) =>\n    Effect.gen(function*() {\n      const mismatch = kindMismatch(resolved, hook, \"first\")\n      if (mismatch !== undefined) return yield* Effect.fail(mismatch)\n      for (const record of handlers(hook)) {\n        const result = yield* runHandler(record, args)\n        if (!Option.isOption(result)) {\n          return yield* Effect.fail(\n            new PluginError({\n              code: \"invalid_hook_result\",\n              message: `first hook \"${record.hook}\" in plugin \"${record.plugin}\" did not return an Option`,\n              plugin: record.plugin,\n              hook: record.hook\n            })\n          )\n        }\n        if (Option.isSome(result)) return result\n      }\n      return Option.none()\n    })) as unknown as Service<H>[\"first\"]\n\n  const waterfall =\n    ((hook: string, initial: unknown, merge: (previous: unknown, patch: unknown) => unknown) =>\n      Effect.gen(function*() {\n        const mismatch = kindMismatch(resolved, hook, \"waterfall\")\n        if (mismatch !== undefined) return yield* Effect.fail(mismatch)\n        let value = initial\n        for (const record of handlers(hook)) {\n          const patch = yield* runHandler(record, [value])\n          if (patch !== undefined) {\n            value = yield* Effect.try({\n              try: () => merge(value, patch),\n              catch: (cause) =>\n                cause instanceof PluginError\n                  ? new PluginError({\n                    code: cause.code,\n                    message: cause.message,\n                    plugin: record.plugin,\n                    hook: record.hook,\n                    path: cause.path\n                  })\n                  : new PluginError({\n                    code: \"config_invalid\",\n                    message: `waterfall hook \"${record.hook}\" in plugin \"${record.plugin}\" returned an invalid patch`,\n                    plugin: record.plugin,\n                    hook: record.hook\n                  })\n            })\n          }\n        }\n        return value\n      })) as Service<H>[\"waterfall\"]\n\n  return Object.freeze({ resolved, handlers, sequential, parallel, first, waterfall })\n}\n\n/**\n * A dispatcher with no plugins at all.\n *\n * @category constructors\n * @since 1.0.0-rc.0\n */\nexport const makeNoop = <H = FlowsHooks>(): Service<H> =>\n  make<H>(Object.freeze({\n    plugins: Object.freeze([]),\n    handlers: ImmutableMap.make<string, ReadonlyArray<HandlerRecord>>(),\n    kinds: engineHooks,\n    parallelConcurrency: defaultParallelConcurrency\n  }))\n\n/**\n * The shared dispatcher, as a service tag.\n *\n * This tag holds one dispatcher over the process-wide augmented `FlowsHooks`.\n * `declare module \"@smthrs/plugin\"` augmentation is the supported extension\n * mechanism for values placed in the tag. A host typed against a separate hook\n * interface holds its `Service<H>` directly, as `@smthrs/agent` does, and does\n * not use this tag or its layers.\n *\n * @category context\n * @since 1.0.0-rc.0\n */\nexport class Plugins extends Context.Service<Plugins, Service>()(\"flows/plugin/Plugins\") {}\n\n/**\n * Layer providing a dispatcher over an already resolved plugin list.\n *\n * This layer targets the shared augmented `FlowsHooks` catalog only. A host\n * with a separate hook interface holds its `Service<H>` directly.\n *\n * @category layers\n * @since 1.0.0-rc.0\n */\nexport const layer = (resolved: Resolved): Layer.Layer<Plugins> => Layer.succeed(Plugins)(make(resolved))\n\n/**\n * Layer providing a dispatcher with no plugins.\n *\n * This layer targets the shared augmented `FlowsHooks` catalog only. A host\n * with a separate hook interface holds its `Service<H>` directly.\n *\n * @category layers\n * @since 1.0.0-rc.0\n */\nexport const layerNoop: Layer.Layer<Plugins> = Layer.succeed(Plugins)(makeNoop())\n"]}

package/dist/esm/Resolve.d.ts

@@ -0,0 +1,128 @@
+/**
+ * Bounded plugin resolution: admit, filter, validate, order, and snapshot.
+ *
+ * The resulting catalog owns every record it exposes. Dispatch never reads a
+ * caller-owned map, plugin record, hook object, config value, or cache identity.
+ *
+ * @since 1.0.0-rc.0
+ */
+import type { Action } from "@smthrs/flow";
+import * as Effect from "effect/Effect";
+import * as Layer from "effect/Layer";
+import type { FlowsConfig } from "./Config.ts";
+import type { HookCatalog, HookKind } from "./Hooks.ts";
+import type { FlowsHooks } from "./index.ts";
+import type { FlowsPlugin, PluginInput } from "./Plugin.ts";
+import { PluginError } from "./PluginError.ts";
+/**
+ * Maximum nested preset-array depth accepted at startup.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumPluginDepth = 64;
+/**
+ * Maximum plugins accepted by one kernel.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumPlugins = 256;
+/**
+ * Maximum aggregate hook handlers accepted by one kernel.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumHandlers = 1024;
+/**
+ * Maximum input nodes, including arrays and omitted entries.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumPluginInputNodes = 4096;
+/**
+ * Maximum UTF-16 length of one plugin or hook name.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumPluginNameLength = 256;
+/**
+ * Default fiber bound for parallel observers.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const defaultParallelConcurrency = 16;
+/**
+ * Maximum configurable parallel-observer bound.
+ *
+ * @category limits
+ * @since 1.0.0-rc.0
+ */
+export declare const maximumParallelConcurrency = 256;
+/**
+ * One resolved handler with immutable attribution.
+ *
+ * @category models
+ * @since 1.0.0-rc.0
+ */
+export interface HandlerRecord {
+    readonly plugin: string;
+    readonly hook: string;
+    readonly handler: (...args: Array<any>) => unknown;
+}
+/**
+ * The immutable output of plugin resolution.
+ *
+ * @category models
+ * @since 1.0.0-rc.0
+ */
+export interface Resolved<H = FlowsHooks> {
+    readonly plugins: ReadonlyArray<FlowsPlugin<H>>;
+    readonly handlers: ReadonlyMap<string, ReadonlyArray<HandlerRecord>>;
+    /** The frozen runtime catalog this resolution admitted. Dispatch refuses a method whose kind differs from it. */
+    readonly kinds: Readonly<Record<string, HookKind>>;
+    readonly parallelConcurrency: number;
+    readonly cacheEnvironment?: Action.CacheEnvironment | undefined;
+}
+/**
+ * Options for {@link resolve}.
+ *
+ * @category models
+ * @since 1.0.0-rc.0
+ */
+export interface Options<H = FlowsHooks> {
+    /** Pre-resolution config tested by `apply` predicates. */
+    readonly config?: FlowsConfig | undefined;
+    /** Host whose literal `apply` selectors are active. Defaults to `"engine"`. */
+    readonly target?: "engine" | "harness" | undefined;
+    /**
+     * Hook names recognized by this host, each with the kind `H` declares for
+     * it. The shared `config` and `configResolved` hooks are fixed to
+     * `waterfall` and `parallel`; another kind fails with `hook_kind_mismatch`.
+     */
+    readonly hooks?: HookCatalog<H> | undefined;
+    /** Complete composition identity for sealed activity keys. Requires every selected plugin to have a version. */
+    readonly cacheEnvironment?: Action.CacheEnvironment | undefined;
+    /** Maximum observers run at once. Defaults to 16 and cannot exceed 256. */
+    readonly parallelConcurrency?: number | undefined;
+}
+/**
+ * Resolves a plugin preset into an immutable, resource-bounded catalog.
+ *
+ * @category constructors
+ * @since 1.0.0-rc.0
+ */
+export declare const resolve: <H = FlowsHooks>(input: PluginInput<NoInfer<H>>, options?: Options<NoInfer<H>>, configOverride?: FlowsConfig) => Effect.Effect<Resolved<H>, PluginError>;
+/**
+ * Merges every resolved plugin layer left-to-right and supplies the detached
+ * cache environment captured during resolution.
+ *
+ * @category combinators
+ * @since 1.0.0-rc.0
+ */
+export declare const layer: <H>(resolved: Resolved<H>) => Layer.Layer<any, PluginError, any>;
+//# sourceMappingURL=Resolve.d.ts.map

package/dist/esm/Resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Resolve.d.ts","sourceRoot":"","sources":["../../src/Resolve.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAE9C,OAAO,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAc,MAAM,YAAY,CAAA;AAEnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AAI5C,OAAO,KAAK,EAAS,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAClE,OAAO,EAAE,WAAW,EAAwB,MAAM,kBAAkB,CAAA;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB,KAAK,CAAA;AAEpC;;;;;GAKG;AACH,eAAO,MAAM,cAAc,MAAM,CAAA;AAEjC;;;;;GAKG;AACH,eAAO,MAAM,eAAe,OAAQ,CAAA;AAEpC;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,OAAQ,CAAA;AAE5C;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,MAAM,CAAA;AAE1C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,KAAK,CAAA;AAE5C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,MAAM,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,KAAK,OAAO,CAAA;CACnD;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,UAAU;IACtC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC,CAAA;IACpE,iHAAiH;IACjH,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAA;IACpC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,gBAAgB,GAAG,SAAS,CAAA;CAChE;AAED;;;;;GAKG;AACH,MAAM,WAAW,OAAO,CAAC,CAAC,GAAG,UAAU;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,GAAG,SAAS,CAAA;IACzC,+EAA+E;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAA;IAClD;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;IAC3C,gHAAgH;IAChH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,gBAAgB,GAAG,SAAS,CAAA;IAC/D,2EAA2E;IAC3E,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAClD;AAkQD;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,CAAC,GAAG,UAAU,EACpC,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAC9B,UAAS,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAM,EACjC,iBAAiB,WAAW,KAC3B,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,WAAW,CAgIrC,CAAA;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,UAAU,QAAQ,CAAC,CAAC,CAAC,KAAG,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,CAClB,CAAA"}