Is the clojure.test.check lib an implementation detail of clojure.spec, or can we rely on the coupling to always to remain exist between the two?

I'd say it's more than an implementation detail, it's just somewhat hidden so that it can be dynamically loaded

no plans to change anything about that

spec generators are test.check generators (in a thunk)