@cardenelabs/dragon 0.27.0 → 0.28.0

package/dist/index.d.cts

@@ -1,4 +1,4 @@
-import { NodeKind, Tone, CdlDiagram, EdgeStyle, EdgeHead, EdgeHeadFill, ClassRelationType, SequenceMessageKind, EdgeReveal, LaidDiagram } from '@cardenelabs/cdl';
+import { NodeKind, Tone, CdlDiagram, EdgeStyle, EdgeHead, EdgeHeadFill, ClassRelationType, SequenceMessageKind, EdgeReveal, RelationFocus, LaidDiagram } from '@cardenelabs/cdl';
 export { CdlDiagram } from '@cardenelabs/cdl';
 
 /**
@@ -58,7 +58,7 @@ type V05ParseResult = {
  * 書くと、項目を足した時に案内か一覧のどちらかが取り残される (実際に `states` / `values` が
  * 一覧に 1 件も無い状態で放置されていた)。
  */
-declare const TOP_LEVEL_KEYS: readonly ["title", "type", "actors", "flow", "states", "values", "animation", "viewport", "lanes", "groups", "eyebrow", "axes", "readouts", "inputs", "formulas", "events", "scrolls", "bands", "reveal", "direction", "palette"];
+declare const TOP_LEVEL_KEYS: readonly ["title", "type", "actors", "flow", "states", "values", "animation", "viewport", "lanes", "groups", "eyebrow", "axes", "readouts", "inputs", "formulas", "events", "scrolls", "bands", "reveal", "relations", "direction", "palette"];
 /** 受け付ける図種。 記法一覧はここを見る。 */
 declare const PRESET_TYPES: ReadonlySet<PresetType>;
 /**
@@ -121,10 +121,19 @@ declare const PHASE_ITEM_WORDS: readonly ["focus", "badge", "body", "description
  * | `tree` | `tree` | 根から下へ枝が伸びる |
  * | `gantt` | `gantt` | 各帯の始端から右へ帯が伸びる |
  * | `funnel` | `funnel` | 上端から順に段が積まれる |
+ * | `slope` | `slope` | 左の軸から右の軸へ線が伸びる |
+ * | `gauge` | `gauge` | 9 時から上を通って 3 時へ弧が伸びる |
+ * | `radial` | `radial` | 各輪が 12 時から時計回りに開く |
+ * | `stacked` | `stacked` | 左端から右へ帯が伸びる |
+ * | `waffle` | `waffle` | 左上から読む向きに印が 1 個ずつ埋まる |
  *
  * `quadrant` は入れない。 4 つの区画に項目を置く図で **項目に順序が無く**、起点を決められない
  * (順番を書いた順で決めると、動きが図の意味を持たない)。
  *
+ * `stat` も入れない。 値 1 つを大きく示す図で、描画側が起点から描く動きを持たない
+ * (`cdl` の `DRAW_KINDS`)。 `waffle` は 1 個 = 1% の印を読む向きに埋める動きを
+ * 持つようになったので入れた (cdl#719)。
+ *
  * いまは語と図種が同じ綴りだが、**同じものとして扱わない**。 語は書き手が書く名前で、
  * 図種は `type:` が取る値。 片方だけ別名を足したくなった時に、対応が表に残っている形にする。
  */
@@ -146,6 +155,12 @@ declare const DRAW_WORDS: ReadonlySet<string>;
  */
 declare const DIRECTIONS: readonly ["縦", "横"];
 type DslDirection = (typeof DIRECTIONS)[number];
