@cardenelabs/cdl 0.47.0 → 0.49.0

package/dist/index.d.cts

@@ -1580,6 +1580,14 @@ interface Violation {
     diagramId: string;
     detail: string;
     severity: "error" | "warn";
+    /**
+     * engine がなぜ直せなかったか (#810)。 分かる時だけ付く。
+     *
+     * `detail` とは別の欄に置く = `detail` は「どの 2 つが何 px か」 を固定の形で持ち、
+     * 消費側がそこから id を読み取っている。 理由を `detail` に足すと、 理由の中の id まで
+     * 違反の対象として拾われる。
+     */
+    reason?: string;
 }
 type VisualAxis = "node-visibility" | "edge-label-overlap" | "edge-label-proximity" | "text-readability" | "row-format" | "alignment" | "clearance" | "arrow-endpoint-anchoring" | "label-char-range" | "node-overlap" | "edge-crossing" | "edge-node-cross" | "edge-segment-orthogonality" | "label-inside-viewbox" | "lane-cx-consistency" | "row-vertical-spacing" | "group-boundary-clearance" | "node-vertical-clearance" | "lane-lane-gap" | "arrow-marker-clearance" | "grid-alignment" | "phase-layout-stability" | "responsive-viewport" | "accessibility-basics" | "animation-frame-integrity" | "i18n-cjk-detection" | "contrast-basics" | "print-media-compat" | "color-blind-safety" | "marker-gradient-def-integrity" | "dom-complexity-budget" | "reduced-motion-compat" | "touch-target-size" | "row-content-typing" | "terminal-safe-text" | "gpu-layer-efficiency" | "svg-injection-safety" | "seo-metadata-quality" | "bidi-hyphenation" | "structured-data-extraction" | "diagram-version-semver" | "migration-path-consistency" | "axis-coverage-meta" | "axis-documentation-completeness" | "fixture-drift-detection" | "locale-parity" | "validate-performance-budget" | "node-inside-viewbox" | "shape-label-dropped" | "box-line-dropped" | "node-inside-lane" | "edge-inside-viewbox" | "lane-label-inside-viewbox" | "lane-label-overlap" | "row-alignment" | "column-alignment" | "edge-stubout-min" | "fan-origin-single-point" | "detour-slot-distinct" | "arrow-endpoint-center" | "lane-border-clearance" | "row-gap-uniform" | "column-gap-uniform" | "rows-not-rendered" | "title-row-overlap" | "malformed-input" | "validation-interrupted";
 /**

package/dist/index.d.ts

@@ -1580,6 +1580,14 @@ interface Violation {
     diagramId: string;
     detail: string;
     severity: "error" | "warn";
+    /**
+     * engine がなぜ直せなかったか (#810)。 分かる時だけ付く。
+     *
+     * `detail` とは別の欄に置く = `detail` は「どの 2 つが何 px か」 を固定の形で持ち、
+     * 消費側がそこから id を読み取っている。 理由を `detail` に足すと、 理由の中の id まで
+     * 違反の対象として拾われる。
+     */
+    reason?: string;
 }
 type VisualAxis = "node-visibility" | "edge-label-overlap" | "edge-label-proximity" | "text-readability" | "row-format" | "alignment" | "clearance" | "arrow-endpoint-anchoring" | "label-char-range" | "node-overlap" | "edge-crossing" | "edge-node-cross" | "edge-segment-orthogonality" | "label-inside-viewbox" | "lane-cx-consistency" | "row-vertical-spacing" | "group-boundary-clearance" | "node-vertical-clearance" | "lane-lane-gap" | "arrow-marker-clearance" | "grid-alignment" | "phase-layout-stability" | "responsive-viewport" | "accessibility-basics" | "animation-frame-integrity" | "i18n-cjk-detection" | "contrast-basics" | "print-media-compat" | "color-blind-safety" | "marker-gradient-def-integrity" | "dom-complexity-budget" | "reduced-motion-compat" | "touch-target-size" | "row-content-typing" | "terminal-safe-text" | "gpu-layer-efficiency" | "svg-injection-safety" | "seo-metadata-quality" | "bidi-hyphenation" | "structured-data-extraction" | "diagram-version-semver" | "migration-path-consistency" | "axis-coverage-meta" | "axis-documentation-completeness" | "fixture-drift-detection" | "locale-parity" | "validate-performance-budget" | "node-inside-viewbox" | "shape-label-dropped" | "box-line-dropped" | "node-inside-lane" | "edge-inside-viewbox" | "lane-label-inside-viewbox" | "lane-label-overlap" | "row-alignment" | "column-alignment" | "edge-stubout-min" | "fan-origin-single-point" | "detour-slot-distinct" | "arrow-endpoint-center" | "lane-border-clearance" | "row-gap-uniform" | "column-gap-uniform" | "rows-not-rendered" | "title-row-overlap" | "malformed-input" | "validation-interrupted";
 /**

package/dist/index.js

@@ -13165,7 +13165,7 @@ function resolveEdgeLabelOverlapsWithChainAndPropagate(edges, obstacles, minClea
               { axis: "y", sign: dy >= 0 ? 1 : -1 },
               { axis: "x", sign: dx >= 0 ? 1 : -1 }
             ];
-            const \u52D5\u304B\u3057\u305F\u7BB1 = (axis, sign) => ({
+            const \u52D5\u304B\u3057\u305F\u7BB12 = (axis, sign) => ({
               ...label,
               x: label.x + (axis === "x" ? sign * \u91CF : 0),
               y: label.y + (axis === "y" ? sign * \u91CF : 0)
@@ -13190,7 +13190,7 @@ function resolveEdgeLabelOverlapsWithChainAndPropagate(edges, obstacles, minClea
               return false;
             };
             for (const \u5019 of \u5019\u88DC) {
-              if (\u60AA\u304F\u3059\u308B(\u52D5\u304B\u3057\u305F\u7BB1(\u5019.axis, \u5019.sign))) continue;
+              if (\u60AA\u304F\u3059\u308B(\u52D5\u304B\u3057\u305F\u7BB12(\u5019.axis, \u5019.sign))) continue;
               out.push({
                 target: { kind: "label", id: label.id },
                 axis: \u5019.axis,
@@ -13356,15 +13356,7 @@ function resolveEdgeLabelOverlapsWithChainAndPropagate(edges, obstacles, minClea
     edgePathShifts: edgePathShiftMap
   };
 }
-function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
-  if (edges.length === 0) return edges;
-  const labeledIds = new Set(
-    edges.filter((e) => e.label?.trim() || e.sub?.trim()).map((e) => e.id)
-  );
-  if (labeledIds.size === 0) return edges;
-  const \u7BB1\u305F\u3061 = obstacles.filter((o) => o.kind === "node" || o.kind === "lane-label");
-  const edgeById = /* @__PURE__ */ new Map();
-  for (const e of edges) edgeById.set(e.id, e);
+function \u7DDA\u306E\u6E2C\u308A\u65B9\u3092\u4F5C\u308B() {
   const \u533A\u9593cache = /* @__PURE__ */ new Map();
   const \u533A\u9593 = (id, d) => {
     const hit = \u533A\u9593cache.get(id);
@@ -13400,7 +13392,143 @@ function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
     const dy = Math.max(0, Math.max(box.y - (b.y + b.h), b.y - (box.y + box.h)));
     return Math.hypot(dx, dy) >= \u4F59\u88D5;
   };
-  const \u6700\u5927\u79FB\u52D5 = CHAIN_SHIFT_MAX_ACCUMULATED * 2;
+  return { \u533A\u9593, \u9060\u3044 };
+}
+var \u672D\u306E\u6700\u5927\u79FB\u52D5 = CHAIN_SHIFT_MAX_ACCUMULATED * 2;
+var \u96E2\u308C\u91CF = (a, b) => ({
+  x: Math.max(a.x - (b.x + b.w), b.x - (a.x + a.w)),
+  y: Math.max(a.y - (b.y + b.h), b.y - (a.y + a.h))
+});
+var \u52D5\u304B\u3057\u305F\u7BB1 = (box, axis, sign, amount) => ({
+  ...box,
+  x: box.x + (axis === "x" ? sign * amount : 0),
+  y: box.y + (axis === "y" ? sign * amount : 0)
+});
+function \u672D\u306E\u79FB\u52D5\u3092\u585E\u3050\u76F8\u624B\u3092\u63A2\u3059(\u5468\u308A, label, \u884C\u304D\u5148) {
+  const { \u7BB1\u305F\u3061, labels, edges, edgeById, \u6E2C\u308A\u65B9 } = \u5468\u308A;
+  for (const obs of \u7BB1\u305F\u3061) {
+    const \u524D = computeGap(label, obs);
+    const \u5F8C = computeGap(\u884C\u304D\u5148, obs);
+    if (\u5F8C < Math.min(\u524D, requiredNearClearance("edge-label", obs.kind))) return { \u76F8\u624B: `${obs.kind}:${obs.id}`, \u524D, \u5F8C };
+  }
+  const \u672D\u306E\u8981\u6C42 = requiredNearClearance("edge-label", "edge-label");
+  for (const \u4ED6 of labels) {
+    if (\u4ED6.id === label.id) continue;
+    const \u524D = computeGap(label, \u4ED6);
+    const \u5F8C = computeGap(\u884C\u304D\u5148, \u4ED6);
+    if (\u5F8C < Math.min(\u524D, \u672D\u306E\u8981\u6C42)) return { \u76F8\u624B: `edge-label:${\u4ED6.id}`, \u524D, \u5F8C };
+  }
+  const \u81EA\u5206 = edgeById.get(label.id);
+  const \u81EA\u5206\u306E\u533A\u9593 = \u81EA\u5206 ? \u6E2C\u308A\u65B9.\u533A\u9593(\u81EA\u5206.id, \u81EA\u5206.d) : [];
+  if (\u81EA\u5206\u306E\u533A\u9593.length > 0) {
+    const \u524D = measurePathLabelGapSegs(\u81EA\u5206\u306E\u533A\u9593, label);
+    const \u5F8C = measurePathLabelGapSegs(\u81EA\u5206\u306E\u533A\u9593, \u884C\u304D\u5148);
+    if (\u5F8C > Math.max(\u524D, DIST_LABEL_PATH_MAX)) return { \u76F8\u624B: "\u81EA\u5206\u306E\u7DDA", \u524D, \u5F8C };
+  }
+  for (const \u76F8\u624B of edges) {
+    if (\u76F8\u624B.id === label.id) continue;
+    if (\u6E2C\u308A\u65B9.\u9060\u3044(label, \u76F8\u624B.id, \u76F8\u624B.d, LABEL_TO_PATH_CLEARANCE) && \u6E2C\u308A\u65B9.\u9060\u3044(\u884C\u304D\u5148, \u76F8\u624B.id, \u76F8\u624B.d, LABEL_TO_PATH_CLEARANCE)) continue;
+    const segs = segmentsExcludingOwnPath(\u6E2C\u308A\u65B9.\u533A\u9593(\u76F8\u624B.id, \u76F8\u624B.d), \u81EA\u5206\u306E\u533A\u9593);
+    if (segs.length === 0) continue;
+    const \u524D = measurePathLabelGapSegs(segs, label);
+    const \u5F8C = measurePathLabelGapSegs(segs, \u884C\u304D\u5148);
+    if (\u5F8C < Math.min(\u524D, LABEL_TO_PATH_CLEARANCE)) return { \u76F8\u624B: `edge-path:${\u76F8\u624B.id}`, \u524D, \u5F8C };
+  }
+  return null;
+}
+function \u77E9\u5F62\u306E\u5019\u88DC(label, static\u7BB1, required) {
+  const sep = \u96E2\u308C\u91CF(label, static\u7BB1);
+  const \u5411\u304D = (axis) => {
+    const a = axis === "x" ? label.x + label.w / 2 : label.y + label.h / 2;
+    const b = axis === "x" ? static\u7BB1.x + static\u7BB1.w / 2 : static\u7BB1.y + static\u7BB1.h / 2;
+    return a >= b ? 1 : -1;
+  };
+  return [
+    { axis: "x", sign: \u5411\u304D("x"), amount: required - sep.x + NEAR_MISS_MARGIN },
+    { axis: "y", sign: \u5411\u304D("y"), amount: required - sep.y + NEAR_MISS_MARGIN }
+  ];
+}
+function \u7DDA\u304B\u3089\u96E2\u308C\u308B\u91CF(segs, label, gap, axis, sign) {
+  const \u6700\u5927\u79FB\u52D5 = \u672D\u306E\u6700\u5927\u79FB\u52D5;
+  const \u6E80\u305F\u3059 = (\u91CF) => measurePathLabelGapSegs(segs, \u52D5\u304B\u3057\u305F\u7BB1(label, axis, sign, \u91CF)) >= LABEL_TO_PATH_CLEARANCE;
+  let lo = 0;
+  let hi = Math.max(4, LABEL_TO_PATH_CLEARANCE - gap);
+  while (!\u6E80\u305F\u3059(hi)) {
+    if (hi >= \u6700\u5927\u79FB\u52D5) return null;
+    lo = hi;
+    hi = Math.min(hi * 2, \u6700\u5927\u79FB\u52D5);
+  }
+  for (let k = 0; k < 12; k += 1) {
+    const mid = (lo + hi) / 2;
+    if (\u6E80\u305F\u3059(mid)) hi = mid;
+    else lo = mid;
+  }
+  return hi + NEAR_MISS_MARGIN;
+}
+var \u5411\u304D\u306E\u9806 = [
+  { axis: "y", sign: -1, \u540D\u524D: "\u4E0A" },
+  { axis: "y", sign: 1, \u540D\u524D: "\u4E0B" },
+  { axis: "x", sign: -1, \u540D\u524D: "\u5DE6" },
+  { axis: "x", sign: 1, \u540D\u524D: "\u53F3" }
+];
+function \u672D\u304C\u52D5\u3051\u306A\u3044\u7406\u7531(labelId, \u76F8\u624B, edges, obstacles) {
+  const edgeById = new Map(edges.map((e) => [e.id, e]));
+  const \u81EA\u5206 = edgeById.get(labelId);
+  if (!\u81EA\u5206) return null;
+  const labels = edges.filter((e) => e.label?.trim() || e.sub?.trim()).map((e) => ({ kind: "edge-label", id: e.id, ...computeLabelBBoxWorld(e) }));
+  const label = labels.find((l) => l.id === labelId);
+  if (!label) return null;
+  const \u6E2C\u308A\u65B9 = \u7DDA\u306E\u6E2C\u308A\u65B9\u3092\u4F5C\u308B();
+  const \u5468\u308A = {
+    \u7BB1\u305F\u3061: obstacles.filter((o) => o.kind === "node" || o.kind === "lane-label"),
+    labels,
+    edges,
+    edgeById,
+    \u6E2C\u308A\u65B9
+  };
+  const \u5019\u88DC = [];
+  if (\u76F8\u624B.kind === "edge-path") {
+    const \u7DDA = edgeById.get(\u76F8\u624B.id);
+    if (!\u7DDA) return null;
+    const segs = segmentsExcludingOwnPath(\u6E2C\u308A\u65B9.\u533A\u9593(\u7DDA.id, \u7DDA.d), \u6E2C\u308A\u65B9.\u533A\u9593(\u81EA\u5206.id, \u81EA\u5206.d));
+    if (segs.length === 0) return null;
+    const gap = measurePathLabelGapSegs(segs, label);
+    for (const \u5411\u304D of \u5411\u304D\u306E\u9806) {
+      \u5019\u88DC.push({ axis: \u5411\u304D.axis, sign: \u5411\u304D.sign, amount: \u7DDA\u304B\u3089\u96E2\u308C\u308B\u91CF(segs, label, gap, \u5411\u304D.axis, \u5411\u304D.sign) });
+    }
+  } else {
+    const required = requiredNearClearance("edge-label", \u76F8\u624B.kind);
+    for (const c of \u77E9\u5F62\u306E\u5019\u88DC(label, \u76F8\u624B, required)) {
+      if (c.amount > 0) \u5019\u88DC.push(c);
+    }
+  }
+  if (\u5019\u88DC.length === 0) return null;
+  const \u7406\u7531 = [];
+  for (const c of \u5019\u88DC) {
+    const \u9806 = \u5411\u304D\u306E\u9806.findIndex((v) => v.axis === c.axis && v.sign === c.sign);
+    const \u540D\u524D = \u5411\u304D\u306E\u9806[\u9806].\u540D\u524D;
+    if (c.amount === null || c.amount > \u672D\u306E\u6700\u5927\u79FB\u52D5) {
+      \u7406\u7531.push({ \u9806, \u6587: `${\u540D\u524D}=\u4E0A\u9650 ${\u672D\u306E\u6700\u5927\u79FB\u52D5} \u3092\u8D8A\u3048\u308B` });
+      continue;
+    }
+    const \u585E\u3050 = \u672D\u306E\u79FB\u52D5\u3092\u585E\u3050\u76F8\u624B\u3092\u63A2\u3059(\u5468\u308A, label, \u52D5\u304B\u3057\u305F\u7BB1(label, c.axis, c.sign, c.amount));
+    if (!\u585E\u3050) return null;
+    \u7406\u7531.push({ \u9806, \u6587: `${\u540D\u524D}=${\u585E\u3050.\u76F8\u624B} (${\u585E\u3050.\u524D.toFixed(0)}\u2192${\u585E\u3050.\u5F8C.toFixed(0)})` });
+  }
+  return `\u9003\u3052\u5834\u306A\u3057: ${\u7406\u7531.sort((a, b) => a.\u9806 - b.\u9806).map((r) => r.\u6587).join(" / ")}`;
+}
+function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
+  if (edges.length === 0) return edges;
+  const labeledIds = new Set(
+    edges.filter((e) => e.label?.trim() || e.sub?.trim()).map((e) => e.id)
+  );
+  if (labeledIds.size === 0) return edges;
+  const \u7BB1\u305F\u3061 = obstacles.filter((o) => o.kind === "node" || o.kind === "lane-label");
+  const edgeById = /* @__PURE__ */ new Map();
+  for (const e of edges) edgeById.set(e.id, e);
+  const \u6E2C\u308A\u65B9 = \u7DDA\u306E\u6E2C\u308A\u65B9\u3092\u4F5C\u308B();
+  const { \u533A\u9593, \u9060\u3044 } = \u6E2C\u308A\u65B9;
+  const \u6700\u5927\u79FB\u52D5 = \u672D\u306E\u6700\u5927\u79FB\u52D5;
   const shiftMap = /* @__PURE__ */ new Map();
   const getShift = (id) => shiftMap.get(id) ?? { dx: 0, dy: 0 };
   const labelBBoxes = () => {
@@ -13413,50 +13541,12 @@ function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
     }
     return out;
   };
