db-types-precision

db-types-precision (M4)

型は最初で最も低コストな制約です。どの値を表現できるか、また値がどのようにソート、比較、丸められるかを決定します。典型的なデータ損失バグである「金額を浮動小数点数で扱う」問題は、ここに該当します。このモジュールは設計軸（M6 と共通の Tipos カテゴリ）です。パラダイムに応じた型の語彙（Postgres の numeric、Mongo の Decimal128）を使って、各パラダイムに適用されます。

チェック内容

• 金額の浮動小数点数での扱い：通貨／金額に float／real／double precision（または Mongo の Double）を使用している場合です。二進浮動小数点数では、10 進数のセントを正確に表現できません。numeric／decimal／Decimal128／最小通貨単位の整数を使用してください。これは重大度 5 の上限です。
• タイムスタンプとタイムゾーン：タイムゾーンをまたぐ時点に、タイムゾーンなしの timestamp／datetime を使用している場合です。UTC で保存される timestamptz を推奨します。タイムゾーンのない *_at という名前の timestamp 列にフラグを付けます。
• スキーマ回避としての jsonb：ファーストクラスの型付き／制約付き列にすべき内容（安定していて、クエリされ、外部キーに関連するキー）が jsonb／json 列に格納されている場合です。柔軟なデータの塊を埋め込むのは問題ありませんが、スキーマを隠すのは問題です。
• enum とルックアップテーブルの比較：参照先のルックアップテーブルのほうが安全に変更できる場面で、ネイティブ ENUM（特に変更が難しい MySQL の ENUM）を使っている場合、または制約付きドメインが必要な場面で自由記述のステータスを使っている場合です。
• 文字セット／照合順序：utf8mb4 ではなく MySQL の utf8（3 バイトで、絵文字／補助平面文字に対応しない）を使っている場合、または識別子／メールアドレスに意図しない大文字小文字を区別する照合順序やアクセントを区別する照合順序が設定されている場合です。

軸と重大度

• 浮動小数点数／double 型の金額：重大度 5、fail、軸 design、信頼度 established（Design スコアに上限を設定します）。
• タイムゾーンをまたぐ時点にタイムゾーンなしのタイムスタンプを使用：重大度 3～4、warn、軸 design。
• 安定したクエリ対象のスキーマを隠す jsonb：重大度 3、warn、fixable: proposed。
• MySQL の utf8（utf8mb4 ではない）：重大度 3、warn。
• enum による変更の固定化／誤った照合順序：重大度 2～3、warn。

Tier-0 静的チェック

scripts/parse-schema.mjs で DDL／スナップショットを解析します。金額を示す列名（price, amount, total, balance, cost, *_cents）と float|real|double|Double 型の組み合わせを照合します。*_at 列のうち、タイムゾーンなしの timestamp／datetime にフラグを付けます。json／jsonb 列と ENUM(...) を検出し、宣言された文字セット／照合順序を読み取ります。方向性を示すプログラムソースの解析では、金額の浮動小数点数による重大度 5 の上限を引き起こしません。

Tier-1 検証クエリ

カタログから金額を格納する浮動小数点数の列を確認します。

-- $DATABASE_URL, read-only
SELECT table_name, column_name, data_type
FROM information_schema.columns
WHERE data_type IN ('real','double precision')
  AND column_name ~* '(price|amount|total|balance|cost|fee|tax)';

MySQL の文字セットを確認します。

SELECT table_name, column_name, character_set_name, collation_name
FROM information_schema.columns WHERE character_set_name = 'utf8';

検出結果

schema/finding.schema.json に従って出力します。例：

• M4.orders.total_float_money — total double precision はセントを失います（重大度 5、fail、軸 design、信頼度 established）。
• M4.events.created_at_naive_timestamp — created_at timestamp にはタイムゾーンがありません（重大度 4、warn、軸 design、fixable: proposed）。
• M4.products.attributes_jsonb_schema_evasion — 安定したクエリ対象のキーが jsonb に埋もれています（重大度 3、warn）。
• M4.users.email_utf8_not_utf8mb4 — MySQL の utf8 は補助平面文字を切り捨てます（重大度 3、warn）。 各検出結果では、evidence.observed に列の DDL をそのまま引用します。verification.reproduce には、上記の実行可能なクエリ（method: ddl_parse／schema_introspect）を指定します。expected_impact は段階分けし、信頼度を付けます。

正確性

• パラダイムにかかわらず、金額を浮動小数点数で扱う場合は上限を適用します（リレーショナル型と Mongo の Double の両方）。決して軽減しないでください。
• jsonb は真に柔軟または疎なデータに適したツールです。安定していて、クエリされ、リレーショナルなスキーマを隠している場合に限り、フラグを付けてください。
• 宣言された照合順序を示さずに、照合順序が問題を引き起こすと断定しないでください。影響は段階分けし、ソートエラー率を作り上げないでください。