@cardenelabs/dragon 0.12.0 → 0.14.0

package/src/compile.ts

@@ -9,16 +9,44 @@
  * v0.2 ... 6 preset 全対応 (sequence / flow / swimlane / er / state / topology)
  */
 
-import type { DslActor, DslDocument, DslLane, DslPhase, DslStep, DslValue, PresetType } from "./types";
-import type { CdlDiagram, CdlEdge, ErRelationCardinality, FormulaAst, LaidDiagram } from "@cardenelabs/cdl";
+import type {
+  DslActor,
+  DslDocument,
+  DslLane,
+  DslPhase,
+  DslStep,
+  DslEventBinding,
+  DslValue,
+  PresetType,
+} from "./types";
+import type {
+  CdlDiagram,
+  CdlEdge,
+  ErRelationCardinality,
+  FormulaAst,
+  LaidDiagram,
+} from "@cardenelabs/cdl";
 import {
-  sequence, flow, swimlane, er, stateMachine, topology, diagram, layout,
-  rendersRows, requiredRowsHeight, requiredRowsWidth, NODE_KINDS,
-  applyDerivedValues, parseFormula,
+  sequence,
+  flow,
+  swimlane,
+  er,
+  stateMachine,
+  topology,
+  diagram,
+  layout,
+  rendersRows,
+  requiredRowsHeight,
+  requiredRowsWidth,
+  NODE_KINDS,
+  applyDerivedValues,
+  parseFormula,
+  extractIdentifiers,
+  inputDefaultValue,
 } from "@cardenelabs/cdl";
 import { parseFocusEntry } from "./focus";
 import { DRAW_TARGETS } from "./v05/parser";
