@graphty/webgpu-graph-algorithms 0.5.0 → 0.5.1

package/dist/src/layouts/fruchterman-reingold.js

@@ -0,0 +1,579 @@
+/**
+ * Fruchterman-Reingold on the exact repulsion tier (spec 7.20; contract 3.13): the ForceModel that ForceSimulation
+ * drives -- the K1 K2 K3 K5 sequence per iteration and toScene per batch (no K4: no speed controller), the constant
+ * override set (`LAW` 1 on K2 / K3, `APPLY` 1 on K5, `STATS_MODE` 1 on K1, PD-1), the per-iteration Fa2Params values
+ * with the cooling schedule's temperature (PD-5), the controller resets and the stats decoder -- plus the option
+ * resolver and `createFruchtermanReingold`. The model shares FA2's four kernels, buffers and blocks: `oldForce` is
+ * allocated, bound and never read (K5 compiles `SWING_MODE = 1`, PD-2 / PD-20); the mass lane is 1 for every node
+ * and weights are ignored (PD-11); the `fixed` option resolves at load through ModelInputs.fixed (PD-6); a
+ * `setParams({ fixed })` patch is E_INVALID_ARGUMENT (PD-16).
+ *
+ * The temperature index (PD-5): the simulation hands paramsFor the GLOBAL iteration index, which load() restarts at 0
+ * and reheat() does not touch. The model keeps `tempOrigin` (the global index at which the temperature index is 0):
+ * onLoad sets it to 0; onReheat arms `pendingReheat`; the first paramsFor(global) after it sets
+ * `tempOrigin = global - floor(0.7 * iterations)`, so the temperature restarts at floor(0.7 * iterations) exactly as
+ * the CPU's reheat() does. The temperature is `max(0, 0.1 - dt * (global - tempOrigin))`, dt = 0.1 / (iterations + 1);
+ * at 0 nothing moves and the settle window closes the run (DEP-P5-C: the budget restarts at 0, the temperature does
+ * not).
+ */
+import { FA2_FLAG_ADAPTIVE, FR_ADAPTIVE_MAX_ITERATIONS, FR_DEFAULTS, FR_REHEAT_FRACTION, FR_START_TEMPERATURE, MAX_ITERATIONS_PER_STEP, TRACE_RECORD_BYTES, UNIFORM_SLOT_BYTES, } from "../constants.js";
+import { BufferUsage } from "../device/webgpu-constants.js";
+import { WebGpuGraphError } from "../errors.js";
+import { plan1d } from "../kernel/dispatch.js";
+import { FA2_PARAMS, FA2_STATE, FA2_TRACE, FILL_PARAMS, graphBindings, kernelSpec } from "../kernels.js";
+import { ForceSimulation, } from "./force-simulation.js";
+import { resolveLayoutTuning } from "./forceatlas2.js";
+import { describeValue, FILL_PARAMS_BUFFER, FORCE_BYTES_PER_NODE, invalid, isPositiveInteger, pickCenter, pickDim, pickNumber, pickSeed, scalar, seedWord, subset, vector, } from "./model-common.js";
+// ============================================================ constants
+/** The stage names of one iteration in dispatch order plus the per-batch toScene (spec 7.20: no K4). */
+const FR_STAGES = ["K1", "K2", "K3", "K5", "toScene"];
+/** The one-workgroup dispatch of K1 (spec 7.4). */
+const ONE_WORKGROUP = { x: 1, y: 1, z: 1, items: 1, stride: null };
+/** The model's override set, constant for every option record (PD-1, PD-20). */
+const FR_OVERRIDES = Object.freeze({
+    LINLOG: false,
+    DISTRIBUTED: false,
+    TIER: 0,
+    SWING_MODE: 1,
+    STRONG_GRAVITY: false,
+    GRAVITY_CENTER: 0,
+    LAW: 1,
+    APPLY: 1,
+    STATS_MODE: 1,
+});
+/** Every override each kernel accepts, with its default (the names its registry entry declares). */
+const K1_DEFAULTS = { STATS_MODE: 0 };
+const K2_DEFAULTS = {
+    LINLOG: false,
+    DISTRIBUTED: false,
+    TIER: 0,
+    USE_PERM: false,
+    HAS_WEIGHTS: false,
+    LAW: 0,
+};
+const K3_DEFAULTS = { SWING_MODE: 0, STRONG_GRAVITY: false, GRAVITY_CENTER: 0, LAW: 0 };
+const K5_DEFAULTS = { SWING_MODE: 0, APPLY: 0 };
+/** The resolved record with no option given: FR_DEFAULTS plus the null / origin defaults. */
+const DEFAULT_RESOLVED = Object.freeze({
+    ...FR_DEFAULTS,
+    center: [0, 0, 0],
+    seed: null,
+});
+// ============================================================ the resolver
+/**
+ * The `k` option: undefined keeps the fallback; null, 0 and NaN mean the auto default (null); else a finite
+ * number > 0.
+ * @param given - the value given
+ * @param fallback - the previous record's value or the default
+ * @returns k or null
+ */
+function resolveK(given, fallback) {
+    if (given === undefined) {
+        return fallback;
+    }
+    if (given === null || given === 0 || Number.isNaN(given)) {
+        return null;
+    }
+    return pickNumber("k", given, 1, (v) => v > 0, "> 0 or null");
+}
+/**
+ * The `cooling` option: undefined keeps the fallback; else one of the two schedule names.
+ * @param given - the value given
+ * @param fallback - the previous record's value or the default
+ * @returns the schedule
+ */
+function pickCooling(given, fallback) {
+    if (given === undefined) {
+        return fallback;
+    }
+    if (given === "linear" || given === "adaptive") {
+        return given;
+    }
+    throw invalid("cooling", given, '"linear" | "adaptive"');
+}
+/**
+ * Applies FR_DEFAULTS to the option record and validates every range (spec 7.20, 9.3). `k`: null, 0 and NaN mean the
+ * auto default `1 / sqrt(n)` (the CPU's `if (!k)`, `layout/src/simulation/fruchterman-reingold.ts:140-152`); a
+ * negative or infinite k is E_INVALID_ARGUMENT. `iterations` is an integer >= 0 (0: settled at load); under
+ * `cooling: "adaptive"` it is only the run's cap and a fresh record without one gets FR_ADAPTIVE_MAX_ITERATIONS. `fixed` is a
+ * NodeMask, a bool node column name or null. With `previous` the record is a PATCH over it and `maxInFlight` may not
+ * change (the uniform ring is sized by it at construction).
+ * @param options - the caller's options (or a setParams patch)
+ * @param previous - the current resolved record when resolving a patch
+ * @returns the frozen resolved record
+ */
+export function resolveFruchtermanReingoldOptions(options, previous) {
+    const o = options ?? {};
+    const base = previous ?? DEFAULT_RESOLVED;
+    if (previous !== undefined && o.maxInFlight !== undefined && o.maxInFlight !== previous.maxInFlight) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", `maxInFlight cannot change after creation (the uniform ring is sized by it): got ${describeValue(o.maxInFlight)}, current ${previous.maxInFlight}`, { argument: "maxInFlight", value: o.maxInFlight, expected: previous.maxInFlight });
+    }
+    const fixed = o.fixed === undefined ? base.fixed : o.fixed;
+    if (fixed !== null && typeof fixed !== "string" && !(fixed instanceof Uint32Array)) {
+        throw invalid("fixed", fixed, "a NodeMask (Uint32Array), the name of a bool node column, or null");
+    }
+    const cooling = pickCooling(o.cooling, base.cooling);
+    // under adaptive cooling `iterations` is only a cap: a fresh record without one gets the adaptive budget, not the schedule's 50
+    const iterationsFallback = previous === undefined && cooling === "adaptive" && o.iterations === undefined
+        ? FR_ADAPTIVE_MAX_ITERATIONS
+        : base.iterations;
+    const resolved = {
+        k: resolveK(o.k, base.k),
+        iterations: pickNumber("iterations", o.iterations, iterationsFallback, (v) => Number.isInteger(v) && v >= 0, "an integer >= 0"),
+        cooling,
+        fixed: fixed,
+        dim: pickDim(o.dim, base.dim),
+        scale: pickNumber("scale", o.scale, base.scale, (v) => v > 0, "> 0"),
+        center: pickCenter(o.center, base.center),
+        seed: pickSeed(o.seed, base.seed),
+        settleThreshold: pickNumber("settleThreshold", o.settleThreshold, base.settleThreshold, (v) => v >= 0, ">= 0"),
+        settleWindow: pickNumber("settleWindow", o.settleWindow, base.settleWindow, isPositiveInteger, "an integer >= 1"),
+        iterationsPerStep: pickNumber("iterationsPerStep", o.iterationsPerStep, base.iterationsPerStep, (v) => isPositiveInteger(v) && v <= MAX_ITERATIONS_PER_STEP, `an integer in [1, ${MAX_ITERATIONS_PER_STEP}]`),
+        maxInFlight: pickNumber("maxInFlight", o.maxInFlight, base.maxInFlight, isPositiveInteger, "an integer >= 1"),
+    };
+    return Object.freeze(resolved);
+}
+/**
+ * The fixed mask of a load (spec 7.12; the rule of `layout/src/simulation/fruchterman-reingold.ts:576-606` minus its
+ * "previous pins" clause, which ForceSimulation.load() implements by keeping the words on a same-size reload): a
+ * string names a bool node column (E_INVALID_ARGUMENT when absent or not bool); a mask is copied; null takes the
+ * role-"fixed" bool column when present, else null (leave the words as they are).
+ * @param s - the snapshot being loaded
+ * @param spec - the resolved `fixed` option
+ * @returns the mask words to apply at load, or null
+ */
+function resolveFixed(s, spec) {
+    const words = Math.ceil(s.nodeCount / 32);
+    if (typeof spec === "string") {
+        const column = s.nodes.get(spec);
+        if (column === null) {
+            throw invalid("fixed", spec, `the name of a bool node column (the snapshot holds no node column "${spec}")`);
+        }
+        if (column.dtype !== "bool") {
+            throw invalid("fixed", spec, `the name of a bool node column ("${spec}" is ${column.dtype})`);
+        }
+        return new Uint32Array(column.data.subarray(0, words));
+    }
+    if (spec !== null) {
+        if (spec.length < words) {
+            throw invalid("fixed", spec.length, `a mask of at least ${words} words for ${s.nodeCount} nodes`);
+        }
+        return new Uint32Array(spec.subarray(0, words));
+    }
+    const byRole = s.nodes.byRole("fixed");
+    if (byRole !== null && byRole.dtype === "bool") {
+        return new Uint32Array(byRole.data.subarray(0, words));
+    }
+    return null;
+}
+/** The Fruchterman-Reingold model (spec 7.20: K1 K2 K3 K5 per iteration; toScene once per batch). Stages: ["K1", "K2", "K3", "K5", "toScene"]. */
+export class FruchtermanReingoldModel {
+    /**
+     * Creates the model for one simulation.
+     * @param tuning - the resolved GPU-only tuning (the tier rule; compat has no effect on this model)
+     * @param resolved - the resolved option record at creation
+     */
+    constructor(tuning, resolved) {
+        /** The model kind of spec 7.19. */
+        this.kind = "fruchtermanReingold";
+        /** The stage names in dispatch order (the `upTo` vocabulary of recordIteration and debugRunStages). */
+        this.stages = FR_STAGES;
+        /** Fa2Params: the per-iteration uniform block (the simulation writes the shared fields into it). */
+        this.params = FA2_PARAMS;
+        /** Fa2State: the state header block. */
+        this.state = FA2_STATE;
+        /** Fa2Trace: one record per iteration of a batch. */
+        this.trace = FA2_TRACE;
+        /** The global iteration index at which the temperature index is 0 (PD-5). */
+        this.tempOrigin = 0;
+        /** Armed by onReheat(); consumed by the next paramsFor(), which re-anchors tempOrigin (PD-5). */
+        this.pendingReheat = false;
+        this.resources = null;
+        this.bound = null;
+        /** The K1-K5 compute pass of the batch being recorded, keyed by CommandBatch.id (one pass per batch, contract 4.4). */
+        this.openPass = null;
+        this.tuning = tuning;
+        this.current = resolved;
+    }
+    /**
+     * force 12n and oldForce 12n (zeroed; bound and never read, PD-2) plus the 256-byte FillParams uniform buffer the
+     * fill dispatch reads. n = 0 reports one node's worth of bytes so no zero-length buffer is ever created.
+     * @param n - the node count
+     * @param _dim - the layout dimension (the force arrays are stride 3 in both)
+     * @returns the three model-owned buffer specs
+     */
+    buffers(n, _dim) {
+        const bytes = Math.max(1, n) * FORCE_BYTES_PER_NODE;
+        const usage = BufferUsage.STORAGE | BufferUsage.COPY_SRC | BufferUsage.COPY_DST;
+        return [
+            { name: "force", byteLength: bytes, usage, zero: true },
+            { name: "oldForce", byteLength: bytes, usage, zero: true },
+            {
+                name: FILL_PARAMS_BUFFER,
+                byteLength: UNIFORM_SLOT_BYTES,
+                usage: BufferUsage.UNIFORM | BufferUsage.COPY_DST,
+                zero: false,
+            },
+        ];
+    }
+    /**
+     * Mass 1 for every node and no weights (PD-11: FR has no mass and ignores weights), the fixed mask of the
+     * `fixed` option applied at load (PD-6). The tier rule is the simulation's (load() throws for the grid tier
+     * before calling this).
+     * @param s - the snapshot being loaded
+     * @param options - the simulation's current option record
+     * @returns the per-load inputs
+     */
+    inputs(s, options) {
+        const resolved = resolveFruchtermanReingoldOptions(options, this.current);
+        return {
+            mass: new Float32Array(s.nodeCount).fill(1),
+            weights: { data: null, source: "none", column: null },
+            fixed: resolveFixed(s, resolved.fixed),
+        };
+    }
+    /**
+     * The constant FR override set (PD-1): no option changes a law, so setParams never recompiles.
+     * @param _options - an option record (unused: the set is constant)
+     * @returns the model's own override set
+     */
+    overrides(_options) {
+        return FR_OVERRIDES;
+    }
+    /**
+     * The six module specs of an override set in dispatch order -- K1, K2, K3, K5, toScene, fill -- each with only the
+     * override names its entry declares (K2 also USE_PERM / HAS_WEIGHTS), for warm() and the compile matrix.
+     * @param overrides - the merged override set (the model's plus USE_PERM / HAS_WEIGHTS)
+     * @param _subgroups - accepted for the ForceModel interface and unused (the composer picks the twin from caps)
+     * @returns the specs
+     */
+    specs(overrides, _subgroups) {
+        return [
+            kernelSpec("fa2-stats-finalize", subset(overrides, K1_DEFAULTS)),
+            kernelSpec("fa2-attraction", subset(overrides, K2_DEFAULTS)),
+            kernelSpec("fa2-repulsion-exact", subset(overrides, K3_DEFAULTS)),
+            kernelSpec("fa2-integrate", subset(overrides, K5_DEFAULTS)),
+            kernelSpec("fa2-to-scene"),
+            kernelSpec("fill"),
+        ];
+    }
+    /**
+     * Compiles (through the cache) and binds every kernel against the buffers of this load(): K1, K2 (or the fill of
+     * force when arcCount === 0), K3, K5, toScene; writes the FillParams { count: 3n, value: 0, mode: 0 } into the
+     * model's uniform buffer. With n === 0 nothing is bound.
+     * @param resources - the graph, the shared and model buffers, the ring and the cache
+     * @param overrides - the merged override set
+     */
+    async bind(resources, overrides) {
+        this.dropBound();
+        this.resources = resources;
+        const { n, pipelines, caps, core, perm, ring, device } = resources;
+        if (n === 0) {
+            return;
+        }
+        // sequential on purpose: PipelineCache.get compiles inside a validation scope, one stack per device
+        const k1 = await pipelines.kernel(kernelSpec("fa2-stats-finalize", subset(overrides, K1_DEFAULTS)));
+        const k2 = await pipelines.kernel(kernelSpec("fa2-attraction", subset(overrides, K2_DEFAULTS)));
+        const k3 = await pipelines.kernel(kernelSpec("fa2-repulsion-exact", subset(overrides, K3_DEFAULTS)));
+        const k5 = await pipelines.kernel(kernelSpec("fa2-integrate", subset(overrides, K5_DEFAULTS)));
+        const toScene = await pipelines.kernel(kernelSpec("fa2-to-scene"));
+        const fill = await pipelines.kernel(kernelSpec("fill"));
+        if (this.resources !== resources) {
+            // a newer bind() superseded this one while the pipelines compiled; its own bind groups stand
+            return;
+        }
+        const pos = resources.buffer("positions");
+        const scene = resources.buffer("scenePositions");
+        const fixed = resources.buffer("fixed");
+        const partials = resources.buffer("partials");
+        const state = resources.buffer("state");
+        const trace = resources.buffer("trace");
+        const force = resources.buffer("force");
+        const oldForce = resources.buffer("oldForce");
+        const fillParamsBuffer = resources.buffer(FILL_PARAMS_BUFFER);
+        const params = ring.binding(FA2_PARAMS);
+        const fillParams = {
+            buffer: fillParamsBuffer.buffer,
+            offset: fillParamsBuffer.offset,
+            size: FILL_PARAMS.byteLength,
+            window: null,
+        };
+        const fillBytes = new ArrayBuffer(FILL_PARAMS.byteLength);
+        FILL_PARAMS.write(new DataView(fillBytes), { count: 3 * n, value: 0, mode: 0 });
+        device.queue.writeBuffer(fillParamsBuffer.buffer, fillParamsBuffer.offset, fillBytes);
+        const hasArcs = core.colIdx !== null;
+        const wg = k1.workgroupSize;
+        this.bound = {
+            n,
+            plan: plan1d(n, wg, caps),
+            fillPlan: plan1d(3 * n, wg, caps),
+            k1,
+            k1Bound: k1.bind({ partials, S: state, T: trace, P: params }),
+            k2,
+            k2Bound: hasArcs
+                ? k2.bind({ ...graphBindings(core, perm, resources.weights), pos, force, P: params })
+                : null,
+            k3,
+            k3Bound: k3.bind({ pos, S: state, force, oldForce, fixedMask: fixed, partials, P: params }),
+            k5,
+            k5Bound: k5.bind({ force, oldForce, fixedMask: fixed, S: state, pos, partials, P: params }),
+            toScene,
+            toSceneBound: toScene.bind({ pos, scene, P: params }),
+            fill,
+            fillForceBound: hasArcs ? null : fill.bind({ dst: force, P: fillParams }),
+        };
+    }
+    /**
+     * The Fa2Params values of one iteration: the FA2 fields at their neutral values (scalingRatio, gravity and
+     * jitterTolerance 0), `frK` = k or 1 / sqrt(n), and this iteration's temperature (PD-5 anchors here). Under
+     * `cooling: "adaptive"` the flags carry FA2_FLAG_ADAPTIVE and the kernels take the temperature from the state
+     * block instead (K1 updates it, K5 reads it); the uniform's value is then the start temperature and unused. The
+     * simulation overwrites the shared fields with the same values and OR-s in its own flags.
+     * @param iteration - the GLOBAL iteration index
+     * @param options - the simulation's current option record
+     * @returns the uniform values
+     */
+    paramsFor(iteration, options) {
+        const { n } = this.requireResources();
+        const resolved = resolveFruchtermanReingoldOptions(options, this.current);
+        const { nearMax, extentFactor } = this.tuning;
+        const adaptive = resolved.cooling === "adaptive";
+        return {
+            n,
+            dim: resolved.dim,
+            flags: adaptive ? FA2_FLAG_ADAPTIVE : 0,
+            tierStart: 0,
+            tierEnd: n,
+            iterationIndex: iteration,
+            seed: seedWord(resolved.seed),
+            nearMax,
+            scalingRatio: 0,
+            gravity: 0,
+            jitterTolerance: 0,
+            scale: resolved.scale,
+            center: [resolved.center[0], resolved.center[1], resolved.center[2], 0],
+            settleThreshold: resolved.settleThreshold,
+            extentFactor,
+            gridMax: 0,
+            levels: 0,
+            pad: [0, 0, 0, 0],
+            frK: resolved.k ?? 1 / Math.sqrt(n),
+            temperature: adaptive ? FR_START_TEMPERATURE : this.temperatureAt(iteration, resolved),
+        };
+    }
+    /**
+     * Records one iteration into the batch: K1, K2 (or the fill of force when arcCount === 0), K3, K5 in the batch's
+     * ONE compute pass (opened by the first call of a batch and reused by every later call with the same batch.id),
+     * then toScene in a second pass that ends it, stopping after stage `upTo` when given. With n === 0 nothing is
+     * recorded; a call before bind() completed is E_NOT_LOADED (never a silent no-op).
+     * @param batch - the batch being recorded
+     * @param slot - the UniformRing slot holding this iteration's Fa2Params
+     * @param tier - "exact" (the grid tier is E_UNSUPPORTED until P4)
+     * @param upTo - a stage name to stop after; undefined records every stage including toScene
+     */
+    recordIteration(batch, slot, tier, upTo) {
+        if (tier === "grid") {
+            throw new WebGpuGraphError("E_UNSUPPORTED", "the grid repulsion tier lands in P4", {
+                feature: "repulsion.grid",
+                hint: 'pass repulsion: "exact"',
+            });
+        }
+        const resources = this.requireResources();
+        const stop = upTo === undefined ? FR_STAGES.length - 1 : this.stageIndex(upTo);
+        const { bound } = this;
+        if (bound === null) {
+            if (resources.n === 0) {
+                return;
+            }
+            throw new WebGpuGraphError("E_NOT_LOADED", "the Fruchterman-Reingold model is not bound (bind() has not completed)", { state: "loaded" });
+        }
+        const offset = resources.ring.offsetOf(slot);
+        const pass = this.openPass !== null && this.openPass.id === batch.id ? this.openPass.pass : batch.pass("fr");
+        this.openPass = { id: batch.id, pass };
+        bound.k1.dispatch(pass, bound.k1Bound, ONE_WORKGROUP, [offset]);
+        if (stop < 1) {
+            return;
+        }
+        if (bound.k2Bound !== null) {
+            bound.k2.dispatch(pass, bound.k2Bound, bound.plan, [offset]);
+        }
+        else if (bound.fillForceBound !== null) {
+            bound.fill.dispatch(pass, bound.fillForceBound, bound.fillPlan, [0]);
+        }
+        if (stop < 2) {
+            return;
+        }
+        bound.k3.dispatch(pass, bound.k3Bound, bound.plan, [offset]);
+        if (stop < 3) {
+            return;
+        }
+        bound.k5.dispatch(pass, bound.k5Bound, bound.plan, [offset]);
+        if (stop < 4) {
+            return;
+        }
+        this.openPass = null;
+        const scenePass = batch.pass("fa2-to-scene");
+        bound.toScene.dispatch(scenePass, bound.toSceneBound, bound.plan, [offset]);
+    }
+    /**
+     * temperature = 0.1 (what stats reads before the first batch lands), kineticEnergy = 0; the temperature index
+     * restarts at 0 (PD-5).
+     * @param state - the state writer of the simulation
+     */
+    onLoad(state) {
+        this.resetAdaptive(state);
+        state.set("kineticEnergy", 0);
+        this.tempOrigin = 0;
+        this.pendingReheat = false;
+    }
+    /**
+     * temperature = 0.1, the adaptive controller's energy = +infinity (the first fold always counts as a fall) and
+     * its progress counter = 0: the state K1 reads under `cooling: "adaptive"`, and what stats reads before the first
+     * batch lands under either schedule.
+     * @param state - the state writer of the simulation
+     */
+    resetAdaptive(state) {
+        state.set("temperature", FR_START_TEMPERATURE);
+        state.set("frEnergy", Number.POSITIVE_INFINITY);
+        state.set("frProgress", 0);
+    }
+    /**
+     * Arms the re-anchoring of the temperature index at floor(0.7 * iterations), placed by the next paramsFor (PD-5);
+     * under `cooling: "adaptive"` restarts the controller at the start temperature instead.
+     * @param state - the state writer of the simulation
+     */
+    onReheat(state) {
+        this.pendingReheat = true;
+        if (this.current.cooling === "adaptive") {
+            this.resetAdaptive(state);
+        }
+    }
+    /**
+     * Replaces the record (a new k or budget takes effect at the next paramsFor: a new dt, a new frK; no recompile).
+     * The PD-16 `fixed` check already ran in the simulation's resolve callback.
+     * @param patch - the setParams patch
+     * @param _state - the state writer of the simulation (nothing to write)
+     */
+    onSetParams(patch, _state) {
+        this.current = resolveFruchtermanReingoldOptions(patch, this.current);
+    }
+    /**
+     * Decodes the state header and the k trace records of a completed batch into FruchtermanReingoldStats: the exact
+     * tier with null grid fields, msPerIteration null (the simulation owns the clock), the temperature K1 wrote.
+     * @param state - a DataView over the 256-byte state header
+     * @param trace - a DataView over the k Fa2Trace records of the batch
+     * @returns the stats
+     */
+    readStats(state, trace) {
+        const header = FA2_STATE.read(state);
+        const centroid = vector(header, "centroid");
+        const records = [];
+        const count = Math.floor(trace.byteLength / TRACE_RECORD_BYTES);
+        for (let i = 0; i < count; i++) {
+            const record = FA2_TRACE.read(trace, i * TRACE_RECORD_BYTES);
+            records.push({
+                temperature: scalar(record, "modelScalar"),
+                meanDisplacement: scalar(record, "meanDisplacement"),
+                settledCount: scalar(record, "settledCount"),
+            });
+        }
+        return {
+            iteration: scalar(header, "iteration"),
+            meanDisplacement: scalar(header, "meanDisplacement"),
+            rmsRadius: scalar(header, "rmsRadius"),
+            layoutRadius: scalar(header, "radius"),
+            centroid: [centroid[0], centroid[1], centroid[2]],
+            repulsionTier: "exact",
+            maxCellOccupancy: null,
+            outsideGrid: null,
+            msPerIteration: null,
+            temperature: scalar(header, "temperature"),
+            trace: records,
+        };
+    }
+    /**
+     * The temperature of a global iteration (PD-5): a pending reheat re-anchors tempOrigin so this iteration's
+     * temperature index is floor(0.7 * iterations); then max(0, 0.1 - dt * index), dt = 0.1 / (iterations + 1).
+     * @param global - the global iteration index
+     * @param resolved - the current record
+     * @returns the temperature (f64; the uniform slot rounds it to f32)
+     */
+    temperatureAt(global, resolved) {
+        if (this.pendingReheat) {
+            this.tempOrigin = global - Math.floor(FR_REHEAT_FRACTION * resolved.iterations);
+            this.pendingReheat = false;
+        }
+        const dt = FR_START_TEMPERATURE / (resolved.iterations + 1);
+        return Math.max(0, FR_START_TEMPERATURE - dt * (global - this.tempOrigin));
+    }
+    /**
+     * The resources of the last bind(), or E_NOT_LOADED before it.
+     * @returns the resources
+     */
+    requireResources() {
+        if (this.resources === null) {
+            throw new WebGpuGraphError("E_NOT_LOADED", "the Fruchterman-Reingold model has not been bound (load() first)", { state: "created" });
+        }
+        return this.resources;
+    }
+    /**
+     * The index of a stage name in FR_STAGES, or E_INVALID_ARGUMENT.
+     * @param upTo - the stage name
+     * @returns its index
+     */
+    stageIndex(upTo) {
+        for (let i = 0; i < FR_STAGES.length; i++) {
+            if (FR_STAGES[i] === upTo) {
+                return i;
+            }
+        }
+        throw invalid("upTo", upTo, FR_STAGES.join(" | "));
+    }
+    /** Drops the bind groups of the previous bind() (the buffers changed) and forgets the pass of a batch recorded before the rebind. */
+    dropBound() {
+        this.openPass = null;
+        const { bound } = this;
+        if (bound === null) {
+            return;
+        }
+        for (const kernel of [bound.k1, bound.k2, bound.k3, bound.k5, bound.toScene, bound.fill]) {
+            kernel.invalidate();
+        }
+        this.bound = null;
+    }
+}
+// ============================================================ the factory
+/**
+ * The resolve callback of the simulation's setParams: the PD-16 `fixed` check first (fixed is applied at load; a
+ * rejected patch leaves the simulation unchanged because ForceSimulation.setParams runs this before any state moves),
+ * then the patch over the current record, re-validated.
+ * @param patch - the setParams patch
+ * @param current - the simulation's current option record
+ * @returns the new record
+ */
+function resolvePatch(patch, current) {
+    if ("fixed" in patch) {
+        throw new WebGpuGraphError("E_INVALID_ARGUMENT", "setParams({ fixed }) is not a live option (spec 7.12)", {
+            argument: "fixed",
+            value: patch.fixed,
+            expected: "absent",
+            hint: "use setFixed(mask); fixed is applied at load()",
+        });
+    }
+    return resolveFruchtermanReingoldOptions(patch, resolveFruchtermanReingoldOptions(current));
+}
+/**
+ * Spec 3.3 createFruchtermanReingold, verbatim: a GpuLayoutSimulation running Fruchterman-Reingold on the exact
+ * repulsion tier with the option defaults of spec 7.20 and the GPU-only tuning of GpuLayoutTuning.
+ * @param ctx - the context (E_DISPOSED / E_DEVICE_LOST through assertReady)
+ * @param options - the Fruchterman-Reingold options and the GPU-only tuning knobs in one record
+ * @returns the simulation in state "created"; load() next
+ */
+export function createFruchtermanReingold(ctx, options) {
+    ctx.assertReady();
+    const resolved = resolveFruchtermanReingoldOptions(options);
+    const tuning = resolveLayoutTuning(options);
+    const model = new FruchtermanReingoldModel(tuning, resolved);
+    return new ForceSimulation(ctx, model, resolved, tuning, resolvePatch);
+}
+//# sourceMappingURL=fruchterman-reingold.js.map

