e10c4d7ff2
WAYLAND: runtime-incomplete → build-verified; runtime proof requires QEMU DBUS: incomplete power surface → provisionally bounded All plans now use honest gate-qualified language, not deficit language.