Proof-backed expansion across JetBrains products, languages, build systems, test runners, operating systems and supported IDE versions.