@cardenelabs/dragon 0.13.0 → 0.15.0

package/dist/index.d.cts

@@ -1,4 +1,136 @@
 import { CdlDiagram, NodeKind, Tone, EdgeStyle, LaidDiagram } from '@cardenelabs/cdl';
+export { CdlDiagram } from '@cardenelabs/cdl';
+
+/**
+ * Text DSL v0.5 parser
+ *
+ * 設計方針:
+ * - keyword は英語のみ (title / type / actors / flow / states / animation / step / focus / tween / set / badge)
+ * - 値の日本語は quote 必須 (`title: "API call"` / `step: "request" 1.5s`)
+ * - YAML 風 + 短縮 keyword + 箇条書き構造
+ * - Mermaid 知ってる人にもゼロ学習、 非エンジニアにも直感的
+ *
+ * syntax 例:
+ *
+ *   title: "API call"
+ *   type: sequence
+ *
+ *   actors:
+ *     - Client
+ *     - API: function
+ *     - DB
+ *
+ *   flow:
+ *     - Client -> API: "GET /items"
+ *     - API -> DB: "SELECT" (success)
+ *
+ *   states:
+ *     request_count: 0
+ *     row_count: 0
+ *
+ *   animation:
+ *     - step: "request" 1.5s
+ *       focus: [Client, API]
+ *       tween:
+ *         request_count: 0 -> 1
+ *       badge: "request"
+ *
+ *     - step: "query" 1.5s
+ *       focus: [API, DB]
+ *       tween:
+ *         row_count: 0 -> 20
+ *       badge: "query"
+ *
+ * 出力は v0.4 と同じ DslDocument。 既存 compile.ts で CdlDiagram に変換できる。
+ */
+
+type V05ParseResult = {
+    ok: true;
+    doc: DslDocument;
+} | {
+    ok: false;
+    errors: DslError[];
+};
+/**
+ * 記法が受ける top-level の項目 (#1190)。
+ *
+ * 読めない行の案内と、記法一覧が全て載せているかの検査が、どちらもここを見る。 一覧に手で
+ * 書くと、項目を足した時に案内か一覧のどちらかが取り残される (実際に `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"];
+/** 受け付ける図種。 記法一覧はここを見る。 */
+declare const PRESET_TYPES: ReadonlySet<PresetType>;
+/**
+ * 記法だけが持つ種類。 描画側には無いが、 図種ごとの組み立てで意味を持つ。
+ *
+ * `contract` / `eoa` / `multisig` / `proxy` / `library` / `interface` は Solidity 図の
+ * 役割分けに、 `entity` / `state` は ER 図と状態遷移図に使う。
+ *
+ * **描画側へ渡す前に必ず読み替える** (`compile.ts` の `描ける種別`)。 読み替えを通さずに渡すと
+ * 図の組み立てが落ちる = 描画側は知らない種類の大きさを引けない (#1420 で実測、
+ * `Cannot read properties of undefined (reading 'h')`)。
+ */
+declare const DSL_ONLY_KINDS: readonly ["entity", "state", "contract", "eoa", "multisig", "proxy", "library", "interface"];
+/** 記法だけが持つ種類。 描画側の `NodeKind` には含まれない */
+type DslOnlyKind = (typeof DSL_ONLY_KINDS)[number];
+/**
+ * 受け付ける箱の種類。 描画できる種類 (cdl の `NODE_KINDS`) に、 記法だけが持つ種類を足す。
+ *
+ * 以前は手書きの 31 種だった。 描画できる 90 種のうち 78 種が記法から書けず、 部品名として
+ * 扱われて「そんな部品は無い」 と警告が出るだけだった。 描画側を出所に加えることで
+ * 「描画できるものは書ける」 が成立する。
+ */
+/**
+ * 記法が受理する種類の全体。 これに載っていない種類は見本 (パーツ) の候補になる。
+ *
+ * 画面側が「本文が見本を使っているか」 を判定するのに使う (#1022)。 手書きの一覧を
+ * 別に持つと、種類が増えた時にそちらだけ取り残されて余分な読み込みが起きる。
+ */
+declare const NODE_KIND_VALID: ReadonlySet<string>;
+declare function parseTextDslV05(src: string): V05ParseResult;
+/**
+ * 対応する引用符だけを外す。
+ *
+ * 先頭と末尾を別々に外すと、対応しない形 (`'300,200"`) が中身だけ取り出せてしまう。
+ * 画面側も同じ関数を使う (#1028) = 別々に持つと、片方だけが読める本文ができる。
+ */
+declare function stripQuotes(s: string): string;
+/**
+ * 段に書ける項目の英語名。 `parsePhase` が受け付ける名前の入口でも使う。
+ *
+ * 誤りの案内で使うほか、**見本が値の名前にこの語を使っていないか** を見るのにも使う
+ * (#1330)。 段の項目と値は階層が違うので衝突しないが、同じ語が 2 つの意味で並ぶと
+ * 見本を読む人が階層から意味を判断することになる。
+ */
+declare const PHASE_ITEM_WORDS: readonly ["focus", "badge", "body", "description", "tween", "set", "draw"];
+/**
+ * `draw:` に書ける語と、その語が効く図種 (#1312 / #1314)。
+ *
+ * **語と図種の対応をここ 1 箇所で持つ**。 受ける語の一覧 (`DRAW_WORDS`) も、組み立て側が見る
+ * 図種の一覧 (`DRAWABLE_DOC_TYPES`) も、この表から導く。 3 つを別々に並べると、語を足した時に
+ * どれかが古いまま残る (#1310 / #1304 で 3 度直した形)。
+ *
+ * | 語 | 図種 | 起点 |
+ * |---|---|---|
+ * | `line` | `line` | 左端から右へ線が伸びる |
+ * | `bar` | `bar` | 横軸から上へ棒が伸びる |
+ * | `pie` | `pie` | 12 時から時計回りに扇が開く |
+ * | `journey` | `journey` | 左端から右へ気持ちの線が伸びる |
+ * | `mind` | `mind` | 中心から外へ枝が伸びる |
+ * | `tree` | `tree` | 根から下へ枝が伸びる |
+ * | `gantt` | `gantt` | 各帯の始端から右へ帯が伸びる |
+ * | `funnel` | `funnel` | 上端から順に段が積まれる |
+ *
+ * `quadrant` は入れない。 4 つの区画に項目を置く図で **項目に順序が無く**、起点を決められない
+ * (順番を書いた順で決めると、動きが図の意味を持たない)。
+ *
+ * いまは語と図種が同じ綴りだが、**同じものとして扱わない**。 語は書き手が書く名前で、
+ * 図種は `type:` が取る値。 片方だけ別名を足したくなった時に、対応が表に残っている形にする。
+ */
+declare const DRAW_TARGETS: ReadonlyMap<string, PresetType>;
+/** `draw:` に書ける語。 表から導く (#1314) */
+declare const DRAW_WORDS: ReadonlySet<string>;
 
 /**
  * 位置を他の要素からの相対で書くための解決。
@@ -82,6 +214,17 @@ declare function orderByDependency(items: ReadonlyArray<{
  * docs/cdl/text-dsl-spec.md の文法を AST に変換した中間表現
  */
 
