Your health check is lying to you

How runtime enforcement catches what documentation contracts wave through