@elaraai/e3-ui 1.0.83 → 1.0.85

package/dist/src/studio/publish.d.ts

@@ -0,0 +1,397 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The builder's publish preview (#998) — the open page as it will publish,
+ * what changed since its live version, and the actions that publish it,
+ * computed in East for the `StudioBuilder` renderer, which draws the preview
+ * in the canvas's place: its bar — "● Preview", the device widths, the
+ * environment and Exit — the page at the device's width, and the aside: what
+ * changed since the live version, whether the components' code changed since,
+ * who sees it and when, and Save as draft and Publish. The page it shows is
+ * the one that publishes, the canvas's unsaved drafts in place, and it has the
+ * canvas apply them before it publishes, so the canvas stays the only writer
+ * of its drafts.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, AsyncFunctionType, BooleanType, FunctionType, IntegerType, NullType, OptionType, StringType, StructType, VariantType } from "@elaraai/east";
+/**
+ * One row of the preview's change list: the change, and the name of the
+ * placement it changed.
+ *
+ * @property change - The change, as `Studio.changes` lists it
+ * @property name - The placement's title, else its component's name, else its component's key
+ */
+export declare const PublishChangeType: StructType<{
+    readonly change: VariantType<{
+        readonly added: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly removed: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly moved: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly resized: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly height: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly aligned: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+        readonly retitled: StructType<{
+            readonly cell: StringType;
+            readonly component: StringType;
+            readonly detail: StringType;
+        }>;
+    }>;
+    readonly name: StringType;
+}>;
+/** Type representing one row of the preview's change list. */
+export type PublishChangeType = typeof PublishChangeType;
+/**
+ * Where the open entry stands, as the preview's aside says it.
+ *
+ * @property ready - Something to publish: a page never published, or one whose layout or components' code changed since its live version
+ * @property current - Up to date: published, its layout and its components' code as they went live
+ * @property template - A template, which is not published
+ */
+export declare const PublishStandingType: VariantType<{
+    readonly ready: NullType;
+    readonly current: NullType;
+    readonly template: NullType;
+}>;
+/** Type representing where the open entry stands. */
+export type PublishStandingType = typeof PublishStandingType;
+/**
+ * What the preview shows of the open entry, as East computes it.
+ *
+ * @property standing - Where it stands ({@link PublishStandingType})
+ * @property live - Its live version's number; `none` until it is first published, and for a template
+ * @property changes - The changes from its live version — from nothing, the first time — to the layout that publishes; none for a template
+ * @property changed - The components it places whose code changed since its live version, by name, in the order they are placed
+ * @property unsaved - The canvas draws drafts the page has not saved
+ */
+export declare const PublishSummaryType: StructType<{
+    readonly standing: VariantType<{
+        readonly ready: NullType;
+        readonly current: NullType;
+        readonly template: NullType;
+    }>;
+    readonly live: OptionType<IntegerType>;
+    readonly changes: ArrayType<StructType<{
+        readonly change: VariantType<{
+            readonly added: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly removed: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly moved: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly resized: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly height: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly aligned: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly retitled: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+        }>;
+        readonly name: StringType;
+    }>>;
+    readonly changed: ArrayType<StringType>;
+    readonly unsaved: BooleanType;
+}>;
+/** Type representing what the preview shows of the open entry. */
+export type PublishSummaryType = typeof PublishSummaryType;
+/**
+ * The publish preview, as the `StudioBuilder` renderer draws it — beside the
+ * page as it will publish, which the builder draws.
+ *
+ * @property project - The project — the page's eyebrow
+ * @property title - The page's title
+ * @property summary - Where it stands and what changed ({@link PublishSummaryType})
+ * @property env - Where it publishes to — the Env pill, and the Publish button's words
+ * @property audience - Who sees it — the Audience row
+ * @property rollout - When they see it — the Rollout row
+ * @property apply - The Apply the preview asked of the canvas, and the canvas's answer
+ * @property onApply - Asks the canvas to apply its drafts, under an id the answer names
+ * @property onPublish - Publishes the page, one commit; `none` when it committed, else what refused it
+ * @property onExit - Returns to the canvas; `none` when there is none to return to
+ */
+export declare const StudioPublishPayloadType: StructType<{
+    readonly project: StringType;
+    readonly title: StringType;
+    readonly summary: StructType<{
+        readonly standing: VariantType<{
+            readonly ready: NullType;
+            readonly current: NullType;
+            readonly template: NullType;
+        }>;
+        readonly live: OptionType<IntegerType>;
+        readonly changes: ArrayType<StructType<{
+            readonly change: VariantType<{
+                readonly added: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly removed: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly moved: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly resized: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly height: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly aligned: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+                readonly retitled: StructType<{
+                    readonly cell: StringType;
+                    readonly component: StringType;
+                    readonly detail: StringType;
+                }>;
+            }>;
+            readonly name: StringType;
+        }>>;
+        readonly changed: ArrayType<StringType>;
+        readonly unsaved: BooleanType;
+    }>;
+    readonly env: OptionType<StringType>;
+    readonly audience: OptionType<StringType>;
+    readonly rollout: OptionType<StringType>;
+    readonly apply: VariantType<{
+        readonly idle: NullType;
+        readonly asked: StringType;
+        readonly applied: StringType;
+        readonly refused: StructType<{
+            readonly id: StringType;
+            readonly reason: StringType;
+        }>;
+    }>;
+    readonly onApply: FunctionType<[StringType], NullType>;
+    readonly onPublish: AsyncFunctionType<[], OptionType<StringType>>;
+    readonly onExit: OptionType<FunctionType<[], NullType>>;
+}>;
+/** Type representing the publish preview, as the builder draws it. */
+export type StudioPublishPayloadType = typeof StudioPublishPayloadType;
+/**
+ * What the preview shows of the open entry: where it stands, the change list,
+ * the components whose code changed, and whether the canvas has drafts.
+ *
+ * @remarks
+ * `layout` is the layout that publishes — the page's cells as the canvas
+ * draws them, its unsaved drafts in place — and `saved` its draft as last
+ * saved. A page never published is ready, its changes those from nothing:
+ * every placement added. A published one is ready while its layout differs
+ * from its live version's, or a component it places has code other than the
+ * fingerprint the live version stored for it; otherwise it is current. A
+ * change names its placement by its title, else its component's name, else
+ * its component's key; a component the surface does not list is never
+ * counted as changed.
+ */
+export declare const publishSummary: import("@elaraai/east").CallableFunctionExpr<[ArrayType<StructType<{
+    readonly key: StringType;
+    readonly name: StringType;
+    readonly category: StringType;
+    readonly icon: StringType;
+    readonly span: IntegerType;
+    readonly description: OptionType<StringType>;
+    readonly frame: VariantType<{
+        readonly card: NullType;
+        readonly none: NullType;
+    }>;
+    readonly tags: ArrayType<StringType>;
+    readonly collections: ArrayType<StringType>;
+    readonly deprecated: BooleanType;
+    readonly reads: StructType<{
+        readonly paths: ArrayType<ArrayType<VariantType<{
+            readonly field: StringType;
+        }>>>;
+        readonly functions: ArrayType<StringType>;
+        readonly records: ArrayType<StringType>;
+        readonly pages: ArrayType<ArrayType<VariantType<{
+            readonly field: StringType;
+        }>>>;
+    }>;
+    readonly fingerprint: StringType;
+    readonly render: FunctionType<[], import("@elaraai/east").RecursiveType<import("@elaraai/east-ui").UIComponentNode>>;
+}>>, OptionType<StructType<{
+    readonly version: IntegerType;
+    readonly page: StructType<{
+        readonly title: StringType;
+        readonly cells: ArrayType<StructType<{
+            readonly key: StringType;
+            readonly row: StringType;
+            readonly span: IntegerType;
+            readonly height: OptionType<IntegerType>;
+            readonly align: VariantType<{
+                readonly top: NullType;
+                readonly center: NullType;
+                readonly stretch: NullType;
+            }>;
+            readonly title: OptionType<StringType>;
+            readonly component: StringType;
+            readonly fingerprint: StringType;
+        }>>;
+    }>;
+}>>, StructType<{
+    readonly title: StringType;
+    readonly cells: ArrayType<StructType<{
+        readonly key: StringType;
+        readonly row: StringType;
+        readonly span: IntegerType;
+        readonly height: OptionType<IntegerType>;
+        readonly align: VariantType<{
+            readonly top: NullType;
+            readonly center: NullType;
+            readonly stretch: NullType;
+        }>;
+        readonly title: OptionType<StringType>;
+        readonly component: StringType;
+        readonly fingerprint: StringType;
+    }>>;
+}>, ArrayType<StructType<{
+    readonly key: StringType;
+    readonly row: StringType;
+    readonly span: IntegerType;
+    readonly height: OptionType<IntegerType>;
+    readonly align: VariantType<{
+        readonly top: NullType;
+        readonly center: NullType;
+        readonly stretch: NullType;
+    }>;
+    readonly title: OptionType<StringType>;
+    readonly component: StringType;
+    readonly fingerprint: StringType;
+}>>, BooleanType], StructType<{
+    readonly standing: VariantType<{
+        readonly ready: NullType;
+        readonly current: NullType;
+        readonly template: NullType;
+    }>;
+    readonly live: OptionType<IntegerType>;
+    readonly changes: ArrayType<StructType<{
+        readonly change: VariantType<{
+            readonly added: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly removed: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly moved: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly resized: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly height: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly aligned: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+            readonly retitled: StructType<{
+                readonly cell: StringType;
+                readonly component: StringType;
+                readonly detail: StringType;
+            }>;
+        }>;
+        readonly name: StringType;
+    }>>;
+    readonly changed: ArrayType<StringType>;
+    readonly unsaved: BooleanType;
+}>>;
+/**
+ * What refused a publish, or `none` when it committed. A publish another
+ * write overtook is a conflict: the page moved since the preview drew it.
+ */
+export declare const publishRefusal: import("@elaraai/east").CallableFunctionExpr<[VariantType<{
+    readonly transport: StructType<{
+        readonly message: StringType;
+    }>;
+    readonly committed: StructType<{
+        readonly commitHash: StringType;
+        readonly stateHash: StringType;
+    }>;
+    readonly invalid: StructType<{
+        readonly message: StringType;
+    }>;
+    readonly failed: StructType<{
+        readonly exitCode: IntegerType;
+        readonly stderr: StringType;
+    }>;
+    readonly timed_out: StructType<{
+        readonly ms: IntegerType;
+        readonly stderr: StringType;
+    }>;
+    readonly conflict: StructType<{
+        readonly attempts: IntegerType;
+        readonly detail: OptionType<StringType>;
+    }>;
+}>], OptionType<StringType>>;
+//# sourceMappingURL=publish.d.ts.map

package/dist/src/studio/publish.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"publish.d.ts","sourceRoot":"","sources":["../../../src/studio/publish.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACH,SAAS,EACT,iBAAiB,EACjB,WAAW,EAGX,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EAEV,UAAU,EACV,UAAU,EACV,WAAW,EAId,MAAM,eAAe,CAAC;AAgBvB;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAC;AAEH,8DAA8D;AAC9D,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC;AAEzD;;;;;;GAMG;AACH,eAAO,MAAM,mBAAmB;;;;EAI9B,CAAC;AAEH,qDAAqD;AACrD,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC;AAE7D;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAM7B,CAAC;AAEH,kEAAkE;AAClE,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC;AAE3D;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWnC,CAAC;AAEH,sEAAsE;AACtE,MAAM,MAAM,wBAAwB,GAAG,OAAO,wBAAwB,CAAC;AAMvE;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqF1B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;4BAc1B,CAAC"}

package/dist/src/studio/publish.js

@@ -0,0 +1,198 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The builder's publish preview (#998) — the open page as it will publish,
+ * what changed since its live version, and the actions that publish it,
+ * computed in East for the `StudioBuilder` renderer, which draws the preview
+ * in the canvas's place: its bar — "● Preview", the device widths, the
+ * environment and Exit — the page at the device's width, and the aside: what
+ * changed since the live version, whether the components' code changed since,
+ * who sees it and when, and Save as draft and Publish. The page it shows is
+ * the one that publishes, the canvas's unsaved drafts in place, and it has the
+ * canvas apply them before it publishes, so the canvas stays the only writer
+ * of its drafts.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, AsyncFunctionType, BooleanType, DictType, East, FunctionType, IntegerType, NullType, OptionType, SetType, StringType, StructType, VariantType, none, some, variant, } from "@elaraai/east";
+import { SnapGrid } from "@elaraai/east-ui/internal";
+import { RecordOutcomeType } from "../bind/record.js";
+import { StudioComponentType } from "./component.js";
+import { StudioCellType, StudioChangeType, StudioLiveType, StudioPageType, pageChanges, } from "./pages.js";
+// ============================================================================
+// Types
+// ============================================================================
+/**
+ * One row of the preview's change list: the change, and the name of the
+ * placement it changed.
+ *
+ * @property change - The change, as `Studio.changes` lists it
+ * @property name - The placement's title, else its component's name, else its component's key
+ */
+export const PublishChangeType = StructType({
+    change: StudioChangeType,
+    name: StringType,
+});
+/**
+ * Where the open entry stands, as the preview's aside says it.
+ *
+ * @property ready - Something to publish: a page never published, or one whose layout or components' code changed since its live version
+ * @property current - Up to date: published, its layout and its components' code as they went live
+ * @property template - A template, which is not published
+ */
+export const PublishStandingType = VariantType({
+    ready: NullType,
+    current: NullType,
+    template: NullType,
+});
+/**
+ * What the preview shows of the open entry, as East computes it.
+ *
+ * @property standing - Where it stands ({@link PublishStandingType})
+ * @property live - Its live version's number; `none` until it is first published, and for a template
+ * @property changes - The changes from its live version — from nothing, the first time — to the layout that publishes; none for a template
+ * @property changed - The components it places whose code changed since its live version, by name, in the order they are placed
+ * @property unsaved - The canvas draws drafts the page has not saved
+ */
+export const PublishSummaryType = StructType({
+    standing: PublishStandingType,
+    live: OptionType(IntegerType),
+    changes: ArrayType(PublishChangeType),
+    changed: ArrayType(StringType),
+    unsaved: BooleanType,
+});
+/**
+ * The publish preview, as the `StudioBuilder` renderer draws it — beside the
+ * page as it will publish, which the builder draws.
+ *
+ * @property project - The project — the page's eyebrow
+ * @property title - The page's title
+ * @property summary - Where it stands and what changed ({@link PublishSummaryType})
+ * @property env - Where it publishes to — the Env pill, and the Publish button's words
+ * @property audience - Who sees it — the Audience row
+ * @property rollout - When they see it — the Rollout row
+ * @property apply - The Apply the preview asked of the canvas, and the canvas's answer
+ * @property onApply - Asks the canvas to apply its drafts, under an id the answer names
+ * @property onPublish - Publishes the page, one commit; `none` when it committed, else what refused it
+ * @property onExit - Returns to the canvas; `none` when there is none to return to
+ */
+export const StudioPublishPayloadType = StructType({
+    project: StringType,
+    title: StringType,
+    summary: PublishSummaryType,
+    env: OptionType(StringType),
+    audience: OptionType(StringType),
+    rollout: OptionType(StringType),
+    apply: SnapGrid.Types.ApplyState,
+    onApply: FunctionType([StringType], NullType),
+    onPublish: AsyncFunctionType([], OptionType(StringType)),
+    onExit: OptionType(FunctionType([], NullType)),
+});
+// ============================================================================
+// What the preview shows
+// ============================================================================
+/**
+ * What the preview shows of the open entry: where it stands, the change list,
+ * the components whose code changed, and whether the canvas has drafts.
+ *
+ * @remarks
+ * `layout` is the layout that publishes — the page's cells as the canvas
+ * draws them, its unsaved drafts in place — and `saved` its draft as last
+ * saved. A page never published is ready, its changes those from nothing:
+ * every placement added. A published one is ready while its layout differs
+ * from its live version's, or a component it places has code other than the
+ * fingerprint the live version stored for it; otherwise it is current. A
+ * change names its placement by its title, else its component's name, else
+ * its component's key; a component the surface does not list is never
+ * counted as changed.
+ */
+export const publishSummary = East.function([ArrayType(StudioComponentType), OptionType(StudioLiveType), StudioPageType, ArrayType(StudioCellType), BooleanType], PublishSummaryType, ($, components, live, layout, saved, template) => {
+    const unsaved = $.let(East.notEqual(layout.cells, saved));
+    $.if(template, ($2) => {
+        $2.return(East.value({
+            standing: variant("template", null),
+            live: none,
+            changes: [],
+            changed: [],
+            unsaved,
+        }, PublishSummaryType));
+    });
+    const listed = $.let(components.toDict((_$2, component) => component.key, (_$2, component) => component, (_$2, first) => first), DictType(StringType, StudioComponentType));
+    const before = $.let(live.match({
+        some: (_$2, version) => version.page,
+        none: (_$2) => East.value({ title: layout.title, cells: [] }, StudioPageType),
+    }), StudioPageType);
+    // Each placement's name, the later layout's where both hold it.
+    const names = $.let(new Map(), DictType(StringType, StringType));
+    $.for(before.cells.concat(layout.cells), ($2, cell) => {
+        const name = $2.let(cell.title.match({
+            some: (_$3, title) => title,
+            none: (_$3) => listed.tryGet(cell.component).match({
+                some: (_$4, component) => component.name,
+                none: (_$4) => cell.component,
+            }),
+        }));
+        $2(names.insertOrUpdate(cell.key, name, (_$3, _old) => name));
+    });
+    const changes = $.let(pageChanges(before, layout).map((_$2, change) => ({
+        change,
+        name: names.get(change.match({
+            added: (_$3, c) => c.cell,
+            removed: (_$3, c) => c.cell,
+            moved: (_$3, c) => c.cell,
+            resized: (_$3, c) => c.cell,
+            height: (_$3, c) => c.cell,
+            aligned: (_$3, c) => c.cell,
+            retitled: (_$3, c) => c.cell,
+        })),
+    })), ArrayType(PublishChangeType));
+    // The components whose code is not the code the live version stored
+    // for them, among those the layout places.
+    const stale = $.let(new Set(), SetType(StringType));
+    $.for(before.cells, ($2, cell) => {
+        $2.match(listed.tryGet(cell.component), {
+            some: ($3, component) => {
+                $3.if(component.fingerprint.notEqual(cell.fingerprint), ($4) => {
+                    $4(stale.tryInsert(cell.component));
+                });
+            },
+        });
+    });
+    const named = $.let(new Set(), SetType(StringType));
+    const changed = $.let([], ArrayType(StringType));
+    $.for(layout.cells, ($2, cell) => {
+        $2.if(stale.has(cell.component).and(() => named.has(cell.component).not()), ($3) => {
+            $3(named.insert(cell.component));
+            $3(changed.pushLast(listed.get(cell.component).name));
+        });
+    });
+    const ready = $.let(live.hasTag("none").or(() => changes.size().greater(0n)).or(() => changed.size().greater(0n)));
+    return {
+        standing: ready.ifElse(() => East.value(variant("ready", null), PublishStandingType), () => East.value(variant("current", null), PublishStandingType)),
+        live: live.match({
+            some: (_$2, version) => some(version.version),
+            none: (_$2) => East.value(none, OptionType(IntegerType)),
+        }),
+        changes,
+        changed,
+        unsaved,
+    };
+});
+/**
+ * What refused a publish, or `none` when it committed. A publish another
+ * write overtook is a conflict: the page moved since the preview drew it.
+ */
+export const publishRefusal = East.function([RecordOutcomeType], OptionType(StringType), ($, outcome) => {
+    const refused = $.let(none, OptionType(StringType));
+    $.match(outcome, {
+        conflict: ($2) => { $2.assign(refused, some("Another write changed this page first — review it and publish again")); },
+        invalid: ($2, refusal) => { $2.assign(refused, some(refusal.message)); },
+        failed: ($2, refusal) => { $2.assign(refused, some(East.str `The write failed: ${refusal.stderr}`)); },
+        timed_out: ($2) => { $2.assign(refused, some("The write ran out of time and wrote nothing")); },
+        transport: ($2, lost) => { $2.assign(refused, some(East.str `The write got no answer, so it may have been made — ${lost.message}`)); },
+    });
+    return refused;
+});
+//# sourceMappingURL=publish.js.map

package/dist/src/studio/publish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"publish.js","sourceRoot":"","sources":["../../../src/studio/publish.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;GAaG;AAEH,OAAO,EACH,SAAS,EACT,iBAAiB,EACjB,WAAW,EACX,QAAQ,EACR,IAAI,EACJ,YAAY,EACZ,WAAW,EACX,QAAQ,EACR,UAAU,EACV,OAAO,EACP,UAAU,EACV,UAAU,EACV,WAAW,EACX,IAAI,EACJ,IAAI,EACJ,OAAO,GACV,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EACH,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,cAAc,EACd,WAAW,GACd,MAAM,YAAY,CAAC;AAEpB,+EAA+E;AAC/E,QAAQ;AACR,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,UAAU,CAAC;IACxC,MAAM,EAAE,gBAAgB;IACxB,IAAI,EAAE,UAAU;CACnB,CAAC,CAAC;AAKH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,WAAW,CAAC;IAC3C,KAAK,EAAE,QAAQ;IACf,OAAO,EAAE,QAAQ;IACjB,QAAQ,EAAE,QAAQ;CACrB,CAAC,CAAC;AAKH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAC;IACzC,QAAQ,EAAE,mBAAmB;IAC7B,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC;IAC7B,OAAO,EAAE,SAAS,CAAC,iBAAiB,CAAC;IACrC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC;IAC9B,OAAO,EAAE,WAAW;CACvB,CAAC,CAAC;AAKH;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,UAAU,CAAC;IAC/C,OAAO,EAAE,UAAU;IACnB,KAAK,EAAE,UAAU;IACjB,OAAO,EAAE,kBAAkB;IAC3B,GAAG,EAAE,UAAU,CAAC,UAAU,CAAC;IAC3B,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;IAChC,OAAO,EAAE,UAAU,CAAC,UAAU,CAAC;IAC/B,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,UAAU;IAChC,OAAO,EAAE,YAAY,CAAC,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC;IAC7C,SAAS,EAAE,iBAAiB,CAAC,EAAE,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,EAAE,UAAU,CAAC,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;CACjD,CAAC,CAAC;AAKH,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CACvC,CAAC,SAAS,CAAC,mBAAmB,CAAC,EAAE,UAAU,CAAC,cAAc,CAAC,EAAE,cAAc,EAAE,SAAS,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,EACpH,kBAAkB,EAClB,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;IAC7C,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE;QAClB,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;YACjB,QAAQ,EAAE,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;YACnC,IAAI,EAAE,IAAI;YACV,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,OAAO;SACV,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAClC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EACjC,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,EAC7B,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CACxB,EAAE,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC;QAC5B,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI;QACpC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,cAAc,CAAC;KAChF,CAAC,EAAE,cAAc,CAAC,CAAC;IAEpB,gEAAgE;IAChE,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,EAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;QAClD,MAAM,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YACjC,IAAI,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK;YAC3B,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC;gBAC/C,IAAI,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI;gBACxC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS;aAChC,CAAC;SACL,CAAC,CAAC,CAAC;QACJ,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;QACpE,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC;YACzB,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YACzB,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YAC3B,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YACzB,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YAC3B,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YAC1B,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;YAC3B,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI;SAC/B,CAAC,CAAC;KACN,CAAC,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAEnC,oEAAoE;IACpE,2CAA2C;IAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;QAC7B,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;YACpC,IAAI,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE;gBACpB,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;oBAC3D,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;gBACxC,CAAC,CAAC,CAAC;YACP,CAAC;SACJ,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,EAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE;QAC7B,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE;YAC/E,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;YACjC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,MAAM,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnH,OAAO;QACH,QAAQ,EAAE,KAAK,CAAC,MAAM,CAClB,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,mBAAmB,CAAC,EAC7D,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAClE;QACD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;YACb,IAAI,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;YAC7C,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;SAC3D,CAAC;QACF,OAAO;QACP,OAAO;QACP,OAAO;KACV,CAAC;AACN,CAAC,CACJ,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CACvC,CAAC,iBAAiB,CAAC,EACnB,UAAU,CAAC,UAAU,CAAC,EACtB,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE;IACX,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE;QACb,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,qEAAqE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtH,OAAO,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA,qBAAqB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrG,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,6CAA6C,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,SAAS,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAA,uDAAuD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;KACxI,CAAC,CAAC;IACH,OAAO,OAAO,CAAC;AACnB,CAAC,CACJ,CAAC"}

package/dist/src/ui.d.ts

@@ -13,10 +13,15 @@
  */
 import { type DatasetDef, type Runner, type TaskDef } from '@elaraai/e3/browser';
 import { UIComponentType } from '@elaraai/east-ui';
-import { type EastType, type CallableFunctionExpr, type CallableAsyncFunctionExpr, variant } from '@elaraai/east';
+import { type CallableFunctionExpr, type CallableAsyncFunctionExpr, variant } from '@elaraai/east';
 /**
  * Create a UI task — an e3 task that produces a UIComponentType value.
  *
+ * Its function returns `UIComponentType`, exactly: a task in the `ui` role is
+ * rendered by its role alone, so its output is never anything else. The
+ * signature takes no other function, and one that slips past it, through a
+ * cast, is refused here, so no package deploys one.
+ *
  * The task's manifest combines:
  * - **Compute-time reads** — every dataset in `inputs` (the runner passes
  *   their values to `fn` as positional args).
@@ -27,6 +32,14 @@ import { type EastType, type CallableFunctionExpr, type CallableAsyncFunctionExp
  * Paths used in `Data.bind` must be JS-side constants captured at IR-build
  * time (typically `e3.input(name, T).path`). Dynamic paths throw.
  *
+ * @param name - The task's name
+ * @param inputs - The datasets the runner passes `fn`, in order
+ * @param fn - Builds the UI component: returns `UIComponentType`
+ * @param options - `runner`, which defaults to east-c with no platforms
+ * @returns The task, whose output is the UI component
+ * @throws {Error} When `fn` returns another type than `UIComponentType`,
+ *   naming the task and the type.
+ *
  * @example
  * ```ts
  * import e3 from '@elaraai/e3';
@@ -51,7 +64,7 @@ import { type EastType, type CallableFunctionExpr, type CallableAsyncFunctionExp
  * // Manifest: { reads: [name.path], writes: [] }
  * ```
  */
-export declare function ui<Name extends string, Inputs extends readonly DatasetDef[], O extends EastType = typeof UIComponentType>(name: Name, inputs: [...Inputs], fn: CallableFunctionExpr<any, O> | CallableAsyncFunctionExpr<any, O>, options?: {
+export declare function ui<Name extends string, Inputs extends readonly DatasetDef[]>(name: Name, inputs: [...Inputs], fn: CallableFunctionExpr<any, UIComponentType> | CallableAsyncFunctionExpr<any, UIComponentType>, options?: {
     runner?: Runner;
-}): TaskDef<O, [variant<'field', 'tasks'>, variant<'field', Name>, variant<'field', 'output'>]>;
+}): TaskDef<UIComponentType, [variant<'field', 'tasks'>, variant<'field', Name>, variant<'field', 'output'>]>;
 //# sourceMappingURL=ui.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../src/ui.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAMH,OAAO,EAAQ,KAAK,UAAU,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,OAAO,EACR,MAAM,eAAe,CAAC;AAIvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,wBAAgB,EAAE,CAChB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,SAAS,UAAU,EAAE,EACpC,CAAC,SAAS,QAAQ,GAAG,OAAO,eAAe,EAE3C,IAAI,EAAE,IAAI,EACV,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,CAAC;CACjB,GACA,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAK7F"}
+{"version":3,"file":"ui.d.ts","sourceRoot":"","sources":["../../src/ui.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAMH,OAAO,EAAQ,KAAK,UAAU,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAKL,KAAK,oBAAoB,EACzB,KAAK,yBAAyB,EAC9B,OAAO,EACR,MAAM,eAAe,CAAC;AAIvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AACH,wBAAgB,EAAE,CAChB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,SAAS,UAAU,EAAE,EAEpC,IAAI,EAAE,IAAI,EACV,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EACnB,EAAE,EAAE,oBAAoB,CAAC,GAAG,EAAE,eAAe,CAAC,GAAG,yBAAyB,CAAC,GAAG,EAAE,eAAe,CAAC,EAChG,OAAO,CAAC,EAAE;IACR,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GACA,OAAO,CAAC,eAAe,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAK3G"}