第10講. データの法 — Agent Operable Data

第10講

コードを構造化し（第8講）、システムを構造化した（第9講）。残りはデータ。データが最も危険。コードのエラーはテストが、システムのエラーは/healthが捕まえる。データのエラーは誰も気づかない。3ヶ月後の四半期レポートで発見する。

エージェントに：「JSONBではなく明示的なカラムと制約でスキーマを作って。amountは0より大きく、statusは決められた値のみ許可。」

エージェントに：「このExcelをDBに入れて。DDLの制約を守ること。制約違反の行は別ファイルに出してレポート。」

エージェントに：「DDLを修正してyongol validateを通して。マイグレーションファイル生成、失敗したらロールバック。」

DBを知らないあなたがすべきことは「何を保存するか」を決めるだけ。

コードのエラー → テストが捕まえる。システムのエラー → モニタリングが捕まえる。データのエラー → 誰も気づかない。

1. スキーマが宣言されている。 DDLがデータの契約。型、制約、関係が明示的。

2. 変換が検証可能。 マッピングルールが宣言的で、前後の不変量が検証可能。

3. 出所と時点が追跡される。 source、created_at、created_by。

4. データ変更にもラチェットが適用される。 DDL → validate → マイグレーション（up + down）→ staging → production（承認）。

第5講の「制約は契約だ」の原理がデータに直接現れる。スキーマは何が有効なデータで何がそうでないかを 定義（定義） する。NOT NULL、FOREIGN KEY、CHECK — この制約を通過しなければデータは保存されない。

法は正義（justice）ではなく定義（definition）だ。

スキーマのないデータは法のない社会。

すべて同じ構造：宣言し、検証し、固定し、永続する。

言えば作ってくれる。 コードだけでなく、システムもデータも。そのためには手綱があり、線路があり、法がなければならない。その手綱と線路と法を設計するのがReins Engineeringだ。

Reins Engineering 全講義