Our arch guide could be more specific and clear on these parameters and their various edge cases.

The main testing on this topic: jstests/core/timeseries/bucket_timestamp_rounding.js

could similarly clarify some comments and increase coverage.

Importantly, there is no check that the bucket's objectId.getTimestamp() is equivalent to control.min.<time> which our arch guide declares to be true.