@cardenelabs/cdl 0.20.1 → 0.21.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardenelabs/cdl",
-  "version": "0.20.1",
+  "version": "0.21.1",
   "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/collisions.ts

@@ -9,6 +9,15 @@ import { measureTextWidth } from "./text-width";
  */
 const LANE_LABEL_CLEARANCE_MARGIN = 2;
 
+/**
+ * 近接を解消する時に、要求ちょうどではなくこの分だけ余分に押し出す (world unit)。
+ *
+ * 判定は `gap < required` の strict 比較だが、要求ちょうどに置くと px へ投影する丸めで
+ * 割れる (実測 = 押し出した先が `gap=32.0px (need 32px)` で error)。
+ * `LANE_LABEL_CLEARANCE_MARGIN` と同じ理由で、同じ幅を取る。
+ */
+const NEAR_MISS_MARGIN = LANE_LABEL_CLEARANCE_MARGIN;
+
 /**
  * 全要素の AABB を集約。 engine が「キャンバスに何があるか」 を全部把握する SSOT。
  */
@@ -1570,8 +1579,8 @@ export function resolveEdgeLabelOverlapsWithChainAndPropagate(
         const shift = computeOverlapShift(label, inflated);
         if (!shift) continue;
         // computeOverlapShift は minClearance を上乗せするが、 膨張分で確保済なので差し引く。
-        const amount = shift.amount - minClearance;
-        if (amount <= 0) continue;
+        const amount = shift.amount - minClearance + NEAR_MISS_MARGIN;
+        if (amount <= NEAR_MISS_MARGIN) continue;
         out.push({
           target: { kind: "label", id: label.id },
           axis: shift.axis,
@@ -1634,6 +1643,51 @@ export function resolveEdgeLabelOverlapsWithChainAndPropagate(
       }
     }
 
+    /*
+     * (2b) label ↔ label の **近接** (重なってはいないが要求 clearance 未満)。
+     *
+     * (2) は重なった時しか動かさない (`computeOverlapShift` が重なり量 0 で null を返す)。
+     * 一方 `clearance` 軸は 36 を要求するので、33 しか空いていない組が残っていた
+     * (実測で見本 7 図が同じ形)。 node と lane-label には (1a) / (1b) で近接の面倒を見る
+     * rule があり、label どうしだけが抜けていた。
+     *
+     * 静止側を要求ぶん膨らませて (1a) と同じ形で押し出す。 押す側は (2) と同じ順序規則
+     * (後に declare した方) にする = 同じ組で (2) と (2b) が逆向きに押し合うのを避ける。
+     *
+     * chain: false = 微調整なので node / path の連鎖は起こさない。
+     */
+    for (let i = 0; i < labels.length; i++) {
+      for (let j = i + 1; j < labels.length; j++) {
+        const a = labels[i]!;
+        const b = labels[j]!;
+        if (computeOverlapShift(a, b)) continue;
+        const orderA = edgeOrder.get(a.id)!;
+        const orderB = edgeOrder.get(b.id)!;
+        const moveBox = orderA > orderB ? a : b;
+        const staticBox = orderA > orderB ? b : a;
+        const required = requiredNearClearance(moveBox.kind, staticBox.kind);
+        const inflated: BBox = {
+          ...staticBox,
+          x: staticBox.x - required,
+          y: staticBox.y - required,
+          w: staticBox.w + required * 2,
+          h: staticBox.h + required * 2,
+        };
+        const shift = computeOverlapShift(moveBox, inflated);
+        if (!shift) continue;
+        // 膨張分で確保済なので、`computeOverlapShift` が上乗せした分を差し引く
+        const amount = shift.amount - minClearance + NEAR_MISS_MARGIN;
+        if (amount <= NEAR_MISS_MARGIN) continue;
+        out.push({
+          target: { kind: "label", id: moveBox.id },
+          axis: shift.axis,
+          sign: shift.sign,
+          amount,
+          chain: false,
+        });
+      }
+    }
+
     // (3) CAR-482 chain 伝搬 = label が shift 方向にある obstacle と衝突するなら、
     // obstacle も同方向同量 shift 連鎖。 label ↔ obstacle が既に (1) で処理されているため、
     // ここでは「shift 済 label の shift 累積方向にある obstacle」 を検出、 obstacle 側 shift 発火。
@@ -1811,12 +1865,118 @@ export function resolveEdgeLabelOverlapsWithChainAndPropagate(
         const ordered = edgeProbes
           .map((p, idx) => ({ p, idx }))
           .sort((a, b) => probeDist[a.idx]! - probeDist[b.idx]!);
+        let 線を動かせた = false;
         for (const { p } of ordered) {
           const axis = p.axis as "x" | "y";
           if (!pathShiftIsSafe(e.id, axis, p.sign, amount)) continue;
+          /*
+           * **動かした先で離れるかを見る**。 「壊さない」 だけを見て動かすと、離れない向きへ
+           * 動かして終わることがある (実測 = 説明が別の線の縦区間の真下に居る形で、繰り返しを
+           * 12 回まで回しても隙間は 0 のまま)。 その時 `線を動かせた` が立つので、下の逃がしにも
+           * 回らない。
+           *
+           * **押し出しは今までどおり出す**。 出さない形にすると、離れないなりに効いていた
+           * 押し出しが消えて別の図が壊れる (実測で 3 図が `overlap=-1`)。 離れなかった時に
+           * 「線で逃がせた」 と数えないことだけを変える = 下の逃がしにも回るようになる。
+           */
+          const 動かした後 = measurePathLabelGapSegs(
+            simulateShiftedSegments(e, axis === "x" ? p.sign * amount : 0, axis === "y" ? p.sign * amount : 0),
+            label,
+          );
           out.push({ target: { kind: "edge-path", id: e.id }, axis, sign: p.sign, amount });
+          線を動かせた = 動かした後 > gap;
           break;
         }
+        /*
+         * 線をどの向きにも動かせない時は **説明の側を離す**。
+         *
+         * 線を動かさないのは「説明の近接より経路の破損の方が重い」 ためだが、動かせないまま
+         * 何もしないと近接がそのまま残る (実測で `gap=9.0px (need 14px)`)。 説明は動かしても
+         * 経路を壊さないので、こちらを逃がす。
+         *
+         * 向きは、線から見て説明が居る側 (最も近い segment の中点から説明の中心へ向かう向き) の
+         * 縦横どちらか、離れている方の軸を選ぶ。
+         */
+        if (!線を動かせた) {
+          const 芯 = { x: label.x + label.w / 2, y: label.y + label.h / 2 };
+          let 近い点: { x: number; y: number } | null = null;
+          let 最短 = Infinity;
+          for (const seg of segs) {
+            for (const 点 of [
+              { x: seg.x1, y: seg.y1 },
+              { x: seg.x2, y: seg.y2 },
+              { x: (seg.x1 + seg.x2) / 2, y: (seg.y1 + seg.y2) / 2 },
+            ]) {
+              const d = Math.hypot(点.x - 芯.x, 点.y - 芯.y);
+              if (d < 最短) {
+                最短 = d;
+                近い点 = 点;
+              }
+            }
+          }
+          if (近い点) {
+            const dx = 芯.x - 近い点.x;
+            const dy = 芯.y - 近い点.y;
+            const 量 = pathLabelClearance - gap + NEAR_MISS_MARGIN;
+            /*
+             * **行き先を確かめてから動かす**。 近い点から離れる向きへ出すだけだと、その先に
+             * 別の線が居ることがある (実測で 3 図が `overlap=-1` になった)。
+             *
+             * 縦横それぞれの向きを、離れている方から順に試す。 動かした先で **どの線とも
+             * いまより近づかない** 向きだけを採る。
+             */
+            const 候補: Array<{ axis: "x" | "y"; sign: 1 | -1 }> =
+              Math.abs(dx) >= Math.abs(dy)
+                ? [
+                    { axis: "x", sign: dx >= 0 ? 1 : -1 },
+                    { axis: "y", sign: dy >= 0 ? 1 : -1 },
+                  ]
+                : [
+                    { axis: "y", sign: dy >= 0 ? 1 : -1 },
+                    { axis: "x", sign: dx >= 0 ? 1 : -1 },
+                  ];
+            const 動かした箱 = (axis: "x" | "y", sign: 1 | -1): BBox => ({
+              ...label,
+              x: label.x + (axis === "x" ? sign * 量 : 0),
+              y: label.y + (axis === "y" ? sign * 量 : 0),
+            });
+            /*
+             * **線ごとに見る**。 全体の最小距離だけを比べると、いま 0 の線が離れるぶん、
+             * 別の線が 0 になっても「悪くなっていない」 と読める (実測でその形になった)。
+             */
+            const 線ごとの距離 = (箱: BBox): Map<string, number> => {
+              const 出 = new Map<string, number>();
+              for (const 他 of edges) {
+                if (他.id === label.id) continue;
+                const segs2 = segmentsExcludingOwnPath(shiftedSegments(他.id, 他.d), ownSegsOf(label.id));
+                if (segs2.length === 0) continue;
+                出.set(他.id, measurePathLabelGapSegs(segs2, 箱));
+              }
+              return 出;
+            };
+            const いまの距離 = 線ごとの距離(label);
+            const 悪くする = (箱: BBox): boolean => {
+              const 後 = 線ごとの距離(箱);
+              for (const [id, 前の値] of いまの距離) {
+                const 後の値 = 後.get(id) ?? Infinity;
+                // 前より縮めない。 前が要求を満たしていたなら、その要求も割らない
+                if (後の値 < Math.min(前の値, pathLabelClearance)) return true;
+              }
+              return false;
+            };
+            for (const 候 of 候補) {
+              if (悪くする(動かした箱(候.axis, 候.sign))) continue;
+              out.push({
+                target: { kind: "label", id: label.id },
+                axis: 候.axis,
+                sign: 候.sign,
+                amount: 量,
+                chain: false,
+              });
+              break;
+            }
+          }
+        }
       }
     }