Validate one candidate from a binary-recon report with debugger and tracing evidence, then return validated, rejected, or inconclusive.
