Specification-Aware Predictive Uncertainty Decomposition · Bharat Hunt