@boboddy/sdk 0.5.0 → 0.5.2

package/dist/definitions/steps/define-code-step.d.ts

@@ -1,5 +1,6 @@
 import type { ZodType } from "zod";
-import type { SignalKeysOf, SignalTypeMapOf, TypedStepDefinitionSpec } from "./define-step";
+import type { EffectiveResult, SignalKeysOf, SignalTypeMapOf, TypedStepDefinitionSpec } from "./define-step";
+import type { AnyStepFeature, FeatureSignalKeys } from "./step-features";
 /**
  * `codeStep()`'s own signal spec shape — unlike `defineStep()`'s
  * `SignalSpecInput`, `type` is required rather than inferred from the
@@ -17,7 +18,7 @@ export type CodeStepSignalSpec = {
     availableWhenResultStatusIn?: string[] | null;
 };
 export type CodeStepFn<TInput, TResult> = (input: TInput) => TResult | Promise<TResult>;
-export type DefineCodeStepInput<TInput extends ZodType = ZodType, TResult extends ZodType = ZodType> = {
+export type DefineCodeStepInput<TInput extends ZodType = ZodType, TResult extends ZodType = ZodType, TFeatures extends ReadonlyArray<AnyStepFeature> = never[]> = {
     key: string;
     name: string;
     description?: string | null;
@@ -30,11 +31,22 @@ export type DefineCodeStepInput<TInput extends ZodType = ZodType, TResult extend
      * Must be a plain named export of the same module `codeStep()` is
      * called from (see docs/research/flat-pipeline-sdk-and-visual-designer.md
      * §7.7/§8's "code-step entrypoints resolve against the target repo").
+     *
+     * Typed against `EffectiveResult`, not the bare `resultSchema` output, so
+     * a step with `features: [Features.notifications()]` can return the
+     * `$boboddy_notifications_v1` field (e.g. via `Notify.inApp(...)`)
+     * without a type error.
      */
-    fn: CodeStepFn<TInput["_output"], TResult["_output"]>;
+    fn: CodeStepFn<TInput["_output"], EffectiveResult<TResult["_output"], TFeatures>>;
     inputSchema?: TInput;
     resultSchema?: TResult;
     signals?: readonly CodeStepSignalSpec[];
+    /**
+     * Step features to attach — unlike `defineStep()`, only each feature's
+     * `_resultExtension`/`_signals` apply here (there is no prompt to append
+     * to on a `kind: "code"` step).
+     */
+    features?: TFeatures;
     status?: "draft" | "active";
 };
 /**
@@ -45,6 +57,6 @@ export type DefineCodeStepInput<TInput extends ZodType = ZodType, TResult extend
  * `entrypoint.fn` reference attached instead — see `StepDefinitionSpec`'s
  * own doc comment for what happens to it during collection.
  */
-export declare function codeStep<TInput extends ZodType = ZodType, TResult extends ZodType = ZodType, const TSignals extends ReadonlyArray<CodeStepSignalSpec> = never[]>(config: DefineCodeStepInput<TInput, TResult> & {
+export declare function codeStep<TInput extends ZodType = ZodType, TResult extends ZodType = ZodType, const TSignals extends ReadonlyArray<CodeStepSignalSpec> = never[], const TFeatures extends ReadonlyArray<AnyStepFeature> = never[]>(config: DefineCodeStepInput<TInput, TResult, TFeatures> & {
     signals?: TSignals;
-}): TypedStepDefinitionSpec<TInput["_output"], TResult["_output"], SignalKeysOf<TSignals>, SignalTypeMapOf<TSignals, TResult["_output"]>>;
+}): TypedStepDefinitionSpec<TInput["_output"], EffectiveResult<TResult["_output"], TFeatures>, SignalKeysOf<TSignals> | FeatureSignalKeys<TFeatures>, SignalTypeMapOf<TSignals, TResult["_output"]>>;

package/dist/definitions/steps/define-step.d.ts

@@ -159,7 +159,7 @@ export type SignalTypeMapOf<TSignals extends readonly unknown[], TResult> = Pret
         sourcePath: infer P extends string;
     } ? TypeAtPath<TResult, P> : unknown;
 }>;
-type EffectiveResult<TResult, TFeatures extends ReadonlyArray<AnyStepFeature>> = Prettify<TResult & FeatureResultExtensions<TFeatures>>;
+export type EffectiveResult<TResult, TFeatures extends ReadonlyArray<AnyStepFeature>> = Prettify<TResult & FeatureResultExtensions<TFeatures>>;
 type HasAdditionalInput<T> = 0 extends 1 & T ? boolean : [unknown] extends [T] ? false : true;
 export type TypedStepDefinitionSpec<TInput = unknown, TResult = unknown, TSignalKeys extends string = string, TSignalTypeMap extends Partial<Record<string, unknown>> = Record<string, unknown>> = StepDefinitionSpec & {
     readonly __inputType: TInput;