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-662brcmfmac wedges NetworkManager+wpa_supplicant into unkillable D-state, aborting suspendby rand0mdud3· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-663SDDM’s Hyprland compositor repeatedly crashes with SIGSEGV as the login greeter exits after successful authenticationby rclinux· open at sourcebug
Out of area
Decided· Out of scope - R-664plugins.omarchy.org shows broken 'omarchy bar plugin add' command for first-party pluginsby a3qz· open at source
Out of area
Decided· Out of scope - R-665No driver path for the pre-T2 FaceTime HD camera (Broadcom 1570)by rand0mdud3· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-666Voxtype install enables Vulkan on Haswell (hasvk) GPUs, causing an endless SIGABRT crash loopby llyorshch· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-667BUG: Omarchy v4.0.4 does not detect eMMC as an installation driveby matcarfer· open at sourcebug
Out of area
Decided· Out of scope - R-668Wi-Fi: inline passphrase prompt loses focus when the scan list reordersby niclogin· open at sourcebug
Out of area
Decided· Out of scope - R-669LG Gram 17Z90TL (Lunar Lake) - No speaker sound on fresh installby BSTail· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-670Bar icon-font / icon-canvas / icon-slot / status-slot are defined and read via barToken() but silently dropped when parsing shell.tomlby fk1blow· open at sourcebug
Out of area
Decided· Out of scope - R-672Kernel Regression Omarch audio works on 7.1.9 but breaks after the 7.2.3 kernel updateby jBNeo· open at sourcebug
Out of area
Decided· Out of scope - R-673Settings changed during startup overwrite shell.json with the shipped defaultsby leon-biobuild· open at sourcebug
Out of area
Decided· Out of scope - R-674Plymouth falls back to the unthemed text LUKS prompt on UKI installs under QEMU (systemd-stub auto-appends console=uart,io,0x3f8)by JasonStreifling· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-676Intermittent s2idle resume failure on HP EliteBook 845 G10, more frequent with Linux 7.2.3by mrelph· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-679Minecraft Launcher: every unzip.mojom.Unzipper / patch.mojom.FilePatcher subprocess aborts with uncaught std::bad_function_callby symonbaikov· open at source
Out of area
Decided· Out of scope - R-680lmstudio-bin: "Restart to update" quits LM Studio for good — self-update EACCES on root-owned /opt, then the relaunch SIGTRAPs on CHECK(InitializeICU)by AleksBG· open at sourcebug
Out of area
Decided· Out of scope - R-681omarchy update does not detect package corruption after an interrupted pacman transactionby facusaldaa· open at source
Out of area
Fixed - R-683diagnose-crash: the documented gdb line silently leaves the crashing program's own frames unsymbolized (needs -iex, not -ex)by ghost· open at sourcebug
Out of area
Decided· Out of scope - R-684[Bug] Fcitx5 candidate popup is invisible in Hyprland true fullscreen (SUPER+F)by CoderLambert· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-686imv.desktop uses `imv %F`, so opening an image from a file manager gives a one-image playlist and Left/Right never navigateby elladann· open at sourcebug
Out of area
Decided· Out of scope - R-687omarchy plugin disable <unknown-id> silently succeeds instead of erroring like enable doesby brenoperucchi· open at sourcebug
Out of area
Decided· Out of scope - R-688WirePlumber SIGSEGV in PipeWire Bluetooth plugin immediately after S3 resumeby AnoopLamba· open at source
Out of area
Decided· Out of scope - R-689Unable to drag the plugin from center to left if the left panel bar is empty.by Macs9319· open at sourcebug
Out of area
Decided· Out of scope - R-690Sequential monitor power-on races auto-placement, both outputs land at 0x0 (cursor duplicates)by Andre1Becker· open at sourcebug
Out of area
Decided· Out of scope - R-691[omarchy.workspaces] Bar keeps stale workspace numbers after a workspace renumber (changeworkspaceid is ignored)by aicoder2048· open at sourcebug
Out of area
Decided· Out of scope - R-692LocalSend tray suppression (#6838) is unconditional, unlike Dropbox's — and doesn't fix the Activate no-op it diagnosedby brenoperucchi· open at sourcebug
Out of area
Decided· Out of scope - R-693MacBook Air 2020 (MacBookAir9,1, T2): Bluetooth never powers on at boot, and suspend always fails on brcmfmac D3 timeoutby austinsomer· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-694Audio panel: per-app mixer is clipped below the fold with no scroll cue when several devices are presentby codemonkey76· open at sourcebug
Out of area
Decided· Out of scope - R-695omarchy update` aborts on the final migration (1788619462, "Hand Hermes Desktop the Omarchy theme as a skin"by SavagePossum· open at sourcebug
Out of area
Decided· Out of scope - R-696Deep S3 suspend never resumes on Intel Raptor Lake-P (i915) after kernel 7.2.3-arch1-3 update — hard hang, requires power cycleby ukkit· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-697Display plugin unable to change brightness for mirrored display monitorsby knappkevin· open at sourcebug
Out of area
Decided· Out of scope - R-698Kernel 7.2.3 (shipped in 4.0.3): ELAN i2c-hid touchpad intermittently freezes — A/B confirmed vs linux-ltsby gitickle· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-699Suspend/hibernate resume stuck ~90s: unmount-fuse sleep hook's gvfs restart doesn't actually detach from user.slice thawby swiaam· closed — not planned at sourcebug
Out of area
Decided· Out of scope - R-700Bar panels stay open and render above the fullscreen screensaver when the session goes idleby ninepointlabs· open at sourcebug
Out of area
Decided· Out of scope - R-701Backgrounds added to a custom theme's backgrounds/ don't appear in the wallpaper picker until the theme is re-appliedby Rohith-E-S· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-703WirePlumber 0.5.17 breaks omarchy-equalizer: required component fails to load, complete audio lossby SimonMengele· open at sourcebug
Out of area
Decided· Out of scope - R-7044.0.3: PluginShellApi drops shellConfig, breaking third-party panel/overlay/menu plugins' own settings readsby tonyfarson· open at sourcebug
Out of area
Decided· Out of scope - R-706hyprland-preview-share-picker-git package is pinned to a Dec 2025 build, missing the upstream origin-offset fix (merged Aug 2026)by jpaferreira-git· open at sourcebug
Out of area
Decided· Out of scope - R-707mt7925e Wi-Fi: first association after cold boot completes 4-way handshake then gets deauthed (reason 15), needs 2-3 retriesby igorpeclat· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-708Network panel ping/status is IPv4-only; IPv6-only and 464XLAT Wi-Fi look downby anomalousmouse· open at sourcebug
Out of area
Decided· Out of scope - R-713omarchy update analyze logs fails with a raw grep error when the update log doesn't existby vayners· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-715Bluetooth panel feeds live device lists to Repeaters, crashing the shell on a device-list change (mid-incubation use-after-free in Qt)by jte369· open at sourcebug
Out of area
Decided· Out of scope - R-716Network bar and popup show disconnected while Wi-Fi is connectedby numanzahid· open at sourcebug
Out of area
Decided· Out of scope - R-717Printing from Firefox to a local USB HP printer produces PJL garbage + blank pages after cups-browsed is removed in 4.0.3by docPoacher· open at sourcebug
Out of area
Decided· Out of scope - R-7184.0.3 bar-widget sandbox omits slot geometry from PluginBarApi, silently breaking width-aware widgetsby nathankramm· open at sourcebug
Out of area
Decided· Out of scope - R-719Activity (btop) wakes a suspended NVIDIA dGPU on every open — Omarchy's btop.conf sets shown_gpus = "nvidia amd intel", which initialises NVML on hybrid laptopsby Hazakins· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-721Feature request: Smart focus navigation while maximized (Super+C maximize + cyclenext)by alihancaliskanx· open at sourceenhancement
Out of area
Decided· Out of scope - R-722XPS 16 DA16260: internal panel stays black with xe PSR timeouts on linux-ptl 7.2.3; live reinitialization recovers itby klaudworks· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-723Spotify is oversized on mixed-DPI setups: ship spotify-flags.conf with --ozone-platform=waylandby jamers99· open at sourceenhancement
Out of area
Decided· Out of scope - R-724nvidia.lua forces LIBVA_DRIVER_NAME=nvidia on hybrid laptops where the iGPU drives the displays, breaking browser video (repro of #11168 on Arrow Lake + Blackwell)by kimm-stensborg· open at sourcebug
Out of area
Fixed - R-725omarchy-network-speedtest fails: fast.com API rejects the hardcoded token (403)by giuseppecipollone· open at sourcebug
Out of area
Decided· Out of scope - R-726Feature suggestion: integrate Android Translation Layer (ATL)by zain1806481· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- R-729Weather widget: use m/s for wind in ru_RU localeby WokoFlipper· open at sourceenhancement
Out of area
Decided· Out of scope - R-730omarchy reminder: multi-day reminders silently lost on shutdown/reboot (no persistence)by N3onStack· open at sourcebug
Out of area
Decided· Out of scope - R-732Keyboard/touchpad dead at LUKS prompt on AMD Surface devices (fix-surface-keyboard.sh only handles pinctrl/Intel)by gs86baker· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-734Clock calendar popup misaligned by one day after DST spring-forward (America/Santiago)by axelgalea· closed — completed at sourcebug
Out of area
Fixed - R-735Toggling nightlight through shourtcuts can couse it to go haywireby enrikhazizi· open at sourcebug
Out of area
Fixed - R-736setPluginEnabled answers ok for an unknown plugin id, so omarchy plugin disable <typo> reports success and does nothingby Mario-Mohar· open at sourcebug
Out of area
Decided· Out of scope - R-737omarchy plugin update exits 1 after a successful update: set -e aborts on the unguarded rescanPlugins when its 2s IPC timeout expiresby Mario-Mohar· open at sourcebug
Out of area
Decided· Out of scope - R-738voxtype install silently leaves the CPU backend: 'voxtype setup gpu --enable' runs without sudoby RonildoBraga· open at sourcebug
Out of area
Decided· Out of scope - R-739omarchy-system-reboot: fails when DBUS_SESSION_BUS_ADDRESS and XDG_RUNTIME_DIR are not setby henriquemeira· open at sourcebug
Out of area
Decided· Out of scope - R-740Calendar popup gets stuck open and blocks all interactionby axnimesh· open at sourcebug
Out of area
Decided· Out of scope - R-741limine-install fails on software RAID / Intel RST ESP: 'Failed to parse disk and partition from source /dev/mdXpY'by patsonatorEFPL· open at sourcebug
Out of area
Decided· Out of scope - R-742omarchy-snapshot: handle non-subvolume /.snapshots with clear diagnostic and recovery instructionsby patsonatorEFPL· open at sourceenhancement
Out of area
Decided· Out of scope - R-743Network panel QML binding loop forces a full wifi reconnect, causing ~15s outagesby ChapuChapuMbusi· open at sourcebug
Out of area
Decided· Out of scope - R-744Screensaver busy-loops and cannot be dismissed when branding/screensaver.txt is missingby hhammarstrand· open at sourcebug
Out of area
Decided· Out of scope - R-747Too large window (browser tab) title causes fcitx5 to crash, taking omarchy-shell with itby XO6bl4· open at sourcebug
Out of area
Decided· Out of scope - R-748system-update widget: concurrent checkupdates races on multi-monitor, so the update icon shows on only one barby EJ-Monkey· open at sourcebug
Out of area
Decided· Out of scope - R-749Lock-screen DPMS blank breaks DisplayPort MST wake and requires rebootby garymeyerca· open at sourcebugcompatibility
Out of area
Decided· Out of scope - 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-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-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-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-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-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-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-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-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-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