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-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-2120omarchy-windows-vm launch fails: chmod 0700 does not clear setgid bit on ~/Windowsby m13072234271· closed — completed at sourceReceived
- 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-2118Default shift:both_capslock_cancel silently breaks fcitx5 Shift-based hotkeysby Plutarch01· closed — completed at source· edited (2 revisions)Received
- 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-2116Unify contributor guidelines via single source of truth (AGENTS.md / CONTRIBUTING.md)by codenamekt· closed — not planned at sourceReceived
- 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-2112Lock screen wakes in a loop on monitors that drop HDMI hotplug in standbyby lucasmendesdeliver· open at sourcebug
+4 also reported· show· hide
R-2112 is where this defect is tracked; these reports say the same thing.
- Lock screen alternates black <-> lock UI every ~13.5s on AMD iGPU over HDMI R-1329filed Aug 28, 2026Open upstream.
- Display flickers off/on repeatedly after idle lock on AMD APU + HDMI/DP (DPMS flap loop) R-1285filed Aug 29, 2026Open upstream.
- Locked screen DPMS repeatedly wakes/re-blanks every ~15s on dual-monitor setup R-834filed Sep 8, 2026Open upstream.
- Lock screen blank loops indefinitely on displays that drop HDMI HPD in power save R-677filed Sep 11, 2026Open upstream.
Fixed - 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-2108A user's own binds in ~/.config/hypr/bindings.lua never reach the keybindings menu's Lua scanby linyiru· closed — duplicate at sourceFixed
- R-5128omarchy font set: restart notification for Foot/Ghostty fails (empty -g glyph)by negri· closed — not planned at sourceReceived
- 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-2105Agents panel: Codex limits always "unavailable" — rpc_request misses replies already buffered by readline()by Andrelyn12035· closed — duplicate at sourceReceived
- 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-2Clock panel calendar repeats a day and shifts the month after a midnight DST transitionby Andreslvc· closed — completed at sourcebugFixed
- 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-4Dictate bar icon errors with "voxtype: command not found" when Voxtype isn't installedby TitanicRuby· closed — duplicate at sourceReceived
- 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-5127omarchy-agent-usage-codex: account/read intermittently times out because select() misses lines buffered by readline()by Gianclaudio81· closed — duplicate at sourceReceived
- R-11Launch OSD toast ("Launching X…") can get stuck on screen indefinitelyby PandaProgrammierer· open at source
Out of area
Decided· Out of scope - R-12Menu (Super+Space) needs several presses to open after focus moves to another monitorby ctarx· open at sourcebugFixed
- R-13omarchy-windows-vm launch refuses ~/Windows once dockurr sets setgid (chmod 0700 leaves mode 2700)by hahacharlie· closed — completed at sourcebugReceived
- 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-28Menu JSONC: an inline `//` comment tail silently empties every entry in that menu fileby buger· open at source· edited (5 revisions)
Known issueKI-MENU-JSONC-INLINE-COMMENT
Fixed - R-29Menu JSONC: a top-level array root is silently read as menu rows with ids "0", "1", …by buger· open at source· edited (5 revisions)bug
Known issueKI-MENU-JSONC-ARRAY-ROOT
Fixed - R-30Hermes Desktop launcher crashes: "too many values to unpack (expected 4)" — _desktop_launch_options() now returns >4 valuesby momentumwave· closed — completed at sourceReceived
- 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-33hermes-desktop launcher always skips the existing install (HERMES_DESKTOP_IGNORE_EXISTING=1 hardcoded)by spideranged· closed — completed at sourceReceived
- 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-5126omarchy plugin clone leaves bar.centerAnchor pointing at the old widget id, silently disabling the center anchorby emindashdamirov11-lang· closed — not planned at sourceReceived
- R-35`omarchy toggle bar on` hides the bar: on/off arguments are invertedby Vairo0-0· open at sourcebug
Out of area
Fixed - R-36MOMENTUM 4 stereo silence after sleep: reset and re-pair restored AAC playbackby argrig666· closed — not planned at sourcebugReceived
- 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-5125`omarchy sudo passwordless` is broken on a dev-linked checkout: the privileged half is hardcoded to a stale `/usr/bin` copyby jacob-vincent-mink· closed — duplicate at sourceduplicateReceived
- 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-45Codex CLI 0.157.1 breaks Super+C universal copy in its terminal UIby jacob-vincent-mink· closed — completed at sourceReceived
- 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