DeepSeek-V4 on Day 0: From Fast Inference to Verified RL with SGLang and Miles