DTensor, Correctness and the Costs of Abstraction (Web Pulse, 2026)