@knowvah/dot-engine 2.3.0 → 2.4.0

package/dist/xdot/parse.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/xdot/parse.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,IAAI,EAAU,QAAQ,EAAE,YAAY,EACf,SAAS,EACC,WAAW,EAC3C,MAAM,YAAY,CAAC;AAGpB,KAAK,EAAE,CAAC,CAAC,IAAI;IAAE,GAAG,EAAE,CAAC,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AAoU5C,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAyC;AACxG,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAA6C;AACpH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAA2C;AAC1G,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,CAAgD;AACvH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAE5G;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAE1F;AACD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAoC;AACrF,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAyC"}
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../../src/xdot/parse.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,IAAI,EAAU,QAAQ,EAAE,YAAY,EACf,SAAS,EACC,WAAW,EAC3C,MAAM,YAAY,CAAC;AAMpB,KAAK,EAAE,CAAC,CAAC,IAAI;IAAE,GAAG,EAAE,CAAC,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAAC;AA+U5C,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAyC;AACxG,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,CAA6C;AACpH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,CAA2C;AAC1G,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,CAAgD;AACvH,wBAAgB,YAAY,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,CAE5G;AACD,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAE1F;AACD,wBAAgB,SAAS,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAAoC;AACrF,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAAyC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@knowvah/dot-engine",
-  "version": "2.3.0",
+  "version": "2.4.0",
   "description": "Faithful TypeScript port of Graphviz (dot, neato, fdp, sfdp, circo, twopi, osage, patchwork) — no C: no native binary, no WASM. Oracle-verified against the C implementation, runs in the browser.",
   "keywords": [
     "graphviz",

package/src/common/arith.ts

@@ -38,6 +38,31 @@ export function cround(v: number): number {
   return v >= 0 ? Math.floor(v + 0.5) : Math.ceil(v - 0.5);
 }
 
+const INT64_MAX = 2n ** 63n - 1n;
+const INT64_MIN = -(2n ** 63n);
+const TWO_POW_63 = 2 ** 63;
+
+/**
+ * `ROUND(f)` as the native arm64 build computes it where clang vectorises the
+ * conversion: `fcvtzs.2d` (double → int64, saturating, NaN → 0) followed by
+ * `xtn.2s` / `uzp1.4s`, which keep the LOW 32 bits. The `(int)` cast of an
+ * out-of-range double is undefined in C; this is the oracle binary's
+ * behaviour (objdump of libgvc `_gvRenderJobs`, the inlined
+ * init_job_pagination: job->width/height and pageBoundingBox). Identical to
+ * {@link cround} whenever the result fits in an int; only these vectorised
+ * sites use it — scalar ROUND sites compile to `fcvtzs w` (saturate at int32).
+ * @see lib/common/emit.c:init_job_pagination (job->width, pageBoundingBox)
+ */
+export function croundNarrow32(v: number): number {
+  const r = cround(v);
+  let i64: bigint;
+  if (Number.isNaN(r)) i64 = 0n;
+  else if (r >= TWO_POW_63) i64 = INT64_MAX;
+  else if (r < -TWO_POW_63) i64 = INT64_MIN;
+  else i64 = BigInt(r);
+  return Number(BigInt.asIntN(32, i64));
+}
+
 /**
  * Degrees to radians in C's operation order, `(deg)/180.0 * M_PI`.
  * `deg * Math.PI / 180` rounds differently for some angles (e.g. 33°).

package/src/common/edge-in-box.ts

@@ -0,0 +1,54 @@
+// SPDX-License-Identifier: EPL-2.0
+
+/**
+ * emit_edge's edge_in_box gate, shared by the device walk (edge comments) and
+ * the SVG / xdot renderers (edge group and draw ops). Moved out of
+ * render/svg.ts unchanged.
+ *
+ * @see lib/common/emit.c:edge_in_box, lib/common/utils.c:overlap_label
+ */
+
+import type { Box } from '../model/geom.js';
+import { boxOverlap } from '../model/geom.js';
+import type { Edge } from '../model/edge.js';
+import type { TextlabelT } from './types.js';
+
+/** overlap_label: does the label's box (pos ± dimen/2) overlap clip box b?
+ * @see lib/common/utils.c:overlap_label */
+function overlapLabel(lp: TextlabelT, b: Box): boolean {
+  const sx = lp.dimen.x / 2;
+  const sy = lp.dimen.y / 2;
+  const bb: Box = {
+    ll: { x: lp.pos.x - sx, y: lp.pos.y - sy },
+    ur: { x: lp.pos.x + sx, y: lp.pos.y + sy },
+  };
+  return boxOverlap(b, bb);
+}
+
+/**
+ * Faithful-to-outcome `edge_in_box`: true when the edge has something to draw.
+ * C's gvrender defers the `<g>` until a draw op, so an edge whose content falls
+ * entirely outside the clip emits no group (emit.c:edge_in_box tests each piece
+ * vs job->clip via boxf_overlap/overlap_label).
+ *
+ * The only piece that can legitimately fall OUTSIDE the clip on this corpus is a
+ * degenerate labeled-flat label: it is spline-less, so map_edge leaves it at its
+ * internal (un-normalized) x-frame position while the clip is the final frame.
+ * The `overlapLabel` test on the main label reproduces C's draw-iff-overlap for
+ * exactly that case — on-canvas (2368) → drawn; off-canvas (2368_1, negative
+ * un-normalized x) → suppressed. A present spline always lies within the clip
+ * (GD_bb contains it), and head/tail/xlabels are positioned at on-canvas
+ * endpoints, so those keep their existing unconditional triggers — adding an
+ * overlap test there only risks suppressing legitimately-drawn content (it
+ * regressed neato/circo edges whose spl.bb is computed differently). The `set`
+ * guard on the main label is kept: the port retains an unplaced (`pos=0,0`,
+ * `set=false`) label on merged back-edges where C has none.
+ * @see lib/common/emit.c:edge_in_box, lib/common/utils.c:overlap_label
+ */
+export function edgeHasDrawableContent(e: Edge, clip: Box): boolean {
+  const i = e.info;
+  return i.spl !== undefined
+    || (i.label !== undefined && i.label.set && overlapLabel(i.label, clip))
+    || i.xlabel !== undefined
+    || i.head_label !== undefined || i.tail_label !== undefined;
+}

package/src/common/graph-init.ts

@@ -264,9 +264,9 @@ export function graphInit(g: Graph, useRankdir: boolean): void {
   // allocated unconditionally; see parseRatioDrawing's note (it would change
   // dot output by activating the unported ratio modes).
 
-  // SKIPPED — `postaction` reparse (input.c:611-617): needs agmemconcat plus
-  // parser re-entry to splice a second graph into g. Neither exists in the
-  // port, and no corpus input sets `postaction`.
+  // `postaction` reparse: removed upstream in 16.1.0 (41e482146 reverted the
+  // feature and dropped agmemconcat), so graph_init no longer reads it. The
+  // port never implemented it; nothing to mirror.
 
   // SKIPPED — fontpath / DOTFONTPATH setenv (input.c:619-629): browser-
   // impossible (no environment, no GDFONTPATH).

package/src/common/htmltable-emit.ts

@@ -330,7 +330,7 @@ function emitTableRules(
  * Emit a fully positioned HTML table label.
  *
  * Draw order mirrors C emit_html_tbl:
- *   1. Open anchor   2. Table BGCOLOR   3. Cells   4. Rules   5. Border   6. Close anchor
+ *   1. Open anchor   2. Table BGCOLOR   3. Rules   4. Border   5. Cells   6. Close anchor
  *
  * @see lib/common/htmltable.c:emit_html_tbl
  */
@@ -360,11 +360,13 @@ export function emitHtmlLabel(
       emitBgFill({ bgcolor: placed.bgcolor, box: placed.box, pos, border: placed.border,
         renderer, job, gradientangle: placed.gradientangle, style: placed.style });
     }
-    for (const cell of placed.cells) emitHtmlCell(cell, pos, renderer, job);
+    // Graphviz 16.1 (f0d07786b): rules and border precede the cells so cell
+    // text is painted above table-level shapes.
     emitTableRules(placed, pos, renderer, job);
     if (placed.border > 0) {
       emitBorder({ box: placed.box, pos, border: placed.border, color: placed.color, sides: placed.sides, style: placed.style }, renderer, job);
     }
+    for (const cell of placed.cells) emitHtmlCell(cell, pos, renderer, job);
   }
   if (inAnchor) endHtmlAnchor(renderer, job);
   if (clustersLast && initHtmlAnchor(anchorData, tblBox, renderer, job)) {

package/src/common/make-label.ts

@@ -19,7 +19,9 @@ import type { Graph } from '../model/graph.js';
 import { htmlEntityUTF8 } from './html-entities.js';
 
 export const DEFAULT_FONTSIZE = 14.0;
-export const DEFAULT_FONTNAME = 'Times,serif';
+/** C's default fontname (non-Windows); renderers alias it, e.g. SVG
+ * font-family="Times,serif". @see lib/common/const.h:67 */
+export const DEFAULT_FONTNAME = 'Times-Roman';
 export const DEFAULT_COLOR = 'black';
 
 // htmlEntityUTF8 moved to html-entities.ts (a leaf module) so the HTML lexer

package/src/common/poly-gencode.ts

@@ -53,7 +53,18 @@ function isMulticolor(fillcolor: string): boolean {
 // Periphery ring renderers
 // ---------------------------------------------------------------------------
 
-/** Render one ellipse periphery ring for a node. */
+/**
+ * Render one ellipse periphery ring for a node. poly_gencode hands
+ * gvrender_ellipse the two ABSOLUTE corners AF = vertex + ND_coord; it passes
+ * the renderer the centre mid_pointf(AF[0], AF[1]) and the corner AF[1], and
+ * the renderer prints rx/ry as corner - centre. Computing the radii in that
+ * order (not from the relative vertices) keeps C's rounding: at |coord| where
+ * the double spacing exceeds the radius, coord ± r rounds back to coord and the
+ * radius collapses to 0 (corpus 2784, y = 1.08e18).
+ * @see lib/common/shapes.c:poly_gencode (AF[i] = P + ND_coord, gvrender_ellipse)
+ * @see lib/gvc/gvrender.c:gvrender_ellipse (af[0] = mid_pointf, af[1] = pf[1])
+ * @see plugin/core/gvrender_core_svg.c:svg_ellipse (rx = A[1].x - A[0].x)
+ */
 export function renderEllipse(
   ring: Point[],
   coord: Point,
@@ -61,9 +72,12 @@ export function renderEllipse(
   job: RenderJob,
   filled: boolean,
 ): void {
-  const rx = Math.abs((ring[1]!.x - ring[0]!.x) / 2);
-  const ry = Math.abs((ring[1]!.y - ring[0]!.y) / 2);
-  const center = transformPoint(coord, job);
+  const af0 = { x: ring[0]!.x + coord.x, y: ring[0]!.y + coord.y };
+  const af1 = { x: ring[1]!.x + coord.x, y: ring[1]!.y + coord.y };
+  const mid = { x: (af0.x + af1.x) / 2.0, y: (af0.y + af1.y) / 2.0 };
+  const rx = af1.x - mid.x;
+  const ry = af1.y - mid.y;
+  const center = transformPoint(mid, job);
   renderer.ellipse(center, rx, ry, filled, job);
 }
 

package/src/gvc/device.ts

@@ -12,10 +12,9 @@
  * @see lib/gvc/gvdevice.c
  */
 
-import type { Box } from '../model/geom.js';
-import { boxOverlap, POINTS_PER_INCH } from '../model/geom.js';
+import { POINTS_PER_INCH } from '../model/geom.js';
 import { lateDouble } from '../common/nodeinit.js';
-import { parseDrawingSize, initJobViewportZoom, parseLandscape, parseGraphPad, parseGraphMargin } from './viewport.js';
+import { parseDrawingSize, initJobViewportZoom, parseLandscape, parseGraphPad, parseGraphMargin, setupPageClip } from './viewport.js';
 import type { Graph } from '../model/graph.js';
 import type { Node } from '../model/node.js';
 import type { Edge } from '../model/edge.js';
@@ -51,6 +50,7 @@ import { renderOneLabel, renderNodeXLabel, renderClusterLabel } from './device-l
 export { transformPoint, applyRotation, applyScale, buildPoint } from './device-transform.js';
 export { renderOneLabel, renderNodeXLabel, renderClusterLabel } from './device-labels.js';
 import { svgNodeId, svgEdgeId, svgClusterId, svgGraphId } from '../render/svg-id.js';
+import { nodeInBox, emitNodeComments, emitEdgeComments } from './emit-gates.js';
 
 // ---------------------------------------------------------------------------
 // AD-1 (image-api): `inlineImages` on RenderJob via module augmentation
@@ -78,43 +78,6 @@ function labelTextOf(lp: unknown): string | null {
   return (lp as TextlabelT | undefined)?.text ?? null;
 }
 
-/**
- * A node's own layout bounding box: coord ± (lw/rw, ht/2).
- * @see lib/common/types.h:ND_bb
- * @see lib/common/emit.c:4140-4143 init_bb_node
- */
-function nodeBBox(n: Node): Box {
-  const { coord, lw, rw, ht } = n.info;
-  return {
-    ll: { x: coord.x - lw, y: coord.y - ht / 2 },
-    ur: { x: coord.x + rw, y: coord.y + ht / 2 },
-  };
-}
-
-/**
- * node_in_box: is the node's own bbox within job's page/view clip?
- *
- * C's `job->clip` is derived from `job->bb` (= `GD_bb(g)`) expanded by
- * `job->pad` on every side (init_job_viewport's `job->bb = gvc->bb ±
- * job->pad`, feeding `job->view`/`job->focus`, which setup_page's `job->clip`
- * algebraically reduces back to for the single-page, unpaginated case this
- * port implements — Z and rotation cancel out of that derivation). This port
- * has no separate `page=` pagination model, so `job.bb` padded by `job.pad`
- * IS `job->clip` here.
- *
- * @see lib/common/emit.c:1636-1639 node_in_box
- * @see lib/common/emit.c:1808 emit_node gate
- * @see lib/common/emit.c:3356 init_job_viewport (job->bb = gvc->bb ± pad)
- * @see lib/common/emit.c:1553-1564 setup_page (job->clip from focus/view)
- */
-function nodeInBox(n: Node, job: RenderJob): boolean {
-  const clip: Box = {
-    ll: { x: job.bb.ll.x - job.pad.x, y: job.bb.ll.y - job.pad.y },
-    ur: { x: job.bb.ur.x + job.pad.x, y: job.bb.ur.y + job.pad.y },
-  };
-  return boxOverlap(nodeBBox(n), clip);
-}
-
 /**
  * Inner body of renderNode — runs inside the push/pop try block.
  * Extracted to keep renderNode under the 30-line hook limit.
@@ -150,6 +113,7 @@ export function renderNode(n: Node, renderer: RendererPlugin, job: RenderJob, do
   done.add(n);
   // "and is in page/view" gate. @see lib/common/emit.c:1808 node_in_box
   if (!nodeInBox(n, job)) return;
+  emitNodeComments(n, renderer, job); // before the invis shortcircuit, as C
   // Shortcircuit invisible nodes: C omits the whole node before emit_begin_node.
   // C reads late_string(n, N_style, ""), i.e. agxget — which resolves the
   // node's DECLARATION-SCOPE default, so `{ node [style=invis] p q }` hides p
@@ -201,6 +165,7 @@ function setEdgePen(e: Edge, job: RenderJob): void {
 }
 
 export function renderEdge(e: Edge, renderer: RendererPlugin, job: RenderJob): void {
+  emitEdgeComments(e, renderer, job); // before the invis shortcircuit, as C
   // Shortcircuit invisible edges: C omits the whole edge (no group/title/path)
   // before emit_begin_edge. @see lib/common/emit.c:emit_edge (style "invis" return)
   // The "invisible" alias likewise suppresses all edge draw ops via PEN_NONE
@@ -467,7 +432,9 @@ export function render(ctx: GvcContext, g: Graph, format: string, inlineImages =
   // altering the ptf path, carry Z in job.scale instead — which is exactly what
   // C's SVG group emits (svg_begin_page prints job->scale.x/y = zoom*dpi/72),
   // not job->zoom. job.scale is read only by the SVG group/dims.
-  const z = initJobViewportZoom(job.bb, parseDrawingSize(g.attrs.get('size')), job.pad);
+  const drawingSize = parseDrawingSize(g.attrs.get('size'));
+  const z = initJobViewportZoom(job.bb, drawingSize, job.pad);
+  job.clip = setupPageClip(job.bb, drawingSize, job.pad, z); // @see emit.c:setup_page
   // init_job_dpi (emit.c:3333): GD_drawing->dpi = late_double(dpi, resolution, 0)
   // (input.c:713). When >0 it becomes job->dpi; otherwise the SVG device's
   // default_dpi = 72 (gvrender_core_svg.c:814) applies. init_job_viewport then

package/src/gvc/edge-labels.ts

@@ -77,19 +77,36 @@ function emitEdgeLabel(
   emitState?: EmitState,
 ): void {
   if (!lp?.set) return; // emit_edge_label: lbl == NULL || !lbl->set
-  const open = hs.url !== null || hs.explicit;
-  if (open) openAnchorWith(renderer, job, hs.url, hs.tooltip, hs.target, id);
-  // Head/tail labels route to EMIT_HLABEL/EMIT_TLABEL (→ _hldraw_/_tldraw_);
-  // the center label keeps its default EMIT_ELABEL. @see emit.c:emit_edge
-  const savedOverride = job.labelEmitOverride;
-  if (emitState !== undefined) job.labelEmitOverride = emitState;
-  try {
-    renderOneLabel(lp, renderer, job);
-  } finally {
-    job.labelEmitOverride = savedOverride;
-  }
-  if (spl) emitAttachment(lp, spl, renderer, job); // emit.c:2918
-  if (open) renderer.endAnchor?.(job);
+  withObjEmitState(job, emitState ?? EmitState.ELabel, () => {
+    const open = hs.url !== null || hs.explicit;
+    if (open) openAnchorWith(renderer, job, hs.url, hs.tooltip, hs.target, id);
+    // Head/tail labels route to EMIT_HLABEL/EMIT_TLABEL (→ _hldraw_/_tldraw_);
+    // the center label keeps its default EMIT_ELABEL. @see emit.c:emit_edge
+    const savedOverride = job.labelEmitOverride;
+    if (emitState !== undefined) job.labelEmitOverride = emitState;
+    try {
+      renderOneLabel(lp, renderer, job);
+    } finally {
+      job.labelEmitOverride = savedOverride;
+    }
+    if (spl) emitAttachment(lp, spl, renderer, job); // emit.c:2918
+    if (open) renderer.endAnchor?.(job);
+  });
+}
+
+/**
+ * emit_edge_label's emit-state window: C sets obj->emit_state = lkind before
+ * the anchor/label/attachment and restores the old state at the end, so the
+ * decorate attachment polyline lands in the label xbuf (_ldraw_), not _draw_.
+ * @see lib/common/emit.c:emit_edge_label (2909-2910, 2925)
+ */
+function withObjEmitState(job: RenderJob, lkind: EmitState, fn: () => void): void {
+  const obj = job.obj;
+  if (obj === null) { fn(); return; }
+  const oldEmitState = obj.emitState;
+  obj.emitState = lkind;
+  fn();
+  obj.emitState = oldEmitState;
 }
 
 /**

package/src/gvc/emit-gates.ts

@@ -0,0 +1,89 @@
+// SPDX-License-Identifier: EPL-2.0
+
+/**
+ * emit_node / emit_edge preambles: the node_in_box gate and the
+ * gvrender_comment calls C makes before an object's style=invis shortcircuit.
+ * Split from device.ts to keep that file under the size cap.
+ *
+ * @see lib/common/emit.c:emit_node, emit_edge
+ */
+
+import type { Box } from '../model/geom.js';
+import { boxOverlap } from '../model/geom.js';
+import type { Node } from '../model/node.js';
+import type { Edge } from '../model/edge.js';
+import type { RendererPlugin } from './context.js';
+import type { RenderJob } from './job.js';
+import { nodeAttr } from '../common/poly-init.js';
+import { edgeHasDrawableContent } from '../common/edge-in-box.js';
+
+/**
+ * A node's own layout bounding box: coord ± (lw/rw, ht/2).
+ * @see lib/common/types.h:ND_bb
+ * @see lib/common/emit.c:4140-4143 init_bb_node
+ */
+function nodeBBox(n: Node): Box {
+  const { coord, lw, rw, ht } = n.info;
+  return {
+    ll: { x: coord.x - lw, y: coord.y - ht / 2 },
+    ur: { x: coord.x + rw, y: coord.y + ht / 2 },
+  };
+}
+
+/**
+ * node_in_box: is the node's own bbox within job's page/view clip?
+ *
+ * C's `job->clip` is derived from `job->bb` (= `GD_bb(g)`) expanded by
+ * `job->pad` on every side (init_job_viewport's `job->bb = gvc->bb ±
+ * job->pad`, feeding `job->view`/`job->focus`, which setup_page's `job->clip`
+ * algebraically reduces back to for the single-page, unpaginated case this
+ * port implements — Z and rotation cancel out of that derivation). This port
+ * has no separate `page=` pagination model, so `job.bb` padded by `job.pad`
+ * IS `job->clip` here.
+ *
+ * @see lib/common/emit.c:1636-1639 node_in_box
+ * @see lib/common/emit.c:1808 emit_node gate
+ * @see lib/common/emit.c:3356 init_job_viewport (job->bb = gvc->bb ± pad)
+ * @see lib/common/emit.c:1553-1564 setup_page (job->clip from focus/view)
+ */
+export function nodeInBox(n: Node, job: RenderJob): boolean {
+  const clip: Box = {
+    ll: { x: job.bb.ll.x - job.pad.x, y: job.bb.ll.y - job.pad.y },
+    ur: { x: job.bb.ur.x + job.pad.x, y: job.bb.ur.y + job.pad.y },
+  };
+  return boxOverlap(nodeBBox(n), clip);
+}
+
+/**
+ * gvrender_comment: pass a non-empty string to the renderer's comment hook
+ * (SVG is the only ported renderer that has one).
+ * @see lib/gvc/gvrender.c:gvrender_comment
+ */
+function gvrenderComment(renderer: RendererPlugin, job: RenderJob, str: string | undefined): void {
+  if (str === undefined || str.length === 0) return;
+  renderer.comment?.(str, job);
+}
+
+/**
+ * The node's name and `comment` attribute, emitted after node_in_box and
+ * before the invis shortcircuit (an invisible node still gets its comments).
+ * @see lib/common/emit.c:emit_node (gvrender_comment x2)
+ */
+export function emitNodeComments(n: Node, renderer: RendererPlugin, job: RenderJob): void {
+  gvrenderComment(renderer, job, n.name);
+  gvrenderComment(renderer, job, nodeAttr(n, n.root, 'comment'));
+}
+
+/**
+ * When edge_in_box passes: the `tail->head` name (`--` when the head's graph
+ * is undirected) and the `comment` attribute, before the invis shortcircuit.
+ * The renderers re-test the same gate for the edge group.
+ * @see lib/common/emit.c:emit_edge (gvrender_comment x2)
+ */
+export function emitEdgeComments(e: Edge, renderer: RendererPlugin, job: RenderJob): void {
+  if (!edgeHasDrawableContent(e, job.bb)) return;
+  const kind = e.head.root.kind; // agisdirected(agraphof(aghead(e)))
+  const op = kind === 'directed' || kind === 'strict-directed' ? '->' : '--';
+  gvrenderComment(renderer, job, e.tail.name + op + e.head.name);
+  gvrenderComment(renderer, job, e.attrs.get('comment'));
+}

package/src/gvc/job.ts

@@ -275,6 +275,10 @@ export class RenderJob {
 
   bb: Box = { ll: { x: 0, y: 0 }, ur: { x: 0, y: 0 } };
   pad: Point = { x: 0, y: 0 };
+  /** Current page clip in graph units, as setup_page computes it from the
+   * viewport focus/view (see setupPageClip). Read by the SVG page translate and
+   * background. @see lib/gvc/gvcjob.h:GVJ_s.clip; lib/common/emit.c:setup_page */
+  clip: Box = { ll: { x: 0, y: 0 }, ur: { x: 0, y: 0 } };
   /** Graph-level `margin=` (init_job_margin); page-pagination margin, distinct
    * from node/cluster label margin. @see lib/common/emit.c:3309-3331 */
   margin: Point = { x: 0, y: 0 };

package/src/gvc/viewport.ts

@@ -201,3 +201,32 @@ export function initJobViewportZoom(bb: Box, size: DrawingSize | null, pad: Poin
   if (drawingNeedsFit(size, szx, szy)) return Math.min(size.x / szx, size.y / szy);
   return 1.0;
 }
+
+/**
+ * job->clip for the single-page devices this port drives, evaluated in C's
+ * order: init_job_viewport pads the bb (job->bb = bb ± pad, sz = job->bb.UR -
+ * job->bb.LL, size= substituting a degenerate sz axis), takes the focus as the
+ * centre of the UNPADDED bb and view = Z * sz; init_job_pagination sets
+ * pageSize = imageSize / zoom (imageSize = view, rotated to page orientation
+ * and back); setup_page sets clip.LL = focus + pageSize * (elem - size / 2.)
+ * with pagesArrayElem 0 / pagesArraySize 1 and clip.UR = clip.LL + pageSize.
+ * Algebraically bb ± pad, but not in floating point: where the pad is below the
+ * double spacing (corpus 2784, y = 2.16e18) clip.LL.y is 0, not -pad.
+ * @see lib/common/emit.c:init_job_viewport, init_job_pagination, setup_page
+ */
+export function setupPageClip(bb: Box, size: DrawingSize | null, pad: Point, z: number): Box {
+  const jbLL = { x: bb.ll.x - pad.x, y: bb.ll.y - pad.y };
+  const jbUR = { x: bb.ur.x + pad.x, y: bb.ur.y + pad.y };
+  const sz = { x: jbUR.x - jbLL.x, y: jbUR.y - jbLL.y };
+  if (size !== null && size.x > 0.001 && size.y > 0.001) {
+    if (sz.x <= 0.001) sz.x = size.x;
+    if (sz.y <= 0.001) sz.y = size.y;
+  }
+  const focus = { x: 0.5 * (bb.ll.x + bb.ur.x), y: 0.5 * (bb.ll.y + bb.ur.y) };
+  const pageSize = { x: (z * sz.x) / z, y: (z * sz.y) / z };
+  const ll = {
+    x: focus.x + pageSize.x * (0 - 1 / 2.0),
+    y: focus.y + pageSize.y * (0 - 1 / 2.0),
+  };
+  return { ll, ur: { x: ll.x + pageSize.x, y: ll.y + pageSize.y } };
+}

package/src/layout/circo/blockpath.ts

@@ -14,6 +14,12 @@ import type { Node } from '../../model/node.js';
 import type { Block, SubGraph, CircState, DerivedNode, DerivedEdge } from './blocks.js';
 import { FLAGS_ONPATH, FLAGS_ISPARENT } from './blocks.js';
 import { gvQsort } from '../../util/bsd-qsort.js';
+import { derivedOf, spanIncident, reduceEdgeCrossings } from './crossings.js';
+
+export {
+  derivedOf, closeOpenEdge, agfstedgeLists, countCrossings, insertNode, reducePass,
+  reduceEdgeCrossings, spanIncident,
+} from './crossings.js';
 
 export type SpanNode = {
   dn: DerivedNode; tparent: SpanNode | null; visited: boolean;
@@ -35,135 +41,10 @@ export function blockGraph(allEdges: DerivedEdge[], sn: Block): void {
   }
 }
 
-// ---------------------------------------------------------------------------
-// Crossing counting helpers (each branch extracted to keep CCN low)
-// ---------------------------------------------------------------------------
-
-export function derivedOf(n: Node): DerivedNode | null {
-  return (n.info.alg as { derivedNode?: DerivedNode } | undefined)?.derivedNode ?? null;
-}
-
-export function closeOpenEdge(e: DerivedEdge, d: DerivedNode, opened: DerivedEdge[]): number {
-  let cross = 0;
-  for (const o of opened) {
-    if (o.order > e.order && o.tail !== d && o.head !== d) cross++;
-  }
-  return cross;
-}
-
-export function openEdgesAt(d: DerivedNode, edges: DerivedEdge[], opened: DerivedEdge[], order: number): void {
-  for (const e of edges) {
-    if (e.order === 0 && (e.tail === d || e.head === d)) { e.order = order; opened.push(e); }
-  }
-}
-
-/**
- * C's count_all_crossings — INCLUDING its load-bearing bug: remove_edge keys
- * the open-edge dict by the half-edge POINTER handed to it, and the closing
- * node's agfstedge always yields the OPPOSITE half from the one stored when
- * the edge was opened, so dtdelete never matches and the list only grows
- * (circogen/edgelist.c:cmpItem on Agedge_t*). Each edge's close therefore
- * counts EVERY edge opened after it (nested as well as interleaved spans),
- * minus edges incident to the closing node — an inflated count that reduce()
- * uses to accept moves. Do not "fix" this to true interleave counting: the
- * final circle order depends on it.
- * @see lib/circogen/blockpath.c:count_all_crossings
- * @see lib/circogen/edgelist.c:remove_edge
- */
-export function countCrossings(list: Node[], edges: DerivedEdge[]): number {
-  for (const e of edges) e.order = 0;
-  const opened: DerivedEdge[] = [];
-  let crossings = 0; let order = 1;
-  for (const n of list) {
-    const d = derivedOf(n);
-    if (!d) continue;
-    // Close pass: incident edges already opened at their other endpoint
-    // (edges opened AT this node still have order 0 — the open pass below
-    // runs after, so each edge closes exactly once).
-    for (const e of edges) {
-      if (e.order > 0 && (e.tail === d || e.head === d))
-        crossings += closeOpenEdge(e, d, opened);
-    }
-    openEdgesAt(d, edges, opened, order++);
-  }
-  return crossings;
-}
-
-// ---------------------------------------------------------------------------
-// Crossing reduction
-// ---------------------------------------------------------------------------
-
-export function insertNode(list: Node[], cn: Node, neighbor: Node, pos: number): void {
-  const i = list.indexOf(cn); if (i !== -1) list.splice(i, 1);
-  const ni = list.indexOf(neighbor);
-  if (ni === -1) { list.push(cn); return; }
-  list.splice(pos === 0 ? ni : ni + 1, 0, cn);
-}
-
-/**
- * One reduce pass, mirroring C's reduce (blockpath.c:439): iterate the
- * SUBGRAPH's nodes in agfstnode (root-seq) order — NOT the current list
- * order — and each node's incident edges in agfstedge order; the neighbour
- * is agtail(e) unless that is curnode. The first-improving-move order is
- * load-bearing for the final arrangement.
- */
-export function reducePass(
-  list: Node[], edges: DerivedEdge[], cnt: { v: number }, nodes: DerivedNode[],
-): void {
-  const ord = new Map<DerivedNode, number>();
-  nodes.forEach((dn, i) => ord.set(dn, i));
-  const seq = new Map<DerivedEdge, number>();
-  edges.forEach((e, i) => seq.set(e, i));
-  for (const dn of nodes) {
-    for (const e of spanIncident(dn, edges, ord, seq)) {
-      let neighbor = e.tail;
-      if (neighbor === dn) neighbor = e.head;
-      for (const pos of [0, 1] as const) {
-        const copy = [...list];
-        insertNode(list, dn.orig, neighbor.orig, pos);
-        const nc = countCrossings(list, edges);
-        if (nc < cnt.v) { cnt.v = nc; if (cnt.v === 0) return; }
-        else { list.length = 0; list.push(...copy); }
-      }
-    }
-  }
-}
-
-const CROSS_ITER = 10;
-
-/** @see lib/circogen/blockpath.c:reduce_edge_crossings */
-export function reduceEdgeCrossings(
-  list: Node[], edges: DerivedEdge[], nodes: DerivedNode[],
-): Node[] {
-  const cnt = { v: countCrossings(list, edges) };
-  for (let i = 0; i < CROSS_ITER && cnt.v > 0; i++) {
-    const prev = cnt.v; reducePass(list, edges, cnt, nodes);
-    if (prev === cnt.v) break;
-  }
-  return list;
-}
-
 // ---------------------------------------------------------------------------
 // Spanning tree
 // ---------------------------------------------------------------------------
 
-/**
- * Incident edges of dn in agfstedge order over the (possibly pruned)
- * subgraph edge set: out-edges (by head order, seq) then in-edges (by tail
- * order, seq). `ord`/`seq` maps carry the derived root's node and edge
- * creation orders. @see lib/cgraph/edge.c:agfstedge
- */
-export function spanIncident(
-  dn: DerivedNode, edges: DerivedEdge[],
-  ord: Map<DerivedNode, number>, seq: Map<DerivedEdge, number>,
-): DerivedEdge[] {
-  const out = edges.filter((e) => e.tail === dn)
-    .sort((a, b) => ((ord.get(a.head) ?? 0) - (ord.get(b.head) ?? 0)) || ((seq.get(a) ?? 0) - (seq.get(b) ?? 0)));
-  const inn = edges.filter((e) => e.head === dn)
-    .sort((a, b) => ((ord.get(a.tail) ?? 0) - (ord.get(b.tail) ?? 0)) || ((seq.get(a) ?? 0) - (seq.get(b) ?? 0)));
-  return [...out, ...inn];
-}
-
 export function dfsSpan(
   sn: SpanNode, map: Map<DerivedNode, SpanNode>, edges: DerivedEdge[],
   ord: Map<DerivedNode, number>, seq: Map<DerivedEdge, number>,