@cardenelabs/dragon 0.32.0 → 0.34.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cardenelabs/dragon",
-  "version": "0.32.0",
+  "version": "0.34.0",
   "description": "Dragon — Mermaid 感覚で animated SVG を生成する Text DSL。 cdl engine を内部利用。",
   "license": "MIT",
   "author": "cardene777",
@@ -47,7 +47,7 @@
   },
   "sideEffects": false,
   "dependencies": {
-    "@cardenelabs/cdl": "^0.139.0"
+    "@cardenelabs/cdl": "^0.140.0"
   },
   "peerDependencies": {
     "react": "^19.0.0",

package/src/compile/actor-ids.ts

@@ -77,7 +77,7 @@ function cdl側のslug(s: string): string {
  *
  * | 図種 | `😀` だけを書いた時に付く id |
  * |---|---|
- * | `sequence` / `solidity` | 枠 `actor-0` (cdl の `sequence()`) |
+ * | `sequence` | 枠 `actor-0` (cdl の `sequence()`) |
  * | `swimlane` | 枠 `lane-0` (cdl の `swimlane()`) |
  * | 残る 5 図種 | 箱 `n` (dragon 側の逃げ先。 cdl の逃げ道を通らない) |
  *

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

@@ -5,7 +5,7 @@
  *
  * | 経路 | 図種 | 起点 |
  * |---|---|---|
- * | 板の面 | `sequence` / `solidity` | #2358 |
+ * | 板の面 | `sequence` | #2358 |
  * | 木の図 | `tree` | #2360 |
  * | 値の図とじょうご | `pie` ほか 9 図種 + `funnel` | #2368 |
  * | ガントチャートと体験の地図と四象限 | `gantt` / `journey` / `quadrant` | #2370 |

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

@@ -5,7 +5,7 @@
  *
  * | 経路 | 図種 | 起点 |
  * |---|---|---|
- * | 板の言づて | `sequence` / `solidity` | #2356 |
+ * | 板の言づて | `sequence` | #2356 |
  * | 骨格の図 | `tree` / `mind` | #2364 |
  * | ガントチャート | `gantt` | #2366 |
  *

package/src/compile/kinds.ts

@@ -5,23 +5,23 @@ import type { PresetType } from "../types";
 /**
  * 記法に書く種類を描画側の種類へ読み替える (#2030 で `compile.ts` から移した)。
  *
- * 記法は描画側に無い種類 (`contract` / `eoa` 等) を受け付けるため、渡す前に読み替える。
+ * 記法は描画側に無い種類 (`entity` / `state` 等) を受け付けるため、渡す前に読み替える。
  * 読み替えずに渡すと描画側が大きさを引けず、図の組み立てが落ちる。
  */
 
 /**
  * 記法だけが持つ種類を、描画できる種類へ読み替える (#1420)。
  *
- * 記法は `contract` / `eoa` のような **描画側に無い種類** を受け付ける
- * (`v05/parser.ts` の `DSL_ONLY_KINDS`)。 図種ごとの役割分け (`solidity` の縦列の並べ替え
- * など) に使うためで、記法としては正しい。
+ * 記法は `entity` / `state` のような **描画側に無い種類** を受け付ける
+ * (`v05/parser.ts` の `DSL_ONLY_KINDS`)。 図種ごとの役割分け (ER 図の実体など) に使うためで、
+ * 記法としては正しい。
  *
  * **そのまま描画側へ渡すと図の組み立てが落ちる**。 描画側は知らない種類の大きさを引けず、
  * `Cannot read properties of undefined (reading 'h')` で止まる (実測)。
  *
- * `solidity` と `er` は組み立ての中で別の種類に置き換えていたが、`flow` / `swimlane` /
- * `state` / `topology` は `a.kind` をそのまま渡していた。 記法が受ける値で図が出ない状態
- * だったので、渡す手前で必ず通す。
+ * `er` は組み立ての中で別の種類に置き換えていたが、`flow` / `swimlane` / `state` /
+ * `topology` は `a.kind` をそのまま渡していた。 記法が受ける値で図が出ない状態だったので、
+ * 渡す手前で必ず通す。
  *
  * ## 読み替え先
  *
@@ -29,9 +29,6 @@ import type { PresetType } from "../types";
  * |---|---|---|
  * | `entity` | `storage` | 表を持つ = ER 図の実体 |
  * | `state` | `card` | 状態は札で表す |
- * | `contract` / `proxy` / `library` / `interface` | `card` | 契約は札で表す (`solidity` の置き換え先に合わせた) |
- * | `eoa` | `person` | 人が持つ財布 |
- * | `multisig` | `signer` | 複数人で署名する (`solidity` の置き換え先に合わせた) |
  * | `loop` | `card` | 繰り返しは札で表す。 分かれ道の図では形に読み替わるのでここを通らない (#2523) |
  *
  * **表は `DSL_ONLY_KINDS` を鍵にして書く**。 種類を足した時に読み替え先が無いと
@@ -41,12 +38,6 @@ export const 記法だけの種類の読み替え: Readonly<Record<(typeof DSL_O
   {
     entity: "storage",
     state: "card",
-    contract: "card",
-    proxy: "card",
-    library: "card",
-    interface: "card",
-    eoa: "person",
-    multisig: "signer",
     loop: "card",
   };
 

package/src/compile/lanes.ts

@@ -11,7 +11,7 @@ import type { DslDocument, PresetType } from "../types";
 /**
  * 縦列を選べる図種 (#1263)。
  *
- * 縦列を **箱を並べるための入れ物** として使う図種だけを許す。 順序図と solidity は
+ * 縦列を **箱を並べるための入れ物** として使う図種だけを許す。 順序図は
  * 縦列がそのまま生命線として描かれる骨格なので許さない (#1248 の判断はこちらに当たる)。
  *
  * `er` は「1 縦列 1 箱」 が図の読み方そのもの (表が横に並ぶ) なので、2 つの箱を同じ縦列へ

package/src/compile/notice.ts

@@ -102,7 +102,7 @@ export type CompileNotice = {
     // 出来事が指す相手が図に無い (#1393)。 書いた名前が本文のどこにも無い時に出す = 書き直せば直る
     | "event-target-missing"
     // 出来事が指す名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2336)。
-    // 値を並べる図種は図全体で 1 つの箱になり、 順序図と solidity は 1 枚の板になる。
+    // 値を並べる図種は図全体で 1 つの箱になり、 順序図は 1 枚の板になる。
     // `event-target-missing` と分けるのは、こちらが **書き直しても直らない** 側だから
     | "event-target-not-honored"
     // 段の注目先に書いた名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2398)。

package/src/compile/order.ts

@@ -5,33 +5,28 @@ import type { DslDocument, PresetType } from "../types";
  *
  * ## 型ではなく語で持つ
  *
- * 並べ替えの鍵しか持たない図種 (`solidity`) が在り、独自の組み立てを 1 行も持たずに
- * 箱を種類で並べ替えてから順序図の組み立てをそのまま呼んでいた。
+ * 並べ替えの鍵しか持たない図種が在り、独自の組み立てを 1 行も持たずに箱を種類で並べ替えて
+ * から順序図の組み立てをそのまま呼んでいた。
  *
  * 型として持つと、振る舞いを書くたびに「順序図 または その型」 という条件を並べることになる。
  * 実際 `compile.ts` に 6 か所あり、**次に条件を足す人が片方を書き忘れれば黙って外れる**
  * 形になっていた。 差が並べ替えだけなら語で表す。
  *
- * ## 種類の順は 4 段
+ * ## 種類の順は 3 段
  *
- * 人 → 契約 → しまう場所 → 出来事 の順に置く。 元の実装が持っていた並びをそのまま移した。
+ * 人 → しまう場所 → 出来事 の順に置く。
  * **同じ段の中では書いた順のまま** = 比べる値が等しい時の並びは変わらない。
  *
+ * Solidity の図に向けた段 (契約) と行 (`eoa` / `multisig` / `wallet`) は外した (#2947)。
+ *
  * 表に無い種類は最後に置く。 知らない種類を先頭へ寄せると、書き手が種類を書き間違えた図で
  * 並びが大きく崩れて原因が読めない。
  */
 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,
+  storage: 1,
+  event: 2,
 };
 
 /** 表に無い種類を置く段。 どの段よりも後ろになる数にする */

package/src/compile.ts

@@ -103,7 +103,6 @@ import {
   DIAGRAM_SHAPES,
   resolveShape,
   shapesForDiagramType,
-  意匠の円の区画の間,
   棒を描く節か,
   意匠の棒の角,
   type DslShape,
@@ -708,8 +707,6 @@ function 配色と縞を当てる(diagram: CdlDiagram, doc: DslDocument): void {
   if (配色 === undefined) return;
   diagram.palette = 配色;
   for (const node of diagram.nodes) {
-    const 円の区画の間 = 意匠の円の区画の間(配色, node);
-    if (円の区画の間 !== undefined) node.chartPieSliceGap = 円の区画の間;
     if (棒を描く節か(node)) {
       const 棒の角 = 意匠の棒の角(配色, node);
       if (棒の角 !== undefined) node.barCornerRadii = 棒の角;
@@ -1406,9 +1403,8 @@ function reportActorKindNotHonored(doc: DslDocument, onNotice?: (n: CompileNotic
    * 種類は板の絵には出ないが、並び順を書いた図では **面の並びを決めている**ので、
    * 書いた意味は figure に出ている。 落ちたと伝えると、正しく効いている指定に毎回鳴る。
    *
-   * 畳む前はこの判定を図種 (`solidity`) で行っていた。 型を畳んだので、同じことを
-   * 並び順が効いているかで見る = 古い名前で書いた図は読み替えでこの語が入るため、
-   * 鳴らないという振る舞いが前と変わらない。
+   * 畳む前はこの判定を図種で行っていた。 型を畳んだので、同じことを並び順が効いているかで
+   * 見る。
    */
   if (並び順が効くか(doc)) return;
   for (const a of doc.actors) {

package/src/focus.ts

@@ -20,7 +20,7 @@ export type FocusEntry =
 /**
  * 矢印の形。 `->` の 2 文字か `→` の 1 文字だけを矢印と見なす。
  *
- * `-` 1 文字を矢印に含めてはいけない。 名前に `-` を使う箱 (`api-gateway` / `shape-api-gateway`)
+ * `-` 1 文字を矢印に含めてはいけない。 名前に `-` を使う箱 (`api-gateway` / `shape-code-block`)
  * が矢印として読まれる。
  */
 const ARROW = /^(.+?)\s*(?:->|→)\s*(.+)$/;

package/src/json-parser.ts

@@ -90,6 +90,7 @@ import {
 } from "./keywords";
 // 区画の語の表 (#2667)。 記法と同じ表から直す = 同じ区画を 2 通りで呼ばない
 import { 区画 } from "./compile/word-state";
+import { 外した図種の知らせ, 外した種類, 外した種類の知らせ } from "./v05/removed-syntax";
 // 行頭の印の古い語の読み替え (#2782)。 記法と同じ表を通す = JSON だけ古い語が印を持たない
 // 形にならない
 import { 行頭の語へ読み替える } from "./compile/row-marks";
@@ -139,7 +140,7 @@ import {
 } from "./relative-pos";
 
 /** 古い綴りで書いた図種 (#2655 / #2657)。 受ける値は `TYPE_ALIASES` が SSOT */
-type 図種の別名 = "solidity" | DslShape;
+type 図種の別名 = DslShape;
 
 /**
  * LLM 向け JSON DSL の入力 shape。 YAML DSL と 1:1 対応、 top-level は flat な object。
@@ -150,8 +151,9 @@ export interface DragonJson {
   /**
    * preset type (必須)。 受け付ける値は `PRESET_TYPES` と `TYPE_ALIASES` が SSOT。
    *
-   * 別名 (#2655 / #2657) は読み取りで図種と語の 2 つに開く = `solidity` と書いた JSON は
-   * 順序図 + 種類で並べ替え、`pie` と書いた JSON は 数を描く図 + 円の形 として読まれる。
+   * 別名 (#2655 / #2657) は読み取りで図種と語の 2 つに開く = `pie` と書いた JSON は
+   * 数を描く図 + 円の形 として読まれる。 外した図種 (`solidity`) は置き換え先を誤りとして返す
+   * (#2947、`v05/removed-syntax.ts`)。
    */
   type: PresetType | 図種の別名;
   /** 円グラフの見せ方。 */
@@ -1621,7 +1623,13 @@ function 値を検査(
         });
       }
       return;
-    case "必須の図種":
+    case "必須の図種": {
+      // 外した図種は置き換え先を示す (#2947)。 「使える図種の一覧」 では書き換え先が分からない
+      const 外した = typeof v === "string" ? 外した図種の知らせ(v) : undefined;
+      if (外した !== undefined) {
+        errors.push({ path, message: `${名前} "${String(v)}" was removed`, hint: 外した.hint });
+        return;
+      }
       if (
         typeof v !== "string" ||
         !(VALID_PRESETS.includes(v as PresetType) || VALID_ALIASES.includes(v))
@@ -1633,6 +1641,7 @@ function 値を検査(
         });
       }
       return;
+    }
     case "object":
     case "並び":
     case "必須の並び":
@@ -1779,7 +1788,8 @@ function validateRelativeAnchors(actors: readonly unknown[], errors: JsonDslErro
  */
 function 見本の名前か(kind: unknown): boolean {
   if (typeof kind !== "string" || kind.length === 0) return false;
-  return kind !== "actor" && !VALID_KIND_SET.has(kind);
+  // 外した種類は見本の名前として扱わない (#2947)。 置き換え先の知らせだけを出す
+  return kind !== "actor" && !外した種類.has(kind) && !VALID_KIND_SET.has(kind);
 }
 
 /**
@@ -3361,6 +3371,11 @@ function validateJson(
       }
       const ao = a as Record<string, unknown>;
       checkUnknownKeys(ao, "actor", `$.actors[${i}]`, errors);
+      // 外した種類は置き換え先を示す (#2947)。 記法と同じ表を引く
+      const 外した = typeof ao.kind === "string" ? 外した種類の知らせ(ao.kind) : undefined;
+      if (外した !== undefined) {
+        errors.push({ path: `$.actors[${i}].kind`, message: `kind "${String(ao.kind)}" was removed`, hint: 外した.hint });
+      }
       // 値そのものの型は表が見る (#1304)。 `kind` は見本 (parts) の名前も受けるため
       // 非空の文字列までしか縛らない (CAR-1657 の unified syntax)
       表で検査(ao, "actor", `$.actors[${i}]`, "actor", errors);
@@ -3818,17 +3833,20 @@ export function jsonToDoc(json: DragonJson, 行の表?: 書いた行の表): Dsl
     }
     // CAR-1657 = kind が既存 NodeKind に無い値なら parts identifier 候補、 partId に格納
     const kindStr = a.kind ?? "actor";
-    const isPart = kindStr !== "actor" && !VALID_KIND_SET.has(kindStr);
+    const isPart = 見本の名前か(kindStr);
+    // 外した種類 (#2947) は検査が誤りとして返す。 検査を通さずに呼ばれても描けない種類を
+    // 描画側へ渡さないよう、書かなかった箱と同じ扱いにする
+    const 外した = 外した種類.has(kindStr);
     // 色は記法と同じ振り分けを通す (#1294)。 `#` で始まれば色番号、それ以外は色の名前。
     // 別々に書くと、同じ値が入口によって色番号にも色名にもなる
     const 色 = a.color !== undefined ? splitColorValue(a.color) : {};
     const 書いた座標 = a.at ?? a.点の位置;
     return {
       name: a.name,
-      kind: isPart ? "actor" : resolveNodeKind(kindStr),
+      kind: isPart || 外した ? "actor" : resolveNodeKind(kindStr),
       // parts 候補は `kind` を `actor` に倒して `partId` へ退避するため、 名札に載せる種類としては
       // 「書かなかった」 と同じ扱いにする (#1058)
-      kindWritten: a.kind !== undefined && !isPart,
+      kindWritten: a.kind !== undefined && !isPart && !外した,
       subtitle: a.subtitle,
       kindForm: isPart ? undefined : a.kindForm,
       icon: isPart ? undefined : a.icon,
@@ -4138,7 +4156,6 @@ export function jsonToDoc(json: DragonJson, 行の表?: 書いた行の表): Dsl
     ...(json.ganttSize !== undefined ? { ganttSize: json.ganttSize } : {}),
     ...(json.quadrantLabelPosition !== undefined ? { quadrantLabelPosition: json.quadrantLabelPosition } : {}),
     ...(json.quadrantSize !== undefined ? { quadrantSize: json.quadrantSize } : {}),
-    ...(別名?.order !== undefined ? { order: 別名.order, orderPos: 位置("type") } : {}),
     ...(別名?.shape !== undefined ? { shape: 別名.shape, shapePos: 位置("type") } : {}),
     // 前後の空白を落としてから見る。 記法側 (`v05/parser.ts`) が `trim()` してから
     // 空かどうかを判定するため、 揃えないと **空白だけの値で入口ごとに図が変わる**

package/src/keywords.ts

@@ -57,9 +57,8 @@ export function resolveDirection(s: string): DslDirection | null {
  *
  * 書かなければ **書いた順** のまま。 `種類` と書くと箱の種類で並べ替えてから置く。
  *
- * これは図の型として持っていた差を語に出したもの。 並べ替えの鍵しか持たない型
- * (`solidity`) が在り、`compile.ts` は「順序図 または その型」 という条件を 6 か所で
- * 書いていた。 **型が 1 つ増えるたびに条件を 2 つ並べる形**になるので、差が並べ替えだけなら
+ * これは図の型として持っていた差を語に出したもの。 並べ替えの鍵しか持たない型が在り、
+ * `compile.ts` は「順序図 または その型」 という条件を 6 か所で書いていた。 **型が 1 つ増えるたびに条件を 2 つ並べる形**になるので、差が並べ替えだけなら
  * 型ではなく語で表す。
  */
 export const ORDERS = ["種類"] as const;
@@ -238,12 +237,16 @@ export function 意匠の字の測り方(_theme: DslTheme): "widest" {
   return "widest";
 }
 
-/** 意匠と節から、見本に合わせた円の区画間の弧の長さを引く (#2871)。 */
+/**
+ * 意匠と節から円の区画間の弧の長さを引く (#2871 / #2926)。
+ *
+ * 区画の形を意匠で変えないため値は返さない。公開済みの関数なので互換の窓口だけを残す。
+ */
 export function 意匠の円の区画の間(
-  theme: DslTheme,
-  node: Pick<CdlNode, "kind">,
-): number | undefined {
-  return theme === "neon" && node.kind === "chart-pie" ? 3 : undefined;
+  _theme: DslTheme,
+  _node: Pick<CdlNode, "kind">,
+): undefined {
+  return undefined;
 }
 
 /** `barCornerRadii` が効く棒を描く節か。 */

package/src/schemas/diagram.json

@@ -29,7 +29,6 @@
         "swimlane",
         "record",
         "topology",
-        "solidity",
         "gantt",
         "chart",
         "pie",
@@ -48,7 +47,7 @@
         "c4",
         "mind"
       ],
-      "description": "図の種類。 型ごとに actors の書き方が違う。 [関係を描く] sequence (時系列の呼び出し) / flow (処理の流れ) / flowchart (分かれ道と判断を含む手順) / swimlane (責務ごとの流れ) / record (箱が行を持ち関係を持つ図。 表のつながり、移り変わり、UML クラス関係にも使う) / topology (network) / c4 (architecture) / mind (発想の枝分かれ) は actors に名前を並べ flow に矢印を書く。 [値を描く] chart (数の並び) は actors に `- 名前: \"45\"` の形で数を書き、 shape で形を選ぶ (pie = 割合 / bar = 棒の高さ / line = 線の高さで書いた順に並ぶ / gauge = 合計を半円で示す / radial = 弧の長さで比べる / stat = 値 1 つを大きく示す / waffle = 割合を 100 個の印で示す / stacked = 内訳を帯で示す / slope = 2 時点を直線でつなぎ増減と順位の入れ替わりを示す)。 shape が stat と stacked と slope の時は `- 名前: { value: \"320\", previous: \"280\" }` の形で前の時点の値も書ける。 funnel (段ごとに減る数) も同じ形。 [語を描く] journey (体験の起伏) は `- 登録: \"不満\"` の形で 最高 / 満足 / 普通 / 不満 / 怒り のどれかを書く。 quadrant (2 軸の仕分け) は `- 重複削除: \"左上\"` の形で 左上 / 右上 / 左下 / 右下 のどれかを書く。 [時期を描く] gantt (工程の並び) は `- 設計: \"1月\"` の形で始まりの時期を書き、 flow の矢印で前後関係を書く。 [親子を描く] tree (親子の入れ子) は actors に名前を並べ flow の矢印で親子を書く (矢印の先が子)。 [古い綴り] solidity は sequence と order: kind の組、 pie / bar / line / gauge / radial / stat / waffle / stacked / slope は chart と同じ綴りの shape の組と同じ扱いになる"
+      "description": "図の種類。 型ごとに actors の書き方が違う。 [関係を描く] sequence (時系列の呼び出し) / flow (処理の流れ) / flowchart (分かれ道と判断を含む手順) / swimlane (責務ごとの流れ) / record (箱が行を持ち関係を持つ図。 表のつながり、移り変わり、UML クラス関係にも使う) / topology (network) / c4 (architecture) / mind (発想の枝分かれ) は actors に名前を並べ flow に矢印を書く。 [値を描く] chart (数の並び) は actors に `- 名前: \"45\"` の形で数を書き、 shape で形を選ぶ (pie = 割合 / bar = 棒の高さ / line = 線の高さで書いた順に並ぶ / gauge = 合計を半円で示す / radial = 弧の長さで比べる / stat = 値 1 つを大きく示す / waffle = 割合を 100 個の印で示す / stacked = 内訳を帯で示す / slope = 2 時点を直線でつなぎ増減と順位の入れ替わりを示す)。 shape が stat と stacked と slope の時は `- 名前: { value: \"320\", previous: \"280\" }` の形で前の時点の値も書ける。 funnel (段ごとに減る数) も同じ形。 [語を描く] journey (体験の起伏) は `- 登録: \"不満\"` の形で 最高 / 満足 / 普通 / 不満 / 怒り のどれかを書く。 quadrant (2 軸の仕分け) は `- 重複削除: \"左上\"` の形で 左上 / 右上 / 左下 / 右下 のどれかを書く。 [時期を描く] gantt (工程の並び) は `- 設計: \"1月\"` の形で始まりの時期を書き、 flow の矢印で前後関係を書く。 [親子を描く] tree (親子の入れ子) は actors に名前を並べ flow の矢印で親子を書く (矢印の先が子)。 [古い綴り] pie / bar / line / gauge / radial / stat / waffle / stacked / slope は chart と同じ綴りの shape の組と同じ扱いになる"
     },
     "form": {
       "type": "string",
@@ -410,7 +409,7 @@
               },
               "kind": {
                 "type": "string",
-                "description": "node kind。 shape-* を指定して 49 shape 中から選ぶ。 例: 'shape-wallet' / 'shape-smart-contract' / 'shape-cloud' / 'shape-file' / 'actor' (default) / 'function' / 'storage' / 'event' 等。 種別に無い名前は部品の名前として部品の一覧 (partsCatalog) から引き、一覧にも無ければ種別を書かなかった箱になる。 部品を持つ一覧を渡した時は知らせを出し、綴りの近い名前を案内する。"
+                "description": "node kind。 shape-* を指定すると基本の形 (箱の形そのものを描く) と汎用の挿絵 (窓 / 端末 / コードの札 / 携帯 / サーバーの棚) から選べる。 例: 'shape-cloud' / 'shape-file' / 'shape-window' / 'actor' (default) / 'function' / 'storage' / 'event' 等。 種別に無い名前は部品の名前として部品の一覧 (partsCatalog) から引き、一覧にも無ければ種別を書かなかった箱になる。 部品を持つ一覧を渡した時は知らせを出し、綴りの近い名前を案内する。"
               },
               "subtitle": {
                 "type": "string",

package/src/types.ts

@@ -10,8 +10,8 @@ import type { DslDiagramShape, DslDirection, DslOrder, DslTheme } from "./keywor
 /**
  * 記法が書ける箱の種類 (#1420)。
  *
- * 描画できる種類 (`NodeKind`) に、**記法だけが持つ種類** (`contract` / `eoa` など) を足す。
- * 後者は図種ごとの役割分け (`solidity` の縦列の並べ替えなど) に使い、描画側へ渡す手前で
+ * 描画できる種類 (`NodeKind`) に、**記法だけが持つ種類** (`entity` / `state` など) を足す。
+ * 後者は図種ごとの役割分け (ER 図の実体など) に使い、描画側へ渡す手前で
  * `compile.ts` の `描ける種別` が読み替える。
  *
  * `NodeKind` だけに縛っていた間、記法が受ける値を型が表せていなかった。
@@ -371,8 +371,8 @@ export type DslDocument = {
    * 効くのは順序図だけで、他の図種は並び方そのものが読み方を担うため書いても効かない
    * (知らせを出す)。
    *
-   * 並べ替えの鍵しか持たない図種 (`solidity`) を畳んだ先。 読み取りの入口で
-   * 順序図 + この語 に読み替えるので、古い名前で書いた記法はそのまま動く。
+   * 並べ替えの鍵しか持たない図種を畳んだ先。 その図種 (`solidity`) は特定の技術に向けた
+   * 名前なので外した (#2947)。
    */
   order?: DslOrder;
   /** `order:` を書いた行。 効かない時の知らせで、書いた場所を指すために持つ */

package/src/v05/parser.ts

@@ -84,6 +84,7 @@ import {
   resolveLegendMark,
 } from "../keywords";
 import { 区画 } from "../compile/word-state";
+import { 外した図種の知らせ, 外した種類の知らせ } from "./removed-syntax";
 // 行頭の印の古い語の読み替え (#2782)。 印を作る側と同じ file が表を持つ = 縦に並べた形と
 // 中括弧の形と JSON の 3 経路が同じ表を通る
 import { 行頭の語へ読み替える } from "../compile/row-marks";
@@ -609,25 +610,23 @@ export const PRESET_TYPES: ReadonlySet<PresetType> = new Set([
  * 図種の別名 (#2655 / #2657)。
  *
  * **差が語 1 つしかない図種を、畳んだ先の型とその語に読み替える**。
+ * 数を描く 9 つは `chart` + `shape: <綴り>` に読み替える = 同じ組み立て関数に渡す文字列 2 つ
+ * しか違わない。
  *
- * | 古い綴り | 読み替え先 | 差 |
- * |---|---|---|
- * | `solidity` | `sequence` + `order: 種類` | 箱を種類で並べ替えるだけで、独自の組み立てを持たない |
- * | 数を描く 9 つ | `chart` + `shape: <綴り>` | 同じ組み立て関数に渡す文字列 2 つしか違わない |
- *
- * 型として持つと、同じ扱いをする条件と表が型の数だけ増える。 `solidity` は
- * 「順序図 または その型」 という条件を 12 か所に増やし、数を描く 9 つは 4 つの表に
+ * 型として持つと、同じ扱いをする条件と表が型の数だけ増える。 数を描く 9 つは 4 つの表に
  * 同じ値の行を 9 行ずつ並べていた (足す人が 1 か所書き忘れると黙って外れる)。
  *
+ * `solidity` も `sequence` + `order: 種類` への別名だったが、特定の技術に向けた図種なので
+ * 外した (#2947)。 書いた人には `removed-syntax.ts` の表が置き換え先を返す。
+ *
  * **読み替えは読み取りの入口 1 か所に閉じる**。 ここを通った後は古い綴りが
  * どこにも残らないので、組み立て側は畳んだ先の型として 1 通りに扱える。
  *
  * 古い名前で書いた記法はそのまま動く = 別名を消すのは別の回にする。
  */
-type 読み替え先 = { type: PresetType; order?: DslOrder; shape?: DslShape };
+type 読み替え先 = { type: PresetType; shape?: DslShape };
 
 export const TYPE_ALIASES: ReadonlyMap<string, 読み替え先> = new Map<string, 読み替え先>([
-  ["solidity", { type: "sequence", order: "種類" }],
   ...SHAPES.map((s): [string, 読み替え先] => [s, { type: "chart", shape: s }]),
 ]);
 
@@ -645,8 +644,8 @@ const NODE_KIND_DEFAULT: NodeKind = "actor";
 /**
  * 記法だけが持つ種類。 描画側には無いが、 図種ごとの組み立てで意味を持つ。
  *
- * `contract` / `eoa` / `multisig` / `proxy` / `library` / `interface` は Solidity 図の
- * 役割分けに、 `entity` / `state` は ER 図と状態遷移図に使う。
+ * `entity` / `state` は ER 図と状態遷移図に使う。 Solidity の図の役割分け
+ * (`contract` / `eoa` など) は外した (#2947、置き換え先は `removed-syntax.ts`)。
  *
  * **描画側へ渡す前に必ず読み替える** (`compile.ts` の `描ける種別`)。 読み替えを通さずに渡すと
  * 図の組み立てが落ちる = 描画側は知らない種類の大きさを引けない (#1420 で実測、
@@ -655,12 +654,6 @@ const NODE_KIND_DEFAULT: NodeKind = "actor";
 export const DSL_ONLY_KINDS = [
   "entity",
   "state",
-  "contract",
-  "eoa",
-  "multisig",
-  "proxy",
-  "library",
-  "interface",
   // 繰り返しの箱 (#2523)。 描画側は分かれ道の図の形としてだけ持ち、種類としては持たないため
   // ここに置く。 分かれ道の図では形に読み替わり (`compile/flowchart.ts`)、それ以外の図種では
   // `記法だけの種類の読み替え` が札に落とす
@@ -671,24 +664,17 @@ export const DSL_ONLY_KINDS = [
 export type DslOnlyKind = (typeof DSL_ONLY_KINDS)[number];
 
 /**
- * AWS などの固有名を、 同じ役割を表す汎用の種類に読み替える表。
+ * 一般の語を、 同じ役割を表す描画側の種類に読み替える表。
  *
- * これらは記法が受け付けるのに描画側に無く、 書くと「kind "alb" は未対応」 とエラーになって
- * いた。 受け付けるのをやめると今度は部品名として扱われ「そんな部品はない」 と出る。 どちらも
- * 書いた人が困るだけなので、 意味の近い種類に読み替えて実際に図が出るようにする。
+ * これらは記法が受け付けるのに描画側に無く、 受け付けるのをやめると部品名として扱われ
+ * 「そんな部品はない」 と出る。 書いた人が困るだけなので、 意味の近い種類に読み替えて
+ * 実際に図が出るようにする。
  *
- * 読み替え先が重なるものがある (`iam` と `kms` は権限と鍵を守る役、 `s3` と `secret` は
- * 保管する役)。 見た目が同じになるが、 役割が同じなので嘘にはならない。
+ * AWS の名前 (`alb` / `lambda` / `s3` など) もここで読み替えていたが、特定の会社の語なので
+ * 外した (#2947、置き換え先は `removed-syntax.ts`)。 残る 4 つは特定の会社の語ではない。
  */
 const INFRA_KIND_ALIAS: Record<string, NodeKind> = {
-  alb: "shape-api-gateway", // 入口で振り分ける
   browser: "frontend", // 画面側
-  ecs: "microservice", // コンテナ群
-  iam: "admin", // 権限を守る
-  kms: "admin", // 鍵を守る
-  lambda: "function", // 呼ぶと動く
-  rds: "database", // 表を持つ
-  s3: "storage", // 置き場
   secret: "storage", // 機密の置き場
   user: "person", // 人
   container: "service", // 動かす単位 (C4 の container)
@@ -1505,13 +1491,15 @@ export function parseTextDslV05(src: string): V05ParseResult {
       // **別名を先に引く** (#2655)。 引けたら図種と並び順の 2 つに開いて、以降は
       // その語が 1 か所も残らないようにする
       const 別名 = TYPE_ALIASES.get(v);
-      if (別名 !== undefined) {
+      const 外した = 外した図種の知らせ(v);
+      if (外した !== undefined) {
+        // 外した図種は置き換え先を示す (#2947)。 「図種が読めません」 では書き換え先が分からない
+        errors.push({ line: line.no, ...外した });
+        // 図種は置き換え先の順序図として読み進める。 空のままにすると「type が書かれていません」
+        // が重なり、書いたのに書いていないと言われる
+        type = "sequence";
+      } else if (別名 !== undefined) {
         type = 別名.type;
-        // 書き手が語も書いていればそちらが勝つ = 別名は既定を入れるだけ
-        if (order === null && 別名.order !== undefined) {
-          order = 別名.order;
-          orderLine = line.no;
-        }
         if (別名.shape !== undefined) {
           aliasShape = 別名.shape;
           aliasShapeLine = line.no;
@@ -3981,6 +3969,19 @@ function reportV04Kind(kindRaw: string, line: number, errors: DslError[]): void
   });
 }
 
+/**
+ * 外した箱の種類を書いた時に置き換え先を知らせる (#2947)。 知らせたら真を返す。
+ *
+ * 真を返した種類は見本 (parts) の名前として扱わない。 扱うと「そんな部品は無い」 が重なって
+ * 出て、置き換え先の知らせが埋もれる。
+ */
+function reportRemovedKind(kindRaw: string, line: number, errors: DslError[]): boolean {
+  const 知らせ = 外した種類の知らせ(kindRaw);
+  if (知らせ === undefined) return false;
+  errors.push({ line, ...知らせ });
+  return true;
+}
+
 /** `色` / `color` のどちらでも書ける。 */
 const COLOR_KEYS = new Set(["色", "color", "tone"]);
 
@@ -4089,11 +4090,12 @@ function applyContinuationLines(actor: DslActor, rest: Line[], errors: DslError[
       case "種類": {
         const k = stripQuotes(raw).toLowerCase();
         reportV04Kind(k, ln.no, errors);
-        const isPart = k !== "" && !NODE_KIND_VALID.has(k);
-        out.kind = isPart ? NODE_KIND_DEFAULT : resolveNodeKind(k);
+        const 外した = reportRemovedKind(k, ln.no, errors);
+        const isPart = k !== "" && !外した && !NODE_KIND_VALID.has(k);
+        out.kind = isPart || 外した ? NODE_KIND_DEFAULT : resolveNodeKind(k);
         // parts 候補は `kind` を既定に倒して `partId` へ退避するため、 名札に載せる種類としては
         // 「書かなかった」 と同じ扱いにする (#1058)
-        out.kindWritten = k !== "" && !isPart;
+        out.kindWritten = k !== "" && !isPart && !外した;
         out.partId = isPart ? k : undefined;
         break;
       }
@@ -5256,9 +5258,10 @@ function parseActor(line: Line, errors: DslError[]): DslActor | null {
     // 縦書きでは通り中括弧では落ちる
     const opts = 中括弧の別名を寄せる(parseInlineMapping(mapMatch.inner));
     const kindRaw = (opts.kind ?? "").toLowerCase();
+    const 外した = reportRemovedKind(kindRaw, line.no, errors);
     // CAR-1657 = kind が既存 NODE_KIND_VALID に無い場合 parts identifier 候補として partId に格納、
     // kind は actor default fallback。 compile 側 partsCatalog lookup で解決する。
-    const isPart = kindRaw !== "" && !NODE_KIND_VALID.has(kindRaw);
+    const isPart = kindRaw !== "" && !外した && !NODE_KIND_VALID.has(kindRaw);
     // 倍率はパーツにしか効かない。 書いたのに効かない状態を黙って作らない (#1026)。
     // 値が空の形でも名前を残すため、`opts` ではなく中身から直接拾う
     const inlineScale = resolveScale(writtenScaleFields(mapMatch.inner), line.no, errors);
@@ -5323,7 +5326,7 @@ function parseActor(line: Line, errors: DslError[]): DslActor | null {
       kind,
       // parts 候補は `kind` を既定に倒して `partId` へ退避するため、 名札に載せる種類としては
       // 「書かなかった」 と同じ扱いにする (#1058)
-      kindWritten: kindRaw !== "" && !isPart,
+      kindWritten: kindRaw !== "" && !isPart && !外した,
       subtitle: opts.subtitle,
       kindForm: 閉じた箱の値("kindForm", KIND_FORM_VALUES),
       icon: 閉じた箱の値("icon", CDL_ICON_VALUES),
@@ -5435,7 +5438,8 @@ function parseActor(line: Line, errors: DslError[]): DslActor | null {
     const v = classifyValues(splitValues(rest), line.no, errors);
 
     // CAR-1657 = short form (`arc1: arc-gauge`) でも parts kind 対応、 未知 kind は partId 経路
-    const isPart = v.kind !== "" && !NODE_KIND_VALID.has(v.kind);
+    const 外した = reportRemovedKind(v.kind, line.no, errors);
+    const isPart = v.kind !== "" && !外した && !NODE_KIND_VALID.has(v.kind);
     reportV04Kind(v.kind, line.no, errors);
     // 倍率はパーツにしか効かない (#1026)
     reportScaleOnNonPart(isPart, v.scaleKeys?.[0], line.no, errors);
@@ -5447,7 +5451,7 @@ function parseActor(line: Line, errors: DslError[]): DslActor | null {
       kind,
       // parts 候補は `kind` を既定に倒して `partId` へ退避するため、 名札に載せる種類としては
       // 「書かなかった」 と同じ扱いにする (#1058)
-      kindWritten: v.kind !== "" && !isPart,
+      kindWritten: v.kind !== "" && !isPart && !外した,
       // parts では `tone` を状態の上書きとして扱うため、 色として渡さない
       tone: isPart ? undefined : v.tone,
       subtitle: v.subtitle,