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-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-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-1252`omarchy update -y` can block at the post-update reboot promptby maxcroy1· open at sourcebug
Out of area
Fixed - 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-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-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-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-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-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-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-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-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-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 - R-1297Low-battery notification remains after charger is connectedby pixelpush-io· open at sourcebug
Out of area
Decided· Out of scope - R-1298Quattro upgrade leaves legacy broadcom-wl-dkms installed on BCM4350 Macs, disabling brcmfmacby rsharma1157· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1299Focus gets stuck on one window at random - until i unstuck it with a workspace switch with touchpadby jamers99· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1300Fingerprint setup fails silently on FocalTech FT9366 reader (2808:a658) — migration 1785090473 assumption doesn't hold for this device IDby niels-lammers· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1301omarchy-capture-screenshot kills the compositor: `hyprctl eval` of cursor:no_hardware_cursors faults in hl.config() (SIGABRT)by jeffsidekick· open at sourcebug
Out of area
Decided· Out of scope - R-1302[Quattro] Audio picker cannot switch between HDMI/DP profiles on one GPU cardby ClGratton· open at sourceenhancement
Out of area
Decided· Out of scope - R-1303Workspace indicator stuck showing phantom workspaces after rapid Super+number pressesby mayaanhafeez· open at sourcebug
Out of area
Decided· Out of scope - R-1305omarchy update -y hangs on the orphaned-packages promptby PixelatedContinuum· open at sourcebug
Out of area
Fixed - R-1306Selected state drops the border on ToggleSwitch, MultiSelect and CursorSurfaceby relctx· open at sourcebug
Out of area
Decided· Out of scope - R-1307Dual-GPU AMD: PCI by-path in AQ_DRM_DEVICES silently login-loops SDDM autologinby mowgli42· open at sourceenhancement
Out of area
Decided· Out of scope - R-1308omarchy-update-available has the same unbound $OMARCHY_PATH crash as #8369, and it silently clears the update indicatorby tpatzelt· open at sourcebug
Out of area
Decided· Out of scope - R-1310Default repeat_delay = 250 causes duplicated characters during normal typing (Parallels VM guest)by Crankygeek01-dev· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1313Terminal Opens in Fullscreen When Opened While Another Window is in Fullscreenby eds-4d5· open at sourcebug
Out of area
Decided· Out of scope - R-1314[Feature] `omarchy theme from-wallpaper` — generate a theme's colors.toml from a wallpaper imageby gcap0n1· open at sourceenhancement
Out of area
Decided· Out of scope - R-1315omarchy.audio: bar shows the muted glyph for an unmuted Bluetooth sink connected after shell start, and never shows muted for headphone outputsby kaizen-hryy· open at sourcebug
Out of area
Decided· Out of scope - R-1316test/shell fork-bombs the user session: the copy-url migration test's python3 stub and the mise python3 shim invoke each other unboundedlyby robi42· open at sourcebug
Out of area
Decided· Out of scope - R-1317omarchy display text size reports the font size of a terminal that is not installedby Thoroslives· open at sourcebug
Out of area
Decided· Out of scope - R-1318Alienware 17 (Realtek ALC3661): headphone/aux jack never appears in output picker — jack-sense split across mismatched pin, no live PipeWire switchingby HosseinParahi· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1319Quickshell SIGSEGV in QV4::QObjectWrapper::wrap_slowPath when Wi-Fi is toggled off (network panel wifiNetworkObjects use-after-free)by shadoboosan· open at sourcebug
Out of area
Decided· Out of scope - R-1320windows-vm: the documented way to customise the compose loses your changes, on both install and migrationby eerootsus· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1322Plymouth/LUKS unlock prompt has no idle power management on batteryby forcey· open at sourceenhancement
Out of area
Decided· Out of scope - R-1323Brave video/UI stutters and goes transparent under Hyprland — reproducible on AMD-only and AMD+NVIDIA-hybrid setupsby AMXELA-Official· open at sourcebug
Out of area
Decided· Out of scope - R-1324Theme switching can SIGABRT running btop 1.4.7 via SIGUSR2 reloadby moonman36· open at sourcebug
Out of area
Decided· Out of scope - R-1325btop refuses to start from Super+Ctrl+T: the shared 875x600 float is only 80x24 characters at a raised terminal fontby nbeerbower· open at sourcebug
Out of area
Decided· Out of scope - R-1326QT_QPA_PLATFORM=wayland;xcb causes SteamVR vrmonitor to abort on startupby GodNero· open at sourcebug
Out of area
Decided· Out of scope - R-1327Quickshell SIGSEGV in GTK file chooser / gvfs when a plugin FileDialog opensby PanicIsReal· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- R-1331German keyboard layout in live installer uses keymap without umlautsby Witteborn· open at sourcebug
Out of area
Decided· Out of scope - R-1332Theme change can leave one monitor on the old wallpaper, and `background refresh` cannot recover it (multi-GPU, multi-monitor)by nicolasbadano· open at sourcebug
Out of area
Decided· Out of scope - R-1333Quickshell SIGSEGV (stack overflow) when opening paste history if a copied HTML page is in the clipboardby Xaedankye· open at sourcebug
Out of area
Fixed - R-1334Dictation bar indicator leaks duplicated voxtype status --follow processesby inyman· open at sourcebug
Out of area
Decided· Out of scope - R-1335Rust install leaves unguarded ~/.profile cargo source that can login-loop UWSMby pkayokay· open at sourcebug
Out of area
Decided· Out of scope - R-1336T2: 22s black lid wake after PR 6562 dropped pcie_ports=compatby Gdsimms· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1337Super+Ctrl+T opens duplicate Activity windows on the same workspaceby AdamMusa· open at sourcebug
Out of area
Decided· Out of scope - R-1338Bar: the centre-section reveal is shell-wide, so one monitor's bar drives every monitor's peekby jrmmhm· open at sourcebug
Out of area
Decided· Out of scope - R-1339Bar: moduleClickTargetAt hit-tests a click against every monitor's click targetsby jrmmhm· open at sourcebug
Out of area
Decided· Out of scope - R-1340Audio panel: output volume and mute have no effect on device sinksby Jijjy· open at sourcebug
Out of area
Decided· Out of scope - R-1344omarchy-restart-hyprsunset kills hyprsunset and the uwsm-app relaunch dies silently — night light config changes never applyby gcap0n1· open at sourcebug
Out of area
Decided· Out of scope - R-1347XPS 14 (Panther Lake): Windows Hello IR camera (Himax HM1092) has no Linux driverby jorgemanrubia· open at sourcebug
Out of area
Decided· Out of scope - R-13484.0.1 breaks the invitation hooks 4.0.0 installed in user config: omarchy-notification-send --exec rejects the old quoted form, no migrationby tecnarchico· open at sourcebug
Out of area
Decided· Out of scope - R-1349Hyprland reload-pause guard silently fails to prevent mid-update Lua reload — emergency mode banner during omarchy updateby tecnarchico· open at sourcebug
Out of area
Decided· Out of scope - R-1350GRUB out of memory early boot failure on AMD Zen 5 (Ryzen AI 9 HX 370 / Strix Point) Platformsby gmcquillan· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1351Wi-Fi panel can't forget the currently connected network, unlike the Bluetooth panelby thomasbrugman· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1353Network panel: wrong Wi-Fi password on a WPA3 network fails silently as "Network lost" and never re-promptsby bicyclesandbarbecue· open at sourcebug
Out of area
Decided· Out of scope - R-1354windows-vm: 4.0.1 migration rejects usernames the old installer allowed, stranding existing VMs with a misleading "not configured"by s0nspark· open at sourcebug
Out of area
Decided· Out of scope - R-1355LUKS password rejected multiple times on boot (ThinkPad T14s Gen 1), works after several attemptsby AllergicCypress· open at source
Out of area
Decided· Out of scope - R-1356Bluetooth panel: Inquiry loop blocks connections (br-connection-page-timeout) & discovered devices flickerby WhiteWebDev· open at sourcebug
Out of area
Decided· Out of scope - R-1357omarchy-crash-watch stops sending crash notifications after an in-place upgrade (logs `Unknown option:`)by Dandroid-D· open at sourcebug
Out of area
Decided· Out of scope - R-1358windows-vm: hardcoded /gfx:AVC444 renders a permanently blank RDP window on NVIDIA + libva-nvidia-driverby Detritus78· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1359Bar icons render at ~half size with Iosevka Nerd Font Monoby Sojournn· open at source
Out of area
Fixed - R-1360omarchy-agent launches claude with --permission-mode auto instead of a true bypassby EthMil· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1362Network panel: Identity field steals focus from Passphrase on every Wi-Fi scan (WPA-Enterprise)by benskigomez· open at sourcebug
Out of area
Decided· Out of scope - R-1364`omarchy theme bg next` never advances when ~/.config/omarchy/backgrounds/<theme> is a symlinkby thorhj· open at sourcebug
Out of area
Decided· Out of scope - R-1365Clock calendar: a day repeats and subsequent days shift when navigating months (Repeater delegate recycling)by vittokhl· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1366Ability to easily change wallpapers not part of the themeby archisman-panigrahi· open at sourcebugenhancement
Out of area
Fixed - R-1367Hibernation aborts during image creation on ASUS ROG Zephyrus G14 (GA403UV); HibernateMode=shutdown fixes itby wjax· open at sourcebugcompatibility
Out of area
Decided· Out of scope