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.
Every report in every tab.
- R-1020Agents panel keeps stale Claude usage for hours after the clock is set back at bootby rdjperron· closed — completed at sourcebugReceived
- R-4857omarchy font set resets foot's font size to a hardcoded 9pt, desyncing it from omarchy display text sizeby 77-223255· closed — completed at sourceReceived
- R-4856sudo omarchy update aborts with "OMARCHY_PATH: unbound variable" in omarchy-update-devby MaurizioFaeddaDev· closed — completed at sourceReceived
- R-4855Display panel's scale presets silently no-op when `monitors.lua` has explicit per-output `hl.monitor` lines — per-monitor scaling and the bar panel are mutually exclusiveby isaac30503· closed — completed at sourceReceived
- 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-4854Windows VM: launch fails silently when the container leaves ~/Windows setgid (chmod 0700 cannot clear it)by rogerfsh· closed — completed at sourceReceived
- 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-1025Lock screen re-arms fingerprint PAM indefinitely — 6,451 cycles / 6,454 USB resets over 53hby surfstyk· closed — duplicate at sourcebugduplicateFixed
- R-1026Add configurable auto-suspend timeout to Quickshell settingsby pszponder· open at sourceenhancement
Out of area
Decided· Out of scope - R-4853omarchy toggle bar on/off has inverted semanticsby curtisc· closed — completed at sourceReceived
- 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-4852quickshell SIGSEGV in VDMListDelegateDataType::createMissingProperties when PipeWire restarts with cachedAudioSinksby dorsetineb· closed — completed at sourceReceived
- 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-1031Lock screen retries fingerprint PAM every 250ms with no backoff, preventing fprintd recoveryby kirkules1000010· closed — completed at sourcebugFixed
- 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-4851omarchy-launch-spotify does nothing when quickshell.spotify is runningby drithird· closed — completed at sourceReceived
- R-1034Runaway memory leak in quickshell causing system-wide OOMby austrasien· open at sourcebugReceived
- R-4850hypr/nvidia.lua: LIBVA_DRIVER_NAME=nvidia corrupts hardware video decode on hybrid laptops where the compositor renders on the iGPUby andrea-bavetta· closed — completed at sourceReceived
- 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-4849omarchy-windows-vm: launch/remove fail silently when ~/Windows has setgid (numeric chmod can't clear it since coreutils 9)by hyrujan· closed — completed at sourceReceived
- R-4848IPU6 MIPI cameras (ov01a10 / OVTI01A0) get no setup — hardware detection only covers IPU7by extragloves· closed — completed at sourceReceived
- 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-4847omarchy-hook always runs .d hook scripts with bash, breaking non-bash hooks despite correct shebang + exec bitby DookyShooz· closed — completed at sourceReceived
- 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-1044Confirm destructive power actions in the system menuby ferlemes· open at sourceenhancementFixed
- R-1045Lock screen fails: WlSessionLock.surface does not create WlSessionLockSurfaceby WalidBabi· open at sourcebugReceived
- 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-4846Fingerprint PAM race condition crashes quickshell (SIGSEGV)by echodust· closed — completed at sourceReceived
- R-4845omarchy-hw-fingerprint misses the Chipsailing CS9711: vendor 2541 unlisted, and its product string reads "Fingprint"by francesc· closed — completed at sourceReceived
- 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-4844Crash: "Tried to show lockscreen surfaces without active lock" on shell restartby WalidBabi· closed — completed at sourceReceived
- R-4843omarchy toggle touchpad fails to detect touchpads like synaptics-tm3096-006by vicXvac· closed — completed at sourceReceived
- 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-1057Enabling a second clone of the same plugin leaves both active; two omarchy.lock clones crash-loop the shell until it gives upby samara-hub-ro· open at sourcebugReceived
- 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-4842Custom bar plugin (bar.id in shell.json) fails to render — required properties can't be set through Loader.sourceby sbgart· closed — completed at sourceReceived
- 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-4841omarchy-battery-status only reads first battery on dual-battery ThinkPadsby tahmidft· closed — completed at sourceReceived
- R-4840omarchy install service sunshine fails: enabling by Alias= before the unit is enabled can never resolveby mikkelon· closed — completed at sourceReceived
- R-4839omarchy-update-available is not concurrency-safe: overlapping runs report a false "up to date", hiding the bar's update icon on multi-monitor setupsby jg-partisia· closed — not planned at sourceReceived
- R-4838Plugin hot reload never clears the QML component cache: Qt.clearComponentCache is not a QML API, so the guard at shell.qml:757 is always falseby johnstoj· closed — completed at sourceReceived
- R-4837Rapid lock-screen fingerprint retries can leave the reader unusableby NeroSong· closed — completed at sourcebugFixed
- 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 - R-4836Nautilus doesn't follow the theme paletteby suleman-dawood· closed — completed at sourcebugReceived
- R-4835Plugin hot-reload while the session is locked aborts Quickshell, and the lock screen never recoversby AndrewGaspar· closed — not planned at sourceReceived
- R-4834omarchy-windows-vm: launch fails when the dockur container re-adds setgid to ~/Windowsby Rana-Droid-7· closed — completed at sourceReceived
- R-1066omarchy-shell crash-loops after stranded-lock recovery hits a placeholder screen, eventually filling the runtime tmpfs and killing all keybindingsby physicalproblems-dot· open at sourcebugReceived
- R-1067Leftmost menu bar icons stop working after closing an appby death366· open at sourcebugReceived
- Decided· Out of scope
- R-4833Quickshell crashes (SIGABRT) on plugin hot-reload: "Tried to show lockscreen surfaces without active lock"by houz42· closed — completed at sourceReceived
- R-4832omarchy-system-lock reports success when shell IPC never requests a lockby bigminer· closed — not planned at sourceFixed
- 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-4831quickshell (Omarchy shell) aborts: "Tried to show lockscreen surfaces without active lock"by lama7· closed — completed at sourceReceived
- R-4830SUPER + J (togglesplit) raises "no such layoutmsg for scrolling" on scrolling-layout workspacesby johnwu· closed — completed at sourceReceived
- R-4829Bluetooth power-off is presented as “No adapter” and removes the control to turn it back onby sangjaepark0000· closed — completed at sourceReceived
- 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-4828omarchy install service sunshine aborts before firewall/webapp/autostart: systemctl --user enable --now sunshine cannot resolve the Alias= on a fresh installby mfbergmann· closed — completed at sourceReceived
- R-1075Quickshell SIGABRT ("Tried to show lockscreen surfaces without active lock") when a plugin live-reloads while the screen is lockedby ninepointlabs· closed — completed at sourcebug
+4 also reported· show· hide
R-1075 is where this defect is tracked; these reports say the same thing.
- Plugin hot-reload while locked destroys the lock client; Quickshell then SIGABRTs R-1147filed Aug 31, 2026Open upstream.
- quickshell crashes with "Tried to show lockscreen surfaces without active lock" during plugin reload R-911filed Sep 6, 2026Open upstream.
- Editing any ~/.config/omarchy/plugins file while locked aborts the shell (SIGABRT: "Tried to show lockscreen surfaces without active lock") R-849filed Sep 7, 2026Closed upstream on 2026-10-11 by the bot omarchybot, as a duplicate (target not recorded).
- Cloned omarchy.lock: built-in lock still loads at shell startup, two session locks race and Quickshell crashes R-5315filed Oct 10, 2026Open upstream.
Fixed - R-4827Display flashing in Chromium on X.com on hybrid Intel+NVIDIA laptop (LIBVA_DRIVER_NAME=nvidia forces NVIDIA VA-API while Chromium renders on iGPU)by joebdrx· closed — completed at sourceReceived
- 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-4826omarchy-install-hermes-cli readiness probe never passes — --oneshot is top-level in hermes --help, not under hermes chatby swzv· closed — completed at sourceReceived
- R-4825Lock screen password field loses keyboard focus after DPMS blank (hybrid NVIDIA GPU)by SamW7890· closed — completed at sourceFixed
- R-4824Bar: custom command modules log a "moduleName" read-only TypeError on every loadby chrisekelley· closed — completed at sourceReceived
- 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-4823omarchy-windows-vm: setgid on ~/Windows silently blocks every privileged VM actionby ACooperDev· closed — completed at sourceReceived
- 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-1088omarchy-agent-usage-claude logs one stderr line per unreadable transcript, filling $XDG_RUNTIME_DIR and killing the compositor with SIGBUSby StefanMaron· closed — completed at sourcebugReceived