diff --git a/AGENTS.md b/AGENTS.md
index 864ddfe..033a390 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -285,4 +285,4 @@ Context: 0.17.10 installed cleanly on both ends (`4bb0f4a`) and produced a high-
 - [x] Update installer defaults so Theia receives the same browser-visible baseline after reinstall.
 - [x] Update operational docs and installer contract tests for the new baseline.
 - [x] Run focused calibration, installer, and runtime checks.
-- [ ] Push clean semver `0.17.11` for installed client/server testing.
+- [x] Push clean semver `0.17.11` for installed client/server testing.