@elaraai/e3-ui 1.0.0

package/dist/src/ontology.js

@@ -0,0 +1,311 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Ontology component — graph editor for an `OntologyType`-bound dataset.
+ *
+ * @remarks
+ * The Ontology card surfaces a ReactFlow-driven node/link graph editor over
+ * the value of a single {@link Data.bind} binding whose source dataset is
+ * typed as {@link OntologyType}. Mutations (add / delete / reconnect /
+ * update node) write the whole next-ontology back through `binding.write`,
+ * so the same staged-buffer + commit / discard / merge machinery that
+ * powers `Diff` is reused unchanged.
+ *
+ * Declared via the `EastUI.component` extension API — the React renderer
+ * lives in `@elaraai/e3-ui-components` and is wired via
+ * `implementUIComponent(OntologyComponent, EastChakraOntology)` at module
+ * load time.
+ *
+ * @packageDocumentation
+ */
+import { East, NullType, StringType, DateTimeType, BooleanType, ArrayType, StructType, VariantType, OptionType, FunctionType, none, some, variant, } from '@elaraai/east';
+import { EastUI, DensityType } from '@elaraai/east-ui';
+import { DiffBindingType } from './data.js';
+// ============================================================================
+// Ontology value schema — nodes, links, metadata.
+// ============================================================================
+/**
+ * Discriminator for the kind of business element a node represents.
+ *
+ * @property process - A unit of execution / activity.
+ * @property resource - A consumable or capacity tracked by the business.
+ * @property kpi - A measurable indicator.
+ * @property decision - A point at which the business chooses among options.
+ * @property data - A dataset or signal flowing through the business.
+ * @property objective - A strategic goal the business pursues.
+ * @property policy - A rule constraining other elements.
+ * @property document - Reference material — a procedure, contract, spec.
+ * @property computation - A derived quantity / model output.
+ * @property group - A visual container for related nodes (no semantics).
+ */
+export const NodeKindType = VariantType({
+    process: NullType,
+    resource: NullType,
+    kpi: NullType,
+    decision: NullType,
+    data: NullType,
+    objective: NullType,
+    policy: NullType,
+    document: NullType,
+    computation: NullType,
+    group: NullType,
+});
+/**
+ * Discriminator for the relationship semantics between two nodes.
+ *
+ * @property uses - Source uses target as input.
+ * @property produces - Source produces target as output.
+ * @property results_in - Source's outcome culminates in target.
+ * @property gets_data_from - Source reads data from target.
+ * @property inserts_data_into - Source writes data into target.
+ * @property informs - Source provides context that shapes target.
+ * @property drives - Source motivates / triggers target.
+ * @property constrains - Source limits the behaviour of target.
+ * @property defines - Source specifies the definition of target.
+ * @property executes - Source carries out target.
+ * @property references - Source points at target for documentation.
+ * @property validates - Source checks target for correctness.
+ * @property measures - Source quantifies target.
+ * @property simulates - Source models target.
+ * @property contains - Source visually groups target (for `group` nodes).
+ * @property used_by - Inverse of `uses`.
+ */
+export const LinkKindType = VariantType({
+    uses: NullType,
+    produces: NullType,
+    results_in: NullType,
+    gets_data_from: NullType,
+    inserts_data_into: NullType,
+    informs: NullType,
+    drives: NullType,
+    constrains: NullType,
+    defines: NullType,
+    executes: NullType,
+    references: NullType,
+    validates: NullType,
+    measures: NullType,
+    simulates: NullType,
+    contains: NullType,
+    used_by: NullType,
+});
+/**
+ * A directed relationship between two nodes.
+ *
+ * @property id - Stable identifier for the link.
+ * @property source - `id` of the source node.
+ * @property target - `id` of the target node.
+ * @property type - The relationship semantics — see {@link LinkKindType}.
+ */
+export const LinkType = StructType({
+    id: StringType,
+    source: StringType,
+    target: StringType,
+    type: LinkKindType,
+});
+/**
+ * A node in the ontology graph.
+ *
+ * @property id - Stable identifier for the node.
+ * @property name - Display name.
+ * @property description - Optional long-form description.
+ * @property type - Discriminator — see {@link NodeKindType}.
+ */
+export const NodeType = StructType({
+    id: StringType,
+    name: StringType,
+    description: OptionType(StringType),
+    type: NodeKindType,
+});
+/**
+ * Versioning + provenance metadata attached to an ontology value.
+ *
+ * @property version - Semver string identifying the schema revision.
+ * @property created - Timestamp when this ontology was first written.
+ * @property updated - Timestamp of the most recent edit.
+ * @property description - Optional caption shown beside the editor header.
+ */
+export const OntologyMetadataType = StructType({
+    version: StringType,
+    created: DateTimeType,
+    updated: DateTimeType,
+    description: OptionType(StringType),
+});
+/**
+ * The full ontology value carried by an `OntologyType`-typed dataset.
+ *
+ * @property nodes - Every node in the graph.
+ * @property links - Every relationship between nodes. Each link's `source`
+ *   and `target` must match a node's `id`; orphaned links are surfaced as
+ *   warnings in the editor.
+ * @property metadata - Optional versioning + provenance metadata.
+ */
+export const OntologyType = StructType({
+    nodes: ArrayType(NodeType),
+    links: ArrayType(LinkType),
+    metadata: OptionType(OntologyMetadataType),
+});
+// ============================================================================
+// Sub-types — visual style escape hatches.
+// ============================================================================
+/**
+ * Visual style escape hatches for the Ontology editor. Every visible surface
+ * is tokenable; defaults come from the host's design system (Elara AI bsys
+ * tokens — see the renderer in `@elaraai/e3-ui-components`).
+ *
+ * @property nodeBackground - Card background for non-selected nodes.
+ * @property nodeBorderColor - Card border colour for non-selected nodes.
+ * @property nodeSelectedBackground - Card background when a node is
+ *   focused / selected.
+ * @property nodeSelectedBorderColor - Card border colour when a node is
+ *   focused / selected.
+ * @property nodeAccentColor - Default colour for the 2px top stripe when no
+ *   kind-specific accent is defined. Per-kind accents come from the
+ *   renderer's bsys palette and are not exposed here.
+ * @property edgeColor - Default stroke for edges.
+ * @property edgeEmphasizedColor - Stroke for edges in the hover / selected /
+ *   focused states.
+ * @property labelBackground - Background for edge label pills.
+ * @property labelBorderColor - Border for edge label pills.
+ * @property panelBackground - Background for the outer editor frame.
+ * @property panelBorderColor - Border for the outer editor frame.
+ * @property headerBackground - Background for the eyebrow header strip.
+ * @property footerBackground - Background for the commit-bar footer.
+ * @property gridColor - Canvas grid line colour (major + minor).
+ * @property minimapMaskColor - Mask colour for the off-screen region in
+ *   the minimap.
+ */
+export const OntologyStyleType = StructType({
+    nodeBackground: OptionType(StringType),
+    nodeBorderColor: OptionType(StringType),
+    nodeSelectedBackground: OptionType(StringType),
+    nodeSelectedBorderColor: OptionType(StringType),
+    nodeAccentColor: OptionType(StringType),
+    edgeColor: OptionType(StringType),
+    edgeEmphasizedColor: OptionType(StringType),
+    labelBackground: OptionType(StringType),
+    labelBorderColor: OptionType(StringType),
+    panelBackground: OptionType(StringType),
+    panelBorderColor: OptionType(StringType),
+    headerBackground: OptionType(StringType),
+    footerBackground: OptionType(StringType),
+    gridColor: OptionType(StringType),
+    minimapMaskColor: OptionType(StringType),
+});
+// ============================================================================
+// Re-export the binding descriptor — same opaque carrier the Diff card uses.
+// ============================================================================
+/** Re-exported from {@link Data}; see {@link DiffBindingType}. */
+export { DiffBindingType } from './data.js';
+// ============================================================================
+// Ontology payload — IR shape consumed by the renderer.
+// ============================================================================
+/**
+ * Schema for the `Ontology` extension component. Internal IR shape — the
+ * developer-facing factory `Ontology.Root` accepts a {@link Data.bind}
+ * handle's `binding` field and forwards it as `binding`.
+ *
+ * @property binding - The binding the editor reads + writes. The
+ *   underlying source dataset must be typed as {@link OntologyType};
+ *   this is a developer-side contract (the IR carrier itself is type-erased).
+ * @property readonly - Render without per-node / per-link mutation
+ *   surfaces. The footer commit-bar and the property drawer still render
+ *   but Save / Delete / Add-node are hidden, and the canvas blocks
+ *   drag-handles + context menus. Default `false`.
+ * @property hideMiniMap - Suppress the minimap overlay. None ⇒ false.
+ * @property hideSearch - Suppress the search field in the toolbar.
+ *   None ⇒ false.
+ * @property density - Information-density preset (`comfortable` | `compact`
+ *   | `condensed`). Defaults to `comfortable`.
+ * @property onCommitted - Fired after a successful commit (the bound
+ *   dataset has been updated).
+ * @property onDiscarded - Fired after a successful discard (the staging
+ *   buffer was dropped).
+ * @property style - Visual style escape hatches — see
+ *   {@link OntologyStyleType}.
+ */
+export const OntologyPayloadType = StructType({
+    binding: DiffBindingType,
+    readonly: OptionType(BooleanType),
+    hideMiniMap: OptionType(BooleanType),
+    hideSearch: OptionType(BooleanType),
+    density: OptionType(DensityType),
+    onCommitted: OptionType(FunctionType([], NullType)),
+    onDiscarded: OptionType(FunctionType([], NullType)),
+    style: OptionType(OntologyStyleType),
+});
+/**
+ * Internal `EastUI.component` carrier. Renderers register against this in
+ * `@elaraai/e3-ui-components`. Most callers should use {@link Ontology.Root}
+ * (which wraps this with the handle-friendly API) rather than touching
+ * `OntologyComponent` directly.
+ */
+export const OntologyComponent = EastUI.component('Ontology', OntologyPayloadType, { optional: true });
+/**
+ * The Ontology component namespace. Surfaces a graph editor over an
+ * `OntologyType`-bound dataset, with the same staged-buffer + merge-aware
+ * commit pipeline that powers {@link Diff}.
+ *
+ * @remarks
+ * Use `Ontology.Root({ binding: view.binding })` to render the editor.
+ * The `Component` property is the internal {@link EastUI.component}
+ * carrier that renderers register against — most callers shouldn't need
+ * it.
+ */
+export const Ontology = {
+    /**
+     * Build an Ontology editor. Renders the bound graph as a ReactFlow
+     * canvas with node/link mutation surfaces wired through the binding.
+     *
+     * @param options - {@link OntologyOptions}. Only `binding` is required;
+     *   the rest default to absent / interactive.
+     * @returns An East expression of {@link UIComponentType} representing
+     *   the Ontology editor.
+     *
+     * @example
+     * ```ts
+     * import { East } from '@elaraai/east';
+     * import { Reactive, UIComponentType } from '@elaraai/east-ui';
+     * import { Data, Ontology, OntologyType } from '@elaraai/e3-ui';
+     * import * as e3 from '@elaraai/e3';
+     *
+     * const ontologyInput = e3.input('supply_chain', OntologyType, {
+     *   nodes: [], links: [], metadata: { type: 'none', value: null },
+     * });
+     *
+     * const editor = East.function([], UIComponentType, (_$) =>
+     *   Reactive.Root(East.function([], UIComponentType, $ => {
+     *     const view = $.let(Data.bind([OntologyType], ontologyInput.path));
+     *     return Ontology.Root({ binding: view.binding });
+     *   })),
+     * );
+     * ```
+     */
+    Root(options) {
+        const density = options.density === undefined
+            ? none
+            : typeof options.density === 'string'
+                ? some(East.value(variant(options.density, null), DensityType))
+                : options.density;
+        return OntologyComponent.Root({
+            binding: options.binding,
+            readonly: options.readonly ?? none,
+            hideMiniMap: options.hideMiniMap ?? none,
+            hideSearch: options.hideSearch ?? none,
+            density,
+            onCommitted: options.onCommitted ?? none,
+            onDiscarded: options.onDiscarded ?? none,
+            style: options.style ?? none,
+        });
+    },
+    /**
+     * The internal {@link EastUI.component} carrier. Renderers register
+     * against this in `@elaraai/e3-ui-components` via
+     * `implementUIComponent(Ontology.Component, EastChakraOntology)`.
+     * Most callers should use {@link Ontology.Root} (the handle-friendly
+     * factory) and never touch this directly.
+     */
+    Component: OntologyComponent,
+};
+//# sourceMappingURL=ontology.js.map

