@cardenelabs/dragon 0.34.0 → 0.35.0

package/src/compile/actor-ids.ts

@@ -1,297 +0,0 @@
-import type { CdlDiagram } from "@cardenelabs/cdl";
-import type { DslActor, DslDocument, PresetType } from "../types";
-import { 図種の作り } from "./kinds";
-import type { CompileNotice } from "./notice";
-import { ID_MAX, slugify } from "./slug";
-import { truncateForMessage } from "./subtitle";
-/**
- * 名前の重なりを解く (#2036 で `compile.ts` から移した)。
- *
- * 違う名前が同じ id に潰れると、箱が 1 つ消えたり、矢印が別の箱を指したりする。
- * 潰れる前に名前を作り替え、図を組み立てた後で元へ戻す。
- *
- * 外へ出す口は 3 つ。 作り替える `disambiguateActorIds`、作り替えた相手を控える
- * `collectRenamedTargets`、元へ戻す `restoreActorNames`。 いずれも入口が呼ぶ。
- */
-
-/**
- * 名前から作る id の重なりを解く (#1220)。
- *
- * 箱と枠の id は登場人物の名前から作る (`slugify`)。 **違う名前が同じ id に潰れる** と、
- * どちらも正しく書いているのに図が組み立たない (実測 = `foo-bar` と `Foo Bar` を書くと
- * 9 図種が `duplicate-id` で落ちる)。 知らせも出ない = どちらの名前も `actors` に在るため。
- *
- * ## なぜ名前を作り替えるのか
- *
- * id を作る所は 90 箇所を超え、 さらに **cdl 側の組み立てが名前から id を作る経路** がある
- * (`swimlane()` / `er()` は渡した名札から lane id を作る)。 dragon 側だけを直しても届かない。
- *
- * そこで **渡す名前を変え、 最後に表示だけ戻す**。 作り替えた名前は組み立ての間だけ使い、
- * 出口で `nodes[].title` と `lanes[].label` を元に戻す (`restoreActorNames`)。
- *
- * ## 尾は名前から作る
- *
- * 書き順で決めると、 登場人物を並べ替えただけで id が入れ替わる。 元の名前だけから決まる
- * 短い値を尾に付ければ、 並べ替えても同じ id になる。
- *
- * ## まったく同じ名前は畳む
- *
- * 名前が 1 文字も違わない登場人物は区別できない。 2 つの箱に同じ題が付くだけなので、
- * 先に書いた方を残して知らせる。
- */
-function 名前の尾(name: string): string {
-  // FNV-1a。 短くて名前だけから決まればよく、 衝突しても下の検査が拾う
-  let h = 0x811c9dc5;
-  for (const c of name) {
-    h ^= c.codePointAt(0) ?? 0;
-    h = Math.imul(h, 0x01000193) >>> 0;
-  }
-  return h.toString(16).padStart(8, "0").slice(0, 6);
-}
-
-/**
- * cdl 側が名札から id を作る時の規則 (`presets.ts` の `slugify`)。
- *
- * **dragon の規則と違う**。 dragon は `-` と `_` を残し `NFKC` で揃え 64 字で切るが、 cdl は
- * どちらも `-` に潰し、 長さも切らない。 このため `a_b` と `a-b` は **dragon では別 id、 cdl では
- * 同じ id** になる (実測 = 動きを書かない `sequence` / `solidity` が `duplicate-id` で落ちる)。
- *
- * ここに写している = cdl は `slugify` を公開していない。 **ずれると衝突を見落とす** ので、
- * 下の検査が既知の組で対応を固定する。
- */
-function cdl側のslug(s: string): string {
-  return s
-    .toLowerCase()
-    .replace(/[^a-z0-9぀-ゟ゠-ヿ一-龯]+/g, "-")
-    .replace(/^-|-$/g, "");
-}
-
-/**
- * cdl 側が「形が空になった名前」 に付ける id の頭 (#1220 Round 2 / 3)。
- *
- * cdl は形が空になった時に並びの位置へ逃げる。 逃げ先を鍵に入れないと、 逃げ先と同じ名前の
- * 登場人物が居る図で重なる (実測 = `sequence` の `😀` と `actor-0`)。
- *
- * **図種ごとに違う** (Round 3 の指摘)。 両方を入れると、 その図種では使われない逃げ先まで
- * 衝突とみなして **重なっていない図の id を変える**。 実測した対応は次のとおり。
- *
- * | 図種 | `😀` だけを書いた時に付く id |
- * |---|---|
- * | `sequence` | 枠 `actor-0` (cdl の `sequence()`) |
- * | `swimlane` | 枠 `lane-0` (cdl の `swimlane()`) |
- * | 残る 5 図種 | 箱 `n` (dragon 側の逃げ先。 cdl の逃げ道を通らない) |
- *
- * 空配列は「cdl の逃げ道を通らない」 を表す。 1 箱で描く図種はここに来ない (作り替え自体を
- * しない) が、 図種を足した時に決め忘れないよう全種を並べる。
- *
- * **この表が効くのは動きを書いていない図だけ** (Round 4 の指摘)。 動きを書くと組み立てが別経路に
- * 切り替わり、 id は dragon 側の規則で作られる = cdl の逃げ道を通らない。 使う側で条件を見る。
- */
-const 空の形の逃げ先: Record<PresetType, string[]> = {
-  sequence: ["actor-"],
-  swimlane: ["lane-"],
-  // 分かれ道の図も縦列を持ち、 描画側は縦列の名前から箱を作る (`swimlane` と同じ逃げ先)
-  flowchart: ["lane-"],
-  flow: [],
-  record: [],
-  topology: [],
-  c4: [],
-  // 図全体を 1 箱で描く群 (作り替えないのでここは使わない)
-  gantt: [],
-  chart: [],
-  funnel: [],
-  tree: [],
-  journey: [],
-  quadrant: [],
-  mind: [],
-};
-
-/**
- * その名前が下流で id になりうる形。 どれか 1 つでも重なれば衝突する。
- *
- * 位置と逃げ先が分からない時 (作り替えた候補を確かめる時) は逃げ先を数えない。 作り替えた
- * 名前は尾が付いて形が空にならないので、 そもそも逃げ道を通らない。
- */
-function idになる形(name: string, 位置?: number, 逃げ先の頭: string[] = []): string[] {
-  const cdl = cdl側のslug(name);
-  const out = [slugify(name), cdl];
-  if (cdl === "" && 位置 !== undefined) {
-    for (const 頭 of 逃げ先の頭) out.push(`${頭}${位置}`);
-  }
-  return out;
-}
-
-export function disambiguateActorIds(
-  doc: DslDocument,
-  onNotice?: (notice: CompileNotice) => void,
-): { doc: DslDocument; 元の名前: Map<string, string> } {
-  const 元の名前 = new Map<string, string>();
-  if (図種の作り[doc.type] !== "登場人物ごとに箱") return { doc, 元の名前 };
-
-  // 1. まったく同じ名前を畳む
-  const 見た = new Set<string>();
-  const 残す: DslActor[] = [];
-  for (const a of doc.actors) {
-    if (見た.has(a.name)) {
-      onNotice?.({
-        kind: "chart-value-unreadable",
-        actor: a.name,
-        line: a.pos?.line ?? 0,
-        message: `"${truncateForMessage(a.name)}" を 2 度書いています (先に書いた方だけ描きます)`,
-        hint: "違う名前にするか、 1 つにまとめる",
-      });
-      continue;
-    }
-    見た.add(a.name);
-    残す.push(a);
-  }
-
-  // 2. どの名前が重なるかを見る。 **両方の規則で見る** = 片方だけだと cdl 側の経路で落ちる
-  const 形ごとの名前 = new Map<string, Set<string>>();
-  const 位置 = new Map<string, number>();
-  残す.forEach((a, i) => 位置.set(a.name, i));
-  // **動きを書いた図では cdl の逃げ道を通らない** (Round 4 の指摘)。 動きがあると組み立てが
-  // 別経路 (`compileGenericWithAnimate` / `compileSequenceWithAnimate`) に切り替わり、 id は
-  // dragon 側の規則で作られる (実測 = `😀` は 枠 `n` / `lane-n` になり、 位置を使わない)。
-  //
-  // 逃げ先を鍵に入れたままにすると、 その経路で **重なっていない図の id を変える**。
-  // dragon 側の規則で作る分は、 1 つ目の鍵 (`slugify`) が既に見ている。
-  const 動きを書いた = (doc.animate?.phases.length ?? 0) > 0;
-  const 逃げ先の頭 = 動きを書いた ? [] : 空の形の逃げ先[doc.type];
-  for (const a of 残す) {
-    for (const 形 of idになる形(a.name, 位置.get(a.name), 逃げ先の頭)) {
-      const 群 = 形ごとの名前.get(形) ?? new Set<string>();
-      群.add(a.name);
-      形ごとの名前.set(形, 群);
-    }
-  }
-  const 重なる = (name: string): boolean =>
-    idになる形(name, 位置.get(name), 逃げ先の頭).some(
-      (形) => (形ごとの名前.get(形)?.size ?? 0) > 1,
-    );
-
-  // **見本 (`parts`) を重ねた登場人物は作り替えない**。 見本の中身は `別名__元の id` の形で
-  // 名前空間を持ち、 別名は名前から作るため、 作り替えると見本の id が総入れ替えになる。
-  //
-  // ただし **重なりの判定には数える** (Round 1 の指摘)。 数えないと、 素の登場人物と見本が
-  // 同じ id の仮置きを共有し、 見本を片付ける時に素の登場人物の箱まで消える。
-  const 作り替える = 残す.filter((a) => a.partId === undefined && 重なる(a.name));
-
-  // 3. 名前から決まる尾を付ける。 **できあがる id が一意になるまで見る**
-  //
-  // 尾は元の名前だけから決まる = 並べ替えても同じ id になる。 それでも重なる時 (尾そのものが
-  // 重なる形) は、 名前を並べ替えた順で番号を足す = ここも書き順に依らない
-  const 使う形 = new Set<string>();
-  for (const a of 残す) {
-    if (作り替える.some((b) => b.name === a.name)) continue;
-    for (const 形 of idになる形(a.name)) 使う形.add(形);
-  }
-  const 新しい名前 = new Map<string, string>();
-  // 名前で並べてから配る = 書いた順に依らない
-  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 字で落ちて、 同じ頭を持つ長い名前どうしが元のまま重なる
-    const 余地 = ID_MAX - (尾.length + 1);
-    const 基底 = a.name.slice(0, 余地);
-    let 候補 = `${基底} ${尾}`;
-    let n = 0;
-    while (idになる形(候補).some((形) => 使う形.has(形))) {
-      n += 1;
-      候補 = `${基底.slice(0, 余地 - String(n).length)} ${尾}${n}`;
-    }
-    for (const 形 of idになる形(候補)) 使う形.add(形);
-    新しい名前.set(a.name, 候補);
-    元の名前.set(候補, a.name);
-  }
-
-  if (新しい名前.size === 0 && 残す.length === doc.actors.length) return { doc, 元の名前 };
-
-  const 直す = (名: string): string => 新しい名前.get(名) ?? 名;
-  const 次: DslDocument = {
-    ...doc,
-    actors: 残す.map((a) => (新しい名前.has(a.name) ? { ...a, name: 直す(a.name) } : a)),
-    flow: doc.flow.map((s) => {
-      const from = 直す(s.from);
-      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") {
-        const name = 直す(target.name);
-        return name === target.name ? event : { ...event, target: { ...target, name } };
-      }
-      return event;
-    }),
-  };
-  // 光らせる指定と位置の基準も名前で書くので、 同じ表で直す
-  if (次.animate) {
-    次.animate = {
-      ...次.animate,
-      phases: 次.animate.phases.map((ph) =>
-        ph.highlight ? { ...ph, highlight: ph.highlight.map((h) => 直す(h)) } : ph,
-      ),
-    };
-  }
-  次.actors = 次.actors.map((a) =>
-    a.posRel ? { ...a, posRel: { ...a.posRel, anchor: 直す(a.posRel.anchor) } } : a,
-  );
-  return { doc: 次, 元の名前 };
-}
-
-/**
- * 作り替えた名前を持つ箱と枠を控える (#1220)。
- *
- * **組み立て直後に控える** (Round 1 の指摘)。 出口で題の文字だけを見て戻すと、 後から足された
- * 見本の中の箱がたまたま同じ題を持っていた時に、 その表示まで書き換えてしまう。
- */
-export function collectRenamedTargets(
-  diagram: CdlDiagram,
-  元の名前: Map<string, string>,
-): { 箱: Set<string>; 枠: Set<string> } {
-  const 箱 = new Set<string>();
-  const 枠 = new Set<string>();
-  if (元の名前.size === 0) return { 箱, 枠 };
-  for (const n of diagram.nodes) if (元の名前.has(n.title)) 箱.add(n.id);
-  for (const l of diagram.lanes) if (l.label !== undefined && 元の名前.has(l.label)) 枠.add(l.id);
-  return { 箱, 枠 };
-}
-
-/**
- * 作り替えた名前を、 図の表示だけ元に戻す (#1220)。
- *
- * 戻すのは題と名札だけ。 id は作り替えたまま = 分けるために作り替えたので、 戻すと元の
- * 重なりに帰る。
- */
-export function restoreActorNames(
-  diagram: CdlDiagram,
-  元の名前: Map<string, string>,
-  対象: { 箱: Set<string>; 枠: Set<string> },
-): void {
-  if (元の名前.size === 0) return;
-  for (const n of diagram.nodes) {
-    if (!対象.箱.has(n.id)) continue;
-    const 元 = 元の名前.get(n.title);
-    if (元 !== undefined) n.title = 元;
-  }
-  for (const l of diagram.lanes) {
-    if (!対象.枠.has(l.id) || l.label === undefined) continue;
-    const 元 = 元の名前.get(l.label);
-    if (元 !== undefined) l.label = 元;
-  }
-}

