Revoke

If a private key is revoked (with compromised) what state should the public key be in after the revoke call?  1) unchanged 2) compromised 3) at the whim of the server selecting either 1) or 2)
[i.e. by policy based on server policy configuration settings]  We are certainly seeing different handling across the vendors participating in interop.  Tim.