Function route 

pub fn route(
    catalogue: &ModelCatalogue,
    needs: &Requirements,
) -> RoutingDecision

Decide. Pure over the catalogue and the requirements; the preference order is the catalogue’s declaration order, and every exclusion names its first failing check.