そうすると検出できるリークって、「targetから到達できて循環してる部分」になると思うんですが

あー、これは正確にもうちょっとだけ範囲が広いです。というのも、さっきの cat2 や cat3 から cat1 への参照があった場合、cat 1 からの参照に循環参照はありませんが、cat1 が回収されないので

3:18 AM

これは検知できます