My experience mirrors this. For basic input/output dags are a rock solid model for reality. I make a distinction between 'what' and 'how' that seem to be basically identical to your config/exec. Many of the issues I have encountered are indeed in the parts where you want to describe the precise execution without making a noun out of every action you take (which tends to inhibit clear communication).