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-749Lock-screen DPMS blank breaks DisplayPort MST wake and requires rebootby garymeyerca· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4996omarchy-update-dev fails with unbound variable OMARCHY_PATH under sudoby henriquemeira· closed — completed at sourceReceived
- R-750Third-party bar-widgets never receive barWidgetRegistry, so a widget cannot host other widgetsby kevinbsr· open at sourcebug
Out of area
Decided· Out of scope - R-751plugin enable and bar put report success without placing a widget listed in plugins[]by kevinbsr· open at sourcebug
Out of area
Decided· Out of scope - R-752Bar popup panels can leave a stuck full-screen overlay that blocks inputby M0VO· open at sourcebug
Out of area
Decided· Out of scope - R-753KDE Connect notifications display literal " entitiesby jeancarlosg93· open at sourcebug
Out of area
Decided· Out of scope - R-4995Battery service forks powerprofilesctl get every 2 s for the whole session (~5% of a core, on battery too)by vstoyanov· closed — completed at sourceReceived
- R-4994Cloned bar option fails to load (required props), and stock-bar fallback never engages (errorString ReferenceError)by TheeHk-blip· closed — completed at sourceReceived
- R-754Bar widgets under a replacement (cloned) bar cannot resolve their own service — panel dead-ends on "warming up"by Tiedeyez· open at sourcebug
Out of area
Decided· Out of scope - R-755Triage data: 78 open PRs are 16 distinct fixes (verified by shared file)by aholbreich· open at source
Out of area
Decided· Out of scope - R-756ASUS ROG: soft-mixer caps hardware Master at 80% so bar "100%" is not full volumeby rdoupe· open at sourcebug
Out of area
Decided· Out of scope - R-757Screensaver renders behind pinned (Super + O) windows, leaving the screen visibleby Damndionic· open at sourcebug
Out of area
Decided· Out of scope - R-4993App launch OSD popup ('Launching <app>...') can get permanently stuck on screenby Louis454545· closed — completed at sourceReceived
- R-4992Default-editor setting has no effect on file-manager/XDG MIME default (still opens Neovim)by pop400· closed — completed at sourceReceived
- R-759fix-powerprofilesctl-shebang runs only at install time, so every power-profiles-daemon upgrade silently reverts itby blurxy· open at sourcebugFixed
- R-760omarchy-launch-about: window auto-fit resize is a no-op, truncates fastfetch outputby mlogick· open at sourcebug
Out of area
Decided· Out of scope - R-4991Cloned menu plugins get null shell.appLibrary — Apps submenu is emptyby KalEl117· closed — completed at sourceReceived
- R-761External monitors on a USB-C dock never return after undocking (aquamarine 0.15.0 regression)by jacobrosenthal· open at sourcebug
Out of area
Decided· Out of scope - R-762Panel Replay desktop lag on Dell XPS 14 after 4.0.3 update; reproduces on 7.2.4 base kernelby rbulcher· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4990appLibrary not granted to third-party plugins with kind "menu" (4.0.3)by julihermes· closed — completed at sourceReceived
- R-4989Black screen or plymouthd crash under Proxmox with GPU passthrough, can boot with serial console helpby romixlab· closed — completed at sourcebugReceived
- R-763CLI --help doesn't reveal sibling command with shared prefix (monitor internal vs monitor internal mirror)by vadimlungu· open at sourceenhancement
Out of area
Decided· Out of scope - R-4988Bug: Array.isArray fails on manifest.kinds QJSValue, causing PluginShellApi revocation for 3rd-party menu pluginsby ankardo· closed — completed at sourceReceived
- R-764SOF ThinkPad: no headphone autoswitch, stale HDMI default, MPRIS pause on jack, mute LED darkby JeffFlag· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-765Installer maps Azerbaijani to the French AZERTY keymap (and Lao to Latin American Spanish)by BRashad· open at sourcebug
Out of area
Decided· Out of scope - R-4987omarchy windows vm: fails to launch after first run — setgid/shared dir rejected (chmod 0700 doesn't clear setgid)by iainlennox· closed — completed at sourceReceived
- R-766Last-resort fontconfig rule only covers Arabic — every other non-Latin script (Tamil, Devanagari, etc.) renders as tofu boxes in Chromium/Electronby ganjeez· open at sourcebug
Out of area
Decided· Out of scope - R-7674.0.3: a third-party panel's failed write to the now read-only centerHoverRevealSuppressed locks the whole sessionby weedwhitesandwine· open at sourcebug
Out of area
Fixed - R-768Third-party services can no longer observe bar hover and popup stateby D-Gaspa· open at source
Out of area
Decided· Out of scope - R-769Notification card shows Qt broken-image placeholder box for unresolvable app_icon (e.g. Claude Code's 'claude')by qtn10· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-770MacBook5,1 / BCM4322: document wl-first boot workaround for Wi-Fi failures after rebootby flocca· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-7714.0.3 regression: third-party bar-widget/panel plugins break (News Radar widget silently vanishes; themo.nfl / omaprox / agent-bar throw QML TypeErrors)by dreed47· open at sourcebug
Out of area
Decided· Out of scope - R-4986Cloned menu plugin loses its appLibrary capability on plugin re-instantiation — Apps submenu is always emptyby Dazzle-sys· closed — completed at sourceReceived
- R-772omarchy-launch-webapp fails silently when the browser .desktop Exec= is a wrapper (env VAR=val brave …)by bakuro117· open at sourcebug
Out of area
Decided· Out of scope - R-4985Dell XPS 13 DX13260 (1028:0e53): intermittent sof_sdw card-instantiation failure (-16 EBUSY) + CS35L56 amps can't read tuning IDs even when files existby aarondouglasrich· closed — completed at sourceReceived
- R-4984omarchy-windows-vm: setgid on ~/Windows silently blocks every launch (chmod 0700 cannot clear setgid on a directory)by ids444· closed — completed at sourceReceived
- R-4983Manual errorby lucserre· closed — completed at sourcebugReceived
- R-7734.0.3: third-party bar-plugin popups become stuck overlays that cannot be dismissedby morindat· open at sourcebug
Out of area
Decided· Out of scope - R-774Brave-Origin missing from native messaging host registration (yt-dlp + copy-url)by Baniel83· open at sourcebug
Out of area
Decided· Out of scope - R-775omarchy-network-speedtest under-reports download 2-4x on multi-gigabit links: fast.com OCA nodes cap per-client egress while upload POSTs are discardedby ids444· open at sourcebug
Out of area
Decided· Out of scope - R-7764.0.3 upgrade replaces broadcom-wl with DKMS without installing kernel headers, breaking Wi-Fi after rebootby cdevroe· open at sourcebug
Out of area
Decided· Out of scope - R-49824.0.3: third-party plugins get appLibrary=null and a manifest stripped of __sourceDir, both silentlyby trustimagetiago· closed — completed at sourceReceived
- R-4981Super+K keybindings menu hangs forever when user config iterates hl.get_monitors() with ipairsby RodriMora· closed — completed at sourceFixed
- R-777Screen recordings with audio are written at 96 kHz AAC (loudnorm missing -ar)by davidstillson· open at sourcebug
Out of area
Decided· Out of scope - R-49804.0.3: third-party plugins cannot read their own shell.json entry, and lock clones cannot reach their own serviceby pata27· closed — completed at sourceReceived
- R-778Single-window square aspect toggle reports success but does nothing on scrolling-layout workspacesby haydenmckay· open at sourcebug
Out of area
Decided· Out of scope - R-779Multi-monitor hotplug while locked traps input on unrendered surface and deadlocks power button (HandlePowerKey=ignore)by LoupiBe· open at sourcebugReceived
- R-780hyprctl SIGBUS during Omarchy-triggered system updateby trucha74205· open at sourcebug
Out of area
Decided· Out of scope - R-781Hermes setup: Nous unavailable-model list hides selectable rows, making arrow navigation appear frozenby stravis11· open at sourcebug
Out of area
Decided· Out of scope - R-782Hyprland crashes when dragging windows (CDwindleAlgorithm::movedTarget)by mat888· open at sourcebug
Out of area
Decided· Out of scope - R-4979Top Bar Click Areas Become Vertically Misaligned After Tray/Widget Changesby Rambo176· closed — completed at sourcebugReceived
- R-4978Cloned menu plugin gets null appLibrary, Apps submenu always emptyby syvanpera· closed — completed at sourceReceived
- R-783ASUS ProArt P16 (Ryzen AI 9 HX + RTX): live ISO freezes; needs amdgpu.dcdebugmask + nouveau blacklistby lixado· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4977Network widget reports "Ping: Timeout" and "Packet Loss: 100%" on networks that block ICMP — probe uses `ping` instead of a TCP-based checkby rahmatov-abdullaxon· closed — completed at sourcebugReceived
- R-4976[Regression] linux-ptl 7.2.3: IPU7 / OV08X40 sensor missing from media graph on Dell XPS 14 DA14260by milep· closed — completed at sourcebugReceived
- R-4975Cloned omarchy.menu plugin shows empty Apps submenuby AndreyCJ· closed — completed at sourceReceived
- R-784Limine-only update leaves limine_x64.efi unsigned — zz-sbctl.hook glob never matches BOOTX64.EFI (case-sensitive), causes Secure Boot Violation lockoutby LoboHacks· open at sourcebug
Out of area
Decided· Out of scope - R-785Bar widget popups leave a stale ghost frame on screen after closingby ricardomillerjr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-786Dropbox cannot complete account linking because generated systemd service kills self-updated daemonby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-787Low-battery warning never fires while docked: onBattery guard suppresses it when a dock supplies power but the battery still drainsby zorzysty· open at sourcebug
Out of area
Decided· Out of scope - R-7884.0.3 bar-widget sandbox scopes _moduleWidgets to the caller, silently breaking bar-organiser pluginsby PeterHennesey· open at sourcebug
Out of area
Decided· Out of scope - R-4974omarchy-hyprland-monitor-external-active counts Hyprland's FALLBACK output → laptop panel stuck off after undock-by-unplugby qtn10· closed — completed at sourceFixed
- R-789omarchy-launch-shell exits silently when compositor_alive() false-negatives during output reconfiguration, leaving no barby matti-lamppu· open at sourcebugReceived
- R-7904.0.3 bar-widget sandbox drops the bar drag API from PluginBarApi, silently breaking drag-into-widget pluginsby aksasahara· open at sourceenhancement
Out of area
Decided· Out of scope - R-4973Cloned menu plugin (menu+bar-widget kinds) loses appLibrary after plugin rescan, Apps list goes emptyby hermes-os· closed — completed at sourceReceived
- R-791ASUS Zenbook UM3406KA touchpad stops responding after s2idle resumeby ottosilva· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4972omarchy toggle bar: on/off arguments are invertedby fubartutu· closed — completed at sourceReceived
- R-792Live monitor scale change (Display panel / hl.monitor eval) desyncs multi-monitor position, causing overlap or vertical offsetby straylight· open at sourcebug
Out of area
Decided· Out of scope - R-793ThinkPad X1 Carbon Gen 13: RT1318 speakers permanently silent after SoundWire CTRL_CLASH (empty Cadence PING)by aramsdale· open at sourcebug
Out of area
Decided· Out of scope - R-794Bar drag-reorder moves wrong instance for widgets with allowMultiple (matches by module id, first wins)by BriamLeyton· open at sourcebug
Out of area
Decided· Out of scope - R-795Hyprland 0.56.2 crash on mouse input: Lua Check::string bad_any_cast (SEGV -> ABRT)by exergonic· open at sourcebug
Out of area
Decided· Out of scope - R-4971Cloned omarchy.menu shows empty Apps launcher (appLibrary null) on 4.0.3by profemzy· closed — duplicate at sourceReceived
- R-4970Third-party menu clones get null appLibrary in 4.0.3, Apps submenu emptyby crueber· closed — completed at sourceReceived
- R-7964.0.3: third-party plugins lost read access to their own shell.json entry, but updateEntryInline still replaces it — plugin settings are silently destroyedby rgreboucas· open at sourcebug
Out of area
Decided· Out of scope - R-4969omarchy install service sunshine fails: unit sunshine.service does not existby uceraksu· closed — completed at sourceReceived
- R-4968Bar toggle on/off behavior is invertedby carlospp95· closed — completed at sourceReceived
- R-797`omarchy setup security fingerprint` fails at enroll on readers libfprint can't drive (Validity VFS491, 138a:003d)by NianticBooks· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-798omarchy-shell hot-reload storms when a plugin directory receives rapid writes (e.g. in-place builds)by jonathancostin· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-799Wi-Fi becomes unusable while still connected — RTL8723DE / rtw88_8723deby sudo-WearTherinG· open at sourcebug
Out of area
Decided· Out of scope - R-8004.0.3 bar-widget sandbox leaves no way for a plugin to enumerate plugins, silently breaking omaplugby PapaHawk14· open at sourceenhancement
Out of area
Decided· Out of scope - R-801[shell/bar] ModuleSlot implicit dimensions do not consider slot.visibleby harlanljones· open at sourcebug
Out of area
Decided· Out of scope - R-802Shell config mutations rewrite shell.json from in-memory state — concurrent/external edits silently lost, service plugins[] entries vanishby taisau· open at sourcebug
Out of area
Decided· Out of scope - R-803Layout widget switches only one of several real keyboards, so a laptop with an external keyboard half-switchesby fabeider· open at sourcebug
Out of area
Decided· Out of scope - R-804Shell leaks VRAM on failed EGL context creation, causing Super+Space/menu to silently stop working (NVIDIA, low VRAM)by wbohannon· open at sourcebugReceived
- R-805Unable to complete Omarchy Update Process if Monitor is Disconnected During Processby lastonboard· open at sourcebug
Out of area
Decided· Out of scope - R-4967Apps menu empty ("Nothing here yet") after upgrading to 4.0.3by michalmielczynski· closed — completed at sourceReceived
- R-806KeyboardPanel dismissal recreates N-1 full-screen layer-shell surfaces on every open — laggy on many-monitor setupsby jacobtminson· open at sourcebug
Out of area
Decided· Out of scope - R-807Quickshell render-thread SIGSEGV when stepping monitor scale down from 4 on a 6K display (QSGRhiLayer requests 18432×7680, over GPU max 16384)by axelfontaine· open at sourcebug
Out of area
Decided· Out of scope - R-4966Apps submenu empty for cloned/third-party menu plugins (shell.appLibrary null) since 4.0.3by Doghouse-Mike· closed — completed at sourceReceived
- R-808Regression (4.0.2→4.0.3): publicPluginManifest() strips __sourceDir, breaking third-party plugins that locate their own filesby redglover· closed — completed at sourcebugReceived
- R-4965Idle screensaver/lock triggers during windowed Firefox video playbackby victoralekseev5597· closed — completed at sourceReceived
- R-4964The lock screen flashes on and re-blanks in a loop while the screen is still locked.by ianvanhoof· closed — completed at sourcebugFixed
- R-809Wayland SDL application causes immediate lock when it exitsby Thomas-Bard· closed — completed at sourcebugReceived
- R-810Apple Silicon: speakersafetyd's post-resume PCM reinit wedges/crashes wireplumber, leaving audio stuck muted (no resume-fix, unlike wifi/HID/NVMe)by doomnote· closed — not planned at sourcebugcompatibilityReceived
- R-811Wi-Fi resume fix (fix-wifi-resume.sh) excludes BCM4388 (14e4:4434), but it wedges on real lid-close suspend tooby doomnote· closed — not planned at sourcebugcompatibilityReceived
- R-4963omarchy-windows-vm fails silently when ~/Windows carries the setgid bitby pbecks1963· closed — completed at sourceReceived
- R-812Theming docs don't warn that fonts and bar position are global, not theme-scopedby lucasvidela94· open at sourcedocumentation
Out of area
Decided· Out of scope - R-4962AMD display freeze retains valid mode and active CRTC, bypassing monitor recovery; DPMS restores sessionby theinventor· closed — completed at sourceReceived
- R-813SDDM boot greeter clips on mixed displays and ignores Colemak/Russian layoutsby backmeupplz· open at sourceenhancement
Out of area
Decided· Out of scope - R-814SUPER+ENTER abre terminal no cwd de um processo auxiliar da janela focada (ex: download do Edge em ~/Downloads)by yagobmoreira· open at sourcebug
Out of area
Decided· Out of scope