By name: domain-model description: Derive a type-safe, immutable in-code domain model from a SETTLED data dictionary / I/O ledger — wrap meaningful scalars as value objects (no primitive/tuple obsession), make closed vocabularies enums, prefer frozen dataclasses, choose constructor vs factory vs builder deliberately, and name everything self-explanatorily. Use AFTER the data dictionary is settled, when turning it into Python types/classes. Not for external file-format schemas (use schema-design) and not for producing the data dictionary itself (use structured-analysis).
ドメインモデル設計（データ辞書 → 型安全なクラス）
確定済みのデータディクショナリ／I/O 台帳を入力として、システム内部のドメイン型（Python dataclass 中心）へ写像する。
外部ファイル形式の設計は schema-design、データ辞書そのものの生成は structured-analysis（DFD 分解）が担う。
本スキルはその下流＝実装用の内部型設計だけを担当する（DD 確定の後に使う）。
原則：spec-principles（PR1 もので分ける／PR5 導出は無状態＝イミュータブル化しやすい）。
手順
- 語彙の棚卸し：データ辞書で
|で閉じた語彙＝Enum 候補、{…}の複合＝値オブジェクト候補として印を付ける。 - 基本型・タプルを排す：意味あるスカラ（id・パス・ハッシュ等）は生
str/intでなく値オブジェクトに。(file, line)のようなレコード代用タプルは名前付き値オブジェクトに（タプルは順序不変の集合用途のみ）。 - タイプセーフ化：閉じた語彙は
Enum（順序ありはIntEnum）。失敗は例外でなくResult型で表す（fail-close を型で強制）。 - イミュータブル徹底：導出物（1実行の産物）は
@dataclass(frozen=True, slots=True)。可変は状態（永続ストア）を写す最小限だけ。 - 生成方法を必ず比較検討（コンストラクタ／ファクトリ／ビルダー）。下の既定に当て、昇格理由があるときだけ上げる。
- 自己説明的命名を全型に適用（§命名）。名前だけで「何の値か・何をするか」が分かること。
- トレーサビリティ：データ辞書の各項 → クラス／型 → 生成方法 の対応表を残す。
生成方法の判断（機構＋既定・最終判断は設計レビューで＝PR2）
- コンストラクタ（既定）：全フィールドが同時に揃い、検証は
__post_init__で足りる。 - ファクトリ：生成に派生/検証/パースが要る／サブタイプ選択を隠す（registry）／直和の安全構築。
from_*/of/resolve_*/make_*。 - ビルダー：多数の任意要素を複数ソースから段階的に組む（順次構造）。内部は可変でも
build()は frozen な最終物を1つ返す。
命名（自己説明的・必須）
- 型＝PascalCase のドメイン語・略語禁止。識別子値オブジェクトは役割で命名（
RuleId/FilePath、✗Str/Key）。 - 真偽は
is_/has_。ファクトリfrom_*/of/make_*、ビルダー手順with_*/add_*、述語は副作用なしの動詞句。 - 禁止：
manager/helper/util/data/info/tmp等の無情報語。
done
- 閉じた語彙がすべて Enum か（生文字列比較が残っていないか）。
- 意味あるスカラ／レコード代用タプルが値オブジェクト化されているか。
- 導出物がすべて frozen か。可変なのは状態を写す型だけか。
- 各型の生成方法（constructor/factory/builder）に根拠があるか。
- データ辞書 → クラスの対応表があり、不変条件を型で保証できているか。