A tool-library log shows a return timestamp earlier than the checkout, hours-open that do not move with recorded energy use, and one temperature no sensor in the shed has ever produced. Which dataset constraints should the tester apply, and where do they run?

A return earlier than checkout, hours-open that do not move with energy use, and a temperature no sensor ever produced are greater-than, correlate, and outlier defects. Those constraints run automated in the pipe, with reports to data staff during fitting or operations once live. A type-only check, a Chapter 6 metamorphic derivation, and manual one-offs miss that placement.