@cardenelabs/dragon 0.26.0 → 0.28.0

package/src/notation-lint.ts

@@ -1,22 +1,22 @@
 /**
- * Notation lint (author 向け修正システム)。
+ * 記法の検査 (図を書く人向けの修正システム)。
  *
- * cdl / dragon 記法で書かれた CdlDiagram を rule-based に検査し、
- * 「もっと良い書き方」 を suggestion として返す純粋関数。 LLM 不要、 rule のみ。
+ * cdl / dragon の記法で書いた図 (`CdlDiagram`) を決まった規則で検査し、直し方を修正案
+ * (`suggestion`) として返す純粋関数。 言語モデルは使わない。
  *
- * 検知システム (`check:cdl` / `check:dragon` / `check:kind`) は開発陣向けで
- * 「実装バグ」 を検出するが、 本 notation-lint は **author 向け** で
- * 「書き方の癖 / 冗長表現 / 未定義参照 / 空 payload」 等を検出する。
+ * 検知システム (`check:cdl` / `check:dragon` / `check:kind`) は開発者向けで実装の不具合を
+ * 見つける。 こちらは図を書く人向けで、読む人へ伝わらない書き方 (図の説明に入り込んだ実装の
+ * 書き方、無い部品を指す参照、値や項目が空の図表など) を見つける。
  *
  * 使い方:
- *   import { lintDiagram } from "@cardenelabs/dragon";
+ *   import { lintDiagram, autoFix } from "@cardenelabs/dragon";
  *   const report = lintDiagram(diagram);
- *   // report.issues[] = LintIssue[]
- *   // report.fixed = LintIssue[] のうち自動修正で解消される件
- *   // report.autoFix(diagram) = 修正済 CdlDiagram
+ *   // report.issues = LintIssue[]
+ *   // report.autoFixableCount = 自動修正で実際に解消できる指摘の数
+ *   const patched = autoFix(diagram); // 自動修正を当てた新しい図 (元の図は変えない)
  *
- * CLI:
- *   pnpm dragon-lint apps/playground-spa/src/topics/catalog/presets.cdl.ts
+ * 道具:
+ *   node packages/dragon/scripts/dragon-lint.mjs apps/playground-spa/src/topics/catalog/presets.cdl.ts
  */
 import type { CdlDiagram, CdlNode } from "@cardenelabs/cdl";
 
