Scraping pushprom returns no timestamp for metrics, which may be very old. No staleness check is possible unless one metric contains a timestamp as a value.
Instead, pushprom could provide the timestamp when the metric was received.
The wire format allows it: https://prometheus.io/docs/instrumenting/exposition_formats/