(Almost) Provable Error Bounds Under Distribution Shift via Disagreement Discrepancy