feat(checker): check guest observations against exported pager semantics