Nice appraisal PDR, dither did not even cross my mind.
For RandomSource(), was suggested by IanB and another, that random frames should always be repeatable (perhaps repeatable only if some arg set),
perhaps AutoAdjust() is not random repeatable, or just defaults to non-repeatable if some arg is defaulted.
EDIT: Does not seem to be any control over dither (I assume use_dither is a bool.
EDIT: Yes is bool, PDR says so above)
Code:
AutoAdjust ( [clip], external_clip,
auto_gain,
dark_limit, bright_limit, gamma_limit,
dark_exclude, bright_exclude,
gain_mode, chroma_process, avg_safety,
input_tv, output_tv,
auto_balance,
chroma_limit, balance_str,
scd_threshold, temporal_radius, change_status,
use_interp, use_dither,
high_quality, high_bitdepth,
threads_count, asm_opt,
debug_view )