package/dist/src/ontology.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology.js","sourceRoot":"","sources":["../../src/ontology.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACH,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,WAAW,EACX,SAAS,EACT,UAAU,EACV,WAAW,EACX,UAAU,EACV,YAAY,EACZ,IAAI,EACJ,IAAI,EACJ,OAAO,GAGV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,MAAM,EAAE,WAAW,EAA6C,MAAM,kBAAkB,CAAC;AAElG,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C,+EAA+E;AAC/E,kDAAkD;AAClD,+EAA+E;AAE/E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC;IACpC,OAAO,EAAE,QAAQ;IACjB,QAAQ,EAAE,QAAQ;IAClB,GAAG,EAAE,QAAQ;IACb,QAAQ,EAAE,QAAQ;IAClB,IAAI,EAAE,QAAQ;IACd,SAAS,EAAE,QAAQ;IACnB,MAAM,EAAE,QAAQ;IAChB,QAAQ,EAAE,QAAQ;IAClB,WAAW,EAAE,QAAQ;IACrB,KAAK,EAAE,QAAQ;CAClB,CAAC,CAAC;AAIH;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC;IACpC,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,QAAQ;IAClB,UAAU,EAAE,QAAQ;IACpB,cAAc,EAAE,QAAQ;IACxB,iBAAiB,EAAE,QAAQ;IAC3B,OAAO,EAAE,QAAQ;IACjB,MAAM,EAAE,QAAQ;IAChB,UAAU,EAAE,QAAQ;IACpB,OAAO,EAAE,QAAQ;IACjB,QAAQ,EAAE,QAAQ;IAClB,UAAU,EAAE,QAAQ;IACpB,SAAS,EAAE,QAAQ;IACnB,QAAQ,EAAE,QAAQ;IAClB,SAAS,EAAE,QAAQ;IACnB,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,QAAQ;CACpB,CAAC,CAAC;AAIH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAC;IAC/B,EAAE,EAAE,UAAU;IACd,MAAM,EAAE,UAAU;IAClB,MAAM,EAAE,UAAU;IAClB,IAAI,EAAE,YAAY;CACrB,CAAC,CAAC;AAIH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAC;IAC/B,EAAE,EAAE,UAAU;IACd,IAAI,EAAE,UAAU;IAChB,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,EAAE,YAAY;CACrB,CAAC,CAAC;AAIH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;IAC3C,OAAO,EAAE,UAAU;IACnB,OAAO,EAAE,YAAY;IACrB,OAAO,EAAE,YAAY;IACrB,WAAW,EAAE,UAAU,CAAC,UAAU,CAAC;CACtC,CAAC,CAAC;AAIH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;IACnC,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC;IAC1B,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC;IAC1B,QAAQ,EAAE,UAAU,CAAC,oBAAoB,CAAC;CAC7C,CAAC,CAAC;AAIH,+EAA+E;AAC/E,2CAA2C;AAC3C,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,cAAc,EAAW,UAAU,CAAC,UAAU,CAAC;IAC/C,eAAe,EAAU,UAAU,CAAC,UAAU,CAAC;IAC/C,sBAAsB,EAAG,UAAU,CAAC,UAAU,CAAC;IAC/C,uBAAuB,EAAE,UAAU,CAAC,UAAU,CAAC;IAC/C,eAAe,EAAU,UAAU,CAAC,UAAU,CAAC;IAC/C,SAAS,EAAgB,UAAU,CAAC,UAAU,CAAC;IAC/C,mBAAmB,EAAM,UAAU,CAAC,UAAU,CAAC;IAC/C,eAAe,EAAU,UAAU,CAAC,UAAU,CAAC;IAC/C,gBAAgB,EAAS,UAAU,CAAC,UAAU,CAAC;IAC/C,eAAe,EAAU,UAAU,CAAC,UAAU,CAAC;IAC/C,gBAAgB,EAAS,UAAU,CAAC,UAAU,CAAC;IAC/C,gBAAgB,EAAS,UAAU,CAAC,UAAU,CAAC;IAC/C,gBAAgB,EAAS,UAAU,CAAC,UAAU,CAAC;IAC/C,SAAS,EAAgB,UAAU,CAAC,UAAU,CAAC;IAC/C,gBAAgB,EAAS,UAAU,CAAC,UAAU,CAAC;CAClD,CAAC,CAAC;AAIH,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAE/E,kEAAkE;AAClE,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAE5C,+EAA+E;AAC/E,wDAAwD;AACxD,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,UAAU,CAAC;IAC1C,OAAO,EAAO,eAAe;IAC7B,QAAQ,EAAM,UAAU,CAAC,WAAW,CAAC;IACrC,WAAW,EAAG,UAAU,CAAC,WAAW,CAAC;IACrC,UAAU,EAAI,UAAU,CAAC,WAAW,CAAC;IACrC,OAAO,EAAO,UAAU,CAAC,WAAW,CAAC;IACrC,WAAW,EAAG,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACpD,WAAW,EAAG,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACpD,KAAK,EAAS,UAAU,CAAC,iBAAiB,CAAC;CAC9C,CAAC,CAAC;AAIH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,SAAS,CAAC,UAAU,EAAE,mBAAmB,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;AA2CvG;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG;IACpB;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,IAAI,CAAC,OAAwB;QACzB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS;YACzC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,OAAO,OAAO,CAAC,OAAO,KAAK,QAAQ;gBACjC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;gBAC/D,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1B,OAAO,iBAAiB,CAAC,IAAI,CAAC;YAC1B,OAAO,EAAM,OAAO,CAAC,OAAO;YAC5B,QAAQ,EAAK,OAAO,CAAC,QAAQ,IAAO,IAAI;YACxC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI;YACxC,UAAU,EAAG,OAAO,CAAC,UAAU,IAAK,IAAI;YACxC,OAAO;YACP,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI;YACxC,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI;YACxC,KAAK,EAAQ,OAAO,CAAC,KAAK,IAAU,IAAI;SAC3C,CAAC,CAAC;IACP,CAAC;IACD;;;;;;OAMG;IACH,SAAS,EAAE,iBAAiB;CACtB,CAAC"}

package/dist/src/ui.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `ui()` — first-class UI task for e3.
+ *
+ * Wraps `e3.task()` with `kind: "ui"` and a manifest auto-derived from the
+ * IR by inspecting `Data.bind` calls. Compute-time inputs (passed to the fn
+ * by the runner) are also added to the manifest's reads.
+ *
+ * @packageDocumentation
+ */
+import { type DatasetDef, type TaskDef } from '@elaraai/e3';
+import type { UIComponentType } from '@elaraai/east-ui';
+import type { EastType, CallableFunctionExpr, CallableAsyncFunctionExpr } from '@elaraai/east';
+/**
+ * Create a UI task — an e3 task that produces a UIComponentType value.
+ *
+ * The task's manifest combines:
+ * - **Compute-time reads** — every dataset in `inputs` (the runner passes
+ *   their values to `fn` as positional args).
+ * - **Reactive reads** — every `Data.bind(path).read()` / `.has()` call in
+ *   the IR (paths derived by static analysis).
+ * - **Reactive writes** — every `Data.bind(path).write()` call in the IR.
+ *
+ * Paths used in `Data.bind` must be JS-side constants captured at IR-build
+ * time (typically `e3.input(name, T).path`). Dynamic paths throw.
+ *
+ * @example
+ * ```ts
+ * import e3 from '@elaraai/e3';
+ * import { ui, Data } from '@elaraai/e3-ui';
+ * import { FloatType, East } from '@elaraai/east';
+ * import { Reactive, Slider, Stat, Text, UIComponentType } from '@elaraai/east-ui';
+ *
+ * const threshold = e3.input('threshold', FloatType, 50.0);
+ *
+ * // No compute-time inputs (fn arg list is []), reactive bindings only:
+ * const dashboard = ui('dashboard', [], East.function([], UIComponentType, (_$) =>
+ *   Reactive.Root(East.function([], UIComponentType, $ => {
+ *     const t = $.let(Data.bind([FloatType], threshold.path));
+ *     return Slider.Root($.let(t.read()), { onChange: t.write });
+ *   }))
+ * ));
+ * // Manifest derived: { reads: [threshold.path], writes: [threshold.path] }
+ *
+ * // With a compute-time input that fn receives at start:
+ * const greeting = ui('greeting', [name], East.function([StringType], UIComponentType,
+ *   ($, n) => Text.Root(East.str`Hello, ${n}!`)));
+ * // Manifest: { reads: [name.path], writes: [] }
+ * ```
+ */
+export declare function ui<Inputs extends readonly DatasetDef[], O extends EastType = typeof UIComponentType>(name: string, inputs: [...Inputs], fn: CallableFunctionExpr<any, O> | CallableAsyncFunctionExpr<any, O>, options?: {
+    runner?: string[];
+}): TaskDef;
+//# sourceMappingURL=ui.d.ts.map

package/dist/src/ui.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../src/ui.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAEH,OAAO,EAAQ,KAAK,UAAU,EAAE,KAAK,OAAO,EAAE,MAAM,aAAa,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EACV,QAAQ,EACR,oBAAoB,EACpB,yBAAyB,EAC1B,MAAM,eAAe,CAAC;AAKvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAgB,EAAE,CAChB,MAAM,SAAS,SAAS,UAAU,EAAE,EACpC,CAAC,SAAS,QAAQ,GAAG,OAAO,eAAe,EAE3C,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EACnB,EAAE,EAAE,oBAAoB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,CAAC,CAAC,EACpE,OAAO,CAAC,EAAE;IACR,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;CACnB,GACA,OAAO,CAgBT"}

package/dist/src/ui.js

@@ -0,0 +1,72 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `ui()` — first-class UI task for e3.
+ *
+ * Wraps `e3.task()` with `kind: "ui"` and a manifest auto-derived from the
+ * IR by inspecting `Data.bind` calls. Compute-time inputs (passed to the fn
+ * by the runner) are also added to the manifest's reads.
+ *
+ * @packageDocumentation
+ */
+import { task } from '@elaraai/e3';
+import { encodeManifest } from './manifest.js';
+import { deriveManifest } from './derive.js';
+/**
+ * Create a UI task — an e3 task that produces a UIComponentType value.
+ *
+ * The task's manifest combines:
+ * - **Compute-time reads** — every dataset in `inputs` (the runner passes
+ *   their values to `fn` as positional args).
+ * - **Reactive reads** — every `Data.bind(path).read()` / `.has()` call in
+ *   the IR (paths derived by static analysis).
+ * - **Reactive writes** — every `Data.bind(path).write()` call in the IR.
+ *
+ * Paths used in `Data.bind` must be JS-side constants captured at IR-build
+ * time (typically `e3.input(name, T).path`). Dynamic paths throw.
+ *
+ * @example
+ * ```ts
+ * import e3 from '@elaraai/e3';
+ * import { ui, Data } from '@elaraai/e3-ui';
+ * import { FloatType, East } from '@elaraai/east';
+ * import { Reactive, Slider, Stat, Text, UIComponentType } from '@elaraai/east-ui';
+ *
+ * const threshold = e3.input('threshold', FloatType, 50.0);
+ *
+ * // No compute-time inputs (fn arg list is []), reactive bindings only:
+ * const dashboard = ui('dashboard', [], East.function([], UIComponentType, (_$) =>
+ *   Reactive.Root(East.function([], UIComponentType, $ => {
+ *     const t = $.let(Data.bind([FloatType], threshold.path));
+ *     return Slider.Root($.let(t.read()), { onChange: t.write });
+ *   }))
+ * ));
+ * // Manifest derived: { reads: [threshold.path], writes: [threshold.path] }
+ *
+ * // With a compute-time input that fn receives at start:
+ * const greeting = ui('greeting', [name], East.function([StringType], UIComponentType,
+ *   ($, n) => Text.Root(East.str`Hello, ${n}!`)));
+ * // Manifest: { reads: [name.path], writes: [] }
+ * ```
+ */
+export function ui(name, inputs, fn, options) {
+    const derived = deriveManifest(fn);
+    const inputPaths = inputs.map(i => i.path);
+    const seen = new Set();
+    const paths = [];
+    for (const p of [...inputPaths, ...derived.paths]) {
+        const k = p.map(s => `${s.type}:${s.value}`).join('/');
+        if (seen.has(k))
+            continue;
+        seen.add(k);
+        paths.push(p);
+    }
+    return task(name, inputs, fn, {
+        runner: options?.runner ?? ['east-c', 'run'],
+        kind: 'ui',
+        metadata: encodeManifest({ paths }),
+    });
+}
+//# sourceMappingURL=ui.js.map

package/dist/src/ui.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ui.js","sourceRoot":"","sources":["../../src/ui.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAEH,OAAO,EAAE,IAAI,EAAiC,MAAM,aAAa,CAAC;AAQlE,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,EAAE,CAIhB,IAAY,EACZ,MAAmB,EACnB,EAAoE,EACpE,OAEC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,UAAU,GAAe,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,EAAE,MAAa,EAAE,EAAS,EAAE;QAC1C,MAAM,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC;QAC5C,IAAI,EAAE,IAAI;QACV,QAAQ,EAAE,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC;KACpC,CAAC,CAAC;AACL,CAAC"}

package/dist/src/utils.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Shared JS-side utilities for e3-ui task factories.
+ *
+ * These run at IR-build time, never inside East function bodies.
+ *
+ * @packageDocumentation
+ */
+import type { TreePath } from '@elaraai/e3-types';
+/**
+ * Deduplicate a list of `TreePath`s, preserving first-seen order.
+ *
+ * Two paths are equal iff their segments match by both `type` and `value`.
+ * Used by task factories to merge compute-time input paths with reactive
+ * paths derived from the IR without double-counting overlaps.
+ */
+export declare function dedupePaths(paths: TreePath[]): TreePath[];
+//# sourceMappingURL=utils.d.ts.map

