Tool plan for the local verifier
Label: original plan. No tool was installed or run.

Hydra, from its manual name line: a network logon cracker. Role on this plan: service-facing. Command: none.
John the Ripper, from its homepage: a password recovery tool. Role on this plan: local verifier file. Command: none.
Hashcat, from its homepage: password recovery. Role on this plan: local verifier file. Command: none.

Chosen for synthetic-verifier.txt: local label comparison.
Format: not selected. No hash type was validated.
Candidate set: the three lines in tiny-candidates.txt.
Budget: 3.
Stop: after cedar, or sooner if you leave the file.
A tool that can contact a service is the wrong role for a file that names no service.