@@ -28,9 +28,12 @@ export type LintIssue = {
   severity: LintSeverity;
   /** 該当対象 (node id / edge id / diagram id) */
   target: string;
-  /** 人間向けメッセージ */
+  /**
+   * 書き手向けの指摘の文。 書き手が打ち込む識別子と書き手の値は `` ` `` で囲み、 残りは日本語で書く
+   * (画面側の `lint-message-words.test.ts` が全規則の文を判定に通す)
+   */
   message: string;
-  /** 修正案 (自動修正可能なら適用後の値、 手動修正必要なら null) */
+  /** 修正案。 自動修正できる指摘は自動修正が書く値そのもの、 できない指摘は直し方の文 */
   suggestion?: string;
   /** autoFix() が本 issue を自動解消できるか */
   autoFixable: boolean;
@@ -43,11 +46,21 @@ export type LintReport = {
   autoFixableCount: number;
 };
 
+/**
+ * 図の説明に入り込んだ実装の書き方と、 読む人に何が伝わらないか。
+ *
+ * 文は理由だけを持ち、 直し方の例を書かない。 直し方は修正案 (`suggestion`) が自動修正の
+ * 出力から作る。 例を字で書くと、 自動修正の出力を変えた日に例だけが古い文型で残る
+ * (実測 = #1934 で出力を変えた後も `「〜 を示す図」 のように` が残っていた、 #1940)。
+ */
 const REDUNDANT_TOPIC_PATTERNS: Array<{ pattern: RegExp; hint: string }> = [
-  { pattern: /\bpreset\s*\(/i, hint: "「〜 preset (詳細)」 は実装表現、 「〜 を示す図」 のように読者向け説明に" },
-  { pattern: /render\s*未実装/, hint: "「render 未実装」 は開発者向け内部メモ、 catalog 表示では省く" },
-  { pattern: /SVG\s+(polyline|arc|rect|path)/i, hint: "「SVG polyline / arc / rect / path」 は実装詳細、 「〜 を示す図」 に置換" },
-  { pattern: /\bpolygon\b/i, hint: "「polygon」 は実装用語、 図の意味を説明する自然文に置換" },
+  { pattern: /\bpreset\s*\(/i, hint: "`preset (…)` は作り手の書き方で、 読む人には何を示す図かが伝わらない" },
+  { pattern: /render\s*未実装/, hint: "`render 未実装` は作り手向けの控えで、 カタログに出す説明には要らない" },
+  {
+    pattern: /SVG\s+(polyline|arc|rect|path)/i,
+    hint: "`SVG` の描き方の名前 (`polyline` / `arc` / `rect` / `path`) は実装の詳細で、 何を示す図かが伝わらない",
+  },
+  { pattern: /\bpolygon\b/i, hint: "`polygon` は実装の言葉で、 何を示す図かが伝わらない" },
 ];
 
 /**
@@ -85,32 +98,46 @@ export function autoFix(d: CdlDiagram): CdlDiagram {
   return patched;
 }
 
-const KIND_TO_JA: Record<string, string> = {
-  chart: "統計チャート",
-  "line chart": "折れ線グラフ",
-  "pie chart": "円グラフ",
-  "bar chart": "棒グラフ",
-  flow: "処理の流れ",
-  swimlane: "スイムレーン (役割別レーン)",
-  sequence: "時系列のやり取り",
-  topology: "システム構成",
-  er: "テーブル関係 (ER 図)",
-  stateMachine: "状態遷移 (ステート図)",
-  stateMachine2: "拡張ステート図 (階層状態)",
-  infrastructure: "クラウド構成",
-  classDiagram: "UML クラス図",
-  tree: "階層ツリー",
-  userJourney: "ユーザージャーニー",
-  mindMap: "マインドマップ",
-  funnel: "ファネル (段階別離脱)",
-  quadrant: "四象限マトリクス",
-  gantt: "ガントチャート",
-  flowchart: "分岐フローチャート",
-  network: "ネットワーク構成",
+/**
+ * 図の型ごとに、 自動修正が書く説明「{shows}を示す{name}」 の 2 つの部品。
+ *
+ * `name` はカタログが同じ型の見本に付けた名前 (`apps/playground-spa/src/lib/i18n.ts` の
+ * `ITEM_NAME_JA` の `preset*`) と同じ字にする。 利用者は自動修正で書き換わった説明の名前で
+ * カタログを探すため、 呼び名が割れると同じ型の見本に辿り着けない。 照らす検査は画面側の
+ * `lint-topic-names.test.ts` が持つ (この package は画面側の file を読まない)。
+ *
+ * 説明の末尾を型の名前にするのは、 名前の多くが `図` で終わるため。 旧い文型
+ * 「{名前} を示す図」 のまま名前を差し替えると `工程表 を示す図` / `状態遷移図 を示す図` の
+ * ように図が重なる。 カタログの見本の説明 (`全体に対する内訳の割合を示す円グラフ`) と同じ並びにした。
+ *
+ * `chart` と `bar chart` はカタログに同じ型の見本が無いので、 図表の日常語で呼ぶ。
+ */
+const KIND_TO_JA: Record<string, { shows: string; name: string }> = {
+  chart: { shows: "項目ごとの数値", name: "グラフ" },
+  "line chart": { shows: "値の移り変わり", name: "折れ線グラフ" },
+  "pie chart": { shows: "全体に対する内訳の割合", name: "円グラフ" },
+  "bar chart": { shows: "項目ごとの値の大きさ", name: "棒グラフ" },
+  flow: { shows: "処理の順番", name: "フロー" },
+  swimlane: { shows: "役割ごとの縦列に分けた処理の流れ", name: "スイムレーン" },
+  sequence: { shows: "要素どうしのやり取りの順番", name: "シーケンス図" },
+  topology: { shows: "システムの構成要素と接続", name: "トポロジー図" },
+  er: { shows: "表どうしの関係", name: "ER図" },
+  stateMachine: { shows: "状態と遷移の条件", name: "状態遷移図" },
+  stateMachine2: { shows: "親の状態の中に置いた子の状態と遷移の条件", name: "入れ子の状態遷移図" },
+  infrastructure: { shows: "クラウドとネットワークの構成", name: "階層構成図" },
+  classDiagram: { shows: "クラスどうしの関係", name: "クラス図" },
+  tree: { shows: "組織や分類の親子の関係", name: "階層図" },
+  userJourney: { shows: "利用者の気持ちの移り変わり", name: "体験の道筋" },
+  mindMap: { shows: "中心の主題から広がる発想", name: "枝分かれ図" },
+  funnel: { shows: "段階ごとに残る数と離れる数", name: "絞り込み図" },
+  quadrant: { shows: "2 つの軸で分けた項目の位置", name: "四象限図" },
+  gantt: { shows: "作業の期間と前後の関係", name: "工程表" },
+  flowchart: { shows: "分岐や判定を含む処理の順番", name: "流れ図" },
+  network: { shows: "機器と区画のつながり", name: "ネットワーク図" },
 };
 
 function applyTopicAutoFix(topic: string): string {
-  // 1. 先頭の kind name を検出、 マッチしたら JA description に置換
+  // 1. 先頭の kind name を検出、 マッチしたら「{shows}を示す{name}」 に置換
   const kindMatch = topic.match(
     /^\s*(chart|flow|swimlane|sequence|topology|er|stateMachine2?|infrastructure|classDiagram|tree|userJourney|mindMap|funnel|quadrant|gantt|flowchart|network|line chart|pie chart|bar chart)\b/i,
   );
@@ -118,7 +145,8 @@ function applyTopicAutoFix(topic: string): string {
     const kind = kindMatch[1]!.toLowerCase();
     const canonical = Object.keys(KIND_TO_JA).find((k) => k.toLowerCase() === kind);
     if (canonical) {
-      return `${KIND_TO_JA[canonical]} を示す図`;
+      const { shows, name } = KIND_TO_JA[canonical]!;
+      return `${shows}を示す${name}`;
     }
   }
 
@@ -131,21 +159,31 @@ function applyTopicAutoFix(topic: string): string {
   return out;
 }
 
+/**
+ * 図の説明に実装の書き方が入っていないかを見る。
+ *
+ * **自動修正で消えるかは、 直した後の説明にもう 1 度当てて決める** (#1940)。 自動修正が消すのは
+ * 先頭の型の名前と、 括弧の中の実装の言葉だけで、 括弧の外の `SVG polyline を使う` は字が変わらない。
+ * 当てずに「直せる」 と返すと、 道具が直せる数に入れ、 直したはずの指摘が次の検査でまた出る。
+ *
+ * 修正案は、 直せる時は自動修正が書く値そのもの (`LintIssue.suggestion` の約束)、 直せない時は
+ * 直し方の文にする。 文の例は書き換え先の表から作り、 字で書かない。
+ */
 function ruleTopicRedundancy(d: CdlDiagram): LintIssue[] {
-  const out: LintIssue[] = [];
-  for (const { pattern, hint } of REDUNDANT_TOPIC_PATTERNS) {
-    if (pattern.test(d.topic)) {
-      out.push({
-        rule: "topic-redundant-implementation-detail",
-        severity: "warn",
-        target: d.id,
-        message: `topic に実装詳細が含まれる: "${d.topic}"`,
-        suggestion: hint,
-        autoFixable: true,
-      });
-    }
-  }
-  return out;
+  const 当たる = REDUNDANT_TOPIC_PATTERNS.filter(({ pattern }) => pattern.test(d.topic));
+  if (当たる.length === 0) return [];
+  const 直した後 = applyTopicAutoFix(d.topic);
+  const 直せる = !REDUNDANT_TOPIC_PATTERNS.some(({ pattern }) => pattern.test(直した後));
+  const 例 = KIND_TO_JA.gantt!;
+  const 手で直す = `何を示す図かを文で書き直す (「${例.shows}を示す${例.name}」 のように)`;
+  return 当たる.map(({ hint }) => ({
+    rule: "topic-redundant-implementation-detail",
+    severity: "warn",
+    target: d.id,
+    message: `図の説明 \`${d.topic}\` に実装の書き方が入っている。 ${hint}`,
+    suggestion: 直せる ? 直した後 : 手で直す,
+    autoFixable: 直せる,
+  }));
 }
 
 function ruleEmptyChartData(d: CdlDiagram): LintIssue[] {
@@ -158,8 +196,8 @@ function ruleEmptyChartData(d: CdlDiagram): LintIssue[] {
           rule: "chart-empty-datum",
           severity: "warn",
           target: n.id,
-          message: `chart node "${n.id}" が datum 0 件、 chart は非表示になる`,
-          suggestion: `.datum({ id: ..., label: ..., value: ... }) を 1 件以上追加`,
+          message: `図表 \`${n.id}\` に値 (\`datum\`) が 1 件も無く、 図表が描かれない`,
+          suggestion: `\`.datum({ id, label, value })\` で値を 1 件以上足す`,
           autoFixable: false,
         });
       }
@@ -168,8 +206,8 @@ function ruleEmptyChartData(d: CdlDiagram): LintIssue[] {
           rule: "chart-single-datum",
           severity: "info",
           target: n.id,
-          message: `chart node "${n.id}" が datum 1 件、 比較 / 推移として意味が薄い`,
-          suggestion: `2 件以上の datum を推奨 (line 系は 3 件以上で trend が見える)`,
+          message: `図表 \`${n.id}\` の値 (\`datum\`) が 1 件だけで、 比べることも移り変わりを追うこともできない`,
+          suggestion: `値を 2 件以上にする (折れ線グラフは 3 件以上で傾きが読める)`,
           autoFixable: false,
         });
       }
@@ -190,8 +228,8 @@ function ruleGanttUnknownDependsOn(d: CdlDiagram): LintIssue[] {
             rule: "gantt-unknown-depends-on",
             severity: "warn",
             target: t.id,
-            message: `task "${t.id}" が未定義 task "${t.dependsOn}" に dependsOn 参照`,
-            suggestion: `参照先 id を修正 or dependsOn を除去`,
+            message: `作業 \`${t.id}\` の \`dependsOn\` が、 無い作業 \`${t.dependsOn}\` を指している`,
+            suggestion: `\`dependsOn\` を既にある作業の \`id\` に直すか、 \`dependsOn\` を外す`,
             autoFixable: false,
           });
         }