-  const \u96E2\u308C\u91CF = (a, b) => ({
-    x: Math.max(a.x - (b.x + b.w), b.x - (a.x + a.w)),
-    y: Math.max(a.y - (b.y + b.h), b.y - (a.y + a.h))
-  });
-  const \u52D5\u304B\u3057\u305F\u7BB1 = (box, axis, sign, amount) => ({
-    ...box,
-    x: box.x + (axis === "x" ? sign * amount : 0),
-    y: box.y + (axis === "y" ? sign * amount : 0)
-  });
   for (let iter = 0; iter < maxIter; iter += 1) {
     const labels = labelBBoxes();
     const \u672D\u306E\u8981\u6C42 = requiredNearClearance("edge-label", "edge-label");
     let \u52D5\u3044\u305F = false;
     const \u4ECA\u56DE\u52D5\u304B\u3057\u305F = /* @__PURE__ */ new Set();
-    const \u5B89\u5168\u304B = (label, \u884C\u304D\u5148) => {
-      for (const obs of \u7BB1\u305F\u3061) {
-        const \u524D = computeGap(label, obs);
-        const \u5F8C = computeGap(\u884C\u304D\u5148, obs);
-        if (\u5F8C < Math.min(\u524D, requiredNearClearance("edge-label", obs.kind))) return false;
-      }
-      for (const \u4ED6 of labels) {
-        if (\u4ED6.id === label.id) continue;
-        const \u524D = computeGap(label, \u4ED6);
-        const \u5F8C = computeGap(\u884C\u304D\u5148, \u4ED6);
-        if (\u5F8C < Math.min(\u524D, \u672D\u306E\u8981\u6C42)) return false;
-      }
-      const \u81EA\u5206 = edgeById.get(label.id);
-      const \u81EA\u5206\u306E\u533A\u9593 = \u81EA\u5206 ? \u533A\u9593(\u81EA\u5206.id, \u81EA\u5206.d) : [];
-      if (\u81EA\u5206\u306E\u533A\u9593.length > 0) {
-        const \u524D = measurePathLabelGapSegs(\u81EA\u5206\u306E\u533A\u9593, label);
-        const \u5F8C = measurePathLabelGapSegs(\u81EA\u5206\u306E\u533A\u9593, \u884C\u304D\u5148);
-        if (\u5F8C > Math.max(\u524D, DIST_LABEL_PATH_MAX)) return false;
-      }
-      for (const \u76F8\u624B of edges) {
-        if (\u76F8\u624B.id === label.id) continue;
-        if (\u9060\u3044(label, \u76F8\u624B.id, \u76F8\u624B.d, LABEL_TO_PATH_CLEARANCE) && \u9060\u3044(\u884C\u304D\u5148, \u76F8\u624B.id, \u76F8\u624B.d, LABEL_TO_PATH_CLEARANCE)) continue;
-        const segs = segmentsExcludingOwnPath(\u533A\u9593(\u76F8\u624B.id, \u76F8\u624B.d), \u81EA\u5206\u306E\u533A\u9593);
-        if (segs.length === 0) continue;
-        const \u524D = measurePathLabelGapSegs(segs, label);
-        const \u5F8C = measurePathLabelGapSegs(segs, \u884C\u304D\u5148);
-        if (\u5F8C < Math.min(\u524D, LABEL_TO_PATH_CLEARANCE)) return false;
-      }
-      return true;
-    };
+    const \u5B89\u5168\u304B = (label, \u884C\u304D\u5148) => \u672D\u306E\u79FB\u52D5\u3092\u585E\u3050\u76F8\u624B\u3092\u63A2\u3059({ \u7BB1\u305F\u3061, labels, edges, edgeById, \u6E2C\u308A\u65B9 }, label, \u884C\u304D\u5148) === null;
     const \u9003\u304C\u3059 = (label, \u5019\u88DC) => {
       for (const c of \u5019\u88DC.slice().sort((a, b) => a.amount - b.amount)) {
         if (c.amount <= 0) continue;
@@ -13472,18 +13562,6 @@ function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
       }
       return false;
     };
-    const \u77E9\u5F62\u306E\u5019\u88DC = (label, static\u7BB1, required) => {
-      const sep = \u96E2\u308C\u91CF(label, static\u7BB1);
-      const \u5411\u304D = (axis) => {
-        const a = axis === "x" ? label.x + label.w / 2 : label.y + label.h / 2;
-        const b = axis === "x" ? static\u7BB1.x + static\u7BB1.w / 2 : static\u7BB1.y + static\u7BB1.h / 2;
-        return a >= b ? 1 : -1;
-      };
-      return [
-        { axis: "x", sign: \u5411\u304D("x"), amount: required - sep.x + NEAR_MISS_MARGIN },
-        { axis: "y", sign: \u5411\u304D("y"), amount: required - sep.y + NEAR_MISS_MARGIN }
-      ];
-    };
     for (const label of labels) {
       if (\u4ECA\u56DE\u52D5\u304B\u3057\u305F.has(label.id)) continue;
       for (const obs of \u7BB1\u305F\u3061) {
@@ -13540,22 +13618,7 @@ function resolveLabelClearanceAfterPathPasses(edges, obstacles, maxIter = 8) {
           }
         }
         if (!\u8FD1\u3044\u70B9) continue;
-        const \u5FC5\u8981\u91CF = (axis, sign) => {
-          const \u6E80\u305F\u3059 = (\u91CF) => measurePathLabelGapSegs(segs, \u52D5\u304B\u3057\u305F\u7BB1(label, axis, sign, \u91CF)) >= LABEL_TO_PATH_CLEARANCE;
-          let lo = 0;
-          let hi = Math.max(4, LABEL_TO_PATH_CLEARANCE - gap);
-          while (!\u6E80\u305F\u3059(hi)) {
-            if (hi >= \u6700\u5927\u79FB\u52D5) return null;
-            lo = hi;
-            hi = Math.min(hi * 2, \u6700\u5927\u79FB\u52D5);
-          }
-          for (let k = 0; k < 12; k += 1) {
-            const mid = (lo + hi) / 2;
-            if (\u6E80\u305F\u3059(mid)) hi = mid;
-            else lo = mid;
-          }
-          return hi + NEAR_MISS_MARGIN;
-        };
+        const \u5FC5\u8981\u91CF = (axis, sign) => \u7DDA\u304B\u3089\u96E2\u308C\u308B\u91CF(segs, label, gap, axis, sign);
         const dx = \u82AF.x - \u8FD1\u3044\u70B9.x;
         const dy = \u82AF.y - \u8FD1\u3044\u70B9.y;
         const \u5019\u88DC = [];
@@ -15987,9 +16050,15 @@ function visualValidateLaid(laid, diag, opts) {
   const counts = emptyCounts();
   const profile = opts?.profile ?? "production";
   const skipped = SKIPPED_AXES[profile];
-  const push = (axis, detail, severity = "error") => {
+  const push = (axis, detail, severity = "error", reason) => {
     if (skipped.has(axis)) return;
-    violations.push({ axis, diagramId: safeDiagramId(diag), detail, severity });
+    violations.push({
+      axis,
+      diagramId: safeDiagramId(diag),
+      detail,
+      severity,
+      ...reason !== void 0 ? { reason } : {}
+    });
     counts[axis]++;
   };
   return visualValidateInner(
@@ -16008,9 +16077,15 @@ function visualValidate(diag, opts) {
   const counts = emptyCounts();
   const profile = opts?.profile ?? "production";
   const skipped = SKIPPED_AXES[profile];
-  const push = (axis, detail, severity = "error") => {
+  const push = (axis, detail, severity = "error", reason) => {
     if (skipped.has(axis)) return;
-    violations.push({ axis, diagramId: safeDiagramId(diag), detail, severity });
+    violations.push({
+      axis,
+      diagramId: safeDiagramId(diag),
+      detail,
+      severity,
+      ...reason !== void 0 ? { reason } : {}
+    });
     counts[axis]++;
   };
   const diagProblems = findMalformedInput(void 0, diag).filter(
@@ -16347,10 +16422,19 @@ function runAxes(laid, diag, violations, counts, push, profile, skippedAxes, \u5
     }
   }
   const nears = detectNearCollisions(bboxes, laid.edges);
+  const \u672D\u306E\u969C\u5BB3\u7269 = bboxes.filter((b) => b.kind === "node" || b.kind === "lane-label");
+  const \u8FBA\u306E\u9806 = new Map(laid.edges.map((e, i) => [e.id, i]));
   for (const n of nears) {
+    const a\u306F\u672D = n.a.kind === "edge-label";
+    const b\u306F\u672D = n.b.kind === "edge-label";
+    const \u52D5\u304B\u3059 = a\u306F\u672D && b\u306F\u672D ? (\u8FBA\u306E\u9806.get(n.a.id) ?? 0) > (\u8FBA\u306E\u9806.get(n.b.id) ?? 0) ? n.a : n.b : a\u306F\u672D ? n.a : b\u306F\u672D ? n.b : null;
+    const \u76F8\u624B = \u52D5\u304B\u3059 === n.a ? n.b : n.a;
+    const reason = \u52D5\u304B\u3059 !== null ? \u672D\u304C\u52D5\u3051\u306A\u3044\u7406\u7531(\u52D5\u304B\u3059.id, \u76F8\u624B, laid.edges, \u672D\u306E\u969C\u5BB3\u7269) ?? void 0 : void 0;
     push(
       "clearance",
-      `${n.a.kind}:${n.a.id} \u2194 ${n.b.kind}:${n.b.id} gap=${n.gap.toFixed(1)}px (need ${n.required}px)`
+      `${n.a.kind}:${n.a.id} \u2194 ${n.b.kind}:${n.b.id} gap=${n.gap.toFixed(1)}px (need ${n.required}px)`,
+      "error",
+      reason
     );
   }
   const PROXIMITY_WARN_THRESHOLD = DIST_LABEL_PATH_MAX;
@@ -19576,33 +19660,73 @@ function placeAvoidingSiblingPaths(args) {
     }
   };
   consider([...wants]);
+  const \u62BC\u3059\u91CF = (idx, side, pos) => {
+    let \u8981\u308B = 0;
+    for (const i of idx) {
+      const box = boxes[i];
+      const rect = { x: box.x, y: pos[i] - box.h / 2, w: box.w, h: box.h };
+      for (const probe of probeSegs[i]) {
+        if (measurePathLabelGapSegs(probe.segs, rect) >= CLEARANCE_PATH_LABEL) continue;
+        let lo = Infinity;
+        let hi = -Infinity;
+        for (const seg of probe.segs) {
+          const c = clipY(seg, box.x, box.x + box.w);
+          if (!c) continue;
+          lo = Math.min(lo, c.lo);
+          hi = Math.max(hi, c.hi);
+        }
+        if (lo > hi) continue;
+        const \u884C\u304D\u5148 = side === "above" ? lo - box.h / 2 - CLEARANCE_PATH_LABEL : hi + box.h / 2 + CLEARANCE_PATH_LABEL;
+        \u8981\u308B = Math.max(\u8981\u308B, side === "above" ? pos[i] - \u884C\u304D\u5148 : \u884C\u304D\u5148 - pos[i]);
+      }
+    }
+    return Math.max(0, \u8981\u308B);
+  };
   if (bands.some((b) => b !== null)) {
     for (let split = 0; split <= order.length; split++) {
       const above = order.slice(0, split);
       const below = order.slice(split);
-      const out = new Array(members.length);
-      for (const [idx, side] of [
-        [above, "above"],
-        [below, "below"]
-      ]) {
-        if (idx.length === 0) continue;
-        const ys = spread(idx);
-        let shift = 0;
-        for (let k = 0; k < idx.length; k++) {
-          const band = bands[idx[k]];
-          if (!band) continue;
-          shift = side === "above" ? Math.min(shift, band.lo - ys[k]) : Math.max(shift, band.hi - ys[k]);
-        }
-        for (let k = 0; k < idx.length; k++) out[idx[k]] = ys[k] + shift;
-      }
-      if (above.length > 0 && below.length > 0) {
+      const \u9593\u3092\u7A7A\u3051\u308B = (out) => {
+        if (above.length === 0 || below.length === 0) return;
         const lastIdx = above[above.length - 1];
         const firstIdx = below[0];
         const need = (sizes[lastIdx] + sizes[firstIdx]) / 2 + CLEARANCE_LABEL_LABEL;
         const deficit = need - (out[firstIdx] - out[lastIdx]);
-        if (deficit > 0) for (const i of below) out[i] += deficit;
-      }
-      consider(out);
+        if (deficit > 0) for (const i of below) out[i] = out[i] + deficit;
+      };
+      const \u5E2F\u3092\u8D8A\u3048\u308B = () => {
+        const out = new Array(members.length);
+        for (const [idx, side] of [
+          [above, "above"],
+          [below, "below"]
+        ]) {
+          if (idx.length === 0) continue;
+          const ys = spread(idx);
+          let shift = 0;
+          for (let k = 0; k < idx.length; k++) {
+            const band = bands[idx[k]];
+            if (!band) continue;
+            shift = side === "above" ? Math.min(shift, band.lo - ys[k]) : Math.max(shift, band.hi - ys[k]);
+          }
+          for (let k = 0; k < idx.length; k++) out[idx[k]] = ys[k] + shift;
+        }
+        \u9593\u3092\u7A7A\u3051\u308B(out);
+        return out;
+      };
+      const \u62BC\u3057\u3066\u8D8A\u3048\u308B = () => {
+        const out = \u5E2F\u3092\u8D8A\u3048\u308B();
+        for (let round = 0; round < 4; round += 1) {
+          const a = \u62BC\u3059\u91CF(above, "above", out);
+          const b = \u62BC\u3059\u91CF(below, "below", out);
+          if (a === 0 && b === 0) return out;
+          for (const i of above) out[i] = out[i] - a;
+          for (const i of below) out[i] = out[i] + b;
+        }
+        return \u62BC\u3059\u91CF(above, "above", out) === 0 && \u62BC\u3059\u91CF(below, "below", out) === 0 ? out : null;
+      };
+      consider(\u5E2F\u3092\u8D8A\u3048\u308B());
+      const \u62BC\u3057\u305F = \u62BC\u3057\u3066\u8D8A\u3048\u308B();
+      if (\u62BC\u3057\u305F) consider(\u62BC\u3057\u305F);
     }
   }
   const plain = spread(all);
@@ -21230,10 +21354,11 @@ function layoutWithValidation(diag, opts = {}) {
   }
   if (opts.emitConsole) {
     for (const v of report.violations) {
+      const \u7406\u7531 = v.reason !== void 0 ? ` ${v.reason}` : "";
       if (v.severity === "error") {
-        console.error(`[cdl geometry ${v.axis}] ${v.detail} (diagram=${v.diagramId})`);
+        console.error(`[cdl geometry ${v.axis}] ${v.detail} (diagram=${v.diagramId})${\u7406\u7531}`);
       } else {
-        console.warn(`[cdl geometry ${v.axis}] ${v.detail} (diagram=${v.diagramId})`);
+        console.warn(`[cdl geometry ${v.axis}] ${v.detail} (diagram=${v.diagramId})${\u7406\u7531}`);
       }
     }
   }