package/dist/src/layouts/fruchterman-reingold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fruchterman-reingold.js","sourceRoot":"","sources":["../../../src/layouts/fruchterman-reingold.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,EACH,iBAAiB,EACjB,0BAA0B,EAC1B,WAAW,EACX,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EACvB,kBAAkB,EAClB,kBAAkB,GACrB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEhD,OAAO,EAAqB,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAIlE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAUzG,OAAO,EAGH,eAAe,GAIlB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EACH,aAAa,EACb,kBAAkB,EAClB,oBAAoB,EACpB,OAAO,EACP,iBAAiB,EAEjB,UAAU,EACV,OAAO,EACP,UAAU,EACV,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,MAAM,EACN,MAAM,GACT,MAAM,mBAAmB,CAAC;AAE3B,yEAAyE;AAEzE,wGAAwG;AACxG,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAU,CAAC;AAE/D,mDAAmD;AACnD,MAAM,aAAa,GAAiB,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAEjF,gFAAgF;AAChF,MAAM,YAAY,GAAc,MAAM,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;IAClB,IAAI,EAAE,CAAC;IACP,UAAU,EAAE,CAAC;IACb,cAAc,EAAE,KAAK;IACrB,cAAc,EAAE,CAAC;IACjB,GAAG,EAAE,CAAC;IACN,KAAK,EAAE,CAAC;IACR,UAAU,EAAE,CAAC;CAChB,CAAC,CAAC;AAEH,oGAAoG;AACpG,MAAM,WAAW,GAAc,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;AACjD,MAAM,WAAW,GAAc;IAC3B,MAAM,EAAE,KAAK;IACb,WAAW,EAAE,KAAK;IAClB,IAAI,EAAE,CAAC;IACP,QAAQ,EAAE,KAAK;IACf,WAAW,EAAE,KAAK;IAClB,GAAG,EAAE,CAAC;CACT,CAAC;AACF,MAAM,WAAW,GAAc,EAAE,UAAU,EAAE,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACnG,MAAM,WAAW,GAAc,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAE3D,6FAA6F;AAC7F,MAAM,gBAAgB,GAAuC,MAAM,CAAC,MAAM,CAAqC;IAC3G,GAAG,WAAW;IACd,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,IAAI;CACb,CAAC,CAAC;AAEH,4EAA4E;AAE5E;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,KAAgC,EAAE,QAAuB;IACvE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;AAClE,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,KAAc,EAAE,QAA+B;IAChE,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,OAAO,CAAC,SAAS,EAAE,KAAK,EAAE,uBAAuB,CAAC,CAAC;AAC7D,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iCAAiC,CAC7C,OAA+C,EAC/C,QAA6C;IAE7C,MAAM,CAAC,GAA+B,OAAO,IAAI,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,QAAQ,IAAI,gBAAgB,CAAC;IAC1C,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;QAClG,MAAM,IAAI,gBAAgB,CACtB,oBAAoB,EACpB,mFAAmF,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,QAAQ,CAAC,WAAW,EAAE,EAClJ,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,CACpF,CAAC;IACN,CAAC;IACD,MAAM,KAAK,GAAY,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACpE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,YAAY,WAAW,CAAC,EAAE,CAAC;QACjF,MAAM,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,mEAAmE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,gIAAgI;IAChI,MAAM,kBAAkB,GACpB,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;QAC1E,CAAC,CAAC,0BAA0B;QAC5B,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC;IAC1B,MAAM,QAAQ,GAAuC;QACjD,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QACxB,UAAU,EAAE,UAAU,CAClB,YAAY,EACZ,CAAC,CAAC,UAAU,EACZ,kBAAkB,EAClB,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EACpC,iBAAiB,CACpB;QACD,OAAO;QACP,KAAK,EAAE,KAAiC;QACxC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QAC7B,KAAK,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC;QACpE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;QACzC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QACjC,eAAe,EAAE,UAAU,CAAC,iBAAiB,EAAE,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;QAC9G,YAAY,EAAE,UAAU,CACpB,cAAc,EACd,CAAC,CAAC,YAAY,EACd,IAAI,CAAC,YAAY,EACjB,iBAAiB,EACjB,iBAAiB,CACpB;QACD,iBAAiB,EAAE,UAAU,CACzB,mBAAmB,EACnB,CAAC,CAAC,iBAAiB,EACnB,IAAI,CAAC,iBAAiB,EACtB,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,uBAAuB,EAC3D,qBAAqB,uBAAuB,GAAG,CAClD;QACD,WAAW,EAAE,UAAU,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,iBAAiB,EAAE,iBAAiB,CAAC;KAChH,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,CAAgB,EAAE,IAA8B;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,CAAC;IAC1C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,OAAO,CACT,OAAO,EACP,IAAI,EACJ,sEAAsE,IAAI,IAAI,CACjF,CAAC;QACN,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAC1B,MAAM,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,oCAAoC,IAAI,QAAQ,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;QAClG,CAAC;QACD,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAChB,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,EAAE,CAAC;YACtB,MAAM,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,sBAAsB,KAAK,cAAc,CAAC,CAAC,SAAS,QAAQ,CAAC,CAAC;QACtG,CAAC;QACD,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QAC7C,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AA2BD,kJAAkJ;AAClJ,MAAM,OAAO,wBAAwB;IAyBjC;;;;OAIG;IACH,YAAY,MAA4B,EAAE,QAA4C;QA7BtF,mCAAmC;QAC1B,SAAI,GAAG,qBAAqB,CAAC;QACtC,uGAAuG;QAC9F,WAAM,GAAiD,SAAS,CAAC;QAC1E,oGAAoG;QAC3F,WAAM,GAAiB,UAAU,CAAC;QAC3C,wCAAwC;QAC/B,UAAK,GAAiB,SAAS,CAAC;QACzC,qDAAqD;QAC5C,UAAK,GAAiB,SAAS,CAAC;QAMzC,6EAA6E;QACrE,eAAU,GAAG,CAAC,CAAC;QACvB,iGAAiG;QACzF,kBAAa,GAAG,KAAK,CAAC;QACtB,cAAS,GAA0B,IAAI,CAAC;QACxC,UAAK,GAAsB,IAAI,CAAC;QACxC,uHAAuH;QAC/G,aAAQ,GAAyE,IAAI,CAAC;QAQ1F,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC;IAC5B,CAAC;IAED;;;;;;OAMG;IACH,OAAO,CAAC,CAAS,EAAE,IAAW;QAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,oBAAoB,CAAC;QACpD,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,GAAG,WAAW,CAAC,QAAQ,GAAG,WAAW,CAAC,QAAQ,CAAC;QAChF,OAAO;YACH,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;YACvD,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;YAC1D;gBACI,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,kBAAkB;gBAC9B,KAAK,EAAE,WAAW,CAAC,OAAO,GAAG,WAAW,CAAC,QAAQ;gBACjD,IAAI,EAAE,KAAK;aACd;SACJ,CAAC;IACN,CAAC;IAED;;;;;;;OAOG;IACH,MAAM,CAAC,CAAgB,EAAE,OAAmC;QACxD,MAAM,QAAQ,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1E,OAAO;YACH,IAAI,EAAE,IAAI,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3C,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE;YACrD,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC;SACzC,CAAC;IACN,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,QAAoC;QAC1C,OAAO,YAAY,CAAC;IACxB,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,SAAoB,EAAE,UAAmB;QAC3C,OAAO;YACH,UAAU,CAAC,oBAAoB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAChE,UAAU,CAAC,gBAAgB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAC5D,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YACjE,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAC3D,UAAU,CAAC,cAAc,CAAC;YAC1B,UAAU,CAAC,MAAM,CAAC;SACrB,CAAC;IACN,CAAC;IAED;;;;;;OAMG;IACH,KAAK,CAAC,IAAI,CAAC,SAAyB,EAAE,SAAoB;QACtD,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAC;QAC3B,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;QACnE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACV,OAAO;QACX,CAAC;QACD,oGAAoG;QACpG,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,oBAAoB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACpG,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,gBAAgB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QAChG,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QACrG,MAAM,EAAE,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,eAAe,EAAE,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CAAC;QACnE,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAC/B,6FAA6F;YAC7F,OAAO;QACX,CAAC;QACD,MAAM,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC9C,MAAM,gBAAgB,GAAG,SAAS,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,UAAU,GAAY;YACxB,MAAM,EAAE,gBAAgB,CAAC,MAAM;YAC/B,MAAM,EAAE,gBAAgB,CAAC,MAAM;YAC/B,IAAI,EAAE,WAAW,CAAC,UAAU;YAC5B,MAAM,EAAE,IAAI;SACf,CAAC;QACF,MAAM,SAAS,GAAG,IAAI,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC1D,WAAW,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;QACrC,MAAM,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC;QAC5B,IAAI,CAAC,KAAK,GAAG;YACT,CAAC;YACD,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC;YACzB,QAAQ,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC;YACjC,EAAE;YACF,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;YAC7D,EAAE;YACF,OAAO,EAAE,OAAO;gBACZ,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;gBACrF,CAAC,CAAC,IAAI;YACV,EAAE;YACF,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3F,EAAE;YACF,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3F,OAAO;YACP,YAAY,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;YACrD,IAAI;YACJ,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC;SAC5E,CAAC;IACN,CAAC;IAED;;;;;;;;;OASG;IACH,SAAS,CAAC,SAAiB,EAAE,OAAmC;QAC5D,MAAM,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtC,MAAM,QAAQ,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1E,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC;QAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,KAAK,UAAU,CAAC;QACjD,OAAO;YACH,CAAC;YACD,GAAG,EAAE,QAAQ,CAAC,GAAG;YACjB,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;YACvC,SAAS,EAAE,CAAC;YACZ,OAAO,EAAE,CAAC;YACV,cAAc,EAAE,SAAS;YACzB,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC7B,OAAO;YACP,YAAY,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;YACV,eAAe,EAAE,CAAC;YAClB,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvE,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,YAAY;YACZ,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,CAAC;YACT,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACjB,GAAG,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACnC,WAAW,EAAE,QAAQ,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC;SACzF,CAAC;IACN,CAAC;IAED;;;;;;;;;OASG;IACH,eAAe,CAAC,KAAmB,EAAE,IAAY,EAAE,IAAsB,EAAE,IAAa;QACpF,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAClB,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,qCAAqC,EAAE;gBAC/E,OAAO,EAAE,gBAAgB;gBACzB,IAAI,EAAE,yBAAyB;aAClC,CAAC,CAAC;QACP,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAC1C,MAAM,IAAI,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC/E,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACvB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjB,IAAI,SAAS,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO;YACX,CAAC;YACD,MAAM,IAAI,gBAAgB,CACtB,cAAc,EACd,wEAAwE,EACxE,EAAE,KAAK,EAAE,QAAQ,EAAE,CACtB,CAAC;QACN,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7G,IAAI,CAAC,QAAQ,GAAG,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC;QACvC,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAChE,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACX,OAAO;QACX,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;YACzB,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;aAAM,IAAI,KAAK,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;YACvC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACX,OAAO;QACX,CAAC;QACD,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACX,OAAO;QACX,CAAC;QACD,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACX,OAAO;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7C,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAChF,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAkB;QACrB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1B,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;IAC/B,CAAC;IAED;;;;;OAKG;IACK,aAAa,CAAC,KAAkB;QACpC,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,oBAAoB,CAAC,CAAC;QAC/C,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAChD,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,KAAkB;QACvB,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC;QAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,WAAW,CAAC,KAA0C,EAAE,MAAmB;QACvE,IAAI,CAAC,OAAO,GAAG,iCAAiC,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,KAAe,EAAE,KAAe;QACtC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAqC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,GAAG,kBAAkB,CAAC,CAAC;QAChE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,kBAAkB,CAAC,CAAC;YAC7D,OAAO,CAAC,IAAI,CAAC;gBACT,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;gBAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC;gBACpD,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC;aAC/C,CAAC,CAAC;QACP,CAAC;QACD,OAAO;YACH,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC;YACtC,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC;YACpD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC;YACtC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;YACtC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjD,aAAa,EAAE,OAAO;YACtB,gBAAgB,EAAE,IAAI;YACtB,WAAW,EAAE,IAAI;YACjB,cAAc,EAAE,IAAI;YACpB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,CAAC;YAC1C,KAAK,EAAE,OAAO;SACjB,CAAC;IACN,CAAC;IAED;;;;;;OAMG;IACK,aAAa,CAAC,MAAc,EAAE,QAA4C;QAC9E,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACrB,IAAI,CAAC,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,kBAAkB,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;YAChF,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC;QAC/B,CAAC;QACD,MAAM,EAAE,GAAG,oBAAoB,GAAG,CAAC,QAAQ,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;QAC5D,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,oBAAoB,GAAG,EAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/E,CAAC;IAED;;;OAGG;IACK,gBAAgB;QACpB,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,IAAI,gBAAgB,CACtB,cAAc,EACd,kEAAkE,EAClE,EAAE,KAAK,EAAE,SAAS,EAAE,CACvB,CAAC;QACN,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC;IAC1B,CAAC;IAED;;;;OAIG;IACK,UAAU,CAAC,IAAY;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACxB,OAAO,CAAC,CAAC;YACb,CAAC;QACL,CAAC;QACD,MAAM,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,qIAAqI;IAC7H,SAAS;QACb,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,MAAM,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC;QACvB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvF,MAAM,CAAC,UAAU,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;IACtB,CAAC;CACJ;AAED,2EAA2E;AAE3E;;;;;;;GAOG;AACH,SAAS,YAAY,CACjB,KAA0C,EAC1C,OAAmC;IAEnC,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;QACnB,MAAM,IAAI,gBAAgB,CAAC,oBAAoB,EAAE,uDAAuD,EAAE;YACtG,QAAQ,EAAE,OAAO;YACjB,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,QAAQ;YAClB,IAAI,EAAE,gDAAgD;SACzD,CAAC,CAAC;IACP,CAAC;IACD,OAAO,iCAAiC,CAAC,KAAK,EAAE,iCAAiC,CAAC,OAAO,CAAC,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACrC,GAAe,EACf,OAAsD;IAEtD,GAAG,CAAC,WAAW,EAAE,CAAC;IAClB,MAAM,QAAQ,GAAG,iCAAiC,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,wBAAwB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7D,OAAO,IAAI,eAAe,CACtB,GAAG,EACH,KAAK,EACL,QAAQ,EACR,MAAM,EACN,YAAY,CACf,CAAC;AACN,CAAC"}