is
Indicates whether the recorded objective never decreased between accepted iterations.
Monotonicity is a theorem only under hypotheses that the estimator catalog does not satisfy, so it is enforced by construction and then checked here rather than assumed.