@graphty/graph-format 0.0.0 → 0.2.0

package/dist/src/builder/freeze.d.ts

@@ -0,0 +1,72 @@
+/**
+ * The freeze pipeline of design section 6.3, exactly: the pre-checks that throw without touching the
+ * builder (self-loop "error", arc-count bound), compaction of tombstones and dropped loops (steps 1-2,
+ * into a fresh staging the builder commits only on success), the two counting-sort passes into the
+ * arena (steps 3-6, counting-sort.ts), the duplicate-policy walk with its one repeat after a merge
+ * (step 7), the weight flags and the f64 / explicit-weight shadow column (step 8), the id map (step
+ * 9), the attribute tables (step 10), the arena and prepared views (step 11) and the snapshot itself
+ * with its FreezeReport (step 12).
+ *
+ * Nothing here mutates the builder: `runFreeze` returns the staging the builder must adopt (the
+ * source staging when nothing was renumbered, a compacted one otherwise) so that a throw anywhere in
+ * the pipeline leaves the builder as it was (design section 11.1).
+ */
+import { type GraphSnapshot } from "../snapshot/graph-snapshot.js";
+import { type ColumnDeclPatch, type ColumnDomain, type Dtype, type FreezeOptions, type FreezeReport, type GraphMeta, type ResolvedBuilderOptions } from "../types/index.js";
+import { type Staging } from "./compact.js";
+/** One graph-level attribute the builder holds until freeze (design section 5.9). */
+export interface GraphValue {
+    /** The declaration patch given to setGraphValue, or undefined. */
+    readonly decl: ColumnDeclPatch | undefined;
+    /** The value; undefined = unset. */
+    readonly value: unknown;
+}
+/** A widening recorded by the builder since the previous freeze (design section 5.1). */
+export interface Widening {
+    /** The column name. */
+    readonly column: string;
+    /** The column's table. */
+    readonly domain: ColumnDomain;
+    /** The dtype before. */
+    readonly from: Dtype;
+    /** The dtype after. */
+    readonly to: Dtype;
+}
+/** Everything the pipeline reads from the builder. */
+export interface FreezeContext {
+    /** The staging to freeze; never modified. */
+    readonly staging: Staging;
+    /** The builder's current direction. */
+    readonly directed: boolean;
+    /** The resolved builder options (policies, precision). */
+    readonly options: ResolvedBuilderOptions;
+    /** The graph-level attributes in declaration order. */
+    readonly graphValues: ReadonlyMap<string, GraphValue>;
+    /** The graph metadata. */
+    readonly meta: GraphMeta;
+    /** The widenings since the previous freeze. */
+    readonly widened: readonly Widening[];
+}
+/** What a freeze produces: the snapshot, its report, and the staging the builder must adopt. */
+interface FreezeOutcome {
+    /** The frozen snapshot. */
+    readonly snapshot: GraphSnapshot;
+    /** The report. */
+    readonly report: FreezeReport;
+    /** The staging the builder holds afterwards: the source staging, or the compacted one. */
+    readonly staging: Staging;
+}
+/** The name of the shadow weight column the freeze writes (design sections 3.7 and 5.6). */
+export declare const WEIGHT_COLUMN_NAME = "graphty.weight";
+/**
+ * Run the freeze pipeline of design section 6.3 over a builder's state and produce the snapshot, the
+ * FreezeReport and the staging the builder should hold afterwards. The context is never mutated: a
+ * throw (E_SELF_LOOP, E_DUPLICATE_EDGE, E_DUPLICATE_EDGE_ID, E_TOO_LARGE, E_INVALID_WEIGHT,
+ * E_COLUMN_TYPE) leaves the builder exactly as it was.
+ * @param ctx - the builder's state
+ * @param options - the freeze options
+ * @returns the snapshot, the report and the staging to adopt
+ */
+export declare function runFreeze(ctx: FreezeContext, options: FreezeOptions): FreezeOutcome;
+export {};
+//# sourceMappingURL=freeze.d.ts.map

package/dist/src/builder/freeze.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.d.ts","sourceRoot":"","sources":["../../../src/builder/freeze.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,OAAO,EAAkB,KAAK,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAEnF,OAAO,EAEH,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,KAAK,EAIV,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,SAAS,EAEd,KAAK,sBAAsB,EAE9B,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAKH,KAAK,OAAO,EAEf,MAAM,cAAc,CAAC;AAMtB,qFAAqF;AACrF,MAAM,WAAW,UAAU;IACvB,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,eAAe,GAAG,SAAS,CAAC;IAC3C,oCAAoC;IACpC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CAC3B;AAED,yFAAyF;AACzF,MAAM,WAAW,QAAQ;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,0BAA0B;IAC1B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,wBAAwB;IACxB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,uBAAuB;IACvB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;CACtB;AAED,sDAAsD;AACtD,MAAM,WAAW,aAAa;IAC1B,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,uDAAuD;IACvD,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACtD,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAE,SAAS,QAAQ,EAAE,CAAC;CACzC;AAED,gGAAgG;AAChG,UAAU,aAAa;IACnB,2BAA2B;IAC3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,kBAAkB;IAClB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC7B;AAED,4FAA4F;AAC5F,eAAO,MAAM,kBAAkB,mBAAmB,CAAC;AAkZnD;;;;;;;;GAQG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,aAAa,GAAG,aAAa,CAkLnF"}

