Are the IDs listed in Plugin Index page, update-center.json and plugin-versions.json same or identical?

I’m writing an automation script and I need a unique identifier for each Jenkins plugin.

I noticed that the ID in the Jenkins Plugin Index and the URL of the plugin page are identical. Below is an example for the plugin “Role-based Authorization Strategy”–

Are these consistently unique and exactly the same as listed in update-center.json and plugin-versions.json?

Is there any official documentation stating if that’s (in)correct?

The artifact ID of the plugin is used in Jenkins core, in the Jenkins update center, and on the Jenkins plugins site to uniquely identify the plugin.

The developer documentation says:

A plugin’s artifact ID is used as the file base name and to uniquely identify the plugin in Jenkins and on update sites

As additional reference, here’s the code that generates the link from `update-center.json` (and used for Jenkins’s “Manage Plugins” UI) to the plugin site: