Version.public incorrectly includes the local version segment

Version.public incorrectly includes the local version segment: a task in repo2rlenv-swe-smith (Harbor dataset). The public property of Version is supposed to return the public portion of a version string — that is, everything except the local version label (the +<local part). However, when a…