@@ -225,8 +263,8 @@ function ruleMindMapParentReference(d: CdlDiagram): LintIssue[] {
             rule: "mindmap-unknown-parent",
             severity: "warn",
             target: b.id,
-            message: `branch "${b.id}" が未定義 parent "${b.parent}" を参照`,
-            suggestion: `parent を rootId ("${n.mindData.rootId}") または既存 branch id に修正`,
+            message: `枝 \`${b.id}\` の \`parent\` が、 無い枝 \`${b.parent}\` を指している`,
+            suggestion: `\`parent\` を中心 (\`${n.mindData.rootId}\`) か、 既にある枝の \`id\` に直す`,
             autoFixable: false,
           });
         }
@@ -247,8 +285,8 @@ function ruleTreeParentReference(d: CdlDiagram): LintIssue[] {
             rule: "tree-unknown-parent",
             severity: "warn",
             target: t.id,
-            message: `tree node "${t.id}" が未定義 parent "${t.parent}" を参照`,
-            suggestion: `parent id を既存 tree node に修正 or parent 除去 (root にする)`,
+            message: `階層図の項目 \`${t.id}\` の \`parent\` が、 無い項目 \`${t.parent}\` を指している`,
+            suggestion: `\`parent\` を既にある項目の \`id\` に直すか、 \`parent\` を外して一番上の項目にする`,
             autoFixable: false,
           });
         }
