diff --git a/CHANGELOG.md b/CHANGELOG.md
index ee005d7..a04a1c0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,6 +8,8 @@ reference are all pre-1.0, minor (0.x) releases may include breaking changes.
 
 ## [Unreleased]
 
+## [0.5.5] - 2026-07-30
+
 ### Changed
 
 - The conformance contract is now **`contract-v2`**: 18 shared scenarios, up from
@@ -128,7 +130,8 @@ S0–S5. Highlights:
 - TLS (`wss://`) live capture, a menu-bar monitor, and interactive open
   (dialog / drag-drop) are planned for later releases.
 
-[Unreleased]: https://github.com/ocpp-debugkit/studio/compare/v0.5.4...HEAD
+[Unreleased]: https://github.com/ocpp-debugkit/studio/compare/v0.5.5...HEAD
+[0.5.5]: https://github.com/ocpp-debugkit/studio/compare/v0.5.4...v0.5.5
 [0.5.4]: https://github.com/ocpp-debugkit/studio/compare/v0.5.3...v0.5.4
 [0.5.3]: https://github.com/ocpp-debugkit/studio/compare/v0.5.2...v0.5.3
 [0.5.2]: https://github.com/ocpp-debugkit/studio/compare/v0.5.1...v0.5.2
diff --git a/CURRENT_STATE.md b/CURRENT_STATE.md
index c771f06..a93cff7 100644
--- a/CURRENT_STATE.md
+++ b/CURRENT_STATE.md
@@ -4,16 +4,18 @@
 
 ## Current version
 
-`0.5.4` - OCPP 1.6 spec-conformance fixes to three detection rules (#92/#93,
-parity with toolkit 0.4.5): the `FirmwareStatus` failure values, the section 4.9
-transition table, and every refusing `AuthorizationStatus`. The 15 conformance
-goldens are unchanged, so `contract-v1` still holds, and equivalence with the
-toolkit was checked directly on 97 probe traces beyond the corpus; three tests
-added.
-Earlier: `0.5.3` (per-connector `METER_VALUE_ANOMALY` and
-`STATUS_TRANSITION_VIOLATION`, parity with toolkit 0.4.1/0.4.2), `0.5.2`
-(one-line macOS installer), `0.5.1` (macOS app-bundle naming), `0.5.0` (first
-public release).
+`0.5.5` - `contract-v2` (#96/#97): the conformance corpus grows from 15 scenarios
+to 18, regenerated against toolkit `0.4.5`, and the harness and `studio ci` gate on
+18/18. The three additions cover the firmware statuses and the non-`Invalid`
+authorization refusals the frozen corpus never reached, which is how the 0.5.4 rule
+defects stayed green at 15/15. Detection behavior is unchanged from 0.5.4;
+`contract-v2` is a strict superset of v1, with v1's 15 fixtures and goldens
+identical byte for byte.
+Earlier: `0.5.4` (OCPP 1.6 spec-conformance fixes to three detection rules,
+#92/#93, parity with toolkit 0.4.5), `0.5.3` (per-connector
+`METER_VALUE_ANOMALY` and `STATUS_TRANSITION_VIOLATION`, parity with toolkit
+0.4.1/0.4.2), `0.5.2` (one-line macOS installer), `0.5.1` (macOS app-bundle
+naming), `0.5.0` (first public release).
 
 ## Active milestone
 
diff --git a/app.zon b/app.zon
index 996d626..d038d7b 100644
--- a/app.zon
+++ b/app.zon
@@ -3,7 +3,7 @@
     .name = "studio",
     .display_name = "OCPP DebugKit Studio",
     .description = "Native desktop debugger for OCPP charging sessions.",
-    .version = "0.5.4",
+    .version = "0.5.5",
     .icons = .{"assets/icon.png"},
     .platforms = .{"macos"},
     .permissions = .{ "view", "command", "notifications" },