We do that already

if that’s the case, it doesn’t seem like we need the transitive walk? we know that whatever the roots depend on, it must be compatible with their own constraints