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-851Recursive plugin inotify + 150ms reload: git checkout / save storms take down the shellby gw7523· open at sourcebug
Out of area
Decided· Out of scope - R-852Super+V send_key_state can stick and retrigger the bind (~6k forks/s)by gw7523· open at sourcebug
Out of area
Decided· Out of scope - R-853Silent lock-screen login loop when ~/.config/uwsm/env.d has a shell error (UWSM preloader fails with no UI)by austrasien· open at source
Out of area
Decided· Out of scope - R-855Tiled dual-DP 5K (LG UltraFine): stock preferred mixed-modeset blacks out laptop and external; modeless recovery misses all-disabledby bjcatar· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-856USB-C / Thunderbolt power blip reports lid-close while lid is open and instantly suspendsby bjcatar· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-857omarchy-shell freezes (input grab) when clicking systray icon during startupby exfilroute· open at sourcebug
Out of area
Decided· Out of scope - R-858Agents panel: limits and balance meters are visually identical but mean opposite things; collector estimate marker is strippedby tobias-hui· open at sourcebug
Out of area
Decided· Out of scope - R-859`omarchy-crash-watch` self-sustains a coredump loop: its self-exclusion guard matches process names, but its own health check crashes as `quickshell`by pfunderdome· open at sourcebug
Out of area
Decided· Out of scope - R-862Reminders use a monotonic timer, so the countdown pauses while the laptop is suspendedby mnemonicspace· open at sourcebug
Out of area
Decided· Out of scope - R-863Spotify's lazy load (on-demand installation) fails, complains that the Spotify tar is too large.by irony-cte· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-865T1 MacBook (macbook-t1.conf) still ships pcie_ports=compat, breaking Thunderbolt dock PCIe tunneling — migration 1785944594 only covers T2by jeyrb· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-868IPU7 camera: ov08x40 sensor bind is lost on suspend/resume and camera-init can't restore it (XPS 16 DA16260)by suhaskashyaps· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-869VMware guest: installer leaves the system without open-vm-tools (live ISO has them); plus working fix for the 3D-acceleration grey screen (#8113)by kevincasier· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-870Network bar icon shows disconnected while Wi-Fi is up (kind uses scan-derived connectedWifiNetwork, stale while panel closed)by kosovim-dev· open at sourcebug
Out of area
Decided· Out of scope - R-871omarchy-hw-external-monitors false positive from tiny-dfr Touch Bar DRM device causes lid-close lock to silently fail (T2 Macs)by kutassy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-872Stale Brave Origin SingletonLock shipped in Try Omarchy image prevents the browser from starting (#4149 regression)by m-a-mohsen· open at sourcebug
Out of area
Decided· Out of scope - R-873fix: mark cached Claude limits stale after a failed refreshby parker-brown-family· open at sourcebug
Out of area
Decided· Out of scope - R-875ConfirmDialog: fixed-width buttons clip long confirmText labelsby corck· open at sourcebug
Out of area
Decided· Out of scope - R-876rog-control-center 6.3.8-1 crashes with SIGSEGV on in-app exit; upstream is at 6.4.0 — please update packageby disonjer· open at source
Out of area
Decided· Out of scope - R-877Menu opens in time quadratic to its row count (231-row keybindings menu spends 111ms in redundant height passes)by mihb123· open at sourcebug
Known issueKI-MENU-OPEN-QUADRATIC
duplicateofKeybindings cache key includes volatile "active keymap" state, causing repeated 540ms cold rebuilds R-1487· describes KI-MENU-OPEN-QUADRATIC· every defect it describes is already reported
Decided· Duplicate - R-8784.0.2 free-space install registers no UEFI boot entry — boots straight to Windowsby exergonic· open at sourcebug
Out of area
Decided· Out of scope - R-879omarchy.active-window shows the focused window's title on every monitor's barby krys-anto· open at sourcebug
Out of area
Decided· Out of scope - R-880Chromium tab tear-out hangs the browser: apps/browser.lua force-tiles the torn-off window so it can't follow the pointerby krys-anto· open at sourcebug
Out of area
Decided· Out of scope - R-881Suspend/resume support for vintage MacBook Pro 13" 2017 (MacBookPro14,1): default `deep` sleep breaks Thunderbolt on resume — working s2idle enablement, patches forthcomingby orospakr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-884Monitor scaling changes leave GDK_SCALE stale in the app-launch environmentby Geokec· open at sourcebug
Out of area
Decided· Out of scope - R-886Default kb_options breaks Shift in all XWayland apps (Left Shift acts as ShiftLock)by ids444· open at sourcebug
Out of area
Decided· Out of scope - R-887Audio: no bit-perfect path for external USB DACs — everything is resampled to 48 kHzby FriedRover· open at sourceenhancement
Out of area
Decided· Out of scope - R-888Themed dimText falls below WCAG AA contrast on 19 of 22 first-party themesby slhuckstead· open at sourcebug
Out of area
Decided· Out of scope - R-889Clipboard manager cannot paste images into terminal apps: Shift+Insert is consumed as a text-only pasteby cxj05h· open at sourcebug
Out of area
Decided· Out of scope - R-890Repurpose SUPER + W for tab/view close now that SUPER + Q also closes windowsby mrosati84· open at sourceenhancement
Out of area
Decided· Out of scope - R-891Quickshell module not found - missing quickshell-corepluginby bafplus· open at source
Out of area
Decided· Out of scope - R-892Tailscale panel: group machines into My/Tagged/Other and add "/" searchby ssandys· open at source
Out of area
Decided· Out of scope - R-893Tailscale panel: exit node rows show OS hostname instead of MagicDNS nameby ssandys· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- R-896USB-C DP alt mode dead after LTTPR link-training failures (no HPD, zero events) until EC power drain — Yoga 14s ITL 2021by dunova· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-898[Bug] “Launching X...” notification never disappearsby williamcr01· open at sourcebug
Out of area
Decided· Out of scope - R-899omarchy-brightness-keyboard-auto.service is never installed to /usr/lib/systemd/user/, which also leaves every other omarchy user unit disabledby MrNextLevel· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-900Bluetooth panel silently fails to pair when two adapters are presentby gandhik· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-903omarchy-chromium-ytdlp-host does not unset LD_PRELOAD from Chromium/Vivaldi, crashing ffmpegby wisangdg· open at sourcebug
Out of area
Decided· Out of scope - R-905Zero-length internal-monitor-disable.lua wedges clamshell: lid-close becomes a no-op with no recovery pathby patrykbart· open at sourcebug
Out of area
Decided· Out of scope - R-906Early thunderbolt module removes firmware-provided dock USB before the LUKS promptby davidisgeek· open at sourcebug
Out of area
Decided· Out of scope - R-908SMB shares stop opening in file manager after suspend/resume — gvfs FUSE remount hook killed by suspend cgroupby IanTeda· open at sourcebug
Out of area
Decided· Out of scope - R-909Stock XF86TouchpadToggle binding never fires (Hyprland resolve_binds_by_sym defaults to false)by mlusetti· open at sourcebug
Out of area
Decided· Out of scope - R-910Hybrid GPU toggle: Integrated-mode transition deadlocks in snd_card_free because supergfxd unbinds the dGPU's HDA audio function while PipeWire holds it openby MirasMustimov· open at sourcebug
Out of area
Decided· Out of scope - R-912install/hardware/nvidia.sh never enables nvidia-suspend/resume/hibernate services, leaving stale GPU memory after suspend (causes Chromium renderer SIGILL crashes)by mudiam· open at sourcebug
Out of area
Decided· Out of scope - R-913Dropbox panel's resume/login start dropboxd without uwsm-app, orphaning it from [email protected]by orospakr· open at sourcebug
Out of area
Decided· Out of scope - R-914omarchy-snapshot: a failed sudo is reported as "No Snapper configs found", and the suggested fix overwrites a working /etc/snapper/configs/rootby ericziko· open at sourcebug
Out of area
Decided· Out of scope - R-915Screensaver: blank fullscreen window when Ghostty is the default terminal on a fractionally scaled monitor (Ghostty freezes on last pre-resize frame)by darnoldy· open at source
Out of area
Decided· Out of scope - R-916SUPER+S on an empty workspace opens empty scratchpad, and subsequently opened windows land in the scratchpad instead of workspaceby suleman-dawood· open at sourcebug
Out of area
Decided· Out of scope - R-917Add explicit plugin ID migration support for manifest renamesby iamcheyan· open at sourceenhancement
Out of area
Decided· Out of scope - R-918SDDM greeter's Hyprland config has no lid-switch/DPMS handling — external monitor won't wake after Log Out with lid closedby mehrdadkashefi· open at sourcebug
Out of area
Decided· Out of scope - R-921[Bug]: Intel Arc (xe driver) fails to wake up 240Hz DSC DisplayPort monitors after DPMS / sleep idleby ozdil· open at sourcebugcompatibility
Duplicate ofDon't DPMS-off Apple Studio Display on lock — USB4 tunnel dies until power cycle R-323— where this defect is tracked
+3 duplicate reports here· show· hide
Every defect they describe is already reported in this tab, and this report leads their main one. This tab lists one row per report that brings a defect of its own.
- Lock → unlock leaves Nvidia/DP monitor stuck at 640x480 until power cycle R-883filed Sep 7, 2026· open upstream
- External HDMI monitor stays black after idle wake until reboot R-527filed Sep 15, 2026· open upstream
- External-only HDMI display becomes unusable after idle lock/DPMS wake with eDP-1 disabled R-461filed Sep 16, 2026· open upstream
Decided· Duplicate - R-923Feature request: per-monitor workspaces by default, with a bar widget that shows each monitor's own blockby rsd· open at sourceenhancement
Out of area
Decided· Out of scope - R-924Problems with bluetooth connection. More of a BlueZ issue, rather than Omarchy issueby karlmarkuspress· open at sourcebug
Out of area
Decided· Out of scope - R-925Feature request: mirror workspace bindings to numpad keycodes (KP1–KP0)by christianjgilman· open at sourceenhancement
Out of area
Decided· Out of scope - R-926Hybrid Pascal (nvidia-580xx) + Intel iGPU: Hyprland crashes when dGPU-driven external monitors are actively used — i915 rcs0 GPU hang; NVIDIA-first AQ_DRM_DEVICES fixes itby christianjgilman· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-927Quattro (4.0.2): GPU-accelerated app windows (Electron/CEF, GTK4) never get a compositor surface on hybrid Intel+NVIDIAby sammyyakk· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-928Hyprland 0.56.2 SIGSEGV on Super+T: grouped window keeps a dead workspace CSpace, toggleTargetFloating dereferences expired m_parentby Dayruke· open at sourcebug
Out of area
Decided· Out of scope - R-930Left-click does nothing on menu-only tray items: omarchy.tray calls activate() unless ItemIsMenu is setby gafgpt-cmd· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-932Custom bar load failure can't fall back: pluginBarLoader.onStatusChanged throws ReferenceError on errorStringby tinterian· open at sourcebug
Out of area
Decided· Out of scope - R-933Top bar renders over fullscreen application when disabling mirroring and moving window to 2nd monitorby Jan-Berberich· open at sourcebug
Out of area
Decided· Out of scope - R-934Bar: custom command module with empty "text" renders the raw JSON — falsy fallback makes conditional widgets impossibleby raetsch-hue· open at sourcebug
Out of area
Decided· Out of scope - R-935`omarchy-system-sleep-monitor` falls back to deprecated D-Bus eavesdropping on every session startby zapbang· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-937ScreenRecording bar indicator stuck 'active' after boot despite no gpu-screen-recorder process runningby AmanKRoy· open at sourcebug
Out of area
Decided· Out of scope - R-938Top-bar widgets intermittently become unclickable due to cross-PanelWindow hit-testing in moduleClickTargetAt()by Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-939Fingerprint enrollment hangs on EgisTec EH570 (1c7a:0570) — sensor detected but driver can't communicate during enrollmentby 7kulk37· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-940SDDM greeter bricks the login screen when the theme lacks QtVersion=6, because no Qt5 is installedby thomas-vets· open at sourcebug
Out of area
Decided· Out of scope - R-941omarchy-mise-install wrappers in ~/.local/bin are shadowed by `mise activate` after first runby YotamPeled· open at sourcebug
Out of area
Decided· Out of scope - R-945Sunshine error 503 on hosts with no physical input (VM / GPU passthrough): idle screensaver blanks the display and KMS capture can never startby jimdawdy-hub· open at source
Out of area
Decided· Out of scope - R-946External monitor reconnect can ignore configured mode in clamshell dock setupby mkeiji· open at sourcebug
Out of area
Decided· Out of scope - R-947Bar widget stays disabled: enable/putBarWidget no-op once a plugin already has an overlay plugins[] entryby theaxlklo· open at sourcebug
Out of area
Decided· Out of scope - R-948Fresh offline-ISO install leaves pacman sync databases unpopulated — every Install-menu entry fails with "target not found"by elpargo· open at sourcebug
Out of area
Decided· Out of scope - R-950omarchy-debug output includes unredacted LAN IPs and MAC addresses, and the bug template asks users to attach itby wbnns· open at sourcebug
Out of area
Decided· Out of scope - R-952ThinkPad X1 Carbon Gen 14: lid s2idle never wakes; hibernate reboots; lid-open leaves panel darkby heredia21· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-953omarchy dns reports "Cloudflare"/"Google" for a Custom DNS list that merely contains 1.1.1.1 or 8.8.8.8by whitewillow· open at sourcebug
Out of area
Decided· Out of scope - R-954Bar height is rounded to whole logical pixels, ignoring monitor scale — 1px seams at fractional scaleby hdweiss· open at sourcebug
Out of area
Decided· Out of scope - R-955Plugins cannot declare that they replace a first-party service, so two can own the same surfaceby johnsideserf· open at sourceenhancement
Out of area
Decided· Out of scope - R-956Theme switcher lists a theme twice when a user theme override has no preview imageby johnsideserf· open at sourcebug
Out of area
Decided· Out of scope - R-957omarchy-shell SIGSEGV in QQuickItem::mapToScene while Qt synthesizes a context-menu eventby cuphinex· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-958Stock install does not expose AirPlay / HomePod speakersby ruttydm· open at sourceenhancement
Out of area
Decided· Out of scope - R-960Plymouth: LUKS unlock entry field rendered off-screen for full-screen logosby org-tekeli-borisp· open at sourcebug
Out of area
Decided· Out of scope - R-961omarchy-launch-screensaver: pgrep -f matches unrelated processes, so the screensaver silently no-ops with exit 0by granite4lyfe· open at sourcebug
Out of area
Decided· Out of scope - R-962Power panel invents a "Charge limit / Holding" state on hardware with no charge-control supportby gabamnml· open at sourcebug
Out of area
Decided· Out of scope - R-964Workspace highlight stays on the destination monitor's old workspace after moving a workspace between monitors (focusedmon precedes moveworkspacev2)by sedulam· open at sourcebug
Out of area
Decided· Out of scope - R-965omarchy-network-speedtest can run unbounded and burn huge amounts of data if the panel UI diesby doitn0w· open at sourcebug
Out of area
Decided· Out of scope - R-966Surface outdated mise-managed tools in the barby timolehto· open at sourceenhancement
Out of area
Decided· Out of scope - R-967Brave has no speechSynthesis voices on a default Omarchy install (Google Translate Listen is silent)by fernandofreamunde· open at sourcebug
Out of area
Decided· Out of scope - R-9691password 8.12.34-34 crashes with SIGILL on CPUs without AVX-512by inumineq· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-970install/hardware/intel/fred.sh writes a `fred=on` cmdline that Linux 7.1 no longer readsby Faxulous· open at sourcebug
Out of area
Decided· Out of scope - R-971ptl-kernel.sh never removes the stock kernel: `pacman -Rdd linux linux-headers` aborts when linux-headers isn't installed, and `|| true` hides itby Faxulous· open at sourcebug
Out of area
Decided· Out of scope - R-972Google Meet Picture-in-Picture window never floats: pip.lua matches "^Meet - .+" but Chromium uses an en dashby akserikawa· open at sourcebug
Out of area
Decided· Out of scope - R-973omarchy-windows-vm: RDP connects before Windows finishes booting on cold startby MykelSIlver· open at sourcebug
Out of area
Decided· Out of scope - R-974Identical notifications are no longer grouped since the Quickshell notification daemon replaced makoby rdjperron· open at sourcebug
Out of area
Decided· Out of scope - R-975Codex agent collector times out on rateLimits RPC due to buffered reader and 4s deadlineby kcodedev· open at sourcebug
Out of area
Decided· Out of scope - R-976Bluetooth panel: unbounded StartDiscovery retry wedges the controller and kills LE background scanningby bukson· open at sourcebug
Out of area
Decided· Out of scope