Three related fixes to the release plumbing: - Only PRO bumps the semver now. main was bumping its patch on every push, so it raced permanently ahead of the branch that actually ships (main hit 1.3.3 while PRO sat at 1.3.0), buried release artifacts under a dev branch on the portal, and made every main<->PRO merge conflict on pubspec.yaml. The build number still advances on every branch, since Play requires it to be monotonic across the whole app. - The [version set] marker is now searched across every commit the push introduced, not just the tip. A plain 'git pull' inserts a merge commit with no marker, which silently dropped a pinned name and turned 1.3.0 into 1.3.1. - Artifacts land in a per-branch folder so the portal stops interleaving development and release builds.