Proof Portal
Project overview
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Inbox
Problems reported from outside the audit — kept verbatim, then checked: is the claim real, what does it touch, can it be reproduced? Validated reports are shown in full; items still under responsible disclosure appear only as a count until they are released.
- R-1009Encrypted multi-device Btrfs root becomes unbootable when an additional LUKS-backed device is requiredby agustinrojas1· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1010Battery Size Detection on Lenovo P1 Gen 2 Not Workingby zveroboy152· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1012Launching a single-instance app hidden on the scratchpad does not reveal itby JoNil· open at source
Out of area
Decided· Out of scope - R-1013Electron apps other than browsers aren't pinned to gnome-libsecret: migrated Signal profiles become unrecoverable on Hyprlandby johnfire· open at sourcebug
Out of area
Decided· Out of scope - R-1015Nautilus segfaults (double-free of GMenu) when opening a new windowby UstymUkhman· open at sourcebug
Out of area
Decided· Out of scope - R-1016plugins.md: service-plugin constant edits need `omarchy restart shell`, not `rescanPlugins`by johnfire· open at sourcebug
Out of area
Decided· Out of scope - R-1017`{{ muted }}` is used as both a text color and a fill in the generated VS Code themeby ivanskodje· open at sourcebug
Out of area
Decided· Out of scope - R-1018Multi-monitor: every panel plugin registers its IpcHandler once per bar, logging a "Handler was registered but will not be used" WARN per extra screenby lucletoffe· open at sourcebug
Out of area
Decided· Out of scope - R-1021Plymouth: the `omarchy` theme renders off-centre on HiDPI panels — plymouthd's automatic device scale halves the window size the script seesby isaac30503· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-10234.0.2: bar tooltip renders raw HTML — Text.PlainText on tooltipLabel breaks rich-text tooltipsby Balthazzahr· open at sourcebug
Out of area
Decided· Out of scope - R-1024omarchy-restart-shell trusts a stale HYPRLAND_INSTANCE_SIGNATURE, leaving the session with no shell after omarchy updateby bezilaszlo· open at sourcebug
Out of area
Decided· Out of scope - R-1026Add configurable auto-suspend timeout to Quickshell settingsby pszponder· open at sourceenhancement
Out of area
Decided· Out of scope - R-1027Dell XPS 14 DA14260: closing lid causes severe Wi-Fi TX stall while dockedby esemczak· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1028Notification image-path hint bypasses icon resolution, rendering Qt's missing-texture placeholder for themed icon namesby MyGuyArrow· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-1030Electron/Chromium secondary windows leave stale/duplicated regions at scale 1.6by d-geula· open at sourcebug
Out of area
Decided· Out of scope - R-10321Password: unlock popup unusable on fractional scaling, and its window rule targets a non-resizable windowby kurtome· open at sourcebug
Out of area
Decided· Out of scope - R-10334.0.x: user ~/.config/hypr/envs.lua is never loaded — user env overrides (and the updater's own iHD fix) are dead codeby Makedayz· open at sourcebug
Out of area
Decided· Out of scope - R-1035windows-vm: two-minute readiness timeout reports normal first installation as failedby stoogs· open at sourcebug
Out of area
Decided· Out of scope - R-1036Sound menu showing duplicate entries for output and inputby bmweller· open at sourcebug
Out of area
Decided· Out of scope - R-1037windows vm launch: spurious "Failed to start Windows VM!" from 5s mount-safety scan timeout on real-sized disksby bleetmaa· open at sourcebug
Out of area
Decided· Out of scope - R-1038Polkit dialog elides ~80% of a long command instead of wrapping itby forlovas· open at sourcebug
Out of area
Decided· Out of scope - R-1039Stuck on logout screen with unrecognized passwordby anthony-robin· open at sourcebug
Out of area
Decided· Out of scope - R-1040Remove WhatsApp Slim extension from Brave Origin when uninstalling WhatsApp webappby anthony-robin· open at sourcebug
Out of area
Decided· Out of scope - R-1041omarchy-refresh-pacman drops hardware-specific repos (arch-mact2 on T2 Macs), silently orphaning linux-t2by JamieCurnow· open at sourcebug
Out of area
Decided· Out of scope - R-1043Bar widgets cannot be dragged into an empty section (e.g. empty left section)by aronnaxlin· open at sourcebug
Out of area
Decided· Out of scope - R-1046idle.lock above ~24.8 days overflows the QTimer interval negative: ~400 warnings/sec exhausts shmem and crash-loops wayland-wm-app-daemonby rnieuwen· open at sourcebug
Out of area
Fixed - R-1047fix-spi-keyboard.sh installs macbook12-spi-driver-dkms, which cannot build on kernels shipping applespi in-treeby ari-ahm· open at sourcebug
Out of area
Decided· Out of scope - R-1048Snapper rollbacks silently un-apply Omarchy migrations (surfaced as: LUKS prompt still QWERTY after e891e5c)by v-h-z· open at sourcebug
Out of area
Decided· Out of scope - R-1049limine-mkinitcpio-install calls limine-entry-tool --get-cmdline with wrong argument count, silently dropping root= from UKI cmdlineby ThomsV897· open at source
Out of area
Decided· Out of scope - R-1051Chromium main Meet tab loses borders after session restore - over-broad PiP rule pip.lua:15by 0xleelu· open at sourcebug
Out of area
Decided· Out of scope - R-1052Launch feedback OSD remains stuck after Cursor and Grok Bot launchby aj-ebels· open at sourcebug
Out of area
Decided· Out of scope - R-1053Pacman uses -S and not -Syu in installer scriptsby Keylessboi· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1054Quickshell crashes with SIGSEGV in QSGRenderThread when Hyprland monitor is set to 10-bit (bitdepth = 10)by ozdil· open at sourcebug
Out of area
Decided· Out of scope - R-1055MacBookPro16,1 Broadcom quirk disables WPA3-SAEby kazeshini178· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1056Kernel soft lockup (TLB IPI stall) with RTX 5060 Ti causing full system freeze on bootby infat0x· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1058systemd-oomd swap kill takes the whole session: everything launched from a terminal shares one app-*.scope (2,104 processes killed)by StefanMaron· open at sourcebug
Out of area
Decided· Out of scope - R-1059System update widget renders a failed update check as "up to date"by JesperGravgaard· open at sourcebug
Out of area
Decided· Out of scope - R-1060Lumon theme: Neovim comments become unreadable on the cursor line (1.01:1 contrast)by shuurajou· open at sourcebug
Out of area
Decided· Out of scope - R-1061Web apps never get the chromium-based-browser tag: browser.lua patterns assume substring matching, Hyprland uses RE2::FullMatchby RiccardoBelli· open at sourcebug
Out of area
Decided· Out of scope - R-1062fix(obsidian, mullvad): syntax typo in obsidian user-flags.conf and missing floating window rule for Mullvad VPNby ivanvan08· open at sourcebug
Out of area
Decided· Out of scope - R-1064Bar panels dismiss when typing on an on-screen keyboard (wifi password, etc.)by ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-1065Stale ACPI lid state turns external-monitor hotplug into clamshell mode, blanking the internal panelby bbishdotdev· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1069SUPER+O pop-out window exceeds the work area on 1440x900 logical displaysby veer-y-singh· open at sourcebug
Out of area
Decided· Out of scope - R-1070hyprland.lua: Sub-module require errors abort script evaluation before hypr.bindings, locking user out of keybindingsby codyoss· open at sourcebug
Out of area
Decided· Out of scope - R-1071[Hardware]: Black screen on boot on AMD Strix Point / Radeon 890M laptops (ASUS ROG Zephyrus G14) due to Aquamarine atomic DRM commit failureby codyoss· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1072Quickshell repeatedly SIGSEGVs in QML binding evaluation after keyboard-panel config updatesby nkamenar· open at sourcebug
Out of area
Decided· Out of scope - R-1073Notification actions are advertised in GetCapabilities but never rendered: action buttons are silently droppedby fooblahblah· open at sourcebug
Out of area
Decided· Out of scope - R-1074omarchy-launch-screensaver: 3rd+ monitor misses openwindow deadline, screensaver never opens thereby harleylrn· open at sourcebug
Out of area
Decided· Out of scope - R-1076Notification click doesn't focus/switch workspace for Chromium web apps (Teams, Outlook)by adamhun· open at sourcebug
Out of area
Decided· Out of scope - R-1077omarchy weather location shows truncated coordinates instead of a city name when wttr.in falls back to raw lat/lonby Elderswift· open at sourcebug
Out of area
Fixed - R-1078SUPER+O (window-pop) opens window larger than screen at non-1x scaleby anakinrpi· open at sourcebug
Out of area
Decided· Out of scope - R-1079Hibernate hangs (forced power-off required) on hybrid-GPU ASUS ROG G14 — force-igpu/supergfxctl never installedby rdelpiano· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1080Hybrid Intel+NVIDIA laptops without supergfxctl: forced __GLX_VENDOR_LIBRARY_NAME=nvidia with no PRIME offload breaks Steam gamingby osungjinwoo· open at sourcebug
Out of area
Decided· Out of scope - R-1081dell-xps13-sidecar-amps: reports success but speakers stay silent on spkid0 units (XPS 13 DX13260)by wizaj· open at source· edited (2 revisions)bugcompatibility
Out of area
Decided· Out of scope - R-1082Epic: Add Gemini and OpenCode monitoring to the Agents panelby acf1210· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- R-1085Laptop NVIDIA GPUs stuck at default TGP — nvidia-powerd is never enabledby onelegdave· open at sourcebug
Out of area
Decided· Out of scope - R-1086Bluetooth panel loops pairing because bt-agent prompts without a terminalby jacobaross· open at sourcebug
Out of area
Decided· Out of scope - R-1087Dictation bar indicator never shows the "transcribing" stateby lionel-arnaud· open at sourcebug
Out of area
Decided· Out of scope - R-1089xdg-open on the stock Terminal=true nvim.desktop opens no terminal and blocks the callerby paolot0rr3s· open at sourcebug
Out of area
Decided· Out of scope - R-1090Shell restores unbounded backlog of stale never-expiring critical popups after power loss (plus 0-byte state files)by calumol· open at sourcebug
Out of area
Decided· Out of scope - R-1091Low-battery warning storm: notification every ~3s when AC online status flaps (latch resets on onBatteryChanged)by calumol· open at sourcebug
Out of area
Decided· Out of scope - R-1092Battery bar icon shows 'not charging' when actually charging, due to bogus time-to-full estimateby cjoprey· open at sourcebug
Out of area
Decided· Out of scope - R-1093Bluetooth panel shows 'Turned Off' while adapter is actually powered onby nojaf· open at sourcebug
Out of area
Decided· Out of scope - R-1094workspace-layouts.lua: saved layouts fail to load (module 'omarchy.workspace-layouts.N' not found)by ajd3v· open at sourcebug
Out of area
Decided· Out of scope - R-1095Trackpad (MSFT0001 I2C Precision Touchpad) fails to bind at boot due to i2c_designware controller timeoutby vashizm0r· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-10981788009111.sh fails on pt_BR (and other non-English locales): LC_ALL=C não força inglês para lpstatby rafaelclima· open at sourcebug
Out of area
Decided· Out of scope - R-1099Screensaver fires over fullscreen Steam games every 150s: the idle_inhibit rule can never match a gameby angel-ventura· open at sourcebug
Out of area
Decided· Out of scope - R-1100Calendar grid duplicates September 5 and shifts dates in month viewby Arturo387· closed — completed at sourcebug
Out of area
Fixed - R-1101Lid-open binding does not restore display brightness after suspendby BjornB2· open at sourcebug
Out of area
Decided· Out of scope - R-1102[Quattro] Notifications render above the fullscreen screensaverby ClGratton· open at sourcebug
Out of area
Decided· Out of scope - R-1103snapper.sh overwrites /etc/conf.d/snapper, silently de-registering user configs (home) so omarchy-snapshot stops covering /homeby CaptainVirgil· open at sourcebug
Out of area
Decided· Out of scope - R-1104No built-in captive portal detection — you have to know the neverssl.com trick to get onlineby mmsami· open at sourceenhancement
Out of area
Decided· Out of scope - R-1105MacBookPro16,1 (T2, hybrid graphics): gmux leaves the internal panel on the AMD dGPU, hard-hanging the machine at session startby yezooz· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1106Bluetooth panel shows the device's raw hardware Name instead of the user-set Aliasby diegovrocha· open at sourcebug
Out of area
Decided· Out of scope - R-1107omarchy-agent-usage-update only discovers collectors in $OMARCHY_PATH/bin, contradicting the documented extension pointby ScytheAkira· open at sourcebug
Out of area
Decided· Out of scope - R-1108KeyboardPanel card not visible on scale=1.5 output (stock clock/agents + third-party panels)by saigkill· open at sourcebug
Out of area
Decided· Out of scope - R-1109Samsung Smart Monitor (M5) over HDMI: random 1-4s blank/dim, Linux/Hyprland only — works fine on Windowsby jaimelmsantos-ai· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1110SDDM autologin + uwsm: session dies immediately (blank screen); uwsm reports graphical-session already activeby pib-nbsmedia· open at sourcebug
Out of area
Decided· Out of scope - R-1111hyprland-dialog: `--text` message never renders, and ANR dialogs can deadlock unresponsiveby Bierdieb· open at sourcebug
Out of area
Decided· Out of scope - R-1112Bluetooth bar widget shows stale/off state after shell restart despite adapter being powered onby rbgit· open at sourcebug
Out of area
Decided· Out of scope - R-1113CJK font fallback always selects Korean variant regardless of localeby usutani· open at sourcebug
Out of area
Fixed - R-1114omarchy-install-1password pins 8.12.0 with an existence-only guard, so Apple Silicon never gets 1Password updates (current: 8.12.34)by bierlingm· open at sourcebug
Out of area
Decided· Out of scope - R-1115omarchy-remove-security-sshd consults root's authorized_keys under sudo/pkexec, so the user's keys survive removalby shaynhornik· open at sourcebug
Out of area
Decided· Out of scope - R-1116omarchy-remove-gaming-heroic leaves ~/.config/heroic behind ($HOME resolves to /root under pkexec)by wildhuman· open at sourcebug
Out of area
Decided· Out of scope - R-1118Bluetooth bar toggle can remain visually off after resume while adapter is poweredby Matt1656· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1120Default Persian (ir) keyboard layout doesn't match the Windows Persian keyboard — key above Enter types \ instead of پby je2020je· open at sourceenhancement
Out of area
Decided· Out of scope - R-1121omarchy-shell: stale Quickshell polkit registration blocks pkexec until shell restartby VillainRU· open at sourcebug
Out of area
Fixed - R-1122XDG_DESKTOP_DIR="$HOME" makes apps scatter .desktop shortcuts into the home directoryby rogerfsh· open at sourcebug
Out of area
Decided· Out of scope - R-1123Screen recording crashes on AMD Baffin dual-GPU MacBook: amdgpu VCE hang + failed GPU reset (upstream, needs triage/mitigation)by CG-8663· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1124Default fcitx5 service breaks Hyprland multi-layout keyboard switching (bar label switches, typing doesn't)by je2020je· open at sourcebug
Out of area
Decided· Out of scope - R-1126System tray icon goes blank after an attention-icon round-trip (Qt SystemTrayIcon message)by Ant2210· open at sourcebug
Out of area
Decided· Out of scope - R-1127XCompose migrations restart fcitx5 and can crash running Steamby cking-bot· open at sourcebug
Out of area
Decided· Out of scope - R-1128Audio panel per-application sliders do not receive pointer inputby sgersz· open at sourcebug
Out of area
Decided· Out of scope - R-1129Plugin hot-reload: qs ipc calls keep hitting the destroyed bar-widget instance (stale IpcHandler) until omarchy-restart-shellby nixfred· open at sourcebug
Out of area
Decided· Out of scope - R-1130omarchy-update-mise forces MISE_MINIMUM_RELEASE_AGE=0 and ignores npm min-release-ageby berenddeboer· open at source
Out of area
Fixed