@elaraai/east-ui 1.0.67 → 1.0.69

package/dist/src/contracts/pick.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pick.d.ts","sourceRoot":"","sources":["../../../src/contracts/pick.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,EACH,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,SAAS,EACT,WAAW,EAGX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EAEV,UAAU,EACV,UAAU,EAEb,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAOpD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,aAAa,uBAAwB,CAAC;AACnD,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOvB,CAAC;AACH,2CAA2C;AAC3C,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAE/C;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,mBAAmB;;;;EAI9B,CAAC;AACH,kDAAkD;AAClD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAM7D;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIvB,CAAC;AACH,2CAA2C;AAC3C,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC;AAE/C;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGxB,CAAC;AACH,4CAA4C;AAC5C,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAEjD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,QAAQ,EAAE,GAAG,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIrD,CAAC;AAEH;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAM5F;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,QAAQ;IAC3C;;;;;;;;;;OAUG;IACH,EAAE,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC1D,6BAA6B;IAC7B,KAAK,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC7D,yDAAyD;IACzD,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7E,uDAAuD;IACvD,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvE,uHAAuH;IACvH,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3E,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,WAAW,CAAC,CAAC;IAClE,+DAA+D;IAC/D,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAC,CAEnF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,QAAQ,EACxC,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GACxB,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAgBnC;AAED,wBAAgB,cAAc,CAAC,CAAC,SAAS,QAAQ,EAC7C,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,GACxB,UAAU,CAAC,CAAC,CAAC,CAuBf;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAS5F;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAC1C,GAAG,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EACrC,EAAE,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,EACrD,MAAM,EAAE,kBAAkB,CAAC,aAAa,CAAC,GAC1C,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAexB"}

package/dist/src/contracts/pick.js

