Health Check

The type rules for protocol and record type