Faré reminds me that I was confused about the protocol, and that the two checks I was referring to are BOTH done in the pre-planning phase.
This strictly limits what we can do in an external "solver" like make.
I will see if I can pull together a version of MADE-FILE that is tidy enough for sharing, in the hopes it will provide an ASDF-contrib and a test case.
cheers, r