package/dist/src/builder/freeze.js

@@ -0,0 +1,548 @@
+/**
+ * The freeze pipeline of design section 6.3, exactly: the pre-checks that throw without touching the
+ * builder (self-loop "error", arc-count bound), compaction of tombstones and dropped loops (steps 1-2,
+ * into a fresh staging the builder commits only on success), the two counting-sort passes into the
+ * arena (steps 3-6, counting-sort.ts), the duplicate-policy walk with its one repeat after a merge
+ * (step 7), the weight flags and the f64 / explicit-weight shadow column (step 8), the id map (step
+ * 9), the attribute tables (step 10), the arena and prepared views (step 11) and the snapshot itself
+ * with its FreezeReport (step 12).
+ *
+ * Nothing here mutates the builder: `runFreeze` returns the staging the builder must adopt (the
+ * source staging when nothing was renumbered, a compacted one otherwise) so that a throw anywhere in
+ * the pipeline leaves the builder as it was (design section 11.1).
+ */
+import { bitmapClear, bitmapGet, bitmapSet, bitmapWordCount } from "../columns/bitmap.js";
+import { columnFromValues, createColumn, emptyParts, resolveColumnMeta } from "../columns/column.js";
+import { AttributeTable, verifyUniqueColumns } from "../columns/table.js";
+import { INVALID_INDEX, MAX_COUNT } from "../constants.js";
+import { GraphFormatError } from "../errors.js";
+import { identityNodeIdMap, nodeIdMapFromIds } from "../ids/node-id-map.js";
+import { createSnapshot } from "../snapshot/graph-snapshot.js";
+import { isIdentity } from "../snapshot/validate.js";
+import { copyCoreIntoArena } from "./arena.js";
+import { compactStaging, remapKeepingBits, remapSurvivors, } from "./compact.js";
+import { sortIntoCore } from "./counting-sort.js";
+import { assertDuplicatePolicy } from "./options.js";
+/** The name of the shadow weight column the freeze writes (design sections 3.7 and 5.6). */
+export const WEIGHT_COLUMN_NAME = "graphty.weight";
+/**
+ * A millisecond clock for the profile timings.
+ * @returns the current time in milliseconds
+ */
+function now() {
+    return performance.now();
+}
+// ============================================================ steps
+/**
+ * The E_SELF_LOOP pre-check of design section 6.3 step 2 (policy "error"): the first live loop is
+ * named. Runs before anything is renumbered so the builder is untouched.
+ * @param staging - the source staging
+ */
+function checkSelfLoops(staging) {
+    if (staging.selfLoopCount === 0) {
+        return;
+    }
+    const bound = staging.edgeBound;
+    for (let e = 0; e < bound; e++) {
+        if (staging.edgeAlive.get(e) && staging.src.get(e) === staging.dst.get(e)) {
+            const node = staging.src.get(e);
+            throw new GraphFormatError("E_SELF_LOOP", `edge ${e} is a self-loop at node ${node}`, { edge: e, node });
+        }
+    }
+}
+/**
+ * The live edges that are not self-loops, as a bitmap over the edge index space (the edges a
+ * `selfLoops: "drop"` freeze keeps, design section 6.3 step 2).
+ * @param staging - the source staging
+ * @returns a fresh bitmap: bit e set = edge e is live and src !== dst
+ */
+function liveNonLoopBits(staging) {
+    const keep = staging.edgeAlive.view().slice();
+    const src = staging.src.view();
+    const dst = staging.dst.view();
+    const bound = staging.edgeBound;
+    for (let e = 0; e < bound; e++) {
+        if (src[e] === dst[e] && bitmapGet(keep, e)) {
+            bitmapClear(keep, e);
+        }
+    }
+    return keep;
+}
+/**
+ * The sort input over a staging's live (compacted) edges.
+ * @param staging - a staging without tombstones
+ * @param directed - the direction
+ * @returns the per-edge views
+ */
+function sortInputOf(staging, directed) {
+    const edgeCount = staging.edgeBound;
+    return {
+        directed,
+        nodeCount: staging.nodeBound,
+        edgeCount,
+        src: staging.src.view(),
+        dst: staging.dst.view(),
+        weights: staging.weight === null ? null : staging.weight.view(),
+    };
+}
+/**
+ * The duplicate-policy walk of design section 6.3 step 7 over sorted rows: adjacent arcs with equal
+ * colIdx form a group; "error" throws E_DUPLICATE_EDGE; the merge policies choose a survivor (the
+ * lowest edge index, or the highest for "last"), reduce the weights over the group from the staging
+ * values (f64 precision), and fold every other member into the survivor. A reducer that produces NaN
+ * (a "sum" over +Infinity and -Infinity) is the E_INVALID_WEIGHT re-check of step 8 and throws before
+ * anything is renumbered. A reduced value makes the survivor's weight explicit (the merge stored it,
+ * design section 6.5), as does an explicit weight anywhere in the group. For an undirected graph the
+ * `(u, v)` and `(v, u)` groups are one group, walked once from the row of the lower endpoint.
+ * @param sorted - the sorted core
+ * @param staging - the (compacted) staging the core was built from
+ * @param directed - the direction
+ * @param policy - a policy other than "keep"
+ * @param countMultiplicity - whether "sum" on an unweighted staging materialises multiplicities (false on a `weighted: false` builder, which never gains a weight array)
+ * @param builderIndex - compacted edge index -> the builder's own index, for error details
+ * @returns the walk, or null when no group had more than one member
+ */
+function walkDuplicates(sorted, staging, directed, policy, countMultiplicity, builderIndex) {
+    const { rowPtr, colIdx, arcToEdge } = sorted.core;
+    const nodeCount = staging.nodeBound;
+    const edgeCount = staging.edgeBound;
+    const weights = staging.weight === null ? null : staging.weight.view();
+    const survivorOf = new Uint32Array(edgeCount);
+    for (let e = 0; e < edgeCount; e++) {
+        survivorOf[e] = e;
+    }
+    let reduced = null;
+    let stored = null;
+    let explicit = null;
+    let merged = 0;
+    const group = [];
+    for (let u = 0; u < nodeCount; u++) {
+        const end = rowPtr[u + 1];
+        let a = rowPtr[u];
+        while (a < end) {
+            const v = colIdx[a];
+            let b = a + 1;
+            while (b < end && colIdx[b] === v) {
+                b++;
+            }
+            if (b - a > 1 && (directed || v >= u)) {
+                group.length = 0;
+                for (let k = a; k < b; k++) {
+                    group.push(arcToEdge === null ? k : arcToEdge[k]);
+                }
+                if (policy === "error") {
+                    const edges = [builderIndex(group[0]), builderIndex(group[1])];
+                    throw new GraphFormatError("E_DUPLICATE_EDGE", `edges ${edges[0]} and ${edges[1]} both connect ${u} -> ${v}`, { source: u, target: v, edges });
+                }
+                const survivor = policy === "last" ? group[group.length - 1] : group[0];
+                let value = null;
+                if (policy === "sum" || policy === "min" || policy === "max") {
+                    value = reduceGroup(weights, group, policy, countMultiplicity);
+                    if (value !== null && Number.isNaN(value)) {
+                        const edges = group.map(builderIndex);
+                        throw new GraphFormatError("E_INVALID_WEIGHT", `duplicateEdges "${policy}" over edges ${edges.join(", ")} (${u} -> ${v}) yields NaN`, { source: u, target: v, edges, policy, reason: "reducer" });
+                    }
+                }
+                if (value !== null) {
+                    reduced ?? (reduced = new Float64Array(edgeCount));
+                    stored ?? (stored = new Uint32Array(bitmapWordCount(edgeCount)));
+                    reduced[survivor] = value;
+                    bitmapSet(stored, survivor);
+                }
+                let anyExplicit = value !== null;
+                for (let i = 0; i < group.length && !anyExplicit; i++) {
+                    anyExplicit = staging.weightExplicit(group[i]);
+                }
+                if (anyExplicit && !staging.weightExplicit(survivor)) {
+                    explicit ?? (explicit = new Uint32Array(bitmapWordCount(edgeCount)));
+                    bitmapSet(explicit, survivor);
+                }
+                for (const e of group) {
+                    if (e !== survivor) {
+                        survivorOf[e] = survivor;
+                        merged++;
+                    }
+                }
+            }
+            a = b;
+        }
+    }
+    return merged === 0 ? null : { survivorOf, reduced, stored, explicit, merged };
+}
+/**
+ * Reduce the weights of a parallel group (design section 6.5): sum / min / max over the staging
+ * values; on an unweighted staging every weight is 1, so "sum" yields the group size (the
+ * multiplicity, when the builder may gain a weight array) and min / max leave 1 (nothing to store).
+ * @param weights - the staging weights, or null
+ * @param group - the edge indices of the group
+ * @param policy - the reducer
+ * @param countMultiplicity - whether "sum" on an unweighted staging yields the group size
+ * @returns the reduced weight (NaN when the operands cancel), or null when the survivor's own value already holds it
+ */
+function reduceGroup(weights, group, policy, countMultiplicity) {
+    if (weights === null) {
+        return policy === "sum" && countMultiplicity ? group.length : null;
+    }
+    let value = weights[group[0]];
+    for (let i = 1; i < group.length; i++) {
+        const w = weights[group[i]];
+        switch (policy) {
+            case "sum":
+                value += w;
+                break;
+            case "min":
+                value = Math.min(value, w);
+                break;
+            case "max":
+                value = Math.max(value, w);
+                break;
+            default: {
+                const name = policy;
+                throw new GraphFormatError("E_UNSUPPORTED", `unknown reducer ${name}`, { policy: name });
+            }
+        }
+    }
+    return value;
+}
+/**
+ * The role-"weight" edge column of design section 3.7, when one is needed: the f64 shadow when the
+ * staging precision is f64 and some value is not f32-exact, and / or the explicit-weight record (the
+ * `weightSet` bitmap as validity) when some edge omitted its weight while another supplied it, or when
+ * a `weighted: true` builder's edges all omitted it.
+ * @param staging - the final staging
+ * @param edgeCount - the logical edge count
+ * @param weightDtype - the staging precision
+ * @returns the column, or null when the arc array already says everything
+ */
+function weightShadowColumn(staging, edgeCount, weightDtype) {
+    const { weight } = staging;
+    if (weight === null || edgeCount === 0) {
+        return null;
+    }
+    const values = weight.view();
+    let inexact = false;
+    if (weightDtype === "f64") {
+        for (let e = 0; e < edgeCount; e++) {
+            const w = values[e];
+            if (Math.fround(w) !== w) {
+                inexact = true;
+                break;
+            }
+        }
+    }
+    const needValidity = staging.weightSet !== null || staging.weightMode === "omitted";
+    if (!inexact && !needValidity) {
+        return null;
+    }
+    const dtype = inexact ? "f64" : "f32";
+    const meta = resolveColumnMeta(WEIGHT_COLUMN_NAME, "edge", { dtype, role: "weight", nullable: needValidity });
+    const data = dtype === "f64" ? new Float64Array(edgeCount) : new Float32Array(edgeCount);
+    data.set(values.subarray(0, edgeCount));
+    let validity = null;
+    if (needValidity) {
+        validity = new Uint32Array(bitmapWordCount(edgeCount));
+        for (let e = 0; e < edgeCount; e++) {
+            if (staging.weightExplicit(e)) {
+                bitmapSet(validity, e);
+            }
+        }
+    }
+    return createColumn({ ...emptyParts(meta, edgeCount, validity), data });
+}
+/**
+ * The id map of design section 6.3 step 9: identity with no storage while every node is anonymous,
+ * otherwise the kind detected from the ids with the builder's `Map` and `ids` array shared by reference
+ * (decision C17).
+ * @param staging - the final staging
+ * @param nodeCount - the node count
+ * @returns the id map
+ */
+function idMapOf(staging, nodeCount) {
+    if (staging.ids === null || staging.idToIndex === null) {
+        return identityNodeIdMap(nodeCount);
+    }
+    return nodeIdMapFromIds(staging.ids, nodeCount, { map: staging.idToIndex });
+}
+/**
+ * Freeze a list of staging columns into a table (design section 6.3 step 10) and enforce its unique
+ * columns.
+ * @param domain - the table domain
+ * @param rowCount - the row count
+ * @param columns - the staging columns
+ * @param extra - columns to append (the weight shadow)
+ * @returns the table
+ */
+function tableOf(domain, rowCount, columns, extra = []) {
+    const frozen = columns.map((column) => column.toColumn(rowCount));
+    const table = new AttributeTable({ domain, rowCount, columns: [...frozen, ...extra] });
+    verifyUniqueColumns(table);
+    return table;
+}
+/**
+ * The graph table (one row) from the builder's graph values.
+ * @param values - the graph values in declaration order
+ * @returns the table
+ */
+function graphTableOf(values) {
+    const columns = [];
+    for (const [name, entry] of values) {
+        columns.push(columnFromValues("graph", 1, name, [entry.value], entry.decl ?? {}));
+    }
+    return new AttributeTable({ domain: "graph", rowCount: 1, columns });
+}
+/**
+ * Compose the report's edge remap out of the compaction remap (old -> compacted) and the merge walk
+ * (compacted -> survivor -> final): every old edge maps to its final index, or to INVALID_INDEX when
+ * tombstoned or dropped; a merged edge maps to its survivor (design section 6.5).
+ * @param oldBound - the old edge index space
+ * @param first - the compaction remap, or null when none ran
+ * @param walk - the merge walk, or null
+ * @param second - the post-merge remap, or null
+ * @returns the composed remap, or null when it is the identity
+ */
+function composeEdgeRemap(oldBound, first, walk, second) {
+    if (first === null && walk === null) {
+        return null;
+    }
+    const out = new Uint32Array(oldBound);
+    for (let e = 0; e < oldBound; e++) {
+        let index = first === null ? e : first.remap[e];
+        if (index !== INVALID_INDEX && walk !== null && second !== null) {
+            index = second.remap[walk.survivorOf[index]];
+        }
+        out[e] = index;
+    }
+    return isIdentity(out) ? null : out;
+}
+/**
+ * The identity remap of a space of `count` indices (a compaction that only renumbers edges).
+ * @param count - the space size
+ * @returns the identity
+ */
+function identityRemap(count) {
+    const remap = new Uint32Array(count);
+    for (let i = 0; i < count; i++) {
+        remap[i] = i;
+    }
+    return { remap, origin: remap, count };
+}
+/**
+ * The E_UNSUPPORTED error for a freeze option outside its documented set (design section 12.2
+ * FreezeOptions), thrown before any staging work so the builder is untouched.
+ * @param field - the option name
+ * @param found - the value
+ * @returns the error
+ */
+function freezeOptionError(field, found) {
+    return new GraphFormatError("E_UNSUPPORTED", `freeze option ${field} has an unsupported value ${String(found)}`, {
+        field,
+        found,
+        reason: "unsupported option",
+    });
+}
+/**
+ * Validate every FreezeOptions field (design section 12.2): the per-freeze duplicateEdges override
+ * against the DuplicatePolicy set (a merge policy rewrites the builder, so an unknown value must
+ * never act as one), the booleans, the label and the prepare list's shape. View names are checked
+ * by `prepare()` itself.
+ * @param options - the freeze options
+ */
+function checkFreezeOptions(options) {
+    if (options.duplicateEdges !== undefined) {
+        assertDuplicatePolicy("duplicateEdges", options.duplicateEdges, freezeOptionError);
+    }
+    for (const field of ["arena", "release", "profile", "checksum"]) {
+        const value = options[field];
+        if (value !== undefined && typeof value !== "boolean") {
+            throw freezeOptionError(field, value);
+        }
+    }
+    if (options.label !== undefined && typeof options.label !== "string") {
+        throw freezeOptionError("label", options.label);
+    }
+    if (options.prepare !== undefined && !Array.isArray(options.prepare)) {
+        throw freezeOptionError("prepare", options.prepare);
+    }
+}
+// ============================================================ the pipeline
+/**
+ * Run the freeze pipeline of design section 6.3 over a builder's state and produce the snapshot, the
+ * FreezeReport and the staging the builder should hold afterwards. The context is never mutated: a
+ * throw (E_SELF_LOOP, E_DUPLICATE_EDGE, E_DUPLICATE_EDGE_ID, E_TOO_LARGE, E_INVALID_WEIGHT,
+ * E_COLUMN_TYPE) leaves the builder exactly as it was.
+ * @param ctx - the builder's state
+ * @param options - the freeze options
+ * @returns the snapshot, the report and the staging to adopt
+ */
+export function runFreeze(ctx, options) {
+    const profile = options.profile === true;
+    const timings = {};
+    const start = profile ? now() : 0;
+    let mark = start;
+    const lap = (phase) => {
+        if (profile) {
+            const t = now();
+            timings[phase] = (timings[phase] ?? 0) + (t - mark);
+            mark = t;
+        }
+    };
+    const { directed } = ctx;
+    const source = ctx.staging;
+    checkFreezeOptions(options);
+    const useArena = options.arena !== false;
+    const policy = options.duplicateEdges ?? ctx.options.duplicateEdges;
+    const loopPolicy = ctx.options.selfLoops;
+    const oldNodeBound = source.nodeBound;
+    const oldEdgeBound = source.edgeBound;
+    const tombstonedEdges = oldEdgeBound - source.liveEdgeCount;
+    // pre-checks that must not leave a half-applied freeze behind
+    if (loopPolicy === "error") {
+        checkSelfLoops(source);
+    }
+    const liveArcs = directed ? source.liveEdgeCount : 2 * source.liveEdgeCount - source.selfLoopCount;
+    if (liveArcs > MAX_COUNT) {
+        throw new GraphFormatError("E_TOO_LARGE", `arc count ${liveArcs} exceeds MAX_COUNT`, {
+            count: liveArcs,
+            max: MAX_COUNT,
+        });
+    }
+    // steps 1-2: compaction of tombstones and dropped loops into a fresh staging
+    let staging = source;
+    let nodeRemap = null;
+    let edgeRemap = null;
+    let droppedSelfLoops = 0;
+    const dropLoops = loopPolicy === "drop" && source.selfLoopCount > 0;
+    if (source.hasTombstones || dropLoops) {
+        const nodes = remapKeepingBits(oldNodeBound, source.nodeAlive.view());
+        const edges = remapKeepingBits(oldEdgeBound, dropLoops ? liveNonLoopBits(source) : source.edgeAlive.view());
+        droppedSelfLoops = dropLoops ? source.selfLoopCount : 0;
+        staging = compactStaging(source, {
+            nodes,
+            edges,
+            edgeValues: null,
+            mergedWeights: null,
+            mergedWeightStored: null,
+            mergedWeightSet: null,
+        });
+        nodeRemap = nodes;
+        edgeRemap = edges;
+    }
+    lap("compact");
+    // steps 3-6: arcs and the two counting sorts
+    const nodeCount = staging.nodeBound;
+    let sorted = sortIntoCore(sortInputOf(staging, directed), useArena && policy === "keep");
+    lap("sort");
+    // step 7: duplicate policy
+    let walk = null;
+    let mergeRemap = null;
+    if (policy !== "keep") {
+        const compaction = edgeRemap;
+        walk = walkDuplicates(sorted, staging, directed, policy, ctx.options.weighted !== false, (e) => compaction === null ? e : compaction.origin[e]);
+        if (walk !== null) {
+            const { survivorOf } = walk;
+            const edges = remapSurvivors(survivorOf);
+            let mergedWeights = null;
+            let mergedWeightStored = null;
+            if (walk.reduced !== null && walk.stored !== null) {
+                mergedWeights = new Float64Array(edges.count);
+                mergedWeightStored = new Uint32Array(bitmapWordCount(edges.count));
+                for (let e = 0; e < survivorOf.length; e++) {
+                    if (survivorOf[e] === e && bitmapGet(walk.stored, e)) {
+                        mergedWeights[edges.remap[e]] = walk.reduced[e];
+                        bitmapSet(mergedWeightStored, edges.remap[e]);
+                    }
+                }
+            }
+            let mergedWeightSet = null;
+            if (walk.explicit !== null) {
+                mergedWeightSet = new Uint32Array(bitmapWordCount(edges.count));
+                for (let e = 0; e < survivorOf.length; e++) {
+                    if (survivorOf[e] === e && bitmapGet(walk.explicit, e)) {
+                        bitmapSet(mergedWeightSet, edges.remap[e]);
+                    }
+                }
+            }
+            // refersTo edge values follow the survivor (design sections 5.11 and 7.3), not the row remap
+            const edgeValues = new Uint32Array(survivorOf.length);
+            for (let e = 0; e < survivorOf.length; e++) {
+                edgeValues[e] = edges.remap[survivorOf[e]];
+            }
+            staging = compactStaging(staging, {
+                nodes: identityRemap(nodeCount),
+                edges,
+                edgeValues,
+                mergedWeights,
+                mergedWeightStored,
+                mergedWeightSet,
+            });
+            mergeRemap = edges;
+            sorted = sortIntoCore(sortInputOf(staging, directed), useArena);
+        }
+        else if (useArena) {
+            sorted = { ...sorted, core: copyCoreIntoArena(sorted.core) };
+        }
+        lap("duplicates");
+    }
+    const edgeCount = staging.edgeBound;
+    const { core, arcCount, selfLoopCount, flags } = sorted;
+    // steps 8-10: weights, id map, columns
+    const shadow = weightShadowColumn(staging, edgeCount, ctx.options.weightDtype);
+    lap("weights");
+    const ids = idMapOf(staging, nodeCount);
+    lap("ids");
+    const nodes = tableOf("node", nodeCount, staging.nodeColumns);
+    const edges = tableOf("edge", edgeCount, staging.edgeColumns, shadow === null ? [] : [shadow]);
+    const graph = graphTableOf(ctx.graphValues);
+    const extensions = new Map();
+    for (const table of staging.extensions) {
+        extensions.set(table.name, tableOf("extension", table.rowCount, table.columns));
+    }
+    lap("columns");
+    // step 12: the snapshot
+    const parts = {
+        label: options.label ?? null,
+        serial: null,
+        directed,
+        nodeCount,
+        edgeCount,
+        arcCount,
+        selfLoopCount,
+        rowPtr: core.rowPtr,
+        colIdx: core.colIdx,
+        weights: core.weights,
+        arcToEdge: core.arcToEdge,
+        edgeToArc: core.edgeToArc,
+        flags,
+        ids,
+        nodes,
+        edges,
+        graph,
+        extensions,
+        meta: ctx.meta,
+        arena: core.arena,
+        checksum: options.checksum === true,
+    };
+    const snapshot = createSnapshot(parts);
+    if (options.prepare !== undefined && options.prepare.length > 0) {
+        snapshot.prepare(options.prepare);
+    }
+    lap("snapshot");
+    if (profile) {
+        timings.total = now() - start;
+    }
+    const nodeRemapOut = nodeRemap !== null && !isIdentity(nodeRemap.remap) ? nodeRemap.remap : null;
+    const edgeRemapOut = composeEdgeRemap(oldEdgeBound, edgeRemap, walk, mergeRemap);
+    const mergedEdges = walk === null ? 0 : walk.merged;
+    const report = Object.freeze({
+        nodeRemap: nodeRemapOut,
+        edgeRemap: edgeRemapOut,
+        compacted: nodeRemapOut !== null || edgeRemapOut !== null,
+        droppedSelfLoops,
+        mergedEdges,
+        droppedEdges: tombstonedEdges + droppedSelfLoops + mergedEdges,
+        widened: Object.freeze(ctx.widened.map((w) => Object.freeze({ ...w }))),
+        timings: Object.freeze({ ...timings }),
+    });
+    return { snapshot, report, staging };
+}
+//# sourceMappingURL=freeze.js.map

