(Almost) Provable Error Bounds Under Distribution Shift via Disagreement Discrepancy | Read Paper on Bytez