・後者について

式が正しければ結果は必ず正しいという前提で（信じて）行うのが「テスト」だ
これは分かってるか？

その「式」と「結果」には何が含まれると考えている？
当然、式には「細分化を計算する式」と「レンダリングを計算する式」が、
結果には「細分化された結果」と「レンダリングされた結果」が含まれるはずだが

どうも君は「細分化を計算する式」だけの正しさと、
「レンダリングされた結果」だけを結びつけて
「式が正しいかであって結果が正しいかは調べられない」と言っているように聞こえるが

つまり、レンダリングを計算する式の正しさを検証するテストについて考慮していない