package/dist/src/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAElD;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,QAAQ,EAAE,CAUzD"}

package/dist/src/utils.js

@@ -0,0 +1,24 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * Deduplicate a list of `TreePath`s, preserving first-seen order.
+ *
+ * Two paths are equal iff their segments match by both `type` and `value`.
+ * Used by task factories to merge compute-time input paths with reactive
+ * paths derived from the IR without double-counting overlaps.
+ */
+export function dedupePaths(paths) {
+    const seen = new Set();
+    const result = [];
+    for (const p of paths) {
+        const k = p.map(s => `${s.type}:${s.value}`).join('/');
+        if (seen.has(k))
+            continue;
+        seen.add(k);
+        result.push(p);
+    }
+    return result;
+}
+//# sourceMappingURL=utils.js.map

package/dist/src/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAYH;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,KAAiB;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}

package/dist/test/data.examples.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+import { FloatType, IntegerType, StringType, variant } from "@elaraai/east";
+import * as e3 from "@elaraai/e3";
+export declare const thresholdInput: e3.DatasetDef<FloatType, [variant<"field", "inputs">, variant<"field", "threshold">]>;
+export declare const thresholdPatchInput: e3.DatasetDef<import("@elaraai/east").EastType, [variant<"field", "inputs">, variant<"field", "threshold_patch">]>;
+export declare const countInput: e3.DatasetDef<IntegerType, [variant<"field", "inputs">, variant<"field", "count">]>;
+export declare const nameInput: e3.DatasetDef<StringType, [variant<"field", "inputs">, variant<"field", "name">]>;
+export declare const dataBindFloat: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindSliderWriteback: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindInteger: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindStringReset: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindHasGuard: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindStagedFloat: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindStagedSliderWrite: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindStagedCommitDiscard: import("@elaraai/east").ExampleDef<[], any>;
+export declare const dataBindStagedOriginalVsRead: import("@elaraai/east").ExampleDef<[], any>;
+//# sourceMappingURL=data.examples.d.ts.map

