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-1131omarchy windows key is documented but missing from Quattro 4.0.1by stottm· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1134USB-C hub/dock monitors dead on Framework 13 (Tiger Lake) after linux 7.1.9 — ucsi_acpi never binds USBC000, /sys/class/typec emptyby edlandm· open at source
Out of area
Decided· Out of scope - R-1135[Bug] Chromium main process SIGTRAPs on VM close (VM teardown triggers gpu_data_manager fatal CHECK)by drumguy1384· open at source
Out of area
Decided· Out of scope - R-1136Support non-interactive updates: omarchy update --yes flagby hummbl-dev· open at sourceenhancement
Out of area
Fixed - R-1137windowrule opacity: active-state "override" has no effect when loaded from config (reload), only when injected live via hyprctl evalby granite4lyfe· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1139Surface Book 2 touchscreen dead on stock kernel (needs linux-surface/IPTS)by GimpyHand· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1142Screen flickers while on udemy and youtube. Video play broken.by susamn· open at sourcebug
Out of area
Decided· Out of scope - R-1143Omarchy install ends with cryptic VFS: Cannot open root device "" or unknown-block(0,0) or grub_memalign:552:out of memoryby jsuchal· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1144omarchy-restart-terminal does not handle foot (silently no-ops)by Realrandombacon· open at sourcebug
Out of area
Decided· Out of scope - R-1146Keyboard layout mismatch between installation and loginby anthony-robin· open at sourcebug
Out of area
Decided· Out of scope - R-1148Empty scratchpad forwards keyboard input to the underlying windowby JoNil· open at sourcebug
Out of area
Decided· Out of scope - R-1150hyprland.lua loads nwg-displays monitors.lua but not workspaces.lua, so workspace-to-monitor assignments never applyby JohnAtl· open at sourcebug
Out of area
Decided· Out of scope - R-1151[hyprland] `omarchy-hyprland-window-pop` state desync on already-floating windowsby on370· open at sourcebug
Out of area
Decided· Out of scope - R-1152Obsidian theme: Data Files Editor selection and active line ignore theme colorsby JoNil· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1154Quickshell repeatedly SIGSEGVs in authentication_cancelled_cb after overlapping Polkit requestsby nontradition· open at sourcebug
Out of area
Decided· Out of scope - R-1155[hyprland/libreoffice] LibreOffice file picker dialog opens fullscreen and slides under top barby on370· open at sourcebug
Out of area
Decided· Out of scope - R-1156Setting up fingerprint unlocking is not working on my laptopby Techyiola· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1157PipeWire runs without realtime priority on a stock install (rtkit is not included)by michelbob· open at sourcebug
Out of area
Fixed - R-1158Update > Hardware > Trackpad silently no-ops on Apple bcm5974 trackpadsby cmyk· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1159Emoji picker opens at output center instead of over the focused windowby JoNil· open at sourceenhancement
Out of area
Decided· Out of scope - R-1160Kernel 7.2 update leaves BCM4360 Macs offline: wl module missing and DKMS fails to buildby robertogogoni· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1162omarchy-drive-password: "No encrypted drives available" due to unprivileged blkid callby LoupiBe· open at sourcebug
Out of area
Decided· Out of scope - R-1163agents: Claude limits cache is shared across CLAUDE_CONFIG_DIR accountsby mikebronner· open at sourcebug
Out of area
Decided· Out of scope - R-1164No lid-shut battery protection when hibernate can't be made to workby zachsa999· open at sourceenhancement
Out of area
Decided· Out of scope - R-1165Migration 1788009111 fails when CUPS scheduler is not runningby joselberg· open at sourcebug
Out of area
Decided· Out of scope - R-1166Docs and scripts still point at basecamp/omarchy; agent bug-reporting guide sends duplicate searches to a repo that cannot be searchedby Yannick-Pinta· open at sourcebug
Out of area
Decided· Out of scope - R-1167Clamshell reconciliation poll flaps eDP-1 disabled/enabled repeatedly while docked (lid-close and manual toggle both affected)by AM-Campbell· open at source
Out of area
Decided· Out of scope - R-1168Critical notifications have no visible close button and never auto-expire (crash toasts get stuck forever)by mrocha-montes· open at sourcebug
Out of area
Decided· Out of scope - R-1169omarchy install terminal <pkg> reports failure but still mutates xdg-terminals.list and copies config when package is missing on aarch64by ozz1ee-dev· open at sourcebug
Out of area
Decided· Out of scope - R-1170Huawei BOD-WXX9 (Goodix GXTP7863 27C6:01E0): touchpad ignores all input on a fresh installby SemihMutlu07· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1171Add kinetic/inertial scrolling for touchpadby sudo-WearTherinG· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1172code: workspace bindings all fire at once; window always lands on workspace 10by NazzarenoGiannelli· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1175omarchy bar set stores booleans as strings, silently disabling manifest-declared boolean settingsby CapitalX· open at sourcebug
Out of area
Decided· Out of scope - R-1176Config-rewriting migrations reset file mode to 0600 via `mktemp` + `mv`by prusso· open at sourcebug
Out of area
Decided· Out of scope - R-1178Bluetooth widget device list reshuffles under pointer during discovery, causing misclicksby daffelito· open at sourcebug
Out of area
Fixed - R-1179Workspace move keybindings bypass hyprmoncfg workspace monitor assignmentsby misza-one· open at sourcebug
Out of area
Decided· Out of scope - R-1180`omarchy-version` is slow (~200ms) due to `pacman -Q`, adds noticeable delay to fastfetch and any script calling itby EBBD88· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Fixed
- R-1183Internal panel stays black after screensaver/suspend wake on single-GPU Nvidia laptops (dpmsStatus desync in omarchy-brightness-display)by ahdkabeerhadi· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1185omarchy plugin add --enable: one-shot enablePlugin IPC times out ("omarchy-shell is not responding") while the shell is still rebuilding plugins; plugin lands installed but disabledby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-1186Closed-lid session stays unlocked and accepts invisible input after its last external monitor disconnectsby SmithLabsLLC· open at sourcebug
Out of area
Fixed - R-1187Tray context menu does not dismiss from its trigger or elsewhere on the barby SmithLabsLLC· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1189linux-modules-cleanup.service runs with no systemd sandboxing (9.6 UNSAFE)by drneb99· open at sourceenhancement
Out of area
Decided· Out of scope - R-1190Consider setting dev.tty.ldisc_autoload=0 by defaultby drneb99· open at sourceenhancement
Out of area
Decided· Out of scope - R-11914.0.1 update: no internet — PCIe 10GbE AQC113 (enp7s0/atlantic) never got a link; NetworkManager did not startby mrdeath5493· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1192Bar: hovering the center section slides neighbouring widgets under a stationary pointerby prusso· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1194Vivaldi misses the chromium-based-browser tag: browser.lua regex spells the class "Vivaldi-stable", real class is lowercaseby maTzko13· open at sourcebug
Out of area
Fixed - Decided· Out of scope
- R-1196[hyprland] Steam main window defaults to small floating 1100x700 instead of tiled/maximizableby 0xMax-Sec· open at sourceenhancement
Out of area
Decided· Out of scope - R-1197Cloned theme without [colors.selection] gets selection == foreground (invisible highlights)by errpoulos· open at sourcebug
Out of area
Decided· Out of scope - R-1198Tailscale panel: account switcher labels every profile with the same nickname, hiding which tailnet is whichby tarpediem· open at sourcebug
Out of area
Decided· Out of scope - R-1199theme set silently breaks theming when a user theme's colors.toml is a relative symlinkby andersmar· open at sourcebug
Out of area
Decided· Out of scope - R-1200Shell plugin hot-reload never picks up edited QML until full restartby kryakenHub· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1202Full-disk install fails with ENOSPC when erasing ChromeOS Flex GPT containing 512-byte partitionsby alexg0· open at sourcebug
Out of area
Decided· Out of scope - R-1203install/user/xcompose.sh writes an absolute /usr/share/omarchy include, breaking every compose sequence inside Steam's containerby Marjinoz· open at sourcebug
Out of area
Decided· Out of scope - R-1204Hibernation hangs and kills the keyboard on Apple T2 Macsby spuder· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1205[Fix] Power draw spikes from resumed NVIDIA GPU eating ~20% of battery life in ASUS G14/G16 2024/2025by nightdevil00· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1207Screen recording bar indicator gets stuck 'active' after a stopped/crashed recordingby Kumpelo· open at sourcebug
Out of area
Decided· Out of scope - R-1208omarchy repo signing key exists in keyring but SigLevel still Optional TrustAll (follow-up to #2712)by drneb99· open at source
Out of area
Fixed - R-1209HP Victus 16-s1xxx: opening the lid soft-blocks Wi-Fi (firmware scancode 0xd7 -> KEY_WLAN -> rfkill)by speedybits· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1210Consider setting kernel.kptr_restrict=1 by defaultby drneb99· open at sourceenhancement
Out of area
Decided· Out of scope - R-1211Screensaver saturates 5+ CPU cores and thermally throttles on HiDPI displays (foot is software-rendered, hardcoded --frame-rate 120)by markvogel· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1216Theme is not applied to Brave Origin Betaby sanjyay· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1217`omarchy font set` leaves `bold_font`/`italic_font` stale in kitty.conf — bold text renders the old fontby ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-1218Blender crashes at startup when UWSM exposes global Mise Pythonby f-iacono· open at sourcebug
Out of area
Fixed - 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-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-1226Embedded Google OAuth client ID and secret in bin/omarchy-install-chromium-google-accountby satwareAG-ironMike· open at source
Out of area
Fixed - 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-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-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-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-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-1240Default Enter keybindings never match on keyboards that emit KP_Enterby chrishthompson· open at sourcebug
Out of area
Decided· Out of scope - R-1242Screensaver wordmark clipped horizontally at default monitor scale on 1080p displaysby sedulam· open at sourcebug
Out of area
Decided· Out of scope - 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 - Decided· Out of scope
- R-12491Password window is not visible when accessing desktop over sunshine/moonlightby spuder· open at sourcebugcompatibility
Out of area
Decided· Out of scope