e19bbc9227
web/electron/package.json was deliberately excluded from update_versions.py because lockstep versions are not valid semver, so it rotted: v0.7.0 and v0.8.0 shipped a desktop app still calling itself 0.6.0, and 0.8.1's desktop bump had to be pushed by hand onto the release branch (and still reads 0.8.0 at the v0.8.1 tag). Stamp it with the semver translation of the lockstep version instead (0.6.0rc1 -> 0.6.0-rc.1, 0.7.0.dev0 -> 0.7.0-dev.0, finals unchanged) — semver orders these the way PEP 440 does (dev < rc < final), so desktop auto-update comparisons stay correct. check() now gates the translation, so a drifted desktop version fails the version lockstep lint. Aligns main's desktop version to 0.9.0-dev.0. Co-authored-by: Isaac Signed-off-by: Dhruv Gupta <dhruv.gupta@databricks.com>