DeepSeek V4-Pro-0813 appeared quickly in downstream coding-agent surfaces with aggressive pricing claims.
New Runtime reading: Availability and price are observable distribution signals, but they do not substitute for a primary model card, reproducible capability tests, or a clear release record. Treat the early story as routing evidence with a verification boundary.
Evidence boundary: this item uses the listed public sources and keeps vendor, author, or reporter claims attributed. The queued page is an editorial synthesis, not an independent validation of every reported metric.