@yanqirenshi/model.tm 0.0.0-stage → 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2018-2026 Satoshi Iwasaki (yanqirenshi@gmail.com)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -1,3 +1,144 @@
-# Temporary Holding Version
+# @yanqirenshi/model.tm
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+TM(T字形ER手法)の図の**図ごとの知識**を、描画(view = `d3.ter`)から独立させたパッケージです。
+react / d3 に依存しない、純粋なデータと関数だけを持ちます。
+d3.ter は、このパッケージの種別バッジ・配色・端点の角度の既定を読みます。
+
+| 持つもの | 入口 |
+|---|---|
+| 入力データのスキーマ(JSON Schema 2020-12) | `SCHEMAS.identifiers` / `.attributes` / `.entities` / `.relationships` |
+| コレクションをまたぐ整合性ルール(id の重複・参照先・TM の結線の規則) | `check(data)` |
+| view が既定で使う値 | `withDefaults(record)` / `entityWithDefaults` / `relationshipWithDefaults`、`TYPE_BADGES` / `TYPE_COLORS` |
+| 編集できる項目の一覧(インスペクタ用) | `fieldsOf(record, collection?)` |
+| UI の操作を保存する patch に変える変換 | `movePatch(entity, move)` / `applyPatch(record, values, collection?)` |
+
+利用側(iHub など)は、モデルが返す `{ collection, id, patch }` を保存するだけで、図の種類を知らずに書けます。
+
+## 位置づけ
+
+```
+利用側 ──▶ d3.ter (view) ──▶ model.tm   (種別バッジ・配色・角度の既定を読む)
+     ──▶ colonoscope (ModelInspector)
+     ──▶ model.tm
+     ──▶ 自前の永続化
+```
+
+model.tm・colonoscope の間に横の依存はありません。組み合わせるのは利用側だけです。
+これは [Foolsgolds/Assholes#138](https://github.com/Foolsgolds/Assholes/issues/138) の派生([#144](https://github.com/Foolsgolds/Assholes/issues/144))です。
+レコードの形は [model.er](../model.er) と同じ階層形式で、TM 固有の項目(エンティティの `type`、関係の `subset` / `mapping` / `label`)が足されています。
+
+## レコードの形
+
+d3.ter の `data()` に渡す入力そのものです。
+
+```js
+{
+  identifiers:   [{ id, name, description }],                                   // name は文字列でも { logical, physical } でも
+  attributes:    [{ id, name, description }],
+  entities:      [{ id, type, name, description,                                // type は 10 種(ENTITY_TYPES)
+                    position: { x, y }, size: { w, h },                         // size の 0 は「内容に合わせる」
+                    identifiers: [{ id, identifier, name?, description? }],      // identifier は identifiers[].id
+                    attributes:  [{ id, attribute, name?, description? }] }],    // attribute は attributes[].id
+  relationships: [{ id, type, label,
+                    from: { entity, cardinality, optionality, position },       // 1|3, 0|1(無ければ記号を描かない), 角度(0=真下・時計回り)
+                    to:   { entity, cardinality, optionality, position },
+                    details: [{ from: { id }, to: { id } }],                     // 線を取り付けるインスタンス
+                    subset:  { kind: 'same' | 'different', code },               // サブセット結線の区分コード(= / ×)
+                    mapping: { entity } }],                                      // 中点から垂下する対応表・対照表・再帰表
+}
+```
+
+## 使い方
+
+```js
+import D3Ter, { Rectum } from '@yanqirenshi/d3.ter';
+import { ModelInspector } from '@yanqirenshi/colonoscope';
+import {
+  check, fieldsOf, titleOf, withDefaults, movePatch, applyPatch, mergePatch, findById, ModelError,
+} from '@yanqirenshi/model.tm';
+
+const errors = check(data);          // [] なら問題なし
+
+const rectum = new Rectum({
+  callbacks: {
+    entity: {
+      // ドラッグの終わり → 位置の patch(core は entities[] の要素)
+      dragend: (core, entity, move) => save(movePatch(core, move)),
+      //  → { collection: 'entities', id: 30000, patch: { position: { x: 120, y: 40 } } }
+      contextmenu: (d) => setTarget({ collection: 'entities', id: d._core.id }),
+    },
+    // 識別子・属性の行 → その行が参照するマスタ(d._master._core)
+    identifier: { contextmenu: (d) => setTarget({ collection: 'identifiers', id: d._master._core.id }) },
+    attribute:  { contextmenu: (d) => setTarget({ collection: 'attributes',  id: d._master._core.id }) },
+    relationship: { click: (d) => setTarget({ collection: 'relationships', id: d._core.id }) },
+  },
+});
+
+const record = findById(data[target.collection], target.id);
+<ModelInspector
+  target={record && withDefaults(record)}
+  fields={(t) => fieldsOf(t, target.collection)}
+  title={titleOf}
+  onApply={(values) => {
+    try {
+      save(applyPatch(record, values, target.collection));   // 変えた項目だけが patch に入る
+    } catch (e) {
+      if (e instanceof ModelError) alert(e.message);           // 利用者向けの日本語
+    }
+  }}
+/>
+```
+
+### `applyPatch` の検証
+
+| 項目 | 規則 |
+|---|---|
+| 名称(`name` / `name.logical`) | 空にできない |
+| 物理名・説明・種類・ラベル | 空にすると項目を除く(`null` — JSON Merge Patch) |
+| 種別(`type`) | 10 種のどれか(`ENTITY_TYPES`) |
+| 幅・高さ | 0 以上。整数に丸める(0 で内容に合わせる) |
+| 接続位置(角度) | 数。0 以上 360 未満の整数に正規化 |
+| カーディナリティ・オプショナリティ | `1` / `3`、`0` / `1`(数に戻す)。**空にすると除く**(記号を描かない) |
+| サブセットの区分 | `same` / `different`。区分コードを空にすると `subset` ごと除く。コード無しで区分だけは作れない |
+
+図に描いている値(`withDefaults` の結果)から**変えた項目だけ**を patch に入れます。
+マスタ(識別子・属性)は形から区別できないので `collection` が要ります(無ければ使い方の誤りとして `Error`)。
+
+### 編集できる項目(`fieldsOf`)
+
+- 名前: `name` が文字列なら「名称」1 項目、`{ logical, physical }` なら「論理名」「物理名」の 2 項目
+- エンティティ: 名前・種別・ID・説明・幅・高さ
+- 関係: ID・種類・ラベル・接続元 / 接続先のエンティティと角度・カーディナリティ・オプショナリティ・サブセットの区分 / 区分コード・垂下する表・説明
+- マスタ: 名前・説明・ID
+
+エンティティのインスタンス(識別子・属性の行)は `entities[]` の入れ子で、JSON Merge Patch では 1 要素を指せないので編集の対象にしていません(行を右クリックしたときはマスタを開きます)。
+
+### 整合性ルール(`check`)
+
+iHub の `checkTm` と同じ検査(文言も同じ)に、d3.ter がデータ構築時に例外にしている規則を足しています。
+
+- 各コレクションの id の重複、エンティティのインスタンスの id の重複(全エンティティを通して)
+- `type` が 10 種のどれか
+- `identifier` / `attribute` がマスタにある、`from.entity` / `to.entity` がエンティティにある
+- 端点の旧 `id`(あれば)がその端の識別子に、`details[].from.id` / `to.id` が識別子・属性にある
+- `mapping.entity` がエンティティにあり、種別が対応表・対照表・再帰表のどれか。再帰表は自己結線にだけ
+- CLASS 同士は結線できず、CLASS は切り出し元(親 = クラスの識別子のマスタを持つ側)としか結線できない
+
+## スコープ外(いまは持たない)
+
+- インスタンス(識別子・属性の行)の追加・削除・名前の上書き、`details` の編集
+- 「コレクション → view の入力」の変換(iHub の `buildTmData` のようなもの)
+- ファイル・HTTP などの永続化(利用側の実装)
+
+## 配布形式
+
+ESM(`dist/`)に加えて CommonJS 版(`dist/cjs/`)も出します。
+Babel 系の `d3.ter` を jest(CommonJS)でテストするためで、d3.ter の jest が ESM を読めるようになったら外せます。
+
+## コマンド
+
+```bash
+npm run build     -w @yanqirenshi/model.tm   # tsc で dist/(ESM + d.ts)と dist/cjs/(CommonJS)へビルド
+npm run typecheck -w @yanqirenshi/model.tm
+npm test          -w @yanqirenshi/model.tm   # vitest(d3.ter が model.tm を読んでいることの確認を含む)
+```

package/dist/check.d.ts

@@ -0,0 +1,18 @@
+import type { TmGraph, TmId, TmRecord } from './types.js';
+/**
+ * 図全体を検査する。
+ *   - identifiers / attributes / entities / relationships の id が、それぞれのコレクションの中で重複していない
+ *   - エンティティのインスタンス(identifiers[] / attributes[] の行)の id が、全エンティティを通して重複していない
+ *   - entities[].type が 10 種のどれか
+ *   - entities[].identifiers[].identifier が identifiers に、attributes[].attribute が attributes にある
+ *   - relationships[].from.entity / to.entity がエンティティにある
+ *   - 端点の旧 id(あれば)がその端のエンティティの識別子に、details[].from.id / to.id が識別子・属性にある
+ *   - mapping.entity がエンティティにあり、種別が対応表・対照表・再帰表のどれか。再帰表は自己結線にだけ
+ *   - CLASS 同士は結線できず、CLASS は切り出し元(親 = クラスの識別子のマスタを持つ側)としか結線できない
+ *
+ * @param prefix メッセージのコレクション名の前に付ける文字列(例: 'tm/')
+ */
+export declare function check(data: TmGraph, prefix?: string): string[];
+/** コレクションの中からレコードを id で探す(無ければ null) */
+export declare function findById<T extends TmRecord>(list: readonly T[] | undefined, id: TmId): T | null;
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAkB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAqB1E;;;;;;;;;;;;GAYG;AACH,wBAAgB,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,SAAK,GAAG,MAAM,EAAE,CAuF1D;AAED,wCAAwC;AACxC,wBAAgB,QAAQ,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,EAAE,EAAE,EAAE,IAAI,GAAG,CAAC,GAAG,IAAI,CAE/F"}

package/dist/check.js

@@ -0,0 +1,107 @@
+// コレクションをまたぐ整合性の検査(id の重複・参照先の存在・TM の結線の規則)。
+// スキーマ(schema.ts)に合っているデータを渡す。戻り値はエラーのメッセージの配列(空なら問題なし)。
+//
+// iHub の server/validation/rules.mjs の checkTm を移したもの(文言も同じ)。
+// それに加えて、d3.ter がデータ構築時に例外にしている規則(Rectum.assertClassLink / resolveMapping と
+// Entity.entityTypeContents)も検査する。描く前に分かるほうがよい知識で、d3.ter 側の例外は残る。
+//
+// メッセージの先頭はコレクション名で、prefix を渡すと 'tm/entities: ...' のように付けられる。
+import { MAPPING_TYPES, isEntityType } from './defaults.js';
+// list の中で id が重複していればエラーにする。id の集合を返す。
+function checkUnique(errors, label, list) {
+    const values = new Set();
+    for (const d of list) {
+        if (values.has(d.id))
+            errors.push(`${label}: id が重複しています。(id=${String(d.id)})`);
+        values.add(d.id);
+    }
+    return values;
+}
+// エンティティが持つ識別子のマスタの集合(CLASS の親判定に使う)
+function identifierMasters(entity) {
+    return new Set((entity.identifiers || []).map(d => d.identifier));
+}
+/**
+ * 図全体を検査する。
+ *   - identifiers / attributes / entities / relationships の id が、それぞれのコレクションの中で重複していない
+ *   - エンティティのインスタンス(identifiers[] / attributes[] の行)の id が、全エンティティを通して重複していない
+ *   - entities[].type が 10 種のどれか
+ *   - entities[].identifiers[].identifier が identifiers に、attributes[].attribute が attributes にある
+ *   - relationships[].from.entity / to.entity がエンティティにある
+ *   - 端点の旧 id(あれば)がその端のエンティティの識別子に、details[].from.id / to.id が識別子・属性にある
+ *   - mapping.entity がエンティティにあり、種別が対応表・対照表・再帰表のどれか。再帰表は自己結線にだけ
+ *   - CLASS 同士は結線できず、CLASS は切り出し元(親 = クラスの識別子のマスタを持つ側)としか結線できない
+ *
+ * @param prefix メッセージのコレクション名の前に付ける文字列(例: 'tm/')
+ */
+export function check(data, prefix = '') {
+    const errors = [];
+    const identifiers = data.identifiers || [];
+    const attributes = data.attributes || [];
+    const entities = data.entities || [];
+    const relationships = data.relationships || [];
+    const identifier_ids = checkUnique(errors, `${prefix}identifiers`, identifiers);
+    const attribute_ids = checkUnique(errors, `${prefix}attributes`, attributes);
+    checkUnique(errors, `${prefix}entities`, entities);
+    checkUnique(errors, `${prefix}relationships`, relationships);
+    // インスタンスの id は、エンティティをまたいで一意にする(d3.ter はインスタンスを id だけで探すため)
+    checkUnique(errors, `${prefix}entities の identifiers・attributes`, entities.flatMap(e => [...(e.identifiers || []), ...(e.attributes || [])]));
+    for (const e of entities) {
+        if (!isEntityType(e.type))
+            errors.push(`${prefix}entities: type が種別のどれでもありません。(id=${String(e.id)}, type=${String(e.type)})`);
+        for (const d of e.identifiers || [])
+            if (!identifier_ids.has(d.identifier))
+                errors.push(`${prefix}entities: identifier が identifiers に見つかりません。(entity=${String(e.id)}, id=${String(d.id)}, identifier=${String(d.identifier)})`);
+        for (const d of e.attributes || [])
+            if (!attribute_ids.has(d.attribute))
+                errors.push(`${prefix}entities: attribute が attributes に見つかりません。(entity=${String(e.id)}, id=${String(d.id)}, attribute=${String(d.attribute)})`);
+    }
+    const index = new Map(entities.map(e => [e.id, e]));
+    for (const r of relationships) {
+        const ends = {};
+        for (const end of ['from', 'to']) {
+            const entity = index.get(r[end]?.entity);
+            if (!entity) {
+                errors.push(`${prefix}relationships: ${end}.entity のエンティティが見つかりません。(id=${String(r.id)}, entity=${String(r[end]?.entity)})`);
+                continue;
+            }
+            ends[end] = entity;
+            const identifiers_of = entity.identifiers || [];
+            const instances = [...identifiers_of, ...(entity.attributes || [])];
+            if (r[end].id !== undefined && !identifiers_of.some(d => d.id === r[end].id))
+                errors.push(`${prefix}relationships: ${end}.id がエンティティの識別子に見つかりません。(id=${String(r.id)}, entity=${String(entity.id)}, ${end}.id=${String(r[end].id)})`);
+            for (const detail of r.details || [])
+                if (!instances.some(d => d.id === detail[end]?.id))
+                    errors.push(`${prefix}relationships: details の ${end}.id がエンティティの識別子・属性に見つかりません。(id=${String(r.id)}, entity=${String(entity.id)}, ${end}.id=${String(detail[end]?.id)})`);
+        }
+        if (r.mapping) {
+            const target = index.get(r.mapping.entity);
+            if (!target)
+                errors.push(`${prefix}relationships: mapping.entity のエンティティが見つかりません。(id=${String(r.id)}, entity=${String(r.mapping.entity)})`);
+            else if (!MAPPING_TYPES.includes(target.type))
+                errors.push(`${prefix}relationships: mapping に指定できるのは対応表 (CORRESPONDENCE)・対照表 (COMPARATIVE)・再帰表 (RECURSION) だけです。(id=${String(r.id)}, entity=${String(target.id)}, type=${String(target.type)})`);
+            else if (target.type === 'RECURSION' && r.from.entity !== r.to.entity)
+                errors.push(`${prefix}relationships: 再帰表 (RECURSION) は自己結線 (from と to が同じエンティティ) にだけ指定できます。(id=${String(r.id)}, from=${String(r.from.entity)}, to=${String(r.to.entity)})`);
+        }
+        // TM の「クラス」は切り出し元(親)としか結線できない(d3.ter の Rectum.assertClassLink と同じ判定)
+        const from = ends.from;
+        const to = ends.to;
+        if (from && to && (from.type === 'CLASS' || to.type === 'CLASS')) {
+            if (from.type === 'CLASS' && to.type === 'CLASS') {
+                errors.push(`${prefix}relationships: クラス (CLASS) 同士は結線できません。(id=${String(r.id)})`);
+            }
+            else {
+                const klass = from.type === 'CLASS' ? from : to;
+                const other = from.type === 'CLASS' ? to : from;
+                const masters = identifierMasters(klass);
+                if (!(other.identifiers || []).some(d => masters.has(d.identifier)))
+                    errors.push(`${prefix}relationships: クラス (CLASS) は切り出し元 (親) としか結線できません。(id=${String(r.id)}, entity=${String(other.id)})`);
+            }
+        }
+    }
+    return errors;
+}
+/** コレクションの中からレコードを id で探す(無ければ null) */
+export function findById(list, id) {
+    return (list || []).find(d => d.id === id) || null;
+}

package/dist/cjs/check.js

@@ -0,0 +1,111 @@
+"use strict";
+// コレクションをまたぐ整合性の検査(id の重複・参照先の存在・TM の結線の規則)。
+// スキーマ(schema.ts)に合っているデータを渡す。戻り値はエラーのメッセージの配列(空なら問題なし)。
+//
+// iHub の server/validation/rules.mjs の checkTm を移したもの(文言も同じ)。
+// それに加えて、d3.ter がデータ構築時に例外にしている規則(Rectum.assertClassLink / resolveMapping と
+// Entity.entityTypeContents)も検査する。描く前に分かるほうがよい知識で、d3.ter 側の例外は残る。
+//
+// メッセージの先頭はコレクション名で、prefix を渡すと 'tm/entities: ...' のように付けられる。
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.check = check;
+exports.findById = findById;
+const defaults_js_1 = require("./defaults.js");
+// list の中で id が重複していればエラーにする。id の集合を返す。
+function checkUnique(errors, label, list) {
+    const values = new Set();
+    for (const d of list) {
+        if (values.has(d.id))
+            errors.push(`${label}: id が重複しています。(id=${String(d.id)})`);
+        values.add(d.id);
+    }
+    return values;
+}
+// エンティティが持つ識別子のマスタの集合(CLASS の親判定に使う)
+function identifierMasters(entity) {
+    return new Set((entity.identifiers || []).map(d => d.identifier));
+}
+/**
+ * 図全体を検査する。
+ *   - identifiers / attributes / entities / relationships の id が、それぞれのコレクションの中で重複していない
+ *   - エンティティのインスタンス(identifiers[] / attributes[] の行)の id が、全エンティティを通して重複していない
+ *   - entities[].type が 10 種のどれか
+ *   - entities[].identifiers[].identifier が identifiers に、attributes[].attribute が attributes にある
+ *   - relationships[].from.entity / to.entity がエンティティにある
+ *   - 端点の旧 id(あれば)がその端のエンティティの識別子に、details[].from.id / to.id が識別子・属性にある
+ *   - mapping.entity がエンティティにあり、種別が対応表・対照表・再帰表のどれか。再帰表は自己結線にだけ
+ *   - CLASS 同士は結線できず、CLASS は切り出し元(親 = クラスの識別子のマスタを持つ側)としか結線できない
+ *
+ * @param prefix メッセージのコレクション名の前に付ける文字列(例: 'tm/')
+ */
+function check(data, prefix = '') {
+    const errors = [];
+    const identifiers = data.identifiers || [];
+    const attributes = data.attributes || [];
+    const entities = data.entities || [];
+    const relationships = data.relationships || [];
+    const identifier_ids = checkUnique(errors, `${prefix}identifiers`, identifiers);
+    const attribute_ids = checkUnique(errors, `${prefix}attributes`, attributes);
+    checkUnique(errors, `${prefix}entities`, entities);
+    checkUnique(errors, `${prefix}relationships`, relationships);
+    // インスタンスの id は、エンティティをまたいで一意にする(d3.ter はインスタンスを id だけで探すため)
+    checkUnique(errors, `${prefix}entities の identifiers・attributes`, entities.flatMap(e => [...(e.identifiers || []), ...(e.attributes || [])]));
+    for (const e of entities) {
+        if (!(0, defaults_js_1.isEntityType)(e.type))
+            errors.push(`${prefix}entities: type が種別のどれでもありません。(id=${String(e.id)}, type=${String(e.type)})`);
+        for (const d of e.identifiers || [])
+            if (!identifier_ids.has(d.identifier))
+                errors.push(`${prefix}entities: identifier が identifiers に見つかりません。(entity=${String(e.id)}, id=${String(d.id)}, identifier=${String(d.identifier)})`);
+        for (const d of e.attributes || [])
+            if (!attribute_ids.has(d.attribute))
+                errors.push(`${prefix}entities: attribute が attributes に見つかりません。(entity=${String(e.id)}, id=${String(d.id)}, attribute=${String(d.attribute)})`);
+    }
+    const index = new Map(entities.map(e => [e.id, e]));
+    for (const r of relationships) {
+        const ends = {};
+        for (const end of ['from', 'to']) {
+            const entity = index.get(r[end]?.entity);
+            if (!entity) {
+                errors.push(`${prefix}relationships: ${end}.entity のエンティティが見つかりません。(id=${String(r.id)}, entity=${String(r[end]?.entity)})`);
+                continue;
+            }
+            ends[end] = entity;
+            const identifiers_of = entity.identifiers || [];
+            const instances = [...identifiers_of, ...(entity.attributes || [])];
+            if (r[end].id !== undefined && !identifiers_of.some(d => d.id === r[end].id))
+                errors.push(`${prefix}relationships: ${end}.id がエンティティの識別子に見つかりません。(id=${String(r.id)}, entity=${String(entity.id)}, ${end}.id=${String(r[end].id)})`);
+            for (const detail of r.details || [])
+                if (!instances.some(d => d.id === detail[end]?.id))
+                    errors.push(`${prefix}relationships: details の ${end}.id がエンティティの識別子・属性に見つかりません。(id=${String(r.id)}, entity=${String(entity.id)}, ${end}.id=${String(detail[end]?.id)})`);
+        }
+        if (r.mapping) {
+            const target = index.get(r.mapping.entity);
+            if (!target)
+                errors.push(`${prefix}relationships: mapping.entity のエンティティが見つかりません。(id=${String(r.id)}, entity=${String(r.mapping.entity)})`);
+            else if (!defaults_js_1.MAPPING_TYPES.includes(target.type))
+                errors.push(`${prefix}relationships: mapping に指定できるのは対応表 (CORRESPONDENCE)・対照表 (COMPARATIVE)・再帰表 (RECURSION) だけです。(id=${String(r.id)}, entity=${String(target.id)}, type=${String(target.type)})`);
+            else if (target.type === 'RECURSION' && r.from.entity !== r.to.entity)
+                errors.push(`${prefix}relationships: 再帰表 (RECURSION) は自己結線 (from と to が同じエンティティ) にだけ指定できます。(id=${String(r.id)}, from=${String(r.from.entity)}, to=${String(r.to.entity)})`);
+        }
+        // TM の「クラス」は切り出し元(親)としか結線できない(d3.ter の Rectum.assertClassLink と同じ判定)
+        const from = ends.from;
+        const to = ends.to;
+        if (from && to && (from.type === 'CLASS' || to.type === 'CLASS')) {
+            if (from.type === 'CLASS' && to.type === 'CLASS') {
+                errors.push(`${prefix}relationships: クラス (CLASS) 同士は結線できません。(id=${String(r.id)})`);
+            }
+            else {
+                const klass = from.type === 'CLASS' ? from : to;
+                const other = from.type === 'CLASS' ? to : from;
+                const masters = identifierMasters(klass);
+                if (!(other.identifiers || []).some(d => masters.has(d.identifier)))
+                    errors.push(`${prefix}relationships: クラス (CLASS) は切り出し元 (親) としか結線できません。(id=${String(r.id)}, entity=${String(other.id)})`);
+            }
+        }
+    }
+    return errors;
+}
+/** コレクションの中からレコードを id で探す(無ければ null) */
+function findById(list, id) {
+    return (list || []).find(d => d.id === id) || null;
+}

package/dist/cjs/defaults.js

@@ -0,0 +1,145 @@
+"use strict";
+// 「書いていない項目」に view(d3.ter)が既定で使う値と、レコードの種類の判別。
+//
+// 値の出どころ: d3.ter の src/js/Entity.js(entityTypeContents = 種別バッジ、entityBackground = 配色)、
+// Port.js(degree() の既定 0)。d3.ter はこのファイルを読む(#144)ので、ここが正。
+// cardinality / optionality に既定は置かない(d3.ter は無ければ記号を描かない)。
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RELATIONSHIP_DEFAULTS = exports.ENTITY_DEFAULTS = exports.OPTIONALITIES = exports.CARDINALITIES = exports.SUBSET_KINDS = exports.MAPPING_TYPES = exports.TYPE_COLORS = exports.TYPE_BADGES = exports.ENTITY_TYPES = void 0;
+exports.isEntityType = isEntityType;
+exports.isRelationship = isRelationship;
+exports.isEntity = isEntity;
+exports.kindOf = kindOf;
+exports.nameOf = nameOf;
+exports.endWithDefaults = endWithDefaults;
+exports.relationshipWithDefaults = relationshipWithDefaults;
+exports.entityWithDefaults = entityWithDefaults;
+exports.withDefaults = withDefaults;
+/** エンティティの種別(10 種) */
+exports.ENTITY_TYPES = [
+    'RESOURCE', 'RESOURCE-SUBSET', 'EVENT', 'EVENT-SUBSET',
+    'COMPARATIVE', 'CORRESPONDENCE', 'RECURSION', 'MANY-VALUED-OR', 'MANY-VALUED-AND', 'CLASS',
+];
+/** 種別バッジ(箱のヘッダ右に描く文字。CLASS は意図的に無し = '') */
+exports.TYPE_BADGES = {
+    'RESOURCE': 'Rsc',
+    'RESOURCE-SUBSET': 'Rsc',
+    'EVENT': 'Evt',
+    'EVENT-SUBSET': 'Evt',
+    'COMPARATIVE': '対照',
+    'CORRESPONDENCE': '対応',
+    'RECURSION': '再帰',
+    'MANY-VALUED-OR': 'MO',
+    'MANY-VALUED-AND': 'MA',
+    'CLASS': '',
+};
+/** 種別ごとの箱の背景色 */
+exports.TYPE_COLORS = {
+    'RESOURCE': '#89c3eb',
+    'RESOURCE-SUBSET': '#a0d8ef',
+    'EVENT': '#f09199',
+    'EVENT-SUBSET': '#f6bfbc',
+    'COMPARATIVE': '#c8d5bb',
+    'CORRESPONDENCE': '#f2f2b0',
+    'RECURSION': '#dbd0e6',
+    'MANY-VALUED-OR': '#fddea5',
+    'MANY-VALUED-AND': '#9fd5c9',
+    'CLASS': '#bdc0ba',
+};
+/** 結線の中点から垂下(mapping)できる種別 */
+exports.MAPPING_TYPES = ['CORRESPONDENCE', 'COMPARATIVE', 'RECURSION'];
+/** サブセット結線の区分コードの種類 */
+exports.SUBSET_KINDS = ['same', 'different'];
+/** カーディナリティ(1 か 多) */
+exports.CARDINALITIES = [1, 3];
+/** オプショナリティ(0 は任意、1 は必須) */
+exports.OPTIONALITIES = [0, 1];
+/** エンティティの既定。size の 0 は「内容に合わせる」 */
+exports.ENTITY_DEFAULTS = {
+    position: { x: 0, y: 0 },
+    size: { w: 0, h: 0 },
+};
+/** 関係の既定。端点の角度は 0(真下)。cardinality / optionality は既定なし(無ければ記号を描かない) */
+exports.RELATIONSHIP_DEFAULTS = {
+    end: { position: 0 },
+};
+/** 種別として正しいか */
+function isEntityType(value) {
+    return typeof value === 'string' && exports.ENTITY_TYPES.includes(value);
+}
+/** 関係か(from と to がエンティティを指す) */
+function isRelationship(record) {
+    const r = record;
+    return !!(r && r.from && typeof r.from === 'object' && 'entity' in r.from
+        && r.to && typeof r.to === 'object' && 'entity' in r.to);
+}
+/**
+ * エンティティか。関係でなく、type・インスタンスの配列・位置・大きさのどれかを持つ。
+ * マスタ(id と name だけ)と区別するための判定なので、id と name しか無いエンティティは見分けられない
+ * (entities[] の要素と分かっているときは entityWithDefaults を使う)。
+ */
+function isEntity(record) {
+    if (!record || isRelationship(record))
+        return false;
+    const e = record;
+    return typeof e.type === 'string' || Array.isArray(e.identifiers) || Array.isArray(e.attributes)
+        || e.position !== undefined || e.size !== undefined;
+}
+/** レコードの種類 */
+function kindOf(record) {
+    if (isRelationship(record))
+        return 'relationship';
+    return isEntity(record) ? 'entity' : 'master';
+}
+/** 表示する名前。文字列ならそのまま、Name なら logical(無ければ physical)。無ければ '' */
+function nameOf(record) {
+    const name = record.name;
+    if (typeof name === 'string')
+        return name;
+    if (name && typeof name === 'object')
+        return name.logical || name.physical || '';
+    return '';
+}
+/** 端点に既定を重ねる(角度が無ければ 0。cardinality / optionality は不正値なら除く) */
+function endWithDefaults(end) {
+    const out = {
+        ...end,
+        position: typeof end.position === 'number' && Number.isFinite(end.position) ? end.position : exports.RELATIONSHIP_DEFAULTS.end.position,
+    };
+    if (!exports.CARDINALITIES.includes(end.cardinality))
+        delete out.cardinality;
+    if (!exports.OPTIONALITIES.includes(end.optionality))
+        delete out.optionality;
+    return out;
+}
+/** 関係に既定を重ねる: from / to の position */
+function relationshipWithDefaults(record) {
+    return {
+        ...record,
+        from: endWithDefaults(record.from),
+        to: endWithDefaults(record.to),
+    };
+}
+/**
+ * エンティティに既定を重ねる: position(無ければ 0, 0)、size(無ければ 0, 0 = 内容に合わせる)。
+ * type は補わない(無ければ無いまま。d3.ter は描けないので check で知らせる)。
+ */
+function entityWithDefaults(record) {
+    return {
+        ...record,
+        position: { ...exports.ENTITY_DEFAULTS.position, ...(record.position || {}) },
+        size: { ...exports.ENTITY_DEFAULTS.size, ...(record.size || {}) },
+    };
+}
+/**
+ * レコードに、view が既定で使う値を重ねて返す(入力は書き換えない)。インスペクタの初期値に使う。
+ * 形から種類を決める(kindOf)。マスタはそのまま(複製だけ)。
+ * name は文字列か Name かを保つ(どちらで書いたかで編集できる項目が変わる — fieldsOf)。
+ */
+function withDefaults(record) {
+    if (isRelationship(record))
+        return relationshipWithDefaults(record);
+    if (isEntity(record))
+        return entityWithDefaults(record);
+    return { ...record };
+}

package/dist/cjs/fields.js

@@ -0,0 +1,77 @@
+"use strict";
+// 編集できる項目の一覧。インスペクタ(colonoscope の ModelInspector)に渡す。
+//
+// path はレコードの実際の項目を指す。既定値は withDefaults() で重ねてから渡すので、
+// 書いていない項目(関係の角度など)も、図に描かれている値が初期値として出る。
+// type: 'readonly' は表示だけ。options は取りうる値の一覧(検証にも使う。文字列で持つ)。
+//
+// 名前は、レコードが文字列で持っていれば name、{ logical, physical } で持っていれば
+// name.logical / name.physical を出す(どちらで書いたかを変えない)。
+// エンティティのインスタンス(識別子・属性の行)は entities[] の入れ子で、JSON Merge Patch では 1 要素を指せないので
+// 項目にしない(行を右クリックしたときはマスタを開く)。
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MASTER_FIELDS = exports.RELATIONSHIP_FIELDS = exports.ENTITY_FIELDS = void 0;
+exports.nameFields = nameFields;
+exports.fieldsOf = fieldsOf;
+const defaults_js_1 = require("./defaults.js");
+const CARDINALITY_OPTIONS = defaults_js_1.CARDINALITIES.map(String);
+const OPTIONALITY_OPTIONS = defaults_js_1.OPTIONALITIES.map(String);
+/** 名前の項目。name が Name(オブジェクト)なら論理名・物理名の 2 項目、それ以外は名称 1 項目 */
+function nameFields(record) {
+    const name = record.name;
+    if (name && typeof name === 'object')
+        return [
+            { path: 'name.logical', label: '論理名', type: 'text' },
+            { path: 'name.physical', label: '物理名', type: 'text' },
+        ];
+    return [{ path: 'name', label: '名称', type: 'text' }];
+}
+/** エンティティの項目(名前のあと) */
+exports.ENTITY_FIELDS = [
+    { path: 'type', label: '種別', type: 'text', options: defaults_js_1.ENTITY_TYPES },
+    { path: 'id', label: 'ID', type: 'readonly' },
+    { path: 'description', label: '説明', type: 'textarea' },
+    { path: 'size.w', label: '幅 (0 で自動)', type: 'number' },
+    { path: 'size.h', label: '高さ (0 で自動)', type: 'number' },
+];
+/**
+ * 関係の項目。接続位置はエンティティの中心から見た角度(0=真下・時計回り。90=左 / 180=真上 / 270=右)。
+ * カーディナリティ・オプショナリティは空にできる(記号を描かない)。
+ */
+exports.RELATIONSHIP_FIELDS = [
+    { path: 'id', label: 'ID', type: 'readonly' },
+    { path: 'type', label: '種類', type: 'text' },
+    { path: 'label', label: 'ラベル', type: 'text' },
+    { path: 'from.entity', label: '接続元のエンティティ', type: 'readonly' },
+    { path: 'from.position', label: '接続元の位置 (角度)', type: 'number' },
+    { path: 'from.cardinality', label: '接続元のカーディナリティ (空で無し)', type: 'text', options: CARDINALITY_OPTIONS },
+    { path: 'from.optionality', label: '接続元のオプショナリティ (空で無し)', type: 'text', options: OPTIONALITY_OPTIONS },
+    { path: 'to.entity', label: '接続先のエンティティ', type: 'readonly' },
+    { path: 'to.position', label: '接続先の位置 (角度)', type: 'number' },
+    { path: 'to.cardinality', label: '接続先のカーディナリティ (空で無し)', type: 'text', options: CARDINALITY_OPTIONS },
+    { path: 'to.optionality', label: '接続先のオプショナリティ (空で無し)', type: 'text', options: OPTIONALITY_OPTIONS },
+    { path: 'subset.kind', label: 'サブセットの区分 (same は =、different は ×)', type: 'text', options: defaults_js_1.SUBSET_KINDS },
+    { path: 'subset.code', label: 'サブセットの区分コード', type: 'text' },
+    { path: 'mapping.entity', label: '垂下する表 (エンティティ)', type: 'readonly' },
+    { path: 'description', label: '説明', type: 'textarea' },
+];
+/** マスタ(識別子・属性)の項目(名前のあと) */
+exports.MASTER_FIELDS = [
+    { path: 'description', label: '説明', type: 'textarea' },
+    { path: 'id', label: 'ID', type: 'readonly' },
+];
+/**
+ * レコードに応じた項目の一覧。
+ * マスタは identifiers / attributes のどちらかをレコードの形から判別できないので、利用側が collection を渡す
+ * (項目は同じなので、渡さなくても一覧は変わらない。applyPatch では必須)。
+ */
+function fieldsOf(record, _collection) {
+    switch ((0, defaults_js_1.kindOf)(record)) {
+        case 'relationship':
+            return [...exports.RELATIONSHIP_FIELDS];
+        case 'entity':
+            return [...nameFields(record), ...exports.ENTITY_FIELDS];
+        default:
+            return [...nameFields(record), ...exports.MASTER_FIELDS];
+    }
+}