@graphty/webgpu-graph-algorithms 0.0.0 → 0.2.0

package/dist/src/primitives/reduce.d.ts

@@ -0,0 +1,57 @@
+/**
+ * The `reduce` primitive driver (spec 6 row 1): sum / min / max over f32, u32 or vec4f elements in two or three
+ * dispatches of the `reduce` module (3.10.1). Level 1 folds WG elements per workgroup into per-workgroup partials
+ * (the prelude's tree helpers, 4.3); a third level folds the partials again when the level-1 grid needed a 2D
+ * dispatch (more than MAX_WORKGROUPS_PER_DIM workgroups, i.e. more than MAX_1D_ITEMS elements); the FINAL level --
+ * ONE workgroup whose lanes walk the remaining partials sequentially in index order -- writes one element
+ * (4 or 16 bytes) at out[outOffset]. Every level reduces in a fixed order, so two runs are bitwise identical on one
+ * device (spec 11.9 item 4); the subgroup twin (4.3) agrees to summation-order noise on f32 and bitwise on u32.
+ * `count === 0` records level 1 over an empty plan (Kernel.dispatch records nothing, spec 5.6) and the FINAL level
+ * over 0 partials, which writes the identity element.
+ *
+ * The driver owns no device objects: the caller supplies a ReduceScope (P1: the tests build one over a GpuContext and
+ * release its scratch in a finally; P2: CommandBatch supplies the same record with a Lease) and the compute pass to
+ * record into. `src/primitives/**` never imports `src/context.ts` (the eslint zone of 2.4).
+ */
+import { type PipelineCache } from "../kernel/pipeline-cache.js";
+import { type UniformBlock, type UniformValues } from "../kernel/struct-block.js";
+import { type BufferPool } from "../memory/buffer-pool.js";
+import { type PlanCaps } from "../types/context.js";
+import { type Binding } from "../types/memory.js";
+/** The reduction operator (4.5 OP override: sum, min, max). */
+export type ReduceOp = "sum" | "min" | "max";
+/** The element type (4.5 DTYPE override: f32, u32, or vec4f lanes of f32). */
+export type ReduceDtype = "f32" | "u32" | "vec4f";
+/** What reduce() needs of its caller: a pass to record into, scratch, the ring and the cache (P1 has no CommandBatch yet; P2's batch supplies the same record). */
+export interface ReduceScope {
+    readonly device: GPUDevice;
+    readonly caps: PlanCaps;
+    readonly pipelines: PipelineCache;
+    readonly pool: BufferPool;
+    readonly workgroupSize: number;
+    /** Acquires scratch released by the caller's scope (a Lease from P2; P1 releases in a finally). */
+    scratch(byteLength: number, label: string): GPUBuffer;
+    /** The uniform-slot writer: returns the binding and dynamic offset for a params record. */
+    params(block: UniformBlock, values: UniformValues): {
+        readonly binding: Binding;
+        readonly offset: number;
+    };
+}
+/** A prepared reduce: records the 2-3 dispatches of spec 6 row 1 into a pass. */
+export interface ReducePlanner {
+    readonly op: ReduceOp;
+    readonly dtype: ReduceDtype;
+    /** Records: level 1 over `count` elements of `src` into partials; a third level when groups > MAX_WORKGROUPS_PER_DIM; the FINAL one-workgroup level writing one element (4 or 16 bytes) at out[outOffset] (element index). Deterministic order. count 0 writes the identity element. */
+    record(pass: GPUComputePassEncoder, src: Binding, count: number, out: Binding, outOffset: number): void;
+    /** Dispatches the last record() issued (tests bound it: 2 or 3). */
+    readonly lastDispatches: number;
+}
+/**
+ * Prepares the reduce pipelines of a scope (compiles once) so record() is synchronous.
+ * @param scope - the caller's scope (device, caps, cache, scratch, params)
+ * @param op - the operator
+ * @param dtype - the element type
+ * @returns the planner, with the level and FINAL pipelines resolved
+ */
+export declare function prepareReduce(scope: ReduceScope, op: ReduceOp, dtype: ReduceDtype): Promise<ReducePlanner>;
+//# sourceMappingURL=reduce.d.ts.map