@@ -0,0 +1,360 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The PICK contract (#590) — which of a component's declared things are shown.
+ *
+ * A Plan picks row series, a Table would pick columns, a Chart layers. The
+ * operation is the same one every time: a library of identified things, some
+ * switched off, the survivors fed back to the component. This module is the one
+ * place that vocabulary is spelled; `Pick.Panel` renders it and never imports a
+ * component, exactly as `Slice.Rail` mounts anywhere.
+ *
+ * # Why it splits in two
+ *
+ * A `UIComponentType` arm must be a CLOSED East type, so the panel cannot ride
+ * a generic. That is not a stylistic call — it is why {@link SliceLegendType}
+ * carries `SliceBindType` and not `SliceBindType<T>`. Pick therefore splits at
+ * exactly the point where the item type stops mattering:
+ *
+ * - {@link PickBindType} is NON-GENERIC — a key, a state binding, and a list of
+ *   plain-data descriptors. It is the only part that enters the IR, so ONE
+ *   panel arm serves every component that ever adopts this.
+ * - {@link PickHandleType} is the AUTHOR's handle, and never enters the IR.
+ *   `I` rides STRUCTURALLY (in `all` and `id`), the way `C` rides in
+ *   {@link PagedSourceType}'s `page` signature, so a handle bound to one item
+ *   type is a compile error against a component expecting another.
+ *
+ * # Why no platform function
+ *
+ * `state` is literally {@link State.bind}'s `{read, write, has}` pinned at
+ * {@link PickStateType}. Pick declares nothing of its own, so it needs neither
+ * of the two re-export hops in `east-ui-components` nor the two hard-coded
+ * arrays in `e3-ui-components` — the documented "ships broken while tests pass"
+ * trap. It also means {@link Pick.active} is provable in a plain `describeEast`
+ * spec rather than only in a browser.
+ *
+ * # Why the state is what is HIDDEN
+ *
+ * Storing the active list looks equivalent and is not: a thing the author adds
+ * in a later release is absent from every user's persisted state, so it
+ * silently never appears. Storing what is switched OFF means new arrivals show
+ * by default and only explicit removals persist — the same reason `Slice`
+ * stores `visible: Option<Set>` with `none` meaning all, minus the `Option`,
+ * because an empty HIDDEN list is unambiguous where an empty VISIBLE set is not.
+ *
+ * # What this contract deliberately does NOT do
+ *
+ * It does not ORDER. On a key-ordered surface there is nothing for an order to
+ * order: a Plan's rows sit in canonical KEY order (`PlanRowsCollectionType` is
+ * a `Dict`, and `applySeries` unions with LAST_WINS), so a series' position in
+ * the list resolves key collisions and never row position. The panel's own list
+ * order is already `all`'s array order. Ordering becomes real for an adopter
+ * whose collection is positional — a Table's columns — and belongs to that
+ * adopter, not here.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, BooleanType, East, Expr, FunctionType, IntegerType, NullType, OptionType, SetType, StringType, StructType, none, } from "@elaraai/east";
+import { IconType } from "../display/icon/types.js";
+import { State } from "../platform/state.js";
+// ============================================================================
+// The state — what the user switched off
+// ============================================================================
+/**
+ * The pick state — the ids switched OFF. An empty list shows everything.
+ *
+ * @remarks
+ * Deliberately the hidden ids rather than the active ones, and deliberately a
+ * bare `Array<String>` rather than a struct: there is exactly one fact to
+ * store. See this module's overview for why hidden beats active.
+ *
+ * Duplicates are harmless ({@link Pick.active} tests membership through a set)
+ * and an id that no longer names anything is ignored, so persisted state
+ * survives an author renaming or removing an item.
+ */
+export const PickStateType = ArrayType(StringType);
+/**
+ * One pickable thing as the PANEL sees it — plain data, no item type.
+ *
+ * @remarks
+ * This is the whole of what a panel can render, which is what keeps the panel
+ * component-agnostic: it never learns what a "series" or a "column" is.
+ *
+ * @property id - Stable identity — what the state addresses and what `id` returns; must be unique across the list
+ * @property title - The name a user reads (`"Machine jobs"`)
+ * @property subtitle - The muted role line (`"one row per machine"`); `none` ⇒ one-line row
+ * @property icon - The leading glyph; `none` ⇒ the panel prints no icon
+ * @property count - How many things this yields (`"24 rs"`); `none` ⇒ no count printed, which is what a paged source must say
+ * @property narrowed - `true` ⇒ the count is a NARROWED count, printed in the brand with a dot
+ */
+export const PickItemType = StructType({
+    id: StringType,
+    title: StringType,
+    subtitle: OptionType(StringType),
+    icon: OptionType(IconType),
+    count: OptionType(IntegerType),
+    narrowed: BooleanType,
+});
+/**
+ * The state binding a pick carries — EXACTLY {@link State.bind}'s return type,
+ * pinned at {@link PickStateType}.
+ *
+ * @remarks
+ * Field order matters and is `read` / `write` / `has`, because East struct
+ * subtyping is exact — same arity, same names, same order. Declaring it here
+ * rather than re-deriving it means a change to `State.bind`'s shape fails this
+ * file's build rather than something downstream.
+ *
+ * Nothing bespoke is introduced: per #106 a bind handle's methods are
+ * IR-bearing East functions over plain-data primitives, so a pick handle is
+ * ordinary serializable East data and `decodeBeast2For({ platform })` re-binds
+ * it to the decoder's store.
+ *
+ * @property read - The current state; TRACKS the key, so it belongs in a reactive evaluation
+ * @property write - Replace the state
+ * @property has - Whether the key is set
+ */
+export const PickStateHandleType = StructType({
+    read: FunctionType([], PickStateType),
+    write: FunctionType([PickStateType], NullType),
+    has: FunctionType([], BooleanType),
+});
+// ============================================================================
+// The contract — non-generic, the only part that rides in IR
+// ============================================================================
+/**
+ * THE CONTRACT — what a panel stores and what any component's IR may hold.
+ *
+ * @remarks
+ * Non-generic by construction, so it embeds directly in a `UIComponentType`
+ * arm. A renderer needs nothing else: `key` to self-subscribe, `state` to read
+ * and write, `items` to draw.
+ *
+ * `items` is an EXPRESSION (`all.map(describe)`), not a build-time snapshot, so
+ * a count derived from data re-evaluates every reactive frame instead of
+ * freezing at authoring time.
+ *
+ * @property key - The store key; renderers self-subscribe on it, like `SliceBindType.key`
+ * @property state - The {@link PickStateHandleType} binding
+ * @property items - Every pickable thing, in declaration order
+ */
+export const PickBindType = StructType({
+    key: StringType,
+    state: PickStateHandleType,
+    items: ArrayType(PickItemType),
+});
+/**
+ * The `Pick.Panel` component payload — the contract plus the author's noun.
+ *
+ * @remarks
+ * Defined HERE rather than inline in `component.ts` because it carries no
+ * `UIComponentType`: only arms that need the recursion `node` for children have
+ * to be written inline (and then hand-synced). `SliceLegendType` is legal as a
+ * single shared export for exactly the same reason, and this follows it.
+ *
+ * `persist` is deliberately absent. The slice's storage vocabulary
+ * (`SlicePersistType`) lives in `platform/slice`, which imports FROM
+ * `contracts/` — referencing it here would close an import cycle. Persistence
+ * beyond the store's own lifetime is a separate decision, made where the
+ * dependency runs the right way.
+ *
+ * @property pick - The bound contract ({@link PickBindType})
+ * @property title - The author's noun for the collection ("Series" / "Columns")
+ */
+export const PickPanelType = StructType({
+    pick: PickBindType,
+    title: StringType,
+});
+/**
+ * The AUTHOR's handle — the contract plus the typed things it selects over.
+ *
+ * @remarks
+ * Never enters the IR. `all` and `id` are what carry `I`, structurally, so the
+ * type flows from `Pick.bind` to `Pick.active` and back into the component
+ * without a phantom brand and without surviving into a closed arm.
+ *
+ * @typeParam I - The item type being picked over
+ * @param i - The item type value
+ * @returns The concrete `StructType` of a handle over `i`
+ *
+ * @property pick - The non-generic contract handed to {@link Pick.Panel}
+ * @property all - Every item that COULD show, in declaration order
+ * @property id - An item's stable id — the same one its {@link PickItemType} carries
+ */
+export const PickHandleType = (i) => StructType({
+    pick: PickBindType,
+    all: ArrayType(i),
+    id: FunctionType([i], StringType),
+});
+/**
+ * Build a {@link PickStateType} seed.
+ *
+ * @param hidden - The ids switched off; omit ⇒ everything shows
+ * @returns The state expression
+ *
+ * @example
+ * ```ts
+ * Pick.state()                 // everything shows
+ * Pick.state(["crew"])         // "crew" starts switched off
+ * ```
+ */
+export function createPickState(hidden) {
+    return East.value([...(hidden ?? [])], PickStateType);
+}
+/**
+ * Bind a list of things to a persisted pick.
+ *
+ * @remarks
+ * Takes NO item-type argument — `I` is already carried by `all`, recovered with
+ * the `Expr.type` idiom, so the call reads the way the author thinks about it.
+ *
+ * The accessors are REIFIED once into a single describe function which the map
+ * then CALLS, per the factory rule (`shared/reify.ts`, `EAST_UI_PROP_PATTERNS.md`)
+ * — never invoked mid-map with their expression trees spliced in.
+ *
+ * Bind exactly ONCE, in the same reactive evaluation that mounts both the panel
+ * and the component. A `Reactive.Root` body is a free function and cannot
+ * capture a `$.let` handle from an enclosing scope, so a panel that is its own
+ * root would need its own bind — two binds on one key work (they share the
+ * store) but must be given identical item lists, or the two surfaces disagree
+ * about what exists.
+ *
+ * @typeParam I - The item type being picked over
+ * @param key - The store key; also the persistence key
+ * @param all - Every item that COULD show — an expression of `Array<I>`
+ * @param options - The per-item accessors and the seed ({@link PickOptions})
+ * @returns A {@link PickHandleType} over `I`
+ *
+ * @example
+ * ```tsx
+ * const shown = $.let(Pick.bind("orders.cols", cols, {
+ *     id:    c => c.key,
+ *     title: c => c.header,
+ *     hidden: ["price"],
+ * }));
+ *
+ * <Pick.Panel value={shown} title="Columns" />
+ * <Table data={orders} columns={Pick.active(shown)} />
+ * ```
+ */
+/**
+ * The library entries alone — every item described, with NO state binding.
+ *
+ * @remarks
+ * {@link Pick.bind} builds `items` with exactly this call, so proving one
+ * proves the other. It is split out for the same reason {@link pickVisible} is:
+ * `State.bind` is not runnable in a `describeEast` spec, and the descriptor
+ * derivation — identity, icons, counts — is the part worth testing.
+ *
+ * Useful in its own right when a host wants to render its own list rather than
+ * mount `Pick.Panel`.
+ *
+ * @typeParam I - The item type being picked over
+ * @param all - Every item that COULD show
+ * @param options - The per-item accessors ({@link PickOptions})
+ * @returns The descriptors, in declaration order
+ */
+export function pickItems(all, options) {
+    const allExpr = East.value(all);
+    const itemType = Expr.type(allExpr).value;
+    const opts = options;
+    // Reified ONCE, outside every block; the map below CALLS them.
+    const idFn = East.function([itemType], StringType, (_$, item) => opts.id(item));
+    const describe = East.function([itemType], PickItemType, (_$, item) => ({
+        id: idFn(item),
+        title: opts.title(item),
+        subtitle: opts.subtitle !== undefined ? opts.subtitle(item) : none,
+        icon: opts.icon !== undefined ? opts.icon(item) : none,
+        count: opts.count !== undefined ? opts.count(item) : none,
+        narrowed: opts.narrowed !== undefined ? opts.narrowed(item) : false,
+    }));
+    return allExpr.map((_$, item) => describe(item));
+}
+export function createPickBind(key, all, options) {
+    const allExpr = East.value(all);
+    const itemType = Expr.type(allExpr).value;
+    const opts = options;
+    const idFn = East.function([itemType], StringType, (_$, item) => opts.id(item));
+    const pick = East.value({
+        key: East.value(key, StringType),
+        // The state IS `State.bind`'s handle — nothing bespoke, and per #106 it
+        // serializes and re-binds like any other bound value.
+        state: State.bind([PickStateType], key, createPickState(options.hidden)),
+        // The SAME derivation `pickItems` exposes — proving one proves the other.
+        items: pickItems(allExpr, opts),
+    }, PickBindType);
+    // Two-step cast (the `Paged.of` idiom): the members are built against the
+    // item type recovered from the expression, which TS sees as the erased
+    // `EastType`. The East-side type is what actually types the value.
+    return East.value({
+        pick,
+        all: allExpr,
+        id: idFn,
+    }, PickHandleType(itemType));
+}
+/**
+ * The items still switched on, in DECLARATION order — the feed a component takes.
+ *
+ * @remarks
+ * The twin of `Slice.rows(...)`: one tracked read, one derivation, and the
+ * result is an ordinary expression the component's own prop already accepts.
+ * For a Plan that means `series={Pick.active(shown)}` needs no Plan change at
+ * all, because `PlanSeriesInput` already accepts the expression form.
+ *
+ * Declaration order, never the state's — see this module's overview. An id in
+ * the state that names nothing is ignored, so a rename or removal degrades to
+ * "shown" rather than to an error.
+ *
+ * Call this INSIDE the reactive evaluation that renders the component: the read
+ * is what registers the dependency that repaints on a toggle.
+ *
+ * @typeParam I - The item type being picked over
+ * @param handle - The handle from {@link Pick.bind}
+ * @returns The surviving items, as `Array<I>`
+ */
+export function pickActive(handle) {
+    const h = handle;
+    // The tracked read is the ONLY thing this adds over `pickVisible`, which is
+    // what makes the derivation itself testable without a State runtime.
+    return pickVisible(h.all, h.id, h.pick.state.read());
+}
+/**
+ * The derivation on its own — items minus a hidden list, with NO state binding.
+ *
+ * @remarks
+ * {@link Pick.active} is this plus one tracked read, so proving this proves the
+ * shipped behaviour. It exists split out because the semantics are the part
+ * worth testing and `State.bind` is not runnable in a `describeEast` spec —
+ * `TestImpl` carries no State runtime (`test/platform/state.spec.ts` is
+ * compile-only for exactly this reason). Here the hidden list is a plain value,
+ * so the whole contract is provable with no platform function at all.
+ *
+ * Three behaviours it fixes, all of them things a bare `active` list gets
+ * wrong: declaration order is preserved, an id naming nothing is ignored, and
+ * an item absent from the list still shows.
+ *
+ * @typeParam I - The item type being picked over
+ * @param all - Every item that COULD show
+ * @param id - An item's stable id
+ * @param hidden - The ids switched off
+ * @returns The surviving items, in declaration order
+ */
+export function pickVisible(all, id, hidden) {
+    const allExpr = East.value(all);
+    const listType = Expr.type(allExpr);
+    const idType = FunctionType([listType.value], StringType);
+    // Everything the block touches arrives as a PARAMETER: a JS const holding
+    // an East expression is re-inlined — and re-evaluated — at every use.
+    const fn = East.function([PickStateType, listType, idType], listType, ($, off, items, idOf) => {
+        const hiddenSet = $.let(off.toSet(), SetType(StringType));
+        return items.filter((_$, item) => hiddenSet.has(idOf(item)).not());
+    });
+    // Two-step cast (the `Paged.of` idiom): `fn` is built against the item type
+    // recovered from the expression, which TS sees as the erased `EastType`
+    // rather than the caller's `I`. The East-side types are what type the call.
+    const idErased = id;
+    return fn(hidden, allExpr, idErased);
+}
+//# sourceMappingURL=pick.js.map

