@moku-labs/game 0.15.40 → 0.15.41

package/dist/{types-DY_DRbGY.d.mts → types-DrkR03nL.d.mts}

@@ -2618,21 +2618,25 @@ type NodeSpec<Game extends GameState, Input, Tags extends OutcomeTags> = {
  */
 type DefineNode<Game extends GameState> = <Input = void, const Tags extends OutcomeTags = OutcomeTags>(spec: NodeSpec<Game, Input, Tags>) => NodeDefinition<Input, Tags, Game>;
 /**
- * An extension point inside a flow: a node whose body is "run the contributions in order".
- * Its single outcome is `done`.
+ * An extension point inside a flow: a node whose body is "run the contributions in order". Its
+ * outcomes are `done` and the named outcomes `slot()` declares, so the flow that holds it routes
+ * each of them with an ordinary edge. Without type arguments it is a slot that declares none.
  *
  * @example
  * ```ts
- * const afterOrder: SlotNode = slot("afterOrder");
+ * // A feature may send the player from the slot to the shop, on the tab it names.
+ * const afterOrder: SlotNode<{ shop: TypeTag<{ tab: string }> }, "afterOrder"> = slot("afterOrder", {
+ *   shop: type<{ tab: string }>()
+ * });
  * // { kind: "slot", name: "afterOrder", input: { kind: "type" },
- * //   outcomes: { done: { kind: "type" } } }
+ * //   outcomes: { done: { kind: "type" }, shop: { kind: "type" } } }
  * ```
  */
-type SlotNode = Wired<void, {
+type SlotNode<Tags extends OutcomeTags = Record<never, never>, Name extends string = string> = Wired<void, {
   readonly done: TypeTag<void>;
-}> & {
+} & Tags> & {
   readonly kind: "slot";
-  readonly name: string;
+  readonly name: Name;
 };
 /**
  * Edge target that leaves the sub-flow with this outcome. The payload passes through.
@@ -2774,6 +2778,32 @@ type CheckTarget<Nodes extends NodeTable, FlowTags extends OutcomeTags, NodeName
  * ```
  */
 type CheckedEdges<Nodes extends NodeTable, FlowTags extends OutcomeTags, Table> = { readonly [Name in keyof Nodes & string]: { readonly [Outcome in keyof Nodes[Name]["outcomes"] & string]: Name extends keyof Table ? Outcome extends keyof Table[Name] ? CheckTarget<Nodes, FlowTags, Name, Outcome, PayloadOf<Nodes[Name]["outcomes"][Outcome]>, Table[Name][Outcome]> : AnyTargetOf<Nodes, FlowTags> : AnyTargetOf<Nodes, FlowTags> } & (Name extends keyof Table ? { readonly [Extra in Exclude<keyof Table[Name], keyof Nodes[Name]["outcomes"]> & string]: GraphError<`Node "${Name}" has no outcome "${Extra}".`> } : unknown) } & { readonly [Extra in Exclude<keyof Table, keyof Nodes> & string]: GraphError<`"${Extra}" is not a node of this flow.`> };
+/**
+ * Checks one outcome `Outcome` of the contributed flow `Contributed` against the slot `Host`:
+ * `never` when it is `done`, or an outcome the slot declares whose payload fits; a `GraphError`
+ * sentence otherwise.
+ */
+type OutcomeFit<Contributed extends AnyFlow, Host extends SlotNode<OutcomeTags, string>, Outcome extends keyof Contributed["outcomes"]> = Outcome extends "done" ? never : Outcome extends Exclude<keyof Host["outcomes"], "done"> ? Accepts<PayloadOf<Contributed["outcomes"][Outcome]>, PayloadOf<Host["outcomes"][Outcome]>> extends true ? never : GraphError<`Payload of outcome "${Outcome & string}" does not fit slot "${Host["name"]}".`> : GraphError<`Slot "${Host["name"]}" declares no outcome "${Outcome & string}".`>;
+/**
+ * The outcomes of `Contributed` that do not fit the slot `Host`, as `GraphError` sentences, or
+ * `never` when every outcome fits.
+ */
+type MisfitOutcomes<Contributed extends AnyFlow, Host extends SlotNode<OutcomeTags, string>> = { [Outcome in keyof Contributed["outcomes"]]: OutcomeFit<Contributed, Host, Outcome> }[keyof Contributed["outcomes"]];
+/**
+ * Checking type of `contribution()`: whether the flow `Contributed` fits the slot `Host`. Every
+ * outcome of the flow is `done`, or an outcome the slot declares whose payload fits; then it is
+ * `unknown`, otherwise the `GraphError` sentence of the misfit. A slot that declares no outcome
+ * accepts any flow, and a flow without outcomes fits any slot.
+ *
+ * @example
+ * ```ts
+ * // episodeStep = slot("episodeStep", { shop: type<{ tab: string }>() })
+ * type Fitting = Fits<typeof storyFlow, typeof episodeStep>; // unknown: outcomes done and shop
+ * type Misfit = Fits<typeof giftFlow, typeof episodeStep>; // giftFlow exits "gift":
+ * // GraphError<'Slot "episodeStep" declares no outcome "gift".'>
+ * ```
+ */
+type Fits<Contributed extends AnyFlow, Host extends SlotNode<OutcomeTags, string>> = [Exclude<keyof Host["outcomes"], "done">] extends [never] ? unknown : [MisfitOutcomes<Contributed, Host>] extends [never] ? unknown : MisfitOutcomes<Contributed, Host>;
 /**
  * A flow as `defineFlow` returns it: plain data. A flow that declares `input` and `outcomes`
  * is used as a node of another flow.
@@ -3118,7 +3148,13 @@ type RunnerState = {
    * transit nodes, so `bookmark()` writes its `rest` only when these frames name a rest node.
    */
   restFrame: Frame[] | undefined; /** Inside a slot: the contribution the loop just finished. The slot continues after it. */
-  slotAfter: string | undefined; /** Edges since the last checkpoint. */
+  slotAfter: string | undefined; /** Inside a slot: the declared outcome a contribution left on. The slot takes its edge next. */
+  slotLeave: {
+    outcome: string;
+    payload: Json;
+  } | undefined; /** Edges committed since the loop last arrived at a rest node. */
+  restless: number; /** Edges without a rest node after which the next one fails: `max(64, 4 × expanded nodes)`. */
+  restlessCap: number; /** Edges since the last checkpoint. */
   journal: JournalEntry[];
   journalIndex: number; /** The promise of `run()`. `undefined`: not started. */
   running: Promise<void> | undefined; /** Aborts the active node. */
@@ -3442,12 +3478,19 @@ type FeatureTextStyles = {
  */
 type FeatureDescription = {
   /** Nodes the feature owns. Recorded for `describe()` and hot swap. */nodes?: readonly AnyNode[]; /** Flows the feature owns. */
-  flows?: readonly AnyFlow[]; /** Slot name to the sub-flow run in that slot. */
-  contribute?: Record<string, {
-    flow: AnyFlow;
-    order: number;
-    when?: (snapshot: Snapshot) => boolean;
-  }>;
+  flows?: readonly AnyFlow[];
+  /**
+   * Slot name to the sub-flow run in that slot. Written by hand, an entry is checked by name at
+   * `run()`; `...contribution(slot, spec)` also checks its outcomes against the slot at compile time.
+   *
+   * @example
+   * ```ts
+   * // The story runs in the slot "episodeStep" and may leave it on one of the slot's outcomes.
+   * contribute: { ...contribution(episodeStep, { flow: storyFlow, order: 10 }) }
+   * // { episodeStep: { flow: storyFlow, order: 10 } }
+   * ```
+   */
+  contribute?: Record<string, ContributionSpec>;
   /**
    * Sub-features this feature declares, each in a folder of its own inside this feature's folder,
    * in the order they are composed. `defineGameApp` composes them right after this feature; this
@@ -3483,19 +3526,37 @@ type FeaturePlugin = AnyPluginInstance & {
   readonly features: readonly FeaturePlugin[];
 };
 /**
- * One sub-flow contributed to a slot.
+ * One entry of a feature's `contribute`: the sub-flow a slot runs, its place among the slot's
+ * contributions (lowest `order` first) and the `when` that may skip it. `when` reads the committed
+ * state. `contribution(slot, spec)` builds the entry under the slot's name.
  *
  * @example
  * ```ts
- * const contribution: Contribution = { feature: "reward", flow: rewardFlow, order: 10 };
+ * // The story of episode 1 runs in the slot "episodeStep" while the player is in episode 1.
+ * // `episodeOf` is the game's reader of the committed player tree.
+ * const story: ContributionSpec = {
+ *   flow: storyFlow,
+ *   order: 10,
+ *   when: snapshot => episodeOf(snapshot.player) === "ep01"
+ * };
  * ```
  */
-type Contribution = {
-  feature: string;
+type ContributionSpec = {
   flow: AnyFlow;
   order: number;
   when?: (snapshot: Snapshot) => boolean;
 };
+/**
+ * One sub-flow contributed to a slot, with the feature that contributed it.
+ *
+ * @example
+ * ```ts
+ * const contribution: Contribution = { feature: "reward", flow: rewardFlow, order: 10 };
+ * ```
+ */
+type Contribution = ContributionSpec & {
+  feature: string;
+};
 /**
  * features module state.
  */
@@ -3652,20 +3713,55 @@ declare function exit<const Name extends string>(outcome: Name): Exit<Name>;
 declare function to<const TargetName extends string, Payload, Output>(target: TargetName, map: (payload: Payload) => Output): Mapped<TargetName, Payload, Output>;
 /**
  * Defines an extension point: a node whose body is "run the contributions of this slot in order".
- * Its single outcome is `done`.
+ * Its outcomes are `done` and the ones declared here; the flow that holds the slot gives each an
+ * edge. A contribution that exits `done` hands over to the next contribution whose `when` holds,
+ * and with none left the slot takes its `done` edge. A contribution that exits a declared outcome
+ * leaves the slot at once with its payload: the later contributions do not run, and the slot takes
+ * its own edge of that outcome, journalled like `done`. The next entry of the slot starts again at
+ * its first contribution. Without `outcomes` the slot declares only `done`.
  *
  * @param name - Slot name features contribute to.
+ * @param outcomes - The named outcomes besides `done`, with the type tag of each payload.
  * @returns The slot node as plain data.
+ * @throws {TypeError} When `outcomes` declares `done`, which is every slot's own outcome.
+ * @example
+ * ```ts
+ * // After an order a feature may send the player to the shop, on the tab it names.
+ * slot("afterOrder", { shop: type<{ tab: string }>() });
+ * // { kind: "slot", name: "afterOrder", input: { kind: "type" },
+ * //   outcomes: { done: { kind: "type" }, shop: { kind: "type" } } }
+ * ```
+ */
+declare function slot<const Name extends string, const Tags extends OutcomeTags = Record<never, never>>(name: Name, outcomes?: Tags & {
+  readonly done?: never;
+}): SlotNode<Tags, Name>;
+/**
+ * Builds one typed entry of a feature's `contribute`: the flow a slot runs, under the slot's
+ * name. The compiler checks every outcome of the flow: `done`, or an outcome the slot declares
+ * whose payload fits; a slot that declares none accepts any flow. A raw `contribute` entry stays
+ * valid and is checked by name at `run()` only.
+ *
+ * @param host - The slot node the flow runs in, as `slot()` returned it.
+ * @param spec - The flow, its `order` among the slot's contributions and an optional `when`.
+ * @param spec.flow - The contributed flow; an outcome the slot does not take is a compile error.
+ * @param spec.order - Place among the contributions of the slot, lowest first.
+ * @param spec.when - Skips the contribution while it returns false, read on the committed state.
+ * @returns `{ [host.name]: spec }`, spread into `contribute`; no `when` key when none was given.
  * @example
  * ```ts
- * // The main flow leaves room after a finished order. Features contribute sub-flows to it.
- * nodes: { boot, home, board: boardFlow, afterOrder: slot("afterOrder") }
- * // slot("afterOrder"): { kind: "slot", name: "afterOrder", input: …, outcomes: { done: … } }
+ * // The story feature fills the episode step of the main flow: spread the entry into contribute.
+ * contribution(episodeStep, { flow: storyFlow, order: 10 });
+ * // { episodeStep: { flow: storyFlow, order: 10 } }
+ * contribute: { ...contribution(episodeStep, { flow: storyFlow, order: 10 }) }
  * ```
  */
-declare function slot(name: string): SlotNode;
+declare function contribution<S extends SlotNode<OutcomeTags, string>, F extends AnyFlow>(host: S, spec: {
+  flow: F & Fits<F, S>;
+  order: number;
+  when?: (snapshot: Snapshot) => boolean;
+}): Readonly<Record<S["name"], ContributionSpec>>;
 declare namespace types_d_exports$4 {
-  export { Allow, Answer, AnyFlow, AnyNode, AnyNodeContext, Api$3 as Api, Bookmark, BundlesOf, CheckedEdges, Config$4 as Config, Contribution, DefineNode, Deps$4 as Deps, Descriptor, Edges, Effect, EffectHandler, EffectOptions, EmitterIdOf, EnterCallback, Events$4 as Events, Exit, FeatureDescription, FeatureEmitter, FeatureFilter, FeaturePlugin, FeatureTree, FeaturesApi, FlowCtx, FlowDefinition, FlowEntry, FlowGraph, FlowKit, FlowSpec, FlowState, FxApi, FxHandler, GameState, GameTypes, GateApi, GraphError, GraphNode, GuideOptions, Hint, HudKeysOf, InboxApi, JournalEntry, KernelSlice$4 as KernelSlice, LifecycleChanged, Mapped, NodeContext, NodeDefinition, NodeFx, NodeInfo, NodeSpec, NodeTable, OutcomeTags, Position, RecoverContext, RegisteredFeature, Result, RouteStep, RunnerApi, SceneIdOf, SlotNode, Stage, State$4 as State, StringTableLike, Target, TextStylesOf, TypeTag, WorldEvent };
+  export { Allow, Answer, AnyFlow, AnyNode, AnyNodeContext, Api$3 as Api, Bookmark, BundlesOf, CheckedEdges, Config$4 as Config, Contribution, ContributionSpec, DefineNode, Deps$4 as Deps, Descriptor, Edges, Effect, EffectHandler, EffectOptions, EmitterIdOf, EnterCallback, Events$4 as Events, Exit, FeatureDescription, FeatureEmitter, FeatureFilter, FeaturePlugin, FeatureTree, FeaturesApi, FlowCtx, FlowDefinition, FlowEntry, FlowGraph, FlowKit, FlowSpec, FlowState, FxApi, FxHandler, GameState, GameTypes, GateApi, GraphError, GraphNode, GuideOptions, Hint, HudKeysOf, InboxApi, JournalEntry, KernelSlice$4 as KernelSlice, LifecycleChanged, Mapped, NodeContext, NodeDefinition, NodeFx, NodeInfo, NodeSpec, NodeTable, OutcomeTags, Position, RecoverContext, RegisteredFeature, Result, RouteStep, RunnerApi, SceneIdOf, SlotNode, Stage, State$4 as State, StringTableLike, Target, TextStylesOf, TypeTag, WorldEvent };
 }
 /**
  * flow plugin events.
@@ -13253,4 +13349,4 @@ type BundleCompanion = {
   unload(bundle: string): void;
 };
 //#endregion
-export { PixiModule as $, FeaturePlugin as $n, Time as $r, ShaderWhat as $t, SyncApi as A, NumericFields as An, types_d_exports$6 as Ar, PerfChange as At, ShapeValue as B, EmitterIdOf as Bn, RngState as Br, PerfLongFrameLine as Bt, SceneSpec as C, TagType as Cn, types_d_exports$5 as Cr, PERF_CAUSES as Ct, DebugSwitches as D, Motion as Dn, Json as Dr, PassKind as Dt, types_d_exports$1 as E, Ease as En, Events$5 as Er, PROBLEM_RULES as Et, NineSliceValue as F, TrackSegment as Fn, SaveUnreadableError as Fr, PerfEventLine as Ft, Transform as G, TextStylesOf as Gn, State$7 as Gr, PerfStartupLine as Gt, SpriteBlend as H, HudKeysOf as Hn, Config$7 as Hr, PerfMeasured as Ht, Overlay as I, ViewHandle as In, Snapshot as Ir, PerfEventName as It, AdaptiveScale as J, exit as Jn, Config$8 as Jr, PoolTrimDetail as Jt, TransformValue as K, types_d_exports$4 as Kn, types_d_exports$7 as Kr, PerfTelemetryLine as Kt, OverlayValue as L, Api$3 as Ln, SnapshotOf as Lr, PerfGapLine as Lt, HudPart as M, ProjectionSpec as Mn, PlayerStateProvider as Mr, PerfCollectorLine as Mt, HudPartValue as N, ReducedMotion as Nn, ProviderCall as Nr, PerfCounts as Nt, FilterSlot as O, MotionCause as On, Root as Or, PassRecord as Ot, NineSlice$1 as P, TrackOptions as Pn, SaveDoc as Pr, PerfDisplay as Pt, PixiFilter as Q, FeatureDescription as Qn, ThermalReading as Qr, ShaderEventDetail as Qt, Parent as R, BundlesOf as Rn, StoreApi as Rr, PerfHeaderLine as Rt, SceneDefinition as S, SystemFor as Sn, State$5 as Sr, OverlayWhat as St, State$1 as T, DescriptionNode as Tn, Config$6 as Tr, PERF_LOG_VERSION as Tt, SpriteOptions as U, Position as Un, Events$6 as Ur, PerfSampleLine as Ut, Sprite as V, GameTypes as Vn, Api$6 as Vr, PerfMarkLine as Vt, SpriteValue as W, State$4 as Wn, PauseReason as Wr, PerfSpikeLine as Wt, Config$2 as X, to as Xn, RateChange as Xr, ProblemRule as Xt, Api$1 as Y, slot as Yn, FrameRate as Yr, ProblemEventDetail as Yt, MonitorConfig as Z, type as Zn, State$8 as Zr, SHADER_WHATS as Zt, AnySceneProjection as _, Mut as _n, Answer as _r, FrameRing as _t, Config as a, State$3 as an, FlowState as ar, types_d_exports$2 as at, Events$1 as b, ResourceType as bn, Config$5 as br, MonitorSections as bt, LoadBundles as c, AnyComponentType as cn, RouteStep as cr, RenderStats as ct, Manifest as d, ComponentSchema as dn, Descriptor as dr, ViewportSize as dt, types_d_exports$8 as ei, WarmDetail as en, FeatureTree as er, PixiSprite as et, ReadyBundles as f, ComponentType as fn, Effect as fr, FilterCache as ft, types_d_exports as g, FrameDiff as gn, NodeFx as gr, FrameRecord as gt, Usage as h, EntitySnapshot as hn, Hint as hr, FrameReadout as ht, BundleSpec as i, Explained as in, FlowGraph as ir, Under as it, Display as j, ProjectionMotion as jn, Patch as jr, PerfChangeEntry as jt, FilterSlotInputs as k, MotionHandle as kn, State$6 as kr, PerfCause as kt, LoadReason as l, AnyComponentValue as ln, SceneIdOf as lr, Orientation as lt, Tier as m, Entity as mn, GuideOptions as mr, FrameReadResult as mt, AssetsIo as n, Events$8 as ni, Api$2 as nn, Bookmark as nr, PoolTrim as nt, DefineBundles as o, types_d_exports$3 as on, JournalEntry as or, Captured as ot, State as p, ComponentValue as pn, EffectOptions as pr, FrameColumns as pt, sprite as q, defineFlow as qn, Api$7 as qr, PerfThermalLine as qt, BundleMap as r, Require as ri, Config$3 as rn, DefineNode as rr, State$2 as rt, Events as s, AnyComponent as sn, NodeTable as sr, MonitorCounts as st, Api as t, Config$9 as ti, DEMAND_REASONS as tn, AnyFlow as tr, PixiTexture as tt, LoadResult as u, ComponentHandle as un, TypeTag as ur, Point as ut, Config$1 as v, Narrowed as vn, Api$4 as vr, LongFrameEntry as vt, ScenesApi as w, ChangeHook as wn, Api$5 as wr, PERF_GAP_BUCKETS as wt, LayerMap as x, SystemDefinition as xn, FakeClock as xr, OverlayEventDetail as xt, DefineScene as y, QueryTerm as yn, ClockSource as yr, MONITOR_SECTIONS as yt, Shape as z, Config$4 as zn, RngApi as zr, PerfLogLine as zt };
+export { PixiModule as $, FeatureDescription as $n, ThermalReading as $r, ShaderWhat as $t, SyncApi as A, NumericFields as An, State$6 as Ar, PerfChange as At, ShapeValue as B, EmitterIdOf as Bn, RngApi as Br, PerfLongFrameLine as Bt, SceneSpec as C, TagType as Cn, State$5 as Cr, PERF_CAUSES as Ct, DebugSwitches as D, Motion as Dn, Events$5 as Dr, PassKind as Dt, types_d_exports$1 as E, Ease as En, Config$6 as Er, PROBLEM_RULES as Et, NineSliceValue as F, TrackSegment as Fn, SaveDoc as Fr, PerfEventLine as Ft, Transform as G, TextStylesOf as Gn, PauseReason as Gr, PerfStartupLine as Gt, SpriteBlend as H, HudKeysOf as Hn, Api$6 as Hr, PerfMeasured as Ht, Overlay as I, ViewHandle as In, SaveUnreadableError as Ir, PerfEventName as It, AdaptiveScale as J, defineFlow as Jn, Api$7 as Jr, PoolTrimDetail as Jt, TransformValue as K, types_d_exports$4 as Kn, State$7 as Kr, PerfTelemetryLine as Kt, OverlayValue as L, Api$3 as Ln, Snapshot as Lr, PerfGapLine as Lt, HudPart as M, ProjectionSpec as Mn, Patch as Mr, PerfCollectorLine as Mt, HudPartValue as N, ReducedMotion as Nn, PlayerStateProvider as Nr, PerfCounts as Nt, FilterSlot as O, MotionCause as On, Json as Or, PassRecord as Ot, NineSlice$1 as P, TrackOptions as Pn, ProviderCall as Pr, PerfDisplay as Pt, PixiFilter as Q, type as Qn, State$8 as Qr, ShaderEventDetail as Qt, Parent as R, BundlesOf as Rn, SnapshotOf as Rr, PerfHeaderLine as Rt, SceneDefinition as S, SystemFor as Sn, FakeClock as Sr, OverlayWhat as St, State$1 as T, DescriptionNode as Tn, Api$5 as Tr, PERF_LOG_VERSION as Tt, SpriteOptions as U, Position as Un, Config$7 as Ur, PerfSampleLine as Ut, Sprite as V, GameTypes as Vn, RngState as Vr, PerfMarkLine as Vt, SpriteValue as W, State$4 as Wn, Events$6 as Wr, PerfSpikeLine as Wt, Config$2 as X, slot as Xn, FrameRate as Xr, ProblemRule as Xt, Api$1 as Y, exit as Yn, Config$8 as Yr, ProblemEventDetail as Yt, MonitorConfig as Z, to as Zn, RateChange as Zr, SHADER_WHATS as Zt, AnySceneProjection as _, Mut as _n, NodeFx as _r, FrameRing as _t, Config as a, State$3 as an, FlowGraph as ar, types_d_exports$2 as at, Events$1 as b, ResourceType as bn, ClockSource as br, MonitorSections as bt, LoadBundles as c, AnyComponentType as cn, NodeTable as cr, RenderStats as ct, Manifest as d, ComponentSchema as dn, TypeTag as dr, ViewportSize as dt, Time as ei, WarmDetail as en, FeaturePlugin as er, PixiSprite as et, ReadyBundles as f, ComponentType as fn, Descriptor as fr, FilterCache as ft, types_d_exports as g, FrameDiff as gn, Hint as gr, FrameRecord as gt, Usage as h, EntitySnapshot as hn, GuideOptions as hr, FrameReadout as ht, BundleSpec as i, Require as ii, Explained as in, DefineNode as ir, Under as it, Display as j, ProjectionMotion as jn, types_d_exports$6 as jr, PerfChangeEntry as jt, FilterSlotInputs as k, MotionHandle as kn, Root as kr, PerfCause as kt, LoadReason as l, AnyComponentValue as ln, RouteStep as lr, Orientation as lt, Tier as m, Entity as mn, EffectOptions as mr, FrameReadResult as mt, AssetsIo as n, Config$9 as ni, Api$2 as nn, AnyFlow as nr, PoolTrim as nt, DefineBundles as o, types_d_exports$3 as on, FlowState as or, Captured as ot, State as p, ComponentValue as pn, Effect as pr, FrameColumns as pt, sprite as q, contribution as qn, types_d_exports$7 as qr, PerfThermalLine as qt, BundleMap as r, Events$8 as ri, Config$3 as rn, Bookmark as rr, State$2 as rt, Events as s, AnyComponent as sn, JournalEntry as sr, MonitorCounts as st, Api as t, types_d_exports$8 as ti, DEMAND_REASONS as tn, FeatureTree as tr, PixiTexture as tt, LoadResult as u, ComponentHandle as un, SceneIdOf as ur, Point as ut, Config$1 as v, Narrowed as vn, Answer as vr, LongFrameEntry as vt, ScenesApi as w, ChangeHook as wn, types_d_exports$5 as wr, PERF_GAP_BUCKETS as wt, LayerMap as x, SystemDefinition as xn, Config$5 as xr, OverlayEventDetail as xt, DefineScene as y, QueryTerm as yn, Api$4 as yr, MONITOR_SECTIONS as yt, Shape as z, Config$4 as zn, StoreApi as zr, PerfLogLine as zt };

package/dist/{types-CoTkzbEB.d.mts → types-gQATSj41.d.mts}

@@ -1,5 +1,5 @@
-import { Dr as Json, Ir as Snapshot } from "./types-DY_DRbGY.mjs";
-import { t as HeadlessApp } from "./headless-CEwDAhgH.mjs";
+import { Lr as Snapshot, Or as Json } from "./types-DrkR03nL.mjs";
+import { t as HeadlessApp } from "./headless-1e3gEF1Y.mjs";
 import { Log } from "@moku-labs/common/browser";
 
 //#region src/plugins/flow/doors/types.d.ts

package/dist/{visual-BcS4CTps.d.mts → visual-pHKIFBSQ.d.mts}

@@ -1,9 +1,9 @@
-import { Vr as Api$3, Y as Api, nn as Api$1, vr as Api$4, wr as Api$2 } from "./types-DY_DRbGY.mjs";
-import { P as AnimApi, r as UiApi } from "./types-CP22WjU9.mjs";
-import { N as InputApi } from "./types-Dnh8LZxo.mjs";
-import { r as Repro } from "./headless-CEwDAhgH.mjs";
-import { a as InputOf, r as ControlApp } from "./types-CoTkzbEB.mjs";
-import { t as commands } from "./commands-CvwzXCxM.mjs";
+import { Hr as Api$3, Tr as Api$2, Y as Api, nn as Api$1, yr as Api$4 } from "./types-DrkR03nL.mjs";
+import { P as AnimApi, r as UiApi } from "./types-B-o8Ul1v.mjs";
+import { N as InputApi } from "./types-CFEtGENK.mjs";
+import { r as Repro } from "./headless-1e3gEF1Y.mjs";
+import { a as InputOf, r as ControlApp } from "./types-gQATSj41.mjs";
+import { t as commands } from "./commands-DLk06fiL.mjs";
 
 //#region src/visual/types.d.ts
 /** The base commands of the `/control` door, keyed by their short names. */

package/dist/visual.d.mts

@@ -1,2 +1,2 @@
-import { a as VisualApp, c as VisualRenderer, d as VisualStart, f as VisualStep, h as VisualTolerance, i as CheckpointResult, l as VisualReport, m as VisualTestResult, n as runVisualTests, o as VisualOptions, p as VisualTest, r as defineVisualTest, s as VisualPage, t as parseVisualArgv, u as VisualSetup } from "./visual-BcS4CTps.mjs";
+import { a as VisualApp, c as VisualRenderer, d as VisualStart, f as VisualStep, h as VisualTolerance, i as CheckpointResult, l as VisualReport, m as VisualTestResult, n as runVisualTests, o as VisualOptions, p as VisualTest, r as defineVisualTest, s as VisualPage, t as parseVisualArgv, u as VisualSetup } from "./visual-pHKIFBSQ.mjs";
 export { type CheckpointResult, type VisualApp, type VisualOptions, type VisualPage, type VisualRenderer, type VisualReport, type VisualSetup, type VisualStart, type VisualStep, type VisualTest, type VisualTestResult, type VisualTolerance, defineVisualTest, parseVisualArgv, runVisualTests };

package/dist/visual.mjs

@@ -1,6 +1,6 @@
 import { t as VISUAL_CLOCK } from "./fake-hnJcJeYf.mjs";
 import { n as read, t as sources } from "./sources-MfRpM8sV.mjs";
-import { n as commands, t as run } from "./run-G4m1APMv.mjs";
+import { n as commands, t as run } from "./run-8s7kh2QD.mjs";
 import path from "node:path";
 import { createBrandConsole } from "@moku-labs/common/cli";
 import { mkdir, readFile, writeFile } from "node:fs/promises";

package/llms.txt

@@ -23,7 +23,7 @@ Facts: Bun only. ESM only. `"sideEffects"` lists the root entry `./dist/index.mj
 - `@moku-labs/game/jsx-runtime` and `@moku-labs/game/jsx-dev-runtime`: what `"jsxImportSource": "@moku-labs/game"` resolves to. A game never imports them by hand.
 
 Root exports:
-- Functions: `createApp`, `createPlugin`, `defineGame`, `defineFeature`, `flattenFeatures`, `type`, `exit`, `to`, `slot`, `schedule`, `guide`, `hint`, `defineEffect`.
+- Functions: `createApp`, `createPlugin`, `defineGame`, `defineFeature`, `flattenFeatures`, `type`, `exit`, `to`, `slot`, `contribution`, `schedule`, `guide`, `hint`, `defineEffect`.
 - Class: `SaveUnreadableError`.
 - Plugin instances: `timePlugin`, `lifecyclePlugin`, `modelPlugin`, `clockPlugin`, `flowPlugin`, `worldPlugin`, `rendererPlugin`, `inputPlugin`, `assetsPlugin`, `scenesPlugin`, `animPlugin`, `i18nPlugin`, `textPlugin`, `uiPlugin`, `audioPlugin`, `effectsPlugin`, `platformPlugin`; the list `screen` = `world`, `renderer`, `input`, `assets`, `scenes`, `anim`, `i18n`, `text`, `ui`. `effects`, `audio` and `platform` are opt-in: `plugins: [...screen, effectsPlugin, audioPlugin, platformPlugin]`, `platform` last.
 - Screen helpers from the root: `component`, `tag`, `resource`, `mut`, `system`, `projection`, `Layer`, `Order`, `Exiting`, `Tree`, `Now`, `Transform`, `Sprite`, `NineSlice`, `Shape`, `Parent`, `Display`, `Overlay`, `HudPart`, `sprite`, `Tappable`, `Pressable`, `Draggable`, `DropTarget`, `Swipeable`, `Traceable`, `Touchable`, `Held`, `Hovered`, `PointerOver`, `Pressed`, `Pointer`, `Traced`, `defineBundles`, `load`, `defineScene`.
@@ -54,7 +54,7 @@ Root exports:
 - Path: node names joined by `/` through sub-flows and slots. Examples: `"home"`, `"board/awaitIntent"`, `"afterBonus/thanks"`.
 - Edge target: a node name, `exit(...)` or `to(...)`. A payload must fit the input of the target. A node without input accepts any payload.
 - Sub-flow: a flow that declares `outcomes` is used as a node of another flow. `exit("name")` leaves it with that outcome.
-- Slot: `slot("name")` is a node with the single outcome `done`. Features contribute sub-flows to it. They run in `order`. `when(snapshot)` can skip one; it always reads the committed state, also what an earlier contribution of the same slot wrote. A contribution may hold a slot of its own. The slot ends with its own `done` edge after the last contribution.
+- Slot: `slot("name")` is a node with the outcome `done`; `slot("name", { shop: type<{ tab: string }>() })` declares more outcomes (never `done`), and the flow that holds the slot gives each an edge, as for a node. Features contribute sub-flows to it. They run in `order`. `when(snapshot)` can skip one; it always reads the committed state, also what an earlier contribution of the same slot wrote. A contribution may hold a slot of its own. A contribution that exits `done` hands over to the next one, and the slot ends with its own `done` edge after the last. A contribution that exits an outcome the slot declares leaves the slot at once with its payload: the later contributions do not run, and the slot takes its own edge of that outcome (a journal entry and a `flow:edge`, like `done`). The next entry of a slot starts at its first contribution. `contribution(slot, { flow, order, when? })` builds the `contribute` entry and checks at compile time that every outcome of the flow is `done` or a declared outcome whose payload fits. `run()` refuses a contribution of a slot with declared outcomes that declares another outcome, and one slot name declared with different outcomes; it warns about named exits into a slot that declares none, and about two contributions without `when` in a slot that declares some. A slot never counts as a rest node: more than `max(64, 4 × n)` edges without one fail the node, `n` being the nodes of the graph expanded from the main flow (a sub-flow once per entry that uses it, a slot with all its contributions).
 - Feature: `defineFeature(name, description)` makes an ordinary plugin that registers into `flow.features` in `onInit`. Pass it in `createApp({ plugins: [...] })`. `feature.logicOnly` is the same plugin with the V1 keys only, for headless tests. `features: [episodesKitFeature, ep01Feature, ep02Feature]` declares sub-features, each in a folder of its own inside the parent's (`features/episodes/ep01/`); `flattenFeatures([homeFeature, episodesFeature])` gives the flat plugin list, a parent before its children, depth first, and a parent's `onInit` throws when a declared sub-feature is not composed. `flow.features.all()` gives `{ name, description, parent? }` per feature.
 - Modes: `"live"` and `"fast"`. In fast mode effects answer instantly, hints are dropped and only `runInFast` handlers run. All node logic runs for real.
 
@@ -92,13 +92,22 @@ function to<const TargetName extends string, Payload, Output>(
   target: TargetName,
   map: (payload: Payload) => Output    // annotate the parameter type yourself
 ): Mapped<TargetName, Payload, Output>;
-function slot(name: string): SlotNode;
+function slot<const Name extends string, const Tags extends OutcomeTags = Record<never, never>>(
+  name: Name,
+  outcomes?: Tags                      // { shop: type<{ tab: string }>() }; declaring done throws a TypeError
+): SlotNode<Tags, Name>;               // outcomes: done, then the declared ones
+function contribution<S extends SlotNode<OutcomeTags, string>, F extends AnyFlow>(
+  slot: S,
+  spec: { flow: F; order: number; when?: (snapshot: Snapshot) => boolean }
+): Readonly<Record<S["name"], ContributionSpec>>;   // { [slot.name]: { flow, order, when? } }
+// contribute: { ...contribution(episodeStep, { flow: storyFlow, order: 10 }) }
+// compile error when storyFlow declares an outcome episodeStep does not declare, or its payload does not fit
 
 function defineFeature(name: string, description: FeatureDescription): FeaturePlugin;
 // FeatureDescription = {
 //   nodes?: readonly AnyNode[];
 //   flows?: readonly AnyFlow[];
-//   contribute?: Record<string, { flow: AnyFlow; order: number; when?: (snapshot: Snapshot) => boolean }>;
+//   contribute?: Record<string, ContributionSpec>;            // ContributionSpec = { flow: AnyFlow; order: number; when?: (snapshot: Snapshot) => boolean }
 //   features?: readonly FeaturePlugin[];                       // sub-features, composed right after this one
 //   projections?, systems?, components?, scenes?, assets?;   // V2 keys, read by world, scenes and assets
 //   systemsRun?: never;                                        // the 0.15.3 key, removed: a system runs while its query has an entity

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@moku-labs/game",
-  "version": "0.15.40",
+  "version": "0.15.41",
   "description": "2D puzzle game engine on TypeScript and PixiJS, built on @moku-labs/core.",
   "type": "module",
   "sideEffects": [