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-2168`omarchy debug` is advertised in `--help` but not routable (packaged in `/usr/bin` instead of the scanned bin dir)by aimonkeymind· open at source
Out of area
Decided· Out of scope - R-2165Intel Tiger Lake: USB-C to DP monitor stays black after long idle; i915 link reset warns and reboot restores videoby Mil0R· open at source· edited (2 revisions)
Out of area
Decided· Out of scope - R-2164Brightness keys do nothing on external monitors behind a USB-C dock (DP MST)by grivera82· open at source
Out of area
Decided· Out of scope - R-2163iMac12,2 (Mid 2011, Radeon HD 6770M + HD 3000): RetroArch never starts — omarchy-install-gaming-retroarch hardcodes `video_driver vulkan` on GPUs with no Vulkan support; fixed by `glcore`by spuder· open at source
Out of area
Decided· Out of scope - R-2162Idle service stops firing screensaver/lock after shell.json idle.* is changed at runtimeby oneafrikan· open at source
Out of area
Decided· Out of scope - R-2160Quickshell status bar hitbox misalignment after System Tray item removalby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-2158mise wrapper stubs from before the --quiet template fix pollute stdout; no migration refreshes themby howiehu· open at source
Out of area
Fixed - R-2157Shipped agent skills still reference basecamp/omarchy: gh search fails while gh issue list works, defeating the mandatory duplicate checkby jaredonair· open at source
Out of area
Decided· Out of scope - R-2156Screensaver is not dismissed by touch input (only keyboard)by Hydramus· open at sourcebug
Out of area
Fixed - R-2155Migration package prerequisites are not validated against the target channel before promotionby SorenHJohansen· open at source· edited (4 revisions)bug
Out of area
Decided· Out of scope - R-2154video-acceleration.sh silently skips intel-media-driver on Meteor Lake (GPU reports plain 'Intel Graphics'), leaving Sunshine and all VA-API consumers on software encodingby tilleyjason-commits· open at sourcebug
Out of area
Decided· Out of scope - R-2153omarchy-launch-webapp silently demotes unrecognized default browsers to chromium.desktop — web apps open in the wrong profileby duketopceo· open at sourcebug
Out of area
Decided· Out of scope - R-2152CSR8510A10 USB Bluetooth dongle fails to initialize (btusb) + omarchy-usb-autosuspend.conf has no effectby Lytsar· open at sourceenhancement
Out of area
Decided· Out of scope - R-2150hermes-desktop launcher falls back to the stale packaged app forever on the new Hermes runtime layout (no runtime/venv), causing an infinite first-launch bootstrap loopby Pipboyguy· open at sourcebug
Out of area
Decided· Out of scope - R-2149Launch OSD can get stranded on screen indefinitely ("Launching <app>…" never dismisses)by Mike-Bay· open at sourcebug
Out of area
Decided· Out of scope - R-2147linux-omarchy 7.2.5-3: PoE 2 freezes and stutters; standard Arch 7.2.3 resolves itby WolfOfSesameSt· open at sourcebug
Out of area
Decided· Out of scope - R-2148Background wallpaper renders grainy due to missing mipmaps on base Imageby Carlthegreatt· open at sourcebug
Out of area
Decided· Out of scope - R-2144Mirror Display reports success but stays extended when hyprmoncfg manages displaysby tiko0815· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-2140Stock network panel: enterprise PEAP profile without CA validation allows rogue-AP credential captureby WokoFlipper· open at sourcebug
Out of area
Decided· Out of scope - R-2139Idle timeouts above ~24.8 days overflow the Qt timer and flood the shell log until /run/user fills upby Coding-Sparrow· open at sourcebug
Out of area
Fixed - R-2138Nightlight: mouse cursor outline turns fluorescent blue on NVIDIA (hardware cursor not tinted by hyprsunset)by viniciosrab· open at source· edited (2 revisions)bug
Out of area
Decided· Out of scope - R-2136External monitors stay at 0x0 after resume from a USB-C dockby CoreSaint· open at sourcebug
Out of area
Decided· Out of scope - R-2133omarchy update fails with "unsafe Omarchy update inhibitor state path" on non-English localesby higorhgon· open at sourcebug
Out of area
Decided· Out of scope - R-2128agents: Codex tab never shows — account/read RPC exceeds 4s timeout (codex-cli 0.157), no local stats without ~/.codex/sessionsby AlexanderMavrov· open at source
Out of area
Decided· Out of scope - R-2127Sunshine installer fails: enables unit by its Alias name (sunshine.service does not exist)by winnorton· open at sourcebug
Out of area
Decided· Out of scope - R-2126Codex Desktop stays on 'Starting your task' and never dispatches thread/startby ipoel21· open at source
Out of area
Decided· Out of scope - R-2125hermes-desktop launcher crashes: _desktop_launch_options() now returns 5 valuesby TimRudorf· open at sourcebug
Out of area
Decided· Out of scope - R-2124Super+Space Apps shows two Hermes entries after CLI desktop-id renameby doktorstick· open at sourcebug
Out of area
Decided· Out of scope - R-2123claude-desktop package version lags Anthropic's official Linux releaseby YHAkimichi· open at sourceenhancement
Out of area
Decided· Out of scope - R-2122omarchy plugin enable reports success but does not put a bar-widget on the bar when it is already in plugins[]by adilmannan· open at sourcebug
Out of area
Decided· Out of scope - R-2121linux-omarchy 7.2.5: mt7925e cannot associate with any BSS ("Rejecting MLO as it is not supported by AP", auth request to driver failed); linux-lts worksby mjh-cad· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-2119omarchy toggle bar on hides the bar instead of showing itby evgen867777-coder· open at source· edited (2 revisions)bug
Out of area
Fixed - R-2117Stable mirror ships rog-control-center 6.4.0-2 which aborts at startup; Arch 6.4.0-3 fixes itby Zpa1151· open at sourcebug
Out of area
Decided· Out of scope - R-2115ollama 0.33.3: tool-call requests that don't match the PEG grammar are cancelled with no finish_reasonby Lomare· open at sourcebug
Out of area
Decided· Out of scope - R-2114Bluetooth panel shows "Turned Off" while adapter is powered and device connected (stale state after wake from sleep)by Bro-Kun· open at sourcebug
Out of area
Decided· Out of scope - R-2113Network panel shows a padlock on saved open Wi-Fi networks (Quickshell security classification)by Mejena-code· open at sourcebug
Out of area
Decided· Out of scope - R-2111Battery time jumps between multi-hour figures on two close looksby shawnyeager· open at sourcebug
Out of area
Decided· Out of scope - R-2110linux-omarchy 7.2.5-3: ath9k (AR9485) DMA-stop reset loop causes ~40% wifi packet loss — not present on linux 7.2.3-arch1-3by magalhaespm· open at sourcebug
Out of area
Decided· Out of scope - R-2109Cloned bar plugins: silent failure on denied service lookups, and nested QML files not hot-reloadedby piotrsynowiec· open at sourcebug
Out of area
Decided· Out of scope - R-2107nvidia.lua exports NVIDIA GL/VAAPI env even when the iGPU owns the display, blacking out video on Waylandby Starfarer4· open at sourcebugcompatibility
Out of area
Fixed - R-2106Greek (polytonic) layout: stacked dead keys only work in one fixed order (e.g. psili + perispomeni + ypogegrammeni gives "ʼ~ᾳ" instead of "ᾆ")by Nonrefertquissim· open at sourcebug
Out of area
Decided· Out of scope - R-2104[Feature] Add kimpanel input method panel for native Wayland IME renderingby warren2008-2020-spec· open at source· edited (2 revisions)enhancement
Out of area
Decided· Out of scope - R-2103iMac12,2 (Mid 2011, Radeon HD 6770M + HD 3000): Chromium renders with artifacts on legacy radeon/no-Vulkan GPUs; fixed by --disable-gpu-compositingby spuder· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-2102Audio panel lists unplugged microphone inputs that can't be selectedby lundsholm· open at sourcebug
Out of area
Decided· Out of scope - R-2101omarchy-hw-fingerprint false positive: reports a sensor for Synaptics 06cb:009a, which no libfprint driver claims — setup prompts for sudo, enrolls nothing, then failsby dchichorro· open at sourcebug
Out of area
Decided· Out of scope - R-2100AMD Lucienne (ThinkPad E15 Gen 3): reg-write failures start at a hibernate resume, hibernation writes degrade to worst-ever, final hibernate froze during image write (no image, silent journal end)by kraudy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-2098RU locale install ships a dead network widget — bundle wifi-dns-ru insteadby WokoFlipper· open at sourceenhancement
Out of area
Decided· Out of scope - R-2097Internal laptop display never recovers after external monitor unplug: external-active check doesn't exclude Hyprland's FALLBACK placeholder outputby Kilohertz77· open at sourcebug
Out of area
Fixed - R-2096omarchy-font-set: notification called with empty -g glyph, fails and skips font-set hookby ifigueroap· open at sourcebug
Out of area
Decided· Out of scope - R-2095ISSUE while Connecting Charger on my HP victus Laptopby raghavan005· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-2094T2 Macs get vulkan-asahi installed: Vulkan detection matches "Non-VGA" Apple T2 devices as an Apple GPUby rahulmanuwas· open at sourcebug
Out of area
Decided· Out of scope - R-2093mise stubs cannot be restored after ~/.local/bin is cleared, silently breaking the documented gh auto-installby amaurisd97· open at sourcebug
Out of area
Decided· Out of scope - R-2092Launch feedback OSD can get stuck on screen indefinitely (duration: 0 with no fallback closer)by Tiedeyez· open at sourcebug
Out of area
Decided· Out of scope - R-2091omarchy-dev does not install 05-omarchy-passwordless-revoke.hook, so no passwordless sudo grant can ever be publishedby mxhectorvega· open at sourcebug
Out of area
Decided· Out of scope - R-2090Bundled agent skills document 'omarchy debug', which is not a subcommand (should be 'omarchy-debug')by Taydevil· open at sourcedocumentation
Out of area
Decided· Out of scope - R-2088Bar draws over the screensaver since it moved to a special workspaceby ssandys· open at sourcebug
Out of area
Decided· Out of scope - R-2087[Kernel] linux-omarchy 7.2.5-3 lacks CONFIG_ANDROID_BINDER_IPC, breaking Waydroidby TheRWX· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-2085`omarchy-theme-set-pi` themes `~/.pi/agent` even when `PI_CODING_AGENT_DIR` points elsewhereby Susensio· open at sourcebug
Out of area
Decided· Out of scope - R-2086Factory reset drops other systems' boot entries from a shared ESPby xdanger· open at sourcebug
Out of area
Decided· Out of scope - R-2084Can't switch columns (scroller:movefocus) after maximizing with scroller:fitsize visibleby Rafaelzzzx· open at source· edited (2 revisions)bug
Out of area
Decided· Out of scope - R-1Universal Super+V does not paste in Codex desktop embedded terminalby mckibbip· open at source
Out of area
Decided· Out of scope - R-3openai-codex-desktop 26.924.22138-1 can't open existing conversations (regression from 26.915.31945-1)by gogetwoo· open at sourcebug
Out of area
Decided· Out of scope - R-5Add automatic T2 speaker DSP setup for MacBookPro15,1 installationsby xejarque· open at sourceenhancement
Out of area
Decided· Out of scope - R-6Hybrid Intel+NVIDIA: forced NVIDIA VA-API (LIBVA_DRIVER_NAME=nvidia) crashes browser GPU process on video playbackby HatlerRyan· open at sourcebugcompatibility
Out of area
Fixed - R-7omarchy hibernation remove leaves resume.conf behind, so a later setup keeps a stale resume_offsetby STRd6· open at sourcebug
Out of area
Fixed - R-8Cloned bar: stock Bar is built then destroyed on every start, leaving delayed injectProps() calls on a dead objectby nnyrron13· open at sourcebug
Out of area
Decided· Out of scope - R-9Framework Desktop: shutdown hangs on Omarchy logo with Thunderbolt display (Studio Display XDR) on 4.0.4by Aayush9029· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-10Network panel stat rows overlap when [font] body-small is raisedby UnderStackDev· open at sourcebug
Out of area
Decided· Out of scope - R-11Launch OSD toast ("Launching X…") can get stuck on screen indefinitelyby PandaProgrammierer· open at source
Out of area
Decided· Out of scope - R-14bin scripts: user-visible OSD strings are hardcoded English, no i18n pathby WokoFlipper· open at sourceenhancement
Out of area
Fixed - R-15Hybrid AMD+NVIDIA laptops: global LIBVA_DRIVER_NAME=nvidia makes Firefox decode video on the CPUby littleme02· open at sourcebugcompatibility
Out of area
Fixed - R-16Fresh installs ship an unused vanilla `linux` kernel alongside `linux-omarchy`; its auto-generated Limine entry eventually gets booted (btrfs corruption crash report)by Ikkakuju· open at sourcebug
Out of area
Decided· Out of scope - R-17Launch OSD ("Launching <app>…") can stay on screen foreverby walteraandrade· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-19Web apps via omarchy-launch-webapp lose their login across restarts (no pinned profile)by jiri-cermak· open at sourceenhancement
Out of area
Decided· Out of scope - R-20Network panel mistakes Clash TUN interface for Ethernet uplinkby LIghtJUNction· open at sourcebug
Out of area
Decided· Out of scope - R-21Bluetooth bar toggle can't turn Bluetooth back on once it's off (adapter becomes null)by Fab1anBecker· open at sourcebug
Out of area
Decided· Out of scope - R-22omarchy-dev-add-migration stamps HEAD commit time, so branches from the same commit collide on migration idby ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-23Universal clipboard shortcuts conflict with native Super+C/V bindings in Emacsby unship· open at source
Out of area
Decided· Out of scope - R-24Intel MacBooks: Black screen after LUKS decryption due to missing early KMS (i915)by thatsparesh· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-25`omarchy plugin remove` prints "Restored <source>." when the source stays disabledby yeomanse· open at sourcebug
Out of area
Decided· Out of scope - R-26Bar clock shows pre-suspend time for up to a minute after resumeby zoan37· open at sourcebug
Out of area
Fixed - R-27Built-in keyboard on Fujitsu LIFEBOOK P727 is unresponsive at disk unlock promptby DWRedShoes· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-31Network icon incorrectly switches from Ethernet to Wi-Fi after NetworkManager restartby drissmoslih· open at sourcebug
Out of area
Decided· Out of scope - R-32bt-agent (auto-accept) crash-loops every ~15 s while a flapping Bluetooth device is presentby the4rchangel· open at sourcebug
Out of area
Decided· Out of scope - R-34Bluetooth panel: discoveryRetry timer spams StartDiscovery at 1 Hz unbounded, wedging the adapterby 010011010100000101010011· open at sourcebug
Out of area
Decided· Out of scope - R-35`omarchy toggle bar on` hides the bar: on/off arguments are invertedby Vairo0-0· open at sourcebug
Out of area
Fixed - R-37omarchy setup security fingerprint cannot configure PAM once a print is already enrolledby sleepingcrows· open at sourcebug
Out of area
Decided· Out of scope - R-38omarchy-agent-usage-codex: 4s RPC timeout intermittently drops Codex usage/limitsby matthewjaybarr-png· open at sourcebug
Out of area
Decided· Out of scope - R-39`omarchy sudo passwordless` is broken on a dev-linked checkout: the privileged half is hardcoded to a stale `/usr/bin` copyby jacob-vincent-mink· open at sourcebug
Out of area
Decided· Out of scope - R-40Hybrid NVIDIA laptop: HDMI (dGPU-wired) external monitor corrupted after deep suspend; s2idle workaroundby ButtercupRobrts· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-41omarchy edge still ships r2304 — sudo fix from #13323 not packaged yetby nightdevil00· open at source
Out of area
Decided· Out of scope - R-42omarchy-channel-set suppresses the post-switch reboot offer because it hardcodes omarchy-update -yby nightdevil00· open at sourcebug
Out of area
Decided· Out of scope - R-43omarchy-channel-set asks for the sudo password on every step; the switch never establishes its own authorizationby nightdevil00· open at sourcebug
Out of area
Fixed - R-44Autologin stays on a black screen for ~30s while pam_gnome_keyring blocks the sessionby odcpw· open at sourcebug
Out of area
Decided· Out of scope - R-46Codex auto-review launch bypasses the shared background serverby jacob-vincent-mink· open at sourcebug
Out of area
Decided· Out of scope - R-47Fingerprint-unlock crash (pam_fprintd) leaves orphaned duplicate Quickshell bar, unmanageable by omarchy restart shellby matiazo· open at source
Out of area
Decided· Out of scope - R-48omarchy update prompts for sudo password repeatedly instead of caching itby ADIBAINS· open at sourcebug
Out of area
Decided· Out of scope - R-49omarchy restart trackpad silently does nothing on elan_i2c touchpadsby kianlabs· open at sourcebugcompatibility
Out of area
Decided· Out of scope