@@ -268,8 +306,8 @@ function ruleQuadrantMissingItems(d: CdlDiagram): LintIssue[] {
           rule: "quadrant-empty",
           severity: "warn",
           target: n.id,
-          message: `quadrant "${n.id}" が item 0 件、 軸のみ表示される`,
-          suggestion: `.item({ id: ..., title: ..., quadrant: "topLeft" | ... }) を 1 件以上追加`,
+          message: `四象限図 \`${n.id}\` に項目 (\`item\`) が 1 件も無く、 軸だけが描かれる`,
+          suggestion: `\`.item({ id, title, quadrant })\` で項目を 1 件以上足す (\`quadrant\` は \`topLeft\` などの 4 区画から選ぶ)`,
           autoFixable: false,
         });
       }
@@ -279,8 +317,8 @@ function ruleQuadrantMissingItems(d: CdlDiagram): LintIssue[] {
           rule: "quadrant-single-quadrant",
           severity: "info",
           target: n.id,
-          message: `quadrant "${n.id}" の item が 1 象限に集中、 マトリクスの意味が薄い`,
-          suggestion: `2 象限以上に item を分散 (SWOT / Priority matrix 等は 4 象限 balanced を推奨)`,
+          message: `四象限図 \`${n.id}\` の項目がすべて 1 つの区画に集まり、 4 つに分けた意味が薄い`,
+          suggestion: `項目を 2 つ以上の区画に分ける。 強みと弱みを並べる分析 (\`SWOT\`) や優先度を決める図は、 4 つの区画に散らして使う`,
           autoFixable: false,
         });
       }
