@elaraai/e3-ui 1.0.97 → 1.0.98

package/dist/src/schedule/fields.js

@@ -0,0 +1,207 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * A row's fields, read by name (#1367, #1386): the field types an option may
+ * name, a field read as an East expression, and a field holding the key of a
+ * keyed entity of a builder — one of Schedule's resources, one of the
+ * Schematic's items — by one kind's key, or a kind per case. Such a field is
+ * read as a reference to the entity, its kind's slot and its key, and written
+ * back from one.
+ *
+ * Schedule's event kinds (`events.ts`, a resource field) and the Schematic's
+ * links (a link's ends) check and read such a field through these, each
+ * naming the option and what the keys are of in its own words.
+ *
+ * A row's fields are written by name too ({@link fieldSetters}): a setter for
+ * every field at any depth, which an inspector's edit of a Schedule kind's
+ * field writes through, and an author's card dropped on a Schematic entity
+ * (#1390).
+ *
+ * @packageDocumentation
+ */
+import { BlobType, East, OptionType, StringType, isTypeEqual, none, some, variant, } from "@elaraai/east";
+import { ScheduleResourceRefType } from "./types.js";
+import { optionOf, typeText } from "./window.js";
+/**
+ * A field of a struct as an East expression, by name.
+ *
+ * @param row - The struct, as an East expression
+ * @param name - The field's name
+ * @returns The field
+ */
+export function fieldOf(row, name) {
+    return row[name];
+}
+/**
+ * A setter for every field of a row, at any depth: what an inspector's edit of
+ * one field writes through — a Schedule kind's `field` gesture — and an
+ * author's card's patch dropped on a Schematic entity, a field at a time
+ * (#1390). Each takes the field's value as bytes at the field's type, and
+ * rebuilds the structs down its path from the leaf up, every other field as it
+ * was.
+ *
+ * @param rowType - The row type
+ * @returns Each field's setter: a field, then the fields of a struct it holds, in the row's order
+ */
+export function fieldSetters(rowType) {
+    const setters = [];
+    const setterOf = (prefix, name, type) => East.function([rowType, BlobType], rowType, (_$, row, bytes) => {
+        const value = bytes.decodeBeast(type, "v2");
+        // The structs down the path, each with the field below it replaced, rebuilt from the leaf up.
+        const chain = [];
+        let at = row;
+        let struct = rowType;
+        for (const step of prefix) {
+            chain.push({ struct, field: step, at });
+            at = fieldOf(at, step);
+            struct = struct.fields[step];
+        }
+        const leaf = struct;
+        const leafAt = at;
+        let next = East.value(Object.fromEntries(Object.keys(leaf.fields).map((f) => [f, f === name ? value : fieldOf(leafAt, f)])), leaf);
+        for (let i = chain.length - 1; i >= 0; i--) {
+            const link = chain[i];
+            const inner = next;
+            next = East.value(Object.fromEntries(Object.keys(link.struct.fields).map((f) => [f, f === link.field ? inner : fieldOf(link.at, f)])), link.struct);
+        }
+        return next;
+    });
+    const collect = (struct, prefix) => {
+        for (const [name, type] of Object.entries(struct.fields)) {
+            setters.push({ path: [...prefix, name], set: setterOf(prefix, name, type) });
+            if (type.type === "Struct")
+                collect(type, [...prefix, name]);
+        }
+    };
+    collect(rowType, []);
+    return setters;
+}
+/**
+ * A variant's cases, when every one of them holds a String.
+ *
+ * @param type - The type
+ * @returns Its cases, in order; `undefined` for a type that is no such variant, or an Option
+ */
+export function stringCases(type) {
+    if (type.type !== "Variant" || optionOf(type) !== undefined)
+        return undefined;
+    const cases = Object.entries(type.cases);
+    return cases.length > 0 && cases.every(([, t]) => isTypeEqual(t, StringType)) ? cases.map(([c]) => c) : undefined;
+}
+/**
+ * Checks a key field (see {@link KeyField}).
+ *
+ * @param field - The field's name
+ * @param type - The field's type
+ * @param of - What its option's `of` names: a slot, or a slot per case
+ * @param words - How the refusals name it
+ * @returns The field, checked
+ * @throws {Error} Naming the option: a String field whose `of` names no slot;
+ *   a variant whose `of` does not name a slot for each of its cases, or names
+ *   one slot twice; a field holding neither a String nor a variant of String
+ *   cases, nor an Option of either
+ */
+export function checkKeyField(field, type, of, words) {
+    const { where, prop, noun } = words;
+    const inner = optionOf(type) ?? type;
+    const optional = optionOf(type) !== undefined;
+    const cases = stringCases(inner);
+    if (isTypeEqual(inner, StringType)) {
+        if (typeof of !== "string" || of === "") {
+            throw new Error(`${where}: \`${prop}.of\` names the ${noun} slot "${field}" holds keys of — a String field holds one kind's keys`);
+        }
+        return { field, shape: "key", of, optional };
+    }
+    if (cases !== undefined) {
+        if (typeof of !== "object" || of === null) {
+            throw new Error(`${where}: "${field}" is a variant — \`${prop}.of\` names a ${noun} slot per case: { ${cases.map((c) => `${c}: "…"`).join(", ")} }`);
+        }
+        const slots = of;
+        const named = Object.keys(slots);
+        if (named.length !== cases.length || !named.every((c) => cases.includes(c))) {
+            throw new Error(`${where}: \`${prop}.of\` names a ${noun} slot for each of "${field}"'s cases (${cases.join(", ")}) — and it names ${named.join(", ") || "none"}`);
+        }
+        const kinds = Object.values(slots);
+        if (new Set(kinds).size !== kinds.length) {
+            throw new Error(`${where}: \`${prop}.of\` names each ${noun} slot once — a case per kind of ${noun} — and it names ${kinds.join(", ")}`);
+        }
+        return { field, shape: "cases", of: slots, cases, optional, variant: inner };
+    }
+    throw new Error(`${where}: \`${prop}.field\` names a field holding a ${noun}'s key — a String, a variant of String cases, or an Option of either — and "${field}" holds ${typeText(type)}`);
+}
+/**
+ * The slots a key field's keys are of, in order.
+ *
+ * @param field - The field, checked
+ * @returns Its one slot, or a slot per case
+ */
+export function keyFieldSlots(field) {
+    return field.shape === "key" ? [field.of] : Object.values(field.of);
+}
+/** A reference to a keyed entity, as an Option: none for an Option field holding none. */
+const RefOption = OptionType(ScheduleResourceRefType);
+/**
+ * Reads a key field as a reference to the entity it names: its kind's slot
+ * and its key — `none` for an Option field holding none, or for a row of a
+ * builder whose kind has no such field.
+ *
+ * @param field - The field, checked; `undefined`, the kind has none
+ * @param rowType - The row type
+ * @returns `(row)` → the reference, if any
+ */
+export function keyFieldRef(field, rowType) {
+    return East.function([rowType], RefOption, (_$, row) => {
+        if (field === undefined)
+            return East.value(none, RefOption);
+        const value = fieldOf(row, field.field);
+        if (field.shape === "key") {
+            const kind = field.of;
+            const ref = (key) => East.value(some(East.value({ kind, key }, ScheduleResourceRefType)), RefOption);
+            return field.optional
+                ? value.match({ none: (_$2) => East.value(none, RefOption), some: (_$2, key) => ref(key) })
+                : ref(value);
+        }
+        const of = field.of;
+        const byCase = (v) => v.match(Object.fromEntries(field.cases.map((c) => [c, (_$2, key) => East.value(some(East.value({ kind: of[c], key }, ScheduleResourceRefType)), RefOption)])));
+        return field.optional
+            ? value.match({ none: (_$2) => East.value(none, RefOption), some: (_$2, v) => byCase(v) })
+            : byCase(value);
+    });
+}
+/**
+ * The value a key field takes for a reference: `none` where the field
+ * refuses it — a reference to a kind it does not hold keys of, or no
+ * reference for a field that must hold one.
+ *
+ * @param field - The field, checked
+ * @param valueType - The field's type
+ * @returns `(ref)` → the field's value, if it takes the reference
+ */
+export function keyFieldValue(field, valueType) {
+    return East.function([RefOption], OptionType(valueType), ($, ref) => {
+        const result = $.let(East.value(none, OptionType(valueType)), OptionType(valueType));
+        $.match(ref, {
+            none: ($2) => {
+                if (field.optional)
+                    $2.assign(result, East.value(some(East.value(none, valueType)), OptionType(valueType)));
+            },
+            some: ($2, r) => {
+                if (field.shape === "key") {
+                    const key = field.optional ? East.value(some(r.key), valueType) : r.key;
+                    $2.if(East.equal(r.kind, field.of), ($3) => { $3.assign(result, East.value(some(key), OptionType(valueType))); });
+                }
+                else {
+                    for (const c of field.cases) {
+                        const caseValue = East.value(variant(c, r.key), field.variant);
+                        const held = field.optional ? East.value(some(caseValue), valueType) : caseValue;
+                        $2.if(East.equal(r.kind, field.of[c]), ($3) => { $3.assign(result, East.value(some(held), OptionType(valueType))); });
+                    }
+                }
+            },
+        });
+        return result;
+    });
+}
+//# sourceMappingURL=fields.js.map

package/dist/src/schedule/fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.js","sourceRoot":"","sources":["../../../src/schedule/fields.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACH,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,GAE3E,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAQjD;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAC,GAAY,EAAE,IAAY;IAC9C,OAAQ,GAA0C,CAAC,IAAI,CAAE,CAAC;AAC9D,CAAC;AAUD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,YAAY,CAAC,OAAmB;IAC5C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAG,CAAC,MAAyB,EAAE,IAAY,EAAE,IAAc,EAA0D,EAAE,CACjI,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;QAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAuB,CAAC;QAClE,8FAA8F;QAC9F,MAAM,KAAK,GAAoE,EAAE,CAAC;QAClF,IAAI,EAAE,GAAG,GAAyB,CAAC;QACnC,IAAI,MAAM,GAAe,OAAO,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;YACxB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;YACxC,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACvB,MAAM,GAAI,MAAM,CAAC,MAAmC,CAAC,IAAI,CAAe,CAAC;QAC7E,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC;QACpB,MAAM,MAAM,GAAG,EAAE,CAAC;QAClB,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAU,EAAE,IAAI,CAAuB,CAAC;QAClK,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC;YACnB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAU,EAAE,IAAI,CAAC,MAAM,CAAuB,CAAC;QACvL,CAAC;QACD,OAAO,IAAa,CAAC;IACzB,CAAC,CAAsE,CAAC;IAC5E,MAAM,OAAO,GAAG,CAAC,MAAkB,EAAE,MAAyB,EAAQ,EAAE;QACpE,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAkC,CAAC,EAAE,CAAC;YACnF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7E,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,CAAC;IACL,CAAC,CAAC;IACF,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACrB,OAAO,OAAO,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,IAAc;IACtC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAiC,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtH,CAAC;AAwBD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,IAAc,EAAE,EAAW,EAAE,KAAoB;IAC1F,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;IACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;IAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;QACjC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,mBAAmB,IAAI,UAAU,KAAK,wDAAwD,CAAC,CAAC;QACvI,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,KAAK,sBAAsB,IAAI,iBAAiB,IAAI,qBAAqB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzJ,CAAC;QACD,MAAM,KAAK,GAAG,EAAsC,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,iBAAiB,IAAI,sBAAsB,KAAK,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QACvK,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,oBAAoB,IAAI,mCAAmC,IAAI,mBAAmB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7I,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACjF,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,oCAAoC,IAAI,+EAA+E,KAAK,WAAW,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAChM,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,KAAe;IACzC,OAAO,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,0FAA0F;AAC1F,MAAM,SAAS,GAAG,UAAU,CAAC,uBAAuB,CAAC,CAAC;AAEtD;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CAAC,KAA2B,EAAE,OAAiB;IACtE,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE;QACnD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,CAAC,GAAyB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3H,OAAO,KAAK,CAAC,QAAQ;gBACjB,CAAC,CAAE,KAAqD,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5I,CAAC,CAAC,GAAG,CAAC,KAAwC,CAAC,CAAC;QACxD,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,CAAqB,EAAE,EAAE,CAAE,CAAgE,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACvJ,CAAC,CAAC,EAAE,CAAC,GAAY,EAAE,GAAyB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAE,EAAE,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjJ,OAAO,KAAK,CAAC,QAAQ;YACjB,CAAC,CAAE,KAAmD,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACzI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAA8F,CAAC;AACpG,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,KAAe,EAAE,SAAmB;IAC9D,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE;QAChE,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAa,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAC9F,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;YACT,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE;gBACT,IAAI,KAAK,CAAC,QAAQ;oBAAE,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAa,EAAE,SAAS,CAAC,CAAU,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAClI,CAAC;YACD,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;gBACZ,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;oBACxB,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;oBACjF,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAU,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/H,CAAC;qBAAM,CAAC;oBACJ,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;wBAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;wBACxE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;wBAC1F,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAU,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACpI,CAAC;gBACL,CAAC;YACL,CAAC;SACJ,CAAC,CAAC;QACH,OAAO,MAAM,CAAC;IAClB,CAAC,CAA0G,CAAC;AAChH,CAAC"}

package/dist/src/schedule/library.d.ts

@@ -58,6 +58,13 @@ export interface ScheduleLibraryTabConfig<K extends EastType, R extends EastType
      */
     source?: string;
 }
+/** How an author's tab's refusals name what its cards land on, by builder. */
+export interface ScheduleTabWords {
+    /** One kind its cards land on, as a refusal names it (`event kind`). */
+    readonly kind: string;
+    /** The patch a drop is built with (`Schedule.patch`). */
+    readonly patch: string;
+}
 /** An author's declared tab, before its accessors are reified. */
 export interface ScheduleTabDeclaration {
     /** Identifies an author-defined tab. */
@@ -68,13 +75,14 @@ export interface ScheduleTabDeclaration {
     readonly config: ScheduleLibraryTabConfig<EastType, EastType>;
 }
 /**
- * Resolves author cards and checks the patch type against the event kinds.
+ * Resolves author cards and checks the patch type against the kinds its cards land on.
  * @param tab - The declared tab
- * @param events - Event kinds by slot
+ * @param events - The kinds a card may land on, by slot: a Schedule builder's event kinds, a Schematic's kinds
  * @param owner - The builder's name for diagnostics
  * @param sources - The builder's Slice sources, which the tab's `source` must be one of
+ * @param words - How the refusals name those kinds and the patch a drop is built with; a Schedule builder's by default
  * @returns The closed author tab
  * @throws {Error} When rows are not keyed, a drop matches zero or several kinds, or the tab names a source the slice lacks
  */
-export declare function buildScheduleTab(tab: ScheduleTabDeclaration, events: readonly (readonly [string, ScheduleEventKind<EastType, EastType>])[], owner: string, sources: readonly string[]): ExprType<typeof ScheduleAuthorTabType>;
+export declare function buildScheduleTab(tab: ScheduleTabDeclaration, events: readonly (readonly [string, Pick<ScheduleEventKind<EastType, EastType>, "rowType">])[], owner: string, sources: readonly string[], words?: ScheduleTabWords): ExprType<typeof ScheduleAuthorTabType>;
 //# sourceMappingURL=library.d.ts.map

package/dist/src/schedule/library.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library.d.ts","sourceRoot":"","sources":["../../../src/schedule/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sEAAsE;AACtE,OAAO,EACH,SAAS,EAAwB,UAAU,EAAE,UAAU,EAAE,UAAU,EACnE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAqB,KAAK,kBAAkB,EAC3E,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAKrD,gEAAgE;AAChE,eAAO,MAAM,uBAAuB;;;;;;;;;EAMlC,CAAC;AAEH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;EAEhC,CAAC;AAEH,kEAAkE;AAClE,MAAM,WAAW,wBAAwB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ;IAC3G,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,KAAK,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9E,uDAAuD;IACvD,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,2CAA2C;IAC3C,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/E,2HAA2H;IAC3H,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3D;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACnC,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;CACjE;AAED;;;;;;;;GAQG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,MAAM,EACtJ,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,QAAQ,CAAC,OAAO,qBAAqB,CAAC,CA4EtE"}
+{"version":3,"file":"library.d.ts","sourceRoot":"","sources":["../../../src/schedule/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sEAAsE;AACtE,OAAO,EACH,SAAS,EAAwB,UAAU,EAAE,UAAU,EAAE,UAAU,EACnE,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAqB,KAAK,kBAAkB,EAC3E,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAKrD,gEAAgE;AAChE,eAAO,MAAM,uBAAuB;;;;;;;;;EAMlC,CAAC;AAEH,yDAAyD;AACzD,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC;AAErE;;;GAGG;AACH,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;EAEhC,CAAC;AAEH,kEAAkE;AAClE,MAAM,WAAW,wBAAwB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,GAAG,QAAQ;IAC3G,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,uBAAuB;IACvB,KAAK,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC9E,uDAAuD;IACvD,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,2CAA2C;IAC3C,KAAK,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/E,2HAA2H;IAC3H,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3D;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8EAA8E;AAC9E,MAAM,WAAW,gBAAgB;IAC7B,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B;AAKD,kEAAkE;AAClE,MAAM,WAAW,sBAAsB;IACnC,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,yBAAyB;IACzB,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;CACjE;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,sBAAsB,EAAE,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,EACxJ,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,GAAE,gBAAiC,GAAG,QAAQ,CAAC,OAAO,qBAAqB,CAAC,CA4E/H"}

package/dist/src/schedule/library.js

@@ -22,16 +22,19 @@ export const ScheduleLibraryCardType = StructType({
 export const ScheduleAuthorTabType = StructType({
     name: StringType, icon: OptionType(StringType), drop: OptionType(StringType), cards: ArrayType(ScheduleLibraryCardType), source: OptionType(StringType),
 });
+/** The words of a Schedule builder's tab: its cards land on event kinds, their drops built with `Schedule.patch`. */
+const SCHEDULE_WORDS = { kind: "event kind", patch: "Schedule.patch" };
 /**
- * Resolves author cards and checks the patch type against the event kinds.
+ * Resolves author cards and checks the patch type against the kinds its cards land on.
  * @param tab - The declared tab
- * @param events - Event kinds by slot
+ * @param events - The kinds a card may land on, by slot: a Schedule builder's event kinds, a Schematic's kinds
  * @param owner - The builder's name for diagnostics
  * @param sources - The builder's Slice sources, which the tab's `source` must be one of
+ * @param words - How the refusals name those kinds and the patch a drop is built with; a Schedule builder's by default
  * @returns The closed author tab
  * @throws {Error} When rows are not keyed, a drop matches zero or several kinds, or the tab names a source the slice lacks
  */
-export function buildScheduleTab(tab, events, owner, sources) {
+export function buildScheduleTab(tab, events, owner, sources, words = SCHEDULE_WORDS) {
     const cfg = tab.config;
     const named = tabSource(owner, cfg.name, cfg.source, sources);
     const where = owner + ': the "' + cfg.name + '" tab';
@@ -53,11 +56,11 @@ export function buildScheduleTab(tab, events, owner, sources) {
             && isTypeEqual(patchType, SchedulePatchTypeFor(kind.rowType)));
         if (takers.length === 0) {
             const kinds = events.map(([slot]) => slot).join(", ");
-            throw new Error(`${where}'s \`drop\` returns a patch over no event kind's row type — build it with Schedule.patch(RowType, { … }) ` +
-                `over the row type of the kind its cards land on (${kinds === "" ? "this " + owner + " has no event kinds" : kinds})`);
+            throw new Error(`${where}'s \`drop\` returns a patch over no ${words.kind}'s row type — build it with ${words.patch}(RowType, { … }) ` +
+                `over the row type of the kind its cards land on (${kinds === "" ? "this " + owner + " has no " + words.kind + "s" : kinds})`);
         }
         if (takers.length > 1) {
-            throw new Error(`${where}'s \`drop\` returns a patch over a row type ${takers.length} event kinds share ` +
+            throw new Error(`${where}'s \`drop\` returns a patch over a row type ${takers.length} ${words.kind}s share ` +
                 `(${takers.map(([slot]) => slot).join(", ")}) — a card lands on one kind, so give each kind a row type of its own`);
         }
         lands = takers[0][0];

package/dist/src/schedule/library.js.map

@@ -1 +1 @@
-{"version":3,"file":"library.js","sourceRoot":"","sources":["../../../src/schedule/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sEAAsE;AACtE,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,GAE1G,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC;IAC9C,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC5B,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,IAAI,EAAE,SAAS,CAAC,sBAAsB,CAAC;CAC1C,CAAC,CAAC;AAKH;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,uBAAuB,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;CAC1J,CAAC,CAAC;AAiCH;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAA2B,EAAE,MAA6E,EAAE,KAAa,EACtJ,OAA0B;IAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAoC,CAAuB,CAAC;IAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAa,CAAC;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kGAAkG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAe,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAiB,CAAC;IAEvC,8EAA8E;IAC9E,IAAI,KAAyB,CAAC;IAC9B,IAAI,MAA0G,CAAC;IAC/G,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9F,MAAM,SAAS,GAAI,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAkB,CAAC,MAAkB,CAAC;QAC5F,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAE,IAAI,CAAC,OAAoB,CAAC,IAAI,KAAK,QAAQ;eAChF,WAAW,CAAC,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAqB,CAAC,CAAC,CAAC,CAAC;QACjF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,2GAA2G;gBAC/H,oDAAoD,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,GAAG,qBAAqB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QAC/H,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+CAA+C,MAAM,CAAC,MAAM,qBAAqB;gBACrG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;QAC5H,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;QACtB,yFAAyF;QACzF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAE,SAAwB,CAAC,MAAkC,CAAC,CAAC;QACzF,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;YAC1F,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,CAA8D,CAAC;YACxH,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE;oBAClB,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,KAA2B,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;iBACpI,CAAC,CAAC;YACP,CAAC;YACD,OAAO,OAAO,CAAC;QACnB,CAAC,CAAsG,CAAC;IAC5G,CAAC;IAED,iEAAiE;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC;QAC3D,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACxF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAiE,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO;YACH,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;YAC1B,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YAC5F,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YACrG,IAAI;SACP,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAI,MAA4D,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QAChG,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpD,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9C,KAAK;QACL,MAAM,EAAE,KAAK;KAChB,EAAE,qBAAqB,CAAC,CAAC;AAC9B,CAAC"}
+{"version":3,"file":"library.js","sourceRoot":"","sources":["../../../src/schedule/library.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,sEAAsE;AACtE,OAAO,EACH,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,GAE1G,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AACvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAEpD,gEAAgE;AAChE,MAAM,CAAC,MAAM,uBAAuB,GAAG,UAAU,CAAC;IAC9C,GAAG,EAAE,UAAU;IACf,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC;IAC5B,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC;IAC7B,IAAI,EAAE,SAAS,CAAC,sBAAsB,CAAC;CAC1C,CAAC,CAAC;AAKH;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC5C,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,uBAAuB,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC;CAC1J,CAAC,CAAC;AA+BH,qHAAqH;AACrH,MAAM,cAAc,GAAqB,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;AAYzF;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAA2B,EAAE,MAA8F,EACxJ,KAAa,EAAE,OAA0B,EAAE,QAA0B,cAAc;IACnF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;IACvB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,GAAG,SAAS,GAAG,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAoC,CAAuB,CAAC;IAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAa,CAAC;IAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,kGAAkG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAe,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAiB,CAAC;IAEvC,8EAA8E;IAC9E,IAAI,KAAyB,CAAC;IAC9B,IAAI,MAA0G,CAAC;IAC/G,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9F,MAAM,SAAS,GAAI,IAAI,CAAC,IAAI,CAAC,MAAyB,CAAkB,CAAC,MAAkB,CAAC;QAC5F,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAE,IAAI,CAAC,OAAoB,CAAC,IAAI,KAAK,QAAQ;eAChF,WAAW,CAAC,SAAS,EAAE,oBAAoB,CAAC,IAAI,CAAC,OAAqB,CAAC,CAAC,CAAC,CAAC;QACjF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uCAAuC,KAAK,CAAC,IAAI,+BAA+B,KAAK,CAAC,KAAK,mBAAmB;gBAClI,oDAAoD,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,GAAG,UAAU,GAAG,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;QACvI,CAAC;QACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,+CAA+C,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,UAAU;gBACxG,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;QAC5H,CAAC;QACD,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;QACtB,yFAAyF;QACzF,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAE,SAAwB,CAAC,MAAkC,CAAC,CAAC;QACzF,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;YAC1F,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,GAAY,EAAE,GAAY,CAAC,CAA8D,CAAC;YACxH,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC7D,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBACxB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAE,EAAE;oBAClB,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,KAA2B,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;iBACpI,CAAC,CAAC;YACP,CAAC;YACD,OAAO,OAAO,CAAC;QACnB,CAAC,CAAsG,CAAC;IAC5G,CAAC;IAED,iEAAiE;IACjE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC;QAC3D,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,uBAAuB,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QACxF,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAiE,CAAC,CAAC;QAC3F,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,sBAAsB,CAAC,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC/B,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,GAAY,EAAE,GAAY,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO;YACH,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC;YAC1B,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YAC5F,KAAK,EAAE,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YACrG,IAAI;SACP,CAAC;IACN,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAI,MAA4D,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE;QAChG,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC/B,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IACH,OAAO,IAAI,CAAC,KAAK,CAAC;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QACpD,IAAI,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAC9C,KAAK;QACL,MAAM,EAAE,KAAK;KAChB,EAAE,qBAAqB,CAAC,CAAC;AAC9B,CAAC"}

package/dist/src/schedule/optimise.d.ts

@@ -0,0 +1,124 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The optimiser's request and answer over a builder's event kinds (#1409,
+ * `Optimise Spec.md` §5.1): what a Calendar's and a Plan's `optimise` asks and
+ * answers — the window in view, the run number, every event kind's rows in the
+ * window and its backlog by slot and by key, and every resource kind's rows as
+ * context; the answer the events, complete. The types are constructors over
+ * the kinds' rows by slot: the same kinds give the same East type, which the
+ * tag holds the bound function to.
+ *
+ * @packageDocumentation
+ */
+import { DateTimeType, DictType, IntegerType, StringType, StructType, type EastType, type ExprType } from "@elaraai/east";
+import { FuncBindingType } from "../bind/func.js";
+/**
+ * The kinds' rows by slot, as an app writes them: each slot's row type, for a
+ * kind whose record is keyed by String, or its record type `DictType(K, R)`,
+ * for one keyed otherwise.
+ */
+export type ScheduleOptimiseRows = Readonly<Record<string, EastType>>;
+/**
+ * The kinds' records by slot, as the East types the rows given make them: a
+ * row type's slot a String-keyed record of it, a Dict type's slot the record
+ * as it is.
+ *
+ * @typeParam Rows - The kinds' rows by slot
+ */
+export type ScheduleOptimiseRecordsOf<Rows extends ScheduleOptimiseRows> = StructType<{
+    [S in keyof Rows & string]: Rows[S] extends DictType<infer K, infer V> ? DictType<K, V> : DictType<StringType, Rows[S]>;
+}>;
+/** The kinds' records by slot on the wire: `{ [slot]: DictType(K, R) }`, the slots in name order. */
+export type ScheduleOptimiseRecordsType = ScheduleOptimiseRecordsOf<ScheduleOptimiseRows>;
+/**
+ * An optimiser's request over event kinds `E` and resource kinds `S` — what
+ * {@link ScheduleOptimiseRequestTypeFor} constructs.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ * @typeParam S - The resource kinds' rows by slot
+ */
+export type ScheduleOptimiseRequestType<E extends ScheduleOptimiseRows = ScheduleOptimiseRows, S extends ScheduleOptimiseRows = ScheduleOptimiseRows> = StructType<{
+    from: DateTimeType;
+    to: DateTimeType;
+    run: IntegerType;
+    events: ScheduleOptimiseRecordsOf<E>;
+    resources: ScheduleOptimiseRecordsOf<S>;
+}>;
+/**
+ * An optimiser's answer over event kinds `E` — what
+ * {@link ScheduleOptimiseResultTypeFor} constructs.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ */
+export type ScheduleOptimiseResultType<E extends ScheduleOptimiseRows = ScheduleOptimiseRows> = StructType<{
+    events: ScheduleOptimiseRecordsOf<E>;
+}>;
+/**
+ * One request to the app's optimiser (#1409): the window in view and the
+ * kinds' rows, as drafted, for the optimiser to schedule or improve — the
+ * Elara eye's one call.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ * @typeParam S - The resource kinds' rows by slot
+ * @param events - The event kinds' rows by slot: each slot's row type (a String-keyed kind's), or its record type `DictType(K, R)`
+ * @param resources - The resource kinds' rows by slot, the same way; none by default
+ * @returns `StructType({ from, to, run, events, resources })`
+ *
+ * @property from - The window's start
+ * @property to - The window's end, exclusive
+ * @property run - The run's number, from 1 per builder per browser
+ * @property events - Each event kind's rows by slot, by key: the kind's rows in the window and its backlog's, the app's own rows as the session holds them — the base with every unapplied draft in place, every row whatever the rail shows
+ * @property resources - Each resource kind's rows by slot, by key, as context
+ */
+export declare function ScheduleOptimiseRequestTypeFor<E extends ScheduleOptimiseRows, S extends ScheduleOptimiseRows = Record<never, never>>(events: E, resources?: S): ScheduleOptimiseRequestType<E, S>;
+/**
+ * The app's optimiser's answer (#1409): every event kind's rows, complete, by
+ * slot and by key. The builder diffs it against the request by key — a key the
+ * request did not hold is an event added, one it held with another row an
+ * event changed, one missing an event removed — and records the diff as one
+ * step of its history.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ * @param events - The event kinds' rows by slot, as the request took them
+ * @returns `StructType({ events })`
+ *
+ * @property events - Each event kind's rows by slot, by key, complete; a new event's key the optimiser's own
+ */
+export declare function ScheduleOptimiseResultTypeFor<E extends ScheduleOptimiseRows>(events: E): ScheduleOptimiseResultType<E>;
+/** A kind's key and row types: what `Schedule.events` and `Schedule.resources` hold of their records. */
+interface ScheduleKeyed {
+    /** The kind's key type. */
+    readonly keyType: EastType;
+    /** The kind's row type. */
+    readonly rowType: EastType;
+}
+/**
+ * The kinds' records by slot, from the kinds themselves: what a builder's
+ * request and answer are built over, and the renderer builds a run's request
+ * type from.
+ *
+ * @param kinds - The kinds, by slot
+ * @returns Each slot's record type, `DictType(K, R)`
+ * @internal
+ */
+export declare function scheduleOptimiseRows(kinds: readonly (readonly [string, ScheduleKeyed])[]): ScheduleOptimiseRows;
+/**
+ * A Calendar's or a Plan's `optimise` binding, checked (#1409): `Func.bind` of
+ * an `e3.function` from `OptimiseRequest(E, S)` to `OptimiseResult(E)` over the
+ * builder's kinds' rows by slot.
+ *
+ * @param builder - The builder, as the refusals name it
+ * @param optimise - What the app passed as `optimise`
+ * @param events - The event kinds, by slot
+ * @param resources - The resource kinds, by slot
+ * @returns The binding's descriptor, which names the function
+ * @throws {Error} When it is not a `Func.bind` handle, or its function asks or answers another type, naming it — one bound
+ *   over the same slots' other rows naming both
+ * @internal
+ */
+export declare function scheduleOptimiseBinding(builder: "Calendar" | "Plan", optimise: unknown, events: readonly (readonly [string, ScheduleKeyed])[], resources: readonly (readonly [string, ScheduleKeyed])[]): ExprType<typeof FuncBindingType>;
+export {};
+//# sourceMappingURL=optimise.d.ts.map

package/dist/src/schedule/optimise.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimise.d.ts","sourceRoot":"","sources":["../../../src/schedule/optimise.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAA0B,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAE,MAAM,eAAe,CAAC;AAClJ,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAGlD;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,MAAM,yBAAyB,CAAC,IAAI,SAAS,oBAAoB,IAAI,UAAU,CAAC;KACjF,CAAC,IAAI,MAAM,IAAI,GAAG,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;CAC1H,CAAC,CAAC;AAEH,qGAAqG;AACrG,MAAM,MAAM,2BAA2B,GAAG,yBAAyB,CAAC,oBAAoB,CAAC,CAAC;AAE1F;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,oBAAoB,GAAG,oBAAoB,EAAE,CAAC,SAAS,oBAAoB,GAAG,oBAAoB,IAAI,UAAU,CAAC;IAC/J,IAAI,EAAE,YAAY,CAAC;IAAC,EAAE,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;IAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;CACzI,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,oBAAoB,GAAG,oBAAoB,IAAI,UAAU,CAAC;IAAE,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC;AAkBrJ;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,8BAA8B,CAAC,CAAC,SAAS,oBAAoB,EAAE,CAAC,SAAS,oBAAoB,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAChI,MAAM,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC,GACzB,2BAA2B,CAAC,CAAC,EAAE,CAAC,CAAC,CAInC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,6BAA6B,CAAC,CAAC,SAAS,oBAAoB,EAAE,MAAM,EAAE,CAAC,GAAG,0BAA0B,CAAC,CAAC,CAAC,CAEtH;AAED,yGAAyG;AACzG,UAAU,aAAa;IACnB,2BAA2B;IAC3B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,2BAA2B;IAC3B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;CAC9B;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,oBAAoB,CAE/G;AAcD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CACnC,OAAO,EAAE,UAAU,GAAG,MAAM,EAC5B,QAAQ,EAAE,OAAO,EACjB,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,EACrD,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,EAAE,GACzD,QAAQ,CAAC,OAAO,eAAe,CAAC,CA0BlC"}

package/dist/src/schedule/optimise.js

@@ -0,0 +1,140 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * The optimiser's request and answer over a builder's event kinds (#1409,
+ * `Optimise Spec.md` §5.1): what a Calendar's and a Plan's `optimise` asks and
+ * answers — the window in view, the run number, every event kind's rows in the
+ * window and its backlog by slot and by key, and every resource kind's rows as
+ * context; the answer the events, complete. The types are constructors over
+ * the kinds' rows by slot: the same kinds give the same East type, which the
+ * tag holds the bound function to.
+ *
+ * @packageDocumentation
+ */
+import { DateTimeType, DictType, IntegerType, StringType, StructType, isTypeEqual, printType } from "@elaraai/east";
+import { FuncBindingType } from "../bind/func.js";
+import { optimiseBinding } from "../utils/optimise.js";
+/**
+ * The kinds' records by slot: each a `Dict` of the kind's rows by its key — a
+ * row type given stands for a String-keyed kind's record, a Dict type for the
+ * kind's record as it is — the slots in name order, so the same kinds give the
+ * same type however they are listed.
+ *
+ * @param rows - The kinds' rows by slot
+ * @returns The records by slot
+ */
+function recordsOf(rows) {
+    return StructType(Object.fromEntries(Object.keys(rows).sort().map((slot) => {
+        const given = rows[slot];
+        return [slot, given.type === "Dict" ? given : DictType(StringType, given)];
+    })));
+}
+/**
+ * One request to the app's optimiser (#1409): the window in view and the
+ * kinds' rows, as drafted, for the optimiser to schedule or improve — the
+ * Elara eye's one call.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ * @typeParam S - The resource kinds' rows by slot
+ * @param events - The event kinds' rows by slot: each slot's row type (a String-keyed kind's), or its record type `DictType(K, R)`
+ * @param resources - The resource kinds' rows by slot, the same way; none by default
+ * @returns `StructType({ from, to, run, events, resources })`
+ *
+ * @property from - The window's start
+ * @property to - The window's end, exclusive
+ * @property run - The run's number, from 1 per builder per browser
+ * @property events - Each event kind's rows by slot, by key: the kind's rows in the window and its backlog's, the app's own rows as the session holds them — the base with every unapplied draft in place, every row whatever the rail shows
+ * @property resources - Each resource kind's rows by slot, by key, as context
+ */
+export function ScheduleOptimiseRequestTypeFor(events, resources) {
+    return StructType({
+        from: DateTimeType, to: DateTimeType, run: IntegerType, events: recordsOf(events), resources: recordsOf(resources ?? {}),
+    });
+}
+/**
+ * The app's optimiser's answer (#1409): every event kind's rows, complete, by
+ * slot and by key. The builder diffs it against the request by key — a key the
+ * request did not hold is an event added, one it held with another row an
+ * event changed, one missing an event removed — and records the diff as one
+ * step of its history.
+ *
+ * @typeParam E - The event kinds' rows by slot
+ * @param events - The event kinds' rows by slot, as the request took them
+ * @returns `StructType({ events })`
+ *
+ * @property events - Each event kind's rows by slot, by key, complete; a new event's key the optimiser's own
+ */
+export function ScheduleOptimiseResultTypeFor(events) {
+    return StructType({ events: recordsOf(events) });
+}
+/**
+ * The kinds' records by slot, from the kinds themselves: what a builder's
+ * request and answer are built over, and the renderer builds a run's request
+ * type from.
+ *
+ * @param kinds - The kinds, by slot
+ * @returns Each slot's record type, `DictType(K, R)`
+ * @internal
+ */
+export function scheduleOptimiseRows(kinds) {
+    return Object.fromEntries(kinds.map(([slot, kind]) => [slot, DictType(kind.keyType, kind.rowType)]));
+}
+/**
+ * The kinds' rows by slot, printed as an app writes them: a String-keyed
+ * kind's row type, another kind's record type.
+ *
+ * @param records - The records by slot
+ * @returns `{ job: .Struct […], … }`
+ */
+function printRows(records) {
+    const fields = records.fields;
+    return `{ ${Object.entries(fields).map(([slot, record]) => `${slot}: ${printType(record.key.type === "String" ? record.value : record)}`).join(", ")} }`;
+}
+/**
+ * A Calendar's or a Plan's `optimise` binding, checked (#1409): `Func.bind` of
+ * an `e3.function` from `OptimiseRequest(E, S)` to `OptimiseResult(E)` over the
+ * builder's kinds' rows by slot.
+ *
+ * @param builder - The builder, as the refusals name it
+ * @param optimise - What the app passed as `optimise`
+ * @param events - The event kinds, by slot
+ * @param resources - The resource kinds, by slot
+ * @returns The binding's descriptor, which names the function
+ * @throws {Error} When it is not a `Func.bind` handle, or its function asks or answers another type, naming it — one bound
+ *   over the same slots' other rows naming both
+ * @internal
+ */
+export function scheduleOptimiseBinding(builder, optimise, events, resources) {
+    const eventRows = scheduleOptimiseRows(events);
+    const resourceRows = scheduleOptimiseRows(resources);
+    const request = ScheduleOptimiseRequestTypeFor(eventRows, resourceRows);
+    const result = ScheduleOptimiseResultTypeFor(eventRows);
+    const slotsOf = (s) => Object.keys(s.fields).sort().join("\u0000");
+    const records = (s) => Object.values(s.fields).every((f) => f.type === "Dict");
+    return optimiseBinding(optimise, {
+        builder, request, result,
+        signature: `from ${builder}.Types.OptimiseRequest(E, S) to ${builder}.Types.OptimiseResult(E), E the event kinds' row types by slot and S the resource kinds'`,
+        names: { request: `${builder}.Types.OptimiseRequest`, result: `${builder}.Types.OptimiseResult` },
+        rows: { request: `${printRows(request.fields.events)}, ${printRows(request.fields.resources)}`, result: printRows(result.fields.events) },
+        noun: { theirs: "event rows", ours: "the kinds' rows" }, of: "the kinds' row types by slot",
+        otherRows: (asked) => {
+            // A request of this shape over other rows: the same slots, each a record, another row type in one of them.
+            if (asked.type !== "Struct")
+                return undefined;
+            const theirEvents = asked.fields["events"], theirResources = asked.fields["resources"];
+            if (theirEvents?.type !== "Struct" || theirResources?.type !== "Struct")
+                return undefined;
+            if (slotsOf(theirEvents) !== slotsOf(request.fields.events) || slotsOf(theirResources) !== slotsOf(request.fields.resources))
+                return undefined;
+            if (!records(theirEvents) || !records(theirResources))
+                return undefined;
+            const rebuilt = ScheduleOptimiseRequestTypeFor(theirEvents.fields, theirResources.fields);
+            return isTypeEqual(asked, rebuilt)
+                ? `${printRows(theirEvents)}, ${printRows(theirResources)}`
+                : undefined;
+        },
+    });
+}
+//# sourceMappingURL=optimise.js.map

package/dist/src/schedule/optimise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"optimise.js","sourceRoot":"","sources":["../../../src/schedule/optimise.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAgC,MAAM,eAAe,CAAC;AAClJ,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AA0CvD;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,IAA0B;IACzC,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACvE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAE,CAAC;QAC1B,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC,CAAgC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,8BAA8B,CAC1C,MAAS,EAAE,SAAa;IAExB,OAAO,UAAU,CAAC;QACd,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,IAAI,EAAE,CAAC;KAC3H,CAAiD,CAAC;AACvD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CAAiC,MAAS;IACnF,OAAO,UAAU,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,CAA6C,CAAC;AACjG,CAAC;AAUD;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAoD;IACrF,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AACzG,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,OAAoC;IACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAsD,CAAC;IAC9E,OAAO,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC7J,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,uBAAuB,CACnC,OAA4B,EAC5B,QAAiB,EACjB,MAAqD,EACrD,SAAwD;IAExD,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,YAAY,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,OAAO,GAAgC,8BAA8B,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;IACrG,MAAM,MAAM,GAA+B,6BAA6B,CAAC,SAAS,CAAC,CAAC;IACpF,MAAM,OAAO,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,CAAC,CAAa,EAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAkC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAChI,OAAO,eAAe,CAAC,QAAQ,EAAE;QAC7B,OAAO,EAAE,OAAO,EAAE,MAAM;QACxB,SAAS,EAAE,QAAQ,OAAO,mCAAmC,OAAO,0FAA0F;QAC9J,KAAK,EAAE,EAAE,OAAO,EAAE,GAAG,OAAO,wBAAwB,EAAE,MAAM,EAAE,GAAG,OAAO,uBAAuB,EAAE;QACjG,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;QACzI,IAAI,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,EAAE,8BAA8B;QAC3F,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;YACjB,2GAA2G;YAC3G,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAC9C,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,cAAc,GAAG,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACvF,IAAI,WAAW,EAAE,IAAI,KAAK,QAAQ,IAAI,cAAc,EAAE,IAAI,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YAC1F,IAAI,OAAO,CAAC,WAAW,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,OAAO,CAAC,cAAc,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC/I,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;gBAAE,OAAO,SAAS,CAAC;YACxE,MAAM,OAAO,GAAG,8BAA8B,CAAC,WAAW,CAAC,MAA8B,EAAE,cAAc,CAAC,MAA8B,CAAC,CAAC;YAC1I,OAAO,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;gBAC9B,CAAC,CAAC,GAAG,SAAS,CAAC,WAA0C,CAAC,KAAK,SAAS,CAAC,cAA6C,CAAC,EAAE;gBACzH,CAAC,CAAC,SAAS,CAAC;QACpB,CAAC;KACJ,CAAC,CAAC;AACP,CAAC"}