@elaraai/e3-ui 1.0.86 → 1.0.88

package/dist/src/flowchart/over.d.ts

@@ -0,0 +1,234 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Flowchart.over(states, { … })` (#1244, `Flowchart Builder Spec.md` §3.4,
+ * §4.3): one flow built from an app's own tables — its states, its
+ * transitions, its lanes and its decisions — through the row mappers the
+ * flowchart took its tables with before it held flows. A flow computed from
+ * the app's data — transitions mined from scans, narrowed by a slice — is
+ * shown this way, as `<Flowchart data={Flowchart.over(…)}>`, as `Plan.over`
+ * lays rows out over a dataset.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DateTimeType, IntegerType, OptionType, StringType, StructType, type ExprType, type FloatType, type SubtypeExprOrValue, type TypeOf } from "@elaraai/east";
+import { FlowchartFlowType, FlowchartLaneType, FlowchartLinkKindType, FlowchartLinkType, FlowchartStateType, FlowchartTriggerType } from "./types.js";
+import type { FlowchartLinkKindLiteral } from "./values.js";
+/**
+ * The struct element type of a `SubtypeExprOrValue<ArrayType<StructType>>`.
+ */
+export type RowElement<T extends SubtypeExprOrValue<ArrayType<StructType>>> = TypeOf<T> extends ArrayType<infer S> ? (S extends StructType ? S : never) : never;
+/**
+ * Fields the `state` mapper returns — one state node, before defaults.
+ */
+export interface FlowchartStateFields {
+    /** Short mono code — the node identity ("IND"). */
+    key: SubtypeExprOrValue<StringType>;
+    /** Optional display label under the code. */
+    label?: SubtypeExprOrValue<StringType>;
+    /** The lane (ordered phase) this state belongs to. */
+    lane: SubtypeExprOrValue<StringType>;
+    /** Optional state-class member count → the ×N badge (an Option so per-row absence is expressible). */
+    members?: SubtypeExprOrValue<OptionType<IntegerType>>;
+    /** Optional free-text notes surfaced on hover / inspector. */
+    notes?: SubtypeExprOrValue<StringType>;
+}
+/**
+ * Evidence fields the `link` mapper may return — all optional, per-row
+ * absence via each field's Option.
+ */
+export interface FlowchartEvidenceFields {
+    /** Total measured volume behind the arrow (drives stroke weight + badge). */
+    volume?: SubtypeExprOrValue<OptionType<FloatType>>;
+    /** Event count behind the arrow (e.g. cage moves). */
+    count?: SubtypeExprOrValue<OptionType<IntegerType>>;
+    /** When the evidence was measured. */
+    measuredAt?: SubtypeExprOrValue<OptionType<DateTimeType>>;
+    /** Volume unit suffix for badges ("parcels"). */
+    unit?: SubtypeExprOrValue<StringType>;
+}
+/**
+ * Fields the `link` mapper returns — one transition, before defaults.
+ */
+export interface FlowchartLinkFields {
+    /** Optional stable identity (selection / delete events); default derived from endpoints. */
+    key?: SubtypeExprOrValue<StringType>;
+    /** Source state key. */
+    from: SubtypeExprOrValue<StringType>;
+    /** Target state key. */
+    to: SubtypeExprOrValue<StringType>;
+    /** Optional kind — "planned" (default, solid) | "observed" (dashed). */
+    kind?: SubtypeExprOrValue<FlowchartLinkKindType> | FlowchartLinkKindLiteral;
+    /** Optional decision trigger key (0..1 per link) → the lettered diamond. */
+    trigger?: SubtypeExprOrValue<OptionType<StringType>>;
+    /** Optional imported evidence (weight, badges, provenance). */
+    evidence?: FlowchartEvidenceFields;
+}
+/**
+ * Fields the `lane` mapper returns — one ordered phase band.
+ */
+export interface FlowchartLaneFields {
+    /** Lane identity referenced by states. */
+    key: SubtypeExprOrValue<StringType>;
+    /** Optional band header label (defaults to the key, uppercased). */
+    label?: SubtypeExprOrValue<StringType>;
+}
+/**
+ * Fields the `trigger` mapper returns — one decision trigger.
+ */
+export interface FlowchartTriggerFields {
+    /** Trigger identity referenced by links. */
+    key: SubtypeExprOrValue<StringType>;
+    /** Decision name ("route"). */
+    label: SubtypeExprOrValue<StringType>;
+    /** Optional diamond letter (default: first letter of the label). */
+    letter?: SubtypeExprOrValue<StringType>;
+    /** Optional owning role / system ("sort-planner"). */
+    owner?: SubtypeExprOrValue<StringType>;
+    /** Optional state keys queued at the decision. */
+    queue?: SubtypeExprOrValue<ArrayType<StringType>>;
+    /** Optional outcome summary line ("CH* (×14 chutes)"). */
+    outcomes?: SubtypeExprOrValue<StringType>;
+}
+/**
+ * A literal lanes input — plain `{ key, label? }` entries in band order.
+ */
+export type FlowchartLaneLiteral = {
+    key: string;
+    label?: string;
+};
+/**
+ * The tables beside the states `Flowchart.over` builds a flow from, and the
+ * row mappers that read them.
+ *
+ * @typeParam S - The states-table row struct
+ * @typeParam L - The links-table row struct
+ * @typeParam N - The lanes-table row struct
+ * @typeParam T - The triggers-table row struct
+ */
+export interface FlowchartTables<S extends StructType = StructType, L extends StructType = StructType, N extends StructType = StructType, T extends StructType = StructType> {
+    /** Row mapper from a state row to node fields — omit when rows are already `Flowchart.Types.State`. */
+    state?: (row: ExprType<S>) => FlowchartStateFields | ExprType<FlowchartStateType>;
+    /** Row mapper from a link row to transition fields — omit when rows are already `Flowchart.Types.Link`. */
+    link?: (row: ExprType<L>) => FlowchartLinkFields | ExprType<FlowchartLinkType>;
+    /** Row mapper from a lane row to band fields — omit for literal `{ key, label? }` arrays or `Flowchart.Types.Lane` rows. */
+    lane?: (row: ExprType<N>) => FlowchartLaneFields | ExprType<FlowchartLaneType>;
+    /** Optional decision-trigger rows; links reference them by key. */
+    triggers?: SubtypeExprOrValue<ArrayType<StructType>>;
+    /** Row mapper from a trigger row — omit when rows are already `Flowchart.Types.Trigger`. */
+    trigger?: (row: ExprType<T>) => FlowchartTriggerFields | ExprType<FlowchartTriggerType>;
+}
+/**
+ * Builds one flow from an app's own tables — its states, its transitions, its
+ * lanes and, optionally, its decisions — each read through its row mapper, or
+ * taken as it is when its rows are already the flowchart's own type.
+ *
+ * @remarks
+ * The flow has no `description`. Show it with
+ * `<Flowchart data={Flowchart.over(…)}>`, read only, or with the host's
+ * `onApply`; narrow it with a slice by feeding the transitions through
+ * `Slice.rows`, and give the flowchart that `slice`.
+ *
+ * @typeParam S - The states-table input
+ * @typeParam L - The links-table input
+ * @typeParam N - The lanes-table input
+ * @typeParam T - The triggers-table input
+ * @param states - The state rows
+ * @param tables - The `links` and `lanes` tables (required), the `triggers`
+ *   table, and each table's row mapper: `state`, `link`, `lane`, `trigger`
+ *   ({@link FlowchartTables})
+ * @returns An East expression of `Flowchart.Types.Flow`
+ *
+ * @example
+ * ```tsx
+ * // .tsx file with the `@jsxImportSource @elaraai/e3-ui` pragma
+ * import { ArrayType, DateTimeType, East, FloatType, IntegerType, OptionType, StringType, StructType, none, some, variant } from "@elaraai/east";
+ * import { Box, Reactive, Slice, UIComponentType } from "@elaraai/east-ui";
+ * import { Data, Flowchart } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * export const DepotState = StructType({ code: StringType, name: StringType, phase: StringType, slots: OptionType(IntegerType) });
+ * export const depotStates = e3.input("flowchart_depot_states", ArrayType(DepotState), variant("value", [
+ *     { code: "ARV", name: "Arrived", phase: "intake", slots: none },
+ *     { code: "SCN", name: "Scanned", phase: "intake", slots: none },
+ *     { code: "IND", name: "Inducting", phase: "induct", slots: none },
+ *     { code: "LBL", name: "Labelled", phase: "induct", slots: none },
+ *     { code: "CH*", name: "Sort chutes (class)", phase: "sort", slots: some(14n) },
+ *     { code: "SRD", name: "Sorted", phase: "sort", slots: none },
+ *     { code: "HLD", name: "Held", phase: "hold", slots: none },
+ *     { code: "CLR", name: "Cleared", phase: "hold", slots: none },
+ *     { code: "LDD", name: "Loaded", phase: "dispatch", slots: none },
+ *     { code: "DSP", name: "Dispatched", phase: "dispatch", slots: none },
+ * ]));
+ * export const ScanTransition = StructType({
+ *     id: StringType, src: StringType, dst: StringType, kind: Flowchart.Types.Kind,
+ *     trigger: OptionType(StringType), parcels: OptionType(FloatType), n: OptionType(IntegerType),
+ *     at: DateTimeType, service: StringType, units: ArrayType(StringType),
+ * });
+ * export const scanTransitions = e3.input("flowchart_depot_scans", ArrayType(ScanTransition), variant("value", [
+ *     { id: "l1", src: "ARV", dst: "SCN", kind: variant("planned", null), trigger: none, parcels: some(18460.0), n: some(412n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l2", src: "SCN", dst: "IND", kind: variant("planned", null), trigger: none, parcels: some(7720.0), n: some(171n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l3", src: "IND", dst: "IND", kind: variant("planned", null), trigger: none, parcels: none, n: some(2n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l4", src: "IND", dst: "CH*", kind: variant("planned", null), trigger: some("route"), parcels: some(17350.0), n: some(386n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C", "T"] },
+ *     { id: "l5", src: "CH*", dst: "SRD", kind: variant("planned", null), trigger: none, parcels: some(17210.0), n: some(383n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l6", src: "SRD", dst: "HLD", kind: variant("observed", null), trigger: none, parcels: some(1080.0), n: some(24n), at: new Date("2026-06-30T00:00:00Z"), service: "express", units: ["T"] },
+ *     { id: "l7", src: "HLD", dst: "CLR", kind: variant("planned", null), trigger: some("customs"), parcels: some(8350.0), n: some(186n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l8", src: "CLR", dst: "LDD", kind: variant("planned", null), trigger: none, parcels: some(8240.0), n: some(183n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l9", src: "LDD", dst: "DSP", kind: variant("planned", null), trigger: none, parcels: some(8160.0), n: some(181n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: [] },
+ *     { id: "l10", src: "DSP", dst: "DLV", kind: variant("planned", null), trigger: none, parcels: none, n: none, at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: [] },
+ * ]));
+ * export const DepotDecision = StructType({ id: StringType, name: StringType, who: StringType });
+ * export const depotDecisions = e3.input("flowchart_depot_decisions", ArrayType(DepotDecision), variant("value", [
+ *     { id: "route", name: "route", who: "sort-planner" },
+ *     { id: "customs", name: "customs", who: "customs-desk" },
+ * ]));
+ *
+ * const flowchart = East.function([], UIComponentType, (_$) => (
+ *     <Reactive>{$ => {
+ *         const states = $.let(Data.bind(depotStates));
+ *         const scans = $.let(Data.bind(scanTransitions));
+ *         const decisions = $.let(Data.bind(depotDecisions));
+ *         const slice = $.let(Slice.bind("flowchart-depot", scans.read(), {
+ *             fields: {
+ *                 service: { label: "Service" },
+ *                 src: { label: "From" },
+ *                 dst: { label: "To" },
+ *             },
+ *             search: ["src", "dst"],
+ *         }));
+ *         return (
+ *             <Box height="600px">
+ *                 <Flowchart
+ *                     data={Flowchart.over(states.read(), {
+ *                         state: s => ({ key: s.code, label: s.name, lane: s.phase, members: s.slots }),
+ *                         links: Slice.rows(slice),
+ *                         link: l => ({
+ *                             key: l.id, from: l.src, to: l.dst, kind: l.kind, trigger: l.trigger,
+ *                             evidence: { volume: l.parcels, count: l.n, measuredAt: some(l.at), unit: "parcels" },
+ *                         }),
+ *                         lanes: [
+ *                             { key: "intake", label: "Intake" }, { key: "induct", label: "Induct" },
+ *                             { key: "sort", label: "Sort" }, { key: "hold", label: "Hold" },
+ *                             { key: "dispatch", label: "Dispatch" },
+ *                         ],
+ *                         triggers: decisions.read(),
+ *                         trigger: t => ({ key: t.id, label: t.name, owner: t.who }),
+ *                     })}
+ *                     slice={slice} affordances={["filter", "search"]}
+ *                     freshness={{ label: "evidence-2026.06", date: new Date("2026-06-30T00:00:00Z") }}
+ *                     name="scans"
+ *                 />
+ *             </Box>
+ *         );
+ *     }}</Reactive>
+ * ));
+ * ```
+ */
+export declare function flowchartOver<S extends SubtypeExprOrValue<ArrayType<StructType>>, L extends SubtypeExprOrValue<ArrayType<StructType>>, N extends SubtypeExprOrValue<ArrayType<StructType>> = [], T extends SubtypeExprOrValue<ArrayType<StructType>> = []>(states: S, tables: FlowchartTables<RowElement<S>, RowElement<L>, RowElement<N>, RowElement<T>> & {
+    links: L;
+    lanes: N | readonly FlowchartLaneLiteral[];
+    triggers?: T;
+}): ExprType<FlowchartFlowType>;
+//# sourceMappingURL=over.d.ts.map

package/dist/src/flowchart/over.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"over.d.ts","sourceRoot":"","sources":["../../../src/flowchart/over.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EACH,SAAS,EACT,YAAY,EAGZ,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EAIV,KAAK,QAAQ,EACb,KAAK,SAAS,EACd,KAAK,kBAAkB,EACvB,KAAK,MAAM,EACd,MAAM,eAAe,CAAC;AAEvB,OAAO,EAEH,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,EACvB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAE5D;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,IACtE,MAAM,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAMtF;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACjC,mDAAmD;IACnD,GAAG,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACpC,6CAA6C;IAC7C,KAAK,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACvC,sDAAsD;IACtD,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACrC,sGAAsG;IACtG,OAAO,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IACtD,8DAA8D;IAC9D,KAAK,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACpC,6EAA6E;IAC7E,MAAM,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;IACnD,sDAAsD;IACtD,KAAK,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IACpD,sCAAsC;IACtC,UAAU,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC;IAC1D,iDAAiD;IACjD,IAAI,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAChC,4FAA4F;IAC5F,GAAG,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACrC,wBAAwB;IACxB,IAAI,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACrC,wBAAwB;IACxB,EAAE,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACnC,wEAAwE;IACxE,IAAI,CAAC,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,GAAG,wBAAwB,CAAC;IAC5E,4EAA4E;IAC5E,OAAO,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,+DAA+D;IAC/D,QAAQ,CAAC,EAAE,uBAAuB,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAChC,0CAA0C;IAC1C,GAAG,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACpC,oEAAoE;IACpE,KAAK,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACnC,4CAA4C;IAC5C,GAAG,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACpC,+BAA+B;IAC/B,KAAK,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACtC,oEAAoE;IACpE,MAAM,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACxC,sDAAsD;IACtD,KAAK,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;IACvC,kDAAkD;IAClD,KAAK,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IAClD,0DAA0D;IAC1D,QAAQ,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;CAC7C;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnE;;;;;;;;GAQG;AACH,MAAM,WAAW,eAAe,CAC5B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,CAAC,SAAS,UAAU,GAAG,UAAU;IAEjC,uGAAuG;IACvG,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,oBAAoB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IAClF,2GAA2G;IAC3G,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,mBAAmB,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAC/E,4HAA4H;IAC5H,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,mBAAmB,GAAG,QAAQ,CAAC,iBAAiB,CAAC,CAAC;IAC/E,mEAAmE;IACnE,QAAQ,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,4FAA4F;IAC5F,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,sBAAsB,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;CAC3F;AAeD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyGG;AACH,wBAAgB,aAAa,CACzB,CAAC,SAAS,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EACnD,CAAC,SAAS,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,EACnD,CAAC,SAAS,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EACxD,CAAC,SAAS,kBAAkB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EAExD,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAC7E;IAAE,KAAK,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC,GAAG,SAAS,oBAAoB,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;CAAE,GAC7E,QAAQ,CAAC,iBAAiB,CAAC,CAwF7B"}

package/dist/src/flowchart/over.js

@@ -0,0 +1,220 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Flowchart.over(states, { … })` (#1244, `Flowchart Builder Spec.md` §3.4,
+ * §4.3): one flow built from an app's own tables — its states, its
+ * transitions, its lanes and its decisions — through the row mappers the
+ * flowchart took its tables with before it held flows. A flow computed from
+ * the app's data — transitions mined from scans, narrowed by a slice — is
+ * shown this way, as `<Flowchart data={Flowchart.over(…)}>`, as `Plan.over`
+ * lays rows out over a dataset.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, DateTimeType, East, Expr, IntegerType, OptionType, StringType, StructType, none, some, variant, } from "@elaraai/east";
+import { mapRows } from "@elaraai/east-ui/internal";
+import { FlowchartEvidenceType, FlowchartFlowType, FlowchartLaneType, FlowchartLinkKindType, FlowchartLinkType, FlowchartStateType, FlowchartTriggerType, } from "./types.js";
+// ============================================================================
+// Flowchart.over
+// ============================================================================
+/** Resolves a kind literal / value into the option envelope. */
+function kindOption(kind) {
+    if (kind === undefined)
+        return East.value(none, OptionType(FlowchartLinkKindType));
+    if (typeof kind === "string")
+        return East.value(some(variant(kind, null)), OptionType(FlowchartLinkKindType));
+    return East.value(some(kind), OptionType(FlowchartLinkKindType));
+}
+/**
+ * Builds one flow from an app's own tables — its states, its transitions, its
+ * lanes and, optionally, its decisions — each read through its row mapper, or
+ * taken as it is when its rows are already the flowchart's own type.
+ *
+ * @remarks
+ * The flow has no `description`. Show it with
+ * `<Flowchart data={Flowchart.over(…)}>`, read only, or with the host's
+ * `onApply`; narrow it with a slice by feeding the transitions through
+ * `Slice.rows`, and give the flowchart that `slice`.
+ *
+ * @typeParam S - The states-table input
+ * @typeParam L - The links-table input
+ * @typeParam N - The lanes-table input
+ * @typeParam T - The triggers-table input
+ * @param states - The state rows
+ * @param tables - The `links` and `lanes` tables (required), the `triggers`
+ *   table, and each table's row mapper: `state`, `link`, `lane`, `trigger`
+ *   ({@link FlowchartTables})
+ * @returns An East expression of `Flowchart.Types.Flow`
+ *
+ * @example
+ * ```tsx
+ * // .tsx file with the `@jsxImportSource @elaraai/e3-ui` pragma
+ * import { ArrayType, DateTimeType, East, FloatType, IntegerType, OptionType, StringType, StructType, none, some, variant } from "@elaraai/east";
+ * import { Box, Reactive, Slice, UIComponentType } from "@elaraai/east-ui";
+ * import { Data, Flowchart } from "@elaraai/e3-ui";
+ * import e3 from "@elaraai/e3";
+ *
+ * export const DepotState = StructType({ code: StringType, name: StringType, phase: StringType, slots: OptionType(IntegerType) });
+ * export const depotStates = e3.input("flowchart_depot_states", ArrayType(DepotState), variant("value", [
+ *     { code: "ARV", name: "Arrived", phase: "intake", slots: none },
+ *     { code: "SCN", name: "Scanned", phase: "intake", slots: none },
+ *     { code: "IND", name: "Inducting", phase: "induct", slots: none },
+ *     { code: "LBL", name: "Labelled", phase: "induct", slots: none },
+ *     { code: "CH*", name: "Sort chutes (class)", phase: "sort", slots: some(14n) },
+ *     { code: "SRD", name: "Sorted", phase: "sort", slots: none },
+ *     { code: "HLD", name: "Held", phase: "hold", slots: none },
+ *     { code: "CLR", name: "Cleared", phase: "hold", slots: none },
+ *     { code: "LDD", name: "Loaded", phase: "dispatch", slots: none },
+ *     { code: "DSP", name: "Dispatched", phase: "dispatch", slots: none },
+ * ]));
+ * export const ScanTransition = StructType({
+ *     id: StringType, src: StringType, dst: StringType, kind: Flowchart.Types.Kind,
+ *     trigger: OptionType(StringType), parcels: OptionType(FloatType), n: OptionType(IntegerType),
+ *     at: DateTimeType, service: StringType, units: ArrayType(StringType),
+ * });
+ * export const scanTransitions = e3.input("flowchart_depot_scans", ArrayType(ScanTransition), variant("value", [
+ *     { id: "l1", src: "ARV", dst: "SCN", kind: variant("planned", null), trigger: none, parcels: some(18460.0), n: some(412n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l2", src: "SCN", dst: "IND", kind: variant("planned", null), trigger: none, parcels: some(7720.0), n: some(171n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l3", src: "IND", dst: "IND", kind: variant("planned", null), trigger: none, parcels: none, n: some(2n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C"] },
+ *     { id: "l4", src: "IND", dst: "CH*", kind: variant("planned", null), trigger: some("route"), parcels: some(17350.0), n: some(386n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["C", "T"] },
+ *     { id: "l5", src: "CH*", dst: "SRD", kind: variant("planned", null), trigger: none, parcels: some(17210.0), n: some(383n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l6", src: "SRD", dst: "HLD", kind: variant("observed", null), trigger: none, parcels: some(1080.0), n: some(24n), at: new Date("2026-06-30T00:00:00Z"), service: "express", units: ["T"] },
+ *     { id: "l7", src: "HLD", dst: "CLR", kind: variant("planned", null), trigger: some("customs"), parcels: some(8350.0), n: some(186n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l8", src: "CLR", dst: "LDD", kind: variant("planned", null), trigger: none, parcels: some(8240.0), n: some(183n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: ["T"] },
+ *     { id: "l9", src: "LDD", dst: "DSP", kind: variant("planned", null), trigger: none, parcels: some(8160.0), n: some(181n), at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: [] },
+ *     { id: "l10", src: "DSP", dst: "DLV", kind: variant("planned", null), trigger: none, parcels: none, n: none, at: new Date("2026-06-30T00:00:00Z"), service: "standard", units: [] },
+ * ]));
+ * export const DepotDecision = StructType({ id: StringType, name: StringType, who: StringType });
+ * export const depotDecisions = e3.input("flowchart_depot_decisions", ArrayType(DepotDecision), variant("value", [
+ *     { id: "route", name: "route", who: "sort-planner" },
+ *     { id: "customs", name: "customs", who: "customs-desk" },
+ * ]));
+ *
+ * const flowchart = East.function([], UIComponentType, (_$) => (
+ *     <Reactive>{$ => {
+ *         const states = $.let(Data.bind(depotStates));
+ *         const scans = $.let(Data.bind(scanTransitions));
+ *         const decisions = $.let(Data.bind(depotDecisions));
+ *         const slice = $.let(Slice.bind("flowchart-depot", scans.read(), {
+ *             fields: {
+ *                 service: { label: "Service" },
+ *                 src: { label: "From" },
+ *                 dst: { label: "To" },
+ *             },
+ *             search: ["src", "dst"],
+ *         }));
+ *         return (
+ *             <Box height="600px">
+ *                 <Flowchart
+ *                     data={Flowchart.over(states.read(), {
+ *                         state: s => ({ key: s.code, label: s.name, lane: s.phase, members: s.slots }),
+ *                         links: Slice.rows(slice),
+ *                         link: l => ({
+ *                             key: l.id, from: l.src, to: l.dst, kind: l.kind, trigger: l.trigger,
+ *                             evidence: { volume: l.parcels, count: l.n, measuredAt: some(l.at), unit: "parcels" },
+ *                         }),
+ *                         lanes: [
+ *                             { key: "intake", label: "Intake" }, { key: "induct", label: "Induct" },
+ *                             { key: "sort", label: "Sort" }, { key: "hold", label: "Hold" },
+ *                             { key: "dispatch", label: "Dispatch" },
+ *                         ],
+ *                         triggers: decisions.read(),
+ *                         trigger: t => ({ key: t.id, label: t.name, owner: t.who }),
+ *                     })}
+ *                     slice={slice} affordances={["filter", "search"]}
+ *                     freshness={{ label: "evidence-2026.06", date: new Date("2026-06-30T00:00:00Z") }}
+ *                     name="scans"
+ *                 />
+ *             </Box>
+ *         );
+ *     }}</Reactive>
+ * ));
+ * ```
+ */
+export function flowchartOver(states, tables) {
+    const config = tables;
+    const stateMapper = config.state;
+    const resolvedStates = stateMapper === undefined
+        ? East.value(states, ArrayType(FlowchartStateType))
+        : mapRows(East.value(states), FlowchartStateType, (row) => {
+            const r = stateMapper(row);
+            if (r instanceof Expr)
+                return East.value(r, FlowchartStateType);
+            return East.value({
+                key: r.key,
+                label: r.label !== undefined ? some(r.label) : none,
+                lane: r.lane,
+                members: r.members !== undefined ? r.members : none,
+                notes: r.notes !== undefined ? some(r.notes) : none,
+            }, FlowchartStateType);
+        });
+    const linkMapper = config.link;
+    const resolvedLinks = linkMapper === undefined
+        ? East.value(config.links, ArrayType(FlowchartLinkType))
+        : mapRows(East.value(config.links), FlowchartLinkType, (row) => {
+            const r = linkMapper(row);
+            if (r instanceof Expr)
+                return East.value(r, FlowchartLinkType);
+            return East.value({
+                key: r.key !== undefined ? some(r.key) : none,
+                from: r.from,
+                to: r.to,
+                kind: kindOption(r.kind),
+                trigger: r.trigger !== undefined ? r.trigger : none,
+                evidence: r.evidence !== undefined
+                    ? some(East.value({
+                        volume: r.evidence.volume !== undefined ? r.evidence.volume : none,
+                        count: r.evidence.count !== undefined ? r.evidence.count : none,
+                        measuredAt: r.evidence.measuredAt !== undefined ? r.evidence.measuredAt : none,
+                        unit: r.evidence.unit !== undefined ? some(r.evidence.unit) : none,
+                    }, FlowchartEvidenceType))
+                    : none,
+            }, FlowchartLinkType);
+        });
+    const laneMapper = config.lane;
+    const lanes = config.lanes;
+    const resolvedLanes = laneMapper !== undefined
+        ? mapRows(East.value(lanes), FlowchartLaneType, (row) => {
+            const r = laneMapper(row);
+            if (r instanceof Expr)
+                return East.value(r, FlowchartLaneType);
+            return East.value({
+                key: r.key,
+                label: r.label !== undefined ? some(r.label) : none,
+            }, FlowchartLaneType);
+        })
+        : Array.isArray(lanes)
+            ? East.value(lanes.map(l => ({
+                key: l.key,
+                label: l.label !== undefined ? some(l.label) : none,
+            })), ArrayType(FlowchartLaneType))
+            : East.value(lanes, ArrayType(FlowchartLaneType));
+    const triggerMapper = config.trigger;
+    const resolvedTriggers = config.triggers === undefined
+        ? East.value([], ArrayType(FlowchartTriggerType))
+        : triggerMapper === undefined
+            ? East.value(config.triggers, ArrayType(FlowchartTriggerType))
+            : mapRows(East.value(config.triggers), FlowchartTriggerType, (row) => {
+                const r = triggerMapper(row);
+                if (r instanceof Expr)
+                    return East.value(r, FlowchartTriggerType);
+                return East.value({
+                    key: r.key,
+                    label: r.label,
+                    letter: r.letter !== undefined ? some(r.letter) : none,
+                    owner: r.owner !== undefined ? some(r.owner) : none,
+                    queue: r.queue !== undefined ? some(East.value(r.queue, ArrayType(StringType))) : none,
+                    outcomes: r.outcomes !== undefined ? some(r.outcomes) : none,
+                }, FlowchartTriggerType);
+            });
+    return East.value({
+        description: none,
+        lanes: resolvedLanes,
+        states: resolvedStates,
+        links: resolvedLinks,
+        triggers: resolvedTriggers,
+    }, FlowchartFlowType);
+}
+//# sourceMappingURL=over.js.map

package/dist/src/flowchart/over.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"over.js","sourceRoot":"","sources":["../../../src/flowchart/over.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EACH,SAAS,EACT,YAAY,EACZ,IAAI,EACJ,IAAI,EACJ,WAAW,EACX,UAAU,EACV,UAAU,EACV,UAAU,EACV,IAAI,EACJ,IAAI,EACJ,OAAO,GAKV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,EACH,qBAAqB,EACrB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,kBAAkB,EAClB,oBAAoB,GACvB,MAAM,YAAY,CAAC;AA0HpB,+EAA+E;AAC/E,iBAAiB;AACjB,+EAA+E;AAE/E,gEAAgE;AAChE,SAAS,UAAU,CACf,IAAsF;IAEtF,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACnF,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC9G,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;AACrE,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyGG;AACH,MAAM,UAAU,aAAa,CAMzB,MAAS,EACT,MAC4E;IAE5E,MAAM,MAAM,GAAG,MAGd,CAAC;IACF,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,cAAc,GAAG,WAAW,KAAK,SAAS;QAC5C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAA2D,EAAE,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACxG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAoC,EAAE,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE;YACzF,MAAM,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,CAAC,YAAY,IAAI;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;YAChE,OAAO,IAAI,CAAC,KAAK,CAAC;gBACd,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;gBACnD,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;gBACnD,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;aACtD,EAAE,kBAAkB,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IAEP,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC/B,MAAM,aAAa,GAAG,UAAU,KAAK,SAAS;QAC1C,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAyD,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC5G,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAoC,EAAE,iBAAiB,EAAE,CAAC,GAAG,EAAE,EAAE;YAC9F,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,YAAY,IAAI;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,KAAK,CAAC;gBACd,GAAG,EAAE,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC7C,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;gBACxB,OAAO,EAAE,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;gBACnD,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS;oBAC9B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;wBACd,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;wBAClE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI;wBAC/D,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI;wBAC9E,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;qBACrE,EAAE,qBAAqB,CAAC,CAAC;oBAC1B,CAAC,CAAC,IAAI;aACb,EAAE,iBAAiB,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;IAEP,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,MAAM,aAAa,GAAG,UAAU,KAAK,SAAS;QAC1C,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAkD,CAAoC,EAAE,iBAAiB,EAAE,CAAC,GAAG,EAAE,EAAE;YACpI,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,CAAC,YAAY,IAAI;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,KAAK,CAAC;gBACd,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;aACtD,EAAE,iBAAiB,CAAC,CAAC;QAC1B,CAAC,CAAC;QACF,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAClB,CAAC,CAAC,IAAI,CAAC,KAAK,CACP,KAAoD,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC5D,GAAG,EAAE,CAAC,CAAC,GAAG;gBACV,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;aACtD,CAAC,CAAC,EACH,SAAS,CAAC,iBAAiB,CAAC,CAAC;YACjC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAyD,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAE9G,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC;IACrC,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS;QAClD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC;QACjD,CAAC,CAAC,aAAa,KAAK,SAAS;YACzB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAA+D,EAAE,SAAS,CAAC,oBAAoB,CAAC,CAAC;YACrH,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAoC,EAAE,oBAAoB,EAAE,CAAC,GAAG,EAAE,EAAE;gBACpG,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;gBAC7B,IAAI,CAAC,YAAY,IAAI;oBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,oBAAoB,CAAC,CAAC;gBAClE,OAAO,IAAI,CAAC,KAAK,CAAC;oBACd,GAAG,EAAE,CAAC,CAAC,GAAG;oBACV,KAAK,EAAE,CAAC,CAAC,KAAK;oBACd,MAAM,EAAE,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;oBACtD,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;oBACnD,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;oBACtF,QAAQ,EAAE,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;iBAC/D,EAAE,oBAAoB,CAAC,CAAC;YAC7B,CAAC,CAAC,CAAC;IAEX,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,aAAa;QACpB,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,aAAa;QACpB,QAAQ,EAAE,gBAAgB;KAC7B,EAAE,iBAAiB,CAAC,CAAC;AAC1B,CAAC"}

package/dist/src/flowchart/patch.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Flowchart.patch(T, { … })` (#1244, `Flowchart Builder Spec.md` §4.3): a
+ * patch over one of a flow's rows — a state, a transition, a lane or a
+ * decision — every field an `Option`, the fields it leaves out `none`. It is
+ * the row patch `Sheet.patch` and `Schedule.patch` build: a library card's
+ * `drop` returns one, the fields a card sets where it lands, and the patch's
+ * type names the row it lands on.
+ *
+ * @packageDocumentation
+ */
+import { type ExprType } from "@elaraai/east";
+import { type SchedulePatchInput, type SchedulePatchOf } from "../schedule/patch.js";
+import { FlowchartLaneType, FlowchartLinkType, FlowchartStateType, FlowchartTriggerType } from "./types.js";
+/** A flow's row types: a state, a transition, a lane and a decision — what `Flowchart.patch` patches. */
+export type FlowchartRowType = FlowchartStateType | FlowchartLinkType | FlowchartLaneType | FlowchartTriggerType;
+/**
+ * The TS type of `Flowchart.Types.Patch(R)`: every field of the row as an `Option`.
+ *
+ * @typeParam R - The row type
+ */
+export type FlowchartPatchOf<R extends FlowchartRowType> = SchedulePatchOf<R>;
+/**
+ * The literal-record input of `Flowchart.patch(R, …)`: every field of the row
+ * optional, each a literal or an expression of the field's type; a field left
+ * out is `none`.
+ *
+ * @typeParam R - The row type
+ */
+export type FlowchartPatchInput<R extends FlowchartRowType> = SchedulePatchInput<R>;
+/**
+ * `Flowchart.Types.Patch(R)`: a patch over one of a flow's rows — every field
+ * of the row as an `Option`, `none` leaving the row's field as it is.
+ *
+ * @typeParam R - The row type
+ * @param rowType - The row type: `Flowchart.Types.State`, `Link`, `Lane` or `Trigger`
+ * @returns The patch type
+ * @throws {Error} When the type is none of a flow's rows
+ */
+export declare function FlowchartPatchTypeFor<R extends FlowchartRowType>(rowType: R): FlowchartPatchOf<R>;
+/**
+ * Builds a patch over one of a flow's rows — `Flowchart.patch(R, { … })`: the
+ * fields it sets, every other field `none`. A library card's `drop` returns
+ * one: what a state template seeds the state it adds with, what a transition
+ * template sets on the transition it lands on, and what an author's card sets
+ * on the row its patch's type names.
+ *
+ * @remarks
+ * It is the row patch `Sheet.patch` builds, over a flow's own rows. A field
+ * that is an `Option` takes an `Option`: `label: some("Sorted")` sets a
+ * state's label, `label: none` clears it, and leaving `label` out leaves it as
+ * it is.
+ *
+ * @typeParam R - The row type
+ * @param rowType - The row type: `Flowchart.Types.State`, `Link`, `Lane` or `Trigger`
+ * @param record - The fields to set, each a literal or an expression of the field's type
+ * @returns An expression of `Flowchart.Types.Patch(R)`
+ * @throws {Error} When the type is none of a flow's rows
+ */
+export declare function flowchartPatch<R extends FlowchartRowType>(rowType: R, record: FlowchartPatchInput<R>): ExprType<FlowchartPatchOf<R>>;
+//# sourceMappingURL=patch.d.ts.map

package/dist/src/flowchart/patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.d.ts","sourceRoot":"","sources":["../../../src/flowchart/patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;GASG;AAEH,OAAO,EAAyC,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AACrF,OAAO,EAAuC,KAAK,kBAAkB,EAAE,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAE5G,yGAAyG;AACzG,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAEjH;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,gBAAgB,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC;AAE9E;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,gBAAgB,IAAI,kBAAkB,CAAC,CAAC,CAAC,CAAC;AAiBpF;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,gBAAgB,EAAE,OAAO,EAAE,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAGjG;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,gBAAgB,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAGpI"}

package/dist/src/flowchart/patch.js

@@ -0,0 +1,67 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Flowchart.patch(T, { … })` (#1244, `Flowchart Builder Spec.md` §4.3): a
+ * patch over one of a flow's rows — a state, a transition, a lane or a
+ * decision — every field an `Option`, the fields it leaves out `none`. It is
+ * the row patch `Sheet.patch` and `Schedule.patch` build: a library card's
+ * `drop` returns one, the fields a card sets where it lands, and the patch's
+ * type names the row it lands on.
+ *
+ * @packageDocumentation
+ */
+import { isTypeEqual, printType } from "@elaraai/east";
+import { SchedulePatchTypeFor, schedulePatch } from "../schedule/patch.js";
+import { FlowchartLaneType, FlowchartLinkType, FlowchartStateType, FlowchartTriggerType } from "./types.js";
+/** The row types a patch is over, each with the name a refusal gives it. */
+const ROWS = [
+    [FlowchartStateType, "State"],
+    [FlowchartLinkType, "Link"],
+    [FlowchartLaneType, "Lane"],
+    [FlowchartTriggerType, "Trigger"],
+];
+/** Refuses a type that is none of a flow's rows, naming where it was given. */
+function checkRow(rowType, where) {
+    if (!ROWS.some(([row]) => isTypeEqual(row, rowType))) {
+        throw new Error(`${where}: patches one of a flow's rows — Flowchart.Types.${ROWS.map(([, name]) => name).join(", Flowchart.Types.")} — and this is ${printType(rowType)}`);
+    }
+}
+/**
+ * `Flowchart.Types.Patch(R)`: a patch over one of a flow's rows — every field
+ * of the row as an `Option`, `none` leaving the row's field as it is.
+ *
+ * @typeParam R - The row type
+ * @param rowType - The row type: `Flowchart.Types.State`, `Link`, `Lane` or `Trigger`
+ * @returns The patch type
+ * @throws {Error} When the type is none of a flow's rows
+ */
+export function FlowchartPatchTypeFor(rowType) {
+    checkRow(rowType, "Flowchart.Types.Patch");
+    return SchedulePatchTypeFor(rowType);
+}
+/**
+ * Builds a patch over one of a flow's rows — `Flowchart.patch(R, { … })`: the
+ * fields it sets, every other field `none`. A library card's `drop` returns
+ * one: what a state template seeds the state it adds with, what a transition
+ * template sets on the transition it lands on, and what an author's card sets
+ * on the row its patch's type names.
+ *
+ * @remarks
+ * It is the row patch `Sheet.patch` builds, over a flow's own rows. A field
+ * that is an `Option` takes an `Option`: `label: some("Sorted")` sets a
+ * state's label, `label: none` clears it, and leaving `label` out leaves it as
+ * it is.
+ *
+ * @typeParam R - The row type
+ * @param rowType - The row type: `Flowchart.Types.State`, `Link`, `Lane` or `Trigger`
+ * @param record - The fields to set, each a literal or an expression of the field's type
+ * @returns An expression of `Flowchart.Types.Patch(R)`
+ * @throws {Error} When the type is none of a flow's rows
+ */
+export function flowchartPatch(rowType, record) {
+    checkRow(rowType, "Flowchart.patch");
+    return schedulePatch(rowType, record);
+}
+//# sourceMappingURL=patch.js.map

package/dist/src/flowchart/patch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.js","sourceRoot":"","sources":["../../../src/flowchart/patch.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;GASG;AAEH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAgC,MAAM,eAAe,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAiD,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAqB5G,4EAA4E;AAC5E,MAAM,IAAI,GAA6C;IACnD,CAAC,kBAAkB,EAAE,OAAO,CAAC;IAC7B,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAC3B,CAAC,iBAAiB,EAAE,MAAM,CAAC;IAC3B,CAAC,oBAAoB,EAAE,SAAS,CAAC;CACpC,CAAC;AAEF,+EAA+E;AAC/E,SAAS,QAAQ,CAAC,OAAiB,EAAE,KAAa;IAC9C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,oDAAoD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,kBAAkB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/K,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAA6B,OAAU;IACxE,QAAQ,CAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC;IAC3C,OAAO,oBAAoB,CAAC,OAAO,CAAC,CAAC;AACzC,CAAC;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,cAAc,CAA6B,OAAU,EAAE,MAA8B;IACjG,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IACrC,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAC1C,CAAC"}