@@ -290,13 +328,13 @@ function ruleQuadrantMissingItems(d: CdlDiagram): LintIssue[] {
 }
 
 /**
- * 段の人数が減っていくことを見る。
+ * 段階の人数が減っていくことを見る。
  *
  * 人数の欄は `{名前}` を書ける (状態から取る形、 cdl の `render/payload-binding.ts` が解く)。
  * その場合ここでは値が決まらないので、**数どうしの組だけを比べる** (#1194)。
  *
  * 素通しで比べると文字列の大小比較になり、`{trial}` が `{signup}` より大きいという理由で
- * 発火する。 実際に見本帳の funnel を状態から取る形にした時、その偽発火が出た。
+ * 発火する。 実際にカタログの funnel を状態から取る形にした時、その偽発火が出た。
  */
 function ruleFunnelMonotonicCount(d: CdlDiagram): LintIssue[] {
   const out: LintIssue[] = [];
@@ -312,8 +350,8 @@ function ruleFunnelMonotonicCount(d: CdlDiagram): LintIssue[] {
             rule: "funnel-increasing-count",
             severity: "warn",
             target: stages[i]!.id,
-            message: `stage "${stages[i]!.id}" (${stages[i]!.count}) が前段 (${stages[i - 1]!.count}) より増加、 funnel は単調減少が期待される`,
-            suggestion: `stage 順を再確認、 増加 pattern なら別 preset (chart-line 等) を検討`,
+            message: `段階 \`${stages[i]!.id}\` の数 (${今}) が前の段階 (${前}) より多い。 絞り込み図は段階が進むほど数が減る`,
+            suggestion: `段階の順番を確かめる。 数が増える流れを示すなら、 折れ線グラフ (\`chart-line\`) などの別の図にする`,
             autoFixable: false,
           });
         }

