Diagnostic recorder of the running search (since 5.3.0). Non-null only when the caller passed one; write to it to record why this predicate rejected the input.