@foldkit/ui 0.126.0 → 0.128.0

package/dist/listbox/shared.d.ts

@@ -156,20 +156,17 @@ export type IgnoredMouseClick = typeof IgnoredMouseClick.Type;
 export type SuppressedSpaceScroll = typeof SuppressedSpaceScroll.Type;
 export type PressedPointerOnButton = typeof PressedPointerOnButton.Type;
 export type Message = typeof Message.Type;
-/** Sent when a single-select listbox commits a selection, or when a multi-select listbox toggles an item. Generic over `Value extends string`: the runtime schema stores `value: string`, but the type-level OutMessage exposes `value: Value` so consumers who supply `items: ReadonlyArray<MyUnion>` receive `value: MyUnion` from `update<MyUnion>` without casting. The cast is fenced inside this module's `update` return, sound because the value was extracted from the items array the consumer supplied. */
+/** Sent when the user activates an item (single-select commit or multi-select toggle). Carries the neutral fact that the item was activated; the parent owns the selection and decides what it means (single-select sets it, multi-select toggles membership). Generic over `Value extends string`: the runtime schema stores `value: string`, but the type-level OutMessage exposes `value: Value` so consumers who supply `items: ReadonlyArray<MyUnion>` receive `value: MyUnion` from `update<MyUnion>` without casting. The cast is fenced inside this module's `update` return, sound because the value was extracted from the items array the consumer supplied. */
 export declare const Selected: import("foldkit/schema").CallableTaggedStruct<"Selected", {
     value: S.String;
-    wasAdded: S.Boolean;
 }>;
 export type Selected<Value extends string = string> = Readonly<{
     readonly _tag: 'Selected';
     readonly value: Value;
-    readonly wasAdded: boolean;
 }>;