package/src/schemas/diagram.json

@@ -241,28 +241,6 @@
                 "type": "number",
                 "description": "箱の高さ。"
               },
-              "nodes": {
-                "type": "object",
-                "description": "箱の中の要素ごとの位置と大きさ。 key は header / footer / s0 等の要素名。",
-                "additionalProperties": {
-                  "type": "object",
-                  "additionalProperties": false,
-                  "properties": {
-                    "posX": {
-                      "type": "number"
-                    },
-                    "posY": {
-                      "type": "number"
-                    },
-                    "posW": {
-                      "type": "number"
-                    },
-                    "posH": {
-                      "type": "number"
-                    }
-                  }
-                }
-              },
               "scale": {
                 "type": "number",
                 "description": "parts の描画倍率。 kind に parts identifier を指定した時だけ使える。"
@@ -523,6 +501,10 @@
             "type": "string",
             "description": "ラベル下の補足"
           },
+          "tailSub": {
+            "type": "string",
+            "description": "クラス図の出どころ側の多重度 (例 \"1\")。 sub が行き先の端の多重度。 クラス図でだけ効く"
+          },
           "tone": {
             "type": "string",
             "enum": [
@@ -581,7 +563,7 @@
               "many",
               "zero-many"
             ],
-            "description": "着き先側の端の形。 端の形で関係の種類を示す = triangle (継ぐ) / diamond (持つ) / open (使う) / crow (多) / one / zero-one / many / zero-many (個数)。 書かなければ塗った三角になる。"
+            "description": "着き先側の端の形。 端の形で関係の種類を示す = triangle (継承・実装) / diamond (集約・コンポジション) / open (関連・依存) / crow (多) / one / zero-one / many / zero-many (個数)。 書かなければ塗った三角になる。"
           },
           "tailHead": {
             "type": "string",
@@ -658,6 +640,18 @@
             "type": "boolean",
             "description": "true で説明文を矢印の線の上に重ねる (分岐図の条件ラベル用)"
           },
+          "fromPartNode": {
+            "type": "string",
+            "minLength": 1,
+            "pattern": "\\S",
+            "description": "from が部品の時、矢印を繋ぐ部品の中の要素の id。 要素を 1 つだけ持つ部品は書かなくてもその要素に繋ぐ。 要素を 2 つ以上持つ部品は書かないと矢印を外して知らせる"
+          },
+          "toPartNode": {
+            "type": "string",
+            "minLength": 1,
+            "pattern": "\\S",
+            "description": "to が部品の時、矢印を繋ぐ部品の中の要素の id。 要素を 1 つだけ持つ部品は書かなくてもその要素に繋ぐ。 要素を 2 つ以上持つ部品は書かないと矢印を外して知らせる"
+          },
           "pos": {
             "type": "object",
             "additionalProperties": false,
@@ -780,9 +774,13 @@
               "tree",
               "gantt",
               "funnel",
-              "slope"
+              "slope",
+              "gauge",
+              "radial",
+              "stacked",
+              "waffle"
             ],
-            "description": "この phase で起点から描くもの。 語は図種と揃える。 line / journey = 線が左端から右へ伸びる / bar = 棒が横軸から上へ伸びる / pie = 扇が 12 時から時計回りに開く / mind = 枝が中心から外へ伸びる / tree = 枝が根から下へ伸びる / gantt = 帯が各始端から右へ伸びる / funnel = 段が上端から順に積まれる / slope = 線が左の軸から右の軸へ伸びる"
+            "description": "この phase で起点から描くもの。 語は図種と揃える。 line / journey = 線が左端から右へ伸びる / bar = 棒が横軸から上へ伸びる / pie = 扇が 12 時から時計回りに開く / mind = 枝が中心から外へ伸びる / tree = 枝が根から下へ伸びる / gantt = 帯が各始端から右へ伸びる / funnel = 段が上端から順に積まれる / slope = 線が左の軸から右の軸へ伸びる / gauge = 弧が 9 時から上を通って 3 時へ伸びる / radial = 各輪が 12 時から時計回りに開く / stacked = 帯が左端から右へ伸びる / waffle = 印が左上から読む向きに 1 個ずつ埋まる"
           },
           "drawRatio": {
             "type": "number",
@@ -2017,10 +2015,43 @@
           "min": {
             "type": "number"
           },
+          "offLabel": {
+            "type": "string",
+            "minLength": 1,
+            "description": "切り替え (toggle) が切の時に、箱の字の差し込みへ描く名前。 省略すると false を描く。"
+          },
+          "onLabel": {
+            "type": "string",
+            "minLength": 1,
+            "description": "切り替え (toggle) が入の時に、箱の字の差し込みへ描く名前。 省略すると true を描く。"
+          },
           "options": {
             "type": "array",
+            "description": "選択肢。 文字列は値と名前を兼ね、{ value, label } の組は value を値にして label を操作部の選択肢と箱の字の差し込みに描く。 2 つを混ぜて書ける。",
             "items": {
-              "type": "string"
+              "oneOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "object",
+                  "additionalProperties": false,
+                  "required": [
+                    "value",
+                    "label"
+                  ],
+                  "properties": {
+                    "value": {
+                      "type": "string",
+                      "minLength": 1
+                    },
+                    "label": {
+                      "type": "string",
+                      "minLength": 1
+                    }
+                  }
+                }
+              ]
             }
           },
           "placeholder": {
@@ -2194,11 +2225,34 @@
     },
     "formulas": {
       "type": "object",
-      "description": "つまみの値から決まる値。 名前を鍵、式を値に書く。 `values` とは経路が別で、式は名前を中括弧で囲わない (例 \"input * 2\")。",
+      "description": "つまみの値から決まる値。 名前を鍵、式を値に書く。 `values` とは経路が別で、式は名前を中括弧で囲わない (例 \"input * 2\")。 操作部に出す名札を付ける時は { \"expression\": \"input * 2\", \"label\": \"2 倍\" } の組で書く。",
       "additionalProperties": {
-        "type": "string",
-        "minLength": 1,
-        "pattern": "\\S"
+        "oneOf": [
+          {
+            "type": "string",
+            "minLength": 1,
+            "pattern": "\\S"
+          },
+          {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["expression"],
+            "properties": {
+              "expression": {
+                "type": "string",
+                "minLength": 1,
+                "pattern": "\\S",
+                "description": "式 (例 \"input * 2\")"
+              },
+              "label": {
+                "type": "string",
+                "minLength": 1,
+                "pattern": "\\S",
+                "description": "操作部に式の名前として出す名札。 書かなければ名前をそのまま出す"
+              }
+            }
+          }
+        ]
       },
       "propertyNames": {
         "pattern": "^[A-Za-z_][A-Za-z0-9_]*$"
@@ -2228,6 +2282,14 @@
       ],
       "description": "矢印をいつ出すか。 phase (既定) = 段が名指しする矢印はその段が来るまで描かない。 all = 段に関わらず最初から全部描く。"
     },
+    "relations": {
+      "type": "string",
+      "enum": [
+        "off",
+        "hover"
+      ],
+      "description": "箱に触れると関係する線だけを光らせるか。 off (既定) = 何もしない。 hover = 箱に触れた時にその箱と繋がる線と相手の箱だけが光り、他が沈む。 順番を持たないクラス図と ER 図で使う。"
+    },
     "bands": {
       "type": "array",
       "description": "順序図で面が動いている間の帯。 書かなければ面ごとに「最初に関わった段から最後まで」 の 1 本になる。",