DeepSWE Audit: DeepSeek-v4-pro results are unreliable · HackerLangs