@cardenelabs/dragon 0.26.0 → 0.28.0

package/src/index.ts

@@ -25,7 +25,7 @@ export type { CdlDiagram } from "@cardenelabs/cdl";
 export { parseTextDslV05 } from "./v05";
 // 記法一覧が「実際に受け付ける値」 を実装から引くための公開。 手書きすると説明と実装がずれる。
 export { DRAW_TARGETS, DRAW_WORDS, PHASE_ITEM_WORDS, PRESET_TYPES, TOP_LEVEL_KEYS } from "./v05/parser";
-export { TONE_ALIAS, NODE_KIND_ALIAS } from "./keywords";
+export { TONE_ALIAS, NODE_KIND_ALIAS, DIRECTION_ALIAS } from "./keywords";
 export { lintDiagram, autoFix } from "./notation-lint";
 export type { LintIssue, LintReport, LintSeverity } from "./notation-lint";
 // canvas pivot 新 spec 図境界計算 helper (§diagram-boundary SSOT)
@@ -46,6 +46,9 @@ export type { FocusEntry } from "./focus";
 export { writeActorPosition } from "./write-position";
 // 図の上での位置を測る。 editor が現在位置を出すのと、 相対指定を解くので同じ規則を使う。
 export { measureActorBoxes } from "./compile";
+// 本文に書いた部品の状態の上書きと色番号を、部品の図へ当てる。 編集画面が重ねて描く部品にも
+// 組み立て側と同じ値を使う (#1973)
+export { 部品に上書きを当てる } from "./compile";
 // パーツの見た目の大きさと、 位置を書かなかった時の格子。 画面側と組み立て側で同じ規則を使う。
 // 記法が受理する種類の全体。 画面側が「本文が見本を使っているか」 を判定するのに使う (#1022)。
 export { NODE_KIND_VALID } from "./v05/parser";
@@ -76,7 +79,7 @@ export {
   MAX_PART_SCALE,
   partDrawsInDiagram,
   partIsMeasurable,
-  partsBaseRows,
+  partsBaseBottom,
   partsGridCenters,
 } from "./compile";
 // 色として読めるかの判定と、 図の外を指す値かの判定。 状態の上書きを受け取る側 / 画面が色欄を
