AIの誤説明を「確認済み」にした開発者が陥った罠：バリデーションの真実を突き止めた技術的考察
本記事は、プログラミングにおけるデータスキーマのバリデーションライブラリZodを使用する過程で発生した、AIによる誤った技術的説明と、それに対する筆者の検証プロセスを詳細に記した技術的な考察です。筆者は、カード登録のためのスキーマを定義する際、特定のフィールド（`link`タイプなら`url`、`note`タイプなら`description`）が種類に応じて必須となる条件を`.refine()`メソッドを用いて実装しました。
当初、AIからは「フィールドの検証が落ちると、`.refine()`は走らない」という説明を受け、筆者はこれを根拠に動作確認を行いました。特に`type: feed`というテストケースではエラーが出なかったため、「AIの説明通り、検証が落ちたからエラーが出なかった」と誤って結論づけ、この間違いを「確認済み」として進めてしまいました。しかし、午後の作業中に`type`を`link`に変更し、さらに`title`を空にしたケースを試したところ、`title`のエラーと`url`のエラーが同時に返ってくるという矛盾に直面します。
この矛盾を解消するため、筆者は`.refine()`メソッド内にカウンタを組み込むという徹底的な検証を行い、Zodのバージョン4.4.3において、フィールドの検証（`title`）が落ちている状態であっても、`.refine()`は必ず実行され、すべてのエラーを返すことを証明しました。つまり、AIの説明は完全に誤りであったことが判明したのです。
筆者はこの経験から、単に「通った」という結果だけでなく、「なぜ通ったのか」という理由までが、当初の予測と一致しているかを徹底的に検証することの重要性を強調しています。また、テストケースは提示されたものを鵜呑みにせず、列挙型（`enum`）の全値を網羅的に試すこと、そして検証の根拠を常に疑う姿勢が、技術的な誤解を防ぐ鍵であると警鐘を鳴らしています。
背景
本ニュースは、AIが生成した技術的な情報（バリデーションの挙動）を、開発者が鵜呑みにしてしまい、それが誤りであったという経験談に基づいています。ソフトウェア開発において、ライブラリの挙動や仕様の理解は極めて重要であり、AIの出力であっても、必ず自身のコードで検証し、根拠を突き止める必要性を示唆しています。
重要用語解説
- Zod: TypeScript向けのスキーマバリデーションライブラリ。データが期待する形式（型、必須/任意、パターンなど）を満たしているかを検証し、エラーを構造化して提供する。
- .refine(): Zodのメソッドの一つで、オブジェクト全体や特定のデータ構造に対して、より複雑なカスタムバリデーションルールを適用するために使用される。単なるフィールドチェック以上のロジックを記述できる。
- バリデーション: データがシステムに入力される際、そのデータが定義されたルールや制約（型、形式、必須性など）を満たしているかをチェックするプロセス。データの信頼性を確保する上で不可欠。
今後の影響
本件は、AIが提供する情報が「それらしい」結論を導き出すことはできても、その背後にある技術的な「理由」や「前提」を誤っている可能性があることを示しています。開発者は、AIの出力を単なる参考情報として扱い、必ず自力でテストケースを設計し、根拠を検証する「批判的思考」が求められるという教訓を与えています。