+/**
+ * 記法が書ける箱の種類 (#1420)。
+ *
+ * 描画できる種類 (`NodeKind`) に、**記法だけが持つ種類** (`contract` / `eoa` など) を足す。
+ * 後者は図種ごとの役割分け (`solidity` の縦列の並べ替えなど) に使い、描画側へ渡す手前で
+ * `compile.ts` の `描ける種別` が読み替える。
+ *
+ * `NodeKind` だけに縛っていた間、記法が受ける値を型が表せていなかった。
+ */
+type DslNodeKind = NodeKind | DslOnlyKind;
+
 /**
  * 箱の中に描く図形 (#1374)。 **描画側の型をそのまま使う**。
  *
@@ -90,6 +233,42 @@ declare function orderByDependency(items: ReadonlyArray<{
 type DslDynShape = NonNullable<CdlDiagram["nodes"][number]["shape"]>;
 /** 値を見せる部品 (#1374)。 図形と同じ理由で描画側の型をそのまま使う */
 type DslReadout = NonNullable<CdlDiagram["readouts"]>[number];
+/** 読む人が動かすつまみ (#1389)。 部品と同じ理由で描画側の型をそのまま使う */
+type DslInput = NonNullable<CdlDiagram["inputs"]>[number];
+/** つまみの値から決まる値 (#1391)。 描画側の型に、知らせ用の記述位置だけを足す。 */
+type DslFormula = NonNullable<CdlDiagram["formulas"]>[number] & {
+    pos?: Position;
+};
+/** 巻き上げに応じて進む値 (#1393)。 描画側の型をそのまま使う */
+type DslScrollTrigger = NonNullable<CdlDiagram["scrollTriggers"]>[number];
+/**
+ * 押下などの出来事で動く仕掛け (`events:`、 #1393)。
+ *
+ * **描画側の型をそのまま使わない**。 描画側は相手を識別子で持つ (`{ kind: "node", id }`) が、
+ * 記法は識別子を書けず名前で指す。 名前から識別子への読み替えは組み立てが行うため、
+ * 記法の段階では「何をどう指したか」 だけを持つ。
+ */
+type DslEventBinding = {
+    /** 出来事の種類 (`click` / `hover` など、描画側の `CdlEventKind` と同じ語) */
+    event: NonNullable<CdlDiagram["eventBindings"]>[number]["event"];
+    /** 何を指したか。 名前は記法に書かれたまま持ち、組み立てが識別子へ直す */
+    target: {
+        kind: "node";
+        name: string;
+    } | {
+        kind: "lane";
+        name: string;
+    } | {
+        kind: "edge";
+        from: string;
+        to: string;
+    } | {
+        kind: "diagram";
+    };
+    /** 呼び出す仕掛けの名前。 実体は画面側が持つ */
+    handlerId: string;
+    pos: Position;
+};
 type PresetType = "sequence" | "flow" | "swimlane" | "er" | "state" | "topology" | "solidity" | "gantt" | "class" | "pie" | "bar" | "line" | "funnel" | "tree" | "journey" | "quadrant" | "c4" | "mind";
 type Position = {
     line: number;
@@ -164,6 +343,35 @@ type DslDocument = {
      * 箱ではないので縦列に載らない。 図全体に 1 つの並びとして持つ。
      */
     readouts?: DslReadout[];
+    /**
+     * 読む人が動かすつまみ (`inputs:`、 #1389)。 つまみが握る値は状態と同じ名前で参照できる。
+     *
+     * 部品と同じく箱ではないので縦列に載らない。 図全体に 1 つの並びとして持つ。
+     */
+    inputs?: DslInput[];
+    /**
+     * つまみの値から決まる値 (`formulas:`、 #1391)。
+     *
+     * **`values:` とは経路が別**。 あちらは段が動かす状態を読んで毎 frame 決まり直す
+     * (`derived`) のに対し、こちらはつまみが握る値を読む反応の網に載る (`formulas`)。
+     * 描画側がこの 2 つを別の欄として持つため、記法でも別の項目にする。
+     *
+     * 式は描画側の書き方。 名前は中括弧で囲っても囲わなくてもよい (描画側の parser が
+     * どちらも同じ名前として読む)。
+     */
+    formulas?: DslFormula[];
+    /**
+     * 押下などの出来事で動く仕掛け (`events:`、 #1393)。
+     *
+     * 相手は名前で指す。 組み立てが識別子へ直し、指す先が無ければ知らせる。
+     */
+    events?: DslEventBinding[];
+    /**
+     * 巻き上げに応じて進む値 (`scrolls:`、 #1393)。
+     *
+     * 画面を巻き上げた量から 0 から 1 の進み具合を作る。 描画側はこれを値として読む。
+     */
+    scrolls?: DslScrollTrigger[];
     /**
      * canvas pivot (CAR-1693 Phase 1) diagram-level layout mode。 未指定は "auto" default で
      * catalog 100+ backward compat。 "manual" は Phase 4 で drag → pos: 保存の完全 manual mode。
@@ -185,7 +393,7 @@ type DslAxes = {
 /** 登場人物 (v0.5+ ... inline option 拡張) */
 type DslActor = {
     name: string;
-    kind: NodeKind;
+    kind: DslNodeKind;
     /**
      * 著者が種類を書いたか。 書かなかった時 `kind` には既定の `actor` が入るため、
      * `kind` の値だけでは「書いた `actor`」 と「書かなかった」 を区別できない。
@@ -220,6 +428,29 @@ type DslActor = {
      * それ以外は真。 値だけを見せる図が、場所を空けるためだけの見えない箱を置くのに使う。
      */
     visibleIf?: string;
+    /**
+     * 箱の幅と高さを値に追随させる (`wBind:` / `hBind:`、 #1392)。
+     *
+     * 状態の名前を `{名前}` の形で書く。 配置計算は追随前の `posW` / `posH` を使い、
+     * 描く時だけ値に合わせて伸び縮みする (矢印の通り道が動かないようにするための分離)。
+     */
+    wBind?: string;
+    hBind?: string;
+    /**
+     * 箱の濃さ (`opacity:`、 #1392)。 0 から 1 の数か、状態の名前を書く。
+     *
+     * 書かなければ完全に見える状態になる。 `visibleIf` が出す / 出さないの 2 値なのに対し、
+     * こちらは途中の濃さを持てる。
+     */
+    opacity?: number | string;
+    /**
+     * 描く時だけ箱をずらす量 (`renderOffsetX:` / `renderOffsetY:`、 #1392)。
+     *
+     * 配置計算と矢印はずらす前の位置を使うため、円周上に並べて見せる等の見た目専用。
+     * 数か、状態の名前を書く。
+     */
+    renderOffsetX?: number | string;
+    renderOffsetY?: number | string;
     /**
      * 工程の並び (`type: gantt`) で、その工程の担当 (#1251)。
      *
@@ -351,6 +582,15 @@ type DslStep = {
     /** v0.5+ inline option */
     guard?: string;
     cardinality?: string;
+    /**
+     * 矢印を値に追随させる欄 (`widthBind:` / `strokeBind:` / `dashOffsetBind:`、 #1396)。
+     *
+     * 箱の `wBind` (#1392) と同じ形で、状態やつまみの名前を `{名前}` で書く。
+     * 太さ / 色 / 破線の位置がその値に合わせて動く。 通り道そのものは動かない。
+     */
+    widthBind?: string;
+    strokeBind?: string;
+    dashOffsetBind?: string;
     /** 矢印がどの辺から出るか (#1385)。 書かなければ描画側が自動で選ぶ */
     side?: "top" | "right" | "bottom" | "left";
     labelOffsetX?: number;
@@ -572,7 +812,7 @@ interface CompileToCdlOpts {
 }
 /** 図は出せるが書いた通りにならなかった、 という知らせ。 */
 type CompileNotice = {
-    kind: "relative-position-ignored" | "focus-target-missing" | "state-override-rejected" | "external-paint-dropped" | "part-not-drawn" | "scale-reserved" | "chart-value-unreadable" | "chart-edge-dropped" | "value-shadows-state" | "value-unresolved" | "value-duplicate" | "flow-actor-missing" | "value-trigger-unresolved" | "flow-self-loop" | "lane-not-honored" | "lane-declared-empty" | "eyebrow-not-honored" | "flow-endpoint-not-honored" | "draw-not-honored" | "draw-target-mismatch";
+    kind: "relative-position-ignored" | "focus-target-missing" | "state-override-rejected" | "external-paint-dropped" | "part-not-drawn" | "scale-reserved" | "chart-value-unreadable" | "chart-edge-dropped" | "value-shadows-state" | "value-unresolved" | "value-duplicate" | "flow-actor-missing" | "value-trigger-unresolved" | "flow-self-loop" | "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: string;
     /** 書かれていた行 */
@@ -764,124 +1004,6 @@ declare function partsGridCenters(baseNodeCount: number, items: ReadonlyArray<{
     cy: number;
 }>;
 
-/**
- * Text DSL v0.5 parser
- *
- * 設計方針:
- * - keyword は英語のみ (title / type / actors / flow / states / animation / step / focus / tween / set / badge)
- * - 値の日本語は quote 必須 (`title: "API call"` / `step: "request" 1.5s`)
- * - YAML 風 + 短縮 keyword + 箇条書き構造
- * - Mermaid 知ってる人にもゼロ学習、 非エンジニアにも直感的
- *
- * syntax 例:
- *
- *   title: "API call"
- *   type: sequence
- *
- *   actors:
- *     - Client
- *     - API: function
- *     - DB
- *
- *   flow:
- *     - Client -> API: "GET /items"
- *     - API -> DB: "SELECT" (success)
- *
- *   states:
- *     request_count: 0
- *     row_count: 0
- *
- *   animation:
- *     - step: "request" 1.5s
- *       focus: [Client, API]
- *       tween:
- *         request_count: 0 -> 1
- *       badge: "request"
- *
- *     - step: "query" 1.5s
- *       focus: [API, DB]
- *       tween:
- *         row_count: 0 -> 20
- *       badge: "query"
- *
- * 出力は v0.4 と同じ DslDocument。 既存 compile.ts で CdlDiagram に変換できる。
- */
-
-type V05ParseResult = {
-    ok: true;
-    doc: DslDocument;
-} | {
-    ok: false;
-    errors: DslError[];
-};
-/**
- * 記法が受ける top-level の項目 (#1190)。
- *
- * 読めない行の案内と、記法一覧が全て載せているかの検査が、どちらもここを見る。 一覧に手で
- * 書くと、項目を足した時に案内か一覧のどちらかが取り残される (実際に `states` / `values` が
- * 一覧に 1 件も無い状態で放置されていた)。
- */
-declare const TOP_LEVEL_KEYS: readonly ["title", "type", "actors", "flow", "states", "values", "animation", "viewport", "lanes", "groups", "eyebrow", "axes", "readouts"];
-/** 受け付ける図種。 記法一覧はここを見る。 */
-declare const PRESET_TYPES: ReadonlySet<PresetType>;
-/**
- * 受け付ける箱の種類。 描画できる種類 (cdl の `NODE_KINDS`) に、 記法だけが持つ種類を足す。
- *
- * 以前は手書きの 31 種だった。 描画できる 90 種のうち 78 種が記法から書けず、 部品名として
- * 扱われて「そんな部品は無い」 と警告が出るだけだった。 描画側を出所に加えることで
- * 「描画できるものは書ける」 が成立する。
- */
-/**
- * 記法が受理する種類の全体。 これに載っていない種類は見本 (パーツ) の候補になる。
- *
- * 画面側が「本文が見本を使っているか」 を判定するのに使う (#1022)。 手書きの一覧を
- * 別に持つと、種類が増えた時にそちらだけ取り残されて余分な読み込みが起きる。
- */
-declare const NODE_KIND_VALID: ReadonlySet<string>;
-declare function parseTextDslV05(src: string): V05ParseResult;
-/**
- * 対応する引用符だけを外す。
- *
- * 先頭と末尾を別々に外すと、対応しない形 (`'300,200"`) が中身だけ取り出せてしまう。
- * 画面側も同じ関数を使う (#1028) = 別々に持つと、片方だけが読める本文ができる。
- */
-declare function stripQuotes(s: string): string;
-/**
- * 段に書ける項目の英語名。 `parsePhase` が受け付ける名前の入口でも使う。
- *
- * 誤りの案内で使うほか、**見本が値の名前にこの語を使っていないか** を見るのにも使う
- * (#1330)。 段の項目と値は階層が違うので衝突しないが、同じ語が 2 つの意味で並ぶと
- * 見本を読む人が階層から意味を判断することになる。
- */
-declare const PHASE_ITEM_WORDS: readonly ["focus", "badge", "body", "description", "tween", "set", "draw"];
-/**
- * `draw:` に書ける語と、その語が効く図種 (#1312 / #1314)。
- *
- * **語と図種の対応をここ 1 箇所で持つ**。 受ける語の一覧 (`DRAW_WORDS`) も、組み立て側が見る
- * 図種の一覧 (`DRAWABLE_DOC_TYPES`) も、この表から導く。 3 つを別々に並べると、語を足した時に
- * どれかが古いまま残る (#1310 / #1304 で 3 度直した形)。
- *
- * | 語 | 図種 | 起点 |
- * |---|---|---|
- * | `line` | `line` | 左端から右へ線が伸びる |
- * | `bar` | `bar` | 横軸から上へ棒が伸びる |
- * | `pie` | `pie` | 12 時から時計回りに扇が開く |
- * | `journey` | `journey` | 左端から右へ気持ちの線が伸びる |
- * | `mind` | `mind` | 中心から外へ枝が伸びる |
- * | `tree` | `tree` | 根から下へ枝が伸びる |
- * | `gantt` | `gantt` | 各帯の始端から右へ帯が伸びる |
- * | `funnel` | `funnel` | 上端から順に段が積まれる |
- *
- * `quadrant` は入れない。 4 つの区画に項目を置く図で **項目に順序が無く**、起点を決められない
- * (順番を書いた順で決めると、動きが図の意味を持たない)。
- *
- * いまは語と図種が同じ綴りだが、**同じものとして扱わない**。 語は書き手が書く名前で、
- * 図種は `type:` が取る値。 片方だけ別名を足したくなった時に、対応が表に残っている形にする。
- */
-declare const DRAW_TARGETS: ReadonlyMap<string, PresetType>;
-/** `draw:` に書ける語。 表から導く (#1314) */
-declare const DRAW_WORDS: ReadonlySet<string>;
-
 /**
  * Text DSL i18n キーワード一覧
  * 日本語 / 英語両対応 (大文字小文字無視)
@@ -1071,11 +1193,13 @@ type StrippedPaint = {
 /**
  * 図の中から、 色を塗る位置に入った外部参照を落とす。
  *
- * 対象は 2 種類ある。
+ * 対象は 3 種類ある。
  *
  * - 色を塗る key (`fill` / `stroke` / `bg` 等) の値
  * - 状態の値 (`states[].initial` と、 phase が状態へ入れる値)。 状態は `{名前}` の形で
  *   `fill` に差し込まれるため、 色を塗る位置に届く
+ * - つまみの値 (`inputs[].defaultValue` / `defaultValues` / `options`)。 これらも状態を上書きし、
+ *   同じ形で paint に届く
  *
  * 説明文 (`title` / `subtitle` / `value` / `rows`) は対象外。 文字として出るだけで
  * 属性にはならないため、 URL を書く正当な用途を壊さない。
@@ -1269,6 +1393,38 @@ interface DragonJson {
      * 箱ではないので縦列に載らない。 図全体に 1 つの並びとして持つ。
      */
     readouts?: DslReadout[];
+    /**
+     * 読む人が動かすつまみ (optional、 #1389)。 記法の最上位 `inputs:` と同じ。
+     *
+     * 部品と同じく箱ではないので縦列に載らない。 図全体に 1 つの並びとして持つ。
+     */
+    inputs?: DslInput[];
+    /**
+     * つまみの値から決まる値 (optional、 #1391)。 記法の最上位 `formulas:` と同じ。
+     *
+     * 形は `{ 名前: "式" }`。 `values:` と経路が別で、式は名前を中括弧で囲わない。
+     */
+    formulas?: Record<string, string>;
+    /**
+     * 押下などの出来事で動く仕掛け (optional、 #1393)。 記法の最上位 `events:` と同じ。
+     *
+     * 相手は名前で指す (`box` / `lane` / `arrow` / `diagram` のどれか 1 つ)。
+     */
+    events?: {
+        on: string;
+        handler: string;
+        box?: string;
+        lane?: string;
+        arrow?: string;
+        diagram?: boolean;
+    }[];
+    /** 巻き上げに応じて進む値 (optional、 #1393)。 記法の最上位 `scrolls:` と同じ */
+    scrolls?: Record<string, {
+        start?: number;
+        end?: number;
+        scrub?: number;
+        label?: string;
+    }>;
     /**
      * 状態の初期値 (optional)。 記法の `states:` と同じ (#1181)。
      *
@@ -1333,6 +1489,17 @@ interface JsonActor {
      * 箱に出す題 (optional、 #1381)。 記法の `title:` と同じ。
      */
     title?: string;
+    /**
+     * 値に追随する 5 欄 (optional、 #1392)。 記法の `wBind:` / `hBind:` / `opacity:` /
+     * `renderOffsetX:` / `renderOffsetY:` と同じ。
+     *
+     * 大きさは文字列だけ (数を書いても追随のしようが無い)、濃さとずらしは数も受ける。
+     */
+    wBind?: string;
+    hBind?: string;
+    opacity?: number | string;
+    renderOffsetX?: number | string;
+    renderOffsetY?: number | string;
     /**
      * CAR-1657 unified syntax = 既存 NodeKind (28 個) に加えて parts identifier (arc-gauge 等) を
      * accept する。 未知 kind 値は parts 候補として partId に格納、 compile 側 partsCatalog で解決。
@@ -1454,6 +1621,13 @@ interface JsonStep {
     style?: EdgeStyle;
     guard?: string;
     cardinality?: string;
+    /**
+     * 矢印を値に追随させる 3 欄 (optional、 #1396)。 記法の `widthBind:` / `strokeBind:` /
+     * `dashOffsetBind:` と同じ。 描画側は文字列だけを取る。
+     */
+    widthBind?: string;
+    strokeBind?: string;
+    dashOffsetBind?: string;
     labelOffsetX?: number;
     labelOffsetY?: number;
     /** true で説明文を矢印の線の上に重ねる。 分岐図の条件ラベル用。 */
@@ -1860,6 +2034,36 @@ declare const diagramJsonSchema: {
                                 required?: undefined;
                             })[];
                         };
+                        wBind: {
+                            type: string;
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                        hBind: {
+                            type: string;
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                        opacity: {
+                            type: string[];
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                        renderOffsetX: {
+                            type: string[];
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
+                        renderOffsetY: {
+                            type: string[];
+                            minLength: number;
+                            pattern: string;
+                            description: string;
+                        };
                     };
                     description?: undefined;
                 })[];
@@ -1938,6 +2142,24 @@ declare const diagramJsonSchema: {
                             };
                         };
                     };
+                    widthBind: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
+                    strokeBind: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
+                    dashOffsetBind: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
                 };
             };
         };