+/**
+ * 向きの別名。 色 (`色` / `color` / `tone`) と同じく日本語と英語の両方で書ける。
+ *
+ * 正規の語を鍵にも入れておく = 引く側が別名かどうかを気にせず 1 度で解決できる。
+ */
+declare const DIRECTION_ALIAS: Record<string, DslDirection>;
 /**
  * 図の配色 (`palette:`、 #1553)。
  *
@@ -306,13 +321,13 @@ type Position = {
     column?: number;
 };
 /**
- * canvas pivot (CAR-1693 Phase 1) の DSL 表面 `pos: {x, y}` を保持する型。
- * auto layout の compute value からの offset (dx, dy) を表す。 element の `layoutPos:` が
- * undefined なら auto layout の値をそのまま採用 (catalog 100+ backward compat)、 set 済なら
- * Phase 2 の applyPosOffset pass が offset として適用する。
+ * 自動で決まった位置からのずらし (dx, dy) (#1971)。
+ *
+ * JSON は `pos: { x, y }`、記法は `offsetX` / `offsetY` で書く。 内部では、行番号を持つ
+ * `pos: Position` と名前が重ならないよう `layoutPos` に入れる。
  *
- * naming = DSL 表面 syntax は user 提案 wording (`pos:`) を維持、 内部 AST は既存 `pos: Position`
- * (source line/column) との collision 回避のため `layoutPos:` に rename する 2 層設計。
+ * 書かなければ自動の配置のまま。 書くと組み立ての出口 (`applyLayoutOffsets`) が 1 度配置してから
+ * 配置後の位置に足して置き直す。 箱と縦列は位置が動き、矢印は名前のずらしに足す。
  */
 type LayoutPos = {
     x: number;
@@ -381,6 +396,16 @@ type DslDocument = {
      * 段に関わらず最初から全部描く。 描き手の `CdlDiagram.edgeReveal` にそのまま渡る。
      */
     reveal?: EdgeReveal;
+    /**
+     * 箱に触れると関係する線だけを光らせるか (`relations:`、 #1757)。
+     *
+     * 既定 (`off`) は何もしない。 `hover` と書くと、箱に触れた時に その箱 ・ 繋がる線 ・
+     * 相手の箱だけが光り、他が沈む。 描き手の `CdlDiagram.relationFocus` にそのまま渡る。
+     *
+     * クラス図と ER 図は **順番を持たない** 図で、段を追う見せ方は「どの順で読ませるか」 しか
+     * 運ばない。 触れた箱の関係を光らせれば、読み手の問いにその場で答えられる。
+     */
+    relations?: RelationFocus;
     /**
      * 図の並ぶ向き (`direction:`、 #1494)。
      *
@@ -590,6 +615,14 @@ type DslActor = {
      * 解析の時点ではパーツの定義を知らないため、 名前を決めずに持っておく。
      */
     colorHex?: string;
+    /**
+     * 部品に `color:` で書いた色の名前 (`成功` 等) (#1973)。
+     *
+     * 部品の色の状態は色番号しか受けず、色の名前は箱の色 (`tone`) にしか効かない。 部品には
+     * 箱の色を渡さないため、書いても絵が変わらない。 黙って捨てると手掛かりが残らないので、
+     * 書いた名前を残して組み立て側が知らせる。
+     */
+    partColorName?: Tone;
     /**
      * parts state override (partId set 時のみ有効)。 kind + 既存 reserved fields を除いた
      * inline option の残り (`v: 50` / `count: 100` 等) を state 名 → initial 値 map として保持。
@@ -629,33 +662,13 @@ type DslActor = {
      */
     posRel?: RelativePos;
     /**
-     * canvas pivot UX 修正 (B1 individual node isolation)。 actor 1 件が生成する複数 sub-node
-     * (sequence の header / spacer / footer / s{N} 等) の中で「特定 sub-node だけを固定 / resize」
-     * するための nested override map。 key = sub-node id 相当の short key (`header` / `footer` /
-     * `spacer` / `s0` 等)、 value = posX/Y/W/H の 4 field。 compile 側は対応 CDL node に単独反映、
-     * 同 actor の他 sub-node は影響を受けない (lane 全体 posX とは独立経路)。
-     */
-    nodes?: Record<string, DslActorNodeOverride>;
-    /**
-     * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` 由来の layout offset。 未指定は auto
-     * layout の compute value そのまま (backward compat)、 set 済なら Phase 2 の applyPosOffset で
-     * (auto x + layoutPos.x, auto y + layoutPos.y) に shift される。 既存 posX/posY (絶対座標) は
-     * 別 mechanism で、 layoutPos は auto layout からの nudge (dx, dy)。
+     * 箱の位置のずらし (#1971)。 配置後の箱の中心を (x, y) だけ動かす。 `posX` / `posY` (座標) とは
+     * 別の欄で、座標も書いた時は座標で置いた位置からずらす。 見本 (parts) は見本 1 つ分をまとめて動かす。
+     * 同じ縦列の箱に近づくと、描画側が間隔を保つようそちらを押し下げる。
      */
     layoutPos?: LayoutPos;
     pos: Position;
 };
-/**
- * canvas pivot UX 修正 (B1) = actor 内 sub-node 単位で「絶対座標 / サイズ」 を固定するための
- * override 値。 全 field optional、 posX / posY が両方 set 済なら CDL 側で該当 sub-node の
- * auto layout を skip、 明示座標をそのまま採用する。 posW / posH は width / height の上書き。
- */
-type DslActorNodeOverride = {
-    posX?: number;
-    posY?: number;
-    posW?: number;
-    posH?: number;
-};
 /** 流れ (1 行 = 1 step) (v0.5+ ... inline option 拡張) */
 type DslStep = {
     no: number;
@@ -682,8 +695,8 @@ type DslStep = {
     /**
      * 矢印の先の形 (#1462)。 書かなければ従来どおり塗った三角。
      *
-     * 4 図の設計は **端の形で関係の種類を示す** = 三角 (継ぐ) / 菱 (持つ) /
-     * 開いた矢 (使う) / 鳥の足 (多)。 書けないと 4 種とも同じ三角になり、
+     * 4 図の設計は **端の形で関係の種類を示す** = 三角 (継承・実装) / 菱 (集約・コンポジション) /
+     * 開いた矢 (関連・依存) / 鳥の足 (多)。 書けないと 4 種とも同じ三角になり、
      * 線の種類 (実線 / 点線) だけで 6 種の関係を区別することになる。
      *
      * 受ける語は描画側の `EDGE_HEADS` から導く = 描画側が増やせば書けるようになる。
@@ -691,10 +704,16 @@ type DslStep = {
     head?: EdgeHead;
     /** 出どころ側の端の形 (#1466)。 ER は端ごとに違う個数を示すので両端に要る */
     tailHead?: EdgeHead;
-    /** 端の印の塗り (#1466)。 白抜きの菱が「持つ」、塗った菱が「抱える」 */
+    /** 端の印の塗り (#1466)。 白抜きの菱が集約、塗った菱がコンポジション */
     headFill?: EdgeHeadFill;
     /** 出どころ側の印の塗り (#1466) */
     tailHeadFill?: EdgeHeadFill;
+    /**
+     * クラス図の出どころ側の多重度 (#1771)。 `sub` (行き先の端の多重度) と対。
+     *
+     * クラス図でだけ効く (関係の語 `relation` と同じ)。 engine が出どころの端の近くに添える。
+     */
+    tailSub?: string;
     /**
      * クラス図の関係の種類 (#1466)。 書くと線と端の形と塗りと付く側がまとめて決まる。
      *
@@ -717,10 +736,19 @@ type DslStep = {
     /** true で説明文を矢印の線の上に重ねる。 分岐図の条件ラベル用。 */
     overlay?: boolean;
     /**
-     * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` 由来の layout offset。 step の edge
-     * label 位置を auto layout compute から (dx, dy) shift する。 未指定は auto、 set 済は Phase 2 で適用。
+     * 矢印の位置のずらし (#1971)。 矢印の通り道は両端の箱で決まるので、名前のずらし
+     * (`labelOffsetX` / `labelOffsetY`) に足して名前だけを動かす。
      */
     layoutPos?: LayoutPos;
+    /**
+     * 部品 (parts) の端で、矢印を繋ぐ部品の中の要素の id (#1979)。 出どころ側が `fromPartNode`、
+     * 行き先側が `toPartNode`。
+     *
+     * 要素を 1 つだけ持つ部品は書かなくてもその要素に繋ぐ。 要素を 2 つ以上持つ部品は外枠を持たず
+     * 同格の要素が並ぶため、1 つを自動で選ぶと「その要素だけ」 を指す矢印に見える。 書き手が名指しする。
+     */
+    fromPartNode?: string;
+    toPartNode?: string;
     pos: Position;
 };
 /** lane 宣言 (v0.5+ top-level lanes section) */
@@ -732,13 +760,20 @@ type DslLane = {
     contain?: boolean;
     lifeline?: boolean;
     /**
-     * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` 由来の layout offset。 lane の x 座標を
-     * auto layout compute から (dx, dy) shift する。 未指定は auto、 set 済は Phase 2 で適用。
+     * 縦列の位置のずらし (#1971)。 配置後の縦列の左上を (x, y) だけ動かし、中の箱も一緒に動く。
+     * 1 本でもずらすと全ての縦列を配置後の位置と大きさで固定し、動いた箱を元の位置に留めるので、
+     * 他の縦列とその箱は動かない。
      */
     layoutPos?: LayoutPos;
     pos: Position;
 };
-/** group 宣言 (v0.5+ top-level groups section、 topology preset 専用) */
+/**
+ * 組の宣言 (v0.5+ top-level groups section)。
+ *
+ * `lanes` に並べた縦列とその中の箱を、 縦列の位置が決まった後に 1 つの枠 (`group-{id}`) で囲む (#1972)。
+ * 図に無い縦列は除いて囲み、 1 本も無ければ枠を描かない。 間に束ねない縦列を挟むと、 その縦列ごと囲む。
+ * どちらも知らせで伝える。
+ */
 type DslGroup = {
     id: string;
     label?: string;
@@ -951,7 +986,7 @@ interface CompileToCdlOpts {
 }
 /** 図は出せるが書いた通りにならなかった、 という知らせ。 */
 type CompileNotice = {
-    kind: "relative-position-ignored" | "focus-target-missing" | "state-override-rejected" | "external-paint-dropped" | "part-not-drawn" | "direction-not-honored" | "scale-reserved" | "chart-value-unreadable" | "chart-edge-dropped" | "value-shadows-state" | "value-unresolved" | "value-duplicate" | "flow-actor-missing" | "value-trigger-unresolved" | "lane-not-honored" | "lane-declared-empty" | "eyebrow-not-honored" | "flow-endpoint-not-honored" | "draw-not-honored" | "draw-target-mismatch" | "formula-unresolved" | "event-target-missing" | "actor-kind-not-honored" | "sub-node-not-found" | "message-option-not-honored";
+    kind: "relative-position-ignored" | "focus-target-missing" | "state-override-rejected" | "external-paint-dropped" | "part-not-drawn" | "direction-not-honored" | "scale-reserved" | "part-color-ignored" | "part-state-missing" | "part-edge-dropped" | "part-node-ignored" | "part-lane-ignored" | "chart-value-unreadable" | "chart-edge-dropped" | "value-shadows-state" | "value-unresolved" | "value-duplicate" | "flow-actor-missing" | "value-trigger-unresolved" | "lane-not-honored" | "lane-declared-empty" | "eyebrow-not-honored" | "flow-endpoint-not-honored" | "draw-not-honored" | "draw-target-mismatch" | "formula-unresolved" | "event-target-missing" | "actor-kind-not-honored" | "message-option-not-honored" | "position-offset-ignored" | "group-lane-missing" | "group-lanes-apart";
     /** 対象の名前。 光らせる相手なら書かれた指定そのまま */
     actor: string;
     /** 書かれていた行 */
@@ -1123,18 +1158,21 @@ declare function partVisualSize(part: CdlDiagram, targetW?: number, targetH?: nu
     h: number;
 };
 /**
- * 既存の図が縦に何段ぶんを占めるかの目安 (#1481)。
+ * 組み立てた図の下端 (#2002)。 箱が 1 つも無ければ `undefined`。
  *
- * **箱の数では数えない**。 数で数えると、図を丸ごと 1 つの箱で描く種別が 1 段に潰れる。
- * 順序図は `#1466` で 1 枚の板になり、高さ 432 の箱 1 つになった = 1 段 (280) と見積もられ、
- * その下に置いたパーツが板に 31px 重なっていた (実測)。
+ * **段数で概算しない**。 かつては箱の数から `箱 1 つ = 1 段 (280)` で見積もっていたが、
+ * `flow` の箱は実際には高さ 68 で 168 おきに並ぶため 1 段あたり 112 ずつ余分に見積もる。
+ * 誤差は箱の数に比例して積み上がり、実測で箱 2 つの図に 496、箱 4 つの図に 720 の空きが
+ * 入っていた (部品どうしの間は 120)。
  *
- * 大きさを自分で持つ箱は、その高さから段数を出す。 持たない箱は今までどおり 1 段と数えるので、
- * 高さを書かない図の並び方は変わらない。
+ * **箱の下端ではなく図枠の下端を返す**。 格子は図枠どうしを `PARTS_GAP` 空けて並べるので、
+ * 既存の図との間も図枠で測らないと、部品どうしの間と既存の図との間が揃わない
+ * (箱で測ると 180、図枠で測ると 240 で、後者が部品どうしの段の間と一致する)。
+ *
+ * **箱が無いことを 0 に潰さない**。 0 を下端として使うと、部品だけを並べた図で部品が
+ * 図の上端へ貼り付く。 呼出側が「箱が無い」 と「下端が 0」 を分けられるように `undefined` を返す。
  */
-declare function partsBaseRows(nodes: ReadonlyArray<{
-    h?: number;
-}>): number;
+declare function partsBaseBottom(laid: LaidDiagram): number | undefined;
 /**
  * 位置を書かなかったパーツを格子に並べた時の、 矩形の中心。
  *
@@ -1145,9 +1183,10 @@ declare function partsBaseRows(nodes: ReadonlyArray<{
  * 隣と重なる (実測 = 400 の次に 200 を置くと 280 重なった)。 段の高さも段内の最大高で揃える。
  * 縦は自分の高さの半分だけ段の上端から下げて、 段内で上端を揃える。
  *
- * @param baseRows 既存の図が占める段数の目安 (`partsBaseRows`)。 図の下から並べ始めるために使う
+ * @param baseBottom 既存の図の下端 (`partsBaseBottom`)。 その下に間を空けて並べ始める。
+ *   箱が 1 つも無い図では `undefined` を渡す
  */
-declare function partsGridCenters(baseRows: number, items: ReadonlyArray<{
+declare function partsGridCenters(baseBottom: number | undefined, items: ReadonlyArray<{
     id: string;
     w: number;
     h: number;
@@ -1155,26 +1194,40 @@ declare function partsGridCenters(baseRows: number, items: ReadonlyArray<{
     cx: number;
     cy: number;
 }>;
+/**
+ * 本文に書いた状態の上書きと色番号を、部品の図そのものに当てて返す (#1973)。
+ *
+ * 編集画面の本文欄は、部品を図から抜いて別に重ねて描く。 重ねる側が部品の図をそのまま
+ * 描くと、`state: { lvl: 0.4 }` や `color: "#d9534f"` がカタログの絵にだけ効き、
+ * 編集画面では既定の値で描かれる。 値の決め方は組み立て側と同じ 2 つの関数を通す。
+ *
+ * `phase: false` は組み立て側と同じく部品の段を外す。 段の数は残し、中身 (点灯と値の変化)
+ * だけを空にする = 段を消すと、重ねた部品だけ段の進みが止まらない形になる。
+ *
+ * 色として読めない上書きは組み立て側と同じく捨てる。 知らせは組み立て側が出すため、
+ * ここでは出さない (同じ本文で 2 度出さない)。
+ */
+declare function 部品に上書きを当てる(part: CdlDiagram, actor: Pick<DslActor, "stateOverride" | "colorHex">): CdlDiagram;
 
 /**
- * Notation lint (author 向け修正システム)。
+ * 記法の検査 (図を書く人向けの修正システム)。
  *
- * cdl / dragon 記法で書かれた CdlDiagram を rule-based に検査し、
- * 「もっと良い書き方」 を suggestion として返す純粋関数。 LLM 不要、 rule のみ。
+ * cdl / dragon の記法で書いた図 (`CdlDiagram`) を決まった規則で検査し、直し方を修正案
+ * (`suggestion`) として返す純粋関数。 言語モデルは使わない。
  *
- * 検知システム (`check:cdl` / `check:dragon` / `check:kind`) は開発陣向けで
- * 「実装バグ」 を検出するが、 本 notation-lint は **author 向け** で
- * 「書き方の癖 / 冗長表現 / 未定義参照 / 空 payload」 等を検出する。
+ * 検知システム (`check:cdl` / `check:dragon` / `check:kind`) は開発者向けで実装の不具合を
+ * 見つける。 こちらは図を書く人向けで、読む人へ伝わらない書き方 (図の説明に入り込んだ実装の
+ * 書き方、無い部品を指す参照、値や項目が空の図表など) を見つける。
  *
  * 使い方:
- *   import { lintDiagram } from "@cardenelabs/dragon";
+ *   import { lintDiagram, autoFix } from "@cardenelabs/dragon";
  *   const report = lintDiagram(diagram);
- *   // report.issues[] = LintIssue[]
- *   // report.fixed = LintIssue[] のうち自動修正で解消される件
- *   // report.autoFix(diagram) = 修正済 CdlDiagram
+ *   // report.issues = LintIssue[]
+ *   // report.autoFixableCount = 自動修正で実際に解消できる指摘の数
+ *   const patched = autoFix(diagram); // 自動修正を当てた新しい図 (元の図は変えない)
  *
- * CLI:
- *   pnpm dragon-lint apps/playground-spa/src/topics/catalog/presets.cdl.ts
+ * 道具:
+ *   node packages/dragon/scripts/dragon-lint.mjs apps/playground-spa/src/topics/catalog/presets.cdl.ts
  */
 
 type LintSeverity = "warn" | "info";
@@ -1184,9 +1237,12 @@ type LintIssue = {
     severity: LintSeverity;
     /** 該当対象 (node id / edge id / diagram id) */
     target: string;
-    /** 人間向けメッセージ */
+    /**
+     * 書き手向けの指摘の文。 書き手が打ち込む識別子と書き手の値は `` ` `` で囲み、 残りは日本語で書く
+     * (画面側の `lint-message-words.test.ts` が全規則の文を判定に通す)
+     */
     message: string;
-    /** 修正案 (自動修正可能なら適用後の値、 手動修正必要なら null) */
+    /** 修正案。 自動修正できる指摘は自動修正が書く値そのもの、 できない指摘は直し方の文 */
     suggestion?: string;
     /** autoFix() が本 issue を自動解消できるか */
     autoFixable: boolean;
@@ -1545,8 +1601,14 @@ interface DragonJson {
      * つまみの値から決まる値 (optional、 #1391)。 記法の最上位 `formulas:` と同じ。
      *
      * 形は `{ 名前: "式" }`。 `values:` と経路が別で、式は名前を中括弧で囲わない。
+     *
+     * 名札を付ける時は `{ 名前: { expression: "式", label: "名札" } }` の組で書く (#1916)。
+     * 描画側は名札を操作部の式の名前に描く (cdl#853)。
      */
-    formulas?: Record<string, string>;
+    formulas?: Record<string, string | {
+        expression: string;
+        label?: string;
+    }>;
     /**
      * 押下などの出来事で動く仕掛け (optional、 #1393)。 記法の最上位 `events:` と同じ。
      *
@@ -1604,8 +1666,8 @@ interface DragonJson {
         contain?: boolean;
         lifeline?: boolean;
         /**
-         * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = auto layout offset。 未指定は
-         * backward compat、 set 済は Phase 2 の applyPosOffset で lane 位置を shift する。
+         * 縦列の位置のずらし (#1971)。 配置後の縦列の左上を (x, y) だけ動かす。 記法の `offsetX` / `offsetY`
+         * と同じで、読み方は `DslLane.layoutPos` が持つ。
          */
         pos?: LayoutPos;
     }>;
@@ -1622,6 +1684,8 @@ interface DragonJson {
     }[];
     /** 矢印をいつ出すか (#1470)。 記法の最上位 `reveal:` と同じ */
     reveal?: EdgeReveal;
+    /** 箱に触れると関係する線だけを光らせるか (#1757)。 記法の最上位 `relations:` と同じ */
+    relations?: RelationFocus;
     /** 図の並ぶ向き (#1494)。 記法の最上位 `direction:` と同じ。 JSON は英語の語で書く */
     direction?: "vertical" | "horizontal";
     /**
@@ -1686,8 +1750,8 @@ interface JsonActor {
     initial?: boolean;
     final?: boolean;
     /**
-     * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = auto layout offset。 未指定は
-     * backward compat、 set 済は Phase 2 の applyPosOffset で actor 由来 lane / node の位置を shift。
+     * 箱の位置のずらし (#1971)。 配置後の箱の中心を (x, y) だけ動かす。 記法の `offsetX` / `offsetY`
+     * と同じで、読み方は `DslActor.layoutPos` が持つ。
      */
     pos?: LayoutPos;
     /**
@@ -1742,12 +1806,6 @@ interface JsonActor {
     posY?: number;
     posW?: number;
     posH?: number;
-    /**
-     * 箱の中の要素ごとに位置と大きさを固定する (#1294)。 記法の `nodes:` と同じ。
-     *
-     * key は箱が作る要素の名前 (`header` / `footer` / `spacer` / `s0` 等)。
-     */
-    nodes?: Record<string, JsonActorNodeOverride>;
     /**
      * 見本を何倍で描くか (#1294)。 記法の `scale:` / `倍率:` と同じ。
      *
@@ -1769,13 +1827,6 @@ interface JsonAxes {
         top?: string;
     };
 }
-/** 箱の中の要素 1 つ分の位置と大きさ (#1294)。 記法の `nodes: { header: { ... } }` と同じ */
-interface JsonActorNodeOverride {
-    posX?: number;
-    posY?: number;
-    posW?: number;
-    posH?: number;
-}
 interface JsonStep {
     from: string;
     to: string;
@@ -1786,7 +1837,7 @@ interface JsonStep {
     /**
      * 矢印の先の形 (#1462)。 記法の `{ head: triangle }` と同じ。
      *
-     * 三角 (継ぐ) / 菱 (持つ) / 開いた矢 (使う) / 鳥の足 (多)。
+     * 三角 (継承・実装) / 菱 (集約・コンポジション) / 開いた矢 (関連・依存) / 鳥の足 (多)。
      * 書かなければ従来どおり塗った三角になる。
      */
     head?: EdgeHead;
@@ -1794,6 +1845,8 @@ interface JsonStep {
     tailHead?: EdgeHead;
     headFill?: EdgeHeadFill;
     tailHeadFill?: EdgeHeadFill;
+    /** クラス図の出どころ側の多重度 (#1771)。 記法の `{ tailSub: "1" }` と同じ */
+    tailSub?: string;
     /**
      * 辺の役目 (cdl#618)。 記法の `{ role: main }` と同じ。
      *
@@ -1827,10 +1880,15 @@ interface JsonStep {
     /** true で説明文を矢印の線の上に重ねる。 分岐図の条件ラベル用。 */
     overlay?: boolean;
     /**
-     * canvas pivot (CAR-1693 Phase 1) DSL 表面 `pos: {x, y}` = edge label offset。 未指定は
-     * backward compat、 set 済は Phase 2 の applyPosOffset で edge label 位置を shift する。
+     * 矢印の位置のずらし (#1971)。 名前のずらし (`labelOffsetX` / `labelOffsetY`) に足して名前を動かす。
      */
     pos?: LayoutPos;
+    /**
+     * 部品の端で矢印を繋ぐ部品の中の要素の id (#1979)。 記法の `{ fromPartNode: rC }` / `{ toPartNode: gC }` と同じ。
+     * 要素を 1 つだけ持つ部品は書かなくてもその要素に繋ぐ
+     */
+    fromPartNode?: string;
+    toPartNode?: string;
 }
 interface JsonPhase {
     /** phase name (必須) */
@@ -2116,28 +2174,6 @@ declare const diagramJsonSchema: {
                             type: string;
                             description: string;
                         };
-                        nodes: {
-                            type: string;
-                            description: string;
-                            additionalProperties: {
-                                type: string;
-                                additionalProperties: boolean;
-                                properties: {
-                                    posX: {
-                                        type: string;
-                                    };
-                                    posY: {
-                                        type: string;
-                                    };
-                                    posW: {
-                                        type: string;
-                                    };
-                                    posH: {
-                                        type: string;
-                                    };
-                                };
-                            };
-                        };
                         scale: {
                             type: string;
                             description: string;
@@ -2305,6 +2341,10 @@ declare const diagramJsonSchema: {
                         type: string;
                         description: string;
                     };
+                    tailSub: {
+                        type: string;
+                        description: string;
+                    };
                     tone: {
                         type: string;
                         enum: string[];
@@ -2379,6 +2419,18 @@ declare const diagramJsonSchema: {
                         type: string;
                         description: string;
                     };
+                    fromPartNode: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
+                    toPartNode: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
                     pos: {
                         type: string;
                         additionalProperties: boolean;
@@ -3067,10 +3119,40 @@ declare const diagramJsonSchema: {
                     min: {
                         type: string;
                     };
+                    offLabel: {
+                        type: string;
+                        minLength: number;
+                        description: string;
+                    };
+                    onLabel: {
+                        type: string;
+                        minLength: number;
+                        description: string;
+                    };
                     options: {
                         type: string;
+                        description: string;
                         items: {
-                            type: string;
+                            oneOf: ({
+                                type: string;
+                                additionalProperties?: undefined;
+                                required?: undefined;
+                                properties?: undefined;
+                            } | {
+                                type: string;
+                                additionalProperties: boolean;
+                                required: string[];
+                                properties: {
+                                    value: {
+                                        type: string;
+                                        minLength: number;
+                                    };
+                                    label: {
+                                        type: string;
+                                        minLength: number;
+                                    };
+                                };
+                            })[];
                         };
                     };
                     placeholder: {
@@ -3123,9 +3205,34 @@ declare const diagramJsonSchema: {
             type: string;
             description: string;
             additionalProperties: {
-                type: string;
-                minLength: number;
-                pattern: string;
+                oneOf: ({
+                    type: string;
+                    minLength: number;
+                    pattern: string;
+                    additionalProperties?: undefined;
+                    required?: undefined;
+                    properties?: undefined;
+                } | {
+                    type: string;
+                    additionalProperties: boolean;
+                    required: string[];
+                    properties: {
+                        expression: {
+                            type: string;
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                        label: {
+                            type: string;
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                    };
+                    minLength?: undefined;
+                    pattern?: undefined;
+                })[];
             };
             propertyNames: {
                 pattern: string;
@@ -3146,6 +3253,11 @@ declare const diagramJsonSchema: {
             enum: string[];
             description: string;
         };
+        relations: {
+            type: string;
+            enum: string[];
+            description: string;
+        };
         bands: {
             type: string;
             description: string;
@@ -3295,4 +3407,4 @@ interface CompileOpts {
  */
 declare function textDslToDiagram(src: string, opts?: CompileOpts): CdlDiagram;
 
-export { type AnchorBox, type CompileNotice, type CompileOpts, DIAGRAM_BOUNDARY_PADDING, DRAW_TARGETS, DRAW_WORDS, type DiagramBoundingBox, type DragonJson, type DslActor, type DslAnimate, type DslDocument, type DslError, type DslGroup, type DslLane, type DslPhase, type DslSet, type DslState, type DslStep, type DslTween, type DslValue, type DslViewport, type FocusEntry, type InputSize, JSONを分解する, type JsonActor, type JsonActorNodeOverride, type JsonAxes, type JsonDslError, type JsonPhase, type JsonStep, type LayoutMode, type LayoutPos, type LintIssue, type LintReport, type LintSeverity, MAX_INPUT_BYTES, MAX_INPUT_ELEMENTS, MAX_PART_SCALE, NODE_KIND_ALIAS, NODE_KIND_VALID, PHASE_ITEM_WORDS, PRESET_TYPES, type PresetType, RELATIVE_GAP_DEFAULT, type RelativeDirection, type RelativePos, TONE_ALIAS, TOP_LEVEL_KEYS, autoFix, compileToCdl, computeDiagramBoundingBox, countBytes, countDiagramElements, countDocElements, describeOversize, describeOversizeSource, diagramJsonSchema, isColorValue, jsonToDiagram, lintDiagram, measureActorBoxes, normalizePartScale, orderByDependency, parseFocusEntry, parseRelativePos, parseTextDsl, parseTextDslV05, partBoxInFrame, partDrawsInDiagram, partIsMeasurable, partRenderSize, partScaleFactor, partTargetScale, partTargetSize, partVisualSize, partsBaseRows, partsGridCenters, pointsOutside, rectsOverlap, resolveRelativePos, stripExternalPaint, stripQuotes, textDslToDiagram, validateDragonJson, writeActorPosition, type トークン, type トークンの種類, 区間に広げる, 記法を分解する };
+export { type AnchorBox, type CompileNotice, type CompileOpts, DIAGRAM_BOUNDARY_PADDING, DIRECTION_ALIAS, DRAW_TARGETS, DRAW_WORDS, type DiagramBoundingBox, type DragonJson, type DslActor, type DslAnimate, type DslDocument, type DslError, type DslGroup, type DslLane, type DslPhase, type DslSet, type DslState, type DslStep, type DslTween, type DslValue, type DslViewport, type FocusEntry, type InputSize, JSONを分解する, type JsonActor, type JsonAxes, type JsonDslError, type JsonPhase, type JsonStep, type LayoutMode, type LayoutPos, type LintIssue, type LintReport, type LintSeverity, MAX_INPUT_BYTES, MAX_INPUT_ELEMENTS, MAX_PART_SCALE, NODE_KIND_ALIAS, NODE_KIND_VALID, PHASE_ITEM_WORDS, PRESET_TYPES, type PresetType, RELATIVE_GAP_DEFAULT, type RelativeDirection, type RelativePos, TONE_ALIAS, TOP_LEVEL_KEYS, autoFix, compileToCdl, computeDiagramBoundingBox, countBytes, countDiagramElements, countDocElements, describeOversize, describeOversizeSource, diagramJsonSchema, isColorValue, jsonToDiagram, lintDiagram, measureActorBoxes, normalizePartScale, orderByDependency, parseFocusEntry, parseRelativePos, parseTextDsl, parseTextDslV05, partBoxInFrame, partDrawsInDiagram, partIsMeasurable, partRenderSize, partScaleFactor, partTargetScale, partTargetSize, partVisualSize, partsBaseBottom, partsGridCenters, pointsOutside, rectsOverlap, resolveRelativePos, stripExternalPaint, stripQuotes, textDslToDiagram, validateDragonJson, writeActorPosition, type トークン, type トークンの種類, 区間に広げる, 記法を分解する, 部品に上書きを当てる };