@graphty/graph-io 0.3.25 → 0.3.27

package/dist/chunks/{importer-BWY2FFc5.js → importer-B1wmPQjr.js}

@@ -1,11 +1,10 @@
 import { GraphFormatError, INVALID_INDEX } from "@graphty/graph-format";
 import { c as childrenCsr } from "./children-CL3Cy0ez.js";
-import { V as resolveExportOptions, X as pairFolding, ax as canonicalId, af as MIXED_DIRECTION_CODE, D as DIRECTION_FORCED_CODE, a as DIRECTION_REFUSED_CODE, S as SINK_OPTION_CODE, I as ID_MERGED_CODE, O as OPTION_IGNORED_CODE, C as COLUMN_RENAMED_CODE, R as ROLE_TAKEN_CODE, M as MULTIPLE_GRAPHS_CODE, q as UNKNOWN_ENCODING_CODE, E as ENCODING_FALLBACK_CODE, r as INVALID_ENCODING_CODE, s as INVALID_UTF8_CODE, u as EMPTY_INPUT_CODE, t as SYNTAX_CODE, v as resolveImportOptions, w as ImportReportBuilder, z as reportUnusedOptions, aG as readText, F as reportSinkOptions, y as throwIfAborted, K as IdCoercer, J as DirectionResolver, L as declareResolved } from "./report-B1z4WT9e.js";
-import { c as quoteDotId, d as isWritableDotText } from "./escape-B-tkk_Cl.js";
-import { L as LOSS, a as checkCapabilities, c as capabilities, d as countMixedEdges, s as sanitizeIds } from "./export-Bh60Dv-n.js";
-import { e as explicitWeights, f as formatF32, a as formatF64, b as formatDecimal, d as formatInteger, p as parseWeightText } from "./weights-Dzba96G3.js";
-import { i as inferTextDtype, W as WIDENING_UNSUPPORTED_CODE, p as parseTextCell, T as TextCellWriter } from "./text-Dr0Ifpag.js";
-import { j as joinText, e as encodeChunks } from "./writer-C7flM-Ih.js";
+import { L as LOSS, r as resolveExportOptions, a as checkCapabilities, c as capabilities, bE as countMixedEdges, e as explicitWeights, p as pairFolding, b as plural, aE as sanitizeIds, aa as formatF32, ab as formatF64, a9 as idText, $ as agree, aF as formatDecimal, aG as formatInteger, aH as canonicalId, M as MIXED_DIRECTION_CODE, D as DIRECTION_FORCED_CODE, d as DIRECTION_REFUSED_CODE, S as SINK_OPTION_CODE, I as ID_MERGED_CODE, O as OPTION_IGNORED_CODE, C as COLUMN_RENAMED_CODE, R as ROLE_TAKEN_CODE, o as DUPLICATE_ATTRIBUTE_CODE, P as PRECISION_CODE, ae as AMBIGUOUS_GRAPH_NAME_CODE, af as GRAPH_NOT_FOUND_CODE, l as MULTIPLE_GRAPHS_CODE, v as ENCODING_CONFLICT_CODE, w as UNKNOWN_ENCODING_CODE, x as ENCODING_FALLBACK_CODE, y as INVALID_ENCODING_CODE, z as INVALID_UTF8_CODE, E as EMPTY_INPUT_CODE, ak as SYNTAX_CODE, F as ELEMENT_ISSUE, G as INPUT_ISSUE, al as resolveImportOptions, a8 as ImportReportBuilder, an as reportUnusedOptions, bC as readText, ao as reportSinkOptions, am as throwIfAborted, ap as graphChosen, ar as IdCoercer, aq as DirectionResolver, aL as parseWeightText, bF as canonicalEncoding, aJ as survivesF32, a1 as declareResolved } from "./export-CHd4tQE2.js";
+import { c as quoteDotId, d as isWritableDotText } from "./escape-D1HPTUrP.js";
+import { i as inferTextDtype, W as WIDENING_UNSUPPORTED_CODE, p as parseTextCell, T as TextCellWriter } from "./text-DzXjAiTl.js";
+import { j as joinText, e as encodeChunks, i as indentUnit } from "./writer-DxjgHwSe.js";
+import { i as importChosenGraph } from "./choose-DrXtu_96.js";
 const DOT_FORMAT = "dot";
 const DOT_ORIGIN = Object.freeze({ format: DOT_FORMAT });
 const CLUSTER_COLUMN = "graphty.cluster";