package/dist/src/primitives/reduce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reduce.d.ts","sourceRoot":"","sources":["../../../src/primitives/reduce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,EAAE,KAAK,YAAY,EAAE,KAAK,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAElF,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAElD,+DAA+D;AAC/D,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAC7C,8EAA8E;AAC9E,MAAM,MAAM,WAAW,GAAG,KAAK,GAAG,KAAK,GAAG,OAAO,CAAC;AAElD,mKAAmK;AACnK,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,mGAAmG;IACnG,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,CAAC;IACtD,2FAA2F;IAC3F,MAAM,CAAC,KAAK,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,GAAG;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAC9G;AAED,iFAAiF;AACjF,MAAM,WAAW,aAAa;IAC1B,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,wRAAwR;IACxR,MAAM,CAAC,IAAI,EAAE,qBAAqB,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACxG,oEAAoE;IACpE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACnC;AASD;;;;;;GAMG;AACH,wBAAsB,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,CAKhH"}

package/dist/src/primitives/reduce.js

@@ -0,0 +1,161 @@
+/**
+ * The `reduce` primitive driver (spec 6 row 1): sum / min / max over f32, u32 or vec4f elements in two or three
+ * dispatches of the `reduce` module (3.10.1). Level 1 folds WG elements per workgroup into per-workgroup partials
+ * (the prelude's tree helpers, 4.3); a third level folds the partials again when the level-1 grid needed a 2D
+ * dispatch (more than MAX_WORKGROUPS_PER_DIM workgroups, i.e. more than MAX_1D_ITEMS elements); the FINAL level --
+ * ONE workgroup whose lanes walk the remaining partials sequentially in index order -- writes one element
+ * (4 or 16 bytes) at out[outOffset]. Every level reduces in a fixed order, so two runs are bitwise identical on one
+ * device (spec 11.9 item 4); the subgroup twin (4.3) agrees to summation-order noise on f32 and bitwise on u32.
+ * `count === 0` records level 1 over an empty plan (Kernel.dispatch records nothing, spec 5.6) and the FINAL level
+ * over 0 partials, which writes the identity element.
+ *
+ * The driver owns no device objects: the caller supplies a ReduceScope (P1: the tests build one over a GpuContext and
+ * release its scratch in a finally; P2: CommandBatch supplies the same record with a Lease) and the compute pass to
+ * record into. `src/primitives/**` never imports `src/context.ts` (the eslint zone of 2.4).
+ */
+import { MAX_WORKGROUPS_PER_DIM } from "../constants.js";
+import { WebGpuGraphError } from "../errors.js";
+import { groupsOf, plan1d } from "../kernel/dispatch.js";
+import { kernelSpec, REDUCE_PARAMS } from "../kernels.js";
+/** The OP override values of the reduce module (4.5: 0 = sum, 1 = min, 2 = max). */
+const OP_CODE = Object.freeze({ sum: 0, min: 1, max: 2 });
+/** The DTYPE override values (4.5: 0 = f32, 1 = u32, 2 = vec4f). */
+const DTYPE_CODE = Object.freeze({ f32: 0, u32: 1, vec4f: 2 });
+/** Bytes of one element per dtype. */
+const ELEMENT_BYTES = Object.freeze({ f32: 4, u32: 4, vec4f: 16 });
+/**
+ * Prepares the reduce pipelines of a scope (compiles once) so record() is synchronous.
+ * @param scope - the caller's scope (device, caps, cache, scratch, params)
+ * @param op - the operator
+ * @param dtype - the element type
+ * @returns the planner, with the level and FINAL pipelines resolved
+ */
+export async function prepareReduce(scope, op, dtype) {
+    const overrides = { OP: OP_CODE[op], DTYPE: DTYPE_CODE[dtype] };
+    const level = await scope.pipelines.kernel(kernelSpec("reduce", { ...overrides, FINAL: false }));
+    const final = await scope.pipelines.kernel(kernelSpec("reduce", { ...overrides, FINAL: true }));
+    return new ReducePlannerImpl(scope, op, dtype, level, final);
+}
+/**
+ * The argument checks of record() (E_INVALID_ARGUMENT before anything is recorded).
+ * @param src - the input binding
+ * @param count - the element count
+ * @param out - the output binding
+ * @param outOffset - the output element index
+ * @param elementBytes - bytes per element of the planner's dtype
+ */
+function checkRecordArguments(src, count, out, outOffset, elementBytes) {
+    if (!Number.isSafeInteger(count) || count < 0) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", "reduce: count must be a non-negative integer", {
+            argument: "count",
+            value: count,
+        });
+    }
+    if (!Number.isSafeInteger(outOffset) || outOffset < 0) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", "reduce: outOffset must be a non-negative integer", {
+            argument: "outOffset",
+            value: outOffset,
+        });
+    }
+    if (src.size < count * elementBytes) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", "reduce: src is smaller than count x element size", {
+            argument: "src",
+            value: src.size,
+            expected: count * elementBytes,
+        });
+    }
+    if (out.size < (outOffset + 1) * elementBytes) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", "reduce: out cannot hold the element at outOffset", {
+            argument: "out",
+            value: out.size,
+            expected: (outOffset + 1) * elementBytes,
+        });
+    }
+}
+/** The planner: two resolved kernels (FINAL false / true) over one scope. */
+class ReducePlannerImpl {
+    /**
+     * Wraps the resolved kernels; use prepareReduce().
+     * @param scope - the caller's scope
+     * @param op - the operator
+     * @param dtype - the element type
+     * @param level - the per-workgroup level pipeline (FINAL = false)
+     * @param final - the one-workgroup pipeline (FINAL = true)
+     */
+    constructor(scope, op, dtype, level, final) {
+        this.dispatches = 0;
+        this.scope = scope;
+        this.op = op;
+        this.dtype = dtype;
+        this.level = level;
+        this.final = final;
+    }
+    /**
+     * Dispatches the last record() issued (2, or 3 above MAX_1D_ITEMS elements).
+     * @returns the count
+     */
+    get lastDispatches() {
+        return this.dispatches;
+    }
+    /**
+     * Records the levels into the pass (see the interface).
+     * @param pass - the compute pass
+     * @param src - the elements (count x element bytes at least)
+     * @param count - the element count
+     * @param out - the output range
+     * @param outOffset - the element index written
+     */
+    record(pass, src, count, out, outOffset) {
+        const elementBytes = ELEMENT_BYTES[this.dtype];
+        checkRecordArguments(src, count, out, outOffset, elementBytes);
+        const { scope } = this;
+        const wg = scope.workgroupSize;
+        let dispatches = 0;
+        const plan1 = plan1d(count, wg, scope.caps);
+        const groups1 = groupsOf(plan1);
+        let partials = this.partialsBinding(Math.max(groups1, 1), "reduce/partials-1");
+        this.dispatchLevel(pass, this.level, src, count, partials, 0, plan1, 1);
+        dispatches += 1;
+        let partialCount = groups1;
+        if (groups1 > MAX_WORKGROUPS_PER_DIM) {
+            const plan2 = plan1d(groups1, wg, scope.caps);
+            const groups2 = groupsOf(plan2);
+            const partials2 = this.partialsBinding(groups2, "reduce/partials-2");
+            this.dispatchLevel(pass, this.level, partials, groups1, partials2, 0, plan2, 2);
+            dispatches += 1;
+            partials = partials2;
+            partialCount = groups2;
+        }
+        this.dispatchLevel(pass, this.final, partials, partialCount, out, outOffset, plan1d(1, wg, scope.caps), dispatches + 1);
+        dispatches += 1;
+        this.dispatches = dispatches;
+    }
+    /**
+     * A partials scratch of `elements` elements from the scope, bound whole (never zero-length).
+     * @param elements - the partial count (>= 1)
+     * @param label - the scratch label
+     * @returns the binding
+     */
+    partialsBinding(elements, label) {
+        const size = elements * ELEMENT_BYTES[this.dtype];
+        const buffer = this.scope.scratch(size, label);
+        return { buffer, offset: 0, size, window: null };
+    }
+    /**
+     * One level: a params record, the bind groups, one dispatch.
+     * @param pass - the compute pass
+     * @param kernel - the level or FINAL kernel
+     * @param src - the elements of this level
+     * @param count - how many
+     * @param out - where the partials (or the result) go
+     * @param outOffset - the element index (0 for partials)
+     * @param plan - the dispatch plan
+     * @param level - the level number written into the params (informational)
+     */
+    dispatchLevel(pass, kernel, src, count, out, outOffset, plan, level) {
+        const params = this.scope.params(REDUCE_PARAMS, { count, outOffset, level });
+        const bound = kernel.bind({ src, out, P: params.binding });
+        kernel.dispatch(pass, bound, plan, [params.offset]);
+    }
+}
+//# sourceMappingURL=reduce.js.map

package/dist/src/primitives/reduce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reduce.js","sourceRoot":"","sources":["../../../src/primitives/reduce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAqB,QAAQ,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAI5E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAiC1D,oFAAoF;AACpF,MAAM,OAAO,GAAuC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9F,oEAAoE;AACpE,MAAM,UAAU,GAA0C,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AACtG,sCAAsC;AACtC,MAAM,aAAa,GAA0C,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;AAE1G;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,KAAkB,EAAE,EAAY,EAAE,KAAkB;IACpF,MAAM,SAAS,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACjG,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChG,OAAO,IAAI,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;AACjE,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CACzB,GAAY,EACZ,KAAa,EACb,GAAY,EACZ,SAAiB,EACjB,YAAoB;IAEpB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,8CAA8C,EAAE;YAC7F,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,KAAK;SACf,CAAC,CAAC;IACP,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACpD,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,kDAAkD,EAAE;YACjG,QAAQ,EAAE,WAAW;YACrB,KAAK,EAAE,SAAS;SACnB,CAAC,CAAC;IACP,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,GAAG,KAAK,GAAG,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,kDAAkD,EAAE;YACjG,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,GAAG,CAAC,IAAI;YACf,QAAQ,EAAE,KAAK,GAAG,YAAY;SACjC,CAAC,CAAC;IACP,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,YAAY,EAAE,CAAC;QAC5C,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,kDAAkD,EAAE;YACjG,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,GAAG,CAAC,IAAI;YACf,QAAQ,EAAE,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,YAAY;SAC3C,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,MAAM,iBAAiB;IAQnB;;;;;;;OAOG;IACH,YAAY,KAAkB,EAAE,EAAY,EAAE,KAAkB,EAAE,KAAa,EAAE,KAAa;QAVtF,eAAU,GAAG,CAAC,CAAC;QAWnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACvB,CAAC;IAED;;;OAGG;IACH,IAAI,cAAc;QACd,OAAO,IAAI,CAAC,UAAU,CAAC;IAC3B,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,IAA2B,EAAE,GAAY,EAAE,KAAa,EAAE,GAAY,EAAE,SAAiB;QAC5F,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;QAC/D,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACvB,MAAM,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC;QAC/B,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,mBAAmB,CAAC,CAAC;QAC/E,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACxE,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,YAAY,GAAG,OAAO,CAAC;QAC3B,IAAI,OAAO,GAAG,sBAAsB,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChC,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;YACrE,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;YAChF,UAAU,IAAI,CAAC,CAAC;YAChB,QAAQ,GAAG,SAAS,CAAC;YACrB,YAAY,GAAG,OAAO,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,aAAa,CACd,IAAI,EACJ,IAAI,CAAC,KAAK,EACV,QAAQ,EACR,YAAY,EACZ,GAAG,EACH,SAAS,EACT,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,EACzB,UAAU,GAAG,CAAC,CACjB,CAAC;QACF,UAAU,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACK,eAAe,CAAC,QAAgB,EAAE,KAAa;QACnD,MAAM,IAAI,GAAG,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrD,CAAC;IAED;;;;;;;;;;OAUG;IACK,aAAa,CACjB,IAA2B,EAC3B,MAAc,EACd,GAAY,EACZ,KAAa,EACb,GAAY,EACZ,SAAiB,EACjB,IAAkB,EAClB,KAAa;QAEb,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,CAAC;CACJ"}

