Not following entirely. My question was about a native implementation, if we can't get into that state then we don't need to decide what should happen.

I thought we might fix the harness by having it simulate a small advance in time after sampling, before running the checks.