@elaraai/e3-ui 1.0.86 → 1.0.87

package/dist/src/utils/derive.js

@@ -2,13 +2,15 @@
  * Copyright (c) 2025 Elara AI Pty Ltd
  * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
  */
-import { variant, walkIR, constValueOf } from '@elaraai/east';
+import { ArrayType, EastTypeType, StringType, StructType, constValueOf, equalFor, none, variant, walkIR, } from '@elaraai/east';
+import { TreePathType } from '@elaraai/e3-types';
 /** Platform-fn name we extract paths from. */
 const DATA_BIND = "data_bind";
 /** Platform-fn names we extract paged-source paths from: `Data.bindPaged`'s
  *  own, and the one a UI exported before pinned reads calls. */
 const DATA_BIND_PAGED_PINNED = "data_bind_paged_pinned";
 const DATA_BIND_PAGED = "data_bind_paged";
+const DATA_BIND_INDEXED = "data_bind_indexed";
 /** Platform-fn name we extract bound function names from. */
 const FUNCTION_BIND = "function_bind";
 /** Platform-fn name we extract bound record names from. */
@@ -28,11 +30,9 @@ export function deriveManifest(fn) {
                 functions.push(constValueOf(platform.value.arguments[0]));
                 return;
             case RECORD_BIND: {
-                // Bind the record's name, and preload its `.records.<name>`
-                // path so the record's value is polled like any dataset.
-                const name = constValueOf(platform.value.arguments[0]);
-                records.push(name);
-                paths.push([variant('field', 'records'), variant('field', name)]);
+                // Bind the record's name; its `.records.<name>` path is
+                // preloaded below, unless the record is read paged too.
+                records.push(constValueOf(platform.value.arguments[0]));
                 return;
             }
             case DATA_BIND: {
@@ -43,6 +43,7 @@ export function deriveManifest(fn) {
                     paths.push(patch.value);
                 return;
             }
+            case DATA_BIND_INDEXED:
             case DATA_BIND_PAGED_PINNED:
             case DATA_BIND_PAGED: {
                 // arg[0] source TreePath. Paged sources are read by window, so
@@ -52,6 +53,14 @@ export function deriveManifest(fn) {
             }
         }
     });
+    // Each bound record's value is preloaded and polled like any dataset — but
+    // a record also bound paged, which is read a window at a time (#1199).
+    const paged = new Set(pages.map(pathKey));
+    for (const name of new Set(records)) {
+        const path = [variant('field', 'records'), variant('field', name)];
+        if (!paged.has(pathKey(path)))
+            paths.push(path);
+    }
     return {
         paths: dedupePaths(paths),
         functions: [...new Set(functions)],
@@ -59,11 +68,15 @@ export function deriveManifest(fn) {
         pages: dedupePaths(pages),
     };
 }
+/** A path's identity, as the manifest dedupes and matches paths by. */
+function pathKey(path) {
+    return path.map(s => `${s.type}:${s.value}`).join('/');
+}
 function dedupePaths(paths) {
     const seen = new Set();
     const result = [];
     for (const p of paths) {
-        const k = p.map(s => `${s.type}:${s.value}`).join('/');
+        const k = pathKey(p);
         if (seen.has(k))
             continue;
         seen.add(k);
@@ -71,4 +84,393 @@ function dedupePaths(paths) {
     }
     return result;
 }
+// ============================================================================
+// What a UI writes and calls
+// ============================================================================
+/** Platform-fn name of `Decision.bind`, which writes through the views it is
+ *  given. */
+const DECISION_BIND = "decision_bind";
+/**
+ * What a UI writes and calls, read from its IR before it deploys.
+ *
+ * @property writes - The bound datasets the UI may write, each once, in the
+ *   order its bindings appear in its IR
+ * @property records - Each record the UI binds or pages through, in the order
+ *   its IR first names it: the mutations its `Record.bind` calls bind, each
+ *   with the argument types it takes after the record's state, as a record's
+ *   signature names them (`argTypes`), and the indexes its paged reads go
+ *   through
+ */
+export const UiAccessType = StructType({
+    writes: ArrayType(TreePathType),
+    records: ArrayType(StructType({
+        name: StringType,
+        mutations: ArrayType(StructType({ name: StringType, argTypes: ArrayType(EastTypeType) })),
+        indexes: ArrayType(StringType),
+    })),
+});
+const pathEqual = equalFor(TreePathType);
+/** The path every record's dataset lies under. */
+const RECORDS = [variant('field', 'records')];
+/** A `Data.bind` handle's fields that only read: none writes a dataset. */
+const HANDLE_READS = new Set(["read", "source", "pending", "has", "status", "start"]);
+/** The handle's fields that write, by the use each makes. */
+const HANDLE_WRITES = new Map([
+    ["write", "write"], ["writeAndStart", "write"], ["commit", "commit"], ["discard", "discard"],
+]);
+/** `Record.bind`'s mutate fields that follow its channel rather than name a
+ *  mutation. */
+const MUTATE_CONTROLS = new Set(["pending", "status", "error", "cancel"]);
+/**
+ * Read what a UI writes and calls from its IR: the bound datasets it may
+ * write, and for each record it binds, the mutations it binds and the indexes
+ * it reads through.
+ *
+ * @remarks
+ * A host runs it on a UI before deploying it, to check the UI against the
+ * package: a dataset the UI writes must be writable, and a mutation it binds
+ * must exist with its argument types. Nothing is stored for it: it reads the
+ * IR as it stands, so a UI built here and one decoded off the wire read alike.
+ *
+ * A `Data.bind` writes by what the UI does with its handle, and by the
+ * binding's mode and patch dataset:
+ * - its `write` (or `writeAndStart`) writes a direct binding's source, or its
+ *   patch dataset when it has one; a staged binding's only stages;
+ * - its `commit` writes a staged binding's source, or its patch dataset when
+ *   it has one, and applies a direct binding's patch dataset to its source,
+ *   clearing it; its `discard` clears a direct binding's patch dataset;
+ * - its `read`, `source`, `pending`, `has`, `status` and `start` write
+ *   nothing, and nor does reading a field of its `binding`;
+ * - `Decision.bind`, given its `binding`, writes through its `write`, as the
+ *   decision handle does;
+ * - handed on any other way — to a component, a function or a value, or its
+ *   `binding` to a `<Diff>` — it may be used for anything it allows.
+ *
+ * A handle is followed through the variables that hold it, by name and scope
+ * as East resolves them: within a scope chain no two variables share a name.
+ * A record's mutations are the ones its `Record.bind` handle binds, whichever
+ * the UI calls.
+ *
+ * @param ir - The UI's IR: its function's, as `fn.toIR().ir` gives it, or as
+ *   decoded from a package
+ * @returns What the UI writes, and of each record it binds, what it calls
+ * @throws {Error} When a binding's path, mode, record name or index name is
+ *   not a literal, as {@link deriveManifest} throws
+ *
+ * @example
+ * ```ts
+ * const access = deriveUiAccess(dashboard.toIR().ir);
+ * for (const path of access.writes) {
+ *   // the package must declare the dataset at `path` writable
+ * }
+ * ```
+ */
+export function deriveUiAccess(ir) {
+    const bindings = [];
+    const made = new Map();
+    const records = [];
+    const recordNamed = (name) => {
+        let record = records.find((r) => r.name === name);
+        if (record === undefined) {
+            record = { name, mutations: new Map(), indexes: [] };
+            records.push(record);
+        }
+        return record;
+    };
+    /** The binding a `data_bind` call makes, made once per call. */
+    const bindingOf = (call) => {
+        let binding = made.get(call);
+        if (binding === undefined) {
+            const [source, patch, mode] = call.value.arguments;
+            binding = {
+                source: constValueOf(source),
+                patch: constValueOf(patch),
+                staged: constValueOf(mode).type === "staged",
+                uses: new Set(),
+            };
+            made.set(call, binding);
+            bindings.push(binding);
+        }
+        return binding;
+    };
+    /** The bindings whose handle an expression's value may be: a `Data.bind`
+     *  call, a variable holding one, or either cast; `null` for none. */
+    const handlesOf = (node, scope) => {
+        if (node.type === "Platform" && node.value.name === DATA_BIND)
+            return new Set([bindingOf(node)]);
+        if (node.type === "As")
+            return handlesOf(node.value.value, scope);
+        if (node.type === "Variable") {
+            for (let s = scope; s !== null; s = s.parent) {
+                const held = s.names.get(node.value.name);
+                if (held !== undefined)
+                    return held.size === 0 ? null : held;
+            }
+        }
+        return null;
+    };
+    const use = (held, how) => {
+        for (const binding of held)
+            binding.uses.add(how);
+    };
+    /** A scope inside `scope`, declaring `declared`, none holding a handle. */
+    const inner = (scope, ...declared) => ({
+        names: new Map(declared.map((variable) => [variable.value.name, new Set()])),
+        parent: scope,
+    });
+    const walkPlatform = (call, scope) => {
+        const args = call.value.arguments;
+        switch (call.value.name) {
+            case DATA_BIND:
+                // A handle neither held nor read where it is made: handed on.
+                use(new Set([bindingOf(call)]), "onward");
+                return;
+            case RECORD_BIND: {
+                const record = recordNamed(constValueOf(args[0]));
+                const handle = call.value.type_parameters[0];
+                const mutate = handle?.type === "Struct"
+                    ? handle.value.find((field) => field.name === "mutate")?.type
+                    : undefined;
+                if (mutate?.type === "Struct") {
+                    for (const { name, type } of mutate.value) {
+                        if (!MUTATE_CONTROLS.has(name) && type.type === "Function" && !record.mutations.has(name)) {
+                            record.mutations.set(name, type.value.inputs);
+                        }
+                    }
+                }
+                return;
+            }
+            case DATA_BIND_INDEXED:
+            case DATA_BIND_PAGED:
+            case DATA_BIND_PAGED_PINNED: {
+                const source = constValueOf(args[0]);
+                if (source.length === 2 && pathEqual(source.slice(0, 1), RECORDS)) {
+                    const record = recordNamed(source[1].value);
+                    if (call.value.name === DATA_BIND_INDEXED) {
+                        // Each field of the binding's Indexes type names a
+                        // declared index, including computed and interval keys.
+                        const indexes = call.value.type_parameters[3];
+                        if (indexes?.type !== "Struct")
+                            throw new Error("data_bind_indexed requires a Struct of declared indexes");
+                        for (const { name } of indexes.value) {
+                            if (!record.indexes.includes(name))
+                                record.indexes.push(name);
+                        }
+                    }
+                    else {
+                        const index = call.value.name === DATA_BIND_PAGED_PINNED
+                            ? constValueOf(args[1])
+                            : none;
+                        if (index.type === "some" && !record.indexes.includes(index.value))
+                            record.indexes.push(index.value);
+                    }
+                }
+                return;
+            }
+            case DECISION_BIND: {
+                // The decision handle writes each view, and the judgements,
+                // through the view's own `write` (`DecisionBindPlatform`).
+                const [views, judgements] = args;
+                const through = (argument) => {
+                    const held = argument.type === "GetField" && argument.value.field === "binding"
+                        ? handlesOf(argument.value.struct, scope)
+                        : null;
+                    if (held !== null)
+                        use(held, "write");
+                    else
+                        walk(argument, scope);
+                };
+                if (views.type === "NewArray") {
+                    for (const view of views.value.values)
+                        through(view);
+                }
+                else {
+                    walk(views, scope);
+                }
+                through(judgements);
+                return;
+            }
+            default:
+                for (const argument of args)
+                    walk(argument, scope);
+                return;
+        }
+    };
+    const walk = (node, scope) => {
+        switch (node.type) {
+            case "Value":
+            case "Continue":
+            case "Break":
+                return;
+            case "Variable":
+            case "As": {
+                const held = handlesOf(node, scope);
+                if (held !== null)
+                    use(held, "onward");
+                else if (node.type === "As")
+                    walk(node.value.value, scope);
+                return;
+            }
+            case "GetField": {
+                const struct = node.value.struct;
+                const held = handlesOf(struct, scope);
+                if (held !== null) {
+                    if (!HANDLE_READS.has(node.value.field))
+                        use(held, HANDLE_WRITES.get(node.value.field) ?? "onward");
+                    return;
+                }
+                // A field of a handle's `binding`, read: the descriptor itself is
+                // not handed on.
+                if (struct.type === "GetField" && struct.value.field === "binding" && handlesOf(struct.value.struct, scope) !== null)
+                    return;
+                walk(struct, scope);
+                return;
+            }
+            case "Let": {
+                const held = handlesOf(node.value.value, scope);
+                if (held === null)
+                    walk(node.value.value, scope);
+                scope.names.set(node.value.variable.value.name, new Set(held ?? []));
+                return;
+            }
+            case "Assign": {
+                const held = handlesOf(node.value.value, scope);
+                if (held === null) {
+                    walk(node.value.value, scope);
+                    return;
+                }
+                // What the variable is used for afterwards is not traced back to
+                // a handle assigned over another, so it may be used for anything.
+                use(held, "onward");
+                for (let s = scope; s !== null; s = s.parent) {
+                    const holds = s.names.get(node.value.variable.value.name);
+                    if (holds !== undefined) {
+                        for (const binding of held)
+                            holds.add(binding);
+                        break;
+                    }
+                }
+                return;
+            }
+            case "Function":
+            case "AsyncFunction":
+                walk(node.value.body, inner(scope, ...node.value.parameters));
+                return;
+            case "Block": {
+                const block = inner(scope);
+                for (const statement of node.value.statements)
+                    walk(statement, block);
+                return;
+            }
+            case "IfElse":
+                for (const branch of node.value.ifs) {
+                    walk(branch.predicate, scope);
+                    walk(branch.body, inner(scope));
+                }
+                walk(node.value.else_body, inner(scope));
+                return;
+            case "Match":
+                walk(node.value.variant, scope);
+                for (const arm of node.value.cases)
+                    walk(arm.body, inner(scope, arm.variable));
+                return;
+            case "While":
+                walk(node.value.predicate, scope);
+                walk(node.value.body, inner(scope));
+                return;
+            case "ForArray":
+                walk(node.value.array, scope);
+                walk(node.value.body, inner(scope, node.value.key, node.value.value));
+                return;
+            case "ForSet":
+                walk(node.value.set, scope);
+                walk(node.value.body, inner(scope, node.value.key));
+                return;
+            case "ForDict":
+                walk(node.value.dict, scope);
+                walk(node.value.body, inner(scope, node.value.key, node.value.value));
+                return;
+            case "TryCatch":
+                walk(node.value.try_body, inner(scope));
+                walk(node.value.catch_body, inner(scope, node.value.message, node.value.stack));
+                walk(node.value.finally_body, inner(scope));
+                return;
+            case "Platform":
+                walkPlatform(node, scope);
+                return;
+            case "Call":
+            case "CallAsync":
+                walk(node.value.function, scope);
+                for (const argument of node.value.arguments)
+                    walk(argument, scope);
+                return;
+            case "NewArray":
+            case "NewSet":
+            case "NewVector":
+            case "NewMatrix":
+                for (const value of node.value.values)
+                    walk(value, scope);
+                return;
+            case "NewDict":
+                for (const entry of node.value.values) {
+                    walk(entry.key, scope);
+                    walk(entry.value, scope);
+                }
+                return;
+            case "Struct":
+                for (const field of node.value.fields)
+                    walk(field.value, scope);
+                return;
+            case "Builtin":
+                for (const argument of node.value.arguments)
+                    walk(argument, scope);
+                return;
+            case "Error":
+                walk(node.value.message, scope);
+                return;
+            case "Variant":
+            case "NewRef":
+            case "UnwrapRecursive":
+            case "WrapRecursive":
+            case "Return":
+                walk(node.value.value, scope);
+                return;
+            default:
+                // Every kind of node is walked above: a new one fails the build
+                // here rather than hide the writes beneath it.
+                node;
+        }
+    };
+    walk(ir, { names: new Map(), parent: null });
+    const writes = [];
+    const wrote = (path) => {
+        if (!writes.some((written) => pathEqual(written, path)))
+            writes.push(path);
+    };
+    for (const { source, patch, staged, uses } of bindings) {
+        const any = (...hows) => hows.some((how) => uses.has(how));
+        if (patch.type === "none") {
+            if (any(staged ? "commit" : "write", "onward"))
+                wrote(source);
+        }
+        else if (staged) {
+            if (any("commit", "onward"))
+                wrote(patch.value);
+        }
+        else {
+            if (any("write", "commit", "discard", "onward"))
+                wrote(patch.value);
+            if (any("commit", "onward"))
+                wrote(source);
+        }
+    }
+    return {
+        writes,
+        records: records.map(({ name, mutations, indexes }) => ({
+            name,
+            mutations: [...mutations].map(([mutation, argTypes]) => ({ name: mutation, argTypes })),
+            indexes,
+        })),
+    };
+}
 //# sourceMappingURL=derive.js.map

package/dist/src/utils/derive.js.map

@@ -1 +1 @@
-{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/utils/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAwBH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAI9D,8CAA8C;AAC9C,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B;gEACgE;AAChE,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AACxD,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAE1C,6DAA6D;AAC7D,MAAM,aAAa,GAAG,eAAe,CAAC;AAEtC,2DAA2D;AAC3D,MAAM,WAAW,GAAG,aAAa,CAAC;AAElC,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC1B,EAA0B;IAE1B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,MAAM,QAAQ,GAAG,IAAkB,CAAC;QACpC,QAAQ,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,aAAa;gBACd,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAW,CAAC,CAAC;gBAC1E,OAAO;YACX,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,4DAA4D;gBAC5D,yDAAyD;gBACzD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAW,CAAC;gBACvE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAClE,OAAO;YACX,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,yDAAyD;gBACzD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAa,CAAC,CAAC;gBACxE,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAsC,CAAC;gBACnG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACnD,OAAO;YACX,CAAC;YACD,KAAK,sBAAsB,CAAC;YAC5B,KAAK,eAAe,CAAC,CAAC,CAAC;gBACnB,+DAA+D;gBAC/D,8DAA8D;gBAC9D,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAa,CAAC,CAAC;gBACxE,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO;QACH,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;KAC5B,CAAC;AACN,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC"}
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/utils/derive.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAmCH,OAAO,EACH,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,GACjG,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,YAAY,EAAiB,MAAM,mBAAmB,CAAC;AAIhE,8CAA8C;AAC9C,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B;gEACgE;AAChE,MAAM,sBAAsB,GAAG,wBAAwB,CAAC;AACxD,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAC1C,MAAM,iBAAiB,GAAG,mBAAmB,CAAC;AAE9C,6DAA6D;AAC7D,MAAM,aAAa,GAAG,eAAe,CAAC;AAEtC,2DAA2D;AAC3D,MAAM,WAAW,GAAG,aAAa,CAAC;AAElC,yDAAyD;AACzD,MAAM,UAAU,cAAc,CAC1B,EAA0B;IAE1B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO;QACrC,MAAM,QAAQ,GAAG,IAAkB,CAAC;QACpC,QAAQ,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC1B,KAAK,aAAa;gBACd,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAW,CAAC,CAAC;gBAC1E,OAAO;YACX,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,wDAAwD;gBACxD,wDAAwD;gBACxD,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAW,CAAC,CAAC;gBACxE,OAAO;YACX,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACb,yDAAyD;gBACzD,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAa,CAAC,CAAC;gBACxE,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAA0C,CAAC;gBACvG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACnD,OAAO;YACX,CAAC;YACD,KAAK,iBAAiB,CAAC;YACvB,KAAK,sBAAsB,CAAC;YAC5B,KAAK,eAAe,CAAC,CAAC,CAAC;gBACnB,+DAA+D;gBAC/D,8DAA8D;gBAC9D,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAO,CAAa,CAAC,CAAC;gBACxE,OAAO;YACX,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAC;IACH,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,GAAa,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC;IACD,OAAO;QACH,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QAClC,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC;KAC5B,CAAC;AACN,CAAC;AAED,uEAAuE;AACvE,SAAS,OAAO,CAAC,IAAc;IAC3B,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC3D,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,+EAA+E;AAC/E,6BAA6B;AAC7B,+EAA+E;AAE/E;aACa;AACb,MAAM,aAAa,GAAG,eAAe,CAAC;AAEtC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAC;IACnC,MAAM,EAAE,SAAS,CAAC,YAAY,CAAC;IAC/B,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC;QAC1B,IAAI,EAAE,UAAU;QAChB,SAAS,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACzF,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC;KACjC,CAAC,CAAC;CACN,CAAC,CAAC;AAMH,MAAM,SAAS,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;AAEzC,kDAAkD;AAClD,MAAM,OAAO,GAAa,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;AAExD,2EAA2E;AAC3E,MAAM,YAAY,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;AAU3G,6DAA6D;AAC7D,MAAM,aAAa,GAAmC,IAAI,GAAG,CAAoB;IAC7E,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,eAAe,EAAE,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/F,CAAC,CAAC;AAEH;gBACgB;AAChB,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;AAkB/F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AACH,MAAM,UAAU,cAAc,CAAC,EAAM;IACjC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAe,CAAC;IACpC,MAAM,OAAO,GAAmF,EAAE,CAAC;IAEnG,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAE;QACjC,IAAI,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAClD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACrD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IAEF,gEAAgE;IAChE,MAAM,SAAS,GAAG,CAAC,IAAgB,EAAW,EAAE;QAC5C,IAAI,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAiB,CAAC;YAC3D,OAAO,GAAG;gBACN,MAAM,EAAE,YAAY,CAAC,MAAO,CAAa;gBACzC,KAAK,EAAE,YAAY,CAAC,KAAM,CAA0C;gBACpE,MAAM,EAAG,YAAY,CAAC,IAAK,CAAmC,CAAC,IAAI,KAAK,QAAQ;gBAChF,IAAI,EAAE,IAAI,GAAG,EAAE;aAClB,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC;IAEF;yEACqE;IACrE,MAAM,SAAS,GAAG,CAAC,IAAQ,EAAE,KAAY,EAAuB,EAAE;QAC9D,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjG,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAiB,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzD,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC1C,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YACjE,CAAC;QACL,CAAC;QACD,OAAO,IAAI,CAAC;IAChB,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,CAAC,IAA0B,EAAE,GAAc,EAAQ,EAAE;QAC7D,KAAK,MAAM,OAAO,IAAI,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,2EAA2E;IAC3E,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,GAAG,QAAsB,EAAS,EAAE,CAAC,CAAC;QAC/D,KAAK,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,EAAW,CAAC,CAAC,CAAC;QACrF,MAAM,EAAE,KAAK;KAChB,CAAC,CAAC;IAEH,MAAM,YAAY,GAAG,CAAC,IAAgB,EAAE,KAAY,EAAQ,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,SAAiB,CAAC;QAC1C,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,SAAS;gBACV,8DAA8D;gBAC9D,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC1C,OAAO;YACX,KAAK,WAAW,CAAC,CAAC,CAAC;gBACf,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,CAAW,CAAC,CAAC;gBAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC7C,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,QAAQ;oBACpC,CAAC,CAAE,MAAM,CAAC,KAAiD,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,IAAI;oBAC1G,CAAC,CAAC,SAAS,CAAC;gBAChB,IAAI,MAAM,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC5B,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,MAAM,CAAC,KAAgD,EAAE,CAAC;wBACnF,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;4BACxF,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,MAAyB,CAAC,CAAC;wBACrE,CAAC;oBACL,CAAC;gBACL,CAAC;gBACD,OAAO;YACX,CAAC;YACD,KAAK,iBAAiB,CAAC;YACvB,KAAK,eAAe,CAAC;YACrB,KAAK,sBAAsB,CAAC,CAAC,CAAC;gBAC1B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,CAAa,CAAC;gBAClD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;oBAChE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC;oBAC7C,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;wBACxC,mDAAmD;wBACnD,wDAAwD;wBACxD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;wBAC9C,IAAI,OAAO,EAAE,IAAI,KAAK,QAAQ;4BAAE,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;wBAC3G,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;4BACnC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;gCAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAClE,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACJ,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,sBAAsB;4BACpD,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAE,CAA0C;4BACjE,CAAC,CAAC,IAAI,CAAC;wBACX,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;4BAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACzG,CAAC;gBACL,CAAC;gBACD,OAAO;YACX,CAAC;YACD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACjB,4DAA4D;gBAC5D,2DAA2D;gBAC3D,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,IAAI,CAAC;gBACjC,MAAM,OAAO,GAAG,CAAC,QAAY,EAAQ,EAAE;oBACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;wBAC3E,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;wBACzC,CAAC,CAAC,IAAI,CAAC;oBACX,IAAI,IAAI,KAAK,IAAI;wBAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;;wBACjC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC/B,CAAC,CAAC;gBACF,IAAI,KAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC7B,KAAK,MAAM,IAAI,IAAI,KAAM,CAAC,KAAK,CAAC,MAAc;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBAClE,CAAC;qBAAM,CAAC;oBACJ,IAAI,CAAC,KAAM,EAAE,KAAK,CAAC,CAAC;gBACxB,CAAC;gBACD,OAAO,CAAC,UAAW,CAAC,CAAC;gBACrB,OAAO;YACX,CAAC;YACD;gBACI,KAAK,MAAM,QAAQ,IAAI,IAAI;oBAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACnD,OAAO;QACf,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAQ,EAAE,KAAY,EAAQ,EAAE;QAC1C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAChB,KAAK,OAAO,CAAC;YACb,KAAK,UAAU,CAAC;YAChB,KAAK,OAAO;gBACR,OAAO;YACX,KAAK,UAAU,CAAC;YAChB,KAAK,IAAI,CAAC,CAAC,CAAC;gBACR,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACpC,IAAI,IAAI,KAAK,IAAI;oBAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;qBAClC,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC3D,OAAO;YACX,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBACd,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAY,CAAC;gBACvC,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACtC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAChB,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;wBAAE,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC;oBACpG,OAAO;gBACX,CAAC;gBACD,kEAAkE;gBAClE,iBAAiB;gBACjB,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,IAAI;oBAAE,OAAO;gBAC7H,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBACpB,OAAO;YACX,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACT,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAChD,IAAI,IAAI,KAAK,IAAI;oBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACjD,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;gBACrE,OAAO;YACX,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACZ,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAChD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;oBAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBAC9B,OAAO;gBACX,CAAC;gBACD,iEAAiE;gBACjE,kEAAkE;gBAClE,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBACpB,KAAK,IAAI,CAAC,GAAiB,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;oBACzD,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC1D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACtB,KAAK,MAAM,OAAO,IAAI,IAAI;4BAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAC/C,MAAM;oBACV,CAAC;gBACL,CAAC;gBACD,OAAO;YACX,CAAC;YACD,KAAK,UAAU,CAAC;YAChB,KAAK,eAAe;gBAChB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;gBAC9D,OAAO;YACX,KAAK,OAAO,CAAC,CAAC,CAAC;gBACX,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC3B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,UAAkB;oBAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBAC9E,OAAO;YACX,CAAC;YACD,KAAK,QAAQ;gBACT,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;oBAClC,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;oBAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpC,CAAC;gBACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzC,OAAO;YACX,KAAK,OAAO;gBACR,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC/E,OAAO;YACX,KAAK,OAAO;gBACR,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACpC,OAAO;YACX,KAAK,UAAU;gBACX,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtE,OAAO;YACX,KAAK,QAAQ;gBACT,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpD,OAAO;YACX,KAAK,SAAS;gBACV,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtE,OAAO;YACX,KAAK,UAAU;gBACX,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC5C,OAAO;YACX,KAAK,UAAU;gBACX,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC1B,OAAO;YACX,KAAK,MAAM,CAAC;YACZ,KAAK,WAAW;gBACZ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACjC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,SAAiB;oBAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC3E,OAAO;YACX,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ,CAAC;YACd,KAAK,WAAW,CAAC;YACjB,KAAK,WAAW;gBACZ,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAc;oBAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAClE,OAAO;YACX,KAAK,SAAS;gBACV,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAkC,EAAE,CAAC;oBAChE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;oBACvB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC7B,CAAC;gBACD,OAAO;YACX,KAAK,QAAQ;gBACT,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,MAAuC;oBAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACjG,OAAO;YACX,KAAK,SAAS;gBACV,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,SAAiB;oBAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBAC3E,OAAO;YACX,KAAK,OAAO;gBACR,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAChC,OAAO;YACX,KAAK,SAAS,CAAC;YACf,KAAK,QAAQ,CAAC;YACd,KAAK,iBAAiB,CAAC;YACvB,KAAK,eAAe,CAAC;YACrB,KAAK,QAAQ;gBACT,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAC9B,OAAO;YACX;gBACI,gEAAgE;gBAChE,+CAA+C;gBAC/C,IAAoB,CAAC;QAC7B,CAAC;IACL,CAAC,CAAC;IAEF,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAE7C,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,CAAC,IAAc,EAAQ,EAAE;QACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,QAAQ,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAiB,EAAW,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACjF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxB,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC;gBAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,MAAM,EAAE,CAAC;YAChB,IAAI,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACJ,IAAI,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC;gBAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACpE,IAAI,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC;gBAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;IACL,CAAC;IACD,OAAO;QACH,MAAM;QACN,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YACpD,IAAI;YACJ,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvF,OAAO;SACV,CAAC,CAAC;KACN,CAAC;AACN,CAAC"}

package/dist/src/utils/ordered-source.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/** Shared primary-identity adapter for builders over secondary index windows. */
+import { ArrayType, DictType, IntegerType, OptionType, StringType, StructType, type EastType, type ExprType } from "@elaraai/east";
+import { type IndexedEntryType, type PagedSource, type ResolvedRowSource } from "@elaraai/east-ui/internal";
+/** A window with primary identities in a separately declared index order. */
+export type OrderedRowSource<K extends EastType, R extends EastType, P extends EastType, IK extends EastType> = PagedSource<ArrayType<ReturnType<typeof IndexedEntryType<K, R, P, IK>>>>;
+/**
+ * Retain the ordered window for display, and expose a bounded primary-key map
+ * to the builders' existing projection and editing code. Neither reads beyond
+ * the requested window or evaluates row predicates.
+ * @param source - Resolved index entries.
+ * @param component - The builder's name for author errors.
+ * @returns Ordered identities and the keyed source over the same pages.
+ */
+export declare function orderedRowSource(source: Extract<ResolvedRowSource, {
+    kind: "ordered";
+}>, component: string): {
+    resolved: {
+        kind: "paged";
+        source: ExprType<StructType>;
+        collectionType: EastType;
+        elementType: EastType;
+        keyType: EastType | undefined;
+        pinned: boolean;
+    };
+    entries: ArrayType<StructType>;
+    window: import("@elaraai/east").CallableFunctionExpr<[IntegerType, IntegerType], OptionType<ArrayType<StructType>>>;
+    rows: import("@elaraai/east").CallableFunctionExpr<[ArrayType<StructType>], DictType<EastType, any>>;
+    keys: import("@elaraai/east").CallableFunctionExpr<[ArrayType<StructType>], ArrayType<StringType>>;
+    idOf: import("@elaraai/east").CallableFunctionExpr<[EastType], StringType>;
+    valueOf: import("@elaraai/east").CallableFunctionExpr<[StructType<{
+        [x: string]: any;
+    }>], any>;
+};
+//# sourceMappingURL=ordered-source.d.ts.map

package/dist/src/utils/ordered-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ordered-source.d.ts","sourceRoot":"","sources":["../../../src/utils/ordered-source.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,iFAAiF;AACjF,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAsB,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAC7F,KAAK,QAAQ,EAAE,KAAK,QAAQ,EAAc,MAAM,eAAe,CAAC;AACpE,OAAO,EAAuD,KAAK,gBAAgB,EAAE,KAAK,WAAW,EAAE,KAAK,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAEjK,6EAA6E;AAC7E,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,QAAQ,EAAE,EAAE,SAAS,QAAQ,IACxG,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7E;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,iBAAiB,EAAE;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,EAAE,SAAS,EAAE,MAAM;;;;;;;;;;;;;;;;;EA4B1G"}

package/dist/src/utils/ordered-source.js

@@ -0,0 +1,45 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/** Shared primary-identity adapter for builders over secondary index windows. */
+import { ArrayType, DictType, East, FunctionType, IntegerType, OptionType, StringType, StructType, none, some } from "@elaraai/east";
+import { buildPagedWindow, PinnedSourceType, PagedSourceType } from "@elaraai/east-ui/internal";
+/**
+ * Retain the ordered window for display, and expose a bounded primary-key map
+ * to the builders' existing projection and editing code. Neither reads beyond
+ * the requested window or evaluates row predicates.
+ * @param source - Resolved index entries.
+ * @param component - The builder's name for author errors.
+ * @returns Ordered identities and the keyed source over the same pages.
+ */
+export function orderedRowSource(source, component) {
+    const entry = source.elementType;
+    if (entry.type !== "Struct" || entry.fields.row?.type !== "Variant" || entry.fields.row.cases.some === undefined) {
+        throw new Error(`${component}: indexed entries must carry joined record rows`);
+    }
+    const row = entry.fields.row.cases.some;
+    const key = source.keyType;
+    const collection = DictType(key, row);
+    const entries = source.collectionType;
+    const idOf = East.function([key], StringType, (_$, value) => key.type === "String" ? value : East.print(value));
+    const valueOf = East.function([entry], row, (_$, value) => value.row.match({
+        some: (_$2, data) => data,
+        none: () => East.error(`${component} needs joined rows; use Data.bindPaged with join: true`),
+    }));
+    const rows = East.function([entries], collection, (_$, values) => values.toDict((_$2, value) => value.key, (_$2, value) => valueOf(value)));
+    const keys = East.function([entries], ArrayType(StringType), (_$, values) => values.map((_$2, value) => idOf(value.key)));
+    const window = buildPagedWindow(source);
+    const handle = source.source;
+    const page = East.function([IntegerType, IntegerType], OptionType(collection), ($, offset, limit) => {
+        const read = $.const(window);
+        const project = $.const(rows);
+        return read(offset, limit).match({ some: (_$2, values) => East.value(some(project(values)), OptionType(collection)), none: () => East.value(none, OptionType(collection)) });
+    });
+    const keyed = East.value({ id: handle.id, page, total: handle.total, seek: handle.seek,
+        ...(source.pinned ? { revision: handle.revision, refresh: handle.refresh } : {}),
+    }, source.pinned ? PinnedSourceType(collection) : PagedSourceType(collection));
+    const resolved = { kind: "paged", source: keyed, collectionType: collection, elementType: row, keyType: key, pinned: source.pinned };
+    return { resolved, entries, window, rows, keys, idOf, valueOf };
+}
+//# sourceMappingURL=ordered-source.js.map

package/dist/src/utils/ordered-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ordered-source.js","sourceRoot":"","sources":["../../../src/utils/ordered-source.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,iFAAiF;AACjF,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAC/D,IAAI,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,EAAmE,MAAM,2BAA2B,CAAC;AAMjK;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAuD,EAAE,SAAiB;IACvG,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC;IACjC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC/G,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,iDAAiD,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC;IAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,CAAC,cAAuC,CAAC;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAA6B,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACxI,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,GAAsC,CAAC,KAAK,CAAC;QAC3G,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI;QACzB,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,SAAS,wDAAwD,CAAC;KAC/F,CAAC,CAAC,CAAC;IACJ,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAI,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7I,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAI,CAAC,CAAC,CAAC,CAAC;IAC3H,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAmF,CAAC;IAC1H,MAAM,MAAM,GAAG,MAAM,CAAC,MAA4E,CAAC;IACnG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE;QAChG,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9B,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;IACjL,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI;QAClF,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAsB,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAwC,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IAC3L,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACpE,CAAC"}

package/dist/src/utils/row-inspector.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Copyright (c) 2025 Elara AI Pty Ltd
+ * Dual-licensed under AGPL-3.0 and commercial license. See LICENSE for details.
+ */
+/**
+ * An author's own UI for one row in an inspector, on the wire: the Sheet's
+ * own Details (SB58, #1188) and a Plan event kind's own inspector (PB60,
+ * #1197). The author writes a typed East function over the row and a writer
+ * of the edited row; it crosses to the renderer wrapped over bytes, so a
+ * payload is one type whatever the rows hold.
+ *
+ * @packageDocumentation
+ */
+import { BlobType, FunctionType, NullType, type ExprType, type StructType } from "@elaraai/east";
+/**
+ * An author's own UI for one row, on the wire: the row as bytes, and the
+ * writer that takes the edited row back as bytes, to what the inspector shows
+ * in place of its form.
+ */
+export declare const RowInspectorType: FunctionType<[BlobType, FunctionType<[BlobType], NullType>], import("@elaraai/east").RecursiveType<import("@elaraai/east-ui").UIComponentNode>>;
+/** Type representing {@link RowInspectorType}. */
+export type RowInspectorType = typeof RowInspectorType;
+/**
+ * Checks an author's `(row, update) => UIComponentType` against the row type,
+ * then wraps it so the row and the edited row cross as bytes. The author's
+ * function is captured as it is and called only where the renderer draws it,
+ * never here.
+ *
+ * @param fn - The author's function
+ * @param rowType - The row type
+ * @param refusal - What a function of another type is refused with, naming the option
+ * @returns The wrapped function
+ * @throws {Error} With `refusal` when the function is not `(Row, (Row) => Null) => UIComponentType`
+ */
+export declare function rowInspector(fn: unknown, rowType: StructType, refusal: string): ExprType<RowInspectorType>;
+//# sourceMappingURL=row-inspector.d.ts.map

package/dist/src/utils/row-inspector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"row-inspector.d.ts","sourceRoot":"","sources":["../../../src/utils/row-inspector.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;;;;;GAQG;AAEH,OAAO,EACH,QAAQ,EAAc,YAAY,EAAE,QAAQ,EAC7B,KAAK,QAAQ,EAAE,KAAK,UAAU,EAChD,MAAM,eAAe,CAAC;AAGvB;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,iJAAgF,CAAC;AAE9G,kDAAkD;AAClD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAa1G"}