-/** Union of out-messages the listbox component can produce. Single-select listboxes always emit `wasAdded: true`. Multi-select listboxes emit `wasAdded: true` when adding to the selection and `wasAdded: false` when toggling off. */
+/** Union of out-messages the listbox component can produce. The parent folds `Selected` into the selection it owns: single-select stores the value, multi-select toggles the value's membership. */
 export declare const OutMessage: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"Selected", {
     value: S.String;
-    wasAdded: S.Boolean;
 }>]>;
 /** Generic over `Value extends string` so consumers who create the listbox
  *  via `Listbox.create<MyUnion>()` receive `value: MyUnion` in the
@@ -338,7 +335,6 @@ export declare const makeUpdate: <Model extends BaseModel>(handleSelectedItem: (
 }>[], Option.Option<Readonly<{
     readonly _tag: "Selected";
     readonly value: string;
-    readonly wasAdded: boolean;
 }>>];
 /** The anchor-positioning Mount this Listbox renders on its items panel.
  *  The panel is always anchored to the button via Floating UI and portaled
@@ -376,10 +372,10 @@ export type GroupHeading = Readonly<{
 }>;
 /** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
  *
- *  The Listbox emits a `Selected({ value, wasAdded })` OutMessage on
- *  commit (single-select always `wasAdded: true`, multi-select toggles).
- *  Consumers pattern-match this in their `GotListboxMessage` handler. */
-type BaseViewInputsCommon<Item> = Readonly<{
+ *  The Listbox emits a `Selected({ value })` OutMessage on commit.
+ *  Consumers pattern-match this in their `GotListboxMessage` handler:
+ *  single-select stores the value, multi-select toggles its membership. */
+export type BaseViewInputsCommon<Item> = Readonly<{
     items: ReadonlyArray<Item>;
     itemToConfig: (item: Item, context: Readonly<{
         isActive: boolean;
@@ -414,19 +410,31 @@ type BaseViewInputsCommon<Item> = Readonly<{
     ariaLabel?: string;
     ariaLabelledBy?: string;
 }>;
-/** Per-render view inputs for a Listbox view. The `itemToValue` extractor
- *  is optional when `Item` is itself a string (the default returns the
- *  item unchanged) and required when items are objects, so the OutMessage
- *  payload type can't drift from what the consumer actually emits. */
-export type BaseViewInputs<Item, Value extends string = string> = BaseViewInputsCommon<Item> & ([Item] extends [string] ? Readonly<{
+/** The `itemToValue` extractor piece of a Listbox's view inputs. The
+ *  extractor is optional when `Item` is itself a string (the default
+ *  returns the item unchanged) and required when items are objects, so the
+ *  OutMessage payload type can't drift from what the consumer actually
+ *  emits. */
+export type ItemToValueInput<Item, Value extends string = string> = [
+    Item
+] extends [string] ? Readonly<{
     itemToValue?: (item: Item) => Value;
 }> : Readonly<{
     itemToValue: (item: Item) => Value;
-}>);
-type ViewBehavior<Model extends BaseModel> = Readonly<{
-    isItemSelected: (model: Model, itemValue: string) => boolean;
-    selectedItemIndex: <Item>(model: Model, items: ReadonlyArray<Item>, itemToValue: (item: Item) => string) => Option.Option<number>;
+}>;
+/** Per-render view inputs for the shared array-based Listbox view. The
+ *  multi-select variant exposes this shape directly; the single-select
+ *  variant swaps `selectedValues` for `maybeSelectedValue` at its public
+ *  seam and adapts to this shape internally. */
+export type BaseViewInputs<Item, Value extends string = string> = BaseViewInputsCommon<Item> & Readonly<{
+    /** The selection the parent owns, passed in fresh on every render.
+     *  Drives `aria-selected` and `data-selected` on items, which item the
+     *  Listbox highlights when it opens onto a selection, and the hidden
+     *  form inputs submitted under `name`. */
+    selectedValues: ReadonlyArray<Value>;
+}> & ItemToValueInput<Item, Value>;
+type ViewBehavior = Readonly<{
     ariaMultiSelectable: boolean;
 }>;
-export declare const makeView: <Model extends BaseModel>(behavior: ViewBehavior<Model>) => <Item, Value extends string = string>() => SubmodelView<Model, Message, BaseViewInputs<Item, Value>>;
+export declare const makeView: <Model extends BaseModel>(behavior: ViewBehavior) => <Item, Value extends string = string>() => SubmodelView<Model, Message, BaseViewInputs<Item, Value>>;
 //# sourceMappingURL=shared.d.ts.map

package/dist/listbox/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/listbox/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAGN,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,IAAI,EAAQ,MAAM,cAAc,CAAA;AAEnE,OAAO,KAAK,KAAK,MAAM,eAAe,CAAA;AAEtC,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAExE,OAAO,EAAE,YAAY,EAAuC,MAAM,cAAc,CAAA;AAsBhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,qBAAqB,EAAE,CAAA;AAIhC,4FAA4F;AAC5F,eAAO,MAAM,iBAAiB,8CAAsC,CAAA;AACpE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,yFAAyF;AACzF,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,mKAAmK;AACnK,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;EAepB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,2EAA2E;AAC3E,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,WAAW,CAAC,EAAE,OAAO,WAAW,CAAC,IAAI,CAAA;CACtC,CAAC,CAAA;AAEF,gIAAgI;AAChI,eAAO,MAAM,QAAQ,GAAI,QAAQ,cAAc,KAAG,SAahD,CAAA;AAIF,qJAAqJ;AACrJ,eAAO,MAAM,MAAM;;EAEjB,CAAA;AACF,qEAAqE;AACrE,eAAO,MAAM,MAAM,6DAAc,CAAA;AACjC,yDAAyD;AACzD,eAAO,MAAM,YAAY,mEAAoB,CAAA;AAC7C,mGAAmG;AACnG,eAAO,MAAM,aAAa;;;EAGxB,CAAA;AACF,kDAAkD;AAClD,eAAO,MAAM,eAAe,sEAAuB,CAAA;AACnD,kGAAkG;AAClG,eAAO,MAAM,YAAY;;EAAwC,CAAA;AACjE,kHAAkH;AAClH,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AACF,qEAAqE;AACrE,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AACF,4EAA4E;AAC5E,eAAO,MAAM,aAAa;;EAA4C,CAAA;AACtE,mHAAmH;AACnH,eAAO,MAAM,oBAAoB;;;;EAI/B,CAAA;AACF,mDAAmD;AACnD,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,oDAAoD;AACpD,eAAO,MAAM,oBAAoB,2EAA4B,CAAA;AAC7D,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,kEAAkE;AAClE,eAAO,MAAM,oBAAoB,2EAA4B,CAAA;AAC7D,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,kFAAkF;AAClF,eAAO,MAAM,uBAAuB,8EAA+B,CAAA;AACnE,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,yEAA0B,CAAA;AACzD,wGAAwG;AACxG,eAAO,MAAM,iBAAiB,wEAAyB,CAAA;AACvD,sEAAsE;AACtE,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,oJAAoJ;AACpJ,eAAO,MAAM,sBAAsB,6EAA8B,CAAA;AACjE,+IAA+I;AAC/I,eAAO,MAAM,8BAA8B,qFAE1C,CAAA;AACD,0DAA0D;AAC1D,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,kHAAkH;AAClH,eAAO,MAAM,sBAAsB;;;EAGjC,CAAA;AAEF,+DAA+D;AAC/D,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,MAAM;IACb,OAAO,MAAM;IACb,OAAO,YAAY;IACnB,OAAO,aAAa;IACpB,OAAO,eAAe;IACtB,OAAO,YAAY;IACnB,OAAO,oBAAoB;IAC3B,OAAO,kBAAkB;IACzB,OAAO,QAAQ;IACf,OAAO,aAAa;IACpB,OAAO,mBAAmB;IAC1B,OAAO,qBAAqB;IAC5B,OAAO,oBAAoB;IAC3B,OAAO,qBAAqB;IAC5B,OAAO,oBAAoB;IAC3B,OAAO,mBAAmB;IAC1B,OAAO,uBAAuB;IAC9B,OAAO,kBAAkB;IACzB,OAAO,iBAAiB;IACxB,OAAO,qBAAqB;IAC5B,OAAO,sBAAsB;IAC7B,OAAO,8BAA8B;IACrC,OAAO,mBAAmB;IAC1B,OAAO,sBAAsB;CAC9B,CA0BD,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AACzD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AACnE,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAC/D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAC3C,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AAEvE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,sfAAsf;AACtf,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AAEF,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAC3B,CAAC,CAAA;AAEF,wOAAwO;AACxO,eAAO,MAAM,UAAU;;;IAAsB,CAAA;AAE7C;;;6CAG6C;AAC7C,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;AAIvE,eAAO,MAAM,4BAA4B,MAAM,CAAA;AAC/C,eAAO,MAAM,iBAAiB,IAAI,CAAA;AAIlC,eAAO,MAAM,cAAc,GAAI,IAAI,MAAM,KAAG,MAAoC,CAAA;AAEhF;;;;mEAImE;AACnE,eAAO,MAAM,QAAQ,GAAI,IAAI,MAAM,KAAG,MAAwB,CAAA;AAE9D,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,MAAmC,CAAA;AAC9E,eAAO,MAAM,YAAY,GAAI,IAAI,MAAM,EAAE,OAAO,MAAM,KAAG,MACtB,CAAA;AACnC,eAAO,MAAM,MAAM,GAAI,IAAI,MAAM,EAAE,OAAO,MAAM,KAAG,MAC5B,CAAA;AAMvB,eAAO,MAAM,WAAW,GAAI,KAAK,SAAS,SAAS,EAAE,OAAO,KAAK,KAAG,KAQhE,CAAA;AAIJ,KAAK,mBAAmB,CAAC,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;IAC3D,cAAc,EAAE,CACd,KAAK,EAAE,KAAK,EACZ,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KACxC,SAAS;QACZ,KAAK;QACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KAC1B,CAAA;IACD,iBAAiB,EAAE,CACjB,KAAK,EAAE,KAAK,EACZ,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KACxC,SAAS;QACZ,KAAK;QACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KAC1B,CAAA;CACF,CAAC,CAAA;AAEF,uEAAuE;AACvE,eAAO,MAAM,UAAU;;iBAGiC,CAAA;AACxD,0DAA0D;AAC1D,eAAO,MAAM,YAAY;;iBAGmC,CAAA;AAC5D,0EAA0E;AAC1E,eAAO,MAAM,WAAW;;;;iBAQvB,CAAA;AACD,qEAAqE;AACrE,eAAO,MAAM,YAAY;;;;iBAImD,CAAA;AAC5E,4DAA4D;AAC5D,eAAO,MAAM,WAAW;;;;iBASvB,CAAA;AACD,gEAAgE;AAChE,eAAO,MAAM,UAAU;;;;iBAStB,CAAA;AACD,2EAA2E;AAC3E,eAAO,MAAM,cAAc;;;;;iBAS1B,CAAA;AACD,qEAAqE;AACrE,eAAO,MAAM,SAAS;;;;;iBASrB,CAAA;AACD,gFAAgF;AAChF,eAAO,MAAM,gBAAgB;;;;;iBAQ5B,CAAA;AACD,wKAAwK;AACxK,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;iBAaxC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,KAAK,SAAS,SAAS,EAChD,oBAAoB,CAClB,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,KAChC,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAC1B,aAkF8B,KAAK,WAAW,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAlQvC,UAAU;;uBAEN,OAAO;IA6d3B,CAAA;AAED;;;;;sEAKsE;AACtE,eAAO,MAAM,aAAa;;;;;;;;;;;WAczB,CAAA;AAED;;+DAE+D;AAC/D,eAAO,MAAM,qBAAqB;;WAWjC,CAAA;AAID,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,IAAI,CAAA;CACd,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF;;;;yEAIyE;AACzE,KAAK,oBAAoB,CAAC,IAAI,IAAI,QAAQ,CAAC;IACzC,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,YAAY,EAAE,CACZ,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,QAAQ,CAAC;QAChB,QAAQ,EAAE,OAAO,CAAA;QACjB,UAAU,EAAE,OAAO,CAAA;QACnB,UAAU,EAAE,OAAO,CAAA;KACpB,CAAC,KACC,UAAU,CAAA;IACf,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACxD,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,aAAa,EAAE,IAAI,CAAA;IACnB,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,gBAAgB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,eAAe,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,qBAAqB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACrD,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,kBAAkB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC1C,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACpD,cAAc,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAA;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,eAAe,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,mBAAmB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnD,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF;;;sEAGsE;AACtE,MAAM,MAAM,cAAc,CACxB,IAAI,EACJ,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,oBAAoB,CAAC,IAAI,CAAC,GAC5B,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GACpB,QAAQ,CAAC;IAAE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAA;CAAE,CAAC,GACjD,QAAQ,CAAC;IAAE,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAA;CAAE,CAAC,CAAC,CAAA;AAIvD,KAAK,YAAY,CAAC,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;IACpD,cAAc,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,KAAK,OAAO,CAAA;IAC5D,iBAAiB,EAAE,CAAC,IAAI,EACtB,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,EAC1B,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,KAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAC1B,mBAAmB,EAAE,OAAO,CAAA;CAC7B,CAAC,CAAA;AAEF,eAAO,MAAM,QAAQ,GAAI,KAAK,SAAS,SAAS,EAC9C,UAAU,YAAY,CAAC,KAAK,CAAC,MAggBrB,IAAI,EAAE,KAAK,SAAS,MAAM,GAAG,MAAM,OAEtB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAC9E,CAAA"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/listbox/shared.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAGN,MAAM,EAEN,MAAM,IAAI,CAAC,EAGZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EAAE,KAAK,cAAc,EAAE,KAAK,IAAI,EAAQ,MAAM,cAAc,CAAA;AAEnE,OAAO,KAAK,KAAK,MAAM,eAAe,CAAA;AAEtC,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAExE,OAAO,EAAE,YAAY,EAAuC,MAAM,cAAc,CAAA;AAsBhF,OAAO,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAA;AAEvD,OAAO,EAAE,qBAAqB,EAAE,CAAA;AAIhC,4FAA4F;AAC5F,eAAO,MAAM,iBAAiB,8CAAsC,CAAA;AACpE,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,yFAAyF;AACzF,eAAO,MAAM,WAAW,iDAAyC,CAAA;AACjE,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,mKAAmK;AACnK,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;EAepB,CAAA;AACF,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,2EAA2E;AAC3E,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,WAAW,CAAC,EAAE,OAAO,WAAW,CAAC,IAAI,CAAA;CACtC,CAAC,CAAA;AAEF,gIAAgI;AAChI,eAAO,MAAM,QAAQ,GAAI,QAAQ,cAAc,KAAG,SAahD,CAAA;AAIF,qJAAqJ;AACrJ,eAAO,MAAM,MAAM;;EAEjB,CAAA;AACF,qEAAqE;AACrE,eAAO,MAAM,MAAM,6DAAc,CAAA;AACjC,yDAAyD;AACzD,eAAO,MAAM,YAAY,mEAAoB,CAAA;AAC7C,mGAAmG;AACnG,eAAO,MAAM,aAAa;;;EAGxB,CAAA;AACF,kDAAkD;AAClD,eAAO,MAAM,eAAe,sEAAuB,CAAA;AACnD,kGAAkG;AAClG,eAAO,MAAM,YAAY;;EAAwC,CAAA;AACjE,kHAAkH;AAClH,eAAO,MAAM,kBAAkB;;EAE7B,CAAA;AACF,qEAAqE;AACrE,eAAO,MAAM,QAAQ;;;EAGnB,CAAA;AACF,4EAA4E;AAC5E,eAAO,MAAM,aAAa;;EAA4C,CAAA;AACtE,mHAAmH;AACnH,eAAO,MAAM,oBAAoB;;;;EAI/B,CAAA;AACF,mDAAmD;AACnD,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,oDAAoD;AACpD,eAAO,MAAM,oBAAoB,2EAA4B,CAAA;AAC7D,qDAAqD;AACrD,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,kEAAkE;AAClE,eAAO,MAAM,oBAAoB,2EAA4B,CAAA;AAC7D,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,0EAA2B,CAAA;AAC3D,kFAAkF;AAClF,eAAO,MAAM,uBAAuB,8EAA+B,CAAA;AACnE,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,yEAA0B,CAAA;AACzD,wGAAwG;AACxG,eAAO,MAAM,iBAAiB,wEAAyB,CAAA;AACvD,sEAAsE;AACtE,eAAO,MAAM,qBAAqB,4EAA6B,CAAA;AAC/D,oJAAoJ;AACpJ,eAAO,MAAM,sBAAsB,6EAA8B,CAAA;AACjE,+IAA+I;AAC/I,eAAO,MAAM,8BAA8B,qFAE1C,CAAA;AACD,0DAA0D;AAC1D,eAAO,MAAM,mBAAmB;;EAE9B,CAAA;AACF,kHAAkH;AAClH,eAAO,MAAM,sBAAsB;;;EAGjC,CAAA;AAEF,+DAA+D;AAC/D,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,KAAK,CAC3B;IACE,OAAO,MAAM;IACb,OAAO,MAAM;IACb,OAAO,YAAY;IACnB,OAAO,aAAa;IACpB,OAAO,eAAe;IACtB,OAAO,YAAY;IACnB,OAAO,oBAAoB;IAC3B,OAAO,kBAAkB;IACzB,OAAO,QAAQ;IACf,OAAO,aAAa;IACpB,OAAO,mBAAmB;IAC1B,OAAO,qBAAqB;IAC5B,OAAO,oBAAoB;IAC3B,OAAO,qBAAqB;IAC5B,OAAO,oBAAoB;IAC3B,OAAO,mBAAmB;IAC1B,OAAO,uBAAuB;IAC9B,OAAO,kBAAkB;IACzB,OAAO,iBAAiB;IACxB,OAAO,qBAAqB;IAC5B,OAAO,sBAAsB;IAC7B,OAAO,8BAA8B;IACrC,OAAO,mBAAmB;IAC1B,OAAO,sBAAsB;CAC9B,CA0BD,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAA;AACvC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AACzD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AACnD,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AACnE,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAC/D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAC3C,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAC7D,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AACrE,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AAEvE,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC,2oBAA2oB;AAC3oB,eAAO,MAAM,QAAQ;;EAEnB,CAAA;AAEF,MAAM,MAAM,QAAQ,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC;IAC7D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB,CAAC,CAAA;AAEF,oMAAoM;AACpM,eAAO,MAAM,UAAU;;IAAsB,CAAA;AAE7C;;;6CAG6C;AAC7C,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAA;AAIvE,eAAO,MAAM,4BAA4B,MAAM,CAAA;AAC/C,eAAO,MAAM,iBAAiB,IAAI,CAAA;AAIlC,eAAO,MAAM,cAAc,GAAI,IAAI,MAAM,KAAG,MAAoC,CAAA;AAEhF;;;;mEAImE;AACnE,eAAO,MAAM,QAAQ,GAAI,IAAI,MAAM,KAAG,MAAwB,CAAA;AAE9D,eAAO,MAAM,aAAa,GAAI,IAAI,MAAM,KAAG,MAAmC,CAAA;AAC9E,eAAO,MAAM,YAAY,GAAI,IAAI,MAAM,EAAE,OAAO,MAAM,KAAG,MACtB,CAAA;AACnC,eAAO,MAAM,MAAM,GAAI,IAAI,MAAM,EAAE,OAAO,MAAM,KAAG,MAC5B,CAAA;AAMvB,eAAO,MAAM,WAAW,GAAI,KAAK,SAAS,SAAS,EAAE,OAAO,KAAK,KAAG,KAQhE,CAAA;AAIJ,KAAK,mBAAmB,CAAC,KAAK,SAAS,SAAS,IAAI,QAAQ,CAAC;IAC3D,cAAc,EAAE,CACd,KAAK,EAAE,KAAK,EACZ,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KACxC,SAAS;QACZ,KAAK;QACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KAC1B,CAAA;IACD,iBAAiB,EAAE,CACjB,KAAK,EAAE,KAAK,EACZ,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KACxC,SAAS;QACZ,KAAK;QACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KAC1B,CAAA;CACF,CAAC,CAAA;AAEF,uEAAuE;AACvE,eAAO,MAAM,UAAU;;iBAGiC,CAAA;AACxD,0DAA0D;AAC1D,eAAO,MAAM,YAAY;;iBAGmC,CAAA;AAC5D,0EAA0E;AAC1E,eAAO,MAAM,WAAW;;;;iBAQvB,CAAA;AACD,qEAAqE;AACrE,eAAO,MAAM,YAAY;;;;iBAImD,CAAA;AAC5E,4DAA4D;AAC5D,eAAO,MAAM,WAAW;;;;iBASvB,CAAA;AACD,gEAAgE;AAChE,eAAO,MAAM,UAAU;;;;iBAStB,CAAA;AACD,2EAA2E;AAC3E,eAAO,MAAM,cAAc;;;;;iBAS1B,CAAA;AACD,qEAAqE;AACrE,eAAO,MAAM,SAAS;;;;;iBASrB,CAAA;AACD,gFAAgF;AAChF,eAAO,MAAM,gBAAgB;;;;;iBAQ5B,CAAA;AACD,wKAAwK;AACxK,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;iBAaxC,CAAA;AAED,eAAO,MAAM,UAAU,GAAI,KAAK,SAAS,SAAS,EAChD,oBAAoB,CAClB,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,mBAAmB,CAAC,KAAK,CAAC,KAChC,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAC1B,aAkF8B,KAAK,WAAW,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAjQvC,UAAU;;IA8d1B,CAAA;AAED;;;;;sEAKsE;AACtE,eAAO,MAAM,aAAa;;;;;;;;;;;WAczB,CAAA;AAED;;+DAE+D;AAC/D,eAAO,MAAM,qBAAqB;;WAWjC,CAAA;AAID,iEAAiE;AACjE,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,IAAI,CAAA;CACd,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,OAAO,EAAE,IAAI,CAAA;IACb,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAC,CAAA;AAEF;;;;2EAI2E;AAC3E,MAAM,MAAM,oBAAoB,CAAC,IAAI,IAAI,QAAQ,CAAC;IAChD,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IAC1B,YAAY,EAAE,CACZ,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,QAAQ,CAAC;QAChB,QAAQ,EAAE,OAAO,CAAA;QACjB,UAAU,EAAE,OAAO,CAAA;QACnB,UAAU,EAAE,OAAO,CAAA;KACpB,CAAC,KACC,UAAU,CAAA;IACf,cAAc,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;IACvD,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACxD,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,aAAa,EAAE,IAAI,CAAA;IACnB,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,gBAAgB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAChD,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,eAAe,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,qBAAqB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACrD,iBAAiB,CAAC,EAAE,MAAM,CAAA;IAC1B,kBAAkB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClD,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC1C,YAAY,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACpD,cAAc,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAA;IAC/D,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,eAAe,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,mBAAmB,CAAC,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnD,MAAM,CAAC,EAAE,YAAY,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB,CAAC,CAAA;AAEF;;;;aAIa;AACb,MAAM,MAAM,gBAAgB,CAAC,IAAI,EAAE,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI;IAClE,IAAI;CACL,SAAS,CAAC,MAAM,CAAC,GACd,QAAQ,CAAC;IAAE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAA;CAAE,CAAC,GACjD,QAAQ,CAAC;IAAE,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,KAAK,CAAA;CAAE,CAAC,CAAA;AAEpD;;;gDAGgD;AAChD,MAAM,MAAM,cAAc,CACxB,IAAI,EACJ,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,oBAAoB,CAAC,IAAI,CAAC,GAC5B,QAAQ,CAAC;IACP;;;8CAG0C;IAC1C,cAAc,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CACrC,CAAC,GACF,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAI/B,KAAK,YAAY,GAAG,QAAQ,CAAC;IAC3B,mBAAmB,EAAE,OAAO,CAAA;CAC7B,CAAC,CAAA;AAEF,eAAO,MAAM,QAAQ,GAAI,KAAK,SAAS,SAAS,EAAE,UAAU,YAAY,MAigB9D,IAAI,EAAE,KAAK,SAAS,MAAM,GAAG,MAAM,OAEtB,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAC9E,CAAA"}

package/dist/listbox/shared.js

@@ -149,12 +149,11 @@ export const Message = S.Union([
     PressedPointerOnButton,
 ]);
 // OUT MESSAGE
-/** Sent when a single-select listbox commits a selection, or when a multi-select listbox toggles an item. Generic over `Value extends string`: the runtime schema stores `value: string`, but the type-level OutMessage exposes `value: Value` so consumers who supply `items: ReadonlyArray<MyUnion>` receive `value: MyUnion` from `update<MyUnion>` without casting. The cast is fenced inside this module's `update` return, sound because the value was extracted from the items array the consumer supplied. */
+/** Sent when the user activates an item (single-select commit or multi-select toggle). Carries the neutral fact that the item was activated; the parent owns the selection and decides what it means (single-select sets it, multi-select toggles membership). Generic over `Value extends string`: the runtime schema stores `value: string`, but the type-level OutMessage exposes `value: Value` so consumers who supply `items: ReadonlyArray<MyUnion>` receive `value: MyUnion` from `update<MyUnion>` without casting. The cast is fenced inside this module's `update` return, sound because the value was extracted from the items array the consumer supplied. */
 export const Selected = m('Selected', {
     value: S.String,
-    wasAdded: S.Boolean,
 });
-/** Union of out-messages the listbox component can produce. Single-select listboxes always emit `wasAdded: true`. Multi-select listboxes emit `wasAdded: true` when adding to the selection and `wasAdded: false` when toggling off. */
+/** Union of out-messages the listbox component can produce. The parent folds `Selected` into the selection it owns: single-select stores the value, multi-select toggles the value's membership. */
 export const OutMessage = S.Union([Selected]);
 // CONSTANTS
 export const SEARCH_DEBOUNCE_MILLISECONDS = 350;
@@ -404,8 +403,9 @@ export const makeView = (behavior) => {
     const impl = defineView((model, viewInputs) => {
         const h = html();
         const { id, isOpen, orientation, animation: { transitionState }, maybeActiveItemIndex, searchQuery, maybeLastButtonPointerType, } = model;
-        const { items, itemToConfig, isItemDisabled, isButtonDisabled, buttonContent, buttonClassName, buttonAttributes = [], itemsClassName, itemsAttributes = [], itemsScrollClassName, itemsScrollAttributes = [], backdropClassName, backdropAttributes = [], className, attributes = [], itemGroupKey, groupToHeading, groupClassName, groupAttributes = [], separatorClassName, separatorAttributes = [], anchor = {}, name, form, isDisabled, isInvalid, ariaLabel, ariaLabelledBy, } = viewInputs;
+        const { items, itemToConfig, isItemDisabled, isButtonDisabled, buttonContent, buttonClassName, buttonAttributes = [], itemsClassName, itemsAttributes = [], itemsScrollClassName, itemsScrollAttributes = [], backdropClassName, backdropAttributes = [], className, attributes = [], itemGroupKey, groupToHeading, groupClassName, groupAttributes = [], separatorClassName, separatorAttributes = [], anchor = {}, name, form, isDisabled, isInvalid, ariaLabel, ariaLabelledBy, selectedValues, } = viewInputs;
         const itemToValue = viewInputs.itemToValue ?? ((item) => String(item));
+        const isValueSelected = (itemValue) => Array.contains(selectedValues, itemValue);
         const itemToSearchText = viewInputs.itemToSearchText ?? ((item) => itemToValue(item));
         const isLeaving = transitionState === 'LeaveStart' || transitionState === 'LeaveAnimating';
         const isVisible = isOpen || isLeaving;
@@ -440,7 +440,7 @@ export const makeView = (behavior) => {
         const isNavigationKey = (key) => Array.contains(navigationKeys, key);
         const firstEnabledIndex = findFirstEnabledIndex(items.length, 0, isItemDisabledByIndex)(0, 1);
         const lastEnabledIndex = findFirstEnabledIndex(items.length, 0, isItemDisabledByIndex)(items.length - 1, -1);
-        const selectedItemIndex = behavior.selectedItemIndex(model, items, itemToValue);
+        const selectedItemIndex = pipe(selectedValues, Array.head, Option.flatMap(selectedValue => Array.findFirstIndex(items, item => itemToValue(item) === selectedValue)));
         const handleButtonKeyDown = (key) => {
             if (isOpen) {
                 return handleItemsKeyDown(key);
@@ -552,7 +552,7 @@ export const makeView = (behavior) => {
         const listboxItems = Array.map(items, (item, index) => {
             const isActiveItem = Option.exists(maybeActiveItemIndex, activeIndex => activeIndex === index);
             const isDisabledItem = isItemDisabledByIndex(index);
-            const isSelectedItem = behavior.isItemSelected(model, itemToValue(item));
+            const isSelectedItem = isValueSelected(itemToValue(item));
             const itemConfig = itemToConfig(item, {
                 isActive: isActiveItem,
                 isDisabled: isDisabledItem,
@@ -655,7 +655,6 @@ export const makeView = (behavior) => {
             h.keyed('div')(`${id}-items-container`, itemsContainerAttributes, scrollableItems),
         ];
         const formAttribute = form ? [h.Attribute('form', form)] : [];
-        const selectedValues = pipe(items, Array.filter(item => behavior.isItemSelected(model, itemToValue(item))), Array.map(itemToValue));
         const hiddenInputs = name
             ? Array.match(selectedValues, {
                 onEmpty: () => [

package/dist/listbox/single.d.ts

@@ -1,10 +1,9 @@
 import { Option, Schema as S } from 'effect';
 import type * as Command from 'foldkit/command';
-import type { Reflect, View as SubmodelView } from 'foldkit/submodel';
-import { type BaseInitConfig, type BaseViewInputs, type Message, type OutMessage } from './shared.js';
-/** Schema for the listbox component's state, tracking open/closed status, active item, selected item, activation trigger, and typeahead search. */
+import { type View as SubmodelView } from 'foldkit/submodel';
+import { type BaseInitConfig, type BaseViewInputsCommon, type ItemToValueInput, type Message, type OutMessage } from './shared.js';
+/** Schema for the single-select listbox's private interaction state (open/closed status, active item, activation trigger, typeahead search). The selection is owned by the parent and passed in via `ViewInputs.maybeSelectedValue`. */
 export declare const Model: S.Struct<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -26,15 +25,12 @@ export declare const Model: S.Struct<{
     readonly maybeLastButtonPointerType: S.Option<S.String>;
 }>;
 export type Model = typeof Model.Type;
-/** Configuration for creating a single-select listbox model with `init`. `isAnimated` enables CSS transition coordination (default `false`). `isModal` locks page scroll and inerts other elements when open (default `false`). `selectedItem` sets the initial selection (default none). */
-export type InitConfig = BaseInitConfig & Readonly<{
-    selectedItem?: string;
-}>;
-/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item and no selection. */
+/** Configuration for creating a single-select listbox model with `init`. `isAnimated` enables CSS transition coordination (default `false`). `isModal` locks page scroll and inerts other elements when open (default `false`). */
+export type InitConfig = BaseInitConfig;
+/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item. */
 export declare const init: (config: InitConfig) => Model;
-/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value })` OutMessage the parent stores as the selection. */
 export declare const update: (model: S.Struct.ReadonlySide<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -55,7 +51,6 @@ export declare const update: (model: S.Struct.ReadonlySide<{
     }>>;
     readonly maybeLastButtonPointerType: S.Option<S.String>;
 }, "Type">, message: Message) => readonly [S.Struct.ReadonlySide<{
-    readonly maybeSelectedItem: S.Option<S.String>;
     readonly id: S.String;
     readonly isOpen: S.Boolean;
     readonly isAnimated: S.Boolean;
@@ -144,7 +139,6 @@ export declare const update: (model: S.Struct.ReadonlySide<{
 }>[], Option.Option<Readonly<{
     readonly _tag: "Selected";
     readonly value: string;
-    readonly wasAdded: boolean;
 }>>];
 type UpdateReturn = ReturnType<typeof update>;
 /** Programmatically opens the listbox, updating the model and returning
@@ -153,20 +147,17 @@ export declare const open: (model: Model) => UpdateReturn;
 /** Programmatically closes the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to close the listbox. */
 export declare const close: (model: Model) => UpdateReturn;
-/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value })` OutMessage. */
 export declare const selectItem: (model: Model, item: string) => UpdateReturn;
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the user-selection side effects (no
- *  close, no focus). Use this to mirror external truth (a URL parameter,
- *  restored storage, a server push) onto the listbox's selection.
- *  Contrast with `selectItem`, which represents a user or programmatic
- *  *choice*: it closes the listbox, restores focus, and emits `Selected`.
- *  `reflect` returns the model directly because it produces no commands and
- *  no OutMessage, so a parent reflecting external state cannot
- *  accidentally echo it back out. */
-export declare const reflectSelectedItem: Reflect<Model, Option.Option<string>>;
 /** Per-render view inputs passed to the view via `h.submodel`'s `viewInputs` field. */
-export type ViewInputs<Item, Value extends string = string> = BaseViewInputs<Item, Value>;
+export type ViewInputs<Item, Value extends string = string> = BaseViewInputsCommon<Item> & Readonly<{
+    /** The selection the parent owns, passed in fresh on every render.
+     *  `Option` because a single-select listbox may have no selection yet.
+     *  Drives `aria-selected` and `data-selected` on items, which item the
+     *  Listbox highlights when it opens onto a selection, and the hidden
+     *  form input submitted under `name`. */
+    maybeSelectedValue: Option.Option<Value>;
+}> & ItemToValueInput<Item, Value>;
 /** Pairs the single-select listbox's `view` and `update` (and programmatic
  *  helpers) behind a single Item-typed entry point. Declaring the listbox
  *  once at module scope ensures the view's `Item` type and the update's
@@ -188,12 +179,11 @@ export type ViewInputs<Item, Value extends string = string> = BaseViewInputs<Ite
  *  extracted value is a plain string. `Value` defaults to `Item` when
  *  `Item extends string`, else defaults to `string`. */
 export declare const create: <Item = string, Value extends string = Item extends string ? Item : string>() => Readonly<{
-    view: SubmodelView<Model, Message, BaseViewInputs<Item, Value>>;
+    view: SubmodelView<Model, Message, ViewInputs<Item, Value>>;
     update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     selectItem: (model: Model, item: Value) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     open: (model: Model) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
     close: (model: Model) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
-    reflectSelectedItem: Reflect<Model, Option.Option<Value>>;
 }>;
 export {};
 //# sourceMappingURL=single.d.ts.map

package/dist/listbox/single.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"single.d.ts","sourceRoot":"","sources":["../../src/listbox/single.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC7D,OAAO,KAAK,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,IAAI,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAErE,OAAO,EACL,KAAK,cAAc,EAEnB,KAAK,cAAc,EAEnB,KAAK,OAAO,EAEZ,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAA;AAIpB,mJAAmJ;AACnJ,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,6RAA6R;AAC7R,MAAM,MAAM,UAAU,GAAG,cAAc,GACrC,QAAQ,CAAC;IACP,YAAY,CAAC,EAAE,MAAM,CAAA;CACtB,CAAC,CAAA;AAEJ,6HAA6H;AAC7H,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAIF,qNAAqN;AACrN,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAKlB,CAAA;AAED,KAAK,YAAY,GAAG,UAAU,CAAC,OAAO,MAAM,CAAC,CAAA;AAE7C;uFACuF;AACvF,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,YAC4B,CAAA;AAEhE;wFACwF;AACxF,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,YAAuC,CAAA;AAE5E,0JAA0J;AAC1J,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,KAAG,YACjB,CAAA;AAEvC;;;;;;;;qCAQqC;AACrC,eAAO,MAAM,mBAAmB,EAAE,OAAO,CACvC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAKtB,CAAA;AAID,uFAAuF;AACvF,MAAM,MAAM,UAAU,CAAC,IAAI,EAAE,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,cAAc,CAC1E,IAAI,EACJ,KAAK,CACN,CAAA;AAeD;;;;;;;;;;;;;;;;;;;wDAmBwD;AACxD,eAAO,MAAM,MAAM,GACjB,IAAI,GAAG,MAAM,EACb,KAAK,SAAS,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,GAAG,MAAM,OACvD,QAAQ,CAAC;IACZ,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,cAAc,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC/D,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,KAAK,KACR,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,IAAI,EAAE,CACJ,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,mBAAmB,EAAE,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;CAC1D,CAqBA,CAAA"}
+{"version":3,"file":"single.d.ts","sourceRoot":"","sources":["../../src/listbox/single.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC5C,OAAO,KAAK,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAC/C,OAAO,EAAE,KAAK,IAAI,IAAI,YAAY,EAAc,MAAM,kBAAkB,CAAA;AAExE,OAAO,EACL,KAAK,cAAc,EAEnB,KAAK,oBAAoB,EAEzB,KAAK,gBAAgB,EACrB,KAAK,OAAO,EAEZ,KAAK,UAAU,EAMhB,MAAM,aAAa,CAAA;AAIpB,wOAAwO;AACxO,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;EAEhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,mOAAmO;AACnO,MAAM,MAAM,UAAU,GAAG,cAAc,CAAA;AAEvC,4GAA4G;AAC5G,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAAyB,CAAA;AAInE,wOAAwO;AACxO,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAElB,CAAA;AAED,KAAK,YAAY,GAAG,UAAU,CAAC,OAAO,MAAM,CAAC,CAAA;AAE7C;uFACuF;AACvF,eAAO,MAAM,IAAI,GAAI,OAAO,KAAK,KAAG,YAC4B,CAAA;AAEhE;wFACwF;AACxF,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,KAAG,YAAuC,CAAA;AAE5E,0IAA0I;AAC1I,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,MAAM,KAAG,YACjB,CAAA;AAIvC,uFAAuF;AACvF,MAAM,MAAM,UAAU,CACpB,IAAI,EACJ,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,oBAAoB,CAAC,IAAI,CAAC,GAC5B,QAAQ,CAAC;IACP;;;;6CAIyC;IACzC,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;CACzC,CAAC,GACF,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AAc/B;;;;;;;;;;;;;;;;;;;wDAmBwD;AACxD,eAAO,MAAM,MAAM,GACjB,IAAI,GAAG,MAAM,EACb,KAAK,SAAS,MAAM,GAAG,IAAI,SAAS,MAAM,GAAG,IAAI,GAAG,MAAM,OACvD,QAAQ,CAAC;IACZ,IAAI,EAAE,YAAY,CAAC,KAAK,EAAE,OAAO,EAAE,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IAC3D,MAAM,EAAE,CACN,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,UAAU,EAAE,CACV,KAAK,EAAE,KAAK,EACZ,IAAI,EAAE,KAAK,KACR,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,IAAI,EAAE,CACJ,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;IACD,KAAK,EAAE,CACL,KAAK,EAAE,KAAK,KACT,SAAS,CACZ,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CACjC,CAAA;CACF,CAuBA,CAAA"}

package/dist/listbox/single.js

@@ -1,43 +1,30 @@
-import { Array, Function, Option, Schema as S } from 'effect';
-import { evo } from 'foldkit/struct';
+import { Option, Schema as S } from 'effect';
+import { defineView } from 'foldkit/submodel';
 import { BaseModel, Closed, Opened, SelectedItem, Selected as SharedSelected, baseInit, makeUpdate, makeView, } from './shared.js';
 // MODEL
-/** Schema for the listbox component's state, tracking open/closed status, active item, selected item, activation trigger, and typeahead search. */
+/** Schema for the single-select listbox's private interaction state (open/closed status, active item, activation trigger, typeahead search). The selection is owned by the parent and passed in via `ViewInputs.maybeSelectedValue`. */
 export const Model = S.Struct({
     ...BaseModel.fields,
-    maybeSelectedItem: S.Option(S.String),
-});
-/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item and no selection. */
-export const init = (config) => ({
-    ...baseInit(config),
-    maybeSelectedItem: Option.fromNullishOr(config.selectedItem),
 });
+/** Creates an initial single-select listbox model from a config. Defaults to closed with no active item. */
+export const init = (config) => baseInit(config);
 // UPDATE
-/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value, wasAdded: true })` OutMessage. */
-export const update = makeUpdate((model, item, context) => context.closeWithFocus(evo(model, { maybeSelectedItem: () => Option.some(item) }), Option.some(SharedSelected({ value: item, wasAdded: true }))));
+/** Processes a listbox message and returns the next model, commands, and optional OutMessage. Closes the listbox on selection (single-select behavior); emits a `Selected({ value })` OutMessage the parent stores as the selection. */
+export const update = makeUpdate((model, item, context) => context.closeWithFocus(model, Option.some(SharedSelected({ value: item }))));
 /** Programmatically opens the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to open the listbox. */
 export const open = (model) => update(model, Opened({ maybeActiveItemIndex: Option.none() }));
 /** Programmatically closes the listbox, updating the model and returning
  *  focus and modal commands. Use this in domain-event handlers to close the listbox. */
 export const close = (model) => update(model, Closed());
-/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value, wasAdded: true })` OutMessage. */
+/** Programmatically selects an item in the single-select listbox, closing the listbox and emitting a `Selected({ value })` OutMessage. */
 export const selectItem = (model, item) => update(model, SelectedItem({ item }));
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the user-selection side effects (no
- *  close, no focus). Use this to mirror external truth (a URL parameter,
- *  restored storage, a server push) onto the listbox's selection.
- *  Contrast with `selectItem`, which represents a user or programmatic
- *  *choice*: it closes the listbox, restores focus, and emits `Selected`.
- *  `reflect` returns the model directly because it produces no commands and
- *  no OutMessage, so a parent reflecting external state cannot
- *  accidentally echo it back out. */
-export const reflectSelectedItem = Function.dual(2, (model, maybeItem) => evo(model, { maybeSelectedItem: () => maybeItem }));
-const internalView = makeView({
-    isItemSelected: (model, itemValue) => Option.exists(model.maybeSelectedItem, selectedItem => selectedItem === itemValue),
-    selectedItemIndex: (model, items, itemToValue) => Option.flatMap(model.maybeSelectedItem, selectedItem => Array.findFirstIndex(items, item => itemToValue(item) === selectedItem)),
-    ariaMultiSelectable: false,
-});
+const internalView = makeView({ ariaMultiSelectable: false });
+const arrayBasedView = internalView();
+const singleViewImpl = defineView((model, { maybeSelectedValue, ...baseInputs }) => arrayBasedView(model, {
+    ...baseInputs,
+    selectedValues: Option.toArray(maybeSelectedValue),
+}));
 /** Pairs the single-select listbox's `view` and `update` (and programmatic
  *  helpers) behind a single Item-typed entry point. Declaring the listbox
  *  once at module scope ensures the view's `Item` type and the update's
@@ -61,13 +48,14 @@ const internalView = makeView({
 export const create = () => {
     // eslint-disable-next-line @typescript-eslint/consistent-type-assertions
     const typedUpdate = update;
+    const view = 
+    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+    singleViewImpl;
     return {
-        view: internalView(),
+        view,
         update: typedUpdate,
         selectItem: (model, item) => typedUpdate(model, SelectedItem({ item })),
         open: model => typedUpdate(model, Opened({ maybeActiveItemIndex: Option.none() })),
         close: model => typedUpdate(model, Closed()),
-        /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
-        reflectSelectedItem: reflectSelectedItem,
     };
 };

package/dist/radioGroup/index.d.ts

@@ -1,169 +1,84 @@
-import { Effect, Option, Schema as S } from 'effect';
-import * as Command from 'foldkit/command';
-import { type ChildAttribute, type Html } from 'foldkit/html';
-import { type Reflect, type View as SubmodelView } from 'foldkit/submodel';
+import { Option, Schema as S } from 'effect';
+import { type Attribute, type Html } from 'foldkit/html';
 /** Controls the radio group layout direction and which arrow keys navigate between options. */
 export declare const Orientation: S.Literals<readonly ["Horizontal", "Vertical"]>;
 export type Orientation = typeof Orientation.Type;
-/** Schema for the radio group component's state, tracking the selected value and orientation. */
-export declare const Model: S.Struct<{
-    readonly id: S.String;
-    readonly selectedValue: S.Option<S.String>;
-    readonly orientation: S.Literals<readonly ["Horizontal", "Vertical"]>;
-}>;
-export type Model = typeof Model.Type;
-/** Sent when a radio option is selected via click or keyboard navigation. */
-export declare const SelectedOption: import("foldkit/schema").CallableTaggedStruct<"SelectedOption", {
-    value: S.String;
-    index: S.Number;
-}>;
-/** Sent when the focus-option command completes. */
-export declare const CompletedFocusOption: import("foldkit/schema").CallableTaggedStruct<"CompletedFocusOption", {}>;
-/** Union of all messages the radio group component can produce. */
-export declare const Message: S.Union<[
-    typeof SelectedOption,
-    typeof CompletedFocusOption
-]>;
-export type SelectedOption = typeof SelectedOption.Type;
-export type CompletedFocusOption = typeof CompletedFocusOption.Type;
-export type Message = typeof Message.Type;
-/** Sent to the parent when an option is committed. Carries the selected
- *  value and its index. Generic over `Value extends string`: the runtime
- *  schema stores `value: string`, but the type-level OutMessage exposes
- *  `value: Value` so consumers who supply `options: ReadonlyArray<MyUnion>`
- *  receive `value: MyUnion` from the factory's `update` without casting at
- *  the call site. The cast is fenced inside this module's `update` return,
- *  sound because the value was selected from the options array the
- *  consumer supplied. */
-export declare const Selected: import("foldkit/schema").CallableTaggedStruct<"Selected", {
-    value: S.String;
-    index: S.Number;
-}>;
-export type Selected<Value extends string = string> = Readonly<{
-    readonly _tag: 'Selected';
-    readonly value: Value;
-    readonly index: number;
-}>;
-export declare const OutMessage: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"Selected", {
-    value: S.String;
-    index: S.Number;
-}>]>;
-/** Generic over `Value extends string` so consumers who create the radio
- *  group via `RadioGroup.create<MyUnion>()` receive `value: MyUnion` in
- *  the `Selected` OutMessage from the factory's `update`, instead of
- *  `value: string`. Defaults to `string` for consumers that don't need the
- *  lift. */
-export type OutMessage<Value extends string = string> = Selected<Value>;
-/** Configuration for creating a radio group model with `init`. */
-export type InitConfig = Readonly<{
-    id: string;
-    selectedValue?: string;
-    orientation?: Orientation;
-}>;
-/** Creates an initial radio group model from a config. Defaults to no selection and vertical orientation. */
-export declare const init: (config: InitConfig) => Model;
-/** Moves focus to the radio option at the given index. */
-export declare const FocusOption: Command.CommandDefinitionWithArgs<"FocusOption", {
-    id: S.String;
-    index: S.Number;
-}, Effect.Effect<{
-    readonly _tag: "CompletedFocusOption";
-}, never, never>>;
-type UpdateReturn<Value extends string = string> = readonly [
-    Model,
-    ReadonlyArray<Command.Command<Message>>,
-    Option.Option<OutMessage<Value>>
-];
-/** Processes a radio group message and returns the next model, commands, and
- *  optional OutMessage. Generic over `Value extends string`: pass the consumer's
- *  union type at the call site to receive `Selected({ value: MyUnion })` without
- *  casting. Defaults to `string`. */
-export declare const update: <Value extends string = string>(model: Model, message: Message) => UpdateReturn<Value>;
-/** Programmatically selects a value in the radio group, updating the model
- *  and returning focus commands plus a `Selected` OutMessage. */
-export declare const select: <Value extends string = string>(model: Model, value: Value, options: ReadonlyArray<Value>) => UpdateReturn<Value>;
-/** Reflects an externally-sourced selection onto the model without
- *  emitting an OutMessage or running the focus command. Use this to mirror
- *  external truth (a URL parameter, restored storage, a server push) onto
- *  the radio group's selection. Contrast with `select`, which represents a
- *  user or programmatic *choice*: it focuses the option and emits
- *  `Selected`. Takes no `options` (unlike `select`) because it sets the
- *  value directly rather than deriving a focus index. Returns the model
- *  directly because it produces no commands and no OutMessage. */
-export declare const reflectSelectedValue: Reflect<Model, Option.Option<string>>;
 /** Per-option render info passed to the consumer's `toView`. The consumer
- *  spreads `option`, `label`, and `description` onto whichever elements
- *  carry that role in their layout. Generic over `Value extends string`:
- *  when `RadioGroup.create<MyUnion>()` is declared, `option.value` is
- *  typed `MyUnion` so the consumer can switch on it without casting. */
-export type OptionInfo<Value extends string = string> = Readonly<{
+ *  spreads `option`, `label`, and `description` onto whichever elements carry
+ *  that role in their layout. Generic over `Value extends string` so
+ *  `option.value` carries the consumer's union type, and over `ParentMessage`
+ *  so the attribute bundles dispatch the parent's own Message. */
+export type OptionInfo<Value extends string, ParentMessage> = Readonly<{
     value: Value;
     index: number;
     isSelected: boolean;
     isActive: boolean;
     isDisabled: boolean;
-    option: ReadonlyArray<ChildAttribute>;
-    label: ReadonlyArray<ChildAttribute>;
-    description: ReadonlyArray<ChildAttribute>;
+    option: ReadonlyArray<Attribute<ParentMessage>>;
+    label: ReadonlyArray<Attribute<ParentMessage>>;
+    description: ReadonlyArray<Attribute<ParentMessage>>;
 }>;
 /** Render-time payload published to the consumer's `toView`.
  *
  *  - `group`: ARIA + role attributes for the wrapping radiogroup element.
- *  - `options`: one entry per option in `viewInputs.options`, in the same
- *    order. Includes the value, derived state, and the attribute bundles
- *    for the option element, its label, and its description.
- *  - `selectedValue`: the currently-selected value, if any. Convenient
- *    for the consumer when rendering selected-state visuals next to the
- *    option attributes.
- *  - `hiddenInput`: when `viewInputs.name` was supplied, attributes for a
- *    hidden form input carrying the selected value. The consumer
- *    renders the `<input>` themselves. Empty array when `name` is
- *    undefined. */
-export type RenderInfo<Value extends string = string> = Readonly<{
-    group: ReadonlyArray<ChildAttribute>;
-    options: ReadonlyArray<OptionInfo<Value>>;
+ *  - `options`: one entry per option in `options`, in the same order. Includes
+ *    the value, derived state, and the attribute bundles for the option
+ *    element, its label, and its description.
+ *  - `selectedValue`: the currently-selected value, if any. Convenient for the
+ *    consumer when rendering selected-state visuals next to the option
+ *    attributes.
+ *  - `hiddenInput`: when `name` was supplied, attributes for a hidden form
+ *    input carrying the selected value. The consumer renders the `<input>`
+ *    themselves. Empty array when `name` is undefined. */
+export type RenderInfo<Value extends string, ParentMessage> = Readonly<{
+    group: ReadonlyArray<Attribute<ParentMessage>>;
+    options: ReadonlyArray<OptionInfo<Value, ParentMessage>>;
     selectedValue: Option.Option<Value>;
-    hiddenInput: ReadonlyArray<ChildAttribute>;
+    hiddenInput: ReadonlyArray<Attribute<ParentMessage>>;
 }>;
-/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
- *  Generic over `Value extends string` so consumers using
- *  `RadioGroup.create<MyUnion>()` receive `option.value: MyUnion` in
- *  `toView` and `(value: MyUnion, index) => boolean` in
- *  `isOptionDisabled`, without casting. */
-export type ViewInputs<Value extends string = string> = Readonly<{
+/** Per-render view configuration for the stateless controlled {@link view}.
+ *  Generic over `Value extends string` (the option union) and `ParentMessage`
+ *  (the message `onSelect` dispatches).
+ *
+ *  - `selectedValue`: the current selection, read straight from the parent
+ *    Model. The roving tabindex and checked state derive from it.
+ *  - `onSelect`: dispatched with the chosen value when an option is clicked or
+ *    navigated to. Handle it in the parent's `update` by storing the value.
+ *    The radio group manages focus itself, so the handler needs to do nothing
+ *    else.
+ *  - `toView`: receives the {@link RenderInfo} and lays out the group. */
+export type ViewConfig<Value extends string, ParentMessage> = Readonly<{
+    id: string;
+    selectedValue: Option.Option<Value>;
     options: ReadonlyArray<Value>;
+    onSelect: (value: Value) => ParentMessage;
     ariaLabel: string;
-    toView: (render: RenderInfo<Value>) => Html;
+    toView: (render: RenderInfo<Value, ParentMessage>) => Html;
+    orientation?: Orientation;
     isOptionDisabled?: (value: Value, index: number) => boolean;
     isDisabled?: boolean;
     name?: string;
-    orientation?: Orientation;
 }>;
-/** Pairs the radio group's `view` and `update` (and `select`) behind a
- *  single Value-typed entry point. Declaring the radio group once at
- *  module scope ensures the OutMessage's `value` field carries the
- *  consumer's union type without an `as` cast at the call site:
+/** Renders an accessible radio group as a stateless controlled component. The
+ *  parent owns the selection (`selectedValue`) and receives the parent's own
+ *  Message via `onSelect` when an option is chosen. Moving focus onto the
+ *  newly-active option is the radio group's own concern: it happens inside the
+ *  component's click and keydown handlers, so the parent's `update` only stores
+ *  the value.
  *
  *  ```ts
- *  const ToolRadioGroup = RadioGroup.create<Tool>()
- *
  *  // In view:
- *  h.submodel({ view: ToolRadioGroup.view, ... })
+ *  RadioGroup.view<Tool, Message>({
+ *    id: TOOL_RADIO_GROUP_ID,
+ *    selectedValue: Option.some(model.tool),
+ *    options: TOOLS,
+ *    ariaLabel: 'Tool',
+ *    onSelect: tool => SelectedTool({ tool }),
+ *    toView: ({ group, options }) => ...,
+ *  })
  *
  *  // In update:
- *  const [next, commands, maybeOutMessage] = ToolRadioGroup.update(model, message)
- *  // maybeOutMessage: Option<RadioGroup.OutMessage<Tool>>
- *  ```
- *
- *  The view's `ViewInputs.options` stays typed `ReadonlyArray<string>`;
- *  consumers can pass a `ReadonlyArray<MyUnion>` (assignable) and the
- *  fenced cast inside `update` types the OutMessage's `value` as
- *  `MyUnion`. */
-export declare const create: <Value extends string = string>() => Readonly<{
-    view: SubmodelView<Model, Message, ViewInputs<Value>>;
-    update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
-    select: (model: Model, value: Value, options: ReadonlyArray<Value>) => readonly [Model, ReadonlyArray<Command.Command<Message>>, Option.Option<OutMessage<Value>>];
-    reflectSelectedValue: Reflect<Model, Option.Option<Value>>;
-}>;
-export {};
+ *  SelectedTool: ({ tool }) => [evo(model, { tool: () => tool }), []],
+ *  ``` */
+export declare const view: <Value extends string, ParentMessage>(config: ViewConfig<Value, ParentMessage>) => Html;
 //# sourceMappingURL=index.d.ts.map