@cardenelabs/cdl 0.83.0 → 0.102.0

package/src/types.ts

@@ -64,57 +64,128 @@ export type CdlRole =
 export const NODE_KINDS = [
   // dynamic shape (CAR: shape primitive) ... signal 値で内部 fill / radius / angle 等が
   // リアルタイム変化する汎用 container、 shape spec は node.shape に格納
-  "dyn-rect", "dyn-circle", "dyn-arc", "dyn-wave", "dyn-polygon",
+  "dyn-rect",
+  "dyn-circle",
+  "dyn-arc",
+  "dyn-wave",
+  "dyn-polygon",
   // 既存 5 種
-  "actor", "function", "storage", "event", "card",
+  "actor",
+  "function",
+  "storage",
+  "event",
+  "card",
   // 人系 (5)
-  "person", "user-group", "admin", "developer", "external-user",
+  "person",
+  "user-group",
+  "admin",
+  "developer",
+  "external-user",
   // インフラ (6)
-  "database", "cache", "queue", "message-bus", "cloud", "cdn",
+  "database",
+  "cache",
+  "queue",
+  "message-bus",
+  "cloud",
+  "cdn",
   // アプリ系 (6)
-  "service", "api", "frontend", "backend", "webhook", "microservice",
+  "service",
+  "api",
+  "frontend",
+  "backend",
+  "webhook",
+  "microservice",
   // データ / 判定 (4)
-  "signer", "oracle", "merkle-tree", "decision",
+  "signer",
+  "oracle",
+  "merkle-tree",
+  "decision",
   // Chart 系 (5) ... 1 node に datum 配列を持ち、 kind 内で全 datum を SVG 描画。
   // chart-gauge は合計を主役に置く形 (cdl#549)、 chart-radial は弧の長さで比べる形 (cdl#550)、
   // chart-stat は数値そのものを主役に置く形 (cdl#553)
   // chart-waffle は 100 個の印で割合を数えて確かめる形 (cdl#552)
-  "chart-pie", "chart-line", "chart-bar", "chart-gauge", "chart-radial", "chart-stat",
+  "chart-pie",
+  "chart-line",
+  "chart-bar",
+  "chart-gauge",
+  "chart-radial",
+  "chart-stat",
   // chart-stacked-bar は帯を割合で区切り時点を並べる形 (cdl#551)
   // chart-slope は 2 時点を直線でつなぎ増減と順位の入れ替わりを見せる形 (cdl#688)
-  "chart-waffle", "chart-stacked-bar", "chart-slope",
+  "chart-waffle",
+  "chart-stacked-bar",
+  "chart-slope",
   // Timeline / Mind 系 (2、 CAR-994 Phase B) ... 1 node に payload 配列、 SVG geometry render
-  "gantt-timeline", "mind-map",
+  "gantt-timeline",
+  "mind-map",
   // Analytic 系 (4、 CAR-994 Phase C) ... 1 node に payload 配列、 SVG geometry render
-  "funnel-stages", "quadrant-matrix", "tree-hierarchy", "journey-map",
+  "funnel-stages",
+  "quadrant-matrix",
+  "tree-hierarchy",
+  "journey-map",
   // Shape-driven basement 8 (CAR-1099) ... 要素形状自体が意味を持つ SVG path node、
   // 「icon 右上」 型ではなく shape 自体がパーツ表現
-  "shape-file", "shape-folder", "shape-cloud", "shape-cylinder",
-  "shape-hexagon", "shape-diamond", "shape-stack", "shape-person",
+  "shape-file",
+  "shape-folder",
+  "shape-cloud",
+  "shape-cylinder",
+  "shape-hexagon",
+  "shape-diamond",
+  "shape-stack",
+  "shape-person",
   // Shape-driven software 6 (CAR-1111 Phase 2-B) ... ソフトウェア開発領域の視覚要素、
   // OS ウィンドウ / 端末 / コード block / kanban ticket / チャット吹き出し / 歯車
-  "shape-window", "shape-terminal", "shape-code-block",
-  "shape-kanban-card", "shape-message-bubble", "shape-gear",
+  "shape-window",
+  "shape-terminal",
+  "shape-code-block",
+  "shape-kanban-card",
+  "shape-message-bubble",
+  "shape-gear",
   // Shape-driven hardware 6 (CAR-1111 Phase 2-C) ... ハードウェア / IoT / エッジ領域の視覚要素、
   // rack 筐体 / network hub / スマホ / IoT sensor / ロボアーム / 人工衛星
-  "shape-server-rack", "shape-network-node", "shape-mobile-device",
-  "shape-iot-sensor", "shape-robot-arm", "shape-satellite",
+  "shape-server-rack",
+  "shape-network-node",
+  "shape-mobile-device",
+  "shape-iot-sensor",
+  "shape-robot-arm",
+  "shape-satellite",
   // Shape-driven blockchain / web3 10 (CAR-1111 Phase 2-D) ... Solidity / EVM 系開発 diagram 主体
-  "shape-smart-contract", "shape-blockchain-block", "shape-rpc-node",
-  "shape-wallet", "shape-nft", "shape-token",
-  "shape-blockchain", "shape-bitcoin-chain", "shape-ethereum-chain", "shape-blockchain-node",
+  "shape-smart-contract",
+  "shape-blockchain-block",
+  "shape-rpc-node",
+  "shape-wallet",
+  "shape-nft",
+  "shape-token",
+  "shape-blockchain",
+  "shape-bitcoin-chain",
+  "shape-ethereum-chain",
+  "shape-blockchain-node",
   // Shape-driven finance 7 (CAR-1111 Phase 2-D) ... 銀行 / 決済 / 信託 / 取引所主体
-  "shape-bank", "shape-trust-bank", "shape-payment-provider", "shape-credit-card",
-  "shape-brokerage", "shape-exchange", "shape-atm",
+  "shape-bank",
+  "shape-trust-bank",
+  "shape-payment-provider",
+  "shape-credit-card",
+  "shape-brokerage",
+  "shape-exchange",
+  "shape-atm",
   // Shape-driven commerce / web 6 (CAR-1111 Phase 2-D) ... web / EC / インフラ主体
-  "shape-website", "shape-storefront", "shape-warehouse",
-  "shape-online-shop", "shape-cdn-edge", "shape-api-gateway",
+  "shape-website",
+  "shape-storefront",
+  "shape-warehouse",
+  "shape-online-shop",
+  "shape-cdn-edge",
+  "shape-api-gateway",
   // Shape-driven people 6 (CAR-1111 Phase 2-D) ... 職種別 person 型 (監査 / 規制 / 公証 / 弁護 / トレーダ / CS)
-  "shape-auditor", "shape-regulator", "shape-notary",
-  "shape-lawyer", "shape-trader", "shape-customer-service",
+  "shape-auditor",
+  "shape-regulator",
+  "shape-notary",
+  "shape-lawyer",
+  "shape-trader",
+  "shape-customer-service",
   // 流れの始まりと終わりの印 2 種 (#560) ... 塗った丸と輪で囲んだ丸。
   // 状態遷移図が使う。 印そのものが意味を持つので文字は描かない
-  "mark-start", "mark-end",
+  "mark-start",
+  "mark-end",
   // 時系列のやり取り (#578) ... 1 つの箱が図を丸ごと描く。 縦が時間で、参加者は箱を持たない
   "sequence-board",
 ] as const;