package/dist/src/primitives/segmented-reduce.d.ts

@@ -0,0 +1,38 @@
+/**
+ * The segmented (per-row) reduction primitive of spec 6 row 3 in its thread-per-row tier (P2-P3): one invocation per
+ * CSR row folds the caller's VALUE snippet over the row's arcs into `out[row]` (f32), a row with no arcs receiving
+ * the identity element. The degree tiers of degreeOrder() (subgroup-per-row for the mid tier, workgroup-per-row for
+ * the high tier) land at P4; until then `tiers !== null` is E_UNSUPPORTED and USE_PERM is always false (the perm
+ * slot carries the rowPtr dummy of graphBindings). The row and arc counts come from the core's binding sizes: the
+ * residency binds every array at its exact byte length (contract 3.8), so rowPtr is 4(n + 1) bytes and colIdx
+ * 4 x arcCount.
+ */
+import { type CoreBinding } from "../memory/residency.js";
+import { type Binding } from "../types/memory.js";
+import { type ReduceOp, type ReduceScope } from "./reduce.js";
+/** The degree tiers of degreeOrder(): the permutation binding and the CPU-side segmentOffsets [0, hiEnd, midEnd, lowEnd, n]. */
+export interface DegreeTiers {
+    readonly perm: Binding;
+    readonly segmentOffsets: readonly [number, number, number, number, number];
+}
+/** Options of segmentedReduce. `valueSnippet` is the Gunrock-style functor: WGSL statements assigning `v` from (row, arc, nbr, weight) (4.5; `nbr` because `target` is a WGSL reserved word). */
+export interface SegmentedReduceOptions {
+    readonly op: ReduceOp;
+    readonly valueSnippet: string;
+    readonly tiers: DegreeTiers | null;
+    readonly accumulate?: boolean | undefined;
+}
+/** A prepared segmented reduce (P2-P3: the thread-per-row tier only; `tiers !== null` -> E_UNSUPPORTED { feature: "segmentedReduce.tiers" } until P4). */
+export interface SegmentedReducePlanner {
+    /** Records one dispatch over rows [0, n) (tiers null) writing out[i] (f32) per row; a row with no arcs gets the identity element. */
+    record(pass: GPUComputePassEncoder, core: CoreBinding, out: Binding): void;
+}
+/**
+ * Prepares the thread-per-row pipeline for a snapshot's dummy pattern (USE_PERM, HAS_WEIGHTS) and snippet.
+ * @param scope - the reduce scope (pipelines, pool, params writer)
+ * @param core - the core whose weights pattern selects HAS_WEIGHTS (USE_PERM is false: no tiers at P2)
+ * @param options - operator, snippet, tiers (must be null), accumulate
+ * @returns the planner
+ */
+export declare function prepareSegmentedReduce(scope: ReduceScope, core: CoreBinding, options: SegmentedReduceOptions): Promise<SegmentedReducePlanner>;
+//# sourceMappingURL=segmented-reduce.d.ts.map

