diff --git a/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md b/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md
index f52c5692..f8261984 100644
--- a/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md
+++ b/local/docs/BOOT-PROCESS-IMPROVEMENT-PLAN.md
@@ -11,7 +11,7 @@
 
 | Profile | Required boot outcome | Current state | Gap |
 |---------|----------------------|---------------|-----|
-| `redbear-full` | **Graphical Wayland greeter → KDE desktop session** | Text login only; KWin uses virtual backend | Three blockers |
+| `redbear-full` | **Graphical Wayland greeter → KDE desktop session** | Text login only; KWin stub wrapper delegates to redbear-compositor | Three blockers |
 | `redbear-mini` | **Text login** | ✅ Working | None |
 | `redbear-grub` | **Text login** | ✅ Working | None |
 
diff --git a/local/docs/DBUS-INTEGRATION-PLAN.md b/local/docs/DBUS-INTEGRATION-PLAN.md
index 9fe07f96..75203ed9 100644
--- a/local/docs/DBUS-INTEGRATION-PLAN.md
+++ b/local/docs/DBUS-INTEGRATION-PLAN.md
@@ -527,7 +527,7 @@ APIs, which relibc provides.
 - [ ] `redbear-sessiond` starts and registers on system bus
 - [ ] `login1.Manager.ListSessions` returns valid data
 - [ ] KWin can call `TakeDevice` for DRM and input devices
-- [ ] KWin registers `org.kde.KWin` on session bus
+- [ ] KWin stub recipe provides cmake configs; real KWin D-Bus registration gated on Qt6Quick
 - [ ] `org.kde.KWin.supportInformation` returns a non-empty string
 - [ ] KWin runs for 60+ seconds without crash