@@ -173,15 +244,7 @@ export const EDGE_STYLES: readonly EdgeStyle[] = ["solid", "dotted-flow", "dashe
  * 1 つの欄に畳むと 2 軸の積を名前で列挙することになり、組合せが増えるたびに語が増える。
  */
 export type EdgeHead =
-  | "none"
-  | "triangle"
-  | "diamond"
-  | "open"
-  | "crow"
-  | "one"
-  | "zero-one"
-  | "many"
-  | "zero-many";
+  "none" | "triangle" | "diamond" | "open" | "crow" | "one" | "zero-one" | "many" | "zero-many";
 
 /** 書かなかった時の端の形。 既存の図はすべてこれで描かれている */
 export const EDGE_HEAD_DEFAULT: EdgeHead = "triangle";
@@ -670,12 +733,28 @@ export type QuadrantPayload = {
 /** quadrant-matrix の象限 4 種 */
 export type QuadrantKey = "topLeft" | "topRight" | "bottomLeft" | "bottomRight";
 
-/** quadrant-matrix の 1 item payload */
+/**
+ * quadrant-matrix の中の位置。 描画域の左下を (0, 0)、 右上を (1, 1) とする。
+ *
+ * **y は上向き**。 SVG の座標とは逆で、 図に出る軸の名前 (`↑ 大きい`) と同じ向きにする。
+ * 書き手が読む向きと書く向きが逆だと、 値を反転して書くことになる。
+ */
+export type QuadrantAt = { x: BoundNumber; y: BoundNumber };
+
+/**
+ * quadrant-matrix の 1 item payload。
+ *
+ * 位置の決め方は 2 通りで、**どちらか片方だけを読む**。 `at` があれば座標で置き、
+ * 無ければ `quadrant` の象限に積む。 両方を読むと同じことが 2 か所に書かれ、
+ * 食い違った時にどちらが正しいか決められない。
+ */
 export type QuadrantItemPayload = {
   id: string;
   title: string;
-  /** どの象限に居るか。 `{signal}` を書くと項目が象限を移る */
-  quadrant: BoundEnum<QuadrantKey>;
+  /** どの象限に居るか。 `{signal}` を書くと項目が象限を移る。 `at` がある項目では読まない */
+  quadrant?: BoundEnum<QuadrantKey>;
+  /** 描画域の中の位置。 書くと点として描かれ、象限は座標から決まる */
+  at?: QuadrantAt;
   subtitle?: string;
 };
 

package/src/visual-validate.ts

@@ -137,6 +137,9 @@ import {
   isRenderedNode,
   genericTitleBaselineY,
   rendersRows,
+  rendersEyebrow,
+  rendersSubtitle,
+  rendersValue,
   TITLE_ROW_MIN_GAP,
   rendersTitleText,
   fitsOwnTitleWidth,
@@ -356,6 +359,8 @@ export type VisualAxis =
   | "shape-label-dropped"
   // Axis 68 (`#538` 追加) = 木と放射の中の箱が低くて、 書いた補足が落ちたことを書き手に伝える。
   | "box-line-dropped"
+  // Axis 70 (`#933` 追加) = その種別が一度も描かない欄に語が書かれていることを書き手に伝える。
+  | "node-field-unsupported"
   // Axis 54 (2026-07-03 追加) = node bbox が所属 lane 内に収まっているか。
   // Axis 15 (lane-cx-consistency) は中心 x のみ、 本 axis は node 4 辺と lane 4 辺の包含関係を検知。
   | "node-inside-lane"
@@ -555,6 +560,7 @@ function emptyCounts(): Record<VisualAxis, number> {
     "node-inside-lane": 0,
     "shape-label-dropped": 0,
     "box-line-dropped": 0,
+    "node-field-unsupported": 0,
     "edge-inside-viewbox": 0,
     "lane-label-inside-viewbox": 0,
     "lane-label-overlap": 0,
@@ -2883,6 +2889,59 @@ function runAxes(
     );
   }
 
+  // ───────────────────────────────────────────────────────────
+  // Axis 70: node-field-unsupported (その種別が一度も描かない欄に語が書かれている、 #933)
+  //
+  // 判定 = 述語が偽の欄に語が在るか。 書いた語が画面に出ないまま消えるので、著者は
+  // 書いたつもりでいる。 `rows-not-rendered` (軸 68) が `rows` について同じことを見ており、
+  // 本軸は残る 3 欄 (肩書 / 説明 / 値) を同じ形で見る。
+  //
+  // 題 (`title`) は入れない。 呼び出し側が図全体の題を箱の題として渡すため
+  // (`dragon` の `compile/funnel.ts` が `title: doc.title` を渡す)、題が在ることは
+  // 書き手がその箱について選んだ結果ではない。 知らせても直す先が無い。
+  //
+  // `shape-label-dropped` (軸 67) との境界は **なぜ出ないか**。 あちらは箱が狭くて行が
+  // 落ちた形で、箱を高くすれば出る。 こちらは種別が元からその欄を描かない形で、箱をどれだけ
+  // 大きくしても出ない。 軸 67 の説明自身が「種別が元から対応しない欄は別の検査範囲」 と
+  // 書いており、その範囲が本軸になる。
+  //
+  // 手で 3 件直した後に置いた (#927 形の絵の副題 / #929 図表の題 / #931 じょうごと四象限の
+  // 項目の補足)。 いずれも種別を 1 つずつ探して気付いたもので、知らせる経路が無かった。
+  //
+  // **発火なしを許す一覧 (`DEAD_ALLOWLIST`) には入れない**。 実在の見本 374 枚に通したら
+  // 51 件出た (`storage` の説明 / 図表の肩書 に型の名前が残っている 等)。 稀な形だと見込んで
+  // 許可すると、出ているのに誰も見ない軸になる。
+  // ───────────────────────────────────────────────────────────
+  const 欄の描き分け: readonly {
+    欄: "eyebrow" | "subtitle" | "value";
+    語: string;
+    描くか: (kind: string | undefined) => boolean;
+  }[] = [
+    { 欄: "eyebrow", 語: "肩書", 描くか: rendersEyebrow },
+    { 欄: "subtitle", 語: "説明", 描くか: rendersSubtitle },
+    { 欄: "value", 語: "値", 描くか: rendersValue },
+  ];
+  for (const n of diag.nodes) {
+    // 常時非表示の node は対象外。 `rows-not-rendered` と同じ理由で、節ごと出ない形は
+    // 「欄が描かれない」 とは別の話になる (見本には配置の足場として置く書き方が実在する)
+    if (!isRenderedNode(n)) continue;
+    for (const { 欄, 語, 描くか } of 欄の描き分け) {
+      const 書いた = (n[欄] ?? "").trim();
+      // 空文字と空白だけは書いていないのと同じ。 描く側も空なら何も出さない
+      if (書いた === "") continue;
+      if (描くか(n.kind)) continue;
+      push(
+        "node-field-unsupported",
+        `node "${n.id}" (kind=${n.kind ?? "未指定"}) が ${欄} (${語}) に "${書いた}" を持つが、 この種別はその欄を描かない (書いた語が画面に出ない)`,
+        // 図そのものは正しく描かれており、効かない語が書かれているだけなので警告にする。
+        // 誤り扱いにすると、既に書いている図が 1 枚も通らなくなる (実測 = engine の検査
+        // だけで 8 file が落ちた)。 `rows-not-rendered` は誤り扱いだが、あちらは行が
+        // 箱の主な中身になる種別を相手にしており、落ちた時の図の壊れ方が違う
+        "warn",
+      );
+    }
+  }
+
   // ───────────────────────────────────────────────────────────
   // Axis 69: title-row-overlap (題の字と 1 行目の字が重なる)
   //
@@ -4720,6 +4779,7 @@ function validateMetaAxes(
     "column-gap-uniform",
   ];
   const allAxes: VisualAxis[] = [
+    "node-field-unsupported",
     "node-visibility",
     "edge-label-overlap",
     "edge-label-proximity",
@@ -4808,7 +4868,7 @@ function validateMetaAxes(
   // 軸 30 (neumorphism-shadow-budget、 どちらも #426 で主題の廃止に伴い削除) /
   // 軸 40 (memory-budget、 #775 で軸 34 に一本化) /
   // 軸 33 (subpixel-precision、 #783 で削除)。
-  const EXPECTED_AXIS_COUNT = 66;
+  const EXPECTED_AXIS_COUNT = 67;
   if (allAxes.length !== EXPECTED_AXIS_COUNT) {
     out.push({
       axis: "axis-documentation-completeness",