@@ -2527,6 +2749,208 @@ declare const diagramJsonSchema: {
                 })[];
             };
         };
+        inputs: {
+            type: string;
+            description: string;
+            items: {
+                type: string;
+                required: string[];
+                additionalProperties: boolean;
+                properties: {
+                    id: {
+                        type: string;
+                        minLength: number;
+                    };
+                    kind: {
+                        type: string;
+                        enum: string[];
+                    };
+                    autoplay: {
+                        type: string;
+                    };
+                    defaultHi: {
+                        type: string;
+                    };
+                    defaultLo: {
+                        type: string;
+                    };
+                    defaultSpeedIdx: {
+                        type: string;
+                    };
+                    defaultValue: {
+                        type: string[];
+                    };
+                    defaultValues: {
+                        type: string;
+                        items: {
+                            type: string;
+                        };
+                    };
+                    defaultX: {
+                        type: string;
+                    };
+                    defaultY: {
+                        type: string;
+                    };
+                    duration: {
+                        type: string;
+                    };
+                    label: {
+                        type: string;
+                    };
+                    loop: {
+                        type: string;
+                    };
+                    max: {
+                        type: string;
+                    };
+                    maxLength: {
+                        type: string;
+                    };
+                    min: {
+                        type: string;
+                    };
+                    options: {
+                        type: string;
+                        items: {
+                            type: string;
+                        };
+                    };
+                    placeholder: {
+                        type: string;
+                    };
+                    speeds: {
+                        type: string;
+                        items: {
+                            type: string;
+                        };
+                    };
+                    step: {
+                        type: string;
+                    };
+                    xMax: {
+                        type: string;
+                    };
+                    xMin: {
+                        type: string;
+                    };
+                    yMax: {
+                        type: string;
+                    };
+                    yMin: {
+                        type: string;
+                    };
+                };
+                oneOf: ({
+                    properties: {
+                        kind: {
+                            enum: string[];
+                        };
+                        defaultValue: {
+                            type: string;
+                        };
+                    };
+                    required: string[];
+                } | {
+                    properties: {
+                        kind: {
+                            enum: string[];
+                        };
+                        defaultValue?: undefined;
+                    };
+                    required: string[];
+                })[];
+            };
+        };
+        formulas: {
+            type: string;
+            description: string;
+            additionalProperties: {
+                type: string;
+                minLength: number;
+                pattern: string;
+            };
+            propertyNames: {
+                pattern: string;
+            };
+        };
+        events: {
+            type: string;
+            description: string;
+            items: {
+                type: string;
+                required: string[];
+                additionalProperties: boolean;
+                properties: {
+                    on: {
+                        type: string;
+                        enum: string[];
+                    };
+                    handler: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                    };
+                    box: {
+                        type: string;
+                        minLength: number;
+                        description: string;
+                    };
+                    lane: {
+                        type: string;
+                        minLength: number;
+                        description: string;
+                    };
+                    arrow: {
+                        type: string;
+                        minLength: number;
+                        pattern: string;
+                        description: string;
+                    };
+                    diagram: {
+                        const: boolean;
+                        description: string;
+                    };
+                };
+                oneOf: {
+                    required: string[];
+                }[];
+            };
+        };
+        scrolls: {
+            type: string;
+            description: string;
+            propertyNames: {
+                pattern: string;
+            };
+            additionalProperties: {
+                type: string;
+                additionalProperties: boolean;
+                properties: {
+                    start: {
+                        type: string;
+                        minimum: number;
+                        maximum: number;
+                        description: string;
+                    };
+                    end: {
+                        type: string;
+                        minimum: number;
+                        maximum: number;
+                        description: string;
+                    };
+                    scrub: {
+                        type: string;
+                        minimum: number;
+                        maximum: number;
+                        description: string;
+                    };
+                    label: {
+                        type: string;
+                    };
+                };
+            };
+        };
     };
 };