Function check_contract 

pub fn check_contract(notifier: &dyn Notifier)

Malformed requests are refused as NotifyError::Invalid (or the host is NotifyError::Unavailable altogether) before the platform sees them.