I think that the source code would have been easier to read if the rose tree was named after its purpose, for example shrink-tree

fwiw, quickcheck in haskell seems to use the term "rose" as well: https://hackage.haskell.org/package/QuickCheck-2.9/docs/Test-QuickCheck-Property.html#g:4 - i was initially puzzled but found a wikipedia page: https://en.m.wikipedia.org/wiki/Rose_tree

also the docs of the corr ns say: https://github.com/clojure/test.check/blob/master/src/main/clojure/clojure/test/check/rose_tree.cljc#L11

in this case i was initially lost but the name actually helped me to find relevant related info

yeah the initial draft of test.check was heavily based on quickcheck