China's DeepSeek dropped V4 today — and if you follow the federal AI market, you need to understand what changed and what it means for your pipeline.