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-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-2146Shell shortcuts (SUPER+SPACE menu etc.) stop working after monitor disconnect/reconnect via KVM until rescanPluginsby dennisroy· open at sourcebug
Duplicate ofShell restart after an update leaves overlapping quickshell generations; menu keybind dies silently while IPC still answers R-2159— where this defect is tracked
+1 duplicate report here· show· hide
Every defect they describe is already reported in this tab, and this report leads their main one. This tab lists one row per report that brings a defect of its own.
- Super+Space intermittently fails to show the Omarchy menu; shell restart restores it R-5174filed Oct 6, 2026· open upstream
Decided· Duplicate - 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-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-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-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-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-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-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-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-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-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 - R-50Hibernate resume fails (amdgpu_pmops_freeze -> -62, GPU mode1 reset failed) on AMD RDNA2 dGPU desktops - initramfs kms load blocks the resume hookby ilvez· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-51Lenovo ThinkPad does not shut down properly and slow startupby Armoghan-ul-Mohmin· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-52Live ISO kernel (linux-t2) has no amdgpu — black screen on AMD APU laptops (HP 255 G10 / Ryzen 7 7730U)by alexveli1· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-53DisplayPort audio ELD lost after S3 resume and lid transition while video remains connectedby antipopp· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-55omarchy update aborts: "Refusing to use an unsafe Omarchy update inhibitor state path" (locale-dependent stat %F rejects stock XDG_RUNTIME_DIR)by nanpaidashi· open at sourcebug
Out of area
Decided· Out of scope - R-56A throwing plugin close() leaves the panel overlay mapped and locks all pointer inputby St1aan· open at sourcebug
Out of area
Decided· Out of scope - R-58omarchy update aborts with 'Refusing to use an unsafe ... inhibitor state path' on non-English locales (localized stat %F comparison)by sijin-xb· open at sourcebug
Out of area
Decided· Out of scope - R-59Power panel doesn't show CPU/memory system stats despite manifest descriptionby kennysaelen· open at sourcebug
Out of area
Decided· Out of scope - R-61Dual boot with Windows: a clock in local time keeps new snapshots out of the Limine menu for hoursby peregrinus879· open at sourceenhancement
Out of area
Decided· Out of scope - R-63kms hook kept on desktops with an idle iGPU: 139 MB of unused nouveau/amdgpu firmware per UKI, exhausting a 2 GB ESPby nanstey· open at sourcebug
Out of area
Decided· Out of scope - R-65omarchy-update-requires-free-space checks only /, never the ESP — a full /boot breaks booting with no warningby nanstey· open at sourcebug
Out of area
Decided· Out of scope - R-66Super+C interrupts commands in Foot after clipboard shortcut update; existing configs need migrationby rfmyrick· open at sourcebug
Out of area
Decided· Out of scope - R-67linux-omarchy 7.2.5-3: kernel panic in idle task (Attempted to kill the idle task) on Alder Lake XPS 15 9520 — stock linux 7.2.3 stableby bkbatchelor· open at sourcebug
Out of area
Decided· Out of scope - R-68Chrome Live Caption bubble is tiled into its own windowby IgnorEnd· open at sourcebug
Out of area
Decided· Out of scope - R-69omarchy-launch-battlenet has no single-instance guard — every relaunch stacks a headless Proton treeby zor01010· open at sourcebug
Out of area
Decided· Out of scope - R-70Third-party bar widget never mounts while its keepLoaded service runs, and reload does not compile the widget QMLby thodoristsagko· open at sourcebug
Out of area
Decided· Out of scope - R-71Bluetooth does not retain OFF setting between rebootsby orangezipper· open at sourcebug
Out of area
Decided· Out of scope - R-72`omarchy update` reports failure when a user-installed AUR package (hyprmoncfg) can't rebuild: read-only Go module cache left in yay build dirby lavrinovich86· open at source
Out of area
Decided· Out of scope - R-73External monitor via USB-C→DP dongle never recovers after suspend/replug on ThinkPad X1C Gen8 (Alpine Ridge TB3) — reboot-only, not an Omarchy bugby zarej· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-74`omarchy-update` is annotated `omarchy:requires-sudo=true`, but running it as root makes the mise step write root-owned files into the user homeby abdrumm· open at sourcebug
Out of area
Decided· Out of scope - R-75Nautilus 'file operations' popup prevents hover/click anywhere elseby pmpinto· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope