@elaraai/e3-ui 1.0.96 → 1.0.98

package/dist/src/schematic/shapes.d.ts

@@ -0,0 +1,150 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Schematic's pattern, style and geometry helpers (`Schematic Builder
+ * Spec.md` §4.7, D35): `Schematic.outline()`, `hatch()`, `solid()`,
+ * `dashed()`, `rect()`, `circle()`, `polyline()` and `polygon()`. An accessor
+ * builds a zone's pattern, a link's style, a footprint or a zone's shape with
+ * them from the row's own fields — `(unit) => some(Schematic.circle(unit.radius))`
+ * — so the app's record holds only its own types. Each returns an East value
+ * of its type, so an accessor's `match` arms may each return one.
+ *
+ * Geometry is drawn about its entity's anchor (D22): an item's centre, or a
+ * zone's box centre. A `circle` centres on it, and a `polyline`'s or a
+ * `polygon`'s vertices are offsets from it in world units: the row's own
+ * points, `{ x, y }` (a bulge of 0) or `{ x, y, bulge }`.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, FloatType, StructType, variant, type ExprType, type SubtypeExprOrValue } from "@elaraai/east";
+import { SchematicGeometryType, SchematicLinkStyleType, SchematicVertexType, SchematicZonePatternType } from "./types.js";
+/** String literal form of `Schematic.Types.Tone`'s tags. */
+export type SchematicToneLiteral = "brand" | "ink" | "muted" | "success" | "warning" | "danger";
+/** Style configuration accepted by {@link SchematicShapes}' `outline`, `hatch`, `solid` and `dashed`. */
+export interface SchematicPatternConfig {
+    /** Theme tone for the stroke or the hatch lines. */
+    tone?: SchematicToneLiteral;
+    /** Hatch line spacing in pixels (hatch only): a number, or a Float of the row's. */
+    spacing?: SubtypeExprOrValue<FloatType>;
+    /** Hatch line angle in degrees (hatch only): a number, or a Float of the row's. */
+    angle?: SubtypeExprOrValue<FloatType>;
+    /** Stroke width in pixels (links only): a number, or a Float of the row's. */
+    weight?: SubtypeExprOrValue<FloatType>;
+}
+/**
+ * A tone's option, from its literal.
+ *
+ * @param tone - The tone's tag, if any
+ * @returns `some` of the tone, or `none`
+ * @internal
+ */
+export declare function toneValue(tone: SchematicToneLiteral | undefined): variant<"none", null> | variant<"some", variant<SchematicToneLiteral, null>>;
+/**
+ * A polyline or polygon vertex for `polyline` and `polygon`: an offset from
+ * the entity's anchor, plus an optional DXF `bulge`.
+ *
+ * @property x - Offset from the anchor along x, in world units
+ * @property y - Offset from the anchor along y, in world units
+ * @property bulge - DXF bulge for the edge to the next vertex; `0` (default) is straight, nonzero is a circular arc (`tan(includedAngle / 4)`, sign = turn direction)
+ */
+export interface SchematicVertexInput {
+    /** Offset from the anchor along x, in world units. */
+    x: SubtypeExprOrValue<FloatType>;
+    /** Offset from the anchor along y, in world units. */
+    y: SubtypeExprOrValue<FloatType>;
+    /** DXF bulge for the edge to the next vertex; `0` (default) = straight, nonzero = arc. */
+    bulge?: SubtypeExprOrValue<FloatType>;
+}
+/**
+ * Vertices accepted by `polyline` and `polygon`: a plain array of
+ * `{ x, y, bulge? }` (bulge defaults to `0`), or an East array of the row's own
+ * points — `{ x, y }` Floats, each with a bulge of 0, or `{ x, y, bulge }`
+ * ({@link SchematicVertexType}).
+ */
+export type SchematicVertices = readonly SchematicVertexInput[] | ExprType<ArrayType<StructType<{
+    x: FloatType;
+    y: FloatType;
+}>>> | SubtypeExprOrValue<ArrayType<SchematicVertexType>>;
+/** Optional configuration for `polyline`. */
+export interface SchematicPolylineConfig {
+    /** Band width in world units — the stroke widens into a duct bank or an aisle: a number, or a Float of the row's. */
+    width?: SubtypeExprOrValue<FloatType>;
+}
+/**
+ * The pattern, style and geometry helpers the `Schematic` namespace carries.
+ */
+export declare const SchematicShapes: {
+    /**
+     * Builds an `outline` zone pattern value — the dashed boundary with an
+     * eyebrow label (halls, cages).
+     *
+     * @param config - Optional style configuration (`tone`)
+     * @returns A `Schematic.Types.ZonePattern` value
+     */
+    readonly outline: (config?: SchematicPatternConfig) => ExprType<SchematicZonePatternType>;
+    /**
+     * Builds a `hatch` zone pattern value — the hatched band (hot and cold
+     * aisles, exclusion zones): an annotation, holding no items and taking no
+     * tap.
+     *
+     * @param config - Optional style configuration (`tone`, `spacing`, `angle`)
+     * @returns A `Schematic.Types.ZonePattern` value
+     */
+    readonly hatch: (config?: SchematicPatternConfig) => ExprType<SchematicZonePatternType>;
+    /**
+     * Builds a `solid` link style value — a physical run (fibre, power cable).
+     *
+     * @param config - Optional stroke configuration (`tone`, `weight`)
+     * @returns A `Schematic.Types.LinkStyle` value
+     */
+    readonly solid: (config?: SchematicPatternConfig) => ExprType<SchematicLinkStyleType>;
+    /**
+     * Builds a `dashed` link style value — a routing or logical connection.
+     *
+     * @param config - Optional stroke configuration (`tone`, `weight`)
+     * @returns A `Schematic.Types.LinkStyle` value
+     */
+    readonly dashed: (config?: SchematicPatternConfig) => ExprType<SchematicLinkStyleType>;
+    /**
+     * Builds a `rect` geometry value — the entity's box itself: a zone's
+     * rect, an item's card and marker. Equals leaving the geometry out.
+     *
+     * @returns A `Schematic.Types.Geometry` value
+     */
+    readonly rect: () => ExprType<SchematicGeometryType>;
+    /**
+     * Builds a `circle` geometry value — a circle centred on the entity's
+     * anchor (an item's centre, or a zone's box centre): columns, cooling
+     * towers and other round equipment.
+     *
+     * @param radius - Circle radius in world units
+     * @returns A `Schematic.Types.Geometry` value
+     */
+    readonly circle: (radius: SubtypeExprOrValue<FloatType>) => ExprType<SchematicGeometryType>;
+    /**
+     * Builds a `polyline` geometry value — an open, arc-aware polyline about
+     * the entity's anchor, optionally widened into a band (a duct bank, an
+     * aisle). Each vertex is an offset from the anchor, and its `bulge` curves
+     * the edge to the next vertex (0 = straight).
+     *
+     * @param vertices - Vertices, offsets from the anchor in world units, in order: `{ x, y, bulge? }`, or the row's own points
+     * @param config - Optional `width` band in world units
+     * @returns A `Schematic.Types.Geometry` value
+     * @throws {Error} For an East array of neither `{ x, y }` nor `{ x, y, bulge }` Floats, naming its type
+     */
+    readonly polyline: (vertices: SchematicVertices, config?: SchematicPolylineConfig) => ExprType<SchematicGeometryType>;
+    /**
+     * Builds a `polygon` geometry value — a closed, arc-aware polygon about
+     * the entity's anchor (an L-shaped hall, an equipment footprint). Each
+     * vertex is an offset from the anchor; the last vertex's `bulge` curves
+     * the closing edge.
+     *
+     * @param vertices - Boundary vertices, offsets from the anchor in world units, in order (auto-closed): `{ x, y, bulge? }`, or the row's own points
+     * @returns A `Schematic.Types.Geometry` value
+     * @throws {Error} For an East array of neither `{ x, y }` nor `{ x, y, bulge }` Floats, naming its type
+     */
+    readonly polygon: (vertices: SchematicVertices) => ExprType<SchematicGeometryType>;
+};
+//# sourceMappingURL=shapes.d.ts.map

package/dist/src/schematic/shapes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.d.ts","sourceRoot":"","sources":["../../../src/schematic/shapes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACH,SAAS,EAAc,SAAS,EAAE,UAAU,EAAsC,OAAO,EAC1E,KAAK,QAAQ,EAAE,KAAK,kBAAkB,EACxD,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAE1H,4DAA4D;AAC5D,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,KAAK,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,QAAQ,CAAC;AAEhG,yGAAyG;AACzG,MAAM,WAAW,sBAAsB;IACnC,oDAAoD;IACpD,IAAI,CAAC,EAAE,oBAAoB,CAAC;IAC5B,oFAAoF;IACpF,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACxC,mFAAmF;IACnF,KAAK,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACtC,8EAA8E;IAC9E,MAAM,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CAC1C;AAED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,oBAAoB,GAAG,SAAS,gFAE/D;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACjC,sDAAsD;IACtD,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjC,sDAAsD;IACtD,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACjC,0FAA0F;IAC1F,KAAK,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CACzC;AAQD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GACvB,SAAS,oBAAoB,EAAE,GAC/B,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC;IAAE,CAAC,EAAE,SAAS,CAAC;IAAC,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC,CAAC,GAC/D,kBAAkB,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC,CAAC;AAEzD,6CAA6C;AAC7C,MAAM,WAAW,uBAAuB;IACpC,qHAAqH;IACrH,KAAK,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CACzC;AAgCD;;GAEG;AACH,eAAO,MAAM,eAAe;IACxB;;;;;;OAMG;gCACc,sBAAsB,KAAG,QAAQ,CAAC,wBAAwB,CAAC;IAG5E;;;;;;;OAOG;8BACY,sBAAsB,KAAG,QAAQ,CAAC,wBAAwB,CAAC;IAO1E;;;;;OAKG;8BACY,sBAAsB,KAAG,QAAQ,CAAC,sBAAsB,CAAC;IAMxE;;;;;OAKG;+BACa,sBAAsB,KAAG,QAAQ,CAAC,sBAAsB,CAAC;IAMzE;;;;;OAKG;yBACK,QAAQ,CAAC,qBAAqB,CAAC;IAGvC;;;;;;;OAOG;8BACY,kBAAkB,CAAC,SAAS,CAAC,KAAG,QAAQ,CAAC,qBAAqB,CAAC;IAG9E;;;;;;;;;;OAUG;kCACgB,iBAAiB,WAAW,uBAAuB,KAAG,QAAQ,CAAC,qBAAqB,CAAC;IAMxG;;;;;;;;;OASG;iCACe,iBAAiB,KAAG,QAAQ,CAAC,qBAAqB,CAAC;CAG/D,CAAC"}

package/dist/src/schematic/shapes.js

@@ -0,0 +1,171 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The Schematic's pattern, style and geometry helpers (`Schematic Builder
+ * Spec.md` §4.7, D35): `Schematic.outline()`, `hatch()`, `solid()`,
+ * `dashed()`, `rect()`, `circle()`, `polyline()` and `polygon()`. An accessor
+ * builds a zone's pattern, a link's style, a footprint or a zone's shape with
+ * them from the row's own fields — `(unit) => some(Schematic.circle(unit.radius))`
+ * — so the app's record holds only its own types. Each returns an East value
+ * of its type, so an accessor's `match` arms may each return one.
+ *
+ * Geometry is drawn about its entity's anchor (D22): an item's centre, or a
+ * zone's box centre. A `circle` centres on it, and a `polyline`'s or a
+ * `polygon`'s vertices are offsets from it in world units: the row's own
+ * points, `{ x, y }` (a bulge of 0) or `{ x, y, bulge }`.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, East, Expr, FloatType, StructType, isTypeEqual, none, printType, some, variant, } from "@elaraai/east";
+import { SchematicGeometryType, SchematicLinkStyleType, SchematicVertexType, SchematicZonePatternType } from "./types.js";
+/**
+ * A tone's option, from its literal.
+ *
+ * @param tone - The tone's tag, if any
+ * @returns `some` of the tone, or `none`
+ * @internal
+ */
+export function toneValue(tone) {
+    return tone !== undefined ? some(variant(tone, null)) : none;
+}
+/** A point of the row's own: an `{ x, y }` of Floats, a vertex with a bulge of 0. */
+const PointsType = ArrayType(StructType({ x: FloatType, y: FloatType }));
+/** The vertices of a shape, on the wire. */
+const VerticesType = ArrayType(SchematicVertexType);
+/**
+ * Normalises {@link SchematicVertices} into an East-coercible array of
+ * {@link SchematicVertexType}: plain arrays get `bulge` defaulted to `0`, an
+ * East array of `{ x, y }` points each a bulge of 0, and an East array of
+ * vertices passes through as it is.
+ *
+ * @param vertices - The vertices
+ * @param where - The helper, as a refusal names it
+ * @returns The vertices, as the wire takes them
+ * @throws {Error} For an East array of another element type, naming it
+ */
+function toVertices(vertices, where) {
+    if (Array.isArray(vertices)) {
+        return vertices.map(v => ({
+            x: v.x,
+            y: v.y,
+            bulge: v.bulge !== undefined ? v.bulge : 0,
+        }));
+    }
+    if (vertices instanceof Expr) {
+        const type = Expr.type(vertices);
+        if (isTypeEqual(type, VerticesType))
+            return vertices;
+        if (isTypeEqual(type, PointsType)) {
+            return vertices.map((_$, p) => East.value({ x: p.x, y: p.y, bulge: 0.0 }, SchematicVertexType));
+        }
+        throw new Error(`${where}: vertices are the row's own points, an Array of { x, y } or { x, y, bulge } Floats — and these are ${printType(type)}`);
+    }
+    return vertices;
+}
+/**
+ * The pattern, style and geometry helpers the `Schematic` namespace carries.
+ */
+export const SchematicShapes = {
+    /**
+     * Builds an `outline` zone pattern value — the dashed boundary with an
+     * eyebrow label (halls, cages).
+     *
+     * @param config - Optional style configuration (`tone`)
+     * @returns A `Schematic.Types.ZonePattern` value
+     */
+    outline(config) {
+        return East.value(variant("outline", { tone: toneValue(config?.tone) }), SchematicZonePatternType);
+    },
+    /**
+     * Builds a `hatch` zone pattern value — the hatched band (hot and cold
+     * aisles, exclusion zones): an annotation, holding no items and taking no
+     * tap.
+     *
+     * @param config - Optional style configuration (`tone`, `spacing`, `angle`)
+     * @returns A `Schematic.Types.ZonePattern` value
+     */
+    hatch(config) {
+        return East.value(variant("hatch", {
+            tone: toneValue(config?.tone),
+            spacing: config?.spacing !== undefined ? some(config.spacing) : none,
+            angle: config?.angle !== undefined ? some(config.angle) : none,
+        }), SchematicZonePatternType);
+    },
+    /**
+     * Builds a `solid` link style value — a physical run (fibre, power cable).
+     *
+     * @param config - Optional stroke configuration (`tone`, `weight`)
+     * @returns A `Schematic.Types.LinkStyle` value
+     */
+    solid(config) {
+        return East.value(variant("solid", {
+            tone: toneValue(config?.tone),
+            weight: config?.weight !== undefined ? some(config.weight) : none,
+        }), SchematicLinkStyleType);
+    },
+    /**
+     * Builds a `dashed` link style value — a routing or logical connection.
+     *
+     * @param config - Optional stroke configuration (`tone`, `weight`)
+     * @returns A `Schematic.Types.LinkStyle` value
+     */
+    dashed(config) {
+        return East.value(variant("dashed", {
+            tone: toneValue(config?.tone),
+            weight: config?.weight !== undefined ? some(config.weight) : none,
+        }), SchematicLinkStyleType);
+    },
+    /**
+     * Builds a `rect` geometry value — the entity's box itself: a zone's
+     * rect, an item's card and marker. Equals leaving the geometry out.
+     *
+     * @returns A `Schematic.Types.Geometry` value
+     */
+    rect() {
+        return East.value(variant("rect", null), SchematicGeometryType);
+    },
+    /**
+     * Builds a `circle` geometry value — a circle centred on the entity's
+     * anchor (an item's centre, or a zone's box centre): columns, cooling
+     * towers and other round equipment.
+     *
+     * @param radius - Circle radius in world units
+     * @returns A `Schematic.Types.Geometry` value
+     */
+    circle(radius) {
+        return East.value(variant("circle", { radius }), SchematicGeometryType);
+    },
+    /**
+     * Builds a `polyline` geometry value — an open, arc-aware polyline about
+     * the entity's anchor, optionally widened into a band (a duct bank, an
+     * aisle). Each vertex is an offset from the anchor, and its `bulge` curves
+     * the edge to the next vertex (0 = straight).
+     *
+     * @param vertices - Vertices, offsets from the anchor in world units, in order: `{ x, y, bulge? }`, or the row's own points
+     * @param config - Optional `width` band in world units
+     * @returns A `Schematic.Types.Geometry` value
+     * @throws {Error} For an East array of neither `{ x, y }` nor `{ x, y, bulge }` Floats, naming its type
+     */
+    polyline(vertices, config) {
+        return East.value(variant("polyline", {
+            vertices: toVertices(vertices, "Schematic.polyline"),
+            width: config?.width !== undefined ? some(config.width) : none,
+        }), SchematicGeometryType);
+    },
+    /**
+     * Builds a `polygon` geometry value — a closed, arc-aware polygon about
+     * the entity's anchor (an L-shaped hall, an equipment footprint). Each
+     * vertex is an offset from the anchor; the last vertex's `bulge` curves
+     * the closing edge.
+     *
+     * @param vertices - Boundary vertices, offsets from the anchor in world units, in order (auto-closed): `{ x, y, bulge? }`, or the row's own points
+     * @returns A `Schematic.Types.Geometry` value
+     * @throws {Error} For an East array of neither `{ x, y }` nor `{ x, y, bulge }` Floats, naming its type
+     */
+    polygon(vertices) {
+        return East.value(variant("polygon", { vertices: toVertices(vertices, "Schematic.polygon") }), SchematicGeometryType);
+    },
+};
+//# sourceMappingURL=shapes.js.map

package/dist/src/schematic/shapes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.js","sourceRoot":"","sources":["../../../src/schematic/shapes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EACH,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,GAE5F,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AAiB1H;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,IAAsC;IAC5D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjE,CAAC;AAmBD,qFAAqF;AACrF,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;AAEzE,4CAA4C;AAC5C,MAAM,YAAY,GAAG,SAAS,CAAC,mBAAmB,CAAC,CAAC;AAmBpD;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,QAA2B,EAAE,KAAa;IAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1B,OAAQ,QAA4C,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3D,CAAC,EAAE,CAAC,CAAC,CAAC;YACN,CAAC,EAAE,CAAC,CAAC,CAAC;YACN,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC7C,CAAC,CAAC,CAAC;IACR,CAAC;IACD,IAAI,QAAQ,YAAY,IAAI,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,QAAgB,CAAa,CAAC;QACrD,IAAI,WAAW,CAAC,IAAI,EAAE,YAAY,CAAC;YAAE,OAAO,QAAoD,CAAC;QACjG,IAAI,WAAW,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;YAChC,OAAQ,QAAmD,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAChJ,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uGAAuG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,QAA8D,CAAC;AAC1E,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B;;;;;;OAMG;IACH,OAAO,CAAC,MAA+B;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IACvG,CAAC;IACD;;;;;;;OAOG;IACH,KAAK,CAAC,MAA+B;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE;YAC/B,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;YAC7B,OAAO,EAAE,MAAM,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI;YACpE,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;SACjE,CAAC,EAAE,wBAAwB,CAAC,CAAC;IAClC,CAAC;IACD;;;;;OAKG;IACH,KAAK,CAAC,MAA+B;QACjC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE;YAC/B,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;YAC7B,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;SACpE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAChC,CAAC;IACD;;;;;OAKG;IACH,MAAM,CAAC,MAA+B;QAClC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE;YAChC,IAAI,EAAE,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC;YAC7B,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;SACpE,CAAC,EAAE,sBAAsB,CAAC,CAAC;IAChC,CAAC;IACD;;;;;OAKG;IACH,IAAI;QACA,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACpE,CAAC;IACD;;;;;;;OAOG;IACH,MAAM,CAAC,MAAqC;QACxC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC5E,CAAC;IACD;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,QAA2B,EAAE,MAAgC;QAClE,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE;YAClC,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,oBAAoB,CAAC;YACpD,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI;SACjE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC/B,CAAC;IACD;;;;;;;;;OASG;IACH,OAAO,CAAC,QAA2B;QAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC1H,CAAC;CACK,CAAC"}

package/dist/src/schematic/templates.d.ts

@@ -0,0 +1,96 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Schematic.templates(rows, config)` (#1386, `Schematic Builder Spec.md`
+ * §4.6): the presets a kind's library tab lists. Templates are records
+ * (#1340, ruling 9), as Schedule's are: the rows are a record of the app's,
+ * usually read whole through `Data.bind(record).read()`, and each card is one
+ * of its rows, its key the record's key. A list names its source of the
+ * Schematic's `Slice.bindRecords`, whose shown keys filter its cards.
+ *
+ * - An item kind's template gives every field of the row but `x` and `y`:
+ *   dropped on the canvas, it adds an item at the drop point, its key minted.
+ * - A link kind's gives every field but `from` and `to`: dropped on a link,
+ *   it retypes it, writing its values and never the link's ends.
+ * - A net kind's gives every field but `sources` and `destinations`.
+ *
+ * Each accessor is reified once and called per row.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, OptionType, StringType, type DictType, type EastType, type ExprType, type StructType, type SubtypeExprOrValue } from "@elaraai/east";
+import { SchematicTemplateType } from "./types.js";
+/** Identifies a declaration of templates read from a record. */
+export declare const SCHEMATIC_TEMPLATES: unique symbol;
+/**
+ * A kind's templates, read from a record (see the module docs).
+ *
+ * @typeParam V - The values' type: the row's fields less what a drop places
+ */
+export interface SchematicTemplates<V extends StructType> {
+    /** Identifies the declaration. */
+    readonly [SCHEMATIC_TEMPLATES]: true;
+    /** The type of each template's values. */
+    readonly valuesType: V;
+    /** The templates, each its values encoded at their own type. */
+    readonly items: ExprType<ArrayType<SchematicTemplateType>>;
+    /** The Schematic's `Slice.bindRecords` source over the templates' record, whose shown keys filter the cards. */
+    readonly source: string | undefined;
+}
+/**
+ * How each row of a templates record shows, and what it creates.
+ *
+ * @typeParam K - The templates record's key type
+ * @typeParam R - Its row type
+ * @typeParam V - The values' type
+ */
+export interface SchematicTemplatesConfig<K extends EastType, R extends EastType, V extends StructType> {
+    /** The card's name. */
+    name: (row: ExprType<R>, key: ExprType<K>) => SubtypeExprOrValue<StringType>;
+    /** The library's group it sits under. */
+    group?: (row: ExprType<R>, key: ExprType<K>) => SubtypeExprOrValue<OptionType<StringType>>;
+    /** The card's Font Awesome solid icon; omitted, its kind's. */
+    icon?: (row: ExprType<R>, key: ExprType<K>) => SubtypeExprOrValue<OptionType<StringType>>;
+    /** Every field of the row the template creates but what a drop places: an item's `x` and `y`, a link's `from` and `to`. */
+    values: (row: ExprType<R>, key: ExprType<K>) => ExprType<V>;
+    /**
+     * The Schematic's `Slice.bindRecords` source over the templates' record
+     * (`rackTemplates`): its shown keys filter the cards, each card's key its
+     * record key. A list naming no source of the slice is refused, naming the
+     * change.
+     */
+    source: string;
+}
+/**
+ * Declares a kind's templates over a record's rows (see the module docs).
+ *
+ * @typeParam K - The templates record's key type
+ * @typeParam R - Its row type
+ * @typeParam V - The values' struct type
+ * @param rows - The templates, keyed: a record's rows, usually `Data.bind(record).read()`
+ * @param config - Each card's name, group and icon, its values, and its source of the slice
+ * @returns The templates, which a kind's `templates` takes
+ * @throws {Error} When the rows are not a Dict keyed by String, or `values` returns no struct
+ */
+export declare function schematicTemplates<K extends EastType, R extends EastType, V extends StructType>(rows: SubtypeExprOrValue<DictType<K, R>>, config: SchematicTemplatesConfig<K, R, V>): SchematicTemplates<V>;
+/**
+ * Whether a kind's `templates` is a templates declaration over a record.
+ *
+ * @param templates - What a kind was given
+ * @returns Whether it is `Schematic.templates`'
+ */
+export declare function isSchematicTemplates(templates: unknown): templates is SchematicTemplates<StructType>;
+/**
+ * Checks a kind's templates against the values its drops take.
+ *
+ * @param templates - The kind's templates
+ * @param expected - The row's fields less what a drop places
+ * @param placed - What a drop places, as the refusal names them (`x and y`)
+ * @param where - The kind, as a refusal names it
+ * @returns The templates on the wire
+ * @throws {Error} When the values are of another type, naming both
+ */
+export declare function checkedSchematicTemplates(templates: SchematicTemplates<StructType>, expected: StructType, placed: string, where: string): ExprType<ArrayType<SchematicTemplateType>>;
+//# sourceMappingURL=templates.d.ts.map

package/dist/src/schematic/templates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.d.ts","sourceRoot":"","sources":["../../../src/schematic/templates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACH,SAAS,EAAc,UAAU,EAAE,UAAU,EAC7C,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAqB,KAAK,UAAU,EAAE,KAAK,kBAAkB,EAC3G,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,gEAAgE;AAChE,eAAO,MAAM,mBAAmB,EAAE,OAAO,MAAsC,CAAC;AAEhF;;;;GAIG;AACH,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,UAAU;IACpD,kCAAkC;IAClC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,IAAI,CAAC;IACrC,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC3D,gHAAgH;IAChH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CACvC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,UAAU;IAClG,uBAAuB;IACvB,IAAI,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC7E,yCAAyC;IACzC,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3F,+DAA+D;IAC/D,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1F,2HAA2H;IAC3H,MAAM,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC5D;;;;;OAKG;IACH,MAAM,EAAE,MAAM,CAAC;CAClB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,UAAU,EAC3F,IAAI,EAAE,kBAAkB,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACpF,kBAAkB,CAAC,CAAC,CAAC,CA0BvB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,OAAO,GAAG,SAAS,IAAI,kBAAkB,CAAC,UAAU,CAAC,CAEpG;AAED;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CAAC,SAAS,EAAE,kBAAkB,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAKpL"}

package/dist/src/schematic/templates.js

@@ -0,0 +1,91 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * `Schematic.templates(rows, config)` (#1386, `Schematic Builder Spec.md`
+ * §4.6): the presets a kind's library tab lists. Templates are records
+ * (#1340, ruling 9), as Schedule's are: the rows are a record of the app's,
+ * usually read whole through `Data.bind(record).read()`, and each card is one
+ * of its rows, its key the record's key. A list names its source of the
+ * Schematic's `Slice.bindRecords`, whose shown keys filter its cards.
+ *
+ * - An item kind's template gives every field of the row but `x` and `y`:
+ *   dropped on the canvas, it adds an item at the drop point, its key minted.
+ * - A link kind's gives every field but `from` and `to`: dropped on a link,
+ *   it retypes it, writing its values and never the link's ends.
+ * - A net kind's gives every field but `sources` and `destinations`.
+ *
+ * Each accessor is reified once and called per row.
+ *
+ * @packageDocumentation
+ */
+import { ArrayType, East, Expr, OptionType, StringType, isTypeEqual, none, printType, } from "@elaraai/east";
+import { SchematicTemplateType } from "./types.js";
+/** Identifies a declaration of templates read from a record. */
+export const SCHEMATIC_TEMPLATES = Symbol("Schematic.templates");
+/**
+ * Declares a kind's templates over a record's rows (see the module docs).
+ *
+ * @typeParam K - The templates record's key type
+ * @typeParam R - Its row type
+ * @typeParam V - The values' struct type
+ * @param rows - The templates, keyed: a record's rows, usually `Data.bind(record).read()`
+ * @param config - Each card's name, group and icon, its values, and its source of the slice
+ * @returns The templates, which a kind's `templates` takes
+ * @throws {Error} When the rows are not a Dict keyed by String, or `values` returns no struct
+ */
+export function schematicTemplates(rows, config) {
+    const source = East.value(rows);
+    const type = Expr.type(source);
+    if (type.type !== "Dict" || !isTypeEqual(type.key, StringType)) {
+        throw new Error(`Schematic.templates: the templates are a record's rows, keyed by String — a Dict, usually Data.bind(record).read() — and these are ${printType(type)}`);
+    }
+    const keyType = type.key;
+    const rowType = type.value;
+    const values = East.function([rowType, keyType], undefined, (_$, row, key) => config.values(row, key));
+    const valuesType = Expr.type(values).output;
+    if (valuesType.type !== "Struct")
+        throw new Error("Schematic.templates: `values` returns a struct, every field of the row the template creates but what a drop places");
+    const describe = East.function([rowType, keyType], SchematicTemplateType, ($, row, key) => {
+        const initial = $.const(values);
+        return {
+            key: key,
+            name: config.name(row, key),
+            group: config.group === undefined ? East.value(none, OptionType(StringType)) : config.group(row, key),
+            icon: config.icon === undefined ? East.value(none, OptionType(StringType)) : config.icon(row, key),
+            values: East.Blob.encodeBeast(initial(row, key), "v2"),
+        };
+    });
+    const items = source.toArray(($, row, key) => {
+        const card = $.const(describe);
+        return card(row, key);
+    });
+    return { [SCHEMATIC_TEMPLATES]: true, valuesType, items, source: config.source };
+}
+/**
+ * Whether a kind's `templates` is a templates declaration over a record.
+ *
+ * @param templates - What a kind was given
+ * @returns Whether it is `Schematic.templates`'
+ */
+export function isSchematicTemplates(templates) {
+    return typeof templates === "object" && templates !== null && SCHEMATIC_TEMPLATES in templates;
+}
+/**
+ * Checks a kind's templates against the values its drops take.
+ *
+ * @param templates - The kind's templates
+ * @param expected - The row's fields less what a drop places
+ * @param placed - What a drop places, as the refusal names them (`x and y`)
+ * @param where - The kind, as a refusal names it
+ * @returns The templates on the wire
+ * @throws {Error} When the values are of another type, naming both
+ */
+export function checkedSchematicTemplates(templates, expected, placed, where) {
+    if (!isTypeEqual(templates.valuesType, expected)) {
+        throw new Error(`${where}: its templates' \`values\` give every field of the row but ${placed} — ${printType(expected)} — and these give ${printType(templates.valuesType)}`);
+    }
+    return templates.items;
+}
+//# sourceMappingURL=templates.js.map

package/dist/src/schematic/templates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"templates.js","sourceRoot":"","sources":["../../../src/schematic/templates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACH,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,GAE9E,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAEnD,gEAAgE;AAChE,MAAM,CAAC,MAAM,mBAAmB,GAAkB,MAAM,CAAC,qBAAqB,CAAC,CAAC;AA2ChF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kBAAkB,CAC9B,IAAwC,EAAE,MAAyC;IAEnF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA6B,CAAC;IAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAa,CAAC;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAe,EAAE,UAAU,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,sIAAsI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7K,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAQ,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAU,CAAC;IAChC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvG,MAAM,UAAU,GAAI,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAkB,CAAC,MAAW,CAAC;IACtF,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,oHAAoH,CAAC,CAAC;IACxK,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACtF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChC,OAAO;YACH,GAAG,EAAE,GAA2B;YAChC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YAC3B,KAAK,EAAE,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;YACrG,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YAClG,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,EAAE,IAAI,CAAC;SAC3E,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACzC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACrF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACnD,OAAO,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,mBAAmB,IAAI,SAAS,CAAC;AACnG,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,yBAAyB,CAAC,SAAyC,EAAE,QAAoB,EAAE,MAAc,EAAE,KAAa;IACpI,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+DAA+D,MAAM,MAAM,SAAS,CAAC,QAAQ,CAAC,qBAAqB,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAClL,CAAC;IACD,OAAO,SAAS,CAAC,KAAK,CAAC;AAC3B,CAAC"}