@@ -18,11 +17,17 @@ const KEY_ATTRIBUTE = "key";
 const PIN_ATTRIBUTE = "pin";
 const DOT_META_KEY = "dot";
 const DOT_LOSS = Object.freeze({
-  /** An id, name or text with a backslash before a quote or a line break, or at its end, cannot be written as a DOT quoted string; export() throws. */
+  /**
+   * An id, name or text with a backslash before a quote or a line break, or at its end, cannot be written as a DOT
+   * quoted string; the save fails.
+   */
   TRAILING_BACKSLASH: "E_DOT_TRAILING_BACKSLASH",
-  /** A non-finite f32 / f64 cell has no numeric DOT spelling and reads back as text. */
+  /** NaN or an infinity has no DOT number spelling; it is written as text and reads back as text. */
   NON_FINITE: "W_DOT_NON_FINITE",
-  /** Text cells that look like numbers or booleans read back as such (DOT attribute values are untyped). */
+  /**
+   * A text value that reads back as a number or a boolean, because the format does not record that it was text (the
+   * text "42" reads back as the number 42).
+   */
   TEXT_INFERRED: LOSS.TEXT_INFERRED,
   /** A plain column named like an attribute the exporter writes for a role (weight, key, pos) is not written. */
   ATTRIBUTE_CLASH: "W_DOT_ATTRIBUTE_CLASH",
@@ -32,11 +37,14 @@ const DOT_LOSS = Object.freeze({
   PARENTS_DROPPED: LOSS.PARENTS,
   /** A position column that is not a node column of 2 or 3 components is not written. */
   POSITION_SHAPE: "W_DOT_POSITION_SHAPE",
-  /** An id whose text reads back as the other type under ids: "canonical" (1.5 as text, "1" as 1). */
+  /** An id that reads back as a different type, such as the decimal 1.5 as text or the text "1" as the number 1. */
   ID_TEXT_TYPE: LOSS.ID_TEXT_TYPE,
   /** A declared column whose every row is unset is not written (DOT writes cells, never declarations). */
   EMPTY_COLUMN_DROPPED: LOSS.EMPTY_COLUMN,
-  /** A role-less column named `label` reads back with the label role. */
+  /**
+   * An attribute without a role is written where the format keeps a role (for example, a `name` column as the label), and
+   * reads back with that role.
+   */
   ROLE_ASSUMED: LOSS.ROLE_ASSUMED,
   /** A parent that is a plain node is written as a node and a cluster of one name; it reads back marked as a cluster. */
   CLUSTER_MARKED: "W_DOT_CLUSTER_MARKED"
@@ -70,7 +78,7 @@ const CAPABILITIES = capabilities({
 });
 const DEFAULT_INDENT = "    ";
 const CLUSTER_PREFIX$1 = "cluster";
-const COMPASS_POINTS = /* @__PURE__ */ new Set(["n", "ne", "e", "se", "s", "sw", "w", "nw", "c", "_"]);
+const COMPASS_POINTS$1 = /* @__PURE__ */ new Set(["n", "ne", "e", "se", "s", "sw", "w", "nw", "c", "_"]);
 const SKIPPED_NODE_ROLES = /* @__PURE__ */ new Set([
   "parent",
   "parents",
@@ -120,6 +128,7 @@ const SKIPPED_GRAPH_ROLES = /* @__PURE__ */ new Set(["position", "color", "size"
 const TEXT_ROLES = /* @__PURE__ */ new Set(["label", "id", "sourcePort", "targetPort"]);
 const dotExporter = Object.freeze({
   format: DOT_FORMAT,
+  options: Object.freeze(["indent", "name", "strict"]),
   capabilities: CAPABILITIES,
   /**
    * Pre-flight: every loss the DOT text would incur, without writing anything.
@@ -188,7 +197,7 @@ function writeId(text) {
 }
 function writePort(port) {
   const colon = port.lastIndexOf(":");
-  if (colon > 0 && COMPASS_POINTS.has(port.slice(colon + 1))) {
+  if (colon > 0 && COMPASS_POINTS$1.has(port.slice(colon + 1))) {
     return `:${quoteDotId(port.slice(0, colon))}:${port.slice(colon + 1)}`;
   }
   return `:${quoteDotId(port)}`;
@@ -196,6 +205,16 @@ function writePort(port) {
 function isTextualDtype(column) {
   return column.dtype !== "list" && column.dtype !== "json";
 }
+function badOption(option, found, expected) {
+  return new GraphFormatError(
+    "E_UNSUPPORTED",
+    `option ${option} of the DOT exporter: expected ${expected}, got ${JSON.stringify(found)}`,
+    {
+      option,
+      found
+    }
+  );
+}
 class ExportPlan {
   /**
    * Plan one export.
@@ -207,9 +226,16 @@ class ExportPlan {
     this.extraNotes = [];
     this.snapshot = snapshot;
     this.resolved = resolved;
-    this.indent = options?.indent ?? DEFAULT_INDENT;
-    this.name = options?.name === void 0 ? snapshot.meta.name : options.name;
-    this.strict = options?.strict ?? isStrictMeta(snapshot);
+    const { indent, name, strict } = options ?? {};
+    if (name !== void 0 && name !== null && typeof name !== "string") {
+      throw badOption("name", name, "a string or null");
+    }
+    if (strict !== void 0 && typeof strict !== "boolean") {
+      throw badOption("strict", strict, "a boolean");
+    }
+    this.indent = indentUnit(indent, DEFAULT_INDENT);
+    this.name = name === void 0 ? snapshot.meta.name : name;
+    this.strict = strict ?? isStrictMeta(snapshot);
     this.mixed = countMixedEdges(snapshot);
     if (this.mixed > 0 && resolved.onMixedDirection !== "error") {
       this.directed = resolved.onMixedDirection === "directed";
@@ -308,7 +334,7 @@ class ExportPlan {
     if (unwritable > 0) {
       note(
         DOT_LOSS.TRAILING_BACKSLASH,
-        `${unwritable} id(s), name(s) or text value(s) hold a backslash before a quote or a line break, or at the end, which a DOT quoted string cannot carry; export() will throw`,
+        `${unwritable} ids, names or text values hold a backslash before a quote or a line break, or at the end, which a DOT quoted string cannot carry; the save fails`,
         null,
         unwritable
       );
@@ -341,7 +367,7 @@ class ExportPlan {
           if (bad > 0) {
             note(
               DOT_LOSS.NON_FINITE,
-              `${label} column "${column.meta.name}" holds ${bad} non-finite value(s) with no numeric DOT spelling; they read back as text`,
+              `${label} column "${column.meta.name}" holds ${bad} non-finite value${plural(bad)} with no numeric DOT spelling; they read back as text`,
               column.meta.name,
               bad
             );
@@ -352,7 +378,7 @@ class ExportPlan {
           if (typed > 0) {
             note(
               DOT_LOSS.TEXT_INFERRED,
-              `${label} column "${column.meta.name}" holds ${typed} text value(s) that look like numbers or booleans; DOT values are untyped and they read back as such`,
+              `${label} column "${column.meta.name}" holds ${typed} text value${plural(typed)} that look like numbers or booleans; DOT values are untyped and they read back as such`,
               column.meta.name,
               typed
             );
@@ -370,7 +396,7 @@ class ExportPlan {
     if (unmarked > 0) {
       note(
         DOT_LOSS.CLUSTER_MARKED,
-        `${unmarked} parent node(s) are written as a node and a cluster of the same name and read back with "${CLUSTER_COLUMN}" true`,
+        `${unmarked} parent node${plural(unmarked)} ${agree(unmarked, "is", "are")} written as a node and a cluster of the same name and read back with "${CLUSTER_COLUMN}" true`,
         CLUSTER_COLUMN,
         unmarked
       );
@@ -379,7 +405,7 @@ class ExportPlan {
     if (mutual > 0) {
       note(
         DOT_LOSS.MUTUAL_EXPANDED,
-        `${mutual} mutual pair(s) are written as two directed edges each; the mutual mark is lost`,
+        `${mutual} mutual pair${plural(mutual)} ${agree(mutual, "is", "are")} written as two directed edges each; the mutual mark is lost`,
         null,
         mutual
       );
@@ -419,7 +445,7 @@ class ExportPlan {
     if (textIds > 0) {
       note(
         DOT_LOSS.ID_TEXT_TYPE,
-        `${textIds} node id(s) read back as the other type under ids: "canonical" (a string "1" becomes 1, a number 1.5 becomes "1.5")`,
+        `${textIds} node id${plural(textIds)} ${agree(textIds, "reads", "read")} back as the other type under ids: "canonical" (a string "1" becomes 1, a number 1.5 becomes "1.5")`,
         null,
         textIds
       );
@@ -434,7 +460,7 @@ class ExportPlan {
     if (this.mixed > 0 && this.resolved.onMixedDirection === "error") {
       throw new GraphFormatError(
         "E_DIRECTED",
-        `${this.mixed} undirected edge(s) in a directed graph; DOT has no mixed direction and onMixedDirection is "error"`,
+        `${this.mixed} undirected edge${plural(this.mixed)} in a directed graph, and DOT holds one direction per file, so the save fails unless onMixedDirection is "directed" or "undirected"`,
         { reason: LOSS.MIXED_DIRECTION_ERROR, count: this.mixed }
       );
     }
@@ -549,22 +575,22 @@ class ExportPlan {
     }
     emitted[i] = 1;
     const pad = this.indent.repeat(depth);
-    const idText = this.idText(i);
+    const idText2 = this.idText(i);
     const kids = this.children.childrenOf(i);
     const marked = this.cluster !== null && this.cluster.isSet(i) && this.cluster.value(i) === true;
     if (kids.length === 0 && !marked) {
-      yield `${pad}${this.nodeStatement(i, idText)};
+      yield `${pad}${this.nodeStatement(i, idText2)};
 `;
       return;
     }
     if (!marked) {
-      yield `${pad}${this.nodeStatement(i, idText)};
+      yield `${pad}${this.nodeStatement(i, idText2)};
 `;
     }
     const inner = `${pad}${this.indent}`;
-    yield `${pad}subgraph ${writeId(idText)} {
+    yield `${pad}subgraph ${writeId(idText2)} {
 `;
-    if (!idText.startsWith(CLUSTER_PREFIX$1)) {
+    if (!idText2.startsWith(CLUSTER_PREFIX$1)) {
       yield `${inner}cluster=true;
 `;
     }
@@ -592,9 +618,9 @@ class ExportPlan {
    * @param idText - the id text
    * @returns `id` or `id [attrs]`
    */
-  nodeStatement(i, idText) {
+  nodeStatement(i, idText2) {
     const attributes = this.nodeAttributes(i);
-    return attributes.length === 0 ? writeId(idText) : `${writeId(idText)} [${attributes.join(", ")}]`;
+    return attributes.length === 0 ? writeId(idText2) : `${writeId(idText2)} [${attributes.join(", ")}]`;
   }
   /**
    * The attributes of a node: its set cells plus `pos` from the position column.
@@ -717,12 +743,9 @@ class ExportPlan {
    * @returns String(id)
    */
   idText(i) {
-    return idToText(this.snapshot.ids.idOf(i));
+    return idText(this.snapshot.ids.idOf(i));
   }
 }
-function idToText(id) {
-  return typeof id === "string" ? id : formatF64(id);
-}
 function isStrictMeta(snapshot) {
   const dot = snapshot.meta.extra[DOT_META_KEY];
   return typeof dot === "object" && dot !== null && dot.strict === true;
@@ -811,7 +834,7 @@ function countTextIds(snapshot) {
   let count = 0;
   for (let i = 0; i < ids.size; i++) {
     const id = ids.idOf(i);
-    if (canonicalId(idToText(id)) !== id) {
+    if (canonicalId(idText(id)) !== id) {
       count++;
     }
   }
@@ -831,10 +854,11 @@ class DotSyntaxError extends Error {
 }
 const EOF_TOKEN_TEXT = "";
 function isIdentifierStart(c) {
-  return c >= 65 && c <= 90 || c >= 97 && c <= 122 || c === 95 || c >= 128;
+  return c >= 65 && c <= 90 || c >= 97 && c <= 122 || c === 95 || c >= 128 && c !== BOM_CODE;
 }
+const BOM_CODE = 65279;
 function isIdentifierPart(c) {
-  return isIdentifierStart(c) || isDigit(c);
+  return isIdentifierStart(c) || isDigit(c) || c === BOM_CODE;
 }
 function isDigit(c) {
   return c >= 48 && c <= 57;
@@ -957,7 +981,8 @@ class DotTokenizer {
     }
     this.pos = end;
     const numeral = text.slice(start, end);
-    if (end < text.length && isIdentifierStart(text.charCodeAt(end)) && this.onAmbiguity !== null) {
+    const after = text.charCodeAt(end);
+    if (end < text.length && (isIdentifierStart(after) || after === 46) && this.onAmbiguity !== null) {
       this.onAmbiguity(numeral, line);
     }
     return { kind: "id", text: numeral, quoted: false, html: false, line };
@@ -1068,6 +1093,10 @@ class DotTokenizer {
         this.pos++;
         continue;
       }
+      if (c === BOM_CODE) {
+        this.pos++;
+        continue;
+      }
       if (c === 47) {
         const d = text.charCodeAt(this.pos + 1);
         if (d === 47) {
@@ -1128,24 +1157,41 @@ class DotTokenizer {
   }
 }
 const DOT_ISSUE = Object.freeze({
-  /** A grammar violation; fatal. */
+  ...INPUT_ISSUE,
+  ...ELEMENT_ISSUE,
+  /** The text breaks DOT's syntax; the message says where. The import stops. */
   SYNTAX: SYNTAX_CODE,
-  /** The input holds no graph at all (empty or only comments); fatal. */
+  /** The input holds no graph: it is empty or only comments. The import stops. */
   EMPTY_INPUT: EMPTY_INPUT_CODE,
-  /** The input holds invalid UTF-8 (fatal). */
+  /** The input is not valid UTF-8. The import stops. */
   INVALID_UTF8: INVALID_UTF8_CODE,
-  /** Invalid bytes in the encoding a BOM, a declaration or the encoding option chose (fatal). */
+  /**
+   * Some bytes are not valid in the encoding that was chosen (by a byte order mark, the file's declaration or the
+   * `encoding` option). The import stops.
+   */
   INVALID_ENCODING: INVALID_ENCODING_CODE,
   /** Bytes that are not UTF-8 and declare no encoding were read as windows-1252. */
   ENCODING_FALLBACK: ENCODING_FALLBACK_CODE,
   /** A declared encoding the platform cannot decode was ignored. */
   UNKNOWN_ENCODING: UNKNOWN_ENCODING_CODE,
-  /** Subgraphs or braces nested deeper than the parser's limit; fatal. */
+  /** A declared encoding the byte order mark contradicts (the mark wins). */
+  ENCODING_CONFLICT: ENCODING_CONFLICT_CODE,
+  /** Subgraphs or braces are nested deeper than graph-io reads. The import stops. */
   NESTING: "E_DOT_NESTING",
-  /** An edge operator contradicting the graph keyword (warning under "operator" / "header"). */
+  /**
+   * An edge operator contradicting the graph keyword, read under mismatchedEdgeOperator "operator" or "header".
+   * Under "error" the import stops with E_SYNTAX instead.
+   */
   EDGE_OPERATOR: "W_DOT_EDGE_OPERATOR",
-  /** A second graph in the same input; only the first is read. */
+  /**
+   * The file holds several graphs and only the first was read. It is not added when `graphIndex` or `graphName` chose the graph.
+   * `importAllGraphs()` reads every one.
+   */
   MULTIPLE_GRAPHS: MULTIPLE_GRAPHS_CODE,
+  /** `graphIndex` or `graphName` names no graph of the file; the message lists the graphs it holds. The import stops. */
+  GRAPH_NOT_FOUND: GRAPH_NOT_FOUND_CODE,
+  /** `graphName` matches more than one graph; pass `graphIndex`. The import stops. */
+  AMBIGUOUS_GRAPH_NAME: AMBIGUOUS_GRAPH_NAME_CODE,
   /** A badly delimited numeral (`1e3`) split into two tokens, as Graphviz does with a warning. */
   NUMERAL_AMBIGUITY: "W_DOT_NUMERAL_AMBIGUITY",
   /** Attributes of a subgraph that is not a cluster (rank=same and the like) cannot be represented. */
@@ -1156,29 +1202,58 @@ const DOT_ISSUE = Object.freeze({
   CLUSTER_NODE_MERGED: "W_DOT_CLUSTER_NODE_MERGED",
   /** A node mentioned in two unrelated clusters keeps the first. */
   CLUSTER_CONFLICT: "W_DOT_CLUSTER_CONFLICT",
-  /** A node `pos` that is not a point; the value was dropped. */
+  /** A node's `pos` is not a point, or is too large for a 32-bit float position; the value was dropped. */
   BAD_POS: "W_DOT_BAD_POS",
+  /** Node `pos` values mix two and three coordinates; the position column records the first's. */
+  POS_DIMS: "W_DOT_POS_DIMS",
+  /** An integer beyond 2^53 was stored as the nearest 64-bit float; pass `long: "string"` to keep every digit. */
+  PRECISION: PRECISION_CODE,
+  /** The same attribute twice in one statement's attribute lists; the last value stands, as in Graphviz. */
+  DUPLICATE_ATTRIBUTE: DUPLICATE_ATTRIBUTE_CODE,
+  /** The second part of a port (`a:p:zz`) is not a compass point; kept as written, as Graphviz warns. */
+  COMPASS_POINT: "W_DOT_COMPASS_POINT",
+  /** A `charset` attribute beyond the head the decoder reads it from; the input was decoded without it. */
+  LATE_CHARSET: "W_DOT_LATE_CHARSET",
   /** A parallel edge merged into an earlier one under `strict`. */
   STRICT_MERGED: "W_DOT_STRICT_MERGED",
   /** An edge merged into an earlier one with the same endpoints and `key`. */
   KEY_MERGED: "W_DOT_KEY_MERGED",
-  /** A role (label, id, position, ...) was already taken in the caller's sink; the column was declared without it. */
+  /**
+   * You read into a graph builder that already has an id, label or position attribute, so this file's one is kept as
+   * a plain attribute.
+   */
   ROLE_TAKEN: ROLE_TAKEN_CODE,
-  /** A column of another shape exists in the caller's sink under a name the importer declares; renamed `<name>#<id>`. */
+  /**
+   * An attribute was renamed `<name>#<suffix>` because another attribute already has its name, for example
+   * two attributes declared with the same name.
+   */
   COLUMN_RENAMED: COLUMN_RENAMED_CODE,
-  /** A common option the format has no use for was given a non-default value. */
+  /** You set an option this format does not use; it had no effect. The message names the option. */
   OPTION_IGNORED: OPTION_IGNORED_CODE,
-  /** Two distinct id texts merged under ids: "number". */
+  /** Two different id texts became the same number because `ids` is "number", so their nodes were merged. */
   ID_MERGED: ID_MERGED_CODE,
-  /** A builder-policy option the sink does not honour. */
+  /**
+   * You read into your own graph builder, which was created with a different `addMissingNodes`, `duplicateEdges`,
+   * `selfLoops` or `weightDtype` than the option you passed; the builder's setting applies.
+   */
   SINK_OPTION: SINK_OPTION_CODE,
-  /** The sink refused the file's direction. */
+  /**
+   * You read into a graph builder whose direction is already set, or which already holds edges, so the file is read
+   * with the builder's direction instead of its own.
+   */
   DIRECTION_REFUSED: DIRECTION_REFUSED_CODE,
-  /** Edges forced to the policy's direction. */
+  /** Edges of the other direction were read with the direction `onMixedDirection` chose. */
   DIRECTION_FORCED: DIRECTION_FORCED_CODE,
-  /** A mixed file under onMixedDirection "error" (fatal). */
+  /**
+   * The graph has both directed and undirected edges and `onMixedDirection` is "error". An import stops; a save to a
+   * format that holds one direction per file fails with E_DIRECTED. Pass "directed" or "undirected" to read or write
+   * it anyway.
+   */
   MIXED_DIRECTION: MIXED_DIRECTION_CODE,
-  /** A text column the sink could not widen to the dtype its cells imply. */
+  /**
+   * Your graph builder cannot change an attribute's type after its first value, so a text column keeps the type of
+   * its first values.
+   */
   WIDENING_UNSUPPORTED: WIDENING_UNSUPPORTED_CODE
 });
 const USED_OPTIONS = /* @__PURE__ */ new Set([
@@ -1202,9 +1277,14 @@ const STATEMENTS_PER_ABORT_CHECK = 64;
 const MAX_ANCESTOR_WALK = 4096;
 const DOT_HEADER = /^\s*(strict\s+)?(di)?graph(?=[\s{"/]|$)(?!\s*\[)/i;
 const TRUE_TEXTS = /* @__PURE__ */ new Set(["true", "yes", "1"]);
-const POINT_TEXT = /^\s*([-+]?[0-9]*\.?[0-9]+(?:[eE][-+]?[0-9]+)?)\s*,\s*([-+]?[0-9]*\.?[0-9]+(?:[eE][-+]?[0-9]+)?)(?:\s*,\s*([-+]?[0-9]*\.?[0-9]+(?:[eE][-+]?[0-9]+)?))?\s*(!?)\s*$/;
+const COMPASS_POINTS = /* @__PURE__ */ new Set(["n", "ne", "e", "se", "s", "sw", "w", "nw", "c", "_"]);
+const POINT_NUMBER = String.raw`[-+]?(?:\d+(?:\.\d+)?|\.\d+)(?:[eE][-+]?\d+)?`;
+const POINT_TEXT = new RegExp(
+  String.raw`^\s*(${POINT_NUMBER})\s*,\s*(${POINT_NUMBER})(?:\s*,\s*(${POINT_NUMBER}))?\s*(?:(!)\s*)?$`
+);
 const dotImporter = Object.freeze({
   format: DOT_FORMAT,
+  options: Object.freeze(["mismatchedEdgeOperator", "positions"]),
   extensions: EXTENSIONS,
   mimeTypes: MIME_TYPES,
   /**
@@ -1229,6 +1309,9 @@ const dotImporter = Object.freeze({
    * @returns the import report; ImportError (E_IMPORT) on a syntax error or beyond the error limit
    */
   async import(input, sink, options) {
+    if (graphChosen(options)) {
+      return importChosenGraph(dotImporter, input, sink, options);
+    }
     const resolved = resolveImportOptions(options, {
       ids: "canonical",
       defaultDirected: true,
@@ -1238,21 +1321,24 @@ const dotImporter = Object.freeze({
     const report = new ImportReportBuilder(DOT_FORMAT, resolved.errorLimit);
     reportUnusedOptions(options, report, USED_OPTIONS);
     reportSinkOptions(sink, options, report);
-    const text = await readText(input, report, { ...resolved, declaredEncoding: dotCharset });
+    const head = {};
+    const text = await readText(input, report, {
+      ...resolved,
+      declaredEncoding: (h) => head.charset = dotCharset(h),
+      declarationBytes: CHARSET_HEAD_BYTES
+    });
     const reports = { current: report };
     const lexer = dotLexer(text, reports);
     const first = guard(report, () => lexer.next());
-    const trailing = parseGraph(
-      new DotParser(lexer, sink, report, resolved, mismatch, options?.positions !== false),
-      report,
-      first
-    );
+    const parser = new DotParser(lexer, sink, report, resolved, mismatch, options?.positions !== false);
+    parser.headCharset = head.charset;
+    const trailing = parseGraph(parser, report, first);
     if (trailing.kind !== "eof") {
       const skipped = guard(report, () => countGraphs(lexer, trailing));
       report.warning(
         "unsupported",
         MULTIPLE_GRAPHS_CODE,
-        `the input holds ${skipped} more graph(s) after the first; import() reads the first, importAll() reads every one`,
+        `the input holds ${skipped} more graph${plural(skipped)} after the first; the first is read (graphIndex or graphName chooses another; importAllGraphs() reads every one)`,
         { line: trailing.line }
       );
     }
@@ -1275,7 +1361,12 @@ const dotImporter = Object.freeze({
     const mismatch = mismatchOption(options?.mismatchedEdgeOperator);
     const first = new ImportReportBuilder(DOT_FORMAT, resolved.errorLimit);
     reportUnusedOptions(options, first, USED_OPTIONS);
-    const text = await readText(input, first, { ...resolved, declaredEncoding: dotCharset });
+    const head = {};
+    const text = await readText(input, first, {
+      ...resolved,
+      declaredEncoding: (h) => head.charset = dotCharset(h),
+      declarationBytes: CHARSET_HEAD_BYTES
+    });
     const reports = { current: first };
     const lexer = dotLexer(text, reports);
     const done = [];
@@ -1285,11 +1376,9 @@ const dotImporter = Object.freeze({
       reports.current = report;
       const sink = sinkFor(done.length);
       reportSinkOptions(sink, options, report);
-      token = parseGraph(
-        new DotParser(lexer, sink, report, resolved, mismatch, options?.positions !== false),
-        report,
-        token
-      );
+      const parser = new DotParser(lexer, sink, report, resolved, mismatch, options?.positions !== false);
+      parser.headCharset = head.charset;
+      token = parseGraph(parser, report, token);
       throwIfAborted(resolved.signal);
       done.push(report.finish());
     } while (token.kind !== "eof");
@@ -1326,6 +1415,9 @@ function countGraphs(lexer, first) {
     if (isKeyword(token, "strict")) {
       token = lexer.next();
     }
+    if (isPunct(token, "}")) {
+      throw new DotSyntaxError('unexpected "}" after the end of the graph: no "{" is open', token.line);
+    }
     if (!isKeyword(token, "graph") && !isKeyword(token, "digraph")) {
       throw new DotSyntaxError(`expected "graph" or "digraph", found ${describeToken(token)}`, token.line);
     }
@@ -1352,10 +1444,35 @@ function countGraphs(lexer, first) {
   }
   return count;
 }
-const DOT_CHARSET = /\bcharset\s*=\s*"?([A-Za-z][A-Za-z0-9._-]*)/i;
+const CHARSET_HEAD_BYTES = 64 * 1024;
 function dotCharset(head) {
-  const match = DOT_CHARSET.exec(head);
-  return match === null ? null : match[1].replace(/^(latin|big)-/i, "$1");
+  const lexer = new DotTokenizer(head);
+  let list = null;
+  let previous = null;
+  try {
+    let token = lexer.next();
+    while (token.kind !== "eof") {
+      if (isPunct(token, "[")) {
+        list = previous !== null && isKeyword(previous, "graph") ? "graph" : "other";
+      } else if (isPunct(token, "]")) {
+        list = null;
+      } else if (list !== "other" && isKeyword(token, "charset")) {
+        const equals = lexer.next();
+        const value = isPunct(equals, "=") ? lexer.next() : equals;
+        if (value !== equals && value.kind === "id") {
+          return value.text.replace(/^(latin|big)-/i, "$1");
+        }
+        token = value;
+      }
+      previous = token;
+      token = lexer.next();
+    }
+  } catch (err) {
+    if (!(err instanceof DotSyntaxError)) {
+      throw err;
+    }
+  }
+  return null;
 }
 function mismatchOption(value) {
   if (value === void 0) {
@@ -1440,6 +1557,8 @@ class DotParser {
     this.sourcePortHandle = INVALID_INDEX;
     this.targetPortHandle = INVALID_INDEX;
     this.depth = 0;
+    this.posDims = 0;
+    this.headCharset = void 0;
     this.nodeWriters = /* @__PURE__ */ new Map();
     this.edgeWriters = /* @__PURE__ */ new Map();
     this.lexer = lexer;
@@ -1632,7 +1751,16 @@ class DotParser {
     let { text } = this.identifier();
     if (isPunct(lexer.peek(), ":")) {
       lexer.next();
-      text += `:${this.identifier().text}`;
+      const compass = this.identifier();
+      text += `:${compass.text}`;
+      if (!COMPASS_POINTS.has(compass.text)) {
+        this.report.warning(
+          "validation-error",
+          DOT_ISSUE.COMPASS_POINT,
+          `port ${JSON.stringify(text)}: ${JSON.stringify(compass.text)} is not a compass point (n, ne, e, se, s, sw, w, nw, c, _); the port is kept as written`,
+          { line: compass.line, element: text }
+        );
+      }
     }
     return text;
   }
@@ -1872,6 +2000,7 @@ class DotParser {
   attributeList() {
     const { lexer } = this;
     const out = [];
+    const names = /* @__PURE__ */ new Set();
     while (isPunct(lexer.peek(), "[")) {
       lexer.next();
       for (; ; ) {
@@ -1893,6 +2022,15 @@ class DotParser {
           );
         }
         const value = this.identifier();
+        if (names.has(name.text)) {
+          this.report.warning(
+            "merged",
+            DOT_ISSUE.DUPLICATE_ATTRIBUTE,
+            `attribute ${JSON.stringify(name.text)} is set twice in one statement; the last value ${JSON.stringify(value.text)} stands`,
+            { line: name.line, element: name.text }
+          );
+        }
+        names.add(name.text);
         out.push({ name: name.text, value: value.text, line: name.line });
       }
     }
@@ -1991,7 +2129,7 @@ class DotParser {
         this.report.warnOnce(
           "coercion",
           DOT_ISSUE.EDGE_OPERATOR,
-          `${message}; read with the operator's direction and resolved per onMixedDirection`,
+          `${message}; read with the operator's direction, and onMixedDirection decides how the mixed graph is stored`,
           { line: op.line }
         );
         return operatorDirected ? "directed" : "undirected";
@@ -2084,7 +2222,7 @@ class DotParser {
     const weightText = weightFrom === null ? void 0 : effective.get(weightFrom);
     if (weightText !== void 0) {
       try {
-        weight = parseWeightText(weightText);
+        weight = parseWeightText(weightText, this.report);
       } catch (err) {
         this.report.recordError(err, where);
         this.report.counts.skippedEdges++;
@@ -2232,6 +2370,17 @@ class DotParser {
    * @param attribute - the attribute
    */
   setGraphAttribute(attribute) {
+    if (attribute.name.toLowerCase() === "charset" && this.headCharset === null) {
+      const canonical = canonicalEncoding(attribute.value);
+      if (canonical !== "utf-8") {
+        this.report.warning(
+          "unsupported",
+          DOT_ISSUE.LATE_CHARSET,
+          `charset ${JSON.stringify(attribute.value)} is declared beyond the first 1024 bytes, after the input was decoded without it; pass the encoding option to decode it as declared`,
+          { line: attribute.line, element: attribute.name }
+        );
+      }
+    }
     try {
       if (attribute.name === LABEL_ATTRIBUTE) {
         this.sink.setGraphValue(attribute.name, attribute.value, { dtype: "string", origin: DOT_ORIGIN });
@@ -2267,7 +2416,36 @@ class DotParser {
     const y = Number(match[2]);
     const z = match[3] === void 0 ? 0 : Number(match[3]);
     const dims = match[3] === void 0 ? 2 : 3;
-    this.sink.setNodeValue(this.positionColumn(dims), index, [x, y, z]);
+    const point = [x, y, z];
+    if (point.some((v) => !Number.isFinite(Math.fround(v)))) {
+      this.report.warning(
+        "validation-error",
+        DOT_ISSUE.BAD_POS,
+        `pos ${JSON.stringify(text)} is beyond the f32 range of the position column; dropped`,
+        { line, element }
+      );
+      return;
+    }
+    if (!point.every(survivesF32)) {
+      this.report.warnOnce(
+        "precision",
+        DOT_ISSUE.PRECISION,
+        `pos ${JSON.stringify(text)} has a coordinate the f32 position column rounds (warned once; positions=false keeps pos as written)`,
+        { line, element },
+        `${DOT_ISSUE.PRECISION}:pos`
+      );
+    }
+    if (this.posDims === 0) {
+      this.posDims = dims;
+    } else if (dims !== this.posDims) {
+      this.report.warnOnce(
+        "validation-error",
+        DOT_ISSUE.POS_DIMS,
+        `pos values mix ${this.posDims} and ${dims} coordinates; the position column records sourceDims ${this.posDims}`,
+        { line, element }
+      );
+    }
+    this.sink.setNodeValue(this.positionColumn(dims), index, point);
     if (match[4] === "!") {
       this.sink.setNodeValue(PIN_ATTRIBUTE, index, true);
     }
@@ -2464,4 +2642,4 @@ export {
   dotImporter as b,
   dotExporter as d
 };
-//# sourceMappingURL=importer-BWY2FFc5.js.map
+//# sourceMappingURL=importer-B1wmPQjr.js.map