package/src/compile/actor-option-notice.ts

@@ -1,379 +0,0 @@
-/**
- * 箱に書いた指定が効かない時の、伝える欄の割り出しと呼び名 (#2368 で 1 箇所にまとめた)。
- *
- * 同じ判定を図種の族ごとの経路が使う (経路の数は下の表ではなく実装が SSOT)。
- *
- * | 経路 | 図種 | 起点 |
- * |---|---|---|
- * | 板の面 | `sequence` | #2358 |
- * | 木の図 | `tree` | #2360 |
- * | 値の図とじょうご | `pie` ほか 9 図種 + `funnel` | #2368 |
- * | ガントチャートと体験の地図と四象限 | `gantt` / `journey` / `quadrant` | #2370 |
- * | 骨組みの図 | `flow` / `flowchart` / `swimlane` / `topology` / `c4` / `record` | #2376 / #2382 / #2782 |
- *
- * 矢印の側は `edge-option-notice.ts` が同じ形を持つ (#2366)。
- */
-import type { DslActor } from "../types";
-import type { DslDiagramShape } from "../keywords";
-
-/**
- * 効かない箱の欄の呼び名 (#2358)。 **並べた順に知らせへ出す**。
- *
- * 呼び名を持たない欄は名前をそのまま出すので、ここに足し忘れても知らせは消えない。
- * 複数の欄が 1 つの呼び名を持つ形 (位置が 4 欄) は、1 度だけ出す。
- *
- * **図種をまたいで 1 つの表にする** (#2360)。 同じ欄を図種ごとに別の文言で呼ぶと、
- * 図種を変えた読み手が同じ指定だと気付けない。 どの欄を伝えるかは図種ごとの除外が決める。
- *
- * **箱に無い欄名を書けないようにする** (#2384)。 表と除外は箱の欄と文字で突き合わせるので、
- * 綴りが箱と違う行は静かに何とも一致しない。 実測 = 記法の `色:` に引きずられて書いた
- * `color` が、箱に生まれない欄名のまま残っていた (箱に入るのは `colorHex` か `tone`)。
- */
-export const 効かない箱の欄の呼び名 = [
-  ["kind", "種類"],
-  // 呼び名 (#2390)。 板 / 木 / 骨組みの図は箱に描くので、伝えるのは値として読む図だけ
-  ["subtitle", "呼び名"],
-  ["posW", "大きさ"],
-  ["posH", "大きさ"],
-  ["posX", "位置"],
-  ["posY", "位置"],
-  ["posRel", "位置"],
-  // 位置のずらし (#1971)。 板は面ごとの箱を持たないので動かす相手が無い
-  ["layoutPos", "位置"],
-  ["rows", "行"],
-  ["tone", "色"],
-  ["colorHex", "色"],
-  ["eyebrow", "小見出し"],
-  ["value", "値"],
-  ["shape", "図形"],
-  ["previous", "前の値"],
-  ["marks", "印"],
-  ["stack", "段"],
-  ["initial", "始まりの印"],
-  ["final", "終わりの印"],
-  ["visibleIf", "出す条件"],
-  ["opacity", "透け具合"],
-  ["wBind", "値への追随"],
-  ["hBind", "値への追随"],
-  ["renderOffsetX", "値への追随"],
-  ["renderOffsetY", "値への追随"],
-  ["owner", "担当"],
-  ["stage", "段階"],
-  ["end", "終わる時期"],
-  ["startLabel", "始まりの札"],
-  ["milestone", "節目"],
-  ["emphasis", "主役"],
-  ["at", "点の位置"],
-  ["atPos", "点の位置"],
-  ["touchpoint", "接点"],
-  ["opportunity", "伸びしろ"],
-  ["opportunityPosition", "伸びしろの位置"],
-] as const satisfies readonly (readonly [keyof DslActor, string])[];
-
-/**
- * 体験と工程の欄 (#2380)。 **どの族の除外にも入る**。
- *
- * 担当 (`owner`) と終わる時期 (`end`) はガントチャートが、接点 (`touchpoint`) と伸びしろ
- * (`opportunity`) と伸びしろの位置 (`opportunityPosition`) は体験の地図が描く。 描けない図種で書いた時は
- * `reportChartFieldsNotHonored` が図種ごとの行き先を添えて伝える。
- *
- * 箱の知らせが同じ欄を重ねて伝えると、1 つの欄が 2 つの名前で呼ばれる (「担当」 と `owner`)
- * うえ、案内が食い違う = 箱の知らせは「箱を持つ図種へ」 と言うが、担当は箱を持つ図種でも
- * 効かない。
- *
- * **1 か所に置いて各族が読む**。 欄を族ごとに書き並べると、新しい欄を足した日に
- * 直し忘れた族だけが 2 件並べるようになる (実測 = 板の族だけが 4 欄を持たず、
- * `sequence` / `solidity` の 8 通りで知らせが 2 件並んでいた)。
- */
-export const 体験と工程の欄: ReadonlySet<string> = new Set([
-  "owner",
-  "end",
-  "startLabel",
-  "milestone",
-  "emphasis",
-  "touchpoint",
-  "opportunity",
-  "opportunityPosition",
-]);
-
-/**
- * 板の面で、効かないと伝えない箱の欄 (#2358)。
- *
- * **除外側を書く**。 効かない欄を並べる形にすると、箱に欄を足した日にその欄だけが
- * 一覧から漏れ、書いた人には「書いたのに何も起きない」 としか見えない。
- *
- * | 区分 | 欄 |
- * |---|---|
- * | 板が描く | 名前 / 題 / 呼び名 と、書いた場所と種類を書いたかの印 |
- * | 別の知らせが受け持つ | 縦列 (`reportLaneNotHonored`) / 体験と工程の 4 欄 (#2380) |
- *
- * 種類 (`kind`) は図種で分かれるので、判定の側で足す。
- */
-export const 板が伝えない箱の欄: ReadonlySet<string> = new Set([
-  "name",
-  "title",
-  "subtitle",
-  "pos",
-  "kindWritten",
-  "lane",
-  ...体験と工程の欄,
-]);
-
-/**
- * 木の図で、効かないと伝えない箱の欄 (#2360)。
- *
- * | 区分 | 欄 |
- * |---|---|
- * | 木の図が描く | 名前 / 題 / 呼び名 / 値 と、書いた場所と種類を書いたかの印 |
- * | 別の知らせが受け持つ | 縦列 / 位置のずらし / 体験と工程の 4 欄 |
- *
- * 別の知らせは順に `lane-not-honored` / `position-offset-ignored` / `chart-value-unreadable`。
- * 除かないと同じ箱に 2 件並ぶ。 体験と工程の 4 欄は `体験と工程の欄` から読む (#2380)。
- */
-export const 木の図が伝えない箱の欄: ReadonlySet<string> = new Set([
-  "name",
-  "title",
-  "subtitle",
-  "value",
-  "pos",
-  "kindWritten",
-  "lane",
-  "layoutPos",
-  ...体験と工程の欄,
-]);
-
-/**
- * 箱を名前と値の組として読む図で、どの図種でも効かないと伝えない箱の欄 (#2368 / #2370)。
- *
- * | 区分 | 欄 |
- * |---|---|
- * | どの図種も読む | 名前 / 題 / 値 と、書いた場所と種類を書いたかの印 |
- * | 別の知らせが受け持つ | 縦列 / 位置のずらし / 体験と工程の 4 欄 |
- *
- * 呼び名 (`subtitle`) は除かない (#2390)。 値を書いていない箱で **値として読まれる**
- * (`a.value ?? a.subtitle`) ので除いていたが、**値を書いた箱では読む先が無い**。
- * 除いた結果、値と呼び名を両方書いた箱では誰も伝えず、13 図種で黙って消えていた。
- * 値を書いていない箱で鳴らさない判定は呼び元が持つ = 箱 1 つごとに決まる条件なので、
- * 図種ごとの除外では表せない (#2384 の色番号と同じ形)。
- *
- * 位置 (`posX` / `posY`) は除かない = この図種では両方書いても効かないため、
- * 片方だけの知らせ (#2362) ではなくこちらが伝える。
- *
- * 記法の `offsetX` / `offsetY` は `layoutPos` に入る (`position-offset-ignored` が受け持つ)。
- * 欄の名前で判定するので、記法の項目名ではなく入った先の欄を書く。
- *
- * 体験と工程の欄 (`体験と工程の欄`) は、読む図種と別の知らせが受け持つ図種に分かれる。
- * どちらも伝えないので 1 つにまとめて除く。
- */
-const 値として読む図に共通の除外: ReadonlySet<string> = new Set([
-  "name",
-  "title",
-  "value",
-  "pos",
-  "kindWritten",
-  "lane",
-  "layoutPos",
-  ...体験と工程の欄,
-]);
-
-/**
- * 箱を名前と値の組として読む図種と、共通に加えて読む欄 (#2368 / #2370)。
- *
- * **表で持つ**。 図種ごとに除外の集合を丸ごと書くと、共通部分が図種の数だけ写され、
- * 1 つ直した日に他が古いまま残る (実測 = 値の図とじょうごで 2 つに分かれていた)。
- *
- * | 図種 | 共通に加えて読む欄 |
- * |---|---|
- * | 数を描く図 (`chart`) | 色味 (`tone`) / 前の値 (`previous`) |
- * | じょうご | 色味 (`tone`) |
- * | 体験の地図 / 四象限 | 無し (名前と値だけを読む) |
- * | ガントチャート | 色味 (`tone`)。 担当と終わる時期は共通の除外に入っている |
- */
-export const 値として読む図種: ReadonlyMap<string, readonly string[]> = new Map([
-  ["chart", ["tone", "previous"]],
-  ["funnel", ["tone"]],
-  ["gantt", ["tone"]],
-  ["journey", []],
-  ["quadrant", ["at", "atPos"]],
-]);
-
-/**
- * 件ごとの主役 (`emphasis`) を実際に描く値の図。
- *
- * `chart` という node の種類だけでは円・折れ線なども混ざるため、`chart/stacked` まで
- * 形を含めて区別する。じょうごは形を持たず、段の `emphasis` を読む。
- */
-const 主役を読む値の図: ReadonlySet<string> = new Set(["chart/stacked", "funnel"]);
-
-/** 件ごとの `emphasis` がその図で描かれるか */
-export function 値として読む図が主役を読む(図種: string, 形?: DslDiagramShape): boolean {
-  return 主役を読む値の図.has(形 === undefined ? 図種 : `${図種}/${形}`);
-}
-
-/**
- * その図種で、効かないと伝えない箱の欄を返す (#2370)。
- *
- * @param 図種 `値として読む図種` に載っている図種
- * @returns 共通の除外に、その図種が読む欄を足した集合
- */
-export function 値として読む図が伝えない箱の欄(図種: string): ReadonlySet<string> {
-  const 読む欄 = 値として読む図種.get(図種) ?? [];
-  if (読む欄.length === 0) return 値として読む図に共通の除外;
-  return new Set([...値として読む図に共通の除外, ...読む欄]);
-}
-
-/**
- * 箱を並べて線で繋ぐ図 (骨組みの図) で、どの図種でも効かないと伝えない箱の欄 (#2376)。
- *
- * | 区分 | 欄 |
- * |---|---|
- * | 骨組みの図が描く | 名前 / 題 / 呼び名 / 小見出し / 値 / 行 / 色味 / 図形 / 種類 / 段 / 透け具合 / 出す条件 |
- * | 位置と大きさ | `posX` / `posY` / `posW` / `posH` / `posRel` / `layoutPos` |
- * | 値への追随 | `wBind` / `hBind` / `renderOffsetX` / `renderOffsetY` |
- * | 別の知らせが受け持つ | 縦列 / 体験と工程の 4 欄 |
- *
- * 色番号 (`colorHex`) は除かない (#2384)。 部品を置いた箱でだけ効く欄なので
- * 「部品の側が伝えるから重ねない」 として除いていたが、**呼び元が部品を置いた箱を
- * 判定の入口で飛ばす** (`a.partId !== undefined`) ため重なりようがなかった。
- * 除いた結果、部品でない箱では誰も伝えず、7 図種で黙って消えていた。
- *
- * 記法の `色:` は 16 進数なら `colorHex` に、色の名前なら `tone` に入る。
- * 名前で書いた形は箱の色として効くので、伝えるのは 16 進数で書いた形だけになる。
- *
- * 印 (`marks`) は除かない (#2377)。 行頭の記号に読み替えるのは ER 図と状態遷移図だけ
- * (`行頭の印にする`) で、骨組みの残りの図種では行と組にしても効かない。
- * 効く図種で鳴らさない判定は呼び元が持つ = 図種の一覧をここに写すと、印を読む図種を
- * 足した日に古くなる。
- *
- * 残るのは始まりの印 / 終わりの印 / 印 / 前の値の 4 つ。
- * 実測 = フロー 447 枚 ・ 泳路の図 35 枚 ・ 配置の図 8 枚の見本すべてで、この 4 件が
- * 図も変えず知らせも出さなかった。
- *
- * **図種ごとの違いは `骨組みの図種` が持つ** (#2382)。 状態遷移図は始まりの印と終わりの印を
- * 読むので、その 2 欄だけ除外に足す。
- */
-const 骨組みの図に共通の除外: ReadonlySet<string> = new Set([
-  "name",
-  "title",
-  "subtitle",
-  "pos",
-  "kindWritten",
-  "value",
-  "eyebrow",
-  "tone",
-  "rows",
-  // cdl 0.129.0-0.136.0 の表箱・部品箱の欄。 applyV05Extensions が node へ渡し、
-  // 描き手が箱の種類に応じて題・罫線・印・入れ子・線画・足として読む (#2854)。
-  "kindForm",
-  "icon",
-  "emptyRowsNote",
-  "titleAlign",
-  "rowRules",
-  "rowStripe",
-  "rowLayout",
-  "rowDividerForm",
-  "rowWell",
-  "rowMarkForm",
-  "nestIn",
-  "figureCard",
-  "shape",
-  "kind",
-  "stack",
-  "opacity",
-  "visibleIf",
-  "posX",
-  "posY",
-  "posW",
-  "posH",
-  "posRel",
-  "layoutPos",
-  "wBind",
-  "hBind",
-  "renderOffsetX",
-  "renderOffsetY",
-  "lane",
-  ...体験と工程の欄,
-]);
-
-/**
- * 図種ごとの、共通の除外との違い (#2382)。
- *
- * **両方向に持つ**。 共通の除外は「どの骨組みの図も読む欄」 を集めたものなので、
- * 図種ごとの違いは 2 通り出る。 外す側だけだと、1 つの図種だけが読む欄を持つ図種を
- * 族に入れられない (実測 = 状態遷移図が始まりの印を読むため、族の外に置かれていた)。
- */
-export type 骨組みの図の違い = {
-  /** その図種だけが読まない欄。 共通の除外から外して、伝える側へ回す */
-  readonly 読まない?: readonly string[];
-  /** その図種だけが読む欄。 共通の除外に足して、伝えない側へ回す */
-  readonly 読む?: readonly string[];
-};
-
-/**
- * 箱を並べて線で繋ぐ図種と、共通の除外との違い (#2376 / #2382)。
- *
- * | 図種 | 違い | 理由 |
- * |---|---|---|
- * | フロー / 泳路の図 / 配置の図 | 無し | `compile/generic.ts` が共通の経路で箱を作る |
- * | 分かれ道の図 (`flowchart`) | 無し | 種類は専用の形または箱の見た目として読む |
- * | 構成の図 (`c4`) | 段 (`stack`) を読まない | `compile/c4.ts` が `a.stack` を読まない |
- * | 行を持つ図 (`record`) | 始まりの印と終わりの印を読む | `compile/generic.ts` の札がこの図種でだけ出る |
- */
-export const 骨組みの図種: ReadonlyMap<string, 骨組みの図の違い> = new Map([
-  ["flow", {}],
-  ["flowchart", {}],
-  ["swimlane", {}],
-  ["topology", {}],
-  ["c4", { 読まない: ["stack"] }],
-  ["record", { 読む: ["initial", "final"] }],
-]);
-
-/**
- * その図種で、効かないと伝えない箱の欄を返す (#2376 / #2382)。
- *
- * @param 図種 `骨組みの図種` に載っている図種
- * @returns 共通の除外から読まない欄を抜き、読む欄を足した集合
- */
-export function 骨組みの図が伝えない箱の欄(図種: string): ReadonlySet<string> {
-  const 違い = 骨組みの図種.get(図種) ?? {};
-  const 読まない欄 = 違い.読まない ?? [];
-  const 読む欄 = 違い.読む ?? [];
-  if (読まない欄.length === 0 && 読む欄.length === 0) return 骨組みの図に共通の除外;
-  const 残り = new Set(骨組みの図に共通の除外);
-  for (const 欄 of 読まない欄) 残り.delete(欄);
-  for (const 欄 of 読む欄) 残り.add(欄);
-  return 残り;
-}
-
-/**
- * 箱に書いた欄のうち、効かないものの呼び名を並べる (#2368)。
- *
- * **伝える欄を並べず、読む欄を除いた残り全部を返す**。 効かない欄を並べる形にすると、
- * 箱に欄を足した日にその欄だけが一覧から漏れ、書いた人には「書いたのに何も起きない」
- * としか見えない。 除外側を書けば、足し忘れは「余計に知らせる」 側へ倒れる。
- *
- * @param 箱 記法から読んだ箱 1 つ
- * @param 伝えない欄 その図種が読む欄と、別の知らせが受け持つ欄
- * @param 判定で外す欄 図種の中でさらに外す欄 (種類が図種で分かれる形、#2358)
- * @returns 知らせに出す呼び名。 空なら伝えるものが無い
- */
-export function 効かない箱の欄を並べる(
-  箱: object,
-  伝えない欄: ReadonlySet<string>,
-  判定で外す欄: readonly string[] = [],
-): string[] {
-  const 残り = new Set(
-    Object.entries(箱 as Record<string, unknown>)
-      .filter(([欄, 値]) => 値 !== undefined && !伝えない欄.has(欄))
-      .map(([欄]) => 欄),
-  );
-  for (const 欄 of 判定で外す欄) 残り.delete(欄);
-  const 効かない: string[] = [];
-  for (const [欄, 呼び名] of 効かない箱の欄の呼び名) {
-    if (!残り.delete(欄)) continue;
-    if (!効かない.includes(呼び名)) 効かない.push(呼び名);
-  }
-  // 呼び名を持たない欄は名前をそのまま出す = 読みにくい名前でも、黙って落とすよりは伝わる
-  効かない.push(...[...残り].sort());
-  return 効かない;
-}