docs: record 2026-07-25 milestone — full SDDM greeter stack builds on Redox

Entire greeter-critical stack (Qt 6.11.1 + mesa + 9 kf6 core + sddm +
redbear-compositor + redbear-greeter) compiles. Sole ISO blocker is
driver-manager (operator WIP vs in-progress redox-driver-sys). Documents the
GREETER-DEFER re-enable path for the full Plasma desktop.

local/docs/REDBEAR-FULL-SDDM-BRINGUP.md

@@ -12,6 +12,32 @@ efficiency, upstream forks. Key correction to stale memory: the Mesa EGL/DRI
 `with_dri` gate is already solved in-tree (redox added to `system_has_kms_drm`);
 the frontier has moved to Qt6-on-Wayland (see `QT6-WAYLAND-NULL8-DIAGNOSIS.md`).
 
+## 2026-07-25 MILESTONE — entire SDDM greeter stack builds on Redox
+
+Every greeter-critical component now compiles and produces a pkgar:
+`qtbase qtshadertools qtdeclarative qtsvg qtwayland` (Qt 6.11.1), `mesa`,
+`redox-drm`, the 9 kf6 core frameworks sddm needs, **`sddm`**,
+**`redbear-compositor`**, **`redbear-greeter`**. (The greeter runs on
+redbear-compositor, NOT KWin — KWin is post-login and deferred.)
+
+**Sole remaining ISO blocker: `driver-manager`** — fails with `Arc does not
+implement Copy` (main.rs:390) because it compiles against the operator's
+in-progress **redox-driver-sys** (`unified_events`/`redox_driver_core`, dirty
+working tree). It is boot-critical (spawns redox-drm → `/scheme/drm/card0` for
+the display) so cannot be excluded. When it compiles, `make live` assembles the
+ISO. Left untouched — operator's active WIP.
+
+**Post-login desktop deferred** (kwin/plasma/kirigami/konsole/kf6-ksvg/… — 42
+packages outside the greeter closure) via `# GREETER-DEFER` comments in
+`config/redbear-full.toml`. Re-enable for the full Plasma desktop by
+uncommenting them (`sed -i 's/^# GREETER-DEFER: //' config/redbear-full.toml`)
+and restoring `kwin` to the pre-cook list.
+
+Key Redox ports this campaign: Qt sysroot resolution (qml symlink + plugins
+dual-stage helper), sddm VirtualTerminal + utmpx stubs, kf6-solid QSystemSemaphore
+guard, kf6-kwindowsystem Wayland-plugin disable, mesa patch-path linking, stale
+6.11.0 source.tar purge. See git log + [[qt-redox-build-iteration-gotchas]].
+
 ## Component homes
 - `redox-drm` (DRM provider, `/scheme/drm/card0`): `local/recipes/gpu/redox-drm/` — cargo. Built-in AMD+Intel+VirtIO KMS drivers; ioctl ABI matches KWin + redbear-compositor.
 - `mesa` (EGL/GBM/llvmpipe): `local/recipes/libs/mesa/` (26.1.4) + `local/patches/mesa/`.