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.
Issues already closed where they were filed (for example on GitHub) with nothing decided here. Kept as history so a new report can be matched to the earliest one; they are not worked, even if an agent left a proposal or a question on one.
- R-4490Lockscreen app died after latest updateby francardoso93· closed — completed at sourcebugReceived
- R-4489Remove AUR from omarchy-update-performby daviewales· closed — completed at sourcebugReceived
- R-1901omarchy-hw-nvidia-without-gsp misclassifies Turing-based MX cards (e.g. MX550) as no-GSP, causing driver conflict with Steam installby AndresSM415· closed — completed at sourcebugcompatibilityReceived
- R-4488Elephant auto-detects systemd-run launch prefix, causing Electron apps to fail from launcherby DavidHoenisch· closed — completed at sourceReceived
- R-4487Neovim configuration template for the Catppuccin themeby BeresN· closed — completed at sourcebugReceived
- R-4486VSCODE installation: `yay -S visual-studio-code-bin` fails on Omarchy 3.8.2by paolodeangelis· closed — completed at sourcebugReceived
- R-4485RC pacman mirror is stale since May 23by pvellacott· closed — completed at sourcebugReceived
- R-1904Fresh manual install leaves /boot unbootable on GRUB systems: mkinitcpio hooks disabled during kernel downgrade, never re-enabledby seokjushin· closed — not planned at sourceReceived
- R-1905Manual install cannot run non-interactively: three TTY/env assumptions kill the installer in automated environmentsby seokjushin· closed — not planned at sourceReceived
- R-4484Universal clipboard (Super+C/V) doesn't work in Ghostty quick terminalby KristianHolme· closed — duplicate at sourcebugReceived
- R-4483Universal clipboard (Super+C/V) doesn't work in Ghostty quick terminalby KristianHolme· closed — completed at sourcebugReceived
- R-4482Waybar reloads leak `voxtype status --follow` orphans despite `trap 'kill 0' EXIT` (#5345 didn't fix it)by Fatih0234· closed — completed at sourceReceived
- R-4481Why omarchy-system-sleep-monitor scriptby vander00· closed — completed at sourcebugReceived
- R-4480LUKS password prompt fails on boot after Plymouth updateby Jick1164· closed — completed at sourcebugReceived
- R-4479Theme Doesnt persist post rebootby dkgamer02ai· closed — completed at sourcebugReceived
- R-4478stable-mirror.omarchy.org returns 404by ratrakone· closed — duplicate at sourcebugReceived
- R-4477Waybar crash leaves bar down because it runs as transient UWSM scopeby derekszen· closed — completed at sourceReceived
- R-4476rounded-corners toggle broken: wrong extension + invalid Lua formatby davidMendezG· closed — completed at sourceReceived
- R-4475Boot-time systemd-stub random-seed warning under Limineby diegnghtmr· closed — completed at sourceReceived
- R-4474Non-US keyboard layout not applied at LUKS decrypt prompt after 3.8.x updateby Codinger-404· closed — completed at sourcebugFixed
- R-4473Migration 1781587663 silently fails — remote_clipboard.lua missing from omarchy-nvim packageby JJDizz1L· closed — completed at sourceReceived
- R-4472Screenshot captures the screenshot selection tool in the imageby pelephant2· closed — completed at sourcebugReceived
- R-4471Ethernet Problemby Kerryhen· closed — completed at sourcebugReceived
- R-4470Computer immediately wakes up from suspendby LennertVA· closed — completed at sourcebugReceived
- R-4469Security risk: single-letter alias c='opencode' turns typos into silent 54MB remote downloadsby nhlmg93· closed — completed at sourceReceived
- R-4468Windows Update broke the Dockur Virtual Machineby pelephant2· closed — completed at sourcebugReceived
- R-4467Lock DPMS-off can crash Hyprland on HKC GS49UK + NVIDIAby derekszen· closed — completed at sourceReceived
- R-4466Unable to load fresh installationby m-lushpaev· closed — completed at sourcebugReceived
- R-4465Missing Monitor after suspendby saigkill· closed — completed at sourcebugReceived
- R-4464Vulkan driver not backfilled: pre-vulkan.sh installs left without Mesa Vulkan ICDby ki11e6· closed — completed at sourceReceived
- R-4463Choosing non-English layout in installation makes the system unusableby Cutipus· closed — completed at sourcebugReceived
- R-4462Waybar clock shows time 1 hour behind (DST not applied) on Pacific timezone with tzdata 2026bby Chase78712002· closed — completed at sourcebugReceived
- R-4461AUR compromised via atomic-lockfileby dcunited001· closed — not planned at sourcebugReceived
- R-4460Plymouth LUKS unlock prompt uses QWERTY despite French keymap present in UKIby lionel-arnaud· closed — completed at sourcebugReceived
- R-4459Omarchy toggle load order makes user looknfeel.conf unable to override toggle settings.by xicubed· closed — completed at sourcebugReceived
- R-4458Core Ultra 9 386H (Panther Lake) clamped to 400 MHz by externally-asserted BD PROCHOTby Pegorim· closed — completed at sourceReceived
- R-4457Zen Browser has weird mouse interractionby segersniels· closed — completed at sourcebugReceived
- R-4456Helium Browser (at least on Linux, cannot spilt or resize the window in half perfectly)by Galaxon2710· closed — completed at sourcebugReceived
- R-4455Manual lists wrong shortcut for unencrypted installationby sublim808· closed — completed at sourcebugReceived
- R-4454omarchy-voxtype-status script orphans child processes due to missing SIGTERM trapby dmitrylito· closed — completed at sourcebugReceived
- R-4453Montor not detected when trying to screenshare/screenrecord | SOLVEDby ghost· closed — completed at sourcebugReceived
- R-4452Audio Quality Dropped Significantly Of My Laptop Speaker After Switching to Omarchyby 17Swagat· closed — completed at sourcebugReceived
- R-4451wifi adapter driver `aic8800d80-dkms` not working anymoreby Zerodayu· closed — completed at sourcebugReceived
- R-4450How to disable scaling hotkey?by ChuckNorrison· closed — completed at sourcebugReceived
- R-4449ASUS ROG Swift PG278Q stuck at 640x480 on AMD GPU due to EDID read failure [With Fix]by Quvist· closed — completed at sourcebugReceived
- R-4448Voxtype/Dictation does not resume previous audio after useby nelsonsbrian· closed — completed at sourcebugReceived
- R-1922Crashed after recent updateby Aliyan-cmd· closed — not planned at sourceReceived
- R-4447i messed up terminal shell , unable to set it to default (bash)by saqib33www-collab· closed — completed at sourcebugReceived
- R-4446omarchy-walker: elephant-files indexer causes sustained disk I/O storm (load avg ~8, 30+GB writes) on btrfs/LUKSby faik· closed — completed at sourcebugReceived
- R-4445A strange window popup when I open vscodeby luozikuan· closed — completed at sourcebugReceived
- R-4444i messed up root directory. help me restore cursor iconby saqib33www-collab· closed — completed at sourcebugReceived
- R-4443Xbox Bluetooth and Wired Issueby CHesketh76· closed — completed at sourcebugReceived
- R-4442Chromium/Electron apps fail GPU-process init on pre-Maxwell-2 NVIDIA: libva-nvidia-driver is incompatible system-wideby sbmthakur· closed — completed at sourceReceived
- R-4441Microphone on ThinkPad X1 Carbon Gen 14 (Panther Lake + CS42L45) silent — missing sof-ptl-cs42l45 topology / machine driverby ocewers· closed — completed at sourcebugReceived
- R-4440Rename config refresh commands to resetby shbernal· closed — completed at sourceReceived
- R-4439Omarchy/hyprland crash after update to 3.8.2by swaranga· closed — completed at sourcebugReceived
- R-1926skbuff unreclaimable slab OOM under UDP load on Ubuntu 26.04 / Intel Ultra 7 255H (Panther Lake)by xuanjiYUU· closed — not planned at sourceReceived
- R-4438SDDM greeter defaults to us keymap instead of the one selected on installby hugochinchilla· closed — completed at sourcebugReceived
- R-4437linux-firmware-amdgpu 20260519 (DMUB 0x09004700) black-screens Strix Halo + 5K DSC displayby melonamin· closed — completed at sourceReceived
- R-4436Wifi bugby AegonTc6· closed — duplicate at sourcebugReceived
- R-4435uwsm-app: "Command not found: omarchy-hyprland-monitor-watch" at login (regression — #5499 closed but unresolved on 3.8.2)by FCygan· closed — completed at sourceReceived
- R-4434Error after updating Omarchyby k3rn31· closed — completed at sourcebugReceived
- R-4433Broken hyperland on 3.8.2 updateby proutkarsh3104· closed — completed at sourcebugReceived
- R-4432Cannot click on Waybar workspace numbersby neheb· closed — completed at sourcebugReceived
- R-4431mongodb compass cannot access credential storage & discord record keybind doesn't workby xmagma-x· closed — completed at sourcebugReceived
- R-4430Default terminal picker in Setup menu should support any installed terminal emulatorby RobGilto· closed — completed at sourceReceived
- R-4429Omarchy update does not update to the actual latest releaseby jcontonio· closed — completed at sourcebugReceived
- R-4428Keychron V8 2.4GHz dongle not working on boot login screenby AndrijaSkontra· closed — completed at sourcebugReceived
- R-4427Version mismacth between synced packages and AUR websiteby diclofenacc· closed — completed at sourcebugReceived
- R-4426hyprlock crashes with ABRT after suspend/resume — "Oopsie daisy" recovery screen on Dell Vostro 7620 (Intel only)by heversonvasconcelos· closed — completed at sourcebugReceived
- R-4425Typora still being visible in the application launcher after uninstallation.by sakhawat-hossain24· closed — completed at sourcebugReceived
- R-4424Add optional Surge Download Manager and Chrome extensionby al3rez· closed — completed at sourceReceived
- R-4423Configurable automatic nightlight scheduleby heymaikol· closed — completed at sourceReceived
- R-4422Laptop doesn't sleep when lid closed.by Sameer292· closed — completed at sourcebugReceived
- R-4421looknfeel.conf broken on Hyprland 0.55.xby tuklu· closed — completed at sourceReceived
- R-4420aby haloscottyfermo· closed — completed at sourcebugReceived
- R-4419Missing migration: helpers.lua not loaded in existing hyprland.lua after updateby luizo· closed — completed at sourceReceived
- R-4418Default hypridle.conf wedges display on AMD Phoenix/HawkPoint iGPUsby ordanalabs· closed — completed at sourceReceived
- R-4417Treat LVDS laptop panels as internal displaysby jobenaus· closed — completed at sourceReceived
- R-4416Style -> Font does not change font in Walkerby artseluiko· closed — completed at sourcebugReceived
- R-4415Lid suspend hangs on NVIDIA Optimus laptops (s2idle default + NVIDIA suspend services disabled)by kennyAnyi9· closed — duplicate at sourcebugReceived
- R-4414SUPER C/V is not workingby Mohamed-Al-Mahdi· closed — completed at sourcebugReceived
- R-4413Channel switch from Edge to Stable gets stuck on downgradeby bruhmux· closed — completed at sourcebugReceived
- R-4412Steam appearance broken by theme hook (40-steam.sh reinstalls Adwaita-for-Steam on every theme change)by haripako· closed — completed at sourceReceived
- R-4411F9 should not be bound to Voxtype dictation by default. Bare function keys must not be rebound.by r3quie· closed — completed at sourcebugReceived
- R-4410Config incompatibility with Hyprland 0.55: col.border_locked_* and dwindle.pseudotileby guscall· closed — completed at sourceReceived
- R-4409Tmux shortcut should not name new sessions Workby heymaikol· closed — completed at sourceReceived
- R-4408Bambustudio fonts and symbols ridiculously big after updateby Gwarnifarn· closed — completed at sourcebugReceived
- R-4407MT7925U USB Wi-Fi fails after warm reboot on Omarchy kernel 7.0.3; upstream mt76 fix availableby SamCod3· closed — completed at sourceReceived
- R-4406Caldigit TS4 USB Communication Brokenby wilito69· closed — completed at sourcebugReceived
- R-4405New update breaks hyperlandby AdrianMora8· closed — completed at sourcebugReceived
- R-4404Add cxa alias for 'claude agents' (agent view) in bypassPermissions modeby SamuelYancy· closed — completed at sourceReceived
- R-4403dev commit e916491c9f1805be292ed274e59d99921c71398b breaks all hyprland lua filesby danieldonaldson· closed — completed at sourcebugReceived
- R-4402omarchy refresh waybar overwrites user customizations without warningby Esegnorelli· closed — completed at sourceReceived
- R-4401Hyprland 0.55.0 breaks defaults: sendshortcut, -1 colors, pseudotileby julio-arcila· closed — completed at sourceReceived
- R-4400[Bin] Inconsistency in hibernate scriptsby c4software· closed — completed at sourcebugReceived
- R-4399hyprland user config brokenby felixzsh· closed — completed at sourcebugReceived
- R-4398Snapshots are gone after updatingby varungarg6756· closed — completed at sourcebugReceived
- R-4397Hyperland config error: group:col.border_locked_* = -1 is invalid gradient/colorby robert-matusewicz· closed — completed at sourcebugReceived
- R-4396bluetooth broken on dev branchby felixzsh· closed — completed at sourcebugReceived