-import { isColorValue, stripExternalPaint } from "./color";
+import { isColorValue, pointsOutside, stripExternalPaint } from "./color";
 import {
   MAX_INPUT_ELEMENTS,
   countDiagramElements,
@@ -96,7 +124,11 @@ export type CompileNotice = {
     // 起点から描く動きを持たない図種で段に `draw:` を書いた (#1312)
     | "draw-not-honored"
     // `draw:` の語がその図種と食い違う (`type: bar` に `draw: pie`、 #1314)
-    | "draw-target-mismatch";
+    | "draw-target-mismatch"
+    // 式が、どこにも書かれていない名前を読んだ (#1391)
+    | "formula-unresolved"
+    // 出来事が指す相手が図に無い (#1393)
+    | "event-target-missing";
   /** 対象の名前。 光らせる相手なら書かれた指定そのまま */
   actor: string;
   /** 書かれていた行 */
@@ -279,12 +311,150 @@ export function compileToCdl(doc: DslDocument, opts?: CompileToCdlOpts): CdlDiag
   // 扱いが式形と揃う。 時計の状態と段の補間もここで足す
   const 畳んだきっかけ = foldValueTriggers(merged, doc, opts?.onNotice);
   attachDerivedValues(merged, doc, opts?.onNotice, inheritedDerivedSourceLines, 畳んだきっかけ);
+  // 値を見せる部品を図に載せる (#1374)。 parts が持つ部品は merge 済みなので残したまま足す。
+  // **外部参照を落とす前に載せる**。 後から足すと readout の color / colors だけが出口の検査を
+  // 迂回し、 `url(https://...)` がそのまま SVG の paint 属性へ届く。
+  if (doc.readouts && doc.readouts.length > 0) {
+    // 出口の paint 検査は diagram を直接書き換える。 doc の object を共有すると、検査が
+    // compileToCdl の入力まで書き換えて入力不変性を壊すため、nested field も含めて写す。
+    const ownReadouts = doc.readouts.map(
+      (readout) => deepRewriteStrings(readout, (value) => value) as typeof readout,
+    );
+    merged.readouts = [...(merged.readouts ?? []), ...ownReadouts];
+  }
+  /*
+   * 読む人が動かすつまみを図に載せる (#1389)。
+   *
+   * 部品と同じく写して載せる = 出口の paint 検査が diagram を直接書き換えるため、doc の
+   * object を共有すると `compileToCdl` の入力まで書き換わって入力不変性が壊れる。
+   */
+  if (doc.inputs && doc.inputs.length > 0) {
+    const ownInputs = doc.inputs.map(
+      (input) => deepRewriteStrings(input, (value) => value) as typeof input,
+    );
+    merged.inputs = [...(merged.inputs ?? []), ...ownInputs];
+  }
+  /*
+   * つまみの値から決まる値を図に載せる (#1391)。
+   *
+   * 部品やつまみと同じく写して載せる。 式の文字列は色を塗る位置に届かないが、
+   * 入力を書き換えない形を 3 経路で揃える方が読み手に説明しやすい。
+   */
+  if (doc.formulas && doc.formulas.length > 0) {
+    const ownFormulas = doc.formulas.map((formula) => ({
+      id: formula.id,
+      expression: formula.expression,
+      line: formula.pos?.line ?? 0,
+    }));
+    /*
+     * 式が読む名前が、どこにも書かれていないことを知らせる (#1391)。
+     *
+     * engine が読める名前は、つまみと **先に宣言した式** だけ。綴り違い、状態、
+     * `values:`、後から宣言する式を渡すと、描画時に未定義参照として例外になる。
+     *
+     * **解けない式は図へ載せない**。 engine は未定義参照や input/formula の同名衝突を
+     * runtime error にするため、残すと図全体が描けない。式以外の図は出し、知らせを返す。
+     */
+    const つまみ = new Map((merged.inputs ?? []).map((input) => [input.id, input]));
+    const 先に書かれた式 = new Set((merged.formulas ?? []).map((formula) => formula.id));
+    const 載せる式 = [...(merged.formulas ?? [])];
+    for (const formula of ownFormulas) {
+      if (つまみ.has(formula.id) || 先に書かれた式.has(formula.id)) {
+        opts?.onNotice?.({
+          kind: "formula-unresolved",
+          actor: formula.id,
+          line: formula.line,
+          message: `式 "${formula.id}" の名前が、先に書かれたつまみまたは式と重なっています`,
+          hint: "`inputs:` と `formulas:` では重ならない名前を使う",
+        });
+        continue;
+      }
+      let 名前たち: Set<string>;
+      try {
+        名前たち = extractIdentifiers(parseFormula(formula.expression));
+      } catch {
+        // 読めない式は記法の読み取りが既に知らせている。 ここで二重に出さない
+        continue;
+      }
+      let 解けない = false;
+      for (const 名 of 名前たち) {
+        if (先に書かれた式.has(名)) continue;
+        const input = つまみ.get(名);
+        if (input) {
+          const 初期値 = inputDefaultValue(input);
+          if (typeof 初期値 === "number" || typeof 初期値 === "boolean") continue;
+          解けない = true;
+          opts?.onNotice?.({
+            kind: "formula-unresolved",
+            actor: formula.id,
+            line: formula.line,
+            message: `式 "${formula.id}" が、数でも真偽でもないつまみ "${名}" を読んでいます`,
+            hint: "式が読めるつまみは slider / number / stepper / timeline / toggle",
+          });
+          continue;
+        }
+        解けない = true;
+        opts?.onNotice?.({
+          kind: "formula-unresolved",
+          actor: formula.id,
+          line: formula.line,
+          message: `式 "${formula.id}" が、つまみまたは先に書かれた式ではない名前 "${名}" を読んでいます`,
+          hint: "`inputs:` に書くか、参照される式をこの式より前に書く",
+        });
+      }
+      if (解けない) continue;
+      載せる式.push({ id: formula.id, expression: formula.expression });
+      先に書かれた式.add(formula.id);
+    }
+    if (載せる式.length > 0) merged.formulas = 載せる式;
+    else delete merged.formulas;
+  }
+  /*
+   * 押下などの出来事で動く仕掛けを図に載せる (#1393)。
+   *
+   * **相手の名前を識別子へ直す**。 記法は識別子を書けないため名前で指す。 指す先が
+   * 見つからない形は載せずに知らせる = 描画側は知らない識別子を黙って無視するため、
+   * 残すと「書いたのに押しても何も起きない」 が手掛かりなしで起きる。
+   *
+   * 識別子は書いた順に `evt-1` から振る (組み立て API と同じ)。
+   */
+  if (doc.events && doc.events.length > 0) {
+    const 載せる: NonNullable<CdlDiagram["eventBindings"]> = [...(merged.eventBindings ?? [])];
+    for (const e of doc.events) {
+      const 相手 = 出来事の相手を解く(merged, doc, e);
+      if (相手 === undefined) {
+        opts?.onNotice?.({
+          kind: "event-target-missing",
+          actor: e.handlerId,
+          line: e.pos.line,
+          message: `出来事 "${e.handlerId}" が指す相手が見つかりません`,
+          hint: "box は箱の名前、 lane は縦列の名前、 arrow は `A -> B` で書く",
+        });
+        continue;
+      }
+      載せる.push({
+        id: `evt-${載せる.length + 1}`,
+        event: e.event,
+        target: 相手,
+        handlerId: e.handlerId,
+      });
+    }
+    if (載せる.length > 0) merged.eventBindings = 載せる;
+  }
+  // 巻き上げに応じて進む値を図に載せる (#1393)。 相手を持たないのでそのまま写す
+  if (doc.scrolls && doc.scrolls.length > 0) {
+    merged.scrollTriggers = [
+      ...(merged.scrollTriggers ?? []),
+      ...doc.scrolls.map((x) => ({ ...x })),
+    ];
+  }
   // 図の外を指す値を、 色を塗る位置から落とす (#1004)。
   //
   // 入口ごとに塞ぐ形は採らない。 状態の上書き / phase が入れる値 / 画面が直接書く背景色 /
   // 埋め込んだ JSON / states / values と入口が複数あり、 1 つ見落とすと穴が残る。
   // **図への追加を全て終えた後**、 出口で 1 度だけ見る。 この後に状態を足すと検査を迂回する。
-  for (const dropped of stripExternalPaint(merged)) {
+  const 外した部品の配色 = stripExternalReadoutPalettes(merged);
+  for (const dropped of [...stripExternalPaint(merged), ...外した部品の配色]) {
     opts?.onNotice?.({
       kind: "external-paint-dropped",
       actor: dropped.path,
@@ -299,6 +469,29 @@ export function compileToCdl(doc: DslDocument, opts?: CompileToCdlOpts): CdlDiag
   return merged;
 }
 
+/**
+ * readout の配色配列から外部参照を落とす (#1374)。
+ *
+ * 共通の `stripExternalPaint` は `color` / `fill` のような key を見るが、 `colors` の中へ
+ * 入ると配列要素には key が無い。 `heat-cell` が公開した配色だけはここで要素ごとに閉じる。
+ */
+function stripExternalReadoutPalettes(diagram: CdlDiagram): Array<{ path: string; value: string }> {
+  const stripped: Array<{ path: string; value: string }> = [];
+  for (let i = 0; i < (diagram.readouts?.length ?? 0); i += 1) {
+    const readout = diagram.readouts?.[i] as { colors?: readonly string[] } | undefined;
+    if (!readout?.colors) continue;
+    const colors = [...readout.colors];
+    for (let j = 0; j < colors.length; j += 1) {
+      const color = colors[j];
+      if (color === undefined || !pointsOutside(color)) continue;
+      colors[j] = "none";
+      stripped.push({ path: `readouts[${i}].colors[${j}]`, value: color });
+    }
+    readout.colors = colors;
+  }
+  return stripped;
+}
+
 /**
  * 書いた状態 (`states:`) を図に載せる (#1162)。
  *
@@ -907,7 +1100,9 @@ function disambiguateActorIds(
   }
   const 新しい名前 = new Map<string, string>();
   // 名前で並べてから配る = 書いた順に依らない
-  for (const a of [...作り替える].sort((x, y) => (x.name < y.name ? -1 : x.name > y.name ? 1 : 0))) {
+  for (const a of [...作り替える].sort((x, y) =>
+    x.name < y.name ? -1 : x.name > y.name ? 1 : 0,
+  )) {
     const 尾 = 名前の尾(a.name);
     // **id の長さの上限のぶん、 元の名前を先に切る** (Round 1 の指摘)。 切らないと尾が
     // 64 字で落ちて、 同じ頭を持つ長い名前どうしが元のまま重なる
@@ -935,6 +1130,26 @@ function disambiguateActorIds(
       const to = 直す(s.to);
       return from === s.from && to === s.to ? s : { ...s, from, to };
     }),
+    events: doc.events?.map((event) => {
+      const target = event.target;
+      if (target.kind === "node") {
+        const name = 直す(target.name);
+        return name === target.name ? event : { ...event, target: { ...target, name } };
+      }
+      if (target.kind === "edge") {
+        const from = 直す(target.from);
+        const to = 直す(target.to);
+        return from === target.from && to === target.to
+          ? event
+          : { ...event, target: { ...target, from, to } };
+      }
+      // sequence 系の縦列は登場人物から作るため、同じ名前の読み替えが必要。
+      if (target.kind === "lane" && (doc.type === "sequence" || doc.type === "solidity")) {
+        const name = 直す(target.name);
+        return name === target.name ? event : { ...event, target: { ...target, name } };
+      }
+      return event;
+    }),
   };
   // 光らせる指定と位置の基準も名前で書くので、 同じ表で直す
   if (次.animate) {
@@ -1453,10 +1668,7 @@ function applyCanvasPivotPositions(diagram: CdlDiagram, doc: DslDocument): void
       for (const [subKey, override] of Object.entries(actor.nodes)) {
         if (override.posX === undefined || override.posY === undefined) continue;
         for (const node of diagram.nodes) {
-          if (
-            node.id === `${aliasSlug}-${subKey}` ||
-            node.id === `${subKey}-${aliasSlug}`
-          ) {
+          if (node.id === `${aliasSlug}-${subKey}` || node.id === `${subKey}-${aliasSlug}`) {
             node.posX = override.posX;
             node.posY = override.posY;
             if (override.posW !== undefined) node.posW = override.posW;
@@ -1684,8 +1896,6 @@ export function partTargetScale(
   return partScaleFactor(part, targetW, targetH, undefined);
 }
 
-
-
 /**
  * パーツ 1 個が図の上で占める外接矩形。
  *
@@ -2009,8 +2219,7 @@ export function partsGridCenters(
   if (items.length === 0) return out;
   // 公開している関数なので、 呼出側が渡す値を入口で閉じる。 数でない箱の数や桁溢れを
   // そのまま計算に入れると、 描けない座標を返すことになる
-  const safeCount =
-    Number.isSafeInteger(baseNodeCount) && baseNodeCount >= 0 ? baseNodeCount : 0;
+  const safeCount = Number.isSafeInteger(baseNodeCount) && baseNodeCount >= 0 ? baseNodeCount : 0;
   const top = safeCount * STACK_PITCH + PARTS_GAP * 2;
   // 同じ名前が 2 度来たら先の方だけを見る。 後の分を残すと、 どちらを指したか決められない
   // まま列の送り幅にも影響する
@@ -2212,9 +2421,7 @@ function partBoxes(
     const t = partTargetSize(part, a.posW, a.posH, a.scale);
     const size = partExtent(part, t.w, t.h);
     const placed =
-      a.posX !== undefined && a.posY !== undefined
-        ? { cx: a.posX, cy: a.posY }
-        : grid.get(a.name);
+      a.posX !== undefined && a.posY !== undefined ? { cx: a.posX, cy: a.posY } : grid.get(a.name);
     // 相対で書いた分はここでは決まらない (解決側が後で埋める)
     if (!placed) continue;
     // 渡す座標は段の中心。 矩形の中心はそこからずれる
@@ -2234,68 +2441,68 @@ function cleanupPlaceholderActor(
   doc: DslDocument,
   a: { name: string; lane?: string },
 ): void {
-    const aliasSlug = slugify(a.name);
-    const ownedLaneIds = new Set<string>();
-    if (doc.type === "sequence" || doc.type === "solidity") {
-      for (const l of target.lanes) {
-        // 明示 lane mapping (a.lane) 先は part の張替え先で actor 専用 lane ではないため除外
-        if (a.lane !== undefined && l.id === a.lane) continue;
-        if (l.label === a.name) ownedLaneIds.add(l.id);
-      }
-    }
-    const ownedNodeIds = new Set<string>();
-    for (const n of target.nodes) {
-      if (ownedLaneIds.has(n.lane)) ownedNodeIds.add(n.id);
+  const aliasSlug = slugify(a.name);
+  const ownedLaneIds = new Set<string>();
+  if (doc.type === "sequence" || doc.type === "solidity") {
+    for (const l of target.lanes) {
+      // 明示 lane mapping (a.lane) 先は part の張替え先で actor 専用 lane ではないため除外
+      if (a.lane !== undefined && l.id === a.lane) continue;
+      if (l.label === a.name) ownedLaneIds.add(l.id);
     }
-    // actor 専用 lane を引き当てられない経路 (flow / topology 等の共有 lane preset) は従来どおり dragon
-    // slug の prefix match に fallback する。 これらは 1 actor = 1 node (id = slug) の生成規則。
-    const matchesAliasSlug = (id: string): boolean => {
-      if (id === aliasSlug) return true;
-      if (id.startsWith(`${aliasSlug}-`)) return true;
-      // sequence step anchor = `s{N}-{aliasSlug}` pattern
-      if (/^s\d+-/.test(id) && id.endsWith(`-${aliasSlug}`)) return true;
-      return false;
-    };
-    const relatedToActor = (id: string): boolean =>
-      ownedLaneIds.size > 0 ? ownedNodeIds.has(id) : matchesAliasSlug(id);
-    target.nodes = target.nodes.filter((n) => !relatedToActor(n.id));
-    // edge も同経路で削除 (parts actor に接続していた flow を除去、 parts merge 後の flow は user が
-    // 別途書く経路になる)。 削除した edge の id は phase.activate に残ると dangling 参照になるため回収する。
-    const removedEdgeIds = new Set<string>();
-    target.edges = target.edges.filter((e) => {
-      const drop = relatedToActor(e.from) || relatedToActor(e.to);
-      if (drop) removedEdgeIds.add(e.id);
-      return !drop;
+  }
+  const ownedNodeIds = new Set<string>();
+  for (const n of target.nodes) {
+    if (ownedLaneIds.has(n.lane)) ownedNodeIds.add(n.id);
+  }
+  // actor 専用 lane を引き当てられない経路 (flow / topology 等の共有 lane preset) は従来どおり dragon
+  // slug の prefix match に fallback する。 これらは 1 actor = 1 node (id = slug) の生成規則。
+  const matchesAliasSlug = (id: string): boolean => {
+    if (id === aliasSlug) return true;
+    if (id.startsWith(`${aliasSlug}-`)) return true;
+    // sequence step anchor = `s{N}-{aliasSlug}` pattern
+    if (/^s\d+-/.test(id) && id.endsWith(`-${aliasSlug}`)) return true;
+    return false;
+  };
+  const relatedToActor = (id: string): boolean =>
+    ownedLaneIds.size > 0 ? ownedNodeIds.has(id) : matchesAliasSlug(id);
+  target.nodes = target.nodes.filter((n) => !relatedToActor(n.id));
+  // edge も同経路で削除 (parts actor に接続していた flow を除去、 parts merge 後の flow は user が
+  // 別途書く経路になる)。 削除した edge の id は phase.activate に残ると dangling 参照になるため回収する。
+  const removedEdgeIds = new Set<string>();
+  target.edges = target.edges.filter((e) => {
+    const drop = relatedToActor(e.from) || relatedToActor(e.to);
+    if (drop) removedEdgeIds.add(e.id);
+    return !drop;
+  });
+  // lane も削除 = sequence preset は parts actor 用に lane (id = aliasSlug、 label = actor 名) を
+  // 生成する。 node/edge だけ消して lane を残すと、 merge 後の part 側 lane (label = alias) と 2 本が
+  // 同じ label を lane-label として描画し二重表示になる (actor ラベル二重表示 bug の root cause)。
+  //
+  // 削除は seq-like preset (sequence / solidity = compileSequence 経由) に限定する。 これらは
+  // 1 actor = 1 lane (lane.label === a.name、 lane.id は actor 名の slug) の生成規則が成立し、
+  // parts actor 用 lane を安全に削除できる。 他 preset (flow / topology / class / pie 等) は複数
+  // actor が共有 lane (id = "main" 等) を参照するため、 一致 lane を消すと通常 actor の node が
+  // 削除済 lane を参照する不正 diagram になる (cc-codex MAJOR 指摘)。
+  //
+  // leftover lane の特定は lane.label === a.name を第一に使う。 seq-like preset は非 animate 経路
+  // (cdl preset の slugify) と animate 経路 (dragon の slugify) で lane.id の slug 規則が異なり
+  // (`_`/全角の扱い等)、 aliasSlug (dragon slugify) と lane.id が不一致になる actor 名がある。 lane.label
+  // は両経路とも a.name 生値なので slug 差の影響を受けず確実に一致する。 id === aliasSlug は
+  // label 未設定 preset への fallback (exact match のみ、 prefix は false match risk のため付けない)。
+  if (doc.type === "sequence" || doc.type === "solidity") {
+    target.lanes = target.lanes.filter((l) => {
+      // 明示 lane mapping (a.lane) 先は part の張替え先なので保持する。
+      if (a.lane !== undefined && l.id === a.lane) return true;
+      if (l.label === a.name) return false;
+      if (l.id === aliasSlug) return false;
+      return true;
     });
-    // lane も削除 = sequence preset は parts actor 用に lane (id = aliasSlug、 label = actor 名) を
-    // 生成する。 node/edge だけ消して lane を残すと、 merge 後の part 側 lane (label = alias) と 2 本が
-    // 同じ label を lane-label として描画し二重表示になる (actor ラベル二重表示 bug の root cause)。
-    //
-    // 削除は seq-like preset (sequence / solidity = compileSequence 経由) に限定する。 これらは
-    // 1 actor = 1 lane (lane.label === a.name、 lane.id は actor 名の slug) の生成規則が成立し、
-    // parts actor 用 lane を安全に削除できる。 他 preset (flow / topology / class / pie 等) は複数
-    // actor が共有 lane (id = "main" 等) を参照するため、 一致 lane を消すと通常 actor の node が
-    // 削除済 lane を参照する不正 diagram になる (cc-codex MAJOR 指摘)。
-    //
-    // leftover lane の特定は lane.label === a.name を第一に使う。 seq-like preset は非 animate 経路
-    // (cdl preset の slugify) と animate 経路 (dragon の slugify) で lane.id の slug 規則が異なり
-    // (`_`/全角の扱い等)、 aliasSlug (dragon slugify) と lane.id が不一致になる actor 名がある。 lane.label
-    // は両経路とも a.name 生値なので slug 差の影響を受けず確実に一致する。 id === aliasSlug は
-    // label 未設定 preset への fallback (exact match のみ、 prefix は false match risk のため付けない)。
-    if (doc.type === "sequence" || doc.type === "solidity") {
-      target.lanes = target.lanes.filter((l) => {
-        // 明示 lane mapping (a.lane) 先は part の張替え先なので保持する。
-        if (a.lane !== undefined && l.id === a.lane) return true;
-        if (l.label === a.name) return false;
-        if (l.id === aliasSlug) return false;
-        return true;
-      });
-    }
-    // 削除された node / edge を activate 参照している既存 phase の cleanup (node 削除と同じ判定経路
-    // = 取りこぼすと存在しない id が activate に残り dangling 参照になる、 #873)
-    for (const phase of target.phases) {
-      phase.activate = phase.activate.filter((id) => !relatedToActor(id) && !removedEdgeIds.has(id));
-    }
+  }
+  // 削除された node / edge を activate 参照している既存 phase の cleanup (node 削除と同じ判定経路
+  // = 取りこぼすと存在しない id が activate に残り dangling 参照になる、 #873)
+  for (const phase of target.phases) {
+    phase.activate = phase.activate.filter((id) => !relatedToActor(id) && !removedEdgeIds.has(id));
+  }
 }
 
 /**
@@ -2362,7 +2569,9 @@ function mergePartsFromActors(
     const part = found;
     if (!part) {
       if (typeof console !== "undefined" && console.warn) {
-        console.warn(`[dragon] parts kind "${partId}" not found in partsCatalog (actor: ${actor.name})`);
+        console.warn(
+          `[dragon] parts kind "${partId}" not found in partsCatalog (actor: ${actor.name})`,
+        );
       }
       continue;
     }
@@ -2450,7 +2659,8 @@ function resolveStateOverride(
   override: number | string | boolean | undefined,
 ): { initial: number | string; rejected: boolean } {
   if (override === undefined) return { initial: original, rejected: false };
-  if (isColorValue(original) && !isColorValue(override)) return { initial: original, rejected: true };
+  if (isColorValue(original) && !isColorValue(override))
+    return { initial: original, rejected: true };
   return { initial: override as number | string, rejected: false };
 }
 
@@ -2615,9 +2825,8 @@ function mergePartIntoDiagram(
   //     directive で廃止 (2026-07-21)。 重なりは user の意図位置を優先し、 手動移動で回避する経路。
   //   未指定 (座標なし fallback) 時のみ existingMax + gap で右外配置 (通常経路は drop/click で座標を渡す)。
   const PARTS_LANE_GAP = 300;
-  const existingLaneMaxX = target.lanes.length > 0
-    ? Math.max(...target.lanes.map((l) => (l.x ?? 0) + l.width))
-    : 0;
+  const existingLaneMaxX =
+    target.lanes.length > 0 ? Math.max(...target.lanes.map((l) => (l.x ?? 0) + l.width)) : 0;
   // parts 全体 resize (I2 forensic): user が SE handle drag で targetW/H 指定 = actor.posW/H。
   // scale 基準は part 全体の bbox 幅 (全 lane の最左端〜最右端) にする。 lane[0] 幅だけを基準にすると
   // multi-lane part (複数 lane を横に並べた part) で全体幅を過小評価し、 非先頭 lane の node が自 lane
@@ -2649,9 +2858,10 @@ function mergePartIntoDiagram(
   // 変換し、 lane.x = mapLaneX(元 lane 左端) にすることで全 lane / 全 node が一貫して drop 座標を中心に
   // scale 配置される (cc-codex #879 の mapPartX と同じ発想を lane push まで前倒し、 #880 root fix)。
   const partOrigBboxCenterX = partMinLaneX + partsBboxW / 2;
-  const dropCenterX = offsetX !== undefined
-    ? offsetX
-    : existingLaneMaxX + PARTS_LANE_GAP + (partsBboxW * laneScaleX) / 2;
+  const dropCenterX =
+    offsetX !== undefined
+      ? offsetX
+      : existingLaneMaxX + PARTS_LANE_GAP + (partsBboxW * laneScaleX) / 2;
   const mapLaneX = (x: number): number => (x - partOrigBboxCenterX) * laneScaleX + dropCenterX;
 
   for (const laneOrig of part.lanes) {
@@ -2688,9 +2898,10 @@ function mergePartIntoDiagram(
   const shouldForcePos = offsetX !== undefined || offsetY !== undefined;
   // target 側の現在 max stack + isolation offset で parts node の stack を shift、
   // sequence の rowH 計算と完全分離 (D2 fix、 posX/posY 明示との 2 段防御)。
-  const targetMaxStack = shouldForcePos && target.nodes.length > 0
-    ? Math.max(...target.nodes.map((n) => n.stack ?? 0))
-    : 0;
+  const targetMaxStack =
+    shouldForcePos && target.nodes.length > 0
+      ? Math.max(...target.nodes.map((n) => n.stack ?? 0))
+      : 0;
   const stackShiftBase = shouldForcePos ? targetMaxStack + STACK_ISOLATION_OFFSET : 0;
   // parts 全体 resize scale (I2 forensic 対応): targetW / targetH 指定時、 parts の元 total size
   // に対する比率 = scale 係数、 全 sub-node の w / h + cx / cy 相対位置に scale 反映。
@@ -2758,8 +2969,10 @@ function mergePartIntoDiagram(
     // (cc-codex #879 Round 2/3 MAJOR + #880)。 mapLaneX は part bbox 中心 → drop 座標の scale 変換で、
     // lane / node / 明示 posX / auto-layout の全経路がこの 1 式を共有するため、 lane.x != 0 でも
     // multi-lane でも node 中心と自 lane 中心が一致する。
-    let nodePosX: number | undefined = nodeOrig.posX !== undefined ? mapLaneX(nodeOrig.posX) : undefined;
-    let nodePosY: number | undefined = nodeOrig.posY !== undefined ? nodeOrig.posY + (offsetY ?? 0) : undefined;
+    let nodePosX: number | undefined =
+      nodeOrig.posX !== undefined ? mapLaneX(nodeOrig.posX) : undefined;
+    let nodePosY: number | undefined =
+      nodeOrig.posY !== undefined ? nodeOrig.posY + (offsetY ?? 0) : undefined;
     if (shouldForcePos && nodePosX === undefined) {
       // posX を持たない node は所属 lane の中央 (auto layout の cx 相当) を同じ mapLaneX で変換する。
       const geom = partLaneGeom.get(nodeOrig.lane) ?? { x: 0, w: 320 };
@@ -2775,12 +2988,10 @@ function mergePartIntoDiagram(
     // 座標が非有限になって図が描けない (実測 = 箱の中心が NaN になった)
     const rawNodeW = nodeOrig.w !== undefined ? positiveOr(nodeOrig.w, 200) : undefined;
     const rawNodeH = nodeOrig.h !== undefined ? positiveOr(nodeOrig.h, 200) : undefined;
-    const nodeW = rawNodeW !== undefined && (scaleX !== 1 || scaleY !== 1)
-      ? rawNodeW * scaleX
-      : rawNodeW;
-    const nodeH = rawNodeH !== undefined && (scaleX !== 1 || scaleY !== 1)
-      ? rawNodeH * scaleY
-      : rawNodeH;
+    const nodeW =
+      rawNodeW !== undefined && (scaleX !== 1 || scaleY !== 1) ? rawNodeW * scaleX : rawNodeW;
+    const nodeH =
+      rawNodeH !== undefined && (scaleX !== 1 || scaleY !== 1) ? rawNodeH * scaleY : rawNodeH;
     target.nodes.push({
       ...nodeOrig,
       id: prefix(nodeOrig.id),
@@ -2800,7 +3011,10 @@ function mergePartIntoDiagram(
 
   // state merge = id prefix + initial override
   for (const stateOrig of part.states) {
-    const { initial, rejected } = resolveStateOverride(stateOrig.initial, stateOverride[stateOrig.id]);
+    const { initial, rejected } = resolveStateOverride(
+      stateOrig.initial,
+      stateOverride[stateOrig.id],
+    );
     if (rejected) {
       onNotice?.({
         kind: "state-override-rejected",
@@ -2844,7 +3058,10 @@ function mergePartIntoDiagram(
   if (part.readouts && part.readouts.length > 0) {
     if (!target.readouts) target.readouts = [];
     for (const readoutOrig of part.readouts) {
-      const rewritten = deepRewriteStrings(readoutOrig as unknown, rewriteTemplate) as CdlDiagram["readouts"] extends readonly (infer R)[] ? R : never;
+      const rewritten = deepRewriteStrings(
+        readoutOrig as unknown,
+        rewriteTemplate,
+      ) as CdlDiagram["readouts"] extends readonly (infer R)[] ? R : never;
       // id は shape 全 walk で rewrite されないので個別に prefix
       target.readouts.push({
         ...(rewritten as { id: string }),
@@ -2882,8 +3099,14 @@ function mergePartIntoDiagram(
       const partPhase = part.phases[i]!;
       targetPhase.duration = Math.max(targetPhase.duration, partPhase.duration);
       targetPhase.activate = [...targetPhase.activate, ...partPhase.activate.map(prefix)];
-      targetPhase.tweens = [...targetPhase.tweens, ...partPhase.tweens.map((t) => ({ ...t, stateId: valuePrefix(t.stateId) }))];
-      targetPhase.sets = [...targetPhase.sets, ...partPhase.sets.map((s) => ({ ...s, stateId: valuePrefix(s.stateId) }))];
+      targetPhase.tweens = [
+        ...targetPhase.tweens,
+        ...partPhase.tweens.map((t) => ({ ...t, stateId: valuePrefix(t.stateId) })),
+      ];
+      targetPhase.sets = [
+        ...targetPhase.sets,
+        ...partPhase.sets.map((s) => ({ ...s, stateId: valuePrefix(s.stateId) })),
+      ];
     }
     // parts phase 余剰は append (target より parts が長い場合)
     for (let i = commonLen; i < partsLen; i++) {
@@ -2978,6 +3201,49 @@ function applyEdgeInlineOptions(
   });
 }
 
+/**
+ * 出来事が指す相手を、図の識別子へ直す (#1393)。 見つからなければ `undefined`。
+ *
+ * 箱と縦列は **名前から作った識別子** と **描かれる題** の両方で探す。 記法は名前で書き、
+ * 図の識別子はそこから作られるが、見本を重ねた図など識別子が名前と揃わない形もある。
+ * 矢印は両端の名前から識別子を作って突き合わせる。
+ */
+function 出来事の相手を解く(
+  diagram: CdlDiagram,
+  doc: DslDocument,
+  e: DslEventBinding,
+): NonNullable<CdlDiagram["eventBindings"]>[number]["target"] | undefined {
+  if (e.target.kind === "diagram") return { kind: "diagram" };
+  if (e.target.kind === "edge") {
+    const from = slugify(e.target.from);
+    const to = slugify(e.target.to);
+    let 矢印: CdlEdge | undefined;
+    if (doc.type === "sequence" || doc.type === "solidity") {
+      const stepIdx = doc.flow.findIndex(
+        (step) => slugify(step.from) === from && slugify(step.to) === to,
+      );
+      if (stepIdx >= 0) {
+        矢印 = diagram.edges.find(
+          (x) =>
+            (x.from === `s${stepIdx}-${from}` || x.from === from) &&
+            (x.to === `s${stepIdx}-${to}` || x.from === x.to),
+        );
+      }
+    } else {
+      矢印 = diagram.edges.find((x) => x.from === from && x.to === to);
+    }
+    return 矢印 ? { kind: "edge", id: 矢印.id } : undefined;
+  }
+  const 名 = e.target.name;
+  const slug = slugify(名);
+  if (e.target.kind === "node") {
+    const 箱 = diagram.nodes.find((n) => n.id === slug || n.id === 名 || n.title === 名);
+    return 箱 ? { kind: "node", id: 箱.id } : undefined;
+  }
+  const 列 = (diagram.lanes ?? []).find((l) => l.id === slug || l.id === 名 || l.label === 名);
+  return 列 ? { kind: "lane", id: 列.id } : undefined;
+}
+
 /** 本文に書いた矢印の指定を、対応が取れた矢印へ書き写す。 対応の取り方は呼出側が決める。 */
 function 矢印へ書き写す(target: CdlEdge, s: DslStep, doc: DslDocument): void {
   // **書いた補足が勝つ** (#1275)。 ここで写さないと 2 つ落ちる。 静止した `type: flow` は
@@ -2993,14 +3259,19 @@ function 矢印へ書き写す(target: CdlEdge, s: DslStep, doc: DslDocument): v
     target.cardinality = s.cardinality;
     // ER preset の場合 label に "(1:N)" 形式で併記 (既に含まれていればスキップ)
     if (doc.type === "er" && !target.label.includes(s.cardinality)) {
-      target.label = target.label
-        ? `${target.label} (${s.cardinality})`
-        : `(${s.cardinality})`;
+      target.label = target.label ? `${target.label} (${s.cardinality})` : `(${s.cardinality})`;
     }
   }
+  // 矢印がどの辺から出るか (#1385)。 書かなければ描画側が自動で選ぶ
+  if (s.side !== undefined) target.side = s.side;
   if (s.labelOffsetX !== undefined) target.labelOffsetX = s.labelOffsetX;
   if (s.labelOffsetY !== undefined) target.labelOffsetY = s.labelOffsetY;
   if (s.overlay !== undefined) target.overlay = s.overlay;
+  // 値に追随する 3 欄 (#1396)。 太さ / 色 / 破線の位置が値に合わせて動く。
+  // 通り道そのものは動かないので、配置計算と重なり解消には影響しない
+  if (s.widthBind !== undefined) target.widthBind = s.widthBind;
+  if (s.strokeBind !== undefined) target.strokeBind = s.strokeBind;
+  if (s.dashOffsetBind !== undefined) target.dashOffsetBind = s.dashOffsetBind;
 }
 
 /**
@@ -3090,7 +3361,8 @@ function 式に書く数(n: number): string {
   const decimalAt = whole.length + Number(exponentText);
   let expanded: string;
   if (decimalAt <= 0) expanded = `0.${"0".repeat(-decimalAt)}${digits}`;
-  else if (decimalAt >= digits.length) expanded = `${digits}${"0".repeat(decimalAt - digits.length)}`;
+  else if (decimalAt >= digits.length)
+    expanded = `${digits}${"0".repeat(decimalAt - digits.length)}`;
   else expanded = `${digits.slice(0, decimalAt)}.${digits.slice(decimalAt)}`;
   return negative ? `-${expanded}` : expanded;
 }
@@ -3109,13 +3381,20 @@ type 動く区間 = { 段: number; start: number; end: number; dur: number; from
 function 境目を通る時刻(区間: 動く区間, op: string, 境目: number): number | null {
   const 満たす = (x: number): boolean => {
     switch (op) {
-      case ">=": return x >= 境目;
-      case ">": return x > 境目;
-      case "<=": return x <= 境目;
-      case "<": return x < 境目;
-      case "==": return x === 境目;
-      case "!=": return x !== 境目;
-      default: return false;
+      case ">=":
+        return x >= 境目;
+      case ">":
+        return x > 境目;
+      case "<=":
+        return x <= 境目;
+      case "<":
+        return x < 境目;
+      case "==":
+        return x === 境目;
+      case "!=":
+        return x !== 境目;
+      default:
+        return false;
     }
   };
   if (満たす(区間.from)) return 区間.start;
@@ -3196,7 +3475,13 @@ function foldValueTriggers(
   const 解決中 = new Set<string>();
 
   const 知らせる = (v: DslValue, message: string, hint: string): void => {
-    onNotice?.({ kind: "value-trigger-unresolved", actor: v.name, line: v.pos?.line ?? 0, message, hint });
+    onNotice?.({
+      kind: "value-trigger-unresolved",
+      actor: v.name,
+      line: v.pos?.line ?? 0,
+      message,
+      hint,
+    });
   };
 
   const 解く = (name: string): 動く区間 | null => {
@@ -3207,7 +3492,11 @@ function foldValueTriggers(
     if (!v || !v.trigger) return null;
     if (解決中.has(name)) {
       解けない.add(name);
-      知らせる(v, `"${name}" のきっかけが一周しています`, "どれか 1 つを `trigger: step ...` に変える");
+      知らせる(
+        v,
+        `"${name}" のきっかけが一周しています`,
+        "どれか 1 つを `trigger: step ...` に変える",
+      );
       return null;
     }
     解決中.add(name);
@@ -3231,7 +3520,11 @@ function foldValueTriggers(
     if (trigger.kind === "step") {
       const idx = 段の番号.get(trigger.step);
       if (idx === undefined) {
-        知らせる(v, `"${trigger.step}" という段がありません`, "`animation:` にその名前の段を書くか、 段の名前に合わせる");
+        知らせる(
+          v,
+          `"${trigger.step}" という段がありません`,
+          "`animation:` にその名前の段を書くか、 段の名前に合わせる",
+        );
         return null;
       }
       段 = idx;
@@ -3287,7 +3580,8 @@ function foldValueTriggers(
     段ごとの時計.set(段, 名前);
     diagram.states.push({ id: 名前, initial: 0 });
     const 段の中身 = diagram.phases[段];
-    if (段の中身) 段の中身.tweens = [...段の中身.tweens, { stateId: 名前, from: 0, to: 段の中身.duration }];
+    if (段の中身)
+      段の中身.tweens = [...段の中身.tweens, { stateId: 名前, from: 0, to: 段の中身.duration }];
     return 名前;
   };
 
@@ -3555,9 +3849,15 @@ const VALUE_NOTICE_HINT: Readonly<Record<string, string>> = {
  * **今は記法からも到達する** (一覧へ戻す作業が要らなかったのはこのため)。
  */
 const SINGLE_BOX_KINDS: ReadonlySet<string> = new Set([
-  "chart-pie", "chart-line", "chart-bar",
-  "gantt-timeline", "mind-map",
-  "funnel-stages", "quadrant-matrix", "tree-hierarchy", "journey-map",
+  "chart-pie",
+  "chart-line",
+  "chart-bar",
+  "gantt-timeline",
+  "mind-map",
+  "funnel-stages",
+  "quadrant-matrix",
+  "tree-hierarchy",
+  "journey-map",
 ]);
 
 /** 記法の種別を描画の種別に直す。 描けない種別のままなら `undefined`。 */
@@ -3666,14 +3966,36 @@ const LABEL_MIN_H: Readonly<Record<string, number>> = {
  */
 const LABEL_NEVER_FITS: ReadonlySet<string> = new Set([
   // 左右にはみ出す 24 種。 横幅は高さで変わらないため直らない
-  "shape-api-gateway", "shape-atm", "shape-auditor", "shape-bank", "shape-bitcoin-chain",
-  "shape-blockchain", "shape-blockchain-block", "shape-blockchain-node", "shape-brokerage",
-  "shape-code-block", "shape-customer-service", "shape-ethereum-chain", "shape-hexagon",
-  "shape-kanban-card", "shape-lawyer", "shape-network-node", "shape-nft", "shape-notary",
-  "shape-regulator", "shape-satellite", "shape-smart-contract", "shape-terminal",
-  "shape-trader", "shape-trust-bank",
+  "shape-api-gateway",
+  "shape-atm",
+  "shape-auditor",
+  "shape-bank",
+  "shape-bitcoin-chain",
+  "shape-blockchain",
+  "shape-blockchain-block",
+  "shape-blockchain-node",
+  "shape-brokerage",
+  "shape-code-block",
+  "shape-customer-service",
+  "shape-ethereum-chain",
+  "shape-hexagon",
+  "shape-kanban-card",
+  "shape-lawyer",
+  "shape-network-node",
+  "shape-nft",
+  "shape-notary",
+  "shape-regulator",
+  "shape-satellite",
+  "shape-smart-contract",
+  "shape-terminal",
+  "shape-trader",
+  "shape-trust-bank",
   // 下のはみ出しが高さに依らない 6 種
-  "shape-cylinder", "shape-diamond", "shape-file", "shape-folder", "shape-mobile-device",
+  "shape-cylinder",
+  "shape-diamond",
+  "shape-file",
+  "shape-folder",
+  "shape-mobile-device",
   "shape-stack",
   // 上へ出る絵が名札の大きさでは読めない。 `#1067` では「上は何ともぶつからない」 として残したが、
   // 実際には絵が小さく潰れて名前と重なり、 横に並べた時も 1 本だけ頭が浮く (user 実機確認)
@@ -3979,6 +4301,7 @@ function compileGantt(doc: DslDocument): CdlDiagram {
   const 目盛りなし: string[] = [];
   const タスク: {
     name: string;
+    title: string;
     label: string;
     tone?: DslDocument["actors"][number]["tone"];
     owner?: string;
@@ -3994,6 +4317,7 @@ function compileGantt(doc: DslDocument): CdlDiagram {
     // 色は帯にそのまま渡す。 箱が 1 つになっても、 書いた色が消えないようにする
     タスク.push({
       name: a.name,
+      title: 箱の題(a),
       label,
       ...(a.tone !== undefined ? { tone: a.tone } : {}),
       ...(a.owner !== undefined ? { owner: a.owner } : {}),
@@ -4020,7 +4344,12 @@ function compileGantt(doc: DslDocument): CdlDiagram {
     }
     依存元.set(s.to, s.from);
     // 帯の依存は「どちらが先か」 だけを持つ。 矢印に書いた文字や色は描けないので伝える
-    if ((s.label ?? "") !== "" || (s.sub ?? "") !== "" || s.tone !== undefined || s.style !== undefined) {
+    if (
+      (s.label ?? "") !== "" ||
+      (s.sub ?? "") !== "" ||
+      s.tone !== undefined ||
+      s.style !== undefined
+    ) {
       装飾つき.push(`${s.from} -> ${s.to}`);
     }
   }
@@ -4059,7 +4388,7 @@ function compileGantt(doc: DslDocument): CdlDiagram {
       const 終わり = 終わる位置(t.end, idx, 目盛り, t.name, 逆向きを伝える, doc);
       return {
         id: slugify(t.name) || t.name,
-        title: t.name,
+        title: t.title,
         startIdx: idx,
         endIdx: 終わり.idx,
         startLabel: t.label,
@@ -4110,7 +4439,7 @@ function compileClass(doc: DslDocument): CdlDiagram {
       lane: laneId,
       stack: 0,
       kind: "storage",
-      title: a.name,
+      title: 箱の題(a),
       w: CLASS_W,
     });
   });
@@ -4121,6 +4450,7 @@ function compileClass(doc: DslDocument): CdlDiagram {
     b.edge(fromId, toId, {
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -4185,7 +4515,6 @@ function parseChartValue(raw: string | undefined): number | string | null {
   return parseBoundValue(raw);
 }
 
-
 /** 状態を読む欄が指している名前 (`{v.sum}` なら `v`)。 欄でなければ null */
 function 参照する名前(value: number | string | null): string | null {
   if (typeof value !== "string") return null;
@@ -4251,7 +4580,7 @@ function compileValueChart(
       continue;
     }
     // 色はそのまま渡す。 箱が 1 つになっても、 書いた色が消えないようにする
-    data.push({ label: a.name, value, ...(a.tone !== undefined ? { tone: a.tone } : {}) });
+    data.push({ label: 箱の題(a), value, ...(a.tone !== undefined ? { tone: a.tone } : {}) });
   }
   // 案内の言葉は型ごとに変える。 共通化した時に `pie` の「割合 / 円 / 45%」 が「値 / 図 / 45」 に
   // 薄まり、 既存の案内が後退した (review 指摘)。 何を書けばよいかは型ごとに違う
@@ -4313,7 +4642,6 @@ function compileValueChart(
   return b.build();
 }
 
-
 /**
  * 図表 4 種の組立て (#1154 段 2 / 段 3)。
  *
@@ -4415,7 +4743,11 @@ const 区画 = new Map<string, "topLeft" | "topRight" | "bottomLeft" | "bottomRi
  */
 function 図表の欄から参照できる名前(
   doc: DslDocument,
-  欄: { 読めるか: (v: number | string) => boolean; 補間で壊れるか: boolean; 自動の値を許すか: boolean },
+  欄: {
+    読めるか: (v: number | string) => boolean;
+    補間で壊れるか: boolean;
+    自動の値を許すか: boolean;
+  },
 ): Set<string> {
   // 同じ名前を 2 回宣言した時は後ろが効く。 描画側が後の宣言を有効値として扱うため、
   // 前の宣言で判定すると「読めると判定したのに読めない値が入る」 状態になる (実測)
@@ -4536,7 +4868,7 @@ function compileFunnel(doc: DslDocument, onNotice?: (n: CompileNotice) => void):
       未宣言.push(a.name);
       continue;
     }
-    data.push({ id: slugify(a.name), title: a.name, count: v });
+    data.push({ id: slugify(a.name), title: 箱の題(a), count: v });
   }
   if (未宣言.length > 0) {
     const m3 = `type: funnel で数にならない値を参照した項目があります (段に載せません): ${未宣言.join(", ")}。 \`states:\` にその名前を数で書いてください`;
@@ -4551,11 +4883,23 @@ function compileFunnel(doc: DslDocument, onNotice?: (n: CompileNotice) => void):
   // 矢印は描けない。 書かれていたら伝える (黙って捨てると「書いたのに効かない」 が残る)
   if (doc.flow.length > 0) {
     const m2 = `type: funnel では矢印を描けません (${doc.flow.length} 本を無視しました)。 関係を描くなら type: flow を使ってください`;
-    onNotice?.({ kind: "chart-edge-dropped", actor: doc.flow[0]?.from ?? "", line: doc.flow[0]?.pos?.line ?? 0, message: m2 });
+    onNotice?.({
+      kind: "chart-edge-dropped",
+      actor: doc.flow[0]?.from ?? "",
+      line: doc.flow[0]?.pos?.line ?? 0,
+      message: m2,
+    });
     if (typeof console !== "undefined" && console.warn) console.warn(`[dragon] ${m2}`);
   }
   b.node(`${slugify(doc.title) || "funnel"}-chart`, {
-    lane: "chart", stack: 0, kind: "funnel-stages", title: doc.title, ...図の小見出し(doc), w: W, h: H, funnelData: data,
+    lane: "chart",
+    stack: 0,
+    kind: "funnel-stages",
+    title: doc.title,
+    ...図の小見出し(doc),
+    w: W,
+    h: H,
+    funnelData: data,
   });
   return b.build();
 }
@@ -4582,12 +4926,20 @@ function 矢印から親を決める(
     const 子 = slugify(f.to);
     const 親名 = slugify(f.from);
     if (!名前.has(親名)) {
-      伝える(f.from, `type: ${図種} で書いていない名前を親にしています: ${f.from} -> ${f.to}`, f.pos?.line ?? 0);
+      伝える(
+        f.from,
+        `type: ${図種} で書いていない名前を親にしています: ${f.from} -> ${f.to}`,
+        f.pos?.line ?? 0,
+      );
       continue;
     }
     // 子の側も見る。 書いていない名前への矢印は、 黙って捨てると図から関係が消える
     if (!名前.has(子)) {
-      伝える(f.to, `type: ${図種} で書いていない名前を子にしています: ${f.from} -> ${f.to}`, f.pos?.line ?? 0);
+      伝える(
+        f.to,
+        `type: ${図種} で書いていない名前を子にしています: ${f.from} -> ${f.to}`,
+        f.pos?.line ?? 0,
+      );
       continue;
     }
     if (子 === 親名) {
@@ -4596,7 +4948,11 @@ function 矢印から親を決める(
     }
     const 既存 = 親.get(子);
     if (既存 !== undefined && 既存 !== 親名) {
-      伝える(f.to, `type: ${図種} で ${f.to} に親が 2 つあります (後の ${f.from} は使いません)`, f.pos?.line ?? 0);
+      伝える(
+        f.to,
+        `type: ${図種} で ${f.to} に親が 2 つあります (後の ${f.from} は使いません)`,
+        f.pos?.line ?? 0,
+      );
       continue;
     }
     親.set(子, 親名);
@@ -4638,7 +4994,10 @@ function compileTree(doc: DslDocument, onNotice?: (n: CompileNotice) => void): C
   };
   for (const [k, 群] of slug別) {
     if (群.length > 1) {
-      伝える(群[0]!, `type: tree で ${群.join(" / ")} が同じ id (${k}) になります。 名前を変えてください`);
+      伝える(
+        群[0]!,
+        `type: tree で ${群.join(" / ")} が同じ id (${k}) になります。 名前を変えてください`,
+      );
     }
   }
   const 親 = 矢印から親を決める(doc, "tree", 名前, 伝える);
@@ -4650,7 +5009,14 @@ function compileTree(doc: DslDocument, onNotice?: (n: CompileNotice) => void): C
     return { id, ...放射に出す文字(a), ...(p3 !== undefined ? { parent: p3 } : {}) };
   });
   b.node(`${slugify(doc.title) || "tree"}-chart`, {
-    lane: "chart", stack: 0, kind: "tree-hierarchy", title: doc.title, ...図の小見出し(doc), w: W, h: H, treeData: data,
+    lane: "chart",
+    stack: 0,
+    kind: "tree-hierarchy",
+    title: doc.title,
+    ...図の小見出し(doc),
+    w: W,
+    h: H,
+    treeData: data,
   });
   return b.build();
 }
@@ -4677,19 +5043,25 @@ function 道筋の欄(a: DslActor): { touchpoint?: string; opportunity?: string
  * `type: mind` では伝えない = `compileMind` が描けない欄をまとめて 1 件で伝えており、
  * そこに 2 つとも入っている (`放射で描けない欄`)。 二重に伝えない (#1246 と同じ扱い)。
  */
-function reportChartFieldsNotHonored(doc: DslDocument, onNotice?: (n: CompileNotice) => void): void {
+function reportChartFieldsNotHonored(
+  doc: DslDocument,
+  onNotice?: (n: CompileNotice) => void,
+): void {
   if (!onNotice) return;
   if (doc.type === "mind") return;
   for (const a of doc.actors) {
     if (a.partId !== undefined) continue;
-    const 道筋 = doc.type === "journey" ? [] : [
-      ...(a.touchpoint !== undefined ? ["touchpoint"] : []),
-      ...(a.opportunity !== undefined ? ["opportunity"] : []),
-    ];
-    const 工程 = doc.type === "gantt" ? [] : [
-      ...(a.owner !== undefined ? ["owner"] : []),
-      ...(a.end !== undefined ? ["end"] : []),
-    ];
+    const 道筋 =
+      doc.type === "journey"
+        ? []
+        : [
+            ...(a.touchpoint !== undefined ? ["touchpoint"] : []),
+            ...(a.opportunity !== undefined ? ["opportunity"] : []),
+          ];
+    const 工程 =
+      doc.type === "gantt"
+        ? []
+        : [...(a.owner !== undefined ? ["owner"] : []), ...(a.end !== undefined ? ["end"] : [])];
     if (道筋.length > 0) {
       onNotice({
         kind: "chart-value-unreadable",
@@ -4727,7 +5099,7 @@ function compileJourney(doc: DslDocument, onNotice?: (n: CompileNotice) => void)
         読めない.push(a.name);
         continue;
       }
-      data.push({ id: slugify(a.name), title: a.name, emotion: 語 as never, ...道筋の欄(a) });
+      data.push({ id: slugify(a.name), title: 箱の題(a), emotion: 語 as never, ...道筋の欄(a) });
       continue;
     }
     const e = 気持ち.get(語);
@@ -4735,7 +5107,7 @@ function compileJourney(doc: DslDocument, onNotice?: (n: CompileNotice) => void)
       読めない.push(a.name);
       continue;
     }
-    data.push({ id: slugify(a.name), title: a.name, emotion: e, ...道筋の欄(a) });
+    data.push({ id: slugify(a.name), title: 箱の題(a), emotion: e, ...道筋の欄(a) });
   }
   if (読めない.length > 0) {
     const m = `type: journey で気持ちを読めない項目があります (道筋に載せません): ${読めない.join(", ")}。 \`- 登録: "不満"\` の形で、 ${[...気持ち.keys()].join(" / ")} のどれかを書いてください`;
@@ -4745,11 +5117,23 @@ function compileJourney(doc: DslDocument, onNotice?: (n: CompileNotice) => void)
   // 矢印は描けない。 書かれていたら伝える (黙って捨てると「書いたのに効かない」 が残る)
   if (doc.flow.length > 0) {
     const m2 = `type: journey では矢印を描けません (${doc.flow.length} 本を無視しました)。 関係を描くなら type: flow を使ってください`;
-    onNotice?.({ kind: "chart-edge-dropped", actor: doc.flow[0]?.from ?? "", line: doc.flow[0]?.pos?.line ?? 0, message: m2 });
+    onNotice?.({
+      kind: "chart-edge-dropped",
+      actor: doc.flow[0]?.from ?? "",
+      line: doc.flow[0]?.pos?.line ?? 0,
+      message: m2,
+    });
     if (typeof console !== "undefined" && console.warn) console.warn(`[dragon] ${m2}`);
   }
   b.node(`${slugify(doc.title) || "journey"}-chart`, {
-    lane: "chart", stack: 0, kind: "journey-map", title: doc.title, ...図の小見出し(doc), w: W, h: H, journeyData: data,
+    lane: "chart",
+    stack: 0,
+    kind: "journey-map",
+    title: doc.title,
+    ...図の小見出し(doc),
+    w: W,
+    h: H,
+    journeyData: data,
   });
   return b.build();
 }
@@ -4828,7 +5212,7 @@ function compileQuadrant(doc: DslDocument, onNotice?: (n: CompileNotice) => void
         読めない.push(a.name);
         continue;
       }
-      items.push({ id: slugify(a.name), title: a.name, quadrant: 語 as never });
+      items.push({ id: slugify(a.name), title: 箱の題(a), quadrant: 語 as never });
       continue;
     }
     const q = 区画.get(語);
@@ -4836,7 +5220,7 @@ function compileQuadrant(doc: DslDocument, onNotice?: (n: CompileNotice) => void
       読めない.push(a.name);
       continue;
     }
-    items.push({ id: slugify(a.name), title: a.name, quadrant: q });
+    items.push({ id: slugify(a.name), title: 箱の題(a), quadrant: q });
   }
   if (読めない.length > 0) {
     const m = `type: quadrant で区画を読めない項目があります (図に載せません): ${読めない.join(", ")}。 \`- 重複削除: "左上"\` の形で、 ${[...区画.keys()].join(" / ")} のどれかを書いてください`;
@@ -4846,11 +5230,22 @@ function compileQuadrant(doc: DslDocument, onNotice?: (n: CompileNotice) => void
   // 矢印は描けない。 書かれていたら伝える (黙って捨てると「書いたのに効かない」 が残る)
   if (doc.flow.length > 0) {
     const m2 = `type: quadrant では矢印を描けません (${doc.flow.length} 本を無視しました)。 関係を描くなら type: flow を使ってください`;
-    onNotice?.({ kind: "chart-edge-dropped", actor: doc.flow[0]?.from ?? "", line: doc.flow[0]?.pos?.line ?? 0, message: m2 });
+    onNotice?.({
+      kind: "chart-edge-dropped",
+      actor: doc.flow[0]?.from ?? "",
+      line: doc.flow[0]?.pos?.line ?? 0,
+      message: m2,
+    });
     if (typeof console !== "undefined" && console.warn) console.warn(`[dragon] ${m2}`);
   }
   b.node(`${slugify(doc.title) || "quadrant"}-chart`, {
-    lane: "chart", stack: 0, kind: "quadrant-matrix", title: doc.title, ...図の小見出し(doc), w: W, h: H,
+    lane: "chart",
+    stack: 0,
+    kind: "quadrant-matrix",
+    title: doc.title,
+    ...図の小見出し(doc),
+    w: W,
+    h: H,
     quadrantData: { ...軸と区画の名前(doc), items },
   });
   return b.build();
@@ -4879,7 +5274,10 @@ function 段を読み取る(subtitle: string | undefined): { 段: number; 説明
   const m = 元.match(/^L([123])(?![0-9A-Za-z])/i);
   if (m === null) return { 段: 1, 説明: subtitle };
   // 目印と、 その直後の区切り (`:` / 全角コロン / 空白) を落とす
-  const 残り = 元.slice(m[0].length).replace(/^[:：\s]+/, "").trim();
+  const 残り = 元
+    .slice(m[0].length)
+    .replace(/^[:：\s]+/, "")
+    .trim();
   return { 段: Number(m[1]), 説明: 残り === "" ? undefined : 残り };
 }
 
@@ -4943,6 +5341,7 @@ function compileC4(doc: DslDocument): CdlDiagram {
     b.edge(fromId, toId, {
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -4998,6 +5397,8 @@ function compileC4(doc: DslDocument): CdlDiagram {
 type 放射で描ける欄 =
   /** 中心の名前 / 枝の名前になる */
   | "name"
+  /** 名前と分けて中心 / 枝に出す題。 書かなければ名前を出す */
+  | "title"
   /**
    * 名前とは分けて補足に出す 2 欄。
    *
@@ -5018,6 +5419,16 @@ type 放射で描ける欄 =
   /** 本文の行番号。 知らせに載せるために使う */
   | "pos";
 
+/**
+ * 箱に出す題 (#1381)。 書いていなければ名前をそのまま使う。
+ *
+ * 名前は図の中で 1 つに決まる必要がある (`focus:` と `flow:` が名前で指す) 一方、題は
+ * 重なってよい。 同じ題の箱を並べる図と、題を持たない箱は、名前と切り離さないと書けない。
+ */
+function 箱の題(a: DslActor): string {
+  return a.title ?? a.name;
+}
+
 /** 放射では描けない欄。 書かれていたら伝える */
 type 放射で描けない欄 =
   | "kind"
@@ -5041,7 +5452,17 @@ type 放射で描けない欄 =
   | "scaleKeys"
   | "posRel"
   | "nodes"
-  | "layoutPos";
+  | "layoutPos"
+  // 箱の中に描く図形 (#1374)。 放射の枝は箱の中に図形を持たない
+  | "shape"
+  // 出す条件 (#1381)。 放射の枝は個別に出し分けられない
+  | "visibleIf"
+  // 値に追随する 5 欄 (#1392)。 放射の枝は大きさも位置も中心からの配置で決まる
+  | "wBind"
+  | "hBind"
+  | "opacity"
+  | "renderOffsetX"
+  | "renderOffsetY";
 
 /** 引数が `never` でなければ型検査が落ちる */
 type 空であること<T extends never> = T;
@@ -5096,6 +5517,13 @@ const 放射で描けない欄の名前: Record<放射で描けない欄, string
   posRel: "位置 (相対)",
   nodes: "中の箱ごとの指定",
   layoutPos: "配置のずらし",
+  shape: "箱の中の図形",
+  visibleIf: "出す条件",
+  wBind: "値に追随する大きさ",
+  hBind: "値に追随する大きさ",
+  opacity: "濃さ",
+  renderOffsetX: "描く時のずらし",
+  renderOffsetY: "描く時のずらし",
 };
 
 /**
@@ -5126,7 +5554,7 @@ function 放射で描けない欄を書いたか(a: DslActor, 欄: 放射で描
  */
 function 放射に出す文字(a: DslActor): { title: string; subtitle?: string } {
   const 続き = [a.subtitle, a.value].map((x) => x?.trim()).filter((x): x is string => !!x);
-  return { title: a.name, ...(続き.length > 0 ? { subtitle: 続き.join(" ") } : {}) };
+  return { title: 箱の題(a), ...(続き.length > 0 ? { subtitle: 続き.join(" ") } : {}) };
 }
 
 function compileMind(doc: DslDocument, onNotice?: (n: CompileNotice) => void): CdlDiagram {
@@ -5226,7 +5654,8 @@ function compileMind(doc: DslDocument, onNotice?: (n: CompileNotice) => void): C
   const 使った = new Set<string>([rootId]);
   記録する(root);
   // 中心は色の欄を持たない (`MindBranchPayload` に `tone` が無い)
-  if (root.tone) 消えた欄.set(root.name, [...(消えた欄.get(root.name) ?? []), "色 (中心は持てない)"]);
+  if (root.tone)
+    消えた欄.set(root.name, [...(消えた欄.get(root.name) ?? []), "色 (中心は持てない)"]);
 
   見本でない.slice(1).forEach((a, i) => {
     const id = slugify(a.name) || `leaf-${i}`;
@@ -5304,10 +5733,7 @@ function compileMind(doc: DslDocument, onNotice?: (n: CompileNotice) => void): C
  * 後から来た見本の縦列に書いた値を移し、先に作った空の方を外す。 書いた人から見れば
  * 「id を書けば効く」 が成り立つ。
  */
-function mergeDuplicateDeclaredLanes(
-  diagram: CdlDiagram,
-  追加した縦列: readonly DslLane[],
-): void {
+function mergeDuplicateDeclaredLanes(diagram: CdlDiagram, 追加した縦列: readonly DslLane[]): void {
   for (const 宣言 of 追加した縦列) {
     const { id } = 宣言;
     const 同一idの縦列 = diagram.lanes.filter((l) => l.id === id);
@@ -5399,14 +5825,31 @@ function applyV05Extensions(
       // `s{idx}-{laneId}` が actor 名末尾 "Header" (slug `...-header`) で誤マッチし、 option が invisible
       // な step anchor にも copy される (cc-codex #883 MAJOR)。 lane id との構造 exact 一致で header だけを
       // 引くことで step box / spacer / footer を排除する。
-      primaryNodes = ownedLaneIds.size > 0
-        ? diagram.nodes.filter((n) => ownedLaneIds.has(n.lane) && n.id === `${n.lane}-header`)
-        : diagram.nodes.filter((n) => n.id === `${dragonSlug}-header`);
+      primaryNodes =
+        ownedLaneIds.size > 0
+          ? diagram.nodes.filter((n) => ownedLaneIds.has(n.lane) && n.id === `${n.lane}-header`)
+          : diagram.nodes.filter((n) => n.id === `${dragonSlug}-header`);
     } else {
       // 非 seq preset は 1 actor = 1 node (id = dragon slug) で node id と dragon slug が一致する。
       primaryNodes = diagram.nodes.filter((n) => n.id === dragonSlug);
     }
     for (const node of primaryNodes) {
+      // 識別に使う名前と、箱に出す題を分ける (#1381)。 preset が actor 名で
+      // node を作る経路 (sequence / solidity / swimlane / c4) もここで書き換える。
+      if (a.title !== undefined) {
+        node.title = a.title;
+        if (isSeqLike) {
+          const footer = diagram.nodes.find((n) => n.id === `${node.lane}-footer`);
+          if (footer) footer.title = a.title;
+
+          // 名前で決めた preset の幅を題に合わせる。 明示の大きさは後段が優先する。
+          if (a.posW === undefined) {
+            const titleW = Math.max(140, a.title.length * 22 + 52);
+            node.w = titleW;
+            if (footer) footer.w = titleW;
+          }
+        }
+      }
       // `type: c4` では説明の先頭に段の目印 (`L1` / `L2` / `L3`) を書く。 目印は組み立てに
       // 段を伝えるためのもので読む人に意味を持たず、 段の名前は枠のラベルが既に出している。
       // ここで落とさないと、 組み立てが読み取った目印がそのまま箱の説明として出る (#1098)
@@ -5482,6 +5925,42 @@ function applyV05Extensions(
         const footer = diagram.nodes.find((n) => n.id === `${node.lane}-footer`);
         if (footer && a.posW !== undefined) footer.w = a.posW;
       }
+      // 箱の中に描く図形 (#1374)。 renderer が shape を描くのは dyn-* kind だけなので、
+      // shape 自身を SSOT にして対応する kind へ揃える。 card 等のまま shape だけ渡すと、指定を
+      // 保持しているのに画面には何も出ない。 paint 検査が入力を mutate しないよう object も写す。
+      if (a.shape !== undefined) {
+        const dynamicKind = `dyn-${a.shape.kind}` as typeof node.kind;
+        node.kind = dynamicKind;
+        node.shape = { ...a.shape };
+        if (isSeqLike) {
+          const footer = diagram.nodes.find((n) => n.id === `${node.lane}-footer`);
+          if (footer) {
+            footer.kind = dynamicKind;
+            footer.shape = { ...a.shape };
+          }
+        }
+      }
+      // その箱を出すかどうかの条件 (#1381)。 名札と足にも同じ条件を渡す = 片方だけ隠すと
+      // 順序図で縦線の頭と足が食い違う
+      if (a.visibleIf !== undefined) {
+        node.visibleIf = a.visibleIf;
+        if (isSeqLike) {
+          const footer = diagram.nodes.find((n) => n.id === `${node.lane}-footer`);
+          if (footer) footer.visibleIf = a.visibleIf;
+        }
+      }
+      /*
+       * 値に追随する 5 欄 (#1392)。
+       *
+       * **名札と足へは渡さない**。 `visibleIf` は片方だけ隠すと順序図の縦線の頭と足が
+       * 食い違うため揃えるが、こちらは見た目の大きさ / 濃さ / ずらしで、名札まで同じだけ
+       * 動かすと縦線の頭が本体から離れる。 書いた箱にだけ効かせる。
+       */
+      if (a.wBind !== undefined) node.wBind = a.wBind;
+      if (a.hBind !== undefined) node.hBind = a.hBind;
+      if (a.opacity !== undefined) node.opacity = a.opacity;
+      if (a.renderOffsetX !== undefined) node.renderOffsetX = a.renderOffsetX;
+      if (a.renderOffsetY !== undefined) node.renderOffsetY = a.renderOffsetY;
     }
   }
   // 名札の高さを揃える。 kind ごとに高さが変わると縦線の始まる位置がばらけ、 順序図の
@@ -5599,7 +6078,12 @@ function injectPhasesFallback(diagram: CdlDiagram, doc: DslDocument): void {
         }
         // 線を持たない種類 (帯の依存等) では矢印が edge にならない。 両端が実在するなら
         // その箱を光らせる = 矢印を指した段で何も光らないより意図に近い (#1077)
-        if (!見つかった && singleBoxNode !== undefined && knownNames.has(entry.from) && knownNames.has(entry.to)) {
+        if (
+          !見つかった &&
+          singleBoxNode !== undefined &&
+          knownNames.has(entry.from) &&
+          knownNames.has(entry.to)
+        ) {
           out.push(singleBoxNode.id);
         }
         continue;
@@ -5629,9 +6113,7 @@ function injectPhasesFallback(diagram: CdlDiagram, doc: DslDocument): void {
     // **`activate` と兼ねない**。 描画側は焦点と別集合で持つ (`cdl#512`) = 焦点が当たり
     // 続ける図で毎段引き直しになるため。 書いた段だけが欄を持つ
     const drawIds =
-      p.draw !== undefined &&
-      DRAW_TARGETS.get(p.draw) === doc.type &&
-      singleBoxNode !== undefined
+      p.draw !== undefined && DRAW_TARGETS.get(p.draw) === doc.type && singleBoxNode !== undefined
         ? [singleBoxNode.id]
         : [];
     diagram.phases.push({
@@ -5666,6 +6148,7 @@ function compileSequence(doc: DslDocument): CdlDiagram {
       to: s.to,
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -5705,8 +6188,8 @@ function compileSequenceWithAnimate(doc: DslDocument): CdlDiagram {
     const headerId = `${id}-header`;
     // header/footer 幅を title 長に応じて auto-size (text-readability warning 解消)。
     // formula = 22px/char + 52px padding (visualValidate text-readability と完全一致)、 min 140 で従来 sample 互換維持。
-    const actorW = Math.max(140, a.name.length * 22 + 52);
-    b.node(headerId, { lane: id, stack: 0, kind: "card", title: a.name, w: actorW, h: 72 });
+    const actorW = Math.max(140, 箱の題(a).length * 22 + 52);
+    b.node(headerId, { lane: id, stack: 0, kind: "card", title: 箱の題(a), w: actorW, h: 72 });
     headerNodeIds.push(headerId);
     const spacerId = `${id}-spacer`;
     b.node(spacerId, { lane: id, stack: 1, kind: "card", title: "", w: 2, h: 40 });
@@ -5733,6 +6216,7 @@ function compileSequenceWithAnimate(doc: DslDocument): CdlDiagram {
       id: edgeId,
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -5744,7 +6228,7 @@ function compileSequenceWithAnimate(doc: DslDocument): CdlDiagram {
   doc.actors.forEach((a) => {
     const laneId = actorIds.get(a.name) ?? slugify(a.name);
     const footerId = `${laneId}-footer`;
-    const actorW = Math.max(140, a.name.length * 22 + 52);
+    const actorW = Math.max(140, 箱の題(a).length * 22 + 52);
     // `role` を付ける (#1273)。 付けないと生命線の終わりが footer より 100 下まで伸びる
     // (実測 = 組立て API は `y2=848`、記法は `y2=948`)。 枠の大きさは同じなので
     // 描いた図の大きさの比較では捕まらない
@@ -5752,7 +6236,7 @@ function compileSequenceWithAnimate(doc: DslDocument): CdlDiagram {
       lane: laneId,
       stack: footerStack,
       kind: "card",
-      title: a.name,
+      title: 箱の題(a),
       w: actorW,
       h: 72,
       role: "lifeline-footer",
@@ -5901,7 +6385,7 @@ function compileFlow(doc: DslDocument): CdlDiagram {
       {
         id: slugify(a.name) || `n${i}`,
         kind: a.kind,
-        title: a.name,
+        title: 箱の題(a),
       },
       edgeLabel,
     );
@@ -5951,6 +6435,7 @@ function compileSwimlane(doc: DslDocument): CdlDiagram {
       id: `e${edgeIdx++}-${fromId}-${toId}`,
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -5970,7 +6455,7 @@ function compileSwimlane(doc: DslDocument): CdlDiagram {
         lane: swim.laneId(a.name),
         stack: 0,
         kind: a.kind ?? "actor",
-        title: a.name,
+        title: 箱の題(a),
       });
     });
   }
@@ -5995,7 +6480,7 @@ function compileEr(doc: DslDocument): CdlDiagram {
     // v0.3 で「列定義」 ブロックを追加検討
     erBuilder.entity({
       id: slugify(a.name) || a.name,
-      title: a.name,
+      title: 箱の題(a),
       rows: [], // v0.2 では rows なし
     });
   }
@@ -6052,7 +6537,7 @@ function compileState(doc: DslDocument): CdlDiagram {
     const final = 決め方.終わり(a, i);
     fsm.state({
       id: slugify(a.name) || `s${i}`,
-      title: a.name,
+      title: 箱の題(a),
       ...(initial ? { initial: true } : {}),
       ...(final ? { final: true } : {}),
     });
@@ -6093,13 +6578,14 @@ function compileTopology(doc: DslDocument): CdlDiagram {
     groupBuilder.add({
       id: slugify(a.name) || a.name,
       kind: a.kind,
-      title: a.name,
+      title: 箱の題(a),
     });
   }
   for (const s of doc.flow) {
     topo.connect(slugify(s.from), slugify(s.to), {
       label: s.label,
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });
@@ -6179,33 +6665,72 @@ function compileGenericWithAnimate(doc: DslDocument, opts: GenericOpts): CdlDiag
   // lane / node 配置 ... preset kind に応じて切替
   const actorToNodeId = new Map<string, string>();
   if (書いた縦列に置く(kind, doc)) {
-    // **書いた縦列に置く** (#1263)。 縦列を並べるための入れ物として使う図種でだけ効く。
-    // 縦列は書かれた順に作り、同じ縦列の箱は書かれた順に積む
-    const 並び: string[] = [];
+    /*
+     * **書いた縦列に置く** (#1263)。 縦列を並べるための入れ物として使う図種でだけ効く。
+     *
+     * 縦列の並びは **`lanes:` に書いた順** を優先する (#1394)。 箱が最初に使った順で
+     * 並べていた間、`lanes:` で左から順に宣言しても箱の書き順で入れ替わっていた
+     * (実測 = 中心を先に書いた放射の図で、左端の縦列が中心の右へ回った)。
+     *
+     * `lanes:` に無い縦列は、これまでどおり箱が使った順で後ろに続ける。
+     */
+    const 使った: string[] = [];
     for (const a of doc.actors) {
       const lid = a.lane;
-      if (lid !== undefined && !並び.includes(lid)) 並び.push(lid);
+      if (lid !== undefined && !使った.includes(lid)) 使った.push(lid);
     }
+    const 書いた順 = doc.lanes ? Object.keys(doc.lanes) : [];
+    const 並び = [
+      ...書いた順.filter((lid) => 使った.includes(lid)),
+      ...使った.filter((lid) => !書いた順.includes(lid)),
+    ];
     for (const lid of 並び) {
       b.lane(lid, { width: laneWidth, ...(kind === "topology" ? { contain: true } : {}) });
     }
-    const 積んだ数 = new Map<string, number>();
+    /*
+     * 段は **書いた番号をそのまま持つ** (#1394)。
+     *
+     * 書き順で 0 から詰め直していた間、`stack: 1` と書いた箱が 0 へ落ちていた。
+     * 決定木のように「同じ高さに並ばない」 ことが図の意味そのものになる形では、
+     * 詰めた瞬間に別の図になる (実測 = 3 段の木の根が 1 段目へ上がった)。
+     *
+     * 書かなかった箱は、その縦列で **空いている一番小さい段** に置く。 単に数え上げると
+     * 書いた番号と重なり、2 つの箱が同じ段に載る。
+     */
+    const 埋まった段 = new Map<string, Set<number>>();
+    const 埋める = (lid: string, stack: number): void => {
+      const 集合 = 埋まった段.get(lid) ?? new Set<number>();
+      集合.add(stack);
+      埋まった段.set(lid, 集合);
+    };
+    for (const a of doc.actors) {
+      if (a.lane !== undefined && a.stack !== undefined) 埋める(a.lane, a.stack);
+    }
     doc.actors.forEach((a, idx) => {
       const id = slugify(a.name) || `n${idx}`;
       actorToNodeId.set(a.name, id);
       const lid = a.lane!;
-      const stack = 積んだ数.get(lid) ?? 0;
-      積んだ数.set(lid, stack + 1);
-      b.node(id, { lane: lid, stack, kind: a.kind, title: a.name });
+      let stack = a.stack;
+      if (stack === undefined) {
+        stack = 0;
+        const 集合 = 埋まった段.get(lid);
+        while (集合?.has(stack)) stack += 1;
+        埋める(lid, stack);
+      }
+      b.node(id, { lane: lid, stack, kind: a.kind, title: 箱の題(a) });
     });
   } else if (kind === "flow" || kind === "topology") {
     // 1 lane に全 actor を縦 stack
     const lid = opts.laneId ?? "main";
-    b.lane(lid, { width: laneWidth, label: doc.title, ...(kind === "topology" ? { contain: true } : {}) });
+    b.lane(lid, {
+      width: laneWidth,
+      label: doc.title,
+      ...(kind === "topology" ? { contain: true } : {}),
+    });
     doc.actors.forEach((a, idx) => {
       const id = slugify(a.name) || `n${idx}`;
       actorToNodeId.set(a.name, id);
-      b.node(id, { lane: lid, stack: idx, kind: a.kind, title: a.name });
+      b.node(id, { lane: lid, stack: idx, kind: a.kind, title: 箱の題(a) });
     });
   } else {
     // swimlane / er / state ... actor ごとに 1 lane (横並び)
@@ -6231,7 +6756,7 @@ function compileGenericWithAnimate(doc: DslDocument, opts: GenericOpts): CdlDiag
         lane: lid,
         stack: 0,
         kind: a.kind,
-        title: a.name,
+        title: 箱の題(a),
         ...(isInitial ? { eyebrow: "初期" } : {}),
         ...(isFinal ? { eyebrow: "最終" } : {}),
       });
@@ -6264,8 +6789,11 @@ function compileGenericWithAnimate(doc: DslDocument, opts: GenericOpts): CdlDiag
     b.edge(fromId, toId, {
       id: edgeId,
       label: labelWithCard,
-      ...後ろへ戻る矢印か(kind, fromId, toId, 箱の並び) ? { routing: "back-detour" as const } : {},
+      ...(後ろへ戻る矢印か(kind, fromId, toId, 箱の並び)
+        ? { routing: "back-detour" as const }
+        : {}),
       ...(s.sub ? { sub: s.sub } : {}),
+      ...(s.side ? { side: s.side } : {}),
       ...(s.tone ? { tone: s.tone } : {}),
       ...(s.style ? { style: s.style } : {}),
     });