@cardenelabs/cdl 0.42.0 → 0.43.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardenelabs/cdl",
-  "version": "0.42.0",
+  "version": "0.43.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/lanes.ts

@@ -219,7 +219,20 @@ export function expandLaneGapsForEdgeLabels(
   // 修正 = edge が跨ぐ全ての隣接 lane 対に対して、 その edge の labelBoxW を要求する。
   // label が span 内のどの対に置かれても収まることを保証する (routing 前なので
   // 実際の label x は未定、 保守的に全対へ課す)。
-  const requiredBoxWByPair = new Array<number>(Math.max(0, sortedByX.length - 1)).fill(0);
+  //
+  // **要求は 2 種類に分ける** (`#789`)。 起点にできる位置が違うため。
+  //
+  // | 辺の形 | label が入りうる場所 | 起点 |
+  // |---|---|---|
+  // | 隣り合う 2 lane を発着 | 発着の 2 lane の内側と その間 | node の縁 |
+  // | 2 対以上を跨ぐ | 途中の lane の内側にも入りうる | lane の縁 |
+  //
+  // Axis 64 (`lane-border-clearance`) は **発着以外の lane** の border を貫くことだけを見る
+  // (`allowedLanes`)。 隣り合う辺の label が入るのは発着の 2 lane に閉じるので判定の対象外に
+  // なり、 node の縁を起点にしても新しい違反にならない。 跨ぐ辺は途中の lane を貫きうるので
+  // lane の縁のまま残す。
+  const requiredBoxWAdjacent = new Array<number>(Math.max(0, sortedByX.length - 1)).fill(0);
+  const requiredBoxWSpanning = new Array<number>(Math.max(0, sortedByX.length - 1)).fill(0);
   for (const edge of edges) {
     const fromLane = nodeById.get(edge.from)?.lane;
     const toLane = nodeById.get(edge.to)?.lane;
@@ -231,11 +244,27 @@ export function expandLaneGapsForEdgeLabels(
     if (labelBoxW === 0) continue;
     const lo = Math.min(fi, ti);
     const hi = Math.max(fi, ti);
+    const 要求 = hi - lo === 1 ? requiredBoxWAdjacent : requiredBoxWSpanning;
     for (let pair = lo; pair < hi; pair++) {
-      if (labelBoxW > requiredBoxWByPair[pair]!) requiredBoxWByPair[pair] = labelBoxW;
+      if (labelBoxW > 要求[pair]!) 要求[pair] = labelBoxW;
     }
   }
 
+  /**
+   * lane の中で最も広い node の半幅。 node を 1 つも持たない lane は 0。
+   *
+   * 最大で取るのは、 一番広い node の縁から数えないと label がその node に被るため。
+   *
+   * **0 になる lane は `requiredBoxWAdjacent` の分岐に入らない**。 隣り合う要求が立つのは
+   * 発着の node が両 lane に居る edge がある時だけで、 その時どちらの lane も node を持つ。
+   * 使う側で 0 を除ける必要はない。
+   */
+  const 箱の半幅 = new Map<string, number>();
+  for (const n of nodes) {
+    const 今 = 箱の半幅.get(n.lane) ?? 0;
+    if (n.w / 2 > 今) 箱の半幅.set(n.lane, n.w / 2);
+  }
+
   // 各 隣接対が必要とする pitch (lane 中心間距離) を求め、 その最大値に全対を揃える。
   //
   // pitch を対ごとではなく全体で揃える理由 (Issue #202)。
@@ -250,26 +279,34 @@ export function expandLaneGapsForEdgeLabels(
   for (let i = 0; i < sortedByX.length - 1; i++) {
     const lane = sortedByX[i]!;
     const rightLane = sortedByX[i + 1]!;
-    const halfSum = lane.width / 2 + rightLane.width / 2;
+    const laneHalfSum = lane.width / 2 + rightLane.width / 2;
+    const nodeHalfSum = (箱の半幅.get(lane.id) ?? 0) + (箱の半幅.get(rightLane.id) ?? 0);
     const currentPitch = rightLane.x + rightLane.width / 2 - (lane.x + lane.width / 2);
-    const maxLabelBoxW = requiredBoxWByPair[i]!;
+    const 隣 = requiredBoxWAdjacent[i]!;
+    const 跨 = requiredBoxWSpanning[i]!;
     // edge が跨がない対は label 収納の要求がない。 下限を課さず現状の pitch を維持する。
     // author が意図的に lane を重ねた図 (resolveOverlaps が y 軸 shift で解消する edge case) を
     // engine が勝手に引き離さないため。
-    if (maxLabelBoxW === 0) {
+    if (隣 === 0 && 跨 === 0) {
       requiredPitchByPair.push(currentPitch);
       continue;
     }
-    const requiredGap = maxLabelBoxW + CLEARANCE_NODE_LABEL * 2 + EDGE_STUB_OUT * 2;
-    requiredPitchByPair.push(Math.max(currentPitch, requiredGap + halfSum));
+    // 上乗せ (node と label の余白 + 経路の突き出し) は どちらの起点でも同じ。
+    const 上乗せ = CLEARANCE_NODE_LABEL * 2 + EDGE_STUB_OUT * 2;
+    const 隣の要求 = 隣 === 0 ? 0 : 隣 + 上乗せ + nodeHalfSum;
+    const 跨の要求 = 跨 === 0 ? 0 : 跨 + 上乗せ + laneHalfSum;
+    requiredPitchByPair.push(Math.max(currentPitch, 隣の要求, 跨の要求));
   }
   // 整数に切り上げる。 pitch は label 幅から決まり、 label 幅は 1 文字あたりの送り幅
   // (1.08 em 等) × font size で出すため小数になる。 その小数がそのまま lane の x に乗り、
-  // node 中心 → edge label の x へ順に伝わって、 図全体の座標が非整数になっていた
-  // (実測 = dragon catalog 412 図で subpixel warn 936 件、 うち 9 割超が x 軸)。
+  // node 中心 → edge label の x へ順に伝わって、 図全体の座標が非整数になる。
+  //
+  // 元の根拠は「非整数座標は SVG が subpixel で描くので輪郭がにじむ」 だったが、 にじみは
+  // device pixel で起きるのに world 座標を見ていたため、 それを測っていた軸 33 は `#783` で
+  // 畳んだ。 切り上げ自体は残す = 座標が整数に揃うと図全体の値が読みやすく、 外すと 444 枚
+  // すべての lane の x が動く一方で得るものが無い。
   //
-  // SVG は非整数座標を subpixel で描くため線や文字の輪郭がにじむ。 切り上げなので
-  // label 収納に必要な幅は必ず確保される (切り捨てると label がはみ出す)。
+  // 切り上げなので label 収納に必要な幅は必ず確保される (切り捨てると label がはみ出す)。
   const targetPitch = Math.ceil(Math.max(...requiredPitchByPair));
 
   // 先頭 lane の x を固定し (viewBox 原点維持)、 以降を targetPitch 間隔で再配置する。