@cardenelabs/cdl 0.41.1 → 0.43.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardenelabs/cdl",
-  "version": "0.41.1",
+  "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 間隔で再配置する。

package/src/layout/spec.ts

@@ -581,9 +581,14 @@ export function requiredVerticalLabelGap(pillHs: readonly number[]): number {
  * `computeLabelBBoxWorld` は本 helper を呼出、 layout/edges.ts routePathL は labelX / labelY
  * 未確定の段階で幅だけ必要なので本 helper を単独で呼ぶ。
  *
- * 返す値は **偶数に切り上げる**。 label 位置は `経路の端 + 余白 + 幅 / 2` で決まり、
- * 文字幅の実測値をそのまま使うと半端な小数が乗って輪郭がにじむ (`subpixel-precision` 軸)。
- * 幅を偶数にすると `幅 / 2` が整数になり、 端と余白が整数である限り位置も整数に揃う。
+ * 返す値は **偶数に切り上げる**。 label 位置は `経路の端 + 余白 + 幅 / 2` で決まるので、
+ * 幅を偶数にすると `幅 / 2` が整数になり、 端と余白が整数である限り位置も 0.5 刻みに乗る。
+ *
+ * 元の根拠は「半端な小数が乗ると輪郭がにじむ」 だったが、 にじみは device pixel で起きる
+ * のに世界座標を見ていたため、 それを測っていた軸 33 は `#783` で畳んだ。 丸め自体は残す =
+ * 外すと全ての label が動く一方、 動かして良くなるものが無いため。 固定するのは
+ * 「座標が 0.5 刻みに乗る」 という性質で、 画面上のにじみは主張しない
+ * (`test/label-coord-half-grid.test.ts`)。
  *
  * 切り下げでなく切り上げるのは、 幅を狭める向きの丸めが節や他の label との間隔を
  * 減らすため。 広げる向きなら間隔は増える一方で、 増分は 2 world 未満に収まる

package/src/visual-validate.ts

@@ -316,8 +316,8 @@ export type VisualAxis =
   // CAR-Z5 (PR #84) 追加 = SVG filter / marker / gradient integrity 4 領域。
   | "color-blind-safety"
   | "marker-gradient-def-integrity"
-  // CAR-Z6 (PR #85) 追加 = subpixel / DOM complexity / motion / touch 4 領域。
-  | "subpixel-precision"
+  // CAR-Z6 (PR #85) 追加 = DOM complexity / motion / touch 3 領域
+  // (subpixel は #783 で削除)。
   | "dom-complexity-budget"
   | "reduced-motion-compat"
   | "touch-target-size"
@@ -471,7 +471,6 @@ function emptyCounts(): Record<VisualAxis, number> {
     "print-media-compat": 0,
     "color-blind-safety": 0,
     "marker-gradient-def-integrity": 0,
-    "subpixel-precision": 0,
     "dom-complexity-budget": 0,
     "reduced-motion-compat": 0,
     "touch-target-size": 0,
@@ -3049,27 +3048,54 @@ function runAxes(
   }
 
   // ───────────────────────────────────────────────────────────
-  // Axis 23: responsive-viewport (viewBox の過剰扁平回避)
+  // Axis 23: responsive-viewport (親幅に収めた時に文字が小さくなりすぎないか)
   //
-  // 判定 = viewBox aspect ratio が RESPONSIVE_MAX_ASPECT (6:1) を超えると横長すぎで
-  // responsive 破綻。 縦 1 段の図に lane を並べ続けると高さが伸びないまま幅だけ増え、
-  // 親幅に収めた時に帯状に潰れて中身が読めなくなる。
-  //
-  // viewBox width の下限は見ない。 render は `w-full` + `preserveAspectRatio="xMidYMid meet"`
-  // で親要素の幅いっぱいに伸ばすため (`render/stage.tsx`)、 画面上の文字サイズは
+  // render は `w-full` + `preserveAspectRatio="xMidYMid meet"` で親要素の幅いっぱいに伸ばす
+  // (`render/stage.tsx`)。 したがって画面上の文字サイズは
   //
   //   画面上の文字サイズ = 文字の world 寸法 × (親要素の幅 px ÷ viewBox width)
   //
-  // で決まる。 viewBox width が小さいほど倍率が上がって読みやすくなるので、 「幅が小さい =
-  // 識別不能」 は成り立たない。 以前は 400 world 未満を warn にしていたが、 dragon の見本で
+  // で決まる。 **この式に縦横比は出てこない**。 判定は viewBox width の上限で行う。
+  //
+  // 以前は縦横比 6:1 を超えると warn にしていたが、 下流の見本帳 444 枚の実測で順位が
+  // 一致しなかった。 画面上の文字が最も小さい図 (幅 3353 world、 器 1100px で 7.2px) は
+  // 縦横比 1.4 なので 1 度も拾われず、 縦横比が最大の図 (比 8.0、 幅 1535 world) は 15.8px で
+  // 十分読めた。 文字が小さい上位 20 枚のうち縦横比が拾ったのは 5 枚だけ (`#785`)。
+  //
+  // 幅の **下限** は見ない。 viewBox width が小さいほど倍率が上がって読みやすくなるので、
+  // 「幅が小さい = 識別不能」 は成り立たない。 以前 400 world 未満を warn にしていた頃に
   // 発火した 17 件は全て単体部品の図 (271-390 world) で、 幅 375px の携帯では 1.0-1.38 倍に
-  // 拡大される最も読みやすい部類だった。 閾値を下げても判定の向きが誤ったまま残るため、
-  // 判定ごと外している。
+  // 拡大される最も読みやすい部類だった。
   //
-  // 幅の下限を外した分、 描画不能な寸法 (0 / 負値 / 非有限) だけは別に拾う。 縦横比は
-  // 0 幅で NaN、 負値で符号が反転して比較が素通りするため、 比を出す前に弾く。
+  // 描画不能な寸法 (0 / 負値 / 非有限) は別に拾う。 倍率は 0 幅で無限大になり、 負値で
+  // 符号が反転して比較が素通りするため、 割る前に弾く。
   // ───────────────────────────────────────────────────────────
-  const RESPONSIVE_MAX_ASPECT = 6;
+  //
+  /**
+   * 判定に使う親要素の幅 (px)。 書き出しの窓 1600px から左右の余白を引いた実測の見当。
+   *
+   * **実際の親幅は呼び出し側が決める**。 engine はそれを知らないので、 判定の基準として
+   * 1 つ選ぶ。 選んだ値そのものが閾値の意味を決めるため、 定数として出す。
+   */
+  const RESPONSIVE_REF_CONTAINER_PX = 1100;
+  /**
+   * 画面上で読めると見なす文字の下限 (px)。
+   *
+   * 12px は WCAG が数値で定める下限ではない (WCAG は寸法でなく拡大できることを求める)。
+   * 下流の見本帳で実際に読み取れるかを見て決めた運用上の下限で、 これを下回る図は
+   * 器 1100px の画面で拡大しないと読めない。
+   */
+  const RESPONSIVE_MIN_ON_SCREEN_FONT_PX = 12;
+  /**
+   * 判定の基準にする文字の world 寸法。 箱の題の大きさ (`kinds/storage.tsx` の fontSize 22)。
+   *
+   * 図の中には これより小さい文字 (辺の名札等) もあるが、 基準を最小の文字に取ると
+   * ほぼ全ての図が境を割る。 最も多く出る文字で見る。
+   */
+  const RESPONSIVE_BASE_FONT_WORLD = 22;
+  /** 上の 3 つから導く viewBox width の上限。 数を直接書かない。 */
+  const RESPONSIVE_MAX_VIEWBOX_W =
+    (RESPONSIVE_BASE_FONT_WORLD * RESPONSIVE_REF_CONTAINER_PX) / RESPONSIVE_MIN_ON_SCREEN_FONT_PX;
   const vbResp = laid.viewBox;
   if (
     !(vbResp.w > 0) ||
@@ -3082,17 +3108,15 @@ function runAxes(
       `viewBox 寸法 ${vbResp.w}×${vbResp.h} が描画不能 (正の有限値である必要がある)`,
       "warn",
     );
-  } else {
-    // 横長と縦長を同じ尺度で見る。 縦長を aspect のまま報告すると detail が
-    // 「aspect 0.1 が 6:1 超え」 のように読めない値になる。
-    const worstAspect = Math.max(vbResp.w / vbResp.h, vbResp.h / vbResp.w);
-    if (worstAspect > RESPONSIVE_MAX_ASPECT) {
-      push(
-        "responsive-viewport",
-        `viewBox aspect ${worstAspect.toFixed(1)}:1 が RESPONSIVE_MAX_ASPECT ${RESPONSIVE_MAX_ASPECT}:1 超え`,
-        "warn",
-      );
-    }
+  } else if (vbResp.w > RESPONSIVE_MAX_VIEWBOX_W) {
+    const 画面上の字 = (RESPONSIVE_BASE_FONT_WORLD * RESPONSIVE_REF_CONTAINER_PX) / vbResp.w;
+    push(
+      "responsive-viewport",
+      `viewBox width ${vbResp.w} が上限 ${RESPONSIVE_MAX_VIEWBOX_W.toFixed(0)} 超え ` +
+        `(親幅 ${RESPONSIVE_REF_CONTAINER_PX}px で箱の題が ${画面上の字.toFixed(1)}px、 ` +
+        `下限 ${RESPONSIVE_MIN_ON_SCREEN_FONT_PX}px)`,
+      "warn",
+    );
   }
 
   // ───────────────────────────────────────────────────────────
@@ -3367,55 +3391,6 @@ function runAxes(
     }
   }
 
-  // ───────────────────────────────────────────────────────────
-  // Axis 33: subpixel-precision (node / edge label 座標の subpixel drift 検知)
-  //
-  // 判定 = node cx / cy / edge labelX / labelY / lane x / y が SUBPIXEL_TOL (0.5 world) を
-  // 超えて小数点を持つ (e.g. 100.7) と subpixel render 時に SVG 描画が blur を生む。
-  // 整数化 or 0.5 刻みが理想。 label は shift 経路の結果として非整数が出やすい。
-  // ───────────────────────────────────────────────────────────
-  const SUBPIXEL_TOL = 0.5;
-  function isSubpixel(v: number): boolean {
-    // 整数と 0.5 刻みの両方を許容する。
-    //
-    // 0.5 は SVG では「にじむ座標」 ではない。 幅 1 の線は中心を .5 に置くと 1 pixel に
-    // ちょうど収まって輪郭が立つ (逆に整数に置くと 2 pixel に半分ずつ跨いでぼやける)。
-    // 本 axis の説明も「整数化 or 0.5 刻みが理想」 としており、 判定側だけが 0.5 を
-    // 弾いていた。 説明に合わせる。
-    //
-    // 判定は「最も近い 0.5 の倍数からの距離」 で見る。 0.05 以下は float 演算の誤差として許容。
-    const nearestHalf = Math.round(v * 2) / 2;
-    return Math.abs(v - nearestHalf) > SUBPIXEL_TOL / 10;
-  }
-  for (const n of laid.nodes) {
-    if (n.id.endsWith("-spacer") || /^s\d+-/.test(n.id)) continue;
-    if (isSubpixel(n.cx) || isSubpixel(n.cy)) {
-      push(
-        "subpixel-precision",
-        `node "${n.id}" 座標 (${n.cx.toFixed(2)}, ${n.cy.toFixed(2)}) が非整数、 subpixel blur リスク`,
-        "warn",
-      );
-    }
-  }
-  for (const e of laid.edges) {
-    if (isSubpixel(e.labelX) || isSubpixel(e.labelY)) {
-      push(
-        "subpixel-precision",
-        `edge "${e.id}" label 座標 (${e.labelX.toFixed(2)}, ${e.labelY.toFixed(2)}) が非整数、 subpixel blur リスク`,
-        "warn",
-      );
-    }
-  }
-  for (const l of laid.lanes) {
-    if (isSubpixel(l.x) || isSubpixel(l.y)) {
-      push(
-        "subpixel-precision",
-        `lane "${l.id}" 座標 (${l.x.toFixed(2)}, ${l.y.toFixed(2)}) が非整数、 subpixel blur リスク`,
-        "warn",
-      );
-    }
-  }
-
   // ───────────────────────────────────────────────────────────
   // Axis 34: dom-complexity-budget (1 diagram あたりの element 総数)
   //
@@ -4481,7 +4456,6 @@ function validateMetaAxes(
     "print-media-compat",
     "color-blind-safety",
     "marker-gradient-def-integrity",
-    "subpixel-precision",
     "dom-complexity-budget",
     "reduced-motion-compat",
     "touch-target-size",
@@ -4550,7 +4524,6 @@ function validateMetaAxes(
     "print-media-compat",
     "color-blind-safety",
     "marker-gradient-def-integrity",
-    "subpixel-precision",
     "dom-complexity-budget",
     "reduced-motion-compat",
     "touch-target-size",
@@ -4607,8 +4580,9 @@ function validateMetaAxes(
   //
   // 削除済 = engine-meta 51 (mermaid-parity、 #366) / 軸 29 (svg-filter-integrity) /
   // 軸 30 (neumorphism-shadow-budget、 どちらも #426 で主題の廃止に伴い削除) /
-  // 軸 40 (memory-budget、 #775 で軸 34 に一本化)。
-  const EXPECTED_AXIS_COUNT = 67;
+  // 軸 40 (memory-budget、 #775 で軸 34 に一本化) /
+  // 軸 33 (subpixel-precision、 #783 で削除)。
+  const EXPECTED_AXIS_COUNT = 66;
   if (allAxes.length !== EXPECTED_AXIS_COUNT) {
     out.push({
       axis: "axis-documentation-completeness",