@nbtheduke https://git.sr.ht/~hiredman/surmise/tree/master/item/src/com/manigfeald/surmise.clj is an attempt to graft hypothesis style generation / shrinking directly on to test.check. it sort of works but sort of doesn't. the "parsing" based generators can result in "shrinking" that produces the same value over and over for a while before hitting the next value, and the rose tree searching that test.check does assumes once it sees the same value out of a shrink it can abandon searching that branch
of course you've already built something hah