package/dist/src/builder/freeze.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"freeze.js","sourceRoot":"","sources":["../../../src/builder/freeze.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC1F,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACrG,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1E,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAsB,MAAM,+BAA+B,CAAC;AACnF,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAiBrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EACH,cAAc,EAEd,gBAAgB,EAChB,cAAc,GAGjB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAkB,YAAY,EAAmB,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAkDrD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,kBAAkB,GAAG,gBAAgB,CAAC;AAEnD;;;GAGG;AACH,SAAS,GAAG;IACR,OAAO,WAAW,CAAC,GAAG,EAAE,CAAC;AAC7B,CAAC;AAgBD,qEAAqE;AAErE;;;;GAIG;AACH,SAAS,cAAc,CAAC,OAAgB;IACpC,IAAI,OAAO,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;IACX,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACxE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAChC,MAAM,IAAI,gBAAgB,CAAC,aAAa,EAAE,QAAQ,CAAC,2BAA2B,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7G,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,OAAgB;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;IAC9C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;IAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC1C,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,OAAgB,EAAE,QAAiB;IACpD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,OAAO;QACH,QAAQ;QACR,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,SAAS;QACT,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;QACvB,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE;QACvB,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,OAAO,CAAC,MAAM,CAAC,IAAI,EAAgB;KACjF,CAAC;AACN,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAS,cAAc,CACnB,MAAkB,EAClB,OAAgB,EAChB,QAAiB,EACjB,MAAwC,EACxC,iBAA0B,EAC1B,YAAmC;IAEnC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IAClD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACvE,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;IAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,IAAI,MAAM,GAAe,IAAI,CAAC;IAC9B,IAAI,QAAQ,GAAe,IAAI,CAAC;IAChC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAClB,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,CAAC,EAAE,CAAC;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACpC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;gBACtD,CAAC;gBACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;oBACrB,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/D,MAAM,IAAI,gBAAgB,CACtB,kBAAkB,EAClB,SAAS,KAAK,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAC7D,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAClC,CAAC;gBACN,CAAC;gBACD,MAAM,QAAQ,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACxE,IAAI,KAAK,GAAkB,IAAI,CAAC;gBAChC,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;oBAC3D,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC;oBAC/D,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;wBACxC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;wBACtC,MAAM,IAAI,gBAAgB,CACtB,kBAAkB,EAClB,mBAAmB,MAAM,gBAAgB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,EACrF,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAC7D,CAAC;oBACN,CAAC;gBACL,CAAC;gBACD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;oBACjB,OAAO,KAAP,OAAO,GAAK,IAAI,YAAY,CAAC,SAAS,CAAC,EAAC;oBACxC,MAAM,KAAN,MAAM,GAAK,IAAI,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,EAAC;oBACvD,OAAO,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;oBAC1B,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;gBAChC,CAAC;gBACD,IAAI,WAAW,GAAG,KAAK,KAAK,IAAI,CAAC;gBACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpD,WAAW,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBACnD,CAAC;gBACD,IAAI,WAAW,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACnD,QAAQ,KAAR,QAAQ,GAAK,IAAI,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,EAAC;oBACzD,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAClC,CAAC;gBACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACpB,IAAI,CAAC,KAAK,QAAQ,EAAE,CAAC;wBACjB,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC;wBACzB,MAAM,EAAE,CAAC;oBACb,CAAC;gBACL,CAAC;YACL,CAAC;YACD,CAAC,GAAG,CAAC,CAAC;QACV,CAAC;IACL,CAAC;IACD,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACnF,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,WAAW,CAChB,OAAiC,EACjC,KAAwB,EACxB,MAA6B,EAC7B,iBAA0B;IAE1B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,KAAK,KAAK,IAAI,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,CAAC;IACD,IAAI,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,QAAQ,MAAM,EAAE,CAAC;YACb,KAAK,KAAK;gBACN,KAAK,IAAI,CAAC,CAAC;gBACX,MAAM;YACV,KAAK,KAAK;gBACN,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC3B,MAAM;YACV,KAAK,KAAK;gBACN,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBAC3B,MAAM;YACV,OAAO,CAAC,CAAC,CAAC;gBACN,MAAM,IAAI,GAAW,MAAM,CAAC;gBAC5B,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,mBAAmB,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7F,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CAAC,OAAgB,EAAE,SAAiB,EAAE,WAA0B;IACvF,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3B,IAAI,MAAM,KAAK,IAAI,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,GAAG,IAAI,CAAC;gBACf,MAAM;YACV,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC;IACpF,IAAI,CAAC,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,iBAAiB,CAAC,kBAAkB,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;IAC9G,MAAM,IAAI,GAAG,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,YAAY,CAAC,SAAS,CAAC,CAAC;IACzF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IACxC,IAAI,QAAQ,GAAe,IAAI,CAAC;IAChC,IAAI,YAAY,EAAE,CAAC;QACf,QAAQ,GAAG,IAAI,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC3B,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,OAAgB,EAAE,SAAiB;IAChD,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,OAAO,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACrD,OAAO,iBAAiB,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,gBAAgB,CAAC,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,OAAO,CACZ,MAAoB,EACpB,QAAgB,EAChB,OAAiC,EACjC,QAA2B,EAAE;IAE7B,MAAM,MAAM,GAAa,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,cAAc,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;IACvF,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAuC;IACzD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,IAAI,cAAc,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,gBAAgB,CACrB,QAAgB,EAChB,KAAwB,EACxB,IAA0B,EAC1B,MAAyB;IAEzB,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,KAAK,KAAK,aAAa,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YAC9D,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,KAAa;IAChC,MAAM,KAAK,GAAG,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,KAAa,EAAE,KAAc;IACpD,OAAO,IAAI,gBAAgB,CAAC,eAAe,EAAE,iBAAiB,KAAK,6BAA6B,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE;QAC7G,KAAK;QACL,KAAK;QACL,MAAM,EAAE,oBAAoB;KAC/B,CAAC,CAAC;AACP,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,OAAsB;IAC9C,IAAI,OAAO,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACvC,qBAAqB,CAAC,gBAAgB,EAAE,OAAO,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC;IACvF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAU,EAAE,CAAC;QACvE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;YACpD,MAAM,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1C,CAAC;IACL,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnE,MAAM,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC;AACL,CAAC;AAED,4EAA4E;AAE5E;;;;;;;;GAQG;AACH,MAAM,UAAU,SAAS,CAAC,GAAkB,EAAE,OAAsB;IAChE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC;IACzC,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,KAAa,EAAQ,EAAE;QAChC,IAAI,OAAO,EAAE,CAAC;YACV,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;YAChB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,CAAC;QACb,CAAC;IACL,CAAC,CAAC;IACF,MAAM,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAC;IACzB,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC;IAC3B,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,KAAK,KAAK,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,cAAc,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC;IACpE,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;IACzC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC;IACtC,MAAM,eAAe,GAAG,YAAY,GAAG,MAAM,CAAC,aAAa,CAAC;IAE5D,8DAA8D;IAC9D,IAAI,UAAU,KAAK,OAAO,EAAE,CAAC;QACzB,cAAc,CAAC,MAAM,CAAC,CAAC;IAC3B,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;IACnG,IAAI,QAAQ,GAAG,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,gBAAgB,CAAC,aAAa,EAAE,aAAa,QAAQ,oBAAoB,EAAE;YACjF,KAAK,EAAE,QAAQ;YACf,GAAG,EAAE,SAAS;SACjB,CAAC,CAAC;IACP,CAAC;IAED,6EAA6E;IAC7E,IAAI,OAAO,GAAG,MAAM,CAAC;IACrB,IAAI,SAAS,GAAsB,IAAI,CAAC;IACxC,IAAI,SAAS,GAAsB,IAAI,CAAC;IACxC,IAAI,gBAAgB,GAAG,CAAC,CAAC;IACzB,MAAM,SAAS,GAAG,UAAU,KAAK,MAAM,IAAI,MAAM,CAAC,aAAa,GAAG,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,aAAa,IAAI,SAAS,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,gBAAgB,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,gBAAgB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5G,gBAAgB,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,GAAG,cAAc,CAAC,MAAM,EAAE;YAC7B,KAAK;YACL,KAAK;YACL,UAAU,EAAE,IAAI;YAChB,aAAa,EAAE,IAAI;YACnB,kBAAkB,EAAE,IAAI;YACxB,eAAe,EAAE,IAAI;SACxB,CAAC,CAAC;QACH,SAAS,GAAG,KAAK,CAAC;QAClB,SAAS,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,GAAG,CAAC,SAAS,CAAC,CAAC;IAEf,6CAA6C;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,IAAI,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,IAAI,MAAM,KAAK,MAAM,CAAC,CAAC;IACzF,GAAG,CAAC,MAAM,CAAC,CAAC;IAEZ,2BAA2B;IAC3B,IAAI,IAAI,GAAyB,IAAI,CAAC;IACtC,IAAI,UAAU,GAAsB,IAAI,CAAC;IACzC,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,SAAS,CAAC;QAC7B,IAAI,GAAG,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAC3F,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CACjD,CAAC;QACF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,MAAM,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;YAC5B,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YACzC,IAAI,aAAa,GAAwB,IAAI,CAAC;YAC9C,IAAI,kBAAkB,GAAe,IAAI,CAAC;YAC1C,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;gBAChD,aAAa,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC9C,kBAAkB,GAAG,IAAI,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;wBACnD,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;wBAChD,SAAS,CAAC,kBAAkB,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAClD,CAAC;gBACL,CAAC;YACL,CAAC;YACD,IAAI,eAAe,GAAe,IAAI,CAAC;YACvC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,eAAe,GAAG,IAAI,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC;wBACrD,SAAS,CAAC,eAAe,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC/C,CAAC;gBACL,CAAC;YACL,CAAC;YACD,6FAA6F;YAC7F,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,OAAO,GAAG,cAAc,CAAC,OAAO,EAAE;gBAC9B,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC;gBAC/B,KAAK;gBACL,UAAU;gBACV,aAAa;gBACb,kBAAkB;gBAClB,eAAe;aAClB,CAAC,CAAC;YACH,UAAU,GAAG,KAAK,CAAC;YACnB,MAAM,GAAG,YAAY,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,CAAC,CAAC;QACpE,CAAC;aAAM,IAAI,QAAQ,EAAE,CAAC;YAClB,MAAM,GAAG,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,CAAC;QACD,GAAG,CAAC,YAAY,CAAC,CAAC;IACtB,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;IACpC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC;IAExD,uCAAuC;IACvC,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC/E,GAAG,CAAC,SAAS,CAAC,CAAC;IACf,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACxC,GAAG,CAAC,KAAK,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,WAAW,EAAE,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/F,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACrC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,CAAC;IACD,GAAG,CAAC,SAAS,CAAC,CAAC;IAEf,wBAAwB;IACxB,MAAM,KAAK,GAAkB;QACzB,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;QAC5B,MAAM,EAAE,IAAI;QACZ,QAAQ;QACR,SAAS;QACT,SAAS;QACT,QAAQ;QACR,aAAa;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK;QACL,GAAG;QACH,KAAK;QACL,KAAK;QACL,KAAK;QACL,UAAU;QACV,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,IAAI;KACtC,CAAC;IACF,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9D,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,GAAG,CAAC,UAAU,CAAC,CAAC;IAChB,IAAI,OAAO,EAAE,CAAC;QACV,OAAO,CAAC,KAAK,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC;IAClC,CAAC;IAED,MAAM,YAAY,GAAG,SAAS,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACjG,MAAM,YAAY,GAAG,gBAAgB,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,MAAM,GAAiB,MAAM,CAAC,MAAM,CAAC;QACvC,SAAS,EAAE,YAAY;QACvB,SAAS,EAAE,YAAY;QACvB,SAAS,EAAE,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI;QACzD,gBAAgB;QAChB,WAAW;QACX,YAAY,EAAE,eAAe,GAAG,gBAAgB,GAAG,WAAW;QAC9D,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC;KACzC,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC"}