package/dist/src/contracts/pick.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pick.js","sourceRoot":"","sources":["../../../src/contracts/pick.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqDG;AAEH,OAAO,EAIH,SAAS,EACT,WAAW,EACX,IAAI,EACJ,IAAI,EACJ,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,OAAO,EACP,UAAU,EACV,UAAU,EACV,IAAI,GACP,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAE7C,+EAA+E;AAC/E,yCAAyC;AACzC,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;AAInD;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;IACnC,EAAE,EAAQ,UAAU;IACpB,KAAK,EAAK,UAAU;IACpB,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;IAChC,IAAI,EAAM,UAAU,CAAC,QAAQ,CAAC;IAC9B,KAAK,EAAK,UAAU,CAAC,WAAW,CAAC;IACjC,QAAQ,EAAE,WAAW;CACxB,CAAC,CAAC;AAIH;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC1C,IAAI,EAAG,YAAY,CAAC,EAAE,EAAE,aAAa,CAAC;IACtC,KAAK,EAAE,YAAY,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,CAAC;IAC9C,GAAG,EAAI,YAAY,CAAC,EAAE,EAAE,WAAW,CAAC;CACvC,CAAC,CAAC;AAIH,+EAA+E;AAC/E,6DAA6D;AAC7D,+EAA+E;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;IACnC,GAAG,EAAI,UAAU;IACjB,KAAK,EAAE,mBAAmB;IAC1B,KAAK,EAAE,SAAS,CAAC,YAAY,CAAC;CACjC,CAAC,CAAC;AAIH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC;IACpC,IAAI,EAAG,YAAY;IACnB,KAAK,EAAE,UAAU;CACpB,CAAC,CAAC;AAIH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAqB,CAAI,EAAE,EAAE,CAAC,UAAU,CAAC;IACnE,IAAI,EAAE,YAAY;IAClB,GAAG,EAAG,SAAS,CAAC,CAAC,CAAC;IAClB,EAAE,EAAI,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC;CACtC,CAAC,CAAC;AAmDH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAC,MAA0B;IACtD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;AAC1D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,SAAS,CACrB,GAAqC,EACrC,OAAuB;IAEvB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAA8C,CAAkC,CAAC;IAC5G,MAAM,QAAQ,GAAc,IAAI,CAAC,IAAI,CAAC,OAAO,CAAyB,CAAC,KAAK,CAAC;IAC7E,MAAM,IAAI,GAAG,OAA2C,CAAC;IAEzD,+DAA+D;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAChF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACpE,EAAE,EAAQ,IAAI,CAAC,IAAI,CAAC;QACpB,KAAK,EAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QAC1B,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QAClE,IAAI,EAAM,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QAC1D,KAAK,EAAK,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QAC5D,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK;KACtE,CAAC,CAAC,CAAC;IACJ,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAiD,CAAC;AACrG,CAAC;AAED,MAAM,UAAU,cAAc,CAC1B,GAAW,EACX,GAAqC,EACrC,OAAuB;IAEvB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAA8C,CAAkC,CAAC;IAC5G,MAAM,QAAQ,GAAc,IAAI,CAAC,IAAI,CAAC,OAAO,CAAyB,CAAC,KAAK,CAAC;IAC7E,MAAM,IAAI,GAAG,OAA2C,CAAC;IACzD,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QACpB,GAAG,EAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,UAAU,CAAC;QAClC,wEAAwE;QACxE,sDAAsD;QACtD,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,GAAG,EAAE,eAAe,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACxE,0EAA0E;QAC1E,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC;KAClC,EAAE,YAAY,CAAC,CAAC;IAEjB,0EAA0E;IAC1E,uEAAuE;IACvE,mEAAmE;IACnE,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,IAAI;QACJ,GAAG,EAAE,OAAO;QACZ,EAAE,EAAG,IAAI;KACZ,EAAE,cAAc,CAAC,QAAQ,CAAC,CAA6B,CAAC;AAC7D,CAAC;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,UAAU,CAAqB,MAAqB;IAChE,MAAM,CAAC,GAAG,MAIP,CAAC;IACJ,4EAA4E;IAC5E,qEAAqE;IACrE,OAAO,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAsC,CAAC;AAC9F,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,WAAW,CACvB,GAAqC,EACrC,EAAqD,EACrD,MAAyC;IAEzC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,GAA8C,CAAkC,CAAC;IAC5G,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAwB,CAAC;IAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAiB,CAAC,EAAE,UAAU,CAAC,CAAC;IACtE,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC1F,MAAM,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,MAAM,QAAQ,GAAG,EAAyE,CAAC;IAC3F,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAsC,CAAC;AAC9E,CAAC"}

