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-1154Quickshell repeatedly SIGSEGVs in authentication_cancelled_cb after overlapping Polkit requestsby nontradition· open at sourcebug
Out of area
Decided· Out of scope - R-4788omarchy-menu-keybindings: Infinite loop during cache generation due to ipairs on noop objectby rendarth· closed — completed at sourceFixed
- R-4787v4.0.2 package missing hover-revealed notification close button (#6946)by johnpippett· closed — completed at sourceReceived
- 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-4786CapsLock brokenby zaneschepke· closed — completed at sourcebugReceived
- 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-4785Selecting a Bluetooth headset input can leave it in A2DP with a silent microphoneby filipechagas· closed — completed at sourceReceived
- 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-4784Web app installer writes an unquoted URL to Exec=, producing an invalid .desktop for URLs with a query stringby Yannick-Pinta· closed — completed at sourceReceived
- R-4783windows-vm: chmod 0700 preserves directory setgid bit, causing launch to fail safety checkby VillainRU· closed — completed at sourceReceived
- R-4782All omarchy-settings commands are unreachable via the omarchy dispatcher (missing symlinks in OMARCHY_BIN_DIR)by alexmirkovic99-hue· closed — completed at sourceReceived
- 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-4781Add support for Antigravity (agy) agent and note deprecated Gemini CLIby slawkor· closed — not planned at sourceFixed
- R-4780omarchy-agent-usage-codex: RPC probe fails on current Codex CLI (-a untrusted no longer valid)by ddiall· closed — completed at sourceReceived
- 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-4779Lock screen clobbers saved keyboard backlight level: omarchy-brightness-keyboard off re-saves 0, so restore-on-wake brings back 0by symbolofraisins· closed — completed at sourceFixed
- R-4778VS Code/Cursor never reloads generated "Omarchy" color theme — theme changes don't propagate and re-selecting it applies a stale paletteby Macho0x· closed — completed at sourceReceived
- 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 - R-1173Windows VM 4.0.2: launch fails silently after polkit auth (setgid chmod check can never pass)by bpidperygora· closed — completed at sourcebugReceived
- Decided· Out of scope
- R-4777Bluetooth bar widget disappears and cannot be re-enabled when rfkill-disabledby higgsboson909· closed — completed at sourceReceived
- 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-1177Lock screen accepts no keyboard input after suspend/resume — fcitx5 wedges, presents as a system freezeby brendanhalfpenny· open at sourcebugReceived
- R-4776omarchy install service sunshine aborts: 'Unit sunshine.service does not exist' (upstream unit renamed)by brendanhalfpenny· closed — completed at sourceReceived
- R-4775omarchy toggle bar on/off arguments are inverted — 'on' hides the barby brendanhalfpenny· closed — completed at sourceReceived
- 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-1184omarchy install app usage line points at the hyphen form and obscures the two-arg shape (and --help on the direct binary is silently misread — systemic)by WhiskeyTuesday· open at sourcebugReceived
- 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-4774[quickshell] SIGSEGV in QQuickTextPrivate::updateLayout when clipboard contains HTML <img> tagsby krreeshhh· closed — completed at sourceFixed
- 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-4773omarchy-hook runs hooks with bash, ignoring shebang and executable bit — non-bash hook silently hung omarchy-updateby lvkz-okcapsule· closed — completed at sourceReceived
- 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-4772Lock screen password field doesn't have keyboard focus until clickedby r3d3n0d0· closed — completed at sourceFixed
- 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-4771omarchy-agent-usage-codex: hardcoded --ask-for-approval value 'untrusted' rejected by current codex-cliby sal-he· closed — completed at sourceReceived
- 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-4770Quickshell SIGSEGV in QQuickTextPrivate::updateLayout after invalid StyledText image URLby Mayor-OZ· closed — completed at sourceReceived
- R-4769Quickshell SIGSEGV in QQuickTextPrivate::updateLayout after invalid StyledText image URLby Mayor-OZ· closed — completed at sourceReceived
- R-1197Cloned theme without [colors.selection] gets selection == foreground (invisible highlights)by errpoulos· open at sourcebug
Out of area
Decided· Out of scope - R-4768omarchy-shell (quickshell 0.3.1) crashes with EGL 0x3000/'fatal error: Invalid argument' when monitor powers off on idle (DPMS), then crash-loopsby natoftheboonies· closed — completed at sourceReceived
- R-4767omarchy-network-status: 100% packet loss when 1.1.1.1 is unreachableby 0zgenius· closed — completed at sourceReceived
- 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-4766install service sunshine can never succeed: enables the unit by its alias nameby hakkon· closed — completed at sourceReceived
- R-4765Restarting audio services crashes QuickShell in QQuickRepeater::regenerateby kstimpson85· closed — completed at sourceReceived
- 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-4764omarchy-hw-touchpad fails to detect touchpads whose libinput name doesn't contain "touchpad"/"trackpad" (e.g. synaptics-tm3053-004)by ealarcony· closed — completed at sourceReceived
- 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-4763Agents widget: Codex limits never load — collector passes removed `-a untrusted` to app-serverby emergencerising-maker· closed — completed at sourceReceived
- 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-4762Voxtype pause_media silently fails: playerctl not installed by omarchy-voxtype-installby montanasnow· closed — completed at sourceReceived
- 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-4761default-keyring.sh writes an unparseable stub keyring, wiping Chrome/Docker secrets on every loginby gurupak· closed — completed at sourceReceived
- R-1206Password prompt flashes before displays blank on suspend and hibernateby ClGratton· open at sourcebugReceived
- R-4760Dismissing the Speed Test panel orphans 8 upload workers that keep saturating the uplinkby orospakr· closed — not planned at sourceReceived
- 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-4759No warning when all Chromium-family browsers are removed breaks webapp launchersby linuts· closed — completed at sourceReceived
- 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 - R-4758omarchy-hw-touchpad fails to detect Apple bcm5974 trackpad (name-pattern match too strict)by fcofont· closed — completed at sourceReceived
- R-4757os.execute() always fails with ECHILD inside Hyprland's embedded Lua config (breaks nvidia.lua auto-detection)by drumstin· closed — completed at sourceReceived
- R-4756Issues that forced me to switch back to Windowsby sudo-WearTherinG· closed — completed at sourcebugReceived
- R-1212[Quattro] Idle screensaver-to-lock transition flashes the password promptby ClGratton· open at sourcebugFixed
- R-1213[Quattro] Lock wallpaper can show only its fallback color after resumeby ClGratton· open at sourcebug
+1 also reported· show· hide
R-1213 is the earliest report of this defect; this report says the same thing.
Received - R-1214[Quattro] Lock password field can lose focus after suspend resumeby ClGratton· open at sourcebug
+8 also reported· show· hide
R-1214 is where this defect is tracked; these reports say the same thing.
- Lock screen visible but keyboard input dead after lid-open resume (reproduces on Quattro, follow-up to #2991) R-1571filed Aug 22, 2026Open upstream.
- Lock screen freezes / keyboard input unresponsive after suspend-resume until DRM/VT switch R-712filed Sep 10, 2026Open upstream.
- [Bug] Password input field is not focused on lock screen after suspend/wake R-319filed Sep 19, 2026Closed upstream on 2026-10-12 by the bot omarchybot, as a duplicate (target not recorded).
- Lock screen password field loses keyboard focus after DPMS wake R-300filed Sep 20, 2026Open upstream.
- Intermittent unresponsive/blank lock screen after s2idle resume on ThinkPad L13 Yoga Gen 3 R-173filed Sep 23, 2026Open upstream.
- Lock screen ignores keyboard after lid close/resume until clicked R-2185filed Oct 2, 2026Open upstream.
- Hibernate resume UX: black screens, lock screen not auto-focusing, no progress indication R-5189filed Oct 7, 2026Open upstream.
- Lock screen password field stops accepting input after lid close/reopen (suspend/resume); session stays locked, forces reboot R-5249filed Oct 8, 2026Open upstream.
Fixed - Decided· Out of scope
- R-4755Clamshell layout resets to extended after idleby paulo-phbit· closed — completed at sourceReceived
- 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