@cardenelabs/dragon 0.30.0 → 0.32.0

package/src/compile/notice.ts

@@ -18,6 +18,20 @@ export type CompileNotice = {
     | "part-not-drawn"
     // 向きが効かない形で `向き:` を書いた (#1494)
     | "direction-not-honored"
+    // 既定と同じ向きを書き、その向きを外しても同じ組み立てを通る (#2421)。 書いた行が図を
+    // 1 ピクセルも動かさない形で、書き手には効いたのか効かなかったのかが画面から読めない。
+    // **経路が切り替わる形とは別物** = 向きを書くとフローは鎖をやめ、担当の図は共通の組み立てへ
+    // 回る。 その切替が起きる図では既定と同じ値でも絵が変わるので、この知らせは出さない
+    | "direction-same-as-default"
+    // 並び順が効かない図種に `order:` を書いた (#2655)
+    | "order-not-honored"
+    | "shape-not-honored"
+    // 段階ごとの箱で `stage` を省き、担当または箱名から段階を補った (#2797)
+    | "stage-from-lane"
+    // 路線図で `lane` を省き、箱名を線路名に使った (#2799)
+    | "track-from-name"
+    // `theme:` とその別名 `palette:` を両方書き、`theme:` を使った (#2790)
+    | "theme-palette-both"
     // `倍率:` を書いた見本が、同じ名前の状態も持っていた (#1026)
     | "scale-reserved"
     // 部品に書いた色が効かない (#1973)。 色番号を入れる状態を 1 つも持たない部品に色番号を
@@ -38,21 +52,37 @@ export type CompileNotice = {
     // 箱ごとの値や時期を読んで 1 つの図に描く図種で、読めない項目があった (#1154)。 使う図種は
     // 各図種の組み立て (`compile/*.ts`) が決める
     | "chart-value-unreadable"
-    // 同じ図種で、書いた矢印を描かなかった (#1154)。 関係を描かない図種と、端を描けない矢印 (工程表で
+    // 同じ図種で、書いた矢印を描かなかった (#1154)。 関係を描かない図種と、端を描けない矢印 (ガントチャートで
     // 時期の無い項目を指す等、#2111)
     | "chart-edge-dropped"
     // 同じ名前を `states` と `values` の両方に書いた (#1162)
     | "value-shadows-state"
+    // 同じ名前を `states` と `inputs` の両方に書き、 値がずれた (#2413)。 両方に書くこと自体は
+    // 意図された書き方 (見本 105 箇所) だが、 描く側はつまみの既定値で状態を塗るため、
+    // ずれると状態の初期値は図のどの瞬間にも出ない
+    | "state-shadowed-by-input"
     // 式を解けず、その値を止めた (輪 / 無い名前 / 読めない式 / 数として読めない値、 #1162)
     | "value-unresolved"
     // 同じ名前を `values` に 2 度書いた。 先に書いた式を使う (#1162)
     | "value-duplicate"
     // 矢印が `actors` に無い名前を指した (#1209)
     | "flow-actor-missing"
+    // 帯 (`bands:`) を、 帯を描かない図種に書いた (#2404)。 帯は板の縦線に重ねる四角なので、
+    // 板を作らない図種には載せる先が無い (実測 = 24 図種のうち 22 図種が黙って捨てていた)
+    | "band-not-honored"
+    // 順序図の帯 (`bands:`) が `actors` に無い名前を指した (#2404)。 描く側は見つからない名前を
+    // 先頭の面に倒すため、 綴り違いの帯は正しく書いた帯と同じ図になり、 書き間違いが見えない
+    | "band-actor-missing"
+    // 順序図の帯に書いた区間が、 板に載る言づての並びに収まらない (#2404)。 範囲外と、
+    // 始まりが終わりより後ろ の 2 形。 **`row` は言づての行** = 描く側が `rowY(i)` で
+    // i 通目の言づての高さを返す。 段 (`animation` の `step`) ではないので `step` と呼ばない
+    | "band-row-out-of-range"
     // きっかけ形の値を段に畳めなかった (段が無い / 相手が境目を通らない / 段からはみ出す、 #1161)
     | "value-trigger-unresolved"
     // 箱に `lane:` を書いたが、 縦列は図種が決めるため効かなかった (#1246)
     | "lane-not-honored"
+    // 路線図以外の lane に、路線図の名札だけが読む補足を書いた
+    | "lane-option-not-honored"
     // `lanes:` に書いた縦列に箱が 1 つも入らなかった (#1241)
     | "lane-declared-empty"
     // 最上位に `eyebrow:` を書いたが、 箱ごとに分かれる図種で相手が決まらなかった (#1247)
@@ -65,14 +95,31 @@ export type CompileNotice = {
     | "draw-target-mismatch"
     // 式が、どこにも書かれていない名前を読んだ (#1391)
     | "formula-unresolved"
-    // 出来事が指す相手が図に無い (#1393)
+    // 値を見せる部品が、どこにも書かれていない名前を読んだ (#2405)。 読む元は `states` /
+    // `inputs` / `formulas` の 3 つ。 見る欄は `source` の 1 つではなく、 綴りの規則
+    // (`source` / `〜Source` / `sourceA`) に当たる全ての欄
+    | "readout-source-missing"
+    // 出来事が指す相手が図に無い (#1393)。 書いた名前が本文のどこにも無い時に出す = 書き直せば直る
     | "event-target-missing"
+    // 出来事が指す名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2336)。
+    // 値を並べる図種は図全体で 1 つの箱になり、 順序図と solidity は 1 枚の板になる。
+    // `event-target-missing` と分けるのは、こちらが **書き直しても直らない** 側だから
+    | "event-target-not-honored"
+    // 段の注目先に書いた名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2398)。
+    // `focus-target-missing` と分けるのは、こちらが **書き直しても直らない** 側だから。
+    // 出来事の側の `event-target-not-honored` と同じ性質で、同じ 7 図種でだけ相手を選べる
+    | "focus-target-not-honored"
     // 順序図で面に種類を書いたが、板は名前と呼び名しか描かない (#1466)
     | "actor-kind-not-honored"
+    // 箱に、その図種が描かない指定を書いた (#2360)。 木の図は位置も大きさも親子関係から決めるため
+    // 箱ごとの飾りを載せる先が無い。 板の 2 図種は `actor-kind-not-honored` が受け持つ
+    | "actor-option-not-honored"
     // 順序図の言づてに、板が描かない飾りを書いた (#1466)。 数える飾りは `reportMessageOptionNotHonored` の一覧が持つ
     | "message-option-not-honored"
     // 位置のずらし (`pos` / `offsetX` / `offsetY`) を載せる相手が無いか、書いた量だけ動かせなかった (#1971)
     | "position-offset-ignored"
+    // 箱の座標を横と縦のどちらか一方だけ書いた (#2362)。 座標は両方書いた時だけ効く
+    | "position-axis-missing"
     // 組 (`groups:`) が束ねる縦列が図に無い (#1972)
     | "group-lane-missing"
     // 組が束ねる縦列の間に、束ねない縦列を挟んでいる (#1972)
@@ -80,10 +127,10 @@ export type CompileNotice = {
     // 矢印に書いた多重度 (`cardinality`) から端の形を描けない (#2107)。 `er` で端の形が決まる 6 語以外を
     // 書き、端を両方は書いていない時と、`er` 以外の図種に書いた時
     | "cardinality-not-honored"
-    // 矢印に、その図種が描かない飾り (文字 / 色 / 線種 / 多重度) を書いた (#2111)。 工程表の矢印は
+    // 矢印に、その図種が描かない飾り (文字 / 色 / 線種 / 多重度) を書いた (#2111)。 ガントチャートの矢印は
     // 前後の関係だけを使う
     | "edge-option-not-honored"
-    // 工程表の項目の終わりが始まりより前か、状態で決まる終わりが始まりより前の値を取る (#2111)
+    // ガントチャートの項目の終わりが始まりより前か、状態で決まる終わりが始まりより前の値を取る (#2111)
     | "gantt-end-before-start";
   /** 対象の名前。 光らせる相手なら書かれた指定そのまま */
   actor: string;

package/src/compile/order.ts

@@ -0,0 +1,62 @@
+import type { DslDocument, PresetType } from "../types";
+
+/**
+ * 箱を並べる順 (`order:`、 #2655)。
+ *
+ * ## 型ではなく語で持つ
+ *
+ * 並べ替えの鍵しか持たない図種 (`solidity`) が在り、独自の組み立てを 1 行も持たずに
+ * 箱を種類で並べ替えてから順序図の組み立てをそのまま呼んでいた。
+ *
+ * 型として持つと、振る舞いを書くたびに「順序図 または その型」 という条件を並べることになる。
+ * 実際 `compile.ts` に 6 か所あり、**次に条件を足す人が片方を書き忘れれば黙って外れる**
+ * 形になっていた。 差が並べ替えだけなら語で表す。
+ *
+ * ## 種類の順は 4 段
+ *
+ * 人 → 契約 → しまう場所 → 出来事 の順に置く。 元の実装が持っていた並びをそのまま移した。
+ * **同じ段の中では書いた順のまま** = 比べる値が等しい時の並びは変わらない。
+ *
+ * 表に無い種類は最後に置く。 知らない種類を先頭へ寄せると、書き手が種類を書き間違えた図で
+ * 並びが大きく崩れて原因が読めない。
+ */
+const 種類の段: Record<string, number> = {
+  eoa: 0,
+  actor: 0,
+  multisig: 0,
+  signer: 0,
+  wallet: 0,
+  contract: 1,
+  proxy: 1,
+  library: 1,
+  interface: 1,
+  storage: 2,
+  event: 3,
+};
+
+/** 表に無い種類を置く段。 どの段よりも後ろになる数にする */
+const 表に無い種類の段 = 5;
+
+/**
+ * 並び順を書ける図種 (#2655)。
+ *
+ * 順序図だけ。 他の図種は並び方そのものが読み方を担う (縦列が役割を表す / 段が階層を表す)
+ * ので、外から並べ替えると図の意味が変わる。 書いても効かせず、書いたことを知らせる。
+ */
+export const 並び順を選べる図種: ReadonlySet<PresetType> = new Set<PresetType>(["sequence"]);
+
+/** 書いた並び順が効くか (#2655) */
+export function 並び順が効くか(doc: DslDocument): boolean {
+  return doc.order !== undefined && 並び順を選べる図種.has(doc.type);
+}
+
+/**
+ * 並び順を当てた文書を返す (#2655)。
+ *
+ * 効かない図種と、書かなかった図はそのまま返す = **書かない図の並びは 1 つも動かない**。
+ */
+export function 並べ替えた文書(doc: DslDocument): DslDocument {
+  if (!並び順が効くか(doc)) return doc;
+  const 段 = (kind: string): number => 種類の段[kind] ?? 表に無い種類の段;
+  return { ...doc, actors: [...doc.actors].sort((a, b) => 段(a.kind) - 段(b.kind)) };
+}

package/src/compile/parts.ts

@@ -319,9 +319,10 @@ export function partRenderSize(part: CdlDiagram): { w: number; h: number } {
  * `readouts` を図の中では扱わないため、図として重ねても何も出ない。 位置決めのための
  * 1x1 の箱が 1 つあるだけになる。
  *
- * catalog 80 件を測ると、この 2 群は `readouts` の有無で完全に分かれた。
- * `readouts` を持つ 17 件は箱と図枠の面積比が全件 0.0000 (箱は 1x1)、
- * 持たない 63 件は最小でも 0.1877。 境目に入る件は無い。
+ * catalog を測ると、この 2 群は `readouts` の有無で完全に分かれる。
+ * `readouts` を持つ 17 件は箱と図枠の面積比が全件 0.00007 (箱は 1x1 で図枠は 120x120)、
+ * 持たない群は最小でも 0.37662。 境目に入る件は無い
+ * (#2681 で図枠が中身に寄るようになり、どちらの群も値が上がったが隔たりは残った)。
  *
  * 判定は面積の閾値ではなく **`readouts` を持ち、かつ箱が図枠に対して極小** の 2 条件で行う。
  * 閾値だけで見ると、小さい箱を意図して置いた見本を巻き込む。 `readouts` だけで見ると、
@@ -436,6 +437,64 @@ function partFrameGeometry(part: CdlDiagram): PartFrameGeometry {
   return out;
 }
 
+/** 測るためだけの配置が受け取った知らせの数 (#2312)。 */
+let 測るために受け取った知らせ = 0;
+
+/**
+ * **測るためだけに配置する** (#2312)。
+ *
+ * 組み立て処理は、縦列の位置や部品の図枠を知るために図を配置する。 その配置は読むだけで、
+ * 画面にも書き出しにも出ない。 部品や位置はこの後に動かすので、測った時の並びは残らない。
+ *
+ * ところが記法の engine は配置のたびに重なりを `console.warn` に出す。 測るためだけの配置でも
+ * 出るので、**描かれない図についての知らせ** が端末に流れていた。 カタログの群 14 file を
+ * 読み込むだけで 481 行 (箱どうしの重なり 48 件は、出来上がった図では 1 件も重ならない)。
+ *
+ * engine の `layout()` は引数を 1 つしか取らず、知らせを止める口が無い。 呼ぶ側で受け取る。
+ *
+ * **黙って捨てない**。 受け取った数を覚えておき、`測るために受け取った知らせの数()` で読める。
+ * 数えないと「知らせが無い」 と「この経路を通っていない」 が区別できず、読み込み時の知らせを
+ * 0 行で固定する検査が空振りしても気付けない。
+ *
+ * 記法の engine 以外の知らせ (`[dragon]` で始まる組み立て側の知らせなど) はそのまま通す。
+ * 止めるのは engine が配置のたびに出す分に限る。
+ *
+ * 出来上がった図についての知らせは止めない。 画面を描く側の配置は別の経路で、
+ * そちらの知らせは `layout-warn-ledger` が宣言と突き合わせている (#2308)。
+ *
+ * **配置できない図の扱いは呼ぶ側のまま**。 例外はそのまま返す = ここで握ると、今まで
+ * 例外を投げていた呼び出し (`partsBaseBottomWithoutParts`) が黙って `undefined` を返す形に
+ * 変わる。 知らせを受け取ること以外は何も変えない。
+ */
+export function 測るために配置する(d: CdlDiagram): LaidDiagram {
+  const 元 =
+    typeof console !== "undefined" && typeof console.warn === "function" ? console.warn : undefined;
+  if (元) {
+    console.warn = (...a: unknown[]) => {
+      if (a.map(String).join(" ").includes("[cdl layout]")) {
+        測るために受け取った知らせ++;
+        return;
+      }
+      元(...(a as []));
+    };
+  }
+  try {
+    return layout(d);
+  } finally {
+    if (元) console.warn = 元;
+  }
+}
+
+/**
+ * 測るためだけの配置が受け取った知らせの数 (#2312)。
+ *
+ * 読み込み時の知らせを 0 行で固定する検査が、母数として読む。 0 件なら「知らせが無い」 では
+ * なく「測るための配置を 1 度も通っていない」 = 検査が空振りしている。
+ */
+export function 測るために受け取った知らせの数(): number {
+  return 測るために受け取った知らせ;
+}
+
 /**
  * 部品の頁 (部品の図だけ) を配置した結果。 配置できない図では `undefined` (#1992)。
  *
@@ -453,7 +512,7 @@ function 部品の頁を配置する(part: CdlDiagram): LaidDiagram | undefined
   let out: LaidDiagram | null = null;
   if (countDiagramElements(part) <= MAX_INPUT_ELEMENTS) {
     try {
-      out = layout(part);
+      out = 測るために配置する(part);
     } catch {
       out = null;
     }
@@ -508,10 +567,19 @@ function 部品の置き方を読む(part: CdlDiagram): 部品の置き方 {
  * 縦列の外接矩形。 幅が正でない時 (縦列が 1 本も無い図) は 400 に落とす。
  * 1 未満の正の幅はそのまま使う。 1 に切り上げると、その分だけ `大きさ:` の倍率が小さくなる
  */
-function 縦列の外接(縦列: ReadonlyMap<string, { x: number; w: number }>): { 左端: number; 幅: number } {
+function 縦列の外接(縦列: ReadonlyMap<string, { x: number; w: number }>): {
+  左端: number;
+  幅: number;
+} {
   const 値 = [...縦列.values()];
-  const 左端 = minOf(値.map((g) => g.x), 0);
-  const 右端 = maxOf(値.map((g) => g.x + g.w), 400);
+  const 左端 = minOf(
+    値.map((g) => g.x),
+    0,
+  );
+  const 右端 = maxOf(
+    値.map((g) => g.x + g.w),
+    400,
+  );
   return { 左端, 幅: positiveOr(右端 - 左端, 400) };
 }
 
@@ -816,8 +884,9 @@ function baseDiagramBottom(
   // 早い戻り。 変異試験でこの行を外しても落ちる検査は 0 件で、それが期待どおり
   if (baseNodes.length === 0) return undefined;
   const baseIds = new Set(baseNodes.map((n) => n.id));
+  // 部品を外した並びの下端を測るだけで、この配置は残らない (#2312)
   return partsBaseBottom(
-    layout({
+    測るために配置する({
       ...target,
       lanes: target.lanes.filter((l) => !partsLaneIds.has(l.id)),
       nodes: [...baseNodes],
@@ -902,12 +971,9 @@ function partGridCenters(
   //
   // **座標で書いた箱は数える**。 こちらは格子より先に位置が決まっており、1 度目と 2 度目で
   // 動かない。 外すと、座標で下に置いた箱にパーツが重なる。
-  const 相対で置く箱 = new Set(
-    doc.actors.filter((a) => a.posRel !== undefined).map((a) => a.name),
-  );
+  const 相対で置く箱 = new Set(doc.actors.filter((a) => a.posRel !== undefined).map((a) => a.name));
   const baseNodes = target.nodes.filter(
-    (n) =>
-      !partsActorNames.has(n.title) && !partsLaneIds.has(n.lane) && !相対で置く箱.has(n.title),
+    (n) => !partsActorNames.has(n.title) && !partsLaneIds.has(n.lane) && !相対で置く箱.has(n.title),
   );
   // 取り込まれない見本は格子の枠を使わない (#1015)。 枠を使うと、落とした見本の分だけ
   // 後続がずれる (実測 = 隣の見本の左端が 60 から 725 に動いた)
@@ -1050,7 +1116,10 @@ function 部品の要素へ繋ぐ(
       } else {
         理由 =
           要素.length === 0
-            ? { message: "の中に繋げる要素が無い", hint: "この部品は要素を持たないため、矢印の端にできません" }
+            ? {
+                message: "の中に繋げる要素が無い",
+                hint: "この部品は要素を持たないため、矢印の端にできません",
+              }
             : {
                 message: "の中のどの要素に繋ぐかが決まらない",
                 hint: `要素が 2 つ以上ある部品は、矢印に ${欄}: <要素の id> を書いて繋ぐ要素を選ぶ (要素 = ${要素の一覧})`,
@@ -1077,7 +1146,7 @@ function 部品の要素へ繋ぐ(
  * 名指しは部品の端でだけ読む。 部品でない箱の端に書くと値はどこにも届かず、黙って捨てると
  * 「書いたのに繋ぎ先が変わらない」 が手掛かりなしで起きる。
  *
- * 順序図 (`sequence` / `solidity`) は板の言づてが縦の線に届き、部品の要素へは繋がないため、
+ * 順序図 (`sequence`) は板の言づてが縦の線に届き、部品の要素へは繋がないため、
  * 部品の端に書いても効かない。 部品の一覧に無い部品は組み立てが部品を引いてから知らせる。
  */
 export function reportPartNodeNotHonored(
@@ -1085,7 +1154,7 @@ export function reportPartNodeNotHonored(
   onNotice?: (notice: CompileNotice) => void,
 ): void {
   if (!onNotice) return;
-  const 順序図 = doc.type === "sequence" || doc.type === "solidity";
+  const 順序図 = doc.type === "sequence";
   const 部品 = new Set(doc.actors.filter((a) => a.partId !== undefined).map((a) => a.name));
   const 居る = new Set(doc.actors.map((a) => a.name));
   for (const s of doc.flow) {
@@ -1173,7 +1242,7 @@ function 仮の箱のidか(doc: DslDocument, name: string): (id: string) => bool
  * 限る = 全員が 1 本の縦列を共有する図種 (`flow` / `topology` / `c4`) は格子のまま残る。
  * 仮の箱が作られない形 (流れに現れない `swimlane` の登場人物) は、名札が部品の名前の空の縦列で引く。
  *
- * **順序図 (`sequence` / `solidity`) は対象にしない**。 1 枚の板で描き、縦列を持たない (#1466)。
+ * **順序図 (`sequence`) は対象にしない**。 1 枚の板で描き、縦列を持たない (#1466)。
  *
  * **他の箱の位置の基準になっている部品は縦列に置かない**。 相対の位置 (`位置: 印 の右 200`) は
  * 組み立ての前に格子の位置を基準に解くため、基準の部品だけを縦列へ動かすと書いた位置関係が
@@ -1185,7 +1254,7 @@ function 縦列に置く部品(
 ): { 縦列: Map<string, string>; 基準のため外した: Map<string, string> } {
   const 縦列 = new Map<string, string>();
   const 基準のため外した = new Map<string, string>();
-  if (doc.type === "sequence" || doc.type === "solidity") return { 縦列, 基準のため外した };
+  if (doc.type === "sequence") return { 縦列, 基準のため外した };
   const 基準の名前 = new Set(
     doc.actors.map((a) => a.posRel?.anchor).filter((n): n is string => n !== undefined),
   );
@@ -1220,7 +1289,8 @@ function 部品の縦列(
   if (仮の箱の縦列.size > 1) return undefined;
   const [入っていた] = [...仮の箱の縦列];
   const 候補 =
-    入っていた ?? target.lanes.find((l) => l.label === a.name && !target.nodes.some((n) => n.lane === l.id))?.id;
+    入っていた ??
+    target.lanes.find((l) => l.label === a.name && !target.nodes.some((n) => n.lane === l.id))?.id;
   if (候補 === undefined) return undefined;
   // 他の登場人物の箱が同じ縦列に居れば、自分だけの縦列ではない
   return target.nodes.some((n) => n.lane === 候補 && !仮の箱か(n.id)) ? undefined : 候補;
@@ -1244,7 +1314,7 @@ function cleanupPlaceholderActor(
 ): void {
   const aliasSlug = slugify(a.name);
   const ownedLaneIds = new Set<string>();
-  if (doc.type === "sequence" || doc.type === "solidity") {
+  if (doc.type === "sequence") {
     for (const l of target.lanes) {
       // 明示 lane mapping (a.lane) 先は part の張替え先で actor 専用 lane ではないため除外
       if (a.lane !== undefined && l.id === a.lane) continue;
@@ -1283,7 +1353,7 @@ function cleanupPlaceholderActor(
   // 生成する。 node/edge だけ消して lane を残すと、 merge 後の part 側 lane (label = alias) と 2 本が
   // 同じ label を lane-label として描画し二重表示になる (actor ラベル二重表示 bug の root cause)。
   //
-  // 削除は seq-like preset (sequence / solidity = compileSequence 経由) に限定する。 これらは
+  // 削除は順序図 (sequence = 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 が
@@ -1454,7 +1524,7 @@ export function mergePartsFromActors(
           const 値 = s[欄];
           if (値 === undefined || s[側] !== actor.name) continue;
           // 順序図は部品の有無に依らず名指しが効かない。 そちらの知らせと 2 度出さない
-          if (doc.type === "sequence" || doc.type === "solidity") continue;
+          if (doc.type === "sequence") continue;
           onNotice?.({
             kind: "part-node-ignored",
             actor: actor.name,
@@ -1471,7 +1541,7 @@ export function mergePartsFromActors(
     // slug で始まる名前をまとめて対象にする。
     //
     // sweep に使う slug は 2 系統ある (#873)。 dragon の slugify は `_` / 全角を保持するが、 非 animate
-    // sequence / solidity の node は cdl preset 側の slugify (`_` → `-` 置換、 NFKC なし) で生成される
+    // sequence の node は cdl preset 側の slugify (`_` → `-` 置換、 NFKC なし) で生成される
     // ため、 dragon slug だけで sweep すると `arc_one` → 実 id `arc-one-header` を取りこぼし、 header /
     // footer (title = actor 名) が残って actor 名が多重表示される。
     //
@@ -1620,7 +1690,7 @@ export function mergePartsFromActors(
  * 1 つも部品を光らせていなかった)。
  *
  * **仮の箱を消す所で置き換えず、書いた `focus` を読み直す**。 仮の箱の id の形は図種で違い
- * (順序図は縦列の上端 / 下端 / 手順箱、流れ図は箱 1 つ)、置き換えると図種ごとに規則が要る。
+ * (順序図は縦列の上端 / 下端 / 手順箱、フローは箱 1 つ)、置き換えると図種ごとに規則が要る。
  * 書いた名前から引けば、図種に依らず同じ規則で足せる。
  *
  * | 書いた相手 | 足すもの |
@@ -1658,7 +1728,10 @@ function 部品の名前で光らせる(
       線: part.edges.map((e) => e.id).filter((id) => 線.has(`${名前}__${id}`)),
     };
     部品の中.set(名前, 中);
-    部品の相手.set(名前, [...中.要素, ...中.線].map((id) => `${名前}__${id}`));
+    部品の相手.set(
+      名前,
+      [...中.要素, ...中.線].map((id) => `${名前}__${id}`),
+    );
   }
   const 長い名前から = [...取り込んだ.keys()].sort((a, b) => b.length - a.length);
   const 見せる数 = 8;
@@ -1670,7 +1743,8 @@ function 部品の名前で光らせる(
   // 部品だけが光らない状態を作らないよう揃える。 2 つ以上の名前が同じ slug になる時は引かない
   const 書いた名前 = new Set(doc.actors.map((a) => a.name));
   const slugの数 = new Map<string, number>();
-  for (const 名前 of 書いた名前) slugの数.set(slugify(名前), (slugの数.get(slugify(名前)) ?? 0) + 1);
+  for (const 名前 of 書いた名前)
+    slugの数.set(slugify(名前), (slugの数.get(slugify(名前)) ?? 0) + 1);
   const slugから = new Map<string, string[]>();
   for (const [名前, 相手] of 部品の相手) {
     if (slugの数.get(slugify(名前)) === 1) slugから.set(slugify(名前), 相手);
@@ -1731,8 +1805,8 @@ const 部品の縦列の名札の高さ = 60;
  *
  * 部品の要素は座標で置くが、縦列は描画側が左から詰めて並べ直す。 格子の 2 段目の部品の縦列は
  * 1 段目の縦列と重なるため右へ送られ、名札が別の部品の上に出て、送った分だけ図が横に伸びた
- * (実測 = 部品 4 つの流れ図で `稼働2` の名札が `稼働3` の上、図の右に 875 の空き)。 部品が 1 つでも
- * 名札は図の上端に出て、流れ図の途中に置くと先頭の箱の見出しに見えた。
+ * (実測 = 部品 4 つのフローで `稼働2` の名札が `稼働3` の上、図の右に 875 の空き)。 部品が 1 つでも
+ * 名札は図の上端に出て、フローの途中に置くと先頭の箱の見出しに見えた。
  *
  * 描画側は `posX` と `posY` を両方持つ縦列を置いた位置に置き、詰める送りも幅の自動拡張もしない。
  * 幅は `posW` が無ければ縦列の `width` を使うので、横は位置だけを書く。
@@ -1778,7 +1852,8 @@ function 部品の縦列を部品に固定する(
   if (対象.length === 0) return;
   let laid: LaidDiagram;
   try {
-    laid = layout(target);
+    // 部品の要素の上下端を測るだけで、この配置は残らない (#2312)
+    laid = 測るために配置する(target);
   } catch {
     return;
   }
@@ -1951,9 +2026,10 @@ const 部品の縦列の余白 = 25;
  */
 function 縦列に置いた部品を揃える(target: CdlDiagram, 置いた: readonly 縦列に置いた部品[]): void {
   if (置いた.length === 0) return;
+  // 揃える前の並びを測るだけで、この配置は残らない。 知らせは呼ぶ側で受け取る (#2312)
   const 配置する = (): LaidDiagram | undefined => {
     try {
-      return layout(target);
+      return 測るために配置する(target);
     } catch {
       return undefined;
     }
@@ -2361,9 +2437,7 @@ function mergePartIntoDiagram(
     const mappedLane = laneIdMap.get(nodeOrig.lane) ?? nodeOrig.lane;
     // 形の中の文字は、入れ子の底まで辿って差し替える。
     // 1 段だけ見る形だと `fill: { gradient: "{v}" }` のような書き方が置き換わらずに残る。
-    let newShape = nodeOrig.shape
-      ? deepRewriteStrings(nodeOrig.shape, rewriteTemplate)
-      : undefined;
+    let newShape = nodeOrig.shape ? deepRewriteStrings(nodeOrig.shape, rewriteTemplate) : undefined;
     // parts 全体 resize (I2 forensic): shape 内 radius / outerRadius / innerRadius / thickness に
     // scale 反映 = user が SE handle drag で拡大すると shape の見た目も比例拡大される。 scaleX を採用
     // (等比 scale 相当、 縦方向 scaleY と乖離する場合は近似)、 shape 内数値 field のうち幾何寸法系

package/src/compile/placement-apply.ts

@@ -1,4 +1,3 @@
-import { layout } from "@cardenelabs/cdl";
 import type { CdlDiagram, LaidDiagram } from "@cardenelabs/cdl";
 import {
   orderByDependency,
@@ -8,7 +7,8 @@ import {
 } from "../relative-pos";
 import type { DslDocument } from "../types";
 import type { CompileNotice } from "./notice";
-import { partBoxes, partSizes } from "./parts";
+import { 箱の題 } from "./node-title";
+import { partBoxes, partSizes, 測るために配置する } from "./parts";
 import { PLACEMENT_TOLERANCE } from "./placement";
 import { slugify } from "./slug";
 import { truncateForMessage } from "./subtitle";
@@ -125,11 +125,11 @@ export function resolveRelativeDoc(
  * 見逃す。 書いた言葉 (`Web の右 200`) が最後の図でも成り立つかを見る。
  *
  * **落とす側 (`relative-position-ignored` を出す枝) に届く入力は組めていない** (#2041 の実測)。
- * 試した形は 56 通り = 22 図種 × 右と下、値を持つ `pie` / `bar`、板になる `solidity` と `tree`、
+ * 試した形は 56 通り = 22 図種 × 右と下、値を持つ `pie` / `bar`、板になる `sequence` と `tree`、
  * 同じ場所に 2 つ置く / 間隔 0 で隣に置く / 縦列をまたいで下に置く / 囲いの外へ 3000 出す。
  * どれも知らせが 0 件だった。
  *
- * 座標が効かない図種は、そもそも面ごとの箱を持たない (`sequence` / `solidity` の板)。
+ * 座標が効かない図種は、そもそも面ごとの箱を持たない (`sequence` の板)。
  * その場合は上の `boxes.get(actor.name)` が空になって手前で抜けるため、この枝には来ない。
  * 箱を持つ図種では座標がそのまま効く。 描画側が置いた位置を動かす規則を持った時に備えて残す。
  *
@@ -241,7 +241,7 @@ export function measureActorBoxes(
    */
   laidHint?: LaidDiagram,
 ): Map<string, AnchorBox> {
-  const laid = laidHint ?? layout(diagram);
+  const laid = laidHint ?? 測るために配置する(diagram);
   const bounds = new Map<string, { x0: number; y0: number; x1: number; y1: number }>();
   for (const n of laid.nodes) {
     const title = n.title;
@@ -351,9 +351,9 @@ export function applyLayoutOffsets(
   const ずらす縦列 = Object.entries(doc.lanes ?? {}).filter(([, l]) => l.layoutPos !== undefined);
   if (ずらす箱.length === 0 && ずらす縦列.length === 0) return;
   // 順序図の板は面ごとの箱を持たない。 効かないことは `reportActorKindNotHonored` が伝える
-  if (doc.type === "sequence" || doc.type === "solidity") return;
+  if (doc.type === "sequence") return;
 
-  const 前 = layout(diagram);
+  const 前 = 測るために配置する(diagram);
   const 箱の配置 = new Map(前.nodes.map((n) => [n.id, n] as const));
   const 縦列の配置 = new Map(前.lanes.map((l) => [l.id, l] as const));
   const 相手たち: ずらしの相手[] = [];
@@ -457,7 +457,7 @@ export function applyLayoutOffsets(
         node.posX = 狙い.x;
         node.posY = 狙い.y;
       }
-      基準 = layout(diagram);
+      基準 = 測るために配置する(diagram);
       for (const node of diagram.nodes) {
         if (!箱だけの狙い.has(node.id)) continue;
         const 元 = 元の箱.get(node.id)!;
@@ -508,7 +508,7 @@ export function applyLayoutOffsets(
   };
   /** 狙いと実際の差。 縦列を固定する時は、ずらさない縦列と箱も元の位置に居るかを見る */
   const 測る = (): Map<string, { x: number; y: number }> => {
-    const 後 = layout(diagram);
+    const 後 = 測るために配置する(diagram);
     const 差 = new Map<string, { x: number; y: number }>();
     for (const n of 後.nodes) {
       const 狙い = 箱の狙い.get(n.id);
@@ -610,12 +610,26 @@ export function applyLayoutOffsets(
 /**
  * 全図種共通の後処理で、 登場人物に書かれた色を対応する箱に載せる。
  *
- * 箱を作る経路は図種ごとに違い、 cdl の preset を経由する図種 (流れ図 / ER / 状態遷移 / 構成図)
+ * 箱を作る経路は図種ごとに違い、 cdl の preset を経由する図種 (フロー / ER / 状態遷移 / 構成図)
  * では preset の入力型が色の項目を持たない。 箱が出来上がった後に id で対応付けることで、
  * どの図種でも同じ書き方が効く。 座標を伝播する `applyCanvasPivotPositions` と同じ経路。
  *
  * 対応付けは箱に表示される名前との一致で行う。 id は使わない。
  *
+ * **表示される名前は `箱の題` が決める** (#2333)。 `actor.name` と直接比べていた間、
+ * **題 (`title`) を書いた箱の色が黙って消えていた** = 題を書くと箱に出るのは題なので、
+ * 名前と比べた照合が外れる。 実測で箱になる 7 図種のうち 5 図種 (フロー / 構成図 /
+ * 状態遷移 / クラス図 / ER 図) が落ちており、知らせも出ないため「書いたのに色が付かない」
+ * だけが残った。
+ *
+ * **呼ぶ位置も合わせて決まる**。 題が箱に入る時点は図種で 2 つに割れ、帯図と c4 は登場人物の
+ * 名前で箱を作って `applyV05Extensions` が後から題へ書き換える。 そのため本関数は書き換えの
+ * 後に呼ぶ (呼出側の説明が SSOT)。 前に呼んだまま照合だけを題へ寄せると、今度はその 2 図種で
+ * 色が落ちる (実測)。
+ *
+ * 題を持たない箱 (始まりと終わりの印、順序図の間隔用) は `箱の題` が空を返す。
+ * 空のまま照合すると同じく空の別の箱を巻き込むので、空は対象から外す。
+ *
  * id での対応付けは 2 通りに壊れる。 id は名前を slug に変換して作るが、 その変換規則が
  * dragon と cdl で違い、 記号を含む名前では一致しない (実測 = `A_B` が dragon 側で `a_b`、
  * cdl 側で `a-b`)。 逆に、 生成した id (`{slug}-header`) をそのまま名前に持つ登場人物が
@@ -631,8 +645,10 @@ export function applyLayoutOffsets(
 export function applyNodeTones(diagram: CdlDiagram, doc: DslDocument): void {
   for (const actor of doc.actors) {
     if (actor.tone === undefined) continue;
+    const 題 = 箱の題(actor);
+    if (題 === "") continue;
     for (const node of diagram.nodes) {
-      if (node.title === actor.name) node.tone = actor.tone;
+      if (node.title === 題) node.tone = actor.tone;
     }
   }
 }