package/dist/src/primitives/segmented-reduce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"segmented-reduce.d.ts","sourceRoot":"","sources":["../../../src/primitives/segmented-reduce.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,KAAK,QAAQ,EAAE,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAE9D,gIAAgI;AAChI,MAAM,WAAW,WAAW;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9E;AAED,iMAAiM;AACjM,MAAM,WAAW,sBAAsB;IACnC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAC7C;AAED,0JAA0J;AAC1J,MAAM,WAAW,sBAAsB;IACnC,qIAAqI;IACrI,MAAM,CAAC,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;CAC9E;AAiND;;;;;;GAMG;AACH,wBAAsB,sBAAsB,CACxC,KAAK,EAAE,WAAW,EAClB,IAAI,EAAE,WAAW,EACjB,OAAO,EAAE,sBAAsB,GAChC,OAAO,CAAC,sBAAsB,CAAC,CAajC"}

package/dist/src/primitives/segmented-reduce.js

@@ -0,0 +1,211 @@
+/**
+ * The segmented (per-row) reduction primitive of spec 6 row 3 in its thread-per-row tier (P2-P3): one invocation per
+ * CSR row folds the caller's VALUE snippet over the row's arcs into `out[row]` (f32), a row with no arcs receiving
+ * the identity element. The degree tiers of degreeOrder() (subgroup-per-row for the mid tier, workgroup-per-row for
+ * the high tier) land at P4; until then `tiers !== null` is E_UNSUPPORTED and USE_PERM is always false (the perm
+ * slot carries the rowPtr dummy of graphBindings). The row and arc counts come from the core's binding sizes: the
+ * residency binds every array at its exact byte length (contract 3.8), so rowPtr is 4(n + 1) bytes and colIdx
+ * 4 x arcCount.
+ */
+import { WebGpuGraphError } from "../errors.js";
+import { plan1d } from "../kernel/dispatch.js";
+import { graphBindings, graphOverrides, kernelSpec, RANGE_PARAMS } from "../kernels.js";
+/** The identifiers a VALUE snippet may name (contract 3.11, 4.5); every other identifier is rejected textually before compose. */
+const VALUE_SNIPPET_VOCABULARY = new Set(["row", "arc", "nbr", "weight", "v"]);
+/**
+ * The WGSL words a snippet statement may use that are not identifiers: the statement keywords (never the flow
+ * keywords `return` / `break` / `continue`, which would leave the fold), the scalar type constructors and the
+ * builtin math functions a value expression may call (a bounded list; a binding, a uniform or a module function such
+ * as `identity` / `comb` / `linear_id` is NOT in it and is rejected as an identifier).
+ */
+const VALUE_SNIPPET_WGSL_WORDS = new Set([
+    "if",
+    "else",
+    "let",
+    "var",
+    "const",
+    "true",
+    "false",
+    "f32",
+    "u32",
+    "i32",
+    "bool",
+    "abs",
+    "ceil",
+    "clamp",
+    "exp",
+    "exp2",
+    "floor",
+    "fract",
+    "inverseSqrt",
+    "log",
+    "log2",
+    "max",
+    "min",
+    "mix",
+    "pow",
+    "round",
+    "select",
+    "sign",
+    "sqrt",
+    "step",
+    "trunc",
+]);
+/**
+ * The OP override value of an operator (the body's `OP == 1u` / `OP == 2u` tests, contract 4.5).
+ * @param op - the operator
+ * @returns 0 for sum, 1 for min, 2 for max
+ */
+function opCode(op) {
+    switch (op) {
+        case "sum":
+            return 0;
+        case "min":
+            return 1;
+        case "max":
+            return 2;
+        default:
+            throw new WebGpuGraphError("E_INVALID_ARGUMENT", `segmentedReduce: unknown op ${String(op)}`, {
+                argument: "op",
+                value: op,
+                expected: "sum | min | max",
+            });
+    }
+}
+/**
+ * WGSL comments removed (a comment may mention `target` or any other word).
+ * @param text - WGSL text
+ * @returns the text with block and line comments replaced by spaces
+ */
+function stripComments(text) {
+    return text.replace(/\/\*[\s\S]*?\*\//g, " ").replace(/\/\/[^\n]*/g, " ");
+}
+/**
+ * The textual vocabulary check of contract 3.11: the snippet must assign `v` (`=`, `+=`, `-=`, `*=` or `/=`) and its
+ * identifiers may be only row, arc, nbr, weight and v; numeric literals and the WGSL words of
+ * VALUE_SNIPPET_WGSL_WORDS are not identifiers and pass; anything else -- a binding, a uniform, a module function,
+ * a locally declared name, a flow keyword, a reserved word such as `target` -- is E_SHADER_COMPILE { stage:
+ * "compose", slot: "VALUE", identifier } on every device, before any shader is created.
+ * @param snippet - the VALUE snippet text
+ */
+function validateValueSnippet(snippet) {
+    const code = stripComments(snippet);
+    if (!/\bv\s*[-+*/]?=(?!=)/.test(code)) {
+        throw new WebGpuGraphError("E_SHADER_COMPILE", "segmentedReduce: the VALUE snippet never assigns v", {
+            id: "segmented-reduce",
+            stage: "compose",
+            slot: "VALUE",
+        });
+    }
+    const tokens = code.match(/[A-Za-z_][A-Za-z0-9_]*|[0-9][0-9A-Za-z_.]*/g) ?? [];
+    for (const token of tokens) {
+        if (/^[0-9]/.test(token) || VALUE_SNIPPET_VOCABULARY.has(token) || VALUE_SNIPPET_WGSL_WORDS.has(token)) {
+            continue;
+        }
+        throw new WebGpuGraphError("E_SHADER_COMPILE", `segmentedReduce: the VALUE snippet names "${token}"; the only identifiers allowed are row, arc, nbr, weight and v`, { id: "segmented-reduce", stage: "compose", slot: "VALUE", identifier: token });
+    }
+}
+/**
+ * The row count of a core from its rowPtr binding (4(n + 1) bytes).
+ * @param core - the core
+ * @returns n
+ */
+function rowCountOf(core) {
+    const bytes = core.rowPtr.size;
+    if (bytes < 4 || bytes % 4 !== 0) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", `segmentedReduce: a rowPtr binding of ${bytes} bytes is not 4(n + 1)`, {
+            argument: "core.rowPtr",
+            value: bytes,
+            expected: "a positive multiple of 4",
+        });
+    }
+    return bytes / 4 - 1;
+}
+/**
+ * Rejects a windowed core (executed at P4).
+ * @param core - the core
+ */
+function assertNotWindowed(core) {
+    if (core.plan === "windowed" || core.windows !== null) {
+        throw new WebGpuGraphError("E_UNSUPPORTED", "segmentedReduce: windowed cores are executed at P4", {
+            feature: "segmentedReduce.windowed",
+        });
+    }
+}
+/** The thread-per-row planner: ONE `segmented-reduce` dispatch with TIER 0 over every row. */
+class ThreadPerRowPlanner {
+    /**
+     * Wraps a compiled thread-per-row pipeline with the pattern it was compiled for.
+     * @param scope - the scope the pipeline was prepared in
+     * @param kernel - the compiled kernel
+     * @param hasWeights - the HAS_WEIGHTS the pipeline was compiled with
+     * @param accumulate - whether record() combines into out instead of overwriting
+     */
+    constructor(scope, kernel, hasWeights, accumulate) {
+        this.scope = scope;
+        this.kernel = kernel;
+        this.hasWeights = hasWeights;
+        this.accumulate = accumulate;
+    }
+    /**
+     * Records the dispatch: rows [0, n), arcs [0, arcCount), plan1d(n); nothing for n = 0 (no zero-length binding is
+     * ever created).
+     * @param pass - the pass to record into
+     * @param core - a core with the SAME weights pattern as the one prepared (any snapshot)
+     * @param out - at least 4n bytes of f32
+     */
+    record(pass, core, out) {
+        assertNotWindowed(core);
+        if ((core.weights !== null) !== this.hasWeights) {
+            throw new WebGpuGraphError("E_INVALID_ARGUMENT", "segmentedReduce: the core's weights pattern differs from the one prepared", {
+                argument: "core",
+                value: core.weights !== null,
+                expected: this.hasWeights,
+            });
+        }
+        const n = rowCountOf(core);
+        if (n === 0) {
+            return;
+        }
+        const arcCount = core.colIdx === null ? 0 : core.colIdx.size / 4;
+        if (out.size < 4 * n) {
+            throw new WebGpuGraphError("E_INVALID_ARGUMENT", `segmentedReduce: out holds ${out.size} bytes, ${4 * n} needed`, {
+                argument: "out",
+                value: out.size,
+                expected: `>= ${4 * n}`,
+            });
+        }
+        const params = this.scope.params(RANGE_PARAMS, {
+            start: 0,
+            end: n,
+            arcBase: 0,
+            arcEnd: arcCount,
+            accumulate: this.accumulate ? 1 : 0,
+            n,
+        });
+        const bound = this.kernel.bind({ ...graphBindings(core, null), out, P: params.binding });
+        this.kernel.dispatch(pass, bound, plan1d(n, this.scope.workgroupSize, this.scope.caps), [params.offset]);
+    }
+}
+/**
+ * Prepares the thread-per-row pipeline for a snapshot's dummy pattern (USE_PERM, HAS_WEIGHTS) and snippet.
+ * @param scope - the reduce scope (pipelines, pool, params writer)
+ * @param core - the core whose weights pattern selects HAS_WEIGHTS (USE_PERM is false: no tiers at P2)
+ * @param options - operator, snippet, tiers (must be null), accumulate
+ * @returns the planner
+ */
+export async function prepareSegmentedReduce(scope, core, options) {
+    if (options.tiers !== null) {
+        throw new WebGpuGraphError("E_UNSUPPORTED", "segmentedReduce: the degree tiers land at P4; pass tiers: null", {
+            feature: "segmentedReduce.tiers",
+        });
+    }
+    assertNotWindowed(core);
+    const op = opCode(options.op);
+    validateValueSnippet(options.valueSnippet);
+    const overrides = { ...graphOverrides(core, null), OP: op, TIER: 0 };
+    const spec = kernelSpec("segmented-reduce", overrides, { VALUE: options.valueSnippet });
+    const kernel = await scope.pipelines.kernel(spec);
+    return new ThreadPerRowPlanner(scope, kernel, core.weights !== null, options.accumulate === true);
+}
+//# sourceMappingURL=segmented-reduce.js.map

