Clojure spec for dependencies between nodes in a recursively defined data structure

Question

Is there a canonical or idiomatic way of writing a spec for dependencies between the values in nodes in a recursively defined data structure?

As a minimal example, le