そうですね。仕組み的には生成されたSILコードから二次的に微分関数を生成する感じなんで、設計上は分離できてそうですけど、いろんな細かい都合で変更に対して面倒が生じたりはしてるでしょうね。