package/dist/src/contracts/review.d.ts

@@ -6,13 +6,14 @@
  * Review / approval grammar — the shared contract for decision surfaces.
  *
  * Lifted from the Planner's review chrome (PR #76) so every grid surface
- * (Planner, Gantt, Table, Roster, Board) speaks one approval vocabulary and
+ * (Table, Roster, Board, Plan) speaks one approval vocabulary and
  * wears identical chrome: a per-subject Approve / Reject **decision column**
  * plus a batch **`commitBar` foot** (Approve all / Reject all / Rerun).
  *
  * The vocabulary is deliberately two-axis:
  *
- * - **Event lifecycle** (`PlannerStateType`: committed / proposed / rejected)
+ * - **Event lifecycle** (`PlannerStateType` in `contracts/states.ts`:
+ *   committed / proposed / rejected — or the richer `EventStateType`)
  *   is what happened to a scheduled event — the audit trail.
  * - **Approval state** ({@link ApprovalStateType}: approved / pending /
  *   rejected) is the *reviewer's* verdict on a subject (usually a row) — the
@@ -27,106 +28,13 @@
  *
  * @packageDocumentation
  */
-import { type EastType, type ExprType, type SubtypeExprOrValue, BooleanType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType } from "@elaraai/east";
+import { type EastType, type ExprType, type SubtypeExprOrValue, BooleanType, FunctionType, NullType, OptionType, StringType } from "@elaraai/east";
 import { UIComponentType } from "../component.js";
