FHIR R4 subscriptions need a silent-exit reconciliation path
FHIR R4 says Subscription criteria are evaluated against a resource's new value, so no notification is sent when a resource is deleted or updated so that it no longer matches. A subscriber that maintains a working population needs an explicit reconciliation path for those exits rather than treating received push messages as a complete current set.