LLMって、コードとコメントの齟齬は見つけてくれるけど、どうにかしたら（？）、例えば関数に契約プログラミングみたいな『条件』をコメントに書いたら、その関数を呼び出す側で契約違反になってることを検出して、結果的に（完璧では無い）契約プログラミング（のようなもの）って出来ないのかな？＞＜；
コード全体が巨大だと無謀なのかな？＞＜；
（巨大な場合は、呼び出し側のコードと呼び出される側のコードをどうにか切り出してからLLMに見せる必要がある？＞＜）