It seems like "generating" a corpus in that situation is more like a search process guided by prompts and more critically the type checker, rather than a straig

It seems like "generating" a corpus in that situation is more like a search process guided by prompts and more critically the type checker, rather than a straight generation process right? You need some base reality or you'll still just have garbage in, garbage out.