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-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-5029No speaker audio on Dell XPS 13 DX13260 (2026) — CS35L56 amp firmware never loadsby Gundrak· closed — not planned at sourceReceived
- 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-5028Document: default binds already work in any keyboard layoutby WokoFlipper· closed — completed at sourceReceived
- R-682Fingerprint auth prompt is easy to miss: add visual/audio attention cueby WokoFlipper· open at sourceenhancementReceived
- R-5027Cloning omarchy.menu leaves the Apps submenu empty; the clone's Menu.qml never rendersby maxdmayhew· closed — completed at sourceReceived
- R-5026Top Bar Click/Input Offset After Monitor Geometry Changesby Rambo176· closed — completed at sourcebugReceived
- 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-5025Menu plugins loaded through the panel model lose shell.appLibrary (apps submenu empty)by ebin-alex· closed — completed at sourceReceived
- R-5024omarchy install service sunshine fails: enables unit by its alias before the alias existsby noonat· closed — completed at sourceReceived
- 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-5023Cloned menu plugins show an empty Apps submenu (manifestHasKind rejects model-delivered manifests)by sfk8815-create· closed — completed at sourceReceived
- R-5022Bluetooth panel pairing silently fails for devices requiring passkey confirmationby mhbnielsen· closed — completed at sourceReceived
- 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-5021T2 iMac20,1 stuck at loading bar after linux-t2 7.2.4 (amdgpu SMU regression)by milimat0810· closed — not planned at sourceReceived
- 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-5020DaVinci Resolve Download Manager locks window focusby AksharP5· closed — completed at sourceReceived
- 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-5019Windows VM launch fails silently when ~/Windows has the setgid bit (chmod 0700 preserves setgid)by madmanmatt· closed — completed at sourceReceived
- 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-5018windows vm launch fails: chmod 0700 no longer clears setgid on ~/Windows (coreutils 9.11), which dockur resets to 2777by yeet-bits· closed — completed at sourceReceived
- 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-5017Codex agents widget: "limits unavailable" — collector passes removed `-a untrusted` approval valueby cstljuan· closed — completed at sourceReceived
- R-5016Omarchy shell crashes repeatedly when idle/screensaver triggers due to FALLBACK monitorby aaronfreeman· closed — completed at sourceReceived
- R-5015aquamarine 0.15.0: external monitor never recovers after being turned off (NVIDIA repro), please hold or patch aquamarineby Tigres2526· closed — completed at sourcebugReceived
- 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 - R-5014KeyboardPanel: a throwing plugin close() locks the whole shell's mouse inputby aligu7· closed — completed at sourceReceived
- 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-5013Emoji picker's synthetic paste (Shift+Insert) doesn't work in Zen Browserby jstmrby· closed — completed at sourceFixed
- R-5012omarchy-launch-webapp falls back to chromium.desktop without checking it exists (plus allowlist needs constant updates)by thedavidweng· closed — completed at sourceReceived
- R-705Feature request: generic biometric (face) unlock hook in the lock screen, similar to fingerprint supportby Wakko13· open at sourceenhancementFixed
- 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-5011omarchy install service sunshine aborts: enables an alias systemd only creates on enableby lawanner04· closed — completed at sourceReceived
- 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-710Feature: Configurable menu width (wider/Raycast-style layout)by tariqbaater· open at sourceenhancementReceived
- R-711Menu user extension can't partially override defaults — hidden fields (label/provider/action/aliases) get clobberedby silvioscs· open at sourcebug
Known issueKI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS
+1 also reported· show· hide
R-711 is the earliest report of this defect; this report says the same thing.
- Menu extension overrides wipe unspecified fields (icon, label, when) instead of merging R-427filed Sep 17, 2026Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).
+1 duplicate report here· KI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS· show· hide
Every defect they describe is already reported in this tab, and this report (KI-MENU-MERGE-OVERRIDE-WIPES-DEFAULTS) leads their main one. This tab lists one row per report that brings a defect of its own.
- i18n: an adjudication of the existing proposals, with measurements R-385filed Sep 18, 2026· open upstream
Fixed - 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-5010Universal copy/paste/cut (SUPER+C/V/X) fails on non-Latin keyboard layoutsby airenare· closed — completed at sourceReceived
- R-716Network bar and popup show disconnected while Wi-Fi is connectedby numanzahid· open at sourcebug
Out of area
Decided· Out of scope - R-50094.0.3: third-party/cloned menu plugins get shell.appLibrary = null, so the Apps submenu is emptyby DanielSRojo· closed — completed at sourceReceived
- 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-720Learn -> Bash [The site can't be reached]by schad-x· open at sourcebugFixed
- 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-5008Cloned omarchy.menu gets shell.appLibrary = null, Apps submenu always emptyby aendom· closed — completed at sourceReceived
- R-5007nvidia.lua forces LIBVA_DRIVER_NAME=nvidia on hybrid laptops rendering on the iGPU, breaking video playback in Chromiumby importantlabs· closed — not planned at sourceReceived
- 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 - R-5006Passwordless cleartext default keyring is destroyed by any app that stores a multi-line secret, leaving an unlock prompt on every autologin bootby duckzooka· closed — completed at sourceReceived
- R-727Let plugins declare menu entries in their manifestby ReidenXerx· open at sourceenhancementFixed
- 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-5005Shell: idle lock timer interval overflows 32-bit int, spamming logs until /run/user tmpfs fillsby leftydevkit· closed — completed at sourceFixed
- R-731Idle service wakes the display while the session is lockedby kurtome· open at sourcebug
+1 also reported· show· hide
R-731 is where this defect is tracked; this report says the same thing.
Fixed - 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-5004omarchy-theme-set-browser blocks forever when brave-bin and brave-origin-bin are both installedby haydenmckay· closed — completed at sourceReceived
- 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-5003Apps menu (Super+Space > Apps) always shows "Nothing here yet", regression in 4.0.3-1by derekios88· closed — completed at sourceReceived
- 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-5002Keybindings menu (Super+K) spins at 100% CPU: Lua mock incompatible with Lua 5.4+ ipairsby yzzztech· closed — completed at sourceFixed
- 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-745Unable to run update on new installationby pnunn· closed — not planned at sourcebugReceived
- R-5001~/.config/chromium-flags.conf is force-injected into every chromium launch, crashing headless/automation invocations (Playwright etc.) with SIGTRAPby dutchbase· closed — completed at sourceReceived
- 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-5000Super+J sends unsupported togglesplit message in scrolling layoutby theontho· closed — completed at sourceReceived
- 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-4999omarchy install service sunshine: enables sunshine.service, but the package ships app-dev.lizardbyte.app.Sunshine.serviceby rhwaddell· closed — completed at sourceReceived
- R-4998Third-party menus lose app-library access after Instantiator manifest conversionby DanielLemky· closed — completed at sourceReceived
- R-4997Third-party menu plugins receive a null shell.appLibrary, so replacement launchers show an empty Apps listby TheHatBoxGhost· closed — completed at sourceReceived