Claudeとかのコード生成系はまだ動かして確認してみれば正しいか正しくないかが（エラーのあるなしとして）きっぱり出てくれるから、そこはよさそうだなーとは思う