Call it 0.1.1 and write down what changed - #134
Merged
Conversation
v0.1.0 writes a pickle and this line writes JSON, and both said 0.1.0, so a competitor holding the package had no way to tell which one they had. The changelog's Unreleased section was empty for all 61 commits, and it says at the top that it tracks the submission format. The protocol version is the field in the payload and it did move, 0 to 1. This is the package catching up so the two can be talked about together. Three tests, because the drift happened once already and nothing looked: the declared version has a section, the section says something, and it has a comparison link. Signed-off-by: thc1006 <84045975+thc1006@users.noreply.github.com>
…' into chore/release-0-1-1
…' into chore/release-0-1-1
…' into chore/release-0-1-1
thc1006
changed the base branch from
fix/checks-match-what-they-claim
to
develop
July 31, 2026 00:25
This was referenced Jul 31, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
From the second round of review on #130: this line changes the submission protocol and the package still called itself
0.1.0.v0.1.0writes a pickle,developwrites JSON, and both declared0.1.0. A competitor holding the package could not tell which one they had, and the leaderboard's/api/versionreports what the server accepts without being able to say anything about the client.The protocol version is the field in the payload, and it did move:
format_version0 to 1. This is the package catching up so the two can be named together.0.1.1rather than0.2.0because the break is carried explicitly by that field and by the suffix, both of which the leaderboard reports and enforces.The
[Unreleased]section was empty for all 61 commits, in a file that says at the top that it tracks the submission format, scoring and environment behaviour. It is written out now, grouped the way v0.1.0's section is, with the numbers that were measured rather than adjectives: no pop decision moves at the 1.5 m radius over 200,000 segment pairs, and both shipped scenarios divide exactly so the release-spacing change moves nothing.Tests
Three, in
tests/test_release_metadata.py. The drift happened once already and nothing looked, so:Bump the version without writing the section and all three fail. Checked.
Based on #133, so it carries #132 and #128 as well. Local CI is green: ruff over
BalloonPoppingGymEnv/ tests/ doc/examples/ scripts/,uv lock --check, 523 passed and 22 skipped.