diff --git a/docs/implementation-status.md b/docs/implementation-status.md
index 927c218..7ada993 100644
--- a/docs/implementation-status.md
+++ b/docs/implementation-status.md
@@ -128,9 +128,14 @@ check, #12 pure routing resolver CLI, #13 `/os-backlog:capture` + `/os-backlog:l
 skills + card CLI, #15 `card-triage` + `board-audit` named agents. All deterministic parts
 covered by stubbed-client tests (34 runs os-backlog, 49 os-status). Semi slices #14
 (routing/migration skill), #16 (injection note + /to-issues routing), #17 (ops board +
-rubric category + routing ADR) await human decision gates. Note: the planka-api gem is not
-installed on this machine — fail-soft paths verified live; a live capture run is a
-follow-up on a machine with the gem + Planka credentials.
+rubric category + routing ADR) await human decision gates. 2026-07-10 (later): planka-api
+gem 0.1.0 installed locally (`rake install`, rbenv 4.0.2; publish/versioning still parked
+behind gem issue 13) and live verification completed against production Planka —
+`snapshot`, `board-ensure` (created the missing `semi` label on the cc-os board), and
+`card-add` + `card-label` all succeeded with bot credentials sourced from ovh-vps
+(`~/services/planka/bot-credentials.env`) in a subshell. Follow-up captured as a `hitl`
+Backlog card: get planka_bot into credvault (credvault has no import path — rotate vs.
+add import capability is a human decision).
 
 **Remaining optional items:** additional project onboarding (one at a time, per ADR-013); bulk
 vault migration. All required build steps complete as of 2026-06-15.
@@ -513,8 +518,9 @@ symlinked into `~/.claude/plugins/os-backlog`; PRD Forgejo issue #9, slices #10
   API. Companion os-status check `tracker-configured` (issue #11) validates the `tracker`
   key grammar and nudges unconfigured git projects (daily-snoozed).
 - Outstanding: Semi slices #14/#16/#17 (routing/migration skill, injection note +
-  /to-issues routing, ops board + rubric category + routing ADR); live verification run on
-  a machine with the gem installed.
+  /to-issues routing, ops board + rubric category + routing ADR). Live verification
+  completed 2026-07-10 (snapshot / board-ensure / card-add / card-label against production;
+  gem 0.1.0 locally installed via `rake install`).
 
 ## Operational procedures