Collect facts for local Linux ELF binaries, infer input surfaces, and rank candidate hypotheses for later validation without claiming exploitability.