@graphty/graph-io 0.0.0 → 0.2.0

package/dist/src/common/export.js

@@ -0,0 +1,594 @@
+/**
+ * The exporter-side machinery of design section 8.5: the ExportCapabilities table helper, the
+ * generic check() that turns capability gaps into LossNotes with shared codes, and id sanitising
+ * (`sanitizeIds: "error"` by default; an exporter never silently renames a node; "mangle" rewrites
+ * the ids the format cannot hold and hands the exporter the originals to write into its
+ * `graphty:originalId` attribute).
+ *
+ * Every exporter's check() calls checkCapabilities() first and appends its format-specific notes
+ * (design section 8.5 names W_GML_RECORD_NUMBER_TYPE and W_OPEN_INTERVAL); export() calls
+ * sanitizeIds() before writing anything.
+ */
+import { GraphFormatError, INVALID_INDEX, } from "@graphty/graph-format";
+import { COLUMN_RENAMED_LOSS_CODE, EMPTY_COLUMN_DROPPED_CODE, ID_TEXT_COLLISION_CODE, ID_TEXT_TYPE_CODE, INTEGRAL_F64_CODE, MIXED_DIRECTION_CODE, MUTUAL_AS_UNDIRECTED_CODE, MUTUAL_EXPANDED_CODE, OPTIONS_GAINED_CODE, PARENTS_DROPPED_CODE, ROLE_ASSUMED_CODE, ROLE_DROPPED_CODE, STORAGE_CLASS_CODE, TEMPORAL_DROPPED_CODE, TEMPORAL_TEXT_DROPPED_CODE, TEXT_INFERRED_CODE, WEIGHT_KEY_CLASH_CODE, XML_ILLEGAL_CHAR_CODE, } from "./codes.js";
+/** The shared LossNote codes of checkCapabilities(). */
+export const LOSS = Object.freeze({
+    /** The format has no mixed direction; expanded pairs are written per onMixedDirection. */
+    MIXED_DIRECTION: "W_MIXED_DIRECTION",
+    /** The format has no mixed direction and onMixedDirection is "error": export() will throw E_DIRECTED. */
+    MIXED_DIRECTION_ERROR: MIXED_DIRECTION_CODE,
+    /** Parallel edges in a format without them. */
+    MULTI_EDGES: "W_MULTI_EDGES",
+    /** Self-loops in a format without them. */
+    SELF_LOOPS: "W_SELF_LOOPS",
+    /** The format requires edge ids and the snapshot has none; canonical e0..e{E-1} are generated. */
+    EDGE_IDS_GENERATED: "W_EDGE_IDS_GENERATED",
+    /** The snapshot has an edge id column and the format cannot write one. */
+    EDGE_IDS_DROPPED: "W_EDGE_IDS_DROPPED",
+    /** Ids outside the format's charset are rewritten (sanitizeIds "mangle"). */
+    ID_MANGLED: "W_ID_MANGLED",
+    /** Ids outside the format's charset and sanitizeIds "error": export() will throw E_INVALID_ID. */
+    ID_CHARSET: "E_ID_CHARSET",
+    /** The format numbers nodes 1..N; ids that are not their 1-based index are kept as labels only. */
+    ID_RENUMBERED: "W_ID_RENUMBERED",
+    /** A column dtype the format does not keep as declared. */
+    DTYPE: "W_DTYPE_UNSUPPORTED",
+    /** A multi-component column in a format without strides. */
+    COMPONENTS: "W_COMPONENTS_FLATTENED",
+    /** A list column in a format without lists. */
+    LIST: "W_LIST_UNSUPPORTED",
+    /** A json column in a format without nested values. */
+    JSON: "W_JSON_UNSUPPORTED",
+    /** A declared default in a format without defaults. */
+    DEFAULT: "W_DEFAULT_DROPPED",
+    /** Declared options in a format without enumerations. */
+    OPTIONS: "W_OPTIONS_DROPPED",
+    /** A parent / parents column in a format without containment. */
+    HIERARCHY: "W_HIERARCHY_DROPPED",
+    /** A start / end / timestamp column in a format without temporal support. */
+    TEMPORAL: TEMPORAL_DROPPED_CODE,
+    /** A `<column>.text` companion (design section 5.1) the format cannot carry. */
+    TEMPORAL_TEXT: TEMPORAL_TEXT_DROPPED_CODE,
+    /** A role column the format has no slot for; written as a plain attribute, the role lost. */
+    ROLE: ROLE_DROPPED_CODE,
+    /** A parents (multi-parent) column in a format with single containment only. */
+    PARENTS: PARENTS_DROPPED_CODE,
+    /** A mutual pair written as two directed edges without the mutual mark. */
+    MUTUAL_EXPANDED: MUTUAL_EXPANDED_CODE,
+    /** A mutual pair written as one undirected edge; the mark is lost and the pair reads back undirected. */
+    MUTUAL_AS_UNDIRECTED: MUTUAL_AS_UNDIRECTED_CODE,
+    /** Node ids whose written text reads back as the other type under the importer's id rule. */
+    ID_TEXT_TYPE: ID_TEXT_TYPE_CODE,
+    /** Two node ids share one written text; export() throws E_INVALID_ID. */
+    ID_TEXT_COLLISION: ID_TEXT_COLLISION_CODE,
+    /** A plain column named like the importer's weight key reads back as THE weight. */
+    WEIGHT_KEY_CLASH: WEIGHT_KEY_CLASH_CODE,
+    /** A role-less column whose written name the importer maps to a role. */
+    ROLE_ASSUMED: ROLE_ASSUMED_CODE,
+    /** A role column written into the format's slot reads back under the importer's fixed name. */
+    COLUMN_NAME_CHANGED: COLUMN_RENAMED_LOSS_CODE,
+    /** A declared column whose every row is unset vanishes through a format without declarations. */
+    EMPTY_COLUMN: EMPTY_COLUMN_DROPPED_CODE,
+    /** A string / dict column that reads back as the other storage class (the dictionary heuristic). */
+    STORAGE_CLASS: STORAGE_CLASS_CODE,
+    /** An f64 column whose set values are all integral reads back as i32 through an untyped format. */
+    INTEGRAL_F64: INTEGRAL_F64_CODE,
+    /** Text cells that read back as numbers or booleans under the 5.1 grammar. */
+    TEXT_INFERRED: TEXT_INFERRED_CODE,
+    /** A string cell holding a character XML 1.0 forbids; export() throws E_COLUMN_TYPE. */
+    XML_ILLEGAL_CHAR: XML_ILLEGAL_CHAR_CODE,
+    /** A dict column without declared options gains one on re-import. */
+    OPTIONS_GAINED: OPTIONS_GAINED_CODE,
+    /** A spells column in a format without spells. */
+    SPELLS: "W_SPELLS_DROPPED",
+    /** Dynamic attribute values (extension tables) in a format without them. */
+    DYNAMIC_VALUES: "W_DYNAMIC_VALUES_DROPPED",
+    /** An open-interval column in a format without open intervals (design section 5.1). */
+    OPEN_INTERVAL: "W_OPEN_INTERVAL",
+    /** Graph-level attributes in a format without them. */
+    GRAPH_ATTRIBUTES: "W_GRAPH_ATTRIBUTES_DROPPED",
+    /** A position column in a format without positions. */
+    POSITIONS: "W_POSITIONS_DROPPED",
+    /** Visual columns in a format without them. */
+    VIZ: "W_VIZ_DROPPED",
+    /** An extension table the format cannot carry. */
+    EXTENSION_TABLE: "W_EXTENSION_TABLE_DROPPED",
+});
+/** The capabilities of a format that keeps nothing beyond plain topology; the base every exporter overrides. */
+export const NO_CAPABILITIES = Object.freeze({
+    mixedDirection: false,
+    multiEdges: false,
+    selfLoops: false,
+    edgeIds: "none",
+    idCharset: "any",
+    dtypes: Object.freeze([]),
+    components: false,
+    lists: false,
+    json: false,
+    defaults: false,
+    options: false,
+    hierarchy: false,
+    temporal: "none",
+    graphAttributes: false,
+    positions: false,
+    viz: false,
+});
+/**
+ * Build a capabilities table from the fields a format supports; every field left out is the
+ * conservative NO_CAPABILITIES value, so an exporter states what it keeps and nothing is assumed.
+ * @param supported - the fields the format supports
+ * @returns a frozen table
+ */
+export function capabilities(supported) {
+    return Object.freeze({ ...NO_CAPABILITIES, ...supported, dtypes: Object.freeze([...(supported.dtypes ?? [])]) });
+}
+/** The roles checkCapabilities() treats structurally rather than as attribute columns. */
+const STRUCTURAL_ROLES = new Set(["directed", "pair", "mutual", "weight", "originalId"]);
+const VIZ_ROLES = new Set(["color", "size", "shape", "thickness"]);
+const TEMPORAL_ROLES = new Set(["start", "end", "timestamp", "timestamps"]);
+const HIERARCHY_ROLES = new Set(["parent", "parents"]);
+/**
+ * The generic pre-flight of design section 8.5: compare a snapshot with a format's capabilities
+ * and return one LossNote per gap, with the shared codes of LOSS. Format-specific notes are the
+ * exporter's to append.
+ * @param snapshot - the snapshot about to be exported
+ * @param caps - the exporter's capabilities
+ * @param options - the resolved common export options
+ * @param extras - format facts the capabilities table does not carry
+ * @returns the notes, empty when the export is exact
+ */
+export function checkCapabilities(snapshot, caps, options, extras = {}) {
+    const notes = [];
+    const note = (code, message, column = null, count = null) => {
+        notes.push(Object.freeze({ code, message, column, count }));
+    };
+    // mixed direction (design section 3.6): an expanded snapshot carries the pair / directed roles
+    const mixed = countMixedEdges(snapshot);
+    if (mixed > 0 && !caps.mixedDirection) {
+        if (options.onMixedDirection === "error") {
+            note(LOSS.MIXED_DIRECTION_ERROR, `${mixed} undirected edge(s) in a directed graph; the format has no mixed direction and onMixedDirection is "error"`, null, mixed);
+        }
+        else {
+            note(LOSS.MIXED_DIRECTION, `${mixed} undirected edge(s) in a directed graph written as ${options.onMixedDirection}`, null, mixed);
+        }
+    }
+    if (snapshot.flags.multigraph && !caps.multiEdges) {
+        const parallel = countParallelArcs(snapshot);
+        note(LOSS.MULTI_EDGES, `${parallel} parallel edge(s); the format has no parallel edges`, null, parallel);
+    }
+    if (snapshot.selfLoopCount > 0 && !caps.selfLoops) {
+        note(LOSS.SELF_LOOPS, `${snapshot.selfLoopCount} self-loop(s); the format has no self-loops`, null, snapshot.selfLoopCount);
+    }
+    const edgeIds = snapshot.edges.byRole("id");
+    if (caps.edgeIds === "required" && edgeIds === null && snapshot.edgeCount > 0) {
+        note(LOSS.EDGE_IDS_GENERATED, "the format requires edge ids; canonical e0..e{E-1} are generated and not written back", null, snapshot.edgeCount);
+    }
+    else if (caps.edgeIds === "none" && edgeIds !== null) {
+        note(LOSS.EDGE_IDS_DROPPED, `edge id column "${edgeIds.meta.name}" cannot be written`, edgeIds.meta.name, snapshot.edgeCount);
+    }
+    const unrepresentable = countUnrepresentableIds(snapshot, caps.idCharset);
+    if (unrepresentable > 0) {
+        if (caps.idCharset === "dense-1-based") {
+            note(LOSS.ID_RENUMBERED, options.sanitizeIds === "mangle"
+                ? `${unrepresentable} node id(s) are not their 1-based index; nodes are numbered 1..N, the originals kept in the exporter's originalId attribute (restored by restoreMangledIds) and as labels of the nodes without a label value`
+                : `${unrepresentable} node id(s) are not their 1-based index; nodes are numbered 1..N and ids kept as labels of the nodes without a label value (a node with one loses its id)`, null, unrepresentable);
+        }
+        else if (options.sanitizeIds === "mangle") {
+            note(LOSS.ID_MANGLED, `${unrepresentable} node id(s) outside the ${caps.idCharset} charset are rewritten; originals kept in the originalId attribute`, null, unrepresentable);
+        }
+        else {
+            note(LOSS.ID_CHARSET, `${unrepresentable} node id(s) outside the ${caps.idCharset} charset; export() will throw unless sanitizeIds is "mangle"`, null, unrepresentable);
+        }
+    }
+    checkColumns(snapshot.nodes, "node", caps, extras, note);
+    checkColumns(snapshot.edges, "edge", caps, extras, note);
+    const graphColumns = snapshot.graph.names();
+    if (graphColumns.length > 0) {
+        if (caps.graphAttributes) {
+            checkColumns(snapshot.graph, "graph", caps, extras, note);
+        }
+        else {
+            note(LOSS.GRAPH_ATTRIBUTES, `${graphColumns.length} graph attribute(s) cannot be written`, null, graphColumns.length);
+        }
+    }
+    for (const [name, table] of snapshot.extensions) {
+        if (name.startsWith("temporal:")) {
+            if (caps.temporal !== "dynamic-values") {
+                note(LOSS.DYNAMIC_VALUES, `dynamic values of "${name}" (${table.rowCount} row(s)) cannot be written`, name, table.rowCount);
+            }
+        }
+        else {
+            note(LOSS.EXTENSION_TABLE, `extension table "${name}" (${table.rowCount} row(s)) cannot be written`, name, table.rowCount);
+        }
+    }
+    return notes;
+}
+/**
+ * The per-column checks of checkCapabilities().
+ * @param table - the table
+ * @param domain - the domain, for messages
+ * @param caps - the capabilities
+ * @param extras - format extras
+ * @param note - the recorder
+ */
+function checkColumns(table, domain, caps, extras, note) {
+    for (const column of table) {
+        const { meta } = column;
+        const { name, role } = meta;
+        if (role !== null && STRUCTURAL_ROLES.has(role)) {
+            continue;
+        }
+        const label = `${domain} column "${name}"`;
+        if (role !== null && extras.roleNames !== undefined) {
+            const fixed = extras.roleNames[role];
+            if (fixed !== undefined && fixed !== name) {
+                note(LOSS.COLUMN_NAME_CHANGED, `${label} (${role}) is written into the format's ${role} slot and reads back as "${fixed}"`, name, column.length - column.nullCount);
+            }
+        }
+        if (domain === "edge" && role === "id") {
+            continue;
+        }
+        if (role === "timeText") {
+            if (extras.temporalText !== true) {
+                note(LOSS.TEMPORAL_TEXT, `${label} (the lexical form of a temporal column, design section 5.1) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role === "position") {
+            if (!caps.positions) {
+                note(LOSS.POSITIONS, `${label} (positions) cannot be written`, name, column.length - column.nullCount);
+            }
+            else if (extras.positionDtype !== undefined && meta.dtype !== extras.positionDtype) {
+                note(LOSS.DTYPE, `${label} (positions) is ${meta.dtype}; the format reads positions back as ${extras.positionDtype}`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role !== null && VIZ_ROLES.has(role)) {
+            if (!caps.viz) {
+                note(LOSS.VIZ, `${label} (${role}) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role !== null && HIERARCHY_ROLES.has(role)) {
+            if (!caps.hierarchy) {
+                note(LOSS.HIERARCHY, `${label} (${role}) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role !== null && TEMPORAL_ROLES.has(role)) {
+            if (caps.temporal === "none") {
+                note(LOSS.TEMPORAL, `${label} (${role}) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role === "spells") {
+            if (caps.temporal !== "spells" && caps.temporal !== "dynamic-values") {
+                note(LOSS.SPELLS, `${label} (spells) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role === "open") {
+            // The open bits are written by the format's own temporal syntax when it has one; the
+            // column's u8 storage is never an attribute dtype, so no dtype note either way.
+            if (extras.openIntervals !== true) {
+                note(LOSS.OPEN_INTERVAL, `${label} (open intervals) cannot be written`, name, column.length - column.nullCount);
+            }
+            continue;
+        }
+        if (role !== null && !(extras.roles?.has(role) ?? false)) {
+            note(LOSS.ROLE, `${label} (${role}) is written as a plain attribute; the format has no ${role} slot and the role is lost`, name, column.length - column.nullCount);
+        }
+        if (meta.dynamic && caps.temporal !== "dynamic-values") {
+            note(LOSS.DYNAMIC_VALUES, `${label} is dynamic; only its static value can be written`, name, null);
+        }
+        checkDtype(column, label, caps, note);
+        if (meta.default !== undefined && !caps.defaults) {
+            note(LOSS.DEFAULT, `${label} declares a default; the format has no defaults`, name, null);
+        }
+        if (meta.options !== null && !caps.options) {
+            note(LOSS.OPTIONS, `${label} declares options; the format has no enumerations`, name, null);
+        }
+    }
+}
+/**
+ * The dtype checks of one attribute column: lists, nested values, scalar dtypes and strides
+ * against the capability table.
+ * @param column - the column
+ * @param label - the column's label for messages
+ * @param caps - the capabilities
+ * @param note - the recorder
+ */
+function checkDtype(column, label, caps, note) {
+    const { meta } = column;
+    const { name } = meta;
+    const set = column.length - column.nullCount;
+    switch (meta.dtype) {
+        case "list":
+            if (!caps.lists) {
+                note(LOSS.LIST, `${label} is a list; the format has no lists`, name, set);
+            }
+            else if (meta.itemDtype !== null && !caps.dtypes.includes(meta.itemDtype)) {
+                note(LOSS.DTYPE, `${label} holds ${meta.itemDtype} items; the format cannot keep that dtype`, name, set);
+            }
+            else if (meta.itemDtype === "dict") {
+                // no format declares an enumeration for list items: they read back as strings
+                note(LOSS.DTYPE, `${label} holds dict items; list items read back as string`, name, set);
+            }
+            break;
+        case "json":
+            if (!caps.json) {
+                note(LOSS.JSON, `${label} holds nested values; the format has no nested values`, name, set);
+            }
+            break;
+        default:
+            if (!caps.dtypes.includes(meta.dtype)) {
+                note(LOSS.DTYPE, `${label} is ${meta.dtype}; the format cannot keep that dtype`, name, set);
+            }
+            if (meta.components > 1 && !caps.components) {
+                note(LOSS.COMPONENTS, `${label} has ${meta.components} components; the format has no strides`, name, set);
+            }
+            break;
+    }
+}
+/**
+ * The number of source edges that were undirected in a directed snapshot (the halves of an
+ * expanded pair count once; an expanded self-loop has no mirror and counts once).
+ * @param snapshot - the snapshot
+ * @returns the count; 0 for an undirected snapshot or one without the directed role
+ */
+export function countMixedEdges(snapshot) {
+    if (!snapshot.directed) {
+        return 0;
+    }
+    const directed = snapshot.edges.byRole("directed");
+    if (directed === null || directed.dtype !== "bool") {
+        return 0;
+    }
+    const pair = snapshot.edges.byRole("pair");
+    let undirectedRows = 0;
+    let paired = 0;
+    for (let e = 0; e < snapshot.edgeCount; e++) {
+        if (directed.isSet(e) && directed.value(e) === false) {
+            undirectedRows++;
+            if (pair !== null && pair.dtype === "u32" && pair.isSet(e) && pair.data[e] !== INVALID_INDEX) {
+                paired++;
+            }
+        }
+    }
+    return paired / 2 + (undirectedRows - paired);
+}
+/**
+ * The number of arcs that repeat the previous arc's target within a row (parallel edges), counted
+ * over the forward CSR; an undirected parallel edge is counted in both rows.
+ * @param snapshot - the snapshot
+ * @returns the count
+ */
+export function countParallelArcs(snapshot) {
+    const { rowPtr, colIdx, nodeCount } = snapshot;
+    let count = 0;
+    for (let u = 0; u < nodeCount; u++) {
+        for (let a = rowPtr[u] + 1; a < rowPtr[u + 1]; a++) {
+            if (colIdx[a] === colIdx[a - 1]) {
+                count++;
+            }
+        }
+    }
+    return snapshot.directed ? count : Math.ceil(count / 2);
+}
+/** XML NameChar ranges (XML 1.0 fifth edition), as inclusive code point pairs. */
+const NAME_CHAR_RANGES = [
+    [0x2d, 0x2e],
+    [0x30, 0x3a],
+    [0x41, 0x5a],
+    [0x5f, 0x5f],
+    [0x61, 0x7a],
+    [0xb7, 0xb7],
+    [0xc0, 0xd6],
+    [0xd8, 0xf6],
+    [0xf8, 0x37d],
+    [0x37f, 0x1fff],
+    [0x200c, 0x200d],
+    [0x203f, 0x2040],
+    [0x2070, 0x218f],
+    [0x2c00, 0x2fef],
+    [0x3001, 0xd7ff],
+    [0xf900, 0xfdcf],
+    [0xfdf0, 0xfffd],
+    [0x10000, 0xeffff],
+];
+/**
+ * Whether a code point is an XML NameChar.
+ * @param cp - the code point
+ * @returns true when it may appear in an NMTOKEN
+ */
+export function isNameChar(cp) {
+    for (const [lo, hi] of NAME_CHAR_RANGES) {
+        if (cp < lo) {
+            return false;
+        }
+        if (cp <= hi) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * Whether a text is an XML NMTOKEN (one or more NameChars; GraphML node and edge ids).
+ * @param text - the text
+ * @returns true for a non-empty text of NameChars
+ */
+export function isNmtoken(text) {
+    if (text.length === 0) {
+        return false;
+    }
+    for (const ch of text) {
+        const cp = ch.codePointAt(0);
+        if (cp === undefined || !isNameChar(cp)) {
+            return false;
+        }
+    }
+    return true;
+}
+/**
+ * Whether an id can be written unchanged under a charset.
+ * @param id - the id
+ * @param charset - the charset
+ * @returns true when the id needs no rewriting ("dense-1-based" is never true: see sanitizeIds)
+ */
+export function isRepresentableId(id, charset) {
+    switch (charset) {
+        case "any":
+            return true;
+        case "nmtoken":
+            return isNmtoken(String(id));
+        case "integer":
+            return typeof id === "number" && Number.isSafeInteger(id);
+        case "dense-1-based":
+            return false;
+        default: {
+            const name = charset;
+            throw new GraphFormatError("E_UNSUPPORTED", `unknown id charset ${name}`, { charset: name });
+        }
+    }
+}
+/**
+ * How many node ids a charset cannot hold as they are (for check()); under "dense-1-based" the
+ * ids that are not their own 1-based index.
+ * @param snapshot - the snapshot
+ * @param charset - the charset
+ * @returns the count
+ */
+export function countUnrepresentableIds(snapshot, charset) {
+    const { ids } = snapshot;
+    if (charset === "any") {
+        return 0;
+    }
+    if (charset === "dense-1-based") {
+        if (ids.kind === "identity" && ids.offset === 1) {
+            return 0;
+        }
+        let changed = 0;
+        for (let i = 0; i < ids.size; i++) {
+            if (ids.idOf(i) !== i + 1) {
+                changed++;
+            }
+        }
+        return changed;
+    }
+    let count = 0;
+    for (let i = 0; i < ids.size; i++) {
+        if (!isRepresentableId(ids.idOf(i), charset)) {
+            count++;
+        }
+    }
+    return count;
+}
+/**
+ * Sanitise the node ids for a charset (design section 8.5). Under "error" any id the charset
+ * cannot hold is E_INVALID_ID (details.reason "charset") and nothing is written; under "mangle"
+ * such ids are rewritten deterministically and uniquely: NMTOKEN by replacing every other
+ * character with `_` (an empty result becomes `_`) and suffixing `_2`, `_3`... on collision;
+ * integer by the smallest unused non-negative integers in index order. "dense-1-based" always
+ * writes the 1-based index (Pajek numbers vertices; the exporter writes the original id as the
+ * label), which is a renumbering rather than a mangling, so it never throws under "error"; under
+ * "mangle" the exporter also writes the original id under its originalId attribute.
+ * @param snapshot - the snapshot
+ * @param charset - the charset
+ * @param mode - the resolved sanitizeIds option
+ * @returns the ids to write
+ */
+export function sanitizeIds(snapshot, charset, mode) {
+    const { ids } = snapshot;
+    const n = ids.size;
+    if (charset === "dense-1-based") {
+        const changed = countUnrepresentableIds(snapshot, charset);
+        return {
+            charset,
+            changed,
+            idAt: (i) => i + 1,
+            isChanged: (i) => ids.idOf(i) !== i + 1,
+            originalAt: (i) => ids.idOf(i),
+        };
+    }
+    const unchanged = {
+        charset,
+        changed: 0,
+        idAt: (i) => ids.idOf(i),
+        isChanged: () => false,
+        originalAt: (i) => ids.idOf(i),
+    };
+    if (charset === "any") {
+        return unchanged;
+    }
+    const bad = [];
+    for (let i = 0; i < n; i++) {
+        if (!isRepresentableId(ids.idOf(i), charset)) {
+            bad.push(i);
+        }
+    }
+    if (bad.length === 0) {
+        return unchanged;
+    }
+    if (mode === "error") {
+        const first = ids.idOf(bad[0]);
+        throw new GraphFormatError("E_INVALID_ID", `${bad.length} node id(s) cannot be written as ${charset} (first: ${JSON.stringify(first)} at index ${bad[0]}); pass sanitizeIds: "mangle" to rewrite them`, { reason: "charset", charset, count: bad.length, id: first, index: bad[0] });
+    }
+    const written = new Map();
+    if (charset === "nmtoken") {
+        const used = new Set();
+        for (let i = 0; i < n; i++) {
+            const id = ids.idOf(i);
+            if (isRepresentableId(id, charset)) {
+                used.add(String(id));
+            }
+        }
+        for (const i of bad) {
+            const base = mangleNmtoken(String(ids.idOf(i)));
+            let candidate = base;
+            for (let k = 2; used.has(candidate); k++) {
+                candidate = `${base}_${k}`;
+            }
+            used.add(candidate);
+            written.set(i, candidate);
+        }
+    }
+    else {
+        const used = new Set();
+        for (let i = 0; i < n; i++) {
+            const id = ids.idOf(i);
+            if (typeof id === "number" && Number.isSafeInteger(id)) {
+                used.add(id);
+            }
+        }
+        let next = 0;
+        for (const i of bad) {
+            while (used.has(next)) {
+                next++;
+            }
+            used.add(next);
+            written.set(i, next);
+            next++;
+        }
+    }
+    return {
+        charset,
+        changed: bad.length,
+        idAt: (i) => written.get(i) ?? ids.idOf(i),
+        isChanged: (i) => written.has(i),
+        originalAt: (i) => ids.idOf(i),
+    };
+}
+/**
+ * Rewrite a text as an NMTOKEN: every character that is not a NameChar becomes `_`.
+ * @param text - the text
+ * @returns a non-empty NMTOKEN
+ */
+export function mangleNmtoken(text) {
+    let out = "";
+    for (const ch of text) {
+        const cp = ch.codePointAt(0);
+        out += cp !== undefined && isNameChar(cp) ? ch : "_";
+    }
+    return out.length === 0 ? "_" : out;
+}
+//# sourceMappingURL=export.js.map

package/dist/src/common/export.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"export.js","sourceRoot":"","sources":["../../../src/common/export.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAGH,gBAAgB,EAEhB,aAAa,GAEhB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EACH,wBAAwB,EACxB,yBAAyB,EACzB,sBAAsB,EACtB,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,yBAAyB,EACzB,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,kBAAkB,EAClB,qBAAqB,EACrB,0BAA0B,EAC1B,kBAAkB,EAClB,qBAAqB,EACrB,qBAAqB,GACxB,MAAM,YAAY,CAAC;AAGpB,wDAAwD;AACxD,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9B,0FAA0F;IAC1F,eAAe,EAAE,mBAAmB;IACpC,yGAAyG;IACzG,qBAAqB,EAAE,oBAAoB;IAC3C,+CAA+C;IAC/C,WAAW,EAAE,eAAe;IAC5B,2CAA2C;IAC3C,UAAU,EAAE,cAAc;IAC1B,kGAAkG;IAClG,kBAAkB,EAAE,sBAAsB;IAC1C,0EAA0E;IAC1E,gBAAgB,EAAE,oBAAoB;IACtC,6EAA6E;IAC7E,UAAU,EAAE,cAAc;IAC1B,kGAAkG;IAClG,UAAU,EAAE,cAAc;IAC1B,mGAAmG;IACnG,aAAa,EAAE,iBAAiB;IAChC,2DAA2D;IAC3D,KAAK,EAAE,qBAAqB;IAC5B,4DAA4D;IAC5D,UAAU,EAAE,wBAAwB;IACpC,+CAA+C;IAC/C,IAAI,EAAE,oBAAoB;IAC1B,uDAAuD;IACvD,IAAI,EAAE,oBAAoB;IAC1B,uDAAuD;IACvD,OAAO,EAAE,mBAAmB;IAC5B,yDAAyD;IACzD,OAAO,EAAE,mBAAmB;IAC5B,iEAAiE;IACjE,SAAS,EAAE,qBAAqB;IAChC,6EAA6E;IAC7E,QAAQ,EAAE,qBAAqB;IAC/B,gFAAgF;IAChF,aAAa,EAAE,0BAA0B;IACzC,6FAA6F;IAC7F,IAAI,EAAE,iBAAiB;IACvB,gFAAgF;IAChF,OAAO,EAAE,oBAAoB;IAC7B,2EAA2E;IAC3E,eAAe,EAAE,oBAAoB;IACrC,yGAAyG;IACzG,oBAAoB,EAAE,yBAAyB;IAC/C,6FAA6F;IAC7F,YAAY,EAAE,iBAAiB;IAC/B,yEAAyE;IACzE,iBAAiB,EAAE,sBAAsB;IACzC,oFAAoF;IACpF,gBAAgB,EAAE,qBAAqB;IACvC,yEAAyE;IACzE,YAAY,EAAE,iBAAiB;IAC/B,+FAA+F;IAC/F,mBAAmB,EAAE,wBAAwB;IAC7C,iGAAiG;IACjG,YAAY,EAAE,yBAAyB;IACvC,oGAAoG;IACpG,aAAa,EAAE,kBAAkB;IACjC,mGAAmG;IACnG,YAAY,EAAE,iBAAiB;IAC/B,8EAA8E;IAC9E,aAAa,EAAE,kBAAkB;IACjC,wFAAwF;IACxF,gBAAgB,EAAE,qBAAqB;IACvC,qEAAqE;IACrE,cAAc,EAAE,mBAAmB;IACnC,kDAAkD;IAClD,MAAM,EAAE,kBAAkB;IAC1B,4EAA4E;IAC5E,cAAc,EAAE,0BAA0B;IAC1C,uFAAuF;IACvF,aAAa,EAAE,iBAAiB;IAChC,uDAAuD;IACvD,gBAAgB,EAAE,4BAA4B;IAC9C,uDAAuD;IACvD,SAAS,EAAE,qBAAqB;IAChC,+CAA+C;IAC/C,GAAG,EAAE,eAAe;IACpB,kDAAkD;IAClD,eAAe,EAAE,2BAA2B;CAC/C,CAAC,CAAC;AAEH,gHAAgH;AAChH,MAAM,CAAC,MAAM,eAAe,GAAuB,MAAM,CAAC,MAAM,CAAC;IAC7D,cAAc,EAAE,KAAK;IACrB,UAAU,EAAE,KAAK;IACjB,SAAS,EAAE,KAAK;IAChB,OAAO,EAAE,MAAM;IACf,SAAS,EAAE,KAAK;IAChB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACzB,UAAU,EAAE,KAAK;IACjB,KAAK,EAAE,KAAK;IACZ,IAAI,EAAE,KAAK;IACX,QAAQ,EAAE,KAAK;IACf,OAAO,EAAE,KAAK;IACd,SAAS,EAAE,KAAK;IAChB,QAAQ,EAAE,MAAM;IAChB,eAAe,EAAE,KAAK;IACtB,SAAS,EAAE,KAAK;IAChB,GAAG,EAAE,KAAK;CACb,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,SAAsC;IAC/D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,eAAe,EAAE,GAAG,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACrH,CAAC;AAqCD,0FAA0F;AAC1F,MAAM,gBAAgB,GAAwB,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;AAC9G,MAAM,SAAS,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;AACxF,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;AACjG,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;AAE5E;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC7B,QAAuB,EACvB,IAAwB,EACxB,OAA8B,EAC9B,SAAsB,EAAE;IAExB,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,SAAwB,IAAI,EAAE,QAAuB,IAAI,EAAQ,EAAE;QAC5G,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC;IAEF,+FAA+F;IAC/F,MAAM,KAAK,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,gBAAgB,KAAK,OAAO,EAAE,CAAC;YACvC,IAAI,CACA,IAAI,CAAC,qBAAqB,EAC1B,GAAG,KAAK,4GAA4G,EACpH,IAAI,EACJ,KAAK,CACR,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,IAAI,CACA,IAAI,CAAC,eAAe,EACpB,GAAG,KAAK,sDAAsD,OAAO,CAAC,gBAAgB,EAAE,EACxF,IAAI,EACJ,KAAK,CACR,CAAC;QACN,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,QAAQ,qDAAqD,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC7G,CAAC;IACD,IAAI,QAAQ,CAAC,aAAa,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QAChD,IAAI,CACA,IAAI,CAAC,UAAU,EACf,GAAG,QAAQ,CAAC,aAAa,6CAA6C,EACtE,IAAI,EACJ,QAAQ,CAAC,aAAa,CACzB,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,IAAI,OAAO,KAAK,IAAI,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC5E,IAAI,CACA,IAAI,CAAC,kBAAkB,EACvB,uFAAuF,EACvF,IAAI,EACJ,QAAQ,CAAC,SAAS,CACrB,CAAC;IACN,CAAC;SAAM,IAAI,IAAI,CAAC,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrD,IAAI,CACA,IAAI,CAAC,gBAAgB,EACrB,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,qBAAqB,EACzD,OAAO,CAAC,IAAI,CAAC,IAAI,EACjB,QAAQ,CAAC,SAAS,CACrB,CAAC;IACN,CAAC;IAED,MAAM,eAAe,GAAG,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1E,IAAI,eAAe,GAAG,CAAC,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,SAAS,KAAK,eAAe,EAAE,CAAC;YACrC,IAAI,CACA,IAAI,CAAC,aAAa,EAClB,OAAO,CAAC,WAAW,KAAK,QAAQ;gBAC5B,CAAC,CAAC,GAAG,eAAe,8MAA8M;gBAClO,CAAC,CAAC,GAAG,eAAe,2JAA2J,EACnL,IAAI,EACJ,eAAe,CAClB,CAAC;QACN,CAAC;aAAM,IAAI,OAAO,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC1C,IAAI,CACA,IAAI,CAAC,UAAU,EACf,GAAG,eAAe,2BAA2B,IAAI,CAAC,SAAS,oEAAoE,EAC/H,IAAI,EACJ,eAAe,CAClB,CAAC;QACN,CAAC;aAAM,CAAC;YACJ,IAAI,CACA,IAAI,CAAC,UAAU,EACf,GAAG,eAAe,2BAA2B,IAAI,CAAC,SAAS,8DAA8D,EACzH,IAAI,EACJ,eAAe,CAClB,CAAC;QACN,CAAC;IACL,CAAC;IAED,YAAY,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,YAAY,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;IAC5C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YACvB,YAAY,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9D,CAAC;aAAM,CAAC;YACJ,IAAI,CACA,IAAI,CAAC,gBAAgB,EACrB,GAAG,YAAY,CAAC,MAAM,uCAAuC,EAC7D,IAAI,EACJ,YAAY,CAAC,MAAM,CACtB,CAAC;QACN,CAAC;IACL,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;gBACrC,IAAI,CACA,IAAI,CAAC,cAAc,EACnB,sBAAsB,IAAI,MAAM,KAAK,CAAC,QAAQ,4BAA4B,EAC1E,IAAI,EACJ,KAAK,CAAC,QAAQ,CACjB,CAAC;YACN,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,CACA,IAAI,CAAC,eAAe,EACpB,oBAAoB,IAAI,MAAM,KAAK,CAAC,QAAQ,4BAA4B,EACxE,IAAI,EACJ,KAAK,CAAC,QAAQ,CACjB,CAAC;QACN,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAKD;;;;;;;GAOG;AACH,SAAS,YAAY,CACjB,KAAuB,EACvB,MAAc,EACd,IAAwB,EACxB,MAAmB,EACnB,IAAY;IAEZ,KAAK,MAAM,MAAM,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;QACxB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;QAC5B,IAAI,IAAI,KAAK,IAAI,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9C,SAAS;QACb,CAAC;QACD,MAAM,KAAK,GAAG,GAAG,MAAM,YAAY,IAAI,GAAG,CAAC;QAC3C,IAAI,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACxC,IAAI,CACA,IAAI,CAAC,mBAAmB,EACxB,GAAG,KAAK,KAAK,IAAI,kCAAkC,IAAI,4BAA4B,KAAK,GAAG,EAC3F,IAAI,EACJ,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CACnC,CAAC;YACN,CAAC;QACL,CAAC;QACD,IAAI,MAAM,KAAK,MAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YACrC,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACtB,IAAI,MAAM,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;gBAC/B,IAAI,CACA,IAAI,CAAC,aAAa,EAClB,GAAG,KAAK,gFAAgF,EACxF,IAAI,EACJ,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CACnC,CAAC;YACN,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,gCAAgC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAC3G,CAAC;iBAAM,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;gBACnF,IAAI,CACA,IAAI,CAAC,KAAK,EACV,GAAG,KAAK,mBAAmB,IAAI,CAAC,KAAK,wCAAwC,MAAM,CAAC,aAAa,EAAE,EACnG,IAAI,EACJ,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CACnC,CAAC;YACN,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,KAAK,IAAI,qBAAqB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YACnG,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;gBAClB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,KAAK,IAAI,qBAAqB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YACzG,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;gBAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,KAAK,IAAI,qBAAqB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YACxG,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;gBACnE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,KAAK,6BAA6B,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YACrG,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;YAClB,qFAAqF;YACrF,gFAAgF;YAChF,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;gBAChC,IAAI,CACA,IAAI,CAAC,aAAa,EAClB,GAAG,KAAK,qCAAqC,EAC7C,IAAI,EACJ,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CACnC,CAAC;YACN,CAAC;YACD,SAAS;QACb,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACvD,IAAI,CACA,IAAI,CAAC,IAAI,EACT,GAAG,KAAK,KAAK,IAAI,wDAAwD,IAAI,4BAA4B,EACzG,IAAI,EACJ,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CACnC,CAAC;QACN,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;YACrD,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,GAAG,KAAK,mDAAmD,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvG,CAAC;QACD,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,iDAAiD,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,KAAK,mDAAmD,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChG,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,MAAc,EAAE,KAAa,EAAE,IAAwB,EAAE,IAAY;IACrF,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxB,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC;IAC7C,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACjB,KAAK,MAAM;YACP,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACd,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,qCAAqC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC9E,CAAC;iBAAM,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1E,IAAI,CACA,IAAI,CAAC,KAAK,EACV,GAAG,KAAK,UAAU,IAAI,CAAC,SAAS,2CAA2C,EAC3E,IAAI,EACJ,GAAG,CACN,CAAC;YACN,CAAC;iBAAM,IAAI,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;gBACnC,8EAA8E;gBAC9E,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,mDAAmD,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAC7F,CAAC;YACD,MAAM;QACV,KAAK,MAAM;YACP,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACb,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,KAAK,uDAAuD,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAChG,CAAC;YACD,MAAM;QACV;YACI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,OAAO,IAAI,CAAC,KAAK,qCAAqC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;YAChG,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC1C,IAAI,CACA,IAAI,CAAC,UAAU,EACf,GAAG,KAAK,QAAQ,IAAI,CAAC,UAAU,wCAAwC,EACvE,IAAI,EACJ,GAAG,CACN,CAAC;YACN,CAAC;YACD,MAAM;IACd,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAuB;IACnD,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACrB,OAAO,CAAC,CAAC;IACb,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACnD,IAAI,QAAQ,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACjD,OAAO,CAAC,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,cAAc,GAAG,CAAC,CAAC;IACvB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACnD,cAAc,EAAE,CAAC;YACjB,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,aAAa,EAAE,CAAC;gBAC3F,MAAM,EAAE,CAAC;YACb,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,MAAM,GAAG,CAAC,GAAG,CAAC,cAAc,GAAG,MAAM,CAAC,CAAC;AAClD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAAuB;IACrD,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IAC/C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;QACjC,KAAK,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC9B,KAAK,EAAE,CAAC;YACZ,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;AAC5D,CAAC;AAyCD,kFAAkF;AAClF,MAAM,gBAAgB,GAA2C;IAC7D,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,CAAC,IAAI,EAAE,KAAK,CAAC;IACb,CAAC,KAAK,EAAE,MAAM,CAAC;IACf,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,OAAO,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,EAAU;IACjC,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,gBAAgB,EAAE,CAAC;QACtC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;YACV,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACX,OAAO,IAAI,CAAC;QAChB,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,OAAO,KAAK,CAAC;QACjB,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,EAAU,EAAE,OAAkB;IAC5D,QAAQ,OAAO,EAAE,CAAC;QACd,KAAK,KAAK;YACN,OAAO,IAAI,CAAC;QAChB,KAAK,SAAS;YACV,OAAO,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,KAAK,SAAS;YACV,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC9D,KAAK,eAAe;YAChB,OAAO,KAAK,CAAC;QACjB,OAAO,CAAC,CAAC,CAAC;YACN,MAAM,IAAI,GAAW,OAAO,CAAC;YAC7B,MAAM,IAAI,gBAAgB,CAAC,eAAe,EAAE,sBAAsB,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACjG,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,QAAuB,EAAE,OAAkB;IAC/E,MAAM,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;IACzB,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACpB,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAC9B,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,OAAO,CAAC,CAAC;QACb,CAAC;QACD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,OAAO,EAAE,CAAC;YACd,CAAC;QACL,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC;IACD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YAC3C,KAAK,EAAE,CAAC;QACZ,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,WAAW,CAAC,QAAuB,EAAE,OAAkB,EAAE,IAAwB;IAC7F,MAAM,EAAE,GAAG,EAAE,GAAG,QAAQ,CAAC;IACzB,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC;IACnB,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,uBAAuB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC3D,OAAO;YACH,OAAO;YACP,OAAO;YACP,IAAI,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,GAAG,CAAC;YAClC,SAAS,EAAE,CAAC,CAAS,EAAW,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;YACxD,UAAU,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;SACjD,CAAC;IACN,CAAC;IACD,MAAM,SAAS,GAAiB;QAC5B,OAAO;QACP,OAAO,EAAE,CAAC;QACV,IAAI,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACxC,SAAS,EAAE,GAAY,EAAE,CAAC,KAAK;QAC/B,UAAU,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;KACjD,CAAC;IACF,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACpB,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACzB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC;IACL,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,gBAAgB,CACtB,cAAc,EACd,GAAG,GAAG,CAAC,MAAM,oCAAoC,OAAO,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,+CAA+C,EAC3J,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAC9E,CAAC;IACN,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,iBAAiB,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;YACzB,CAAC;QACL,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,SAAS,GAAG,IAAI,CAAC;YACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,SAAS,GAAG,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;YAC/B,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACpB,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjB,CAAC;QACL,CAAC;QACD,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpB,IAAI,EAAE,CAAC;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACrB,IAAI,EAAE,CAAC;QACX,CAAC;IACL,CAAC;IACD,OAAO;QACH,OAAO;QACP,OAAO,EAAE,GAAG,CAAC,MAAM;QACnB,IAAI,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,SAAS,EAAE,CAAC,CAAS,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,UAAU,EAAE,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;KACjD,CAAC;AACN,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACtC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACpB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC7B,GAAG,IAAI,EAAE,KAAK,SAAS,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IACzD,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AACxC,CAAC"}