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-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 - Fixed
- R-922omarchy-hibernation-remove leaves stale resume.conf, breaking re-setupby jorgenfoss· closed — duplicate at sourcebugduplicate
Out of area
Fixed - 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-944Transparent bar keeps the previous theme's text colour: the refresh request is dropped while a sample is in flightby 9r0j3c70521· open at sourcebug
Out of area
Fixed - 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-951Clamshell gate makes pam_exec log an error on every sudo and polkit auth (16% of all error-priority journal lines)by wbnns· open at sourceenhancement
Out of area
Fixed - 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 - Fixed
- 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 - R-977o.launch_on_start()/o.launch() breaks Hyprland's [workspace N silent] exec-rule bracket syntaxby je2020je· open at sourcebug
Out of area
Decided· Out of scope - R-978Keyboard layout widget switches Logitech G502 instead of physical keyboardby szalikdev· open at sourcebug
Out of area
Decided· Out of scope - R-979omarchy font set prints omarchy-notification-send usage error when the font name contains a spaceby TheRealGhost007· open at sourcebug
Out of area
Decided· Out of scope - R-980Presentation terminal disappears after Update restarts the shellby falser101· open at sourcebug
Out of area
Decided· Out of scope - R-981plugins.md (agent skill) overstates hot-reload for bar-widget plugins — new bar-widget code needs a full shell restart, not just a saveby Ch4pt3r23· open at source
Out of area
Decided· Out of scope - R-982T2 Macs: battery charge limiting is unreachable — applesmc binds no device, and the t2bce stack has no SMC transportby ratandeepbansal· open at source
Out of area
Decided· Out of scope - R-983Bluetooth audio dropouts on T2 MacBook Pro 16" 2019 — hci_uart_bcm binds instead of hci_bcm4377by ratandeepbansal· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-984omarchy-upgrade-to-quattro: retired user configs are backed up but never removed; the abort is reported as successby Sean-Mulcahy· open at sourcebug
Out of area
Decided· Out of scope - R-985omarchy-mise-install wrapper's bare 'mise use -g <tool>' doesn't refresh to actual latestby apeltheory· open at sourcebug
Out of area
Decided· Out of scope - R-986quickshell wedges alive (spinning, IPC-dead) after S3 resume on single-GPU NVIDIA desktop; omarchy-restart-shell cannot recover itby noahkrueger· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-987Install > Web App displays Done after validation failureby scossar· open at sourcebug
Out of area
Decided· Out of scope - R-988Double-click on the Dictation indicator runs omarchy-restart-shell twice and segfaults quickshell in IpcHandler::updateRegistrationby Ta-noshii· open at sourcebug
Out of area
Decided· Out of scope - R-990omarchy-nvim ships a dead plugin URL: `gthelding/monokai-pro.nvim` 404s, so `:Lazy sync` reports fetch failedby marcelobritu· open at sourcebug
Out of area
Decided· Out of scope - R-991setting us,colemak is not setting to colemak but to default us keyboard.by dmuiX· open at sourcebug
Out of area
Decided· Out of scope - R-992`omarchy setup security fingerprint` aborts before configuring PAM when verify can't claim the reader after enroll (Validity VFS5011)by m4dmurd0c· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-993Display panel scale-preset button loses a border edge at 1.25x (not 1.6x)by ljpavlovski· open at sourcebug
Out of area
Decided· Out of scope - R-994Bar tooltip loses a border edge at display scale 1.25x (not 1.6x)by ljpavlovski· open at sourcebug
Out of area
Decided· Out of scope - R-996Menu "Remove app" deletes a shell plugin's launcher but leaves the plugin installed and runningby denlunev· open at sourcebug
Out of area
Decided· Out of scope - R-997Shipped herdr config binds prefix+shift+k to close_workspace, silently shadowing herdr's default swap_pane_upby t1nk333r· open at sourcebug
Out of area
Decided· Out of scope - R-998Hibernate restore hangs on iMac17,1 (amdgpu Bonaire/CIK), and every Limine entry carries resume= — no bootable menu entry left after a failed resumeby madakas· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1000BrowserColorScheme "device" is rejected by Chromium-family browsersby timolehto· open at sourcebug
Out of area
Decided· Out of scope - R-1001Default Voxtype type mode can corrupt longer Japanese/CJK dictation through wtypeby komagata· open at sourcebug
Out of area
Decided· Out of scope - R-1002Screenshots take ~1.6s on 6K: grim uses default PNG compression (-l 6)by phuclh· open at sourcebug
Out of area
Decided· Out of scope - R-1003"Kernel has been updated. Reboot?" on every update on Arch ARM (linux-aarch64)by ericmoret· open at sourcebug
Out of area
Decided· Out of scope - R-1004Hibernate resume fails (nv_pmops_freeze → -EIO) on single-NVIDIA-GPU desktops — initramfs nvidia load blocks the resume hookby unconnect· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1005Hibernate on pre-T2 Intel Macs reboots instead of powering offby animadito· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1006omarchy hibernation remove leaves /etc/limine-entry-tool.d/resume.conf behind, so the rebuilt UKI still boots with resume= pointing at the deleted swapfileby brenodyego· open at sourcebug
Out of area
Decided· Out of scope - R-1007`omarchy plymouth set` under sudo silently half-applies the theme and still rebuilds the initramfs — no `set -u`, no $OMARCHY_PATH fallbackby tomputer22· open at sourcebug
Out of area
Decided· Out of scope - R-1008Top-bar widgets intermittently stop responding to mouse clicksby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - 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