package/dist/src/primitives/segmented-reduce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"segmented-reduce.js","sourceRoot":"","sources":["../../../src/primitives/segmented-reduce.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAE/C,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAyBxF,kIAAkI;AAClI,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;AAEpG;;;;;GAKG;AACH,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IAC1D,IAAI;IACJ,MAAM;IACN,KAAK;IACL,KAAK;IACL,OAAO;IACP,MAAM;IACN,OAAO;IACP,KAAK;IACL,KAAK;IACL,KAAK;IACL,MAAM;IACN,KAAK;IACL,MAAM;IACN,OAAO;IACP,KAAK;IACL,MAAM;IACN,OAAO;IACP,OAAO;IACP,aAAa;IACb,KAAK;IACL,MAAM;IACN,KAAK;IACL,KAAK;IACL,KAAK;IACL,KAAK;IACL,OAAO;IACP,QAAQ;IACR,MAAM;IACN,MAAM;IACN,MAAM;IACN,OAAO;CACV,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAS,MAAM,CAAC,EAAY;IACxB,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,KAAK;YACN,OAAO,CAAC,CAAC;QACb,KAAK,KAAK;YACN,OAAO,CAAC,CAAC;QACb,KAAK,KAAK;YACN,OAAO,CAAC,CAAC;QACb;YACI,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,+BAA+B,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC1F,QAAQ,EAAE,IAAI;gBACd,KAAK,EAAE,EAAE;gBACT,QAAQ,EAAE,iBAAiB;aAC9B,CAAC,CAAC;IACX,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;AAC9E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,OAAe;IACzC,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,gBAAgB,CAAC,kBAAkB,EAAE,oDAAoD,EAAE;YACjG,EAAE,EAAE,kBAAkB;YACtB,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,OAAO;SAChB,CAAC,CAAC;IACP,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,6CAA6C,CAAC,IAAI,EAAE,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,wBAAwB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACrG,SAAS;QACb,CAAC;QACD,MAAM,IAAI,gBAAgB,CACtB,kBAAkB,EAClB,6CAA6C,KAAK,iEAAiE,EACnH,EAAE,EAAE,EAAE,kBAAkB,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CACjF,CAAC;IACN,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,IAAiB;IACjC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC/B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,gBAAgB,CACtB,oBAAoB,EACpB,wCAAwC,KAAK,wBAAwB,EACrE;YACI,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,0BAA0B;SACvC,CACJ,CAAC;IACN,CAAC;IACD,OAAO,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAiB;IACxC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,oDAAoD,EAAE;YAC9F,OAAO,EAAE,0BAA0B;SACtC,CAAC,CAAC;IACP,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,MAAM,mBAAmB;IAMrB;;;;;;OAMG;IACH,YAAY,KAAkB,EAAE,MAAc,EAAE,UAAmB,EAAE,UAAmB;QACpF,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAED;;;;;;OAMG;IACH,MAAM,CAAC,IAA2B,EAAE,IAAiB,EAAE,GAAY;QAC/D,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,MAAM,IAAI,gBAAgB,CACtB,oBAAoB,EACpB,2EAA2E,EAC3E;gBACI,QAAQ,EAAE,MAAM;gBAChB,KAAK,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI;gBAC5B,QAAQ,EAAE,IAAI,CAAC,UAAU;aAC5B,CACJ,CAAC;QACN,CAAC;QACD,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACV,OAAO;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;QACjE,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,gBAAgB,CACtB,oBAAoB,EACpB,8BAA8B,GAAG,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,SAAS,EAC/D;gBACI,QAAQ,EAAE,KAAK;gBACf,KAAK,EAAE,GAAG,CAAC,IAAI;gBACf,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;aAC1B,CACJ,CAAC;QACN,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,EAAE;YAC3C,KAAK,EAAE,CAAC;YACR,GAAG,EAAE,CAAC;YACN,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,QAAQ;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC;SACJ,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;QACzF,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7G,CAAC;CACJ;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,KAAkB,EAClB,IAAiB,EACjB,OAA+B;IAE/B,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,gEAAgE,EAAE;YAC1G,OAAO,EAAE,uBAAuB;SACnC,CAAC,CAAC;IACP,CAAC;IACD,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,oBAAoB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,EAAE,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG,UAAU,CAAC,kBAAkB,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,mBAAmB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;AACtG,CAAC"}