(no fuzz cases; stderr differences are only recorded as stderr_diff in results.jsonl)