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-1220Keyboard input dead on the focused window after a long idle lock, workspace switch restores itby alexvcasillas· open at sourcebug
Out of area
Decided· Out of scope - R-1221Screen tearing(or scroll going down and up) on both browsers(chromium and brave) after updateby Linar46· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1223[Bug]: Changing password via Super Menu updater breaks SDDM login due to gkr-pam keyring mismatchby BSBrouwers· open at sourcebug
Out of area
Decided· Out of scope - R-4754[Bug] Super+J dispatches unsupported togglesplit in Scrolling workspacesby robinwibom· closed — completed at sourceReceived
- R-1224omarchy-network-speedtest: samples divided by a nominal 1s that is never measuredby PeriklisTs· open at sourcebug
Out of area
Decided· Out of scope - R-1225omarchy update wedged by unowned kernel-modules-hook leftovers after release-migration kernel downgradeby DrakeMorrison· open at sourcebug
Out of area
Decided· Out of scope - R-4753Cloning the top-level bar plugin (omarchy.bar) breaks the bar on all monitorsby Santym8· closed — completed at sourceReceived
- R-1226Embedded Google OAuth client ID and secret in bin/omarchy-install-chromium-google-accountby satwareAG-ironMike· open at source
Out of area
Fixed - R-4752Please - Add Google Antigravity CLI (agy) as a supported default AI agentby Peterontheblock· closed — completed at sourcebugFixed
- R-1227Failed bar option leaves no bar at all: pluginBarLoader error handler throws ReferenceError before the fallback runsby hshshshs12· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-4751Cloned omarchy.bar cannot load as a bar option: required properties never initialized by pluginBarLoaderby hshshshs12· closed — completed at sourceReceived
- R-1228Quattro upgrade rewrites kb_options, replacing grp:alt_shift_toggle with grp:alts_toggle and breaking AltGr on single-layout keyboardsby oslobowl· open at sourcebug
Out of area
Decided· Out of scope - R-4750Docker migration removes socket access without an apparent sudoless-Docker setup promptby mattrayner· closed — completed at sourceReceived
- R-4749omarchy install service sunshine always fails: enables 'sunshine.service' but package ships 'app-dev.lizardbyte.app.Sunshine.service'by molesza· closed — completed at sourceReceived
- R-1229omarchy-snapshot create fails with - IO Error (subvolume is not a btrfs subvolume)by rofoto· open at sourcebug
Out of area
Decided· Out of scope - R-4748nvidia.lua sets LIBVA_DRIVER_NAME=nvidia on hybrid Intel+NVIDIA laptops; Brave/Chromium video playback stalls the GPU processby ferriskleier· closed — completed at sourceReceived
- R-4747omarchy-update-restart: confirm_reboot has no unattended guard, still hangs under -yby PixelatedContinuum· closed — duplicate at sourceReceived
- R-1230`omarchy-hyprland-monitor-modeless` tests the wrong condition, so an output that is dark but has a valid mode never gets recoveredby mystakai· open at sourcebug
Out of area
Decided· Out of scope - R-1231`omarchy-brightness-display` documents `--monitor` but `off`/`on` ignore it, so a single display cannot be blankedby mystakai· open at sourcebug
Out of area
Decided· Out of scope - R-1232Network panel reports Timeout and 100% packet loss on a healthy link where the network filters outbound ICMPby AronBakes· open at sourcebug
Out of area
Decided· Out of scope - R-1233`omarchy update` hangs on a sudo password prompt even after `omarchy sudo passwordless`by duffmahn· open at sourcebug
Out of area
Decided· Out of scope - R-1234`omarchy theme list` fails silently (exit 0) in non-interactive shells; `theme set` reports a wrong reason — OMARCHY_PATH is only exported by ~/.bashrcby duffmahn· open at sourcebug
Out of area
Decided· Out of scope - R-1235stable-mirror.omarchy.org Arch repo databases stale (~5 days behind)by a-lang· open at sourcebug
Out of area
Decided· Out of scope - R-1236Power Manager Issue on Macbook 12 when upgraded to Quattroby 4ever911· open at sourcebug
Out of area
Decided· Out of scope - R-4746omarchy-menu-keybindings (Super+K) hangs at 100% CPU when a Lua config calls ipairs(hl.get_*())by FernandoJVideira· closed — completed at sourceFixed
- R-1238sunshine package built without CUDA support — NVENC silently unavailable for all NVIDIA usersby dev-Blaze· closed — duplicate at sourcebugduplicateReceived
- R-1239Bar: pointing-hand cursor never appears until the slot's first click (stale mouseX/mouseY in modulePointer cursorShape binding)by JeronimoColon· open at sourcebug
Out of area
Decided· Out of scope - R-4745Omawrite Save File dialog exceeds 2x logical display boundsby yuzuwoeser· closed — completed at sourceReceived
- R-4744Withdrawn by reporterby domenicomassafra· closed — not planned at sourceReceived
- R-1240Default Enter keybindings never match on keyboards that emit KP_Enterby chrishthompson· open at sourcebug
Out of area
Decided· Out of scope - R-1241Menu blocks on-screen keyboard input: Exclusive keyboard focus routes all pointer input to the menu (touchscreen devices)by ekollof· open at sourcebugReceived
- R-1242Screensaver wordmark clipped horizontally at default monitor scale on 1080p displaysby sedulam· open at sourcebug
Out of area
Decided· Out of scope - R-4743Power panel percentage ignores second battery on dual-battery laptopsby SilviuManeaDev· closed — completed at sourceReceived
- R-1243omarchy-audio-output-sink doesn't resolve EasyEffects' native PipeWire filter-chain routing — volume keys/panel control the wrong sinkby rabbitgti04930· closed — completed at sourcebugReceived
- R-1244BCM43602 (pre-T2 2017 MacBook Pro): feature_disable=0x82000 is not enough — regulatory domain is also requiredby benjarlett· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1245Hyprland 0.56.2 SIGSEGV on resume-from-suspend (lid open) — touch input null deref in CWLSurfaceResource::client()by promiseowolabi· open at source
Out of area
Decided· Out of scope - R-1246Agent windows (org.omarchy.agent) miss the terminal scroll_touchpad rule, making touchpad scrolling ~10x slowerby jr00n· open at sourcebug
Out of area
Decided· Out of scope - R-4742omarchy toggle bar has inverted on/off semantics — on hides the bar, off shows itby derekbeins· closed — duplicate at sourceReceived
- Decided· Out of scope
- R-1248omarchy-menu-keybindings: code: binds always displayed with US symbol names (xkbcli compile-keymap ignores the active layout)by danicatalan00· open at sourcebug
+2 also reported· show· hide
R-1248 is where this defect is tracked; these reports say the same thing.
- SUPER (SHIFT) + equal keyboard shortcuts don't resize windows (Belgian keyboard) R-2029filed Jan 9, 2026Open upstream.
- [JIS keyboard] Window resize shortcuts are misleading because they use US physical key labels R-907filed Sep 6, 2026Open upstream.
Fixed - R-12491Password window is not visible when accessing desktop over sunshine/moonlightby spuder· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1250Quattro upgrade silently drops all saved Wi-Fi networks in the iwd → NetworkManager switchby orospakr· open at sourcebug
Out of area
Decided· Out of scope - R-4741SUPER + J errors on scrolling-layout workspacesby seth-wood· closed — completed at sourceReceived
- R-1251omarchy.media bar widget renders blank: marquee leaves the label parked off-screen when the title fitsby TomFoolerrie· open at sourcebug
Out of area
Decided· Out of scope - R-4740omarchy-mise-install generates wrappers that recurse through PATH and hangby LukeSkypewalker· closed — completed at sourceReceived
- R-4739Hybrid iGPU-primary laptops: nvidia.lua forces NVIDIA env session-wide — video corruption (root cause of #4901) and blocked dGPU runtime suspendby karluiz· closed — completed at sourceFixed
- R-1252`omarchy update -y` can block at the post-update reboot promptby maxcroy1· open at sourcebug
Out of area
Fixed - R-1253`omarchy-screensaver` SIGSEGV: trap handler signals parent terminal and re-enters until stack overflowby enhapu-afk· closed — duplicate at sourcebugduplicateReceived
- R-1254Hardware video decode fails to render on external monitor wired to the NVIDIA GPU (hybrid Intel+NVIDIA, Omarchy 4.0.0.alpha "Quattro")by Murillofilho86· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1255Quickshell SIGSEGV at idle lock: QQuickItem reused across lock-screen windowsby LoveOverEgo· open at sourcebugReceived
- R-4738agents: Codex limits break with codex-cli >= 0.151.0 (invalid '-a untrusted')by Daz92· closed — completed at sourceReceived
- R-4737Bar disappears from both displays when a second monitor is connectedby Ch4pt3r23· closed — completed at sourceReceived
- R-4736omarchy install service sunshine: aborts on wrong unit name, skipping firewall/webapp/autostartby AsemHub· closed — completed at sourceReceived
- R-1256keyboard-layout widget switches the wrong device on laptops with vendor WMI/radio-control inputsby sas-blas· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1257Quattro upgrade enables SDDM auto-login on LUKS systems, preventing GNOME Keyring auto-unlockby vikrant0017· open at sourcebug
Out of area
Decided· Out of scope - R-1258bt-agent.service ExecCondition races bluetooth.service from the user manager, skipping the pairing agent for the whole bootby luizbafilho· open at sourcebug
Out of area
Decided· Out of scope - R-1259`omarchy-launch-floating-terminal-with-presentation` drops `BROWSER`: first-agent OAuth browser runs in the terminal's process tree and aborts with SIGTRAPby seanpk· open at sourcebug
Out of area
Decided· Out of scope - R-4735Universal clipboard shortcuts (Super+C/V/X) fail with 'send_key_state: key not found' on non-Latin keyboard layouts (e.g. Arabic)by AhmedHanye· closed — completed at sourceReceived
- R-1260Installer partition resize corrupts BTRFS filesystem, breaks existing OS bootby sylvainobegi· open at sourcebug
Out of area
Decided· Out of scope - R-1261Isolate /var/lib/docker (and other high-churn data dirs) from root Btrfs snapshotsby chapaghetti· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1262Agents widget attributes Pi/OpenAI usage to Codex after Codex uninstallby Samk13· open at sourcebug
Out of area
Decided· Out of scope - R-1263Quattro/Apple Silicon: lock-screen DPMS blank causes repeating HDMI hotplug flap ("No Signal" flicker) until unlockby gmahfood· closed — not planned at sourcebugcompatibilityReceived
- R-1264Brightness issue, screen gets very dim at 100% brightness but is alright at 95%by Techyiola· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1265Installed Omarchy 4.0.1 randomly hard-hangs in VMware Workstation 17.6.4 (live ISO works fine) — kernel 7.1.8-arch1-Watanare-T2-3-t2by ncepuee· open at source
Out of area
Decided· Out of scope - R-1266Command 'omarchy ascii' referenced in manual does not existby Kenny1291· open at sourcebugdocumentation
Out of area
Decided· Out of scope - R-1267Display panel brightness slider does not work with LG UltraGear evo 27GM950B-Bby Murderlon· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1268Last-resort Noto Naskh Arabic rule renders Latin digits in GTK apps as serifby anakinrpi· open at sourcebug
Out of area
Decided· Out of scope - R-1269Quickshell polkit dialog intermittently rejects a correct password ("conversation failed" / "could not identify password")by crazybadger· open at sourcebug
Out of area
Decided· Out of scope - R-1270omarchy dns Custom silently breaks internet when pointed at DNS-over-TLS-only resolvers (e.g. Mullvad)by miquel-b· open at sourceenhancement
Out of area
Decided· Out of scope - R-1271tsl and hsl silently do nothing on a non-numeric pane count instead of printing usageby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1272ga silently cd's into the existing worktree after `git worktree add` failsby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1273format-drive builds the wrong partition name for mmcblk/loop devices, leaving the drive wiped but unformattedby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1274dip kills unrelated processes: pkill -f pattern is unanchored and matches any command lineby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1275Removing 1Password from app menu leaves native-messaging integrations behindby stappmus· open at sourcebug
Out of area
Decided· Out of scope - R-1276diagnose-crash skill extracts cores to /tmp (tmpfs), spending RAM to diagnose an out-of-memory crashby GekkeTovie· open at sourcebug
Out of area
Decided· Out of scope - R-1277input.numlock_by_default = true mangles letters into digits on Apple keyboards with no numpad (hid-apple keypad emulation)by cheekychops· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1278[Quattro] Encrypted hibernate asks for both LUKS and session passwordsby ClGratton· open at sourcebugFixed
- R-1279omarchy-bar-text-color decodes every frame of a multi-frame background, exhausting system memoryby GekkeTovie· open at sourcebug
Out of area
Fixed - R-1280Light themes render foot colors into [colors-dark], so foot reports dark mode to 996-aware TUIsby rubas· open at sourcebug
Out of area
Decided· Out of scope - R-1281Defaults → Browser menu can't reflect the actual xdg default when it's outside the hardcoded listby PapaPandroni· open at sourcebugReceived
- R-1282Default Obsidian binding: focus = "^obsidian$" is anchored, so it can never match and SUPER+SHIFT+O never focuses an open windowby muishond· open at sourcebug
Out of area
Decided· Out of scope - R-1283omarchy-launch-browser causes Brave SIGTRAP when man is unavailableby johanthoren· open at sourcebug
Out of area
Decided· Out of scope - R-1284omarchy-notification-wait treats its timeout argument as an attempt count: a crash can block the watcher for 3.5 minutes and then be dropped with no traceby Dandroid-D· open at sourcebug
Out of area
Decided· Out of scope - R-4734Agents bar widget: Codex limits always show "unavailable" (stale --ask-for-approval value)by abduvaliy-engineer· closed — completed at sourceReceived
- R-1286omarchy-install-gaming-steam pulls nvidia-utils onto non-NVIDIA systems: --noconfirm picks lib32-nvidia-utils for steam's lib32-vulkan-driver depby microfire21-og· closed — completed at sourcebugReceived
- R-1287Windows VM: RDP guest fills only quarter of client window at 160% scaleby Rowdydangerous· open at sourcebug
Out of area
Decided· Out of scope - R-4733Agents panel: Codex limits show 'initialize' — stale --ask-for-approval flag valueby samkhoo94· closed — completed at sourceReceived
- R-1288Bluetooth widget's list of available devices jumps to top after scrolling downby mikersays· open at sourcebug
Out of area
Decided· Out of scope - R-1290Tray icons are only tinted when the icon name ends in -symbolicby hayarza· open at sourcebug
Out of area
Decided· Out of scope - R-1291Dark themes ship light Yaru icon variants, making tray icons unreadableby hayarza· open at sourcebug
Out of area
Fixed - R-1292Browser cannot access built-in camera even when libcamera, pipewire-libcamera, and qcam all workby loganwoolf· open at sourcebug
Out of area
Decided· Out of scope - R-1293Omarchy Instant: deploy a signed image instead of installing file by fileby josephjacks· open at sourceenhancement
Out of area
Decided· Out of scope - R-1294Bar centre section is unclickable with an absolute pointing device; relative mouse mode fixes itby novastate· open at sourcebug
Out of area
Decided· Out of scope - R-4732omarchy-theme-set-browser-policy exits 1 on success under Bash 5.3, breaking omarchy update at migration 1787515927by miltonio94· closed — completed at sourceReceived
- R-4731Migration 1787515927 failedby neheb· closed — completed at sourcebugReceived
- R-1295Nautilus space-preview never plays video on NVIDIA (gtkglsink EGL_BAD_CONTEXT); GDK_GL=gles fixes itby danielgccr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4730omarchy-menu-keybindings: Lua config scan hangs forever (100% CPU) if hyprland.lua calls any un-stubbed hl.* function inside ipairs()by LukaszWituch· closed — completed at sourceFixed
- R-4729Hyprland window rule for LocalSend does not match (class is 'org.localsend.localsend_app')by richerve· closed — completed at sourcebugReceived
- R-1296Installer omits direct Omarchy UKI UEFI entry; first boot halts in Limine on dual-NVMe/dual-ESP systemby majesticio· open at sourcebug
Out of area
Decided· Out of scope