@cardenelabs/cdl 0.47.0 → 0.48.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardenelabs/cdl",
-  "version": "0.47.0",
+  "version": "0.48.0",
   "description": "CDL (Chainome Diagram Language). Mermaid-like declarative DSL that compiles to animated SVG diagrams. Built for blockchain / Solidity flows, generic enough for sequence / flow / state / ER / topology diagrams.",
   "license": "MIT",
   "author": "cardene777",

package/src/layout/edges.ts

@@ -7,6 +7,7 @@ import {
 import {
   extractPathSegments,
   flattenPathSegments,
+  measurePathLabelGapSegs,
   segmentsCrossRect,
   segmentsExcludingOwnPath,
 } from "./collisions";
@@ -2530,37 +2531,108 @@ function placeAvoidingSiblingPaths(args: {
 
   // 動かさない置き方も候補に入れる (跨りが無いならこれが最善)。
   consider([...wants]);
+
+  /**
+   * 塊を「近すぎる線」 の向こうへ押し出すのに要る量 (#805)。 足りていれば 0。
+   *
+   * 兄弟の弧の帯 (`bands`) を越えるだけでは、 **帯の外を通る別の線** が残る。
+   * 実測 = 4 本の弧の下を回る線が、 帯を越えた直後に置いた札の上端を 10 かすめた
+   * (要求は `CLEARANCE_PATH_LABEL` = 14)。 貫いてはいないので `consider` の跨り判定では
+   * 捨てられず、 その後の逃がし pass も列の上下が隣の札で塞がれていて動かせない。
+   *
+   * 押す量は探さずに測る = 邪魔をしている線を札の横幅で切った Y 範囲を取り、 その縁から
+   * 要求ぶん離れる位置までの差を返す。 塊は間隔を保ったまま動かしたいので、 塊の中で
+   * 最も要る量に合わせる。
+   */
+  const 押す量 = (idx: number[], side: "above" | "below", pos: number[]): number => {
+    let 要る = 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);
+        }
+        // 札の横幅の下に 1 本も入らない線は、 押しても隙間が変わらない。
+        if (lo > hi) continue;
+        const 行き先 =
+          side === "above"
+            ? lo - box.h / 2 - CLEARANCE_PATH_LABEL
+            : hi + box.h / 2 + CLEARANCE_PATH_LABEL;
+        要る = Math.max(要る, side === "above" ? pos[i]! - 行き先 : 行き先 - pos[i]!);
+      }
+    }
+    return Math.max(0, 要る);
+  };
+
   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<number>(members.length);
-      for (const [idx, side] of [
-        [above, "above"],
-        [below, "below"],
-      ] as const) {
-        if (idx.length === 0) continue;
-        const ys = spread(idx);
-        // 帯に入らない位置まで塊ごと動かす。 必要な移動量が最大の label に合わせる。
-        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;
-      }
-      // 上側の末尾と下側の先頭が足りなければ、 下側を塊ごとさらに下げる。 帯を挟んでいても
-      // pill どうしの間隔は要る (実測 = 帯を挟んで 100 しか空かず、 要求の 104 に届かない図)。
-      if (above.length > 0 && below.length > 0) {
+      /** 上側の末尾と下側の先頭が足りなければ、 下側を塊ごとさらに下げる。 */
+      const 間を空ける = (out: number[]): void => {
+        // 帯を挟んでいても pill どうしの間隔は要る
+        // (実測 = 帯を挟んで 100 しか空かず、 要求の 104 に届かない図)。
+        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 帯を越える = (): number[] => {
+        const out = new Array<number>(members.length);
+        for (const [idx, side] of [
+          [above, "above"],
+          [below, "below"],
+        ] as const) {
+          if (idx.length === 0) continue;
+          const ys = spread(idx);
+          // 帯に入らない位置まで塊ごと動かす。 必要な移動量が最大の label に合わせる。
+          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;
+        }
+        間を空ける(out);
+        return out;
+      };
+      /**
+       * 帯を越えた置き方を、 さらに「近すぎる線」 の向こうへ押し出した置き方。
+       *
+       * 押した先に別の線が居ることがあるので繰り返す。 **越えられない形では候補にしない**
+       * (`null` を返す) = 線が札の上下を挟む図では、 押しても隙間が足りないまま位置だけが動く。
+       * 跨り判定はその置き方を捨てられないので、 候補にする前にここで落とす。
+       *
+       * 押しは上側を上へ、 下側を下へしか動かさない = 上下の間隔は広がる一方なので、
+       * ここで `間を空ける` を呼び直しても 1 度も効かない (変異試験で確認した)。
+       */
+      const 押して越える = (): number[] | null => {
+        const out = 帯を越える();
+        for (let round = 0; round < 4; round += 1) {
+          const a = 押す量(above, "above", out);
+          const b = 押す量(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 押す量(above, "above", out) === 0 && 押す量(below, "below", out) === 0 ? out : null;
+      };
+      // 押す前と押した後の両方を候補にする = 押すと悪くなる図では押さない置き方が選ばれる。
+      consider(帯を越える());
+      const 押した = 押して越える();
+      if (押した) consider(押した);
     }
   }
   // 間隔だけを満たす置き方も候補に入れる (帯が無い / 帯を避ける置き方が全て捨てられた時)。