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-437linux-omarchy: CONFIG_ARCH_MMAP_RND_BITS=32 randomly SIGSYS-kills Proton/Wine child processes (Arch uses 28)by MolluscMonk· open at sourcebug
Out of area
Decided· Out of scope - R-438Lock screen dies during HDMI/display thrash → Hyprland “lockscreen app died” failsafe loopby qaz027· open at sourcebugReceived
- R-439linux-omarchy 7.2.5 (xe, Panther Lake): USB4 monitor's EDID read fails on about half of hotplugs, display stuck at 640x480by diazkev314· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-440omarchy-install-ai-hermes never writes the Hermes Desktop bootstrap marker, so the theme-sync/readiness check gets stuckby rootjmo· open at sourcebug
Out of area
Decided· Out of scope - R-441Emoji picker fails to insert/paste into Electron apps (e.g. GitHub Copilot Desktop)by nimatrueway· open at sourcebugReceived
- R-442omarchy-audio-output-sink fails to resolve physical sink for EasyEffectsby layolayo· closed — completed at sourcebugReceived
- R-443Lock screen fingerprint sensor only ever runs ONE pam session per lockby slr01· open at sourcebug
+2 also reported· show· hide
R-443 is where this defect is tracked; these reports say the same thing.
- Lock screen keeps fingerprint PAM armed for the whole lock, wedging USB imaging readers R-1029filed Sep 3, 2026Open upstream.
- Lock screen: fingerprint reader disabled by libfprint thermal guard after ~3 min, then 250 ms retry loop R-2143filed Oct 1, 2026Open upstream.
Validated· Reproduced - R-444Update icon appears on only one monitor: concurrent omarchy-update-available runs race inside checkupdatesby kevinbsr· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-445T2 iMac20,1 (2020 5K, Radeon Pro 5300): amdgpu SMU init fails; Plymouth/KMS black screen before LUKSby McoreD· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-446Speed test overlay leaks 8 fast.com traffic workers when dismissed mid-run, saturating the link for up to an hourby Marjinoz· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-447MacBookPro14,2 (T1 Alpine Ridge): S3 wake loop heats the chassis and eventually hangs resumeby ijt· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-448Lid close starts suspend immediately; a quick reopen leaves a dark screenby ijt· open at sourcebug
Out of area
Decided· Out of scope - R-449System-update icon only appears on one monitor (checkupdates race)by loraque-git· open at sourcebug
Out of area
Decided· Out of scope - R-450omarchy-audio-tuning fronted-sink ignores community omarchy_speaker_tuning sinksby roehrbacher· open at sourcebug
Out of area
Decided· Out of scope - R-451`linux-omarchy` 7.2.5-3 hangs during suspend entry on Wildcat Lake (XPS 13 DX13260); stock `linux` 7.2.3 suspends fineby t27duck· open at sourcebug
Out of area
Decided· Out of scope - R-452linux-omarchy kernel breaks screen backlight and USB audio volume on Dell XPS 14 (Panther Lake)by cthybert· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-453Update to 4.0.4: NVIDIA hybrid laptop hard-freezes ~5 s after login once linux-omarchy is the default kernel (prebuilt nvidia-open has no modules for it)by Nord-Nogare· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-454linux-omarchy 7.2.5-3: SynPS/2 Synaptics touchpad completely vanishes from kernel (works on stock linux 7.2.3)by CloudWalker025· open at sourcebug
Out of area
Decided· Out of scope - R-455Black screen / full hang on unlock after idle screensaver: lock surface fails to attach ("not backed by a valid wayland output")by socalest1977· open at sourcebugReceived
- R-456Pinned pop-out window remains foreground across workspaces and obscures other windowsby tufi· open at sourcebug
Out of area
Decided· Out of scope - R-457Lunar Lake: intel-ipu7-camera is installed by detection but built for Panther Lake only — no camera on any Core Ultra 200V laptop, fix open since 09-09by pkolbas· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-458Migration 1789095456.sh collides with the deleted PTL-kernel migration of the same nameby ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-459Shell reload loop: PluginRegistry watches pluginsDir recursively without filtering, so plugin state writes tear down the whole barby maTzko13· open at sourcebug
Out of area
Decided· Out of scope - R-5096Menu cursor jumps to top of Apps submenu ~1s after navigation, with flicker from continuous app-list rebuildsby mightywomble· closed — not planned at sourceReceived
- R-460omarchy windows vm launch fails silently when the shared folder has setgid set (numeric chmod can't clear it)by bkuenzi· closed — completed at sourcebugReceived
- R-462linux-omarchy 7.2.5-3 ships with binder disabled, so Waydroid cannot start (stock Arch `linux` enables it)by ricardojfr· open at sourcebug
Out of area
Decided· Out of scope - R-463LG display stays off after wake: dpmsStatus desyncs true while panel has no signal, skip-optimization prevents recoveryby SykesTheLord· closed — deleted at sourcebug
Out of area
Decided· Out of scope - R-464Lock screen: no supported way for a plugin to contribute an indicator (lock-components is created but never read)by Kalinewb· open at sourceenhancementReceived
- R-465Direct boot keeps booting the old `linux` UKI after the linux-omarchy migrationby ctarx· open at sourcebug
Out of area
Decided· Out of scope - R-466Fresh Quattro install: Limine UKI chainload panics with efi: LoadImage failure (EFI_INVALID_PARAMETER) on older UEFIby keylimesoda· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-467Lock screen never blanks display again after resume-from-suspend (idleBlankTimer stuck re-arming)by MolluscMonk· open at sourcebugReceived
- R-468Surface Laptop Studio 2: offer an opt-in linux-surface touchpad profileby Andre1Becker· open at sourceenhancement
Out of area
Decided· Out of scope - R-469omarchy-windows-vm launch permanently fails after first VM boot (chmod 0700 doesn't clear setgid on ~/Windows)by michaelgr1· closed — completed at sourcebugFixed
- R-470linux-omarchy 7.2.5 kernel causes constant HDMI audio underruns (distortion/clipping) on Haswell Mac — stock Arch linux 7.2.3 worksby rissanssi· open at sourcebugmac
Out of area
Decided· Out of scope - R-471Black screen / Failure to wake from sleep on NVIDIA hardwareby rafi-the-dev· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-472App list/launcher disappeared after kernel updateby rafi-the-dev· open at sourcebugReceived
- R-473omarchy-weather-location breaks when wttr.in returns coordinates instead of a city nameby gexavi· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-475"Launching <app>…" OSD stays on screen forever when the detached osd close is lostby juanchandias· open at sourcebug
Out of area
Decided· Out of scope - R-476Unsafe default binding: Ctrl+Alt+Delete closes every windowby paulrockliffe· open at source
Out of area
Decided· Out of scope - R-477Internal Broadcom Bluetooth controller fails HCI reset after linux-omarchy 7.2.5-3 update (MacBookPro11,4)by akopitsa· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-478linux-omarchy 7.2.5-3 fails on 2016 MacBook Pro (MacBookPro13,3) unless intel_iommu=offby dzanaga· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-479Alt+Tab does not follow adjacent windows in scrolling layoutby DaDecky· open at sourceenhancement
Out of area
Decided· Out of scope - R-480Bluetooth HFP microphone captures complete silence on OnePlus Bullets Wireless Z2 and JBL Tune 770NCby arsinghin· open at sourcebug
Out of area
Decided· Out of scope - R-481Nautilus: Dragging a file or folder from a second drive to another moves by default, instead of copy, as well as no ctrl modifier works.by harel· open at sourcebug
Out of area
Decided· Out of scope - R-482linux-omarchy 7.2.5-3 boots to emergency shell on MacBookAir6,1by nordbergmikael· open at sourcebugmac
Out of area
Decided· Out of scope - R-483hibernation remove leaves resume kernel parameters in the UKI (Limine drop-in not removed)by maandrij· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-484omarchy-usb-autosuspend.conf is a no-op; Intel Bluetooth controllers still autosuspend (BLE HID reconnect timeouts)by jordanglean· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-486Internal speakers silent on Legion Pro 7 16IRX8H; TAS2781 binding changes with codec SSID overrideby slavkof· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-487Super+Alt+number shows an error for unavailable group windowsby nojaf· open at sourcebug
Out of area
Fixed - R-4884K@120 HDMI screen blanks for seconds on every new frame after linux-omarchy 7.2.5-3 (AMD Navi 33)by berkesadam74· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Fixed
- R-492Network panel reports TUN interface and fake IP as active Ethernetby aisensiy· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-493ssh wrapper leaves the alternate screen after every ssh, scrambling the terminalby AronBakes· open at sourcebug
Out of area
Decided· Out of scope - R-495Kernel migration rejects valid FAT32 ESP discovered as systemd autofsby holystix04· open at sourcebug
Out of area
Decided· Out of scope - R-496omarchy/sunshine 2026.516 package: NVENC broken on Turing — falls back to software x264by trinknx· open at sourcebug
Out of area
Decided· Out of scope - R-497omarchy install service sunshine fails: "Unit sunshine.service does not exist"by trinknx· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-499[hyprland] Lua binds written as "MODS + code:N" don't parse — all binds sharing a modifier fire at once (SUPER+RETURN lands you on workspace 10)by ryanmoreau-ctrl· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-500Intermittent 'Connection reset by peer' downloading large packages from pkgs.omarchy.org over IPv6by GreyforgeLabs· open at source
Out of area
Decided· Out of scope - R-501Blue Yeti microphone detected but produces no capture after rebootby daveplatt71· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-502Secure Boot UKI chainload panics on MSI firmware (LoadImage failure 0x800000000000000f); ENABLE_UKI=no workaroundby fenfenau· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-5095Migration failed due to missing nvidia modules on linux-omarchyby xiyeming· closed — completed at sourcebugReceived
- R-503Whole-screen rainbow/color corruption after lid resume on hybrid AMD+NVIDIA laptop, persists through unlock, not fixed by shell restart or display resetby BigRed4547· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-504Agents panel: a Local tab for self-hosted model usageby Ronin11· open at sourceenhancement
Out of area
Decided· Out of scope - R-505Agents panel counts local-model turns as Codex subscription usageby Ronin11· closed — completed at sourcebugReceived
- R-5061password 8.12.36-2: polkit policy bakes in build host's user; vendor after-install.sh never run (same cause as #11830)by edgardoalz· open at sourcebug
Out of area
Decided· Out of scope - R-507omarchy-hw-touchpad returns the wrong device when an external trackpad is connected (name regex + enumeration order)by alebak· open at sourcebug
Out of area
Decided· Out of scope - R-508Bar network icon shows disconnected while Wi-Fi is actually connected.by fils· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-509omarchy-restart-shell SIGSEGV: QQuickWindowPrivate::polishItems during QQmlEngine destructorby 73Zut· open at sourcebug
Out of area
Decided· Out of scope - R-510Proposal: Show active keybindings in menu rowsby Marentius· open at sourceenhancementFixed
- R-5094Third-party menu plugins receive a null appLibrary, so a cloned menu silently has no applicationsby kurenn· closed — completed at sourcebugReceived
- R-511Migration 1787865477 drops the input group, silently breaking Voxtype's evdev hotkeyby kurenn· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-513Shell exposes no accessibility information: no roles or names on any surfaceby rmcdavid· open at sourceenhancementReceived
- R-514MacBook9,1 / 10,1 internal speakers silent after install (driver alone isn't enough; EFI chime must be un-muted)by karlentwistle· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-515Power widget shows "Charging" while battery is discharging: icon/label trust UPower.onBattery and ignore device.stateby DerAlbertCom· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-516Remove > Preinstalls hides Herdr launcher and keybinding but leaves Herdr installedby markallisongit· open at sourcebug
Out of area
Decided· Out of scope - R-517Weather widget disappears when wttr.in has an expired TLS certificateby shynekomaid· open at sourcebug
Out of area
Decided· Out of scope - R-518Installer's ENABLE_LIMINE_FALLBACK=no hides Omarchy from the Mac boot picker, leaving it unbootable after an NVRAM resetby makoni· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-519Inkscape's file dialogs tile instead of floating: it draws its own GTK chooser, not the portal'sby omeganter· open at source
Out of area
Decided· Out of scope - R-520omarchy-crash-watch announces the crash its own dispatched agent just reproduced, chaining a fresh agent per hopby jtavin-smp· open at sourcebug
Out of area
Decided· Out of scope - R-5093omarchy-battery-status reports only the first battery on multi-battery machinesby xbones84· closed — completed at sourceReceived
- R-521contributing guide: 'omarchy debug' command does not exist (4.0.3-1)by jte369· open at source
Out of area
Decided· Out of scope - R-522Waybar is unsupervised and unbounded: a leaking bar (32 GB) plus an unbounded coredump cost a whole session — and the GPU run under itby MaximilianKhan· open at sourceenhancement
Out of area
Decided· Out of scope - R-523# Bug Report: Network Panel shows "NOT CONNECTED" for active 802.1x Enterprise (eduroam) networksby Pabl0125· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-524omarchy-tailscale-receive ignores user-dirs.dirs and recreates ~/Downloads every loginby vexlin· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-5262013 MacBook Pro A1502: Apple AHCI SSD not detected, then pacstrap I/O error; cannot set libata.force=noncqby adriannoes· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-528Battle.net installer: several silent minutes between script exit and the setup wizard — no progress UIby parnoldx· open at sourceenhancement
Out of area
Decided· Out of scope - R-529mise wrappers made before --quiet pollute stdout, and the regeneration migration can no longer parse themby jayrascodes· open at sourcebug
Out of area
Fixed - R-531Captive portal sign-in button uses a hardcoded URL most portals won't recognizeby daffelito· open at sourcebug
Out of area
Fixed - R-532intel/video-acceleration.sh doesn't match Intel Wildcat Lake GPU, skips installing intel-media-driverby theswampdawg· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-5092sunshine install fails to enable service: unit name mismatchby higorhgon· closed — completed at sourceReceived
- R-533Dropbox panel: `dropbox-cli start` on a stale pidfile forks a second daemon that sits on "Starting..." while the real one keeps syncingby procrypto· open at sourcebug
Out of area
Decided· Out of scope - R-5091bar.shell.serviceFor() always returns null for installed third-party pluginsby n30nf4nt0m· closed — completed at sourceReceived
- R-534Hardware cursor intermittently stops rendering on hybrid Intel/NVIDIA multi-monitor laptop (recurs despite no_hardware_cursors=true)by Cousint98· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-535The uninstall function in rofi dose not work on some appby death366· open at sourcebug
Out of area
Decided· Out of scope - R-5090Clock calendar popup misaligns weekdays after DST transition (America/Santiago)by EstebanCygnus· closed — completed at sourceFixed
- R-5089windows vm: launch silently fails when ~/Windows has setgid bit set (chmod 0700 doesn't clear it)by justinlharter· closed — completed at sourceReceived
- R-536Audio panel shows MUTED while master switch is on when microphone is unmutedby Selion05· open at sourcebug
Out of area
Decided· Out of scope