No, and it's not a technical term. What I meant is it's still a form of dependency resolution that we describe a deep attrset/DAG as a fixpoint of a system of constraints, and changing just one might rebuild the entire graph. We normally don't resolve "version strings" (plenty of exceptions though), we do resolve what's effectively equivalent to binary compatibility tags. And the solution is greedy
Idk, you could say it's a stretch