-/**
- * A review subject's approval state — the reviewer's verdict, distinct from
- * the event-level audit lifecycle (`PlannerStateType`).
- *
- * @remarks
- * `approved` rests pre-approved (a clean line's resting state — its Approve
- * button renders as the active state); `pending` awaits an explicit call (a
- * flagged line); `rejected` is an explicit decline. Authors usually derive it
- * in East — see {@link deriveApproval} for the canonical "clean ⇒ approved,
- * flagged ⇒ pending" rule.
- *
- * The same three words appear in e3-ui's DecisionQueue at *case* granularity
- * (`Verdict`); this variant is the in-surface (row / batch) resolution.
- *
- * @property approved - Pre-approved / accepted (the resting state for a clean subject)
- * @property pending - Undecided — awaits an explicit Approve / Reject
- * @property rejected - Explicitly declined
- */
-export declare const ApprovalStateType: VariantType<{
-    /** Pre-approved / accepted (the resting state for a clean subject). */
-    readonly approved: NullType;
-    /** Undecided — awaits an explicit Approve / Reject. */
-    readonly pending: NullType;
-    /** Explicitly declined. */
-    readonly rejected: NullType;
-}>;
-/**
- * Type representing approval state values.
- */
-export type ApprovalStateType = typeof ApprovalStateType;
-/**
- * String literal form of {@link ApprovalStateType} tags.
- */
-export type ApprovalStateLiteral = "approved" | "pending" | "rejected";
-/**
- * The row-subject reference — the payload of per-row review callbacks on the
- * row-granularity adopters (Planner, Gantt, Table, Roster).
- *
- * @remarks
- * `rowIndex` addresses the row in the surface's **unsliced** row order (the
- * same convention as row-selection events), so hosts map it straight back to
- * their source data. Tile-granularity acceptance keeps its own subject — the
- * drag contract's `CellRefType` — documented as the *item*-level sibling of
- * this row-level ref.
- *
- * @property rowIndex - The acted-on row's index (0-based, unsliced order)
- */
-export declare const RowRefType: StructType<{
-    /** The acted-on row's index (0-based, unsliced order) */
-    readonly rowIndex: IntegerType;
-}>;
-/**
- * Type representing row-subject reference values.
- */
-export type RowRefType = typeof RowRefType;
-/**
- * The review-config struct shape for a subject-ref type `S` and a UI
- * component type `C` — see {@link reviewType}.
- */
-export type ReviewStructType<S extends EastType, C extends EastType> = StructType<{
-    columnLabel: StringType;
-    summary: OptionType<C>;
-    onApprove: OptionType<FunctionType<[S], NullType>>;
-    onReject: OptionType<FunctionType<[S], NullType>>;
-    onApproveAll: OptionType<FunctionType<[], NullType>>;
-    onRejectAll: OptionType<FunctionType<[], NullType>>;
-    onRerun: OptionType<FunctionType<[], NullType>>;
-    rerunLabel: StringType;
-}>;
-/**
- * Builds the review-config East type for a given subject-ref type — the
- * honest per-component variability of the shared contract.
- *
- * @param subjectRefType - The per-subject callback payload type (e.g. {@link RowRefType} for row-granularity surfaces)
- * @param componentType - The UI component type for the `summary` field — pass `UIComponentType` (or the recursion `node` when spelling a root inline in `component.ts`)
- * @returns The review-config `StructType` for that subject
- *
- * @remarks
- * Every adopter's `review` field is `OptionType(reviewType(...))` with the
- * same fixed fields — only the subject varies: Planner / Gantt / Table /
- * Roster review rows (`{ rowIndex }`), while per-tile ghost-accept stays on
- * the drag contract's `CellRefType`. `componentType` is injected (rather than
- * imported) so `component.ts` can spell the same shape inside its
- * `RecursiveType` using the recursion `node`; every other caller passes the
- * resolved `UIComponentType`.
- *
- * Semantics of the fields (identical across adopters):
- * - `columnLabel` — the decision-column header (builders default `"Decision"`).
- * - `summary` — optional host-composed foot eyebrow (a `UIComponentType`).
- * - `onApprove` / `onReject` — per-subject calls, receiving the subject ref.
- * - `onApproveAll` / `onRejectAll` — batch foot verbs.
- * - `onRerun` — optional re-run verb (absent ⇒ no Rerun button);
- *   `rerunLabel` its label (builders default `"Rerun"`).
- */
-export declare function reviewType<S extends EastType, C extends EastType>(subjectRefType: S, componentType: C): ReviewStructType<S, C>;
+import { ApprovalStateType, RowRefType, type ReviewStructType } from "./approval.js";
+export { ApprovalStateType, type ApprovalStateLiteral, RowRefType, reviewType, type ReviewStructType, } from "./approval.js";
 /**
  * The resolved row-granularity review-config type — `reviewType(RowRefType,
- * UIComponentType)`. The concrete type Planner / Gantt / Table / Roster carry
+ * UIComponentType)`. The concrete type Table / Roster / Board carry
  * (and the one renderers decode).
  */
 export declare const RowReviewType: ReviewStructType<RowRefType, UIComponentType>;