package/dist/test/data.examples.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.examples.d.ts","sourceRoot":"","sources":["../../test/data.examples.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAQ,SAAS,EAAgB,WAAW,EAAY,UAAU,EAAa,OAAO,EAAW,MAAM,eAAe,CAAC;AAG9H,OAAO,KAAK,EAAE,MAAM,aAAa,CAAC;AAElC,eAAO,MAAM,cAAc,uFAAoD,CAAC;AAChF,eAAO,MAAM,mBAAmB,oHAAgF,CAAC;AACjH,eAAO,MAAM,UAAU,qFAA8C,CAAC;AACtE,eAAO,MAAM,SAAS,mFAA+C,CAAC;AAEtE,eAAO,MAAM,aAAa,6CAWxB,CAAC;AAEH,eAAO,MAAM,uBAAuB,6CAiBlC,CAAC;AAEH,eAAO,MAAM,eAAe,6CAW1B,CAAC;AAEH,eAAO,MAAM,mBAAmB,6CAiB9B,CAAC;AAEH,eAAO,MAAM,gBAAgB,6CAe3B,CAAC;AAEH,eAAO,MAAM,mBAAmB,6CAW9B,CAAC;AAEH,eAAO,MAAM,yBAAyB,6CAepC,CAAC;AAEH,eAAO,MAAM,2BAA2B,6CAuBtC,CAAC;AAEH,eAAO,MAAM,4BAA4B,6CAevC,CAAC"}