a possible explanation is that the soft-proofing/oog check happens after the conversion from input to lab profile (going through the working profile), so perhaps this pushes some colours out of gamut. but this is just speculation, I haven’t tested yet