型式証明でもいちいちファームのソースコード見たりなんかしないよ。
検査官が手順に従って、アップデート後の車に試乗して検査するだけだ。