@elaraai/e3-ui 1.0.103 → 1.0.104

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

@@ -1,227 +0,0 @@
-/**
- * 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 — is shown this way, as
- * `<Flowchart data={Flowchart.over(…)}>`, as `Plan.over` lays rows out over a
- * dataset. The flowchart narrows no table of the host's (#1346): a task
- * narrows the rows it builds a flow from.
- *
- * @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`. The flowchart never narrows it (#1346): its `slice` narrows only
- * the templates lists and the tabs that name a source, so a task narrows the
- * rows a flow is built from, before `Flowchart.over` reads them.
- *
- * @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, 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));
- *         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: scans.read(),
- *                         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 }),
- *                     })}
- *                     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

@@ -1 +0,0 @@
-{"version":3,"file":"over.d.ts","sourceRoot":"","sources":["../../../src/flowchart/over.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiGG;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

@@ -1,213 +0,0 @@
-/**
- * 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 — is shown this way, as
- * `<Flowchart data={Flowchart.over(…)}>`, as `Plan.over` lays rows out over a
- * dataset. The flowchart narrows no table of the host's (#1346): a task
- * narrows the rows it builds a flow from.
- *
- * @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`. The flowchart never narrows it (#1346): its `slice` narrows only
- * the templates lists and the tabs that name a source, so a task narrows the
- * rows a flow is built from, before `Flowchart.over` reads them.
- *
- * @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, 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));
- *         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: scans.read(),
- *                         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 }),
- *                     })}
- *                     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

@@ -1 +0,0 @@
-{"version":3,"file":"over.js","sourceRoot":"","sources":["../../../src/flowchart/over.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;GAWG;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiGG;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

@@ -1,64 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,67 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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"}