package/dist/src/contracts/review.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../../src/contracts/review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EACH,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,kBAAkB,EAEvB,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,EAId,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAMlD;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB;IAC1B,uEAAuE;;IAEvE,uDAAuD;;IAEvD,2BAA2B;;EAE7B,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,CAAC;AAEvE;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,UAAU;IACnB,yDAAyD;;EAE3D,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC;AAM3C;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,IAAI,UAAU,CAAC;IAC9E,WAAW,EAAE,UAAU,CAAC;IACxB,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACvB,SAAS,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACnD,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAClD,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACrD,WAAW,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpD,OAAO,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAChD,UAAU,EAAE,UAAU,CAAC;CAC1B,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAC7D,cAAc,EAAE,CAAC,EACjB,aAAa,EAAE,CAAC,GACjB,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAWxB;AAED;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAA2C,CAAC;AAEpH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAMjD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,QAAQ,GAAG,UAAU;IACzD,yDAAyD;IACzD,WAAW,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;IACtD,0DAA0D;IAC1D,OAAO,CAAC,EAAE,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAC9C,wEAAwE;IACxE,SAAS,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5D,uEAAuE;IACvE,QAAQ,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3D,2CAA2C;IAC3C,YAAY,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,0CAA0C;IAC1C,WAAW,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7D,0DAA0D;IAC1D,OAAO,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,kDAAkD;IAClD,UAAU,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;CACxD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAC1C,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,eAAe,CAAC,GAC3C,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAWhD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC1B,OAAO,EAAE,kBAAkB,CAAC,WAAW,CAAC,GACzC,QAAQ,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAKzC"}
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../../src/contracts/review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EACH,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,kBAAkB,EAEvB,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,UAAU,EAIb,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EACH,iBAAiB,EACjB,UAAU,EAEV,KAAK,gBAAgB,EACxB,MAAM,eAAe,CAAC;AASvB,OAAO,EACH,iBAAiB,EAAE,KAAK,oBAAoB,EAC5C,UAAU,EACV,UAAU,EAAE,KAAK,gBAAgB,GACpC,MAAM,eAAe,CAAC;AAEvB;;;;GAIG;AACH,eAAO,MAAM,aAAa,EAAE,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAA2C,CAAC;AAEpH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC;AAMjD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,QAAQ,GAAG,UAAU;IACzD,yDAAyD;IACzD,WAAW,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;IACtD,0DAA0D;IAC1D,OAAO,CAAC,EAAE,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAC9C,wEAAwE;IACxE,SAAS,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5D,uEAAuE;IACvE,QAAQ,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3D,2CAA2C;IAC3C,YAAY,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9D,0CAA0C;IAC1C,WAAW,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC7D,0DAA0D;IAC1D,OAAO,CAAC,EAAE,kBAAkB,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzD,kDAAkD;IAClD,UAAU,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC;CACxD;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAC1C,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,EACvB,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,eAAe,CAAC,GAC3C,QAAQ,CAAC,gBAAgB,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC,CAWhD;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAC1B,OAAO,EAAE,kBAAkB,CAAC,WAAW,CAAC,GACzC,QAAQ,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAKzC"}

