diff --git a/CHANGELOG.md b/CHANGELOG.md
index fef6c7a..1f8f651 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,7 @@
 
 All notable changes to Playproof are documented here.
 
-## 0.8.0
+## 0.9.0
 
 ### The Breakout contract now measures how well a run played, not that it played
 
@@ -24,6 +24,8 @@ All notable changes to Playproof are documented here.
 - **`ale.test.mts` keeps a demonstration contract** derived from the same reference, with the two hash tiers, a `requires` chain and `life-lost`. The screen-frame and save-file evidence tiers, the opaque-collision sweep, the attrition classifier and the collapse gate stay under test on the real emulator; they are simply no longer things a Breakout player is graded on. `screen-blind` joins the two steering controls as a permanent gate, and the test now asserts the strongest control does NOT reach the top rung.
 - **What a consumer must do.** The packaged reference file, the derived contract and its hash all change. A stored `Attestation` or `EpisodeRecord` against the old contract does not verify against the new one, and a milestone id from it (`score-opened`, `score-tier-2`, `score-tier-4`, `life-lost`, `frame-at-first-score`, `save-at-first-score`) no longer exists. Pass the previous reference through `makeAle({ game: 'breakout', reference })` to keep the old contract. No adapter behaviour changed: the worker, the evidence keys, the observation, the input vocabulary and the seed handling are untouched.
 
+## 0.8.0
+
 ### A milestone earned by dying is not evidence of skill
 
 - **The measurement.** ALE Breakout, ale-py 0.12.1, seed 0. Two deterministic controls with the same control law and the same deadzone in screen pixels, differing only in what they read: the ASCII frame at four screen pixels per character, or the `ram_ball_x`/`ram_paddle_x` channels at one pixel each. Neither carries state between decisions and neither costs a model call.
diff --git a/package.json b/package.json
index ab554aa..7ba3b87 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@tangle-network/playproof",
-  "version": "0.8.0",
+  "version": "0.9.0",
   "description": "Turn games into verifiable, cost-aware benchmarks for any agent.",
   "license": "Apache-2.0",
   "type": "module",