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-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 - R-1369`omarchy display text size` breaks 1Password's fixed-size dialogs (root cause of #2016)by SilentKernel· open at sourcebug
Out of area
Decided· Out of scope - R-1370No analog audio on MECHREVO YAOSHI (Panther Lake) — Senary SN6245 SoundWire codec unsupportedby jfdnet· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1371omarchy-restart-shell reports "did not become ready" even on a successful restartby Luquas95· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1374120 FPS ttfx screensaver triggers QXL TTM failures and freezes the sessionby howdeploy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1376Hybrid GPU toggle leaves supergfxd stuck when the NVIDIA module cannot be unloadedby mohammed-bageri· open at sourcebug
Out of area
Decided· Out of scope - R-1377Quickshell SIGSEGV tearing down the workspaces Repeater when Hyprland moves workspaces between monitorsby kevinlouie· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1379xdg-desktop-portal-gtk crashes with SIGSEGV during portal/file chooser operationby AnoopLamba· open at source
Out of area
Decided· Out of scope - R-1380Docker DB installer containers don't survive reboot (docker.service disabled, only docker.socket enabled)by jlupox· open at sourcebug
Out of area
Fixed - R-1381[UI Bug] Workspace numbers and panel indicators overlap in vertical bar modeby Dinesh15024· open at sourcebug
Out of area
Decided· Out of scope - R-1382Obsidian user-flags.conf default has single-dash typo (-disable-gpu), breaks Obsidian CLIby scossar· open at sourcebug
Out of area
Decided· Out of scope - R-1383Feature: window layout snapshots (save and restore workspace arrangements)by chiang21fcb· open at sourceenhancement
Out of area
Decided· Out of scope - R-1385Feature: manage NetworkManager VPN profiles from the built-in network panelby sparksbenjamin· open at sourceenhancement
Out of area
Decided· Out of scope - R-1386omarchy-brightness-display: Brightness trapped at 0% on displays with low max_brightness (acpi_video0)by gorem· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1387YouTube videos not rendering correctly after upgrading to Omarchy 4.0.1by shaikirfandev· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1388Variable scoping bug in claim_path() inside omarchy-tailscale-receiveby techaeris· open at sourcebug
Out of area
Decided· Out of scope - R-1392Theme backgrounds can cycle forward but not backwardby Chessing234· open at sourceenhancement
Out of area
Fixed - R-1394omarchy-hyprland-window-pop makes six sequential hyprctl round-trips to pop one windowby Chessing234· open at source
Out of area
Decided· Out of scope - R-1395omarchy-hook runs every hook via bash, ignoring the shebang — silently hangs on non-bash hooks that collide with a real binary nameby hbabb· open at sourcebug
Out of area
Decided· Out of scope - R-1396Omarchy shell stays alive but stops rendering after resume-time EGL_BAD_CONTEXTby Marlos001· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1397Quickshell SIGSEGV in Mesa dri2_query_image when Omarchy keyboard panel opensby pulsar562· open at sourcebug
Out of area
Decided· Out of scope - R-1398Quickshell Bluetooth panel cannot pair devices that require a displayed passkeyby guisaliba· open at sourcebug
Out of area
Decided· Out of scope - R-1399Taildrop migration enables receiver without Tailscale operator permission on existing installsby cking-bot· open at sourcebug
Out of area
Decided· Out of scope - R-1402Missing gst-libav, gst-plugins-bad and gst-plugins-uglyby benicd· open at sourcebug
Out of area
Decided· Out of scope - R-1403Quickshell desktop-entry parser rejects valid-in-practice .desktop files (works in GNOME/KDE)by Altalus· open at source
Out of area
Decided· Out of scope - R-1404omarchy-hibernation-setup's HOOKS+=(resume) can never place resume before `filesystems`by manuelbecker123· open at sourcebug
Out of area
Decided· Out of scope - R-1405System hangs on second suspend when iwlwifi firmware fails to reinitialize after wakeby hojner· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1407USB boot device not detected after GRUB unless physically repluggedby digitalfrost84· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1409ThinkPad T480s: stale/frozen lock screen for ~30 s after S3 resumeby hugo88· open at sourcebug
Out of area
Decided· Out of scope - R-1412Hardening: honor omarchy-exec-argv only from senders holding a per-session token (sandboxed bus clients can currently get click-to-exec)by itz4blitz· open at source
Out of area
Decided· Out of scope - R-1413GitHub Copilot plugin stuck showing Codex usage after setting Copilot as default agentby rafaelguariento· open at sourcebug
Out of area
Decided· Out of scope - R-1414[Security] omarchy-refresh-config will write outside ~/.config given .. or an absolute pathby Chessing234· open at sourcebug
Out of area
Decided· Out of scope - R-1416omarchy font set redirects every family whose name contains "mono", not just generic monospaceby DanielSRojo· open at sourcebug
Out of area
Decided· Out of scope - R-1417Memento Mori ignores custom 'Live To' age when calculating life progressby rsendres· open at sourcebug
Out of area
Fixed - R-1418Omarchy 4.0.1-1 still ships incompatible Codex approval policyby naolselemon· open at sourcebug
Out of area
Decided· Out of scope - R-1419Migration silently ignores failed systemd-resolved restart, breaking DNSby BrettKulp· open at sourcebug
Out of area
Decided· Out of scope - R-1420Chromium crashes (SIGTRAP/int3) during OAuth popup launch on Hyprland, works on KDE Plasmaby wisangdg· open at sourcebug
Out of area
Decided· Out of scope - R-1422Offline install leaves Intel machines with no VA-API driverby adnanbwp· open at sourcebug
Out of area
Decided· Out of scope - R-1423omarchy-screensaver recursively handles SIGHUP until Bash segfaultsby SlackOps01· open at sourcebug
Out of area
Decided· Out of scope - R-1424Nautilus background transparent with Solitude theme (empty GTK color values)by Rowdydangerous· open at sourcebug
Out of area
Decided· Out of scope - R-1425Shell restart buries external animated wallpapers — omarchy-background remaps above existing layer-shell background layersby ChimeraMind· open at sourcebug
Out of area
Decided· Out of scope - R-1427/dev/uinput permissions not applied at boot — breaks Steam Input controller support in every gameby DGBooth· open at sourcebug
Out of area
Decided· Out of scope - R-1429[Security] omarchy setup security sshd leaves password authentication on, and opens the port before any key is authorizedby Chessing234· open at sourcebug
Out of area
Fixed - R-1430ASUS ROG blanket software-mixer fix degrades audio quality on smart-amp laptops (e.g. G733ZW) — muddy sound out of the boxby Orneyfish· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1431Quick installation doesn't recognize a manually pre-created EFI partition during dual-boot setupby Orneyfish· open at source
Out of area
Decided· Out of scope - R-1432omarchy-upgrade-to-quattro force-overwrites shell.json instead of migrating it, silently dropping bar/plugin configby Orneyfish· open at sourceenhancement
Out of area
Decided· Out of scope - R-1433[Bug] First-time launch of Gemini via Power Space fails due to node-pty native build restriction in mise/aubeby pflegezentrum· open at sourcebug
Out of area
Fixed - R-1434Hibernation resume fails on hybrid Intel+NVIDIA laptops — nvidia.sh's early-KMS module bundling races the resume hookby bcelary· open at sourcebug
Out of area
Decided· Out of scope - R-1435quickshell-git → quickshell 0.3.1 mid-update swap breaks omarchy-exec-argv notification hint, silently no-ops "Click to diagnose with AI"by conwypaul· open at sourcebug
Out of area
Decided· Out of scope - R-1437gapsOut always reads the top gaps_out value, breaks bar-widget dropdown spacing with asymmetric gapsby salomondc· open at sourcebug
Out of area
Decided· Out of scope - R-1439Shell leaks wl_shm fds and RSS continuously; session dies when the compositor hits EMFILEby cashea· open at sourcebug
Out of area
Decided· Out of scope - R-1440Install Gemini CLI fails: mise __node-gyp-bootstrap errors with "no tasks defined"by kevincardwell· open at source
Out of area
Decided· Out of scope - R-1441After omarchy update + reboot: 'failed to get hyprland version string (bad json)' — NVIDIA initramfs migration may break bootby mayounderrated· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1442omarchy-notification-weather is actually a panel toggle, not a notificationby wanly20· open at sourceenhancement
Out of area
Decided· Out of scope - R-1443systemctl and NetworkManager D-Bus calls time out on fresh Omarchy installationby kidelighost-ui· open at sourcebug
Out of area
Decided· Out of scope - R-1444omarchy-launch-webapp: Opera ignores --app= so ChatGPT/Grok/X keybinds open the start pageby Ojisan1· open at sourcebug
Out of area
Decided· Out of scope - R-1445Network speed test reports 0 Mbps when Wi-Fi and Ethernet are both activeby Ry0dai· open at sourcebug
Out of area
Decided· Out of scope - R-1448Disk speed test panel shows 0 for ~17s on slower SSDs during stagingby JoeJoeflyn· open at sourceenhancement
Out of area
Fixed - R-1449Nightlight bar indicator doesn't reflect hyprsunset's scheduled temperature changesby danilosekulovikj· open at sourcebug
Out of area
Decided· Out of scope - R-1450Screenshot picker offers rectangles for windows hidden behind a maximized/fullscreen windowby Ethanxu1· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1452Installer erases T1/T2 firmware on Apple hardware, permanently disabling Touch Bar / camera / Touch IDby PaulShadwell· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1453Agents panel never appears for active pi users on non-Anthropic/non-Codex backends (e.g. OpenRouter)by NordSee21· open at sourcebug
Out of area
Decided· Out of scope - R-1455Bluetooth keyboards and mice do not work on SDDM login screenby rodrigojacarei· open at sourcebug
Out of area
Decided· Out of scope - R-1456Selecting the default agent installs an older version than the one already installedby yashksaini-coder· open at sourcebug
Out of area
Decided· Out of scope - R-1457/usr/bin/btop installed with CAP_DAC_READ_SEARCH (bypasses file read permissions)by helioryn· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1459/usr/share/omarchy/version still reads 4.0.0.alpha after updating to 4.0.1by jwage· open at sourcebug
Out of area
Decided· Out of scope - R-1460`gsr-kms-server` ships with `cap_sys_admin` (root-equivalent capability)by helioryn· open at sourcebug
Out of area
Decided· Out of scope - R-1461omarchy theme set / omarchy update hangs indefinitely in omarchy-theme-set-keyboard-f16 with a Keychron K8 Pro attachedby ykzird· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1462Launching… OSD can remain indefinitely due to unordered show/close IPC callsby brianmsm· open at sourcebug
Out of area
Decided· Out of scope - R-1463Screenshot picker runs with hardware cursors forced on, hiding the pointer on nouveau/vmwgfx while you selectby Chessing234· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1465A bare click in the capture picker snaps to the whole monitor instead of the highlighted windowby Chessing234· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1467omarchy-network-band never matches an SSID with a non-ASCII character: iw escapes it, nmcli does notby Chessing234· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1469Omarchy v4 — Configuration Files Automatically Reverting and Causing AI Coding Tools to Loopby gowdaman-dev· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1471Lid close suspends USB-root Omarchy and tears down the sessionby I-No-oNe· open at source
Out of area
Decided· Out of scope - R-14724.0.1: `shell_succeeds` fix enables NVDEC VAAPI routing on hybrid laptops with Intel-driven displays, corrupting browser videoby SisyphusOfCorinth· open at sourcebug
Out of area
Fixed - R-1473Notification body is exposed in process command lines (/proc/*/cmdline) — privacy leak + EDR false positivesby Piemme99· open at sourcebug
Out of area
Decided· Out of scope - R-1475Logout from menu doesn't end session — SDDM uses non-uwsm sessionby nightdevil00· open at sourcebug
Out of area
Decided· Out of scope - R-1476omarchy voxtype install has no source-build fallback for pre-AVX2 CPUsby rowan5now· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1477Full-disk install: password set under a non-US keyboard layout can be untypeable at the LUKS boot promptby notwitcheer· open at sourcebug
Out of area
Decided· Out of scope - R-1478omarchy-powerprofiles-set fails at boot (exit 1): CPU power profile never applied on ACby kshatriya-abhay· open at sourcebug
Out of area
Decided· Out of scope - R-1479Regression: Quickshell workspace indicator shows globally focused workspace on every monitorby NeroSong· open at sourcebug
Out of area
Decided· Out of scope - R-1480Feature: Make omarchy.indicators extensible for third-party indicatorsby burninc0de· open at sourceenhancement
Out of area
Decided· Out of scope - R-1482Quattro upgrade leaves ~/.XCompose and the Omarchy 3 power udev rules pointing at ~/.local/share/omarchy; removing the compat symlink kills every compose sequenceby fuchsblau· open at sourcebug
Out of area
Decided· Out of scope - R-1483Physical Super+Space shortcut blacks out Intel i915 USB-C display while direct menu IPC worksby cyenxchen· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1484hyprsunset is started unsupervised, so night light stays off for the rest of the session when it diesby samirpokharel· open at sourcebug
Out of area
Decided· Out of scope - R-1485Symbolic tray icons with a dark fill render invisible: MultiEffect.colorization cannot lighten the source (Cryptomator)by relctx· open at sourcebug
Out of area
Fixed - R-1486omarchy-theme-set-browser hangs when brave-origin is running but Brave is not (pgrep -x brave false-positive)by patterninterrupt· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1489System Reset fails with “standard Omarchy Btrfs layout” errorby death366· open at sourcebug
Out of area
Decided· Out of scope - R-1490Suspend breaks NVIDIA 580xx installs: gpu-screen-recorder sets PreserveVideoMemoryAllocations=1 but the required nvidia power services are never enabledby matjam· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1492nwg-displays' multi-line hl.monitor() blocks break internal-panel scale sync (resets to 2)by Ethanxu1· open at sourcebug
Out of area
Fixed - R-1493omarchy-install-and-launch: "Press any key to close" races the app it launches, so the keystroke goes to the new windowby M8SON· open at sourcebug
Out of area
Decided· Out of scope