package/dist/src/contracts/review.js

@@ -6,13 +6,14 @@
  * Review / approval grammar — the shared contract for decision surfaces.
  *
  * Lifted from the Planner's review chrome (PR #76) so every grid surface
- * (Planner, Gantt, Table, Roster, Board) speaks one approval vocabulary and
+ * (Table, Roster, Board, Plan) speaks one approval vocabulary and
  * wears identical chrome: a per-subject Approve / Reject **decision column**
  * plus a batch **`commitBar` foot** (Approve all / Reject all / Rerun).
  *
  * The vocabulary is deliberately two-axis:
  *
- * - **Event lifecycle** (`PlannerStateType`: committed / proposed / rejected)
+ * - **Event lifecycle** (`PlannerStateType` in `contracts/states.ts`:
+ *   committed / proposed / rejected — or the richer `EventStateType`)
  *   is what happened to a scheduled event — the audit trail.
  * - **Approval state** ({@link ApprovalStateType}: approved / pending /
  *   rejected) is the *reviewer's* verdict on a subject (usually a row) — the
@@ -27,94 +28,19 @@
  *
  * @packageDocumentation
  */
-import { East, BooleanType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType, none, some, variant, } from "@elaraai/east";
+import { East, BooleanType, FunctionType, NullType, OptionType, StringType, variant, none, some, } from "@elaraai/east";
 import { UIComponentType } from "../component.js";
+import { ApprovalStateType, RowRefType, reviewType, } from "./approval.js";
 // ============================================================================
-// Approval vocabulary
+// Approval vocabulary + type builder — canonical definitions in
+// `contracts/approval.ts` (the `UIComponentType`-free leaf, importable from
+// inside the `component.ts` module graph); re-exported here so this module
+// stays the canonical import path for host code.
 // ============================================================================
-/**
- * A review subject's approval state — the reviewer's verdict, distinct from
- * the event-level audit lifecycle (`PlannerStateType`).
- *
- * @remarks
- * `approved` rests pre-approved (a clean line's resting state — its Approve
- * button renders as the active state); `pending` awaits an explicit call (a
- * flagged line); `rejected` is an explicit decline. Authors usually derive it
- * in East — see {@link deriveApproval} for the canonical "clean ⇒ approved,
- * flagged ⇒ pending" rule.
- *
- * The same three words appear in e3-ui's DecisionQueue at *case* granularity
- * (`Verdict`); this variant is the in-surface (row / batch) resolution.
- *
- * @property approved - Pre-approved / accepted (the resting state for a clean subject)
- * @property pending - Undecided — awaits an explicit Approve / Reject
- * @property rejected - Explicitly declined
- */
-export const ApprovalStateType = VariantType({
-    /** Pre-approved / accepted (the resting state for a clean subject). */
-    approved: NullType,
-    /** Undecided — awaits an explicit Approve / Reject. */
-    pending: NullType,
-    /** Explicitly declined. */
-    rejected: NullType,
-});
-/**
- * The row-subject reference — the payload of per-row review callbacks on the
- * row-granularity adopters (Planner, Gantt, Table, Roster).
- *
- * @remarks
- * `rowIndex` addresses the row in the surface's **unsliced** row order (the
- * same convention as row-selection events), so hosts map it straight back to
- * their source data. Tile-granularity acceptance keeps its own subject — the
- * drag contract's `CellRefType` — documented as the *item*-level sibling of
- * this row-level ref.
- *
- * @property rowIndex - The acted-on row's index (0-based, unsliced order)
- */
-export const RowRefType = StructType({
-    /** The acted-on row's index (0-based, unsliced order) */
-    rowIndex: IntegerType,
-});
-/**
- * Builds the review-config East type for a given subject-ref type — the
- * honest per-component variability of the shared contract.
- *
- * @param subjectRefType - The per-subject callback payload type (e.g. {@link RowRefType} for row-granularity surfaces)
- * @param componentType - The UI component type for the `summary` field — pass `UIComponentType` (or the recursion `node` when spelling a root inline in `component.ts`)
- * @returns The review-config `StructType` for that subject
- *
- * @remarks
- * Every adopter's `review` field is `OptionType(reviewType(...))` with the
- * same fixed fields — only the subject varies: Planner / Gantt / Table /
- * Roster review rows (`{ rowIndex }`), while per-tile ghost-accept stays on
- * the drag contract's `CellRefType`. `componentType` is injected (rather than
- * imported) so `component.ts` can spell the same shape inside its
- * `RecursiveType` using the recursion `node`; every other caller passes the
- * resolved `UIComponentType`.
- *
- * Semantics of the fields (identical across adopters):
- * - `columnLabel` — the decision-column header (builders default `"Decision"`).
- * - `summary` — optional host-composed foot eyebrow (a `UIComponentType`).
- * - `onApprove` / `onReject` — per-subject calls, receiving the subject ref.
- * - `onApproveAll` / `onRejectAll` — batch foot verbs.
- * - `onRerun` — optional re-run verb (absent ⇒ no Rerun button);
- *   `rerunLabel` its label (builders default `"Rerun"`).
- */
-export function reviewType(subjectRefType, componentType) {
-    return StructType({
-        columnLabel: StringType,
-        summary: OptionType(componentType),
-        onApprove: OptionType(FunctionType([subjectRefType], NullType)),
-        onReject: OptionType(FunctionType([subjectRefType], NullType)),
-        onApproveAll: OptionType(FunctionType([], NullType)),
-        onRejectAll: OptionType(FunctionType([], NullType)),
-        onRerun: OptionType(FunctionType([], NullType)),
-        rerunLabel: StringType,
-    });
-}
+export { ApprovalStateType, RowRefType, reviewType, } from "./approval.js";
 /**
  * The resolved row-granularity review-config type — `reviewType(RowRefType,
- * UIComponentType)`. The concrete type Planner / Gantt / Table / Roster carry
+ * UIComponentType)`. The concrete type Table / Roster / Board carry
  * (and the one renderers decode).
  */
 export const RowReviewType = reviewType(RowRefType, UIComponentType);

package/dist/src/contracts/review.js.map

@@ -1 +1 @@
-{"version":3,"file":"review.js","sourceRoot":"","sources":["../../../src/contracts/review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAIH,IAAI,EACJ,WAAW,EACX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,WAAW,EACX,IAAI,EACJ,IAAI,EACJ,OAAO,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,WAAW,CAAC;IACzC,uEAAuE;IACvE,QAAQ,EAAE,QAAQ;IAClB,uDAAuD;IACvD,OAAO,EAAE,QAAQ;IACjB,2BAA2B;IAC3B,QAAQ,EAAE,QAAQ;CACrB,CAAC,CAAC;AAYH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,UAAU,CAAC;IACjC,yDAAyD;IACzD,QAAQ,EAAE,WAAW;CACxB,CAAC,CAAC;AA0BH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,UAAU,CACtB,cAAiB,EACjB,aAAgB;IAEhB,OAAO,UAAU,CAAC;QACd,WAAW,EAAG,UAAU;QACxB,OAAO,EAAO,UAAU,CAAC,aAAa,CAAC;QACvC,SAAS,EAAK,UAAU,CAAC,YAAY,CAAC,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,CAAC;QAClE,QAAQ,EAAM,UAAU,CAAC,YAAY,CAAC,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,CAAC;QAClE,YAAY,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACpD,WAAW,EAAG,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACpD,OAAO,EAAO,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;QACpD,UAAU,EAAI,UAAU;KAC3B,CAAC,CAAC;AACP,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAkD,UAAU,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;AA4CpH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CACvB,MAAuB,EACvB,IAA0C;IAE1C,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,WAAW,EAAG,MAAM,CAAC,WAAW,IAAI,UAAU;QAC9C,OAAO,EAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QACxE,SAAS,EAAK,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;QAC5E,QAAQ,EAAM,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;QAC1E,YAAY,EAAE,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;QAClF,WAAW,EAAG,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI;QAChF,OAAO,EAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QACxE,UAAU,EAAI,MAAM,CAAC,UAAU,IAAI,OAAO;KAC7C,EAAE,IAAI,CAAC,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC1B,OAAwC;IAExC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,CAC1C,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC,EAC/E,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC,CACnF,CAAC;AACN,CAAC"}
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../../src/contracts/review.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAIH,IAAI,EACJ,WAAW,EACX,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,UAAU,EACV,OAAO,EACP,IAAI,EACJ,IAAI,GACP,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EACH,iBAAiB,EACjB,UAAU,EACV,UAAU,GAEb,MAAM,eAAe,CAAC;AAEvB,+EAA+E;AAC/E,gEAAgE;AAChE,4EAA4E;AAC5E,2EAA2E;AAC3E,iDAAiD;AACjD,+EAA+E;AAE/E,OAAO,EACH,iBAAiB,EACjB,UAAU,EACV,UAAU,GACb,MAAM,eAAe,CAAC;AAEvB;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAkD,UAAU,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC;AA4CpH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CACvB,MAAuB,EACvB,IAA0C;IAE1C,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,WAAW,EAAG,MAAM,CAAC,WAAW,IAAI,UAAU;QAC9C,OAAO,EAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QACxE,SAAS,EAAK,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;QAC5E,QAAQ,EAAM,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;QAC1E,YAAY,EAAE,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;QAClF,WAAW,EAAG,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI;QAChF,OAAO,EAAO,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;QACxE,UAAU,EAAI,MAAM,CAAC,UAAU,IAAI,OAAO;KAC7C,EAAE,IAAI,CAAC,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAC1B,OAAwC;IAExC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,CAC1C,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC,EAC/E,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,iBAAiB,CAAC,CAAC,CACnF,CAAC;AACN,CAAC"}