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.
- Received
- R-4514Windows VM installer should not enable boot-time restart by defaultby derekszen· closed — completed at sourceReceived
- R-4513omarchy-toggle-hybrid-gpu hangs indefinitely at `supergfxctl -g` on first run (right after installing supergfxctl)by ki11e6· closed — completed at sourceReceived
- R-4512[Quattro] Sleep monitor keeps the delay inhibitor alive after the lock is secureby SamCod3· closed — completed at sourceReceived
- R-4511Stale hyprlock process after successful unlock silently disables all locking (manual, idle, and before-suspend)by shawnyeager· closed — not planned at sourceReceived
- R-1893No sound on Thinkpad 21YC0008GEby tester0207-commits· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4510Suspend does not work anymore in 3.8.4 (worked in 3.8.2)by hirschnase· closed — completed at sourcebugReceived
- R-4509SUPER + C closes floating TUI windows instead of copying (org.omarchy.* app-ids miss terminal detection)by TheFlngDutchman· closed — completed at sourceReceived
- R-4508hyprctl -j binds produces invalid JSON due to unquoted Lua binding values (jq parse error)by genesshoan· closed — completed at sourcebugFixed
- R-4507Quattro Installs showing before appsby RyanAHayden· closed — completed at sourcebugReceived
- R-4506App launcher shows duplicated apps that accumulate over the session — mergeAppRows is not idempotentby Chispes· closed — not planned at sourceReceived
- R-4505Use sudo for /boot file checks in limine-snapper.shby 2312nimit· closed — completed at sourcebugReceived
- R-4504[Quattro] omarchy.clock keeps weekday and month names in English after changing the system localeby ElMeGGa-14· closed — completed at sourcebugFixed
- R-4503Suspend-on-lid-close from an unlocked session can resume unlocked (regression: before_sleep_cmd no longer uses loginctl lock-session)by shawnyeager· closed — completed at sourceReceived
- Decided· Out of scope
- R-4502omarchy-mise-install wrappers infinite-loop when mise's PATH hook isn't active (related #3685)by husamemadH· closed — completed at sourceReceived
- R-4501Headless bar widget contract skip exits with status 1by almondsun· closed — completed at sourceReceived
- R-1895Package mirror not edge-cached (cf-cache-status: DYNAMIC) — slow updates in Asia despite Cloudflare edge nearbyby moskovich· open at source
Out of area
Decided· Out of scope - R-4500menu keybidnings brokenby felixzsh· closed — completed at sourcebugFixed
- R-4499omarchy-toggle-waybar creates inconsistent state on bootby shmall03· closed — completed at sourceReceived
- R-4498Cannot open Telegram after updateby Linar46· closed — completed at sourcebugReceived
- R-4497Bug: Download popups opening on the first workspace instead of the current workspace.by nivedhz· closed — completed at sourcebugReceived
- R-4496Bug: Fresh Omarchy 3.8.3 installation errors on start of Neovim due to missing plugins/theme.luaby martinscerri· closed — completed at sourcebugFixed
- R-4495Default hypridle.conf: screensaver killed ~2s after launch (150s/152s), and update overwrites user-modified hypridle.confby dlsvob· closed — completed at sourceReceived
- R-4494Built-in webcam not working on Acer Nitro laptop, also broken on Ubuntuby abduvaliy-engineer· closed — completed at sourcebugReceived
- R-1896Brightness broken on ASUS OLED laptop with Intel ARC GPU (with workaround)by mlabbe· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1897omarchy-cmd-terminal-cwd returns $HOME on kitty >= 0.47 — Super+Enter no longer opens in current directoryby gusevdigital· open at sourcebug
Out of area
Decided· Out of scope - R-4493vconsole.conf bundled into initramfs locks out LUKS users with non-Latin keyboard layouts (Hebrew/Greek/Cyrillic)by elpddev· closed — completed at sourceReceived
- R-4492Omarchy still won't install after CPU replacement. Other Linux distributions now work. Looking for ideasby dollebrekel· closed — completed at sourcebugReceived
- R-4491playwright-cli bin clashby edradiark· closed — completed at sourcebugReceived
- R-4490Lockscreen app died after latest updateby francardoso93· closed — completed at sourcebugReceived
- R-1898Hyprland crashes (SIGSEGV) in Aquamarine backend after 3.8.3 update — aquamarine ABI skewby rtome85· open at sourcebug
Out of area
Decided· Out of scope - R-1899Crash and restart after omarchy-system-lockby filip-spaldon· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1900intel-ipu7-camera: sleep hook's fixed `--unit=camera-resume` collides across suspend-then-hibernate legs, silently skipping the resume-side camera restartby tsluder8· open at sourcebug
Out of area
Decided· Out of scope - 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-1902System becomes unusable after update: libgcc_s.so.1 missing during gcc-libs upgradeby kaveit· open at sourcebug
Out of area
Decided· Out of scope - R-1903`Toggle Laptop Display` won't work if the display starts in a mirrored stateby pelephant2· open at sourcebug
Out of area
Decided· Out of scope - 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
- Decided· Out of scope
- R-1907Kernel/limine update leaves boot broken until manual `limine-mkinitcpio` rerun — encrypt hook "device not found"; suspicious duplicate signing hash across different kernel versionsby el7oussine3yyache· open at sourcebug
Out of area
Decided· Out of scope - R-1908Mouse scroll becomes weak/low-intensity after long sleep (suspend)by gastonmira· open at sourcebug
Out of area
Decided· Out of scope - 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-1909boot.sh forces stable-mirror.omarchy.org, but git-2.55.0-1-x86_64.pkg.tar.zst returns HTTP 404, preventing installation.by AndrewYemelyanov· open at sourcebug
Out of area
Decided· Out of scope - 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-1910Waking up from hibernate fails to restore session, resulting in cold bootby LennertVA· open at sourcebug
Out of area
Decided· Out of scope - R-4470Computer immediately wakes up from suspendby LennertVA· closed — completed at sourcebugReceived
- Decided· Out of scope
- 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-1912XPS 16 (Panther Lake, DA16260) capacitive function row emits no key events — Esc/F1–F12 deadby kaptivkapital· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4467Lock DPMS-off can crash Hyprland on HKC GS49UK + NVIDIAby derekszen· closed — completed at sourceReceived
- R-1913No audio on Intel Arrow Lake — sof-firmware not installed, DSP fails to boot (Dummy Output)by hyprcat· open at sourcebugcompatibility
Out of area
Fixed - R-4466Unable to load fresh installationby m-lushpaev· closed — completed at sourcebugReceived
- Decided· Out of scope
- 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
- Decided· Out of scope
- R-1916bug: Internal keyboard key repeat loop and severe input delay on AMD Ryzen 5 laptopby carefullyza-afk· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1917Bitwarden Chrome Extension popup locked to 875x600 since 2026.5.1 updateby dfmknz· closed — duplicate at sourcebug
Out of area
Decided· Out of scope - R-1918Ghostty-based screensaver crashed in NVIDIA EGL after NVKMS GEM allocation errorsby derekszen· open at sourcebugcompatibility
Out of area
Decided· Out of scope - 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
- Decided· Out of scope
- R-1920omarchy-hook double-runs .d/ hooks, breaking theme-set variable exportsby 1ceseismic· open at sourcebug
Out of area
Decided· Out of scope - 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
- Decided· Out of scope
- 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