VeriHarm-Bench: Measuring Harmful Success in LLM Coding Agents Verifiably · Bharat Hunt