@@ -108,7 +111,6 @@ export { diagramJsonSchema } from "./schema";
 export type {
   DragonJson,
   JsonActor,
-  JsonActorNodeOverride,
   JsonAxes,
   JsonStep,
   JsonPhase,

package/src/json-parser.ts

@@ -49,6 +49,7 @@ import type {
   EdgeHead,
   EdgeHeadFill,
   EdgeReveal,
+  RelationFocus,
   ClassRelationType,
   SequenceMessageKind,
 } from "@cardenelabs/cdl";
@@ -117,8 +118,11 @@ export interface DragonJson {
    * つまみの値から決まる値 (optional、 #1391)。 記法の最上位 `formulas:` と同じ。
    *
    * 形は `{ 名前: "式" }`。 `values:` と経路が別で、式は名前を中括弧で囲わない。
+   *
+   * 名札を付ける時は `{ 名前: { expression: "式", label: "名札" } }` の組で書く (#1916)。
+   * 描画側は名札を操作部の式の名前に描く (cdl#853)。
    */
-  formulas?: Record<string, string>;
+  formulas?: Record<string, string | { expression: string; label?: string }>;
   /**
    * 押下などの出来事で動く仕掛け (optional、 #1393)。 記法の最上位 `events:` と同じ。
    *
@@ -173,8 +177,8 @@ export interface DragonJson {
       contain?: boolean;
       lifeline?: boolean;
       /**
-       * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = auto layout offset。 未指定は
-       * backward compat、 set 済は Phase 2 の applyPosOffset で lane 位置を shift する。
+       * 縦列の位置のずらし (#1971)。 配置後の縦列の左上を (x, y) だけ動かす。 記法の `offsetX` / `offsetY`
+       * と同じで、読み方は `DslLane.layoutPos` が持つ。
        */
       pos?: LayoutPos;
     }
@@ -191,6 +195,8 @@ export interface DragonJson {
   bands?: { actor: string; from: number; to: number }[];
   /** 矢印をいつ出すか (#1470)。 記法の最上位 `reveal:` と同じ */
   reveal?: EdgeReveal;
+  /** 箱に触れると関係する線だけを光らせるか (#1757)。 記法の最上位 `relations:` と同じ */
+  relations?: RelationFocus;
   /** 図の並ぶ向き (#1494)。 記法の最上位 `direction:` と同じ。 JSON は英語の語で書く */
   direction?: "vertical" | "horizontal";
   /**
@@ -256,8 +262,8 @@ export interface JsonActor {
   initial?: boolean;
   final?: boolean;
   /**
-   * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = auto layout offset。 未指定は
-   * backward compat、 set 済は Phase 2 の applyPosOffset で actor 由来 lane / node の位置を shift。
+   * 箱の位置のずらし (#1971)。 配置後の箱の中心を (x, y) だけ動かす。 記法の `offsetX` / `offsetY`
+   * と同じで、読み方は `DslActor.layoutPos` が持つ。
    */
   pos?: LayoutPos;
   /**
@@ -312,12 +318,6 @@ export interface JsonActor {
   posY?: number;
   posW?: number;
   posH?: number;
-  /**
-   * 箱の中の要素ごとに位置と大きさを固定する (#1294)。 記法の `nodes:` と同じ。
-   *
-   * key は箱が作る要素の名前 (`header` / `footer` / `spacer` / `s0` 等)。
-   */
-  nodes?: Record<string, JsonActorNodeOverride>;
   /**
    * 見本を何倍で描くか (#1294)。 記法の `scale:` / `倍率:` と同じ。
    *
@@ -335,14 +335,6 @@ export interface JsonAxes {
   y?: { bottom?: string; top?: string };
 }
 
-/** 箱の中の要素 1 つ分の位置と大きさ (#1294)。 記法の `nodes: { header: { ... } }` と同じ */
-export interface JsonActorNodeOverride {
-  posX?: number;
-  posY?: number;
-  posW?: number;
-  posH?: number;
-}
-
 export interface JsonStep {
   from: string;
   to: string;
@@ -353,7 +345,7 @@ export interface JsonStep {
   /**
    * 矢印の先の形 (#1462)。 記法の `{ head: triangle }` と同じ。
    *
-   * 三角 (継ぐ) / 菱 (持つ) / 開いた矢 (使う) / 鳥の足 (多)。
+   * 三角 (継承・実装) / 菱 (集約・コンポジション) / 開いた矢 (関連・依存) / 鳥の足 (多)。
    * 書かなければ従来どおり塗った三角になる。
    */
   head?: EdgeHead;
@@ -361,6 +353,8 @@ export interface JsonStep {
   tailHead?: EdgeHead;
   headFill?: EdgeHeadFill;
   tailHeadFill?: EdgeHeadFill;
+  /** クラス図の出どころ側の多重度 (#1771)。 記法の `{ tailSub: "1" }` と同じ */
+  tailSub?: string;
   /**
    * 辺の役目 (cdl#618)。 記法の `{ role: main }` と同じ。
    *
@@ -394,10 +388,15 @@ export interface JsonStep {
   /** true で説明文を矢印の線の上に重ねる。 分岐図の条件ラベル用。 */
   overlay?: boolean;
   /**
-   * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = edge label offset。 未指定は
-   * backward compat、 set 済は Phase 2 の applyPosOffset で edge label 位置を shift する。
+   * 矢印の位置のずらし (#1971)。 名前のずらし (`labelOffsetX` / `labelOffsetY`) に足して名前を動かす。
    */
   pos?: LayoutPos;
+  /**
+   * 部品の端で矢印を繋ぐ部品の中の要素の id (#1979)。 記法の `{ fromPartNode: rC }` / `{ toPartNode: gC }` と同じ。
+   * 要素を 1 つだけ持つ部品は書かなくてもその要素に繋ぐ
+   */
+  fromPartNode?: string;
+  toPartNode?: string;
 }
 
 export interface JsonPhase {
@@ -456,7 +455,7 @@ export interface JsonDslError {
  *
  * 以前はここに一覧を写していたため、記法に種類が増えても JSON 経路が古い一覧のまま
  * 見本の名前として扱った (実測 = 記法が知る 108 種のうち 77 種が該当、`shape-*` は全滅)。
- * 見本帳に無い名前は `console.warn` にしか残らず `onNotice` を呼ばないため、
+ * カタログに無い名前は `console.warn` にしか残らず `onNotice` を呼ばないため、
  * 画面には何も出ないまま `actor` の箱が描かれていた (#1293)。
  *
  * 型が 2 箇所に散らばると、必ずどちらかが古くなる。 `VALID_PRESETS` (図種) と同じ扱いにする。
@@ -511,6 +510,8 @@ export const ACCEPTED_KEYS = {
     "bands",
     // 矢印をいつ出すか (#1470)
     "reveal",
+    // 箱に触れると関係する線だけを光らせるか (#1757)
+    "relations",
     // 図の並ぶ向き (#1494)
     "direction",
     // 図の配色 (#1553)
@@ -539,7 +540,6 @@ export const ACCEPTED_KEYS = {
     "posY",
     "posW",
     "posH",
-    "nodes",
     "scale",
     "state",
     "pos",
@@ -571,6 +571,8 @@ export const ACCEPTED_KEYS = {
     "tailHead",
     "headFill",
     "tailHeadFill",
+    // クラス図の出どころ側の多重度 (#1771)
+    "tailSub",
     "relation",
     // 辺の役目と名前の下地 (cdl#618)
     "role",
@@ -588,12 +590,14 @@ export const ACCEPTED_KEYS = {
     "labelOffsetY",
     "overlay",
     "pos",
+    // 部品の端で繋ぐ要素の id (#1979)
+    "fromPartNode",
+    "toPartNode",
   ],
   phase: ["step", "duration", "focus", "body", "badge", "tween", "set", "draw", "drawRatio"],
   viewport: ["width", "height", "scale", "laneWidth", "gap", "laneGap", "nodeGap", "labelMargin"],
   lane: ["x", "width", "label", "contain", "lifeline", "pos"],
   group: ["label", "lanes"],
-  actorNode: ["posX", "posY", "posW", "posH"],
   axes: ["x", "y"],
   axesX: ["left", "right"],
   axesY: ["bottom", "top"],
@@ -674,6 +678,8 @@ export const 欄の型表 = {
     bands: "並び",
     // 矢印をいつ出すか (#1470)
     reveal: "非空の文字列",
+    // 箱に触れると関係する線だけを光らせるか (#1757)
+    relations: "非空の文字列",
     // 図の並ぶ向き (#1494)
     direction: "非空の文字列",
     // 図の配色 (#1553)
@@ -701,7 +707,6 @@ export const 欄の型表 = {
     posY: "数",
     posW: "数",
     posH: "数",
-    nodes: "object",
     scale: "数",
     state: "object",
     pos: "object",
@@ -732,6 +737,8 @@ export const 欄の型表 = {
     tailHead: "端の形",
     headFill: "非空の文字列",
     tailHeadFill: "非空の文字列",
+    // クラス図の出どころ側の多重度 (#1771)
+    tailSub: "文字列",
     relation: "非空の文字列",
     // 辺の役目と名前の下地 (cdl#618)
     role: "非空の文字列",
@@ -749,6 +756,9 @@ export const 欄の型表 = {
     labelOffsetY: "数",
     overlay: "真偽",
     pos: "object",
+    // 部品の端で繋ぐ要素の id (#1979)。 空の id は要素を指せないので受けない
+    fromPartNode: "非空の文字列",
+    toPartNode: "非空の文字列",
   },
   phase: {
     step: "必須の非空文字列",
@@ -780,7 +790,6 @@ export const 欄の型表 = {
     pos: "object",
   },
   group: { label: "文字列", lanes: "文字列の並び" },
-  actorNode: { posX: "数", posY: "数", posW: "数", posH: "数" },
   axes: { x: "object", y: "object" },
   axesX: { left: "文字列", right: "文字列" },
   axesY: { bottom: "文字列", top: "文字列" },
@@ -1128,7 +1137,7 @@ function 編集距離(a: string, b: string, 上限: number): number {
 function checkUnknownKeys(v: unknown, 層: 階層, path: string, errors: JsonDslError[]): void {
   if (!v || typeof v !== "object" || Array.isArray(v)) return;
   const 受ける = ACCEPTED_KEYS[層] as readonly string[];
-  for (const key of Object.keys(v as Record<string, unknown>)) {
+  for (const key of Object.keys(v)) {
     if (受ける.includes(key)) continue;
     const 候補 = 近い項目名(key, 受ける);
     errors.push({
@@ -1145,7 +1154,7 @@ function checkUnknownKeys(v: unknown, 層: 階層, path: string, errors: JsonDsl
  */
 /**
  * CAR-1693 Phase 1: DSL 表面 `pos: {x, y}` の型 check helper。 finite number pair を必須にし、
- * `NaN` / `Infinity` / non-number は reject する (Phase 2 の applyPosOffset で数値演算するため)。
+ * `NaN` / `Infinity` / non-number は reject する (組み立ての出口 `applyLayoutOffsets` が配置後の位置に足すため)。
  */
 function validateLayoutPos(v: unknown, path: string, errors: JsonDslError[]): void {
   if (v === undefined) return;
@@ -1169,28 +1178,6 @@ function 見本の名前か(kind: unknown): boolean {
   return kind !== "actor" && !VALID_KIND_SET.has(kind);
 }
 
-/** 箱の中の要素ごとの位置と大きさを見る (#1294) */
-function validateActorNodes(v: unknown, path: string, errors: JsonDslError[]): void {
-  if (v === undefined) return;
-  if (!v || typeof v !== "object" || Array.isArray(v)) {
-    errors.push({
-      path,
-      message: "actor.nodes must be a plain object of name -> { posX, posY, posW, posH }",
-    });
-    return;
-  }
-  for (const [name, o] of Object.entries(v as Record<string, unknown>)) {
-    const nodePath = `${path}.${name}`;
-    if (!o || typeof o !== "object" || Array.isArray(o)) {
-      errors.push({ path: nodePath, message: "actor.nodes entry must be a plain object" });
-      continue;
-    }
-    const n = o as Record<string, unknown>;
-    checkUnknownKeys(n, "actorNode", nodePath, errors);
-    表で検査(n, "actorNode", nodePath, `nodes.${name}`, errors);
-  }
-}
-
 /**
  * 図全体の大きさと間隔を見る (#1295)。
  *
@@ -1225,6 +1212,54 @@ function validateViewport(v: unknown, errors: JsonDslError[]): void {
  * 記法は値が全て文字列で届くため読み替えが要るが、JSON は型のまま届く。 ここでは
  * 「知らない種類」 「知らない欄」 「足りない必須の欄」 「欄の型違い」 の 4 つを見る。
  */
+/**
+ * 選択肢の並び (`["green", { "value": "red", "label": "失敗" }]`) を要素ごとに検査する (#1920)。
+ *
+ * 要素は文字列か、`value` と `label` の 2 項目を持つ組。 誤りは要素の場所 (`options[1].label`) で
+ * 返す = 並び全体の型違いとして返すと、どの組のどの項目を直せばよいかが読み手に届かない。
+ */
+function 選択肢の並びを検査する(値: unknown, path: string, errors: JsonDslError[]): void {
+  if (!Array.isArray(値)) {
+    errors.push({
+      path,
+      message: "options must be 選択肢の並び",
+      hint: `got ${値 === null ? "null" : typeof 値}`,
+    });
+    return;
+  }
+  値.forEach((x, i) => {
+    const here = `${path}[${i}]`;
+    if (typeof x === "string") return;
+    if (typeof x !== "object" || x === null || Array.isArray(x)) {
+      errors.push({
+        path: here,
+        message: "option must be a string or { value, label }",
+        hint: `got ${Array.isArray(x) ? "array" : x === null ? "null" : typeof x}`,
+      });
+      return;
+    }
+    const 組 = x as Record<string, unknown>;
+    for (const k of Object.keys(組)) {
+      if (k === "value" || k === "label") continue;
+      errors.push({ path: `${here}.${k}`, message: `unknown key "${k}"`, hint: "使える項目 = value, label" });
+    }
+    for (const k of ["value", "label"] as const) {
+      const v = 組[k];
+      if (v === undefined) {
+        errors.push({ path: `${here}.${k}`, message: `${k} is required`, hint: "必須の項目 = value, label" });
+      } else if (typeof v !== "string") {
+        errors.push({ path: `${here}.${k}`, message: `${k} must be 文字列`, hint: `got ${v === null ? "null" : typeof v}` });
+      } else if (v === "") {
+        errors.push({
+          path: `${here}.${k}`,
+          message: `${k} must not be empty`,
+          hint: k === "label" ? "名前を書かないなら文字列だけを並べる" : "値を 1 文字以上書く",
+        });
+      }
+    }
+  });
+}
+
 function 表で中身を検査する(
   o: Record<string, unknown>,
   表: Record<string, 図形の定義>,
@@ -1258,6 +1293,10 @@ function 表で中身を検査する(
       });
       continue;
     }
+    if (形 === "選択肢の並び") {
+      選択肢の並びを検査する(値, `${path}.${欄}`, errors);
+      continue;
+    }
     const 型が合う =
       形 === "数"
         ? typeof 値 === "number" && Number.isFinite(値)
@@ -1339,7 +1378,7 @@ function validateBands(v: unknown, errors: JsonDslError[]): void {
       errors.push({ path: `${path}.actor`, message: "band.actor must be a non-empty string" });
     }
     for (const k of ["from", "to"] as const) {
-      if (typeof o[k] !== "number" || !Number.isInteger(o[k]) || (o[k] as number) < 0) {
+      if (typeof o[k] !== "number" || !Number.isInteger(o[k]) || o[k] < 0) {
         errors.push({ path: `${path}.${k}`, message: `band.${k} must be a non-negative integer` });
       }
     }
@@ -1478,12 +1517,15 @@ function validateFormulas(v: unknown, inputs: unknown, errors: JsonDslError[]):
     }
   }
   const 先に書かれた式 = new Set<string>();
-  for (const [名前, 式] of Object.entries(v as Record<string, unknown>)) {
+  for (const [名前, 値] of Object.entries(v as Record<string, unknown>)) {
     const path = `$.formulas.${名前}`;
     if (!isValueName(名前)) {
       errors.push({ path, ...valueNameIssue(名前) });
       continue;
     }
+    const 検査結果 = 式の組を検査する(値, path, errors);
+    if (!検査結果.読めた) continue;
+    const 式 = 検査結果.値;
     if (typeof 式 !== "string" || 式.trim() === "") {
       errors.push({
         path,
@@ -1525,6 +1567,55 @@ function validateFormulas(v: unknown, inputs: unknown, errors: JsonDslError[]):
   }
 }
 
+/**
+ * 式の組を検査した結果 (#1916 / #2006)。
+ *
+ * **読めたかどうかを別の欄に持つ**。 値そのものに合図を混ぜると、`{ a: null }` の `null` が
+ * 合図と区別が付かず、呼び手が「組の誤りは知らせ済み」 と読んで何も知らせずに通してしまう (実測)。
+ *
+ * 印 (`unique symbol`) を値に混ぜる形も採らない。 返す型が `unknown` を含むと印が飲み込まれ、
+ * 呼び手は型で見分けられないまま等値比較に頼ることになる。
+ */
+type 式の検査結果 = { readonly 読めた: true; readonly 値: unknown } | { readonly 読めた: false };
+
+/**
+ * 式の値が組の形 (`{ expression, label }`) なら組を検査し、式の文字列を返す (#1916)。
+ *
+ * 文字列やそれ以外の形は **そのまま返す** = 式の文字列の検査は呼び手が文字列の形と同じ経路で行う。
+ * 組に誤りがあれば知らせて `読めた: false` を返す。
+ */
+function 式の組を検査する(値: unknown, path: string, errors: JsonDslError[]): 式の検査結果 {
+  if (!値 || typeof 値 !== "object" || Array.isArray(値)) return { 読めた: true, 値 };
+  const 組 = 値 as Record<string, unknown>;
+  let 読めた = true;
+  for (const 鍵 of Object.keys(組)) {
+    if (鍵 === "expression" || 鍵 === "label") continue;
+    読めた = false;
+    errors.push({
+      path: `${path}.${鍵}`,
+      message: `unknown formula field: ${鍵}`,
+      hint: "使える項目 = expression, label",
+    });
+  }
+  if (typeof 組.expression !== "string" || 組.expression.trim() === "") {
+    読めた = false;
+    errors.push({
+      path: `${path}.expression`,
+      message: "expression must be a non-empty expression string",
+      hint: `got ${組.expression === undefined ? "nothing" : JSON.stringify(組.expression)}`,
+    });
+  }
+  if (組.label !== undefined && (typeof 組.label !== "string" || 組.label.trim() === "")) {
+    読めた = false;
+    errors.push({
+      path: `${path}.label`,
+      message: "label must be a non-empty string",
+      hint: "名札を付けないなら label を書かない",
+    });
+  }
+  return 読めた ? { 読めた: true, 値: 組.expression } : { 読めた: false };
+}
+
 /**
  * 押下などの出来事で動く仕掛けを検査する (#1393)。
  *
@@ -1592,7 +1683,7 @@ function validateEvents(v: unknown, errors: JsonDslError[]): void {
       }
       return;
     }
-    if (typeof o[鍵] !== "string" || (o[鍵] as string).trim() === "") {
+    if (typeof o[鍵] !== "string" || o[鍵].trim() === "") {
       errors.push({ path: `${path}.${鍵}`, message: `${鍵} must be a non-empty string` });
       return;
     }
@@ -1927,7 +2018,7 @@ export function 素のデータに写す(
     // **名前も数に入れる** (Round 5 の指摘)。 値を読む前に名前の一覧を作るため、 値だけを
     // 数えると「名前が 20,000 個ある段を 63 回降りる」 形で 126 万個を並べられる = 上限を
     // 見る前に資源を使い切れる
-    const 名前の並び = Object.keys(v as Record<string, unknown>);
+    const 名前の並び = Object.keys(v);
     項目数 += 名前の並び.length;
     if (項目数 > 写しの最大の項目数) {
       throw new 写せない(path, `項目が多すぎる (上限 ${写しの最大の項目数})`);
@@ -2082,7 +2173,6 @@ function validateJson(
           });
         }
       }
-      validateActorNodes(ao.nodes, `$.actors[${i}].nodes`, errors);
       // codex-review MAJOR fix = state override は plain object + 値は primitive (number / string / boolean) 限定、
       // `{ v: {} }` 等 nested object や null が流入すると CdlState.initial に不正な型が入り compile 崩れる。
       if (ao.state !== undefined) {
@@ -2210,7 +2300,7 @@ function validatePhaseMotion(po: Record<string, unknown>, i: number, errors: Jso
         const t = typeof value;
         if (t !== "number" && t !== "string") {
           errors.push({ path, message: "set value must be a number or string", hint: `got ${t}` });
-        } else if (t === "number" && !Number.isFinite(value as number)) {
+        } else if (t === "number" && !Number.isFinite(value)) {
           errors.push({ path, message: "set value must be a finite number" });
         }
       }
@@ -2244,7 +2334,7 @@ function validateStates(v: unknown, errors: JsonDslError[]): void {
         message: "state initial must be a number or string",
         hint: `got ${t}`,
       });
-    } else if (t === "number" && !Number.isFinite(initial as number)) {
+    } else if (t === "number" && !Number.isFinite(initial)) {
       // `NaN` / `Infinity` は JSON には書けないが、object を直接渡す経路では届く。
       // 描画側は文字列に直して式に流すため、そのまま通すと計算が全て壊れる
       errors.push({ path: `$.states.${name}`, message: "state initial must be a finite number" });
@@ -2310,7 +2400,7 @@ export function jsonToDoc(json: DragonJson): DslDocument {
       return { name: a, kind: "actor" as NodeKind, kindWritten: false, pos: p0 };
     }
     // CAR-1657 = kind が既存 NodeKind に無い値なら parts identifier 候補、 partId に格納
-    const kindStr = (a.kind ?? "actor") as string;
+    const kindStr = a.kind ?? "actor";
     const isPart = kindStr !== "actor" && !VALID_KIND_SET.has(kindStr);
     // 色は記法と同じ振り分けを通す (#1294)。 `#` で始まれば色番号、それ以外は色の名前。
     // 別々に書くと、同じ値が入口によって色番号にも色名にもなる
@@ -2355,20 +2445,13 @@ export function jsonToDoc(json: DragonJson): DslDocument {
             opportunity: a.opportunity,
           }),
       colorHex: 色.hex,
+      // 部品に書いた色の名前は効かない。 記法と同じく書いた名前として残し、組み立て側が知らせる (#1973)
+      partColorName: isPart ? 色.tone : undefined,
       // 絶対座標と大きさ (#1294)。 `pos` (ずらし幅) とは別経路
       posX: a.posX,
       posY: a.posY,
       posW: a.posW,
       posH: a.posH,
-      // 箱の中の要素ごとの固定 (#1294)。 写しを作って外から書き換えられないようにする
-      nodes: a.nodes
-        ? Object.fromEntries(
-            Object.entries(a.nodes).map(([id, o]) => [
-              id,
-              { posX: o.posX, posY: o.posY, posW: o.posW, posH: o.posH },
-            ]),
-          )
-        : undefined,
       // 倍率は見本にしか効かない (検査が見本でない箱を弾く)。 書かれた名前は JSON では
       // 常に `scale` で、記法の別名 (`倍率`) は JSON に持ち込まない
       scale: isPart ? a.scale : undefined,
@@ -2389,13 +2472,15 @@ export function jsonToDoc(json: DragonJson): DslDocument {
     to: s.to,
     label: s.label,
     sub: s.sub,
-    side: s.side as "top" | "right" | "bottom" | "left" | undefined,
+    side: s.side,
     // 矢印の先の形 (#1462)。 読めない語は組み立てが落とす
     head: s.head,
     // 端の印の残り 3 欄と、関係の語 / 言づての種類 (#1466)
     tailHead: s.tailHead,
     headFill: s.headFill,
     tailHeadFill: s.tailHeadFill,
+    // クラス図の出どころ側の多重度 (#1771)
+    tailSub: s.tailSub,
     relation: s.relation,
     // 辺の役目と名前の下地 (cdl#618)
     role: s.role,
@@ -2414,6 +2499,9 @@ export function jsonToDoc(json: DragonJson): DslDocument {
     labelOffsetX: s.labelOffsetX,
     labelOffsetY: s.labelOffsetY,
     overlay: s.overlay,
+    // 部品の端で繋ぐ要素の id (#1979)。 書かない矢印には欄を足さない = 記法と同じ形になる
+    ...(s.fromPartNode !== undefined ? { fromPartNode: s.fromPartNode } : {}),
+    ...(s.toPartNode !== undefined ? { toPartNode: s.toPartNode } : {}),
     // CAR-1693 Phase 1: DSL 表面 pos → 内部 AST layoutPos
     layoutPos: s.pos,
     pos: p0,
@@ -2449,9 +2537,19 @@ export function jsonToDoc(json: DragonJson): DslDocument {
   const scrolls: DslScrollTrigger[] | undefined = json.scrolls
     ? Object.entries(json.scrolls).map(([id, spec]) => ({ id, ...spec }))
     : undefined;
-  // 式は `{ 名前: "式" }` から並びへ写す (#1391)。 記法側と同じ形にして組み立てを 1 本にする
+  // 式は `{ 名前: "式" }` から並びへ写す (#1391)。 記法側と同じ形にして組み立てを 1 本にする。
+  // 組の形 (`{ expression, label }`) は名札を持ったまま写す (#1916)
   const formulas: DslFormula[] | undefined = json.formulas
-    ? Object.entries(json.formulas).map(([id, expression]) => ({ id, expression, pos: p0 }))
+    ? Object.entries(json.formulas).map(([id, 値]) =>
+        typeof 値 === "string"
+          ? { id, expression: 値, pos: p0 }
+          : {
+              id,
+              expression: 値.expression,
+              ...(値.label !== undefined ? { label: 値.label } : {}),
+              pos: p0,
+            },
+      )
     : undefined;
   const states: DslState[] = Object.entries(json.states ?? {}).map(([name, initial]) => ({
     name,
@@ -2538,6 +2636,8 @@ export function jsonToDoc(json: DragonJson): DslDocument {
     bands: json.bands,
     // 矢印をいつ出すか (#1470)
     reveal: json.reveal,
+    // 箱に触れると関係する線だけを光らせるか (#1757)
+    relations: json.relations,
     // 図の並ぶ向き (#1494)。 JSON は英語で書くので、記法と同じ語に直してから渡す
     ...(json.direction !== undefined ? { direction: json.direction === "horizontal" ? ("横" as const) : ("縦" as const) } : {}),
     // 図の配色 (#1553)。 記法と同じ解決を通す = 別名 (`生成り` / `青磁`) の受け方がずれない。