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.
- Decided· Out of scope
- R-79omarchy default agent fails for 8 of 13 agents: empty agent_package makes mise use -g "" always failby NickGV· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-81Notifications never render: `screenObscured` is permanently true because `firstPartyServiceFor("omarchy.lock")` always returns nullby rugobal· open at sourcebug
Out of area
Decided· Out of scope - R-82Root-Cause Investigation: Right-Side Status Bar Click Areas Become Misaligned After System Tray Item Removalby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-83Migration 1790042972 fails on every update when the running shell predates it ("Something went wrong during the update!")by kurtlieber· open at sourcebug
Out of area
Decided· Out of scope - R-85MacBookPro14,1: BCM4350 hybrid coexistence starves Bluetooth audio on 2.4 GHz Wi-Fiby Clowdyffs· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-86[MacBookPro16,1 T2] Hard power cut under heavy CPU load on battery — power-saver does not cap power draw (i9-9980HK)by kzagoris· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-87F10 (Bluetooth) hotkey is inert on ThinkPad T490 — thinkpad_acpi's default hotkey_mask omits the Bluetooth bitby franjorub· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-88Unowned owe files block omarchy update on every run: file-conflict recovery only clears omarchy* package namesby justcarlson· open at sourcebug
Out of area
Decided· Out of scope - R-89Bar-widget+service plugins are dead on third-party bars (service-less entry facade)by PapaLeQuavious· open at sourcebug
Out of area
Decided· Out of scope - R-90linux-omarchy 7.2: 30s NVMe stalls behind Meteor Lake VMD ("timeout, completion polled")by tmn73· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-91Omarchy shell (quickshell) accumulates per-instance log dirs in /run/user/1000 until tmpfs is full, breaking all app launchesby powerk1977· open at sourcebug
Out of area
Decided· Out of scope - R-92Screensaver (ttfx 120fps fullscreen) causes sustained high CPU, heat and fan noiseby henrique-simoes· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- R-94ASUS ExpertBook B9406CAA: PixArt touchpad I2C wedge freezes the desktop on linux 7.2.3by argrig666· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-96Screensaver closes after ~1s as a small square when the clock calendar popup is openby SteelOverseer· open at sourcebug
Out of area
Decided· Out of scope - R-97"Launching …" OSD can linger or stick after app launch; no way to dismiss itby straficchio· open at sourcebug
Out of area
Decided· Out of scope - R-98Laptops don't hibernate on critical battery: UPower's default `Auto` resolves to suspend-then-hibernate at 2 %, and the battery can die firstby technobenja· open at sourceenhancement
Out of area
Decided· Out of scope - R-99Bluetooth panel hides devices whose name was first cached as a MAC address (e.g. AirPods Max)by rade1701· open at sourcebug
Out of area
Decided· Out of scope - R-101Resume from sleep leaves panel dark on Lenovo LOQ 15ARP9 (NVIDIA dGPU-only, s2idle): stale dpmsStatus skips DPMS enableby adhimiw· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-103bt-agent.service is permanently skipped when its ExecCondition races bluetooth.service, leaving the session with no Bluetooth pairing agentby pathtoplot· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-108amdgpu: kernel BUG at `amdgpu_object.c:213` — `amdgpu_bo_placement_from_domain` builds 5 placements (max 3) from Hyprland's `amdgpu_cs_ioctl`by geronimoglez· open at sourcebug
Out of area
Decided· Out of scope - R-109linux-omarchy 7.2.5: HDMI FRL link training fails on RX 9070 XT, no signal at 4K120by itmmdj· open at sourcebug
Out of area
Decided· Out of scope - R-110i915 driver: USB-C dock display fails to re-detect after unplug/replug (kernel 7.2.3 regression)by rrooding· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-111MacBookPro15,1: after a long S3, amdgpu SMU firmware fails to start and both displays stay blackby lukaseppler· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-114linux-omarchy 7.2.5-3: ThinkPad P50s (Skylake + NVIDIA Maxwell) never wakes from S3 suspend; stock `linux` worksby scalicura· open at sourcebug
Out of area
Decided· Out of scope - R-115Chromium renders video black on NVIDIA: LIBVA_DRIVER_NAME=nvidia points it at a Firefox-only VA-API driverby jampick· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-117Notification popup shows placeholder icon for Ghostty-forwarded notifications (missing desktop-entry hint fallback)by hexploder· open at sourcebug
Out of area
Decided· Out of scope - R-118Bar tray reserves its fully-expanded drawer width while collapsed, occupying bar space it never paintsby Pursuit2703· open at sourcebug
Out of area
Decided· Out of scope - R-119Snapshot boot entry cmdline has typo 'zswaap.enabled=0' after fresh 4.0.4 installby MyriadColors· open at sourcebug
Out of area
Decided· Out of scope - R-120HP EliteBook X Flip G2i (Panther Lake): IPU7 webcam is OV05C10/OVTI05C1 — no kernel driver and intel-ipu7-camera assumes OV08X40, so the camera fails silentlyby robbyproc87· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-121omarchy-mise-install stubs recurse into themselves when the tool is not installed, forking until the machine stallsby rudivdm· open at sourcebug
Out of area
Decided· Out of scope - R-122Held Ctrl is lost during keyboard repeat in native Wayland apps when Omarchy's fcitx5 service is runningby MPavleski· open at sourcebug
Out of area
Decided· Out of scope - R-123Chromium 153: YouTube UI (sidebar/comments/description) blank until reload, video plays fine — Intel Iris Xe (non-hybrid)by lewapf· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-126Learn → Omarchy opens fullscreen during a fullscreen Firefox video and Escape cannot exitby fabtjar· open at sourcebug
Out of area
Decided· Out of scope - R-127BCM43602 (MacBookPro11,4): AP Country IE pushed into firmware drops the 5 GHz/802.11ac link within a minute, falls back to 2.4 GHz 802.11nby akopitsa· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-128BCM43602 (MacBookPro11,4): brcmfmac feature_disable=0x82000 quirk removes 802.11ac/VHT, pins Wi-Fi to 2.4 GHzby akopitsa· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-129Bar: an extra bar built for Qt's placeholder screen stacks on a real monitor after all outputs reconnect; bars are built one at a time (KVM switch)by dreed47· open at sourcebug
Out of area
Decided· Out of scope - R-132Codex quota toggles between meters and "account/read": RPC timeout too tight, blank-on-failure wipes last-good limitsby krsna1729· open at sourcebug
Out of area
Decided· Out of scope - R-133Dismissing the screensaver with the trackpad leaves the app underneath fullscreen (on_focus_under_fullscreen = 1 hands fullscreen to the window that gains focus)by trhiii· open at sourcebug
Out of area
Decided· Out of scope - R-134Chrome/Teams critical notifications never expireby dwestbrooks· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- R-137Vendor GPOS SRG V3R3 overlay for an Omarchy stable imageby calledtoconstruct· open at source
Out of area
Decided· Out of scope - R-138test/cli vscode assert expects a symlink that 977e0fcd replaced with a real fileby anandude· open at sourcebug
Out of area
Decided· Out of scope - R-140Background reveal never animates: revealMask is `visible: false` with `layer.enabled` used as MultiEffect maskSourceby ScytheAkira· open at sourcebug
Out of area
Decided· Out of scope - R-141Theme change breaks terminal transparency in tmux panes (window-style + OSC 11 into pane ttys)by ScytheAkira· open at sourcebug
Out of area
Decided· Out of scope - R-142Default image viewer association (imv.desktop) opens only the clicked file, breaking arrow-key next/prev navigationby tnguyenfr1· open at sourcebug
Out of area
Decided· Out of scope - R-144bluez 5.87-2 ships a broken A2DP SEP cache (upstream regression, fix already in BlueZ master) — consider carrying the one-commit fix in the Omarchy repoby oskarth· open at source
Out of area
Decided· Out of scope - R-145Power panel shows ~-1100W discharge: firmware reports battery current as 16-bit two's complement, sysfs rate overrides UPowerby forcey· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-151omarchy-restart-bluetooth does not restart bluetooth.service, leaving wedged adapters unrecoverable via GUI or menuby gbyoung· open at sourcebug
Out of area
Decided· Out of scope - R-152NVIDIA DisplayPort outputs stay at 0x0; modeless reload cannot fix the atomic CRTC mismatchby bew1769· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-157Monitor positions don't auto-adjust when scale changes, causing overlapby gbenselum· open at sourceenhancement
Out of area
Decided· Out of scope - R-158Feature: optional active-window color inversion via Hypr-DarkWindowby ErmesT· open at sourceenhancement
Out of area
Decided· Out of scope - R-161Hostname is sent to every network by DHCP, with the permanent MAC and no IPv6 privacy addressesby brightwalker25· open at sourceenhancement
Out of area
Decided· Out of scope - R-162Chromium ships with upstream privacy defaults: search suggestions, prefetch, third-party cookies, WebRTC local addressesby brightwalker25· open at sourceenhancement
Out of area
Decided· Out of scope - R-163Agents panel runs every provider's collector by default; the Codex collector causes repeated network fetchesby brightwalker25· open at sourcebug
Out of area
Decided· Out of scope - R-164Weather panel stores and sends the chosen location at full geocoder precisionby brightwalker25· open at sourcebug
Out of area
Decided· Out of scope - R-165omarchy-mise-install wrappers exec-loop forever when mise shims are on PATH after ~/.local/binby xreed88· open at sourcebug
Out of area
Decided· Out of scope - R-167Speed test fails where Netflix Fast.com is unavailable (e.g. Russia)by WokoFlipper· open at sourceenhancement
Out of area
Decided· Out of scope - R-168linux-omarchy 7.2.5-3: Intel AX210 Wi-Fi dead for the whole boot on cold boots, because the kernel enables Intel IOMMU by defaultby ki11e6· open at sourcebug
Out of area
Decided· Out of scope - R-170Default CUPS setup fails on network printers using universal/pdftopdf filter; resolved by IPP-Everywhere (driverless)by A2ronHsu· open at sourcebug
Out of area
Decided· Out of scope - R-171Network panel: Forget (×) not centered; no Cancel while connectingby thedavidweng· open at sourceenhancement
Out of area
Decided· Out of scope - R-172omarchy-update's shell/monitor-daemon restart leaves external monitor stuck at 0x0 (blank)by gamie· open at sourcebug
Out of area
Decided· Out of scope - R-174Power panel labels a draining battery as charging whenever a charger is plugged inby jaderfeijo· open at sourcebug
Out of area
Decided· Out of scope - R-175quickshell SIGSEGV in Qt QML delegate-model code, preceded by TypeError in Bar.qml injectProps()by GanWeaving· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-179Truncated shell.json falls back to builtin defaults; the next config write persists them (bar resets, third-party plugins disabled)by alanwcurry-dev· open at sourcebug
Out of area
Decided· Out of scope - R-181Clipboard manager pastes into the window under the pointer when an entry is clickedby rwilson131· open at sourcebug
Out of area
Decided· Out of scope - R-182Aether underpaints large Wayland allocations: content stuck ~1800x1200 top-left, rest transparent (Hyprland, AMD, scale 1)by kaibur02· open at source
Out of area
Decided· Out of scope - R-184Cloning the omarchy.background service plugin fails to load (No such file or directory)by henriquelopeslima· open at sourcebug
Out of area
Decided· Out of scope - R-187Cloned menu plugin loses its scoped shell API during shell startup - installed apps vanish from menu and searchby TymekTM· open at sourcebug
Duplicate ofCloned menu plugin loses its scoped shell API: Apps submenu permanently empty R-180— where this defect is tracked
Decided· Duplicate - R-189Quickshell crash (SIGSEGV) in tray submenu: reentrant Repeater model swap in Tray.qmlby vayners· open at sourcebug
Out of area
Decided· Out of scope - R-191omarchy font set truncates the user's ~/.config/fontconfig/fonts.conf instead of writing a conf.d drop-inby fk1blow· open at sourcebug
Out of area
Decided· Out of scope - R-192linux-omarchy kernel: 7.2.5-3 hard freezes on HP ZBook 15 G5 (i7-8850H + UHD 630 + Quadro P2000) — arch 7.2.3 fineby Smittttttt· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-193Launching… OSD toast can get stuck on screen indefinitelyby Alcariss· open at sourcebug
Out of area
Decided· Out of scope - R-194Themes installed via `omarchy theme install` lose their window decoration — cloned themes' `hyprland.lua` is stripped and never runsby petealeon· open at sourcebug
Out of area
Decided· Out of scope - R-195Default async-backend = epoll in Ghostty config causes SIGSEGV crash during burst writes (OSC color queries)by ecbrown· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - Decided· Out of scope
- R-199Weather panel displays one city’s label with another city’s conditionsby harelassayag· open at sourcebug
Out of area
Decided· Out of scope - R-200Nautilus does not refresh files in rclone-mounted OneDrive directoriesby parreirapedro· open at source
Out of area
Decided· Out of scope - R-201Suspend unusable on Lenovo IdeaPad Slim 3 15AMN8: s2idle resume leaves NVMe rejecting all I/O, root goes read-onlyby Chillbruhhh· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-202Audio panel volume slider does nothing for Bluetooth outputs (Quickshell drops device-routed volume writes)by Wynout· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-204omarchy-agent-usage-codex: account/rateLimits/read RPC timeout (4s) misreported as unavailableby tundakk· open at sourcebug
Out of area
Decided· Out of scope - R-205RU locale: default DNS presets (Cloudflare, Google) are dead in Russiaby WokoFlipper· open at sourceenhancement
Out of area
Decided· Out of scope - R-206Bar tray: left-clicking an item leaves its menu open, and the tooltip draws on top of that menuby x3m· open at sourcebug
Out of area
Decided· Out of scope - R-207MSI Prestige 16 AI+ C3MTG display corruption fixed by three Xe PSR parametersby forcey· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-209linux-omarchy kernel: ACPI lid-close no longer emits evdev SW_LID event (ASUS Zenbook); stock 7.2.3 worksby h0jack· open at sourcebug
Out of area
Decided· Out of scope - R-210HDMI Monitor disconnects when clicking an action / top right widget.by 22emari· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-211Shell segfaults (SIGSEGV) in hot-reload when plugin update replaces a plugin's filesby tymurbogach· open at sourcebug
Out of area
Decided· Out of scope - R-212omarchy update aborts: OMARCHY_PATH: unbound variable in omarchy-update-devby Twistedw1ll· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-213linux-omarchy 7.2.5-3 ships a truncated vmlinux (missing .BTF section), breaks nvidia-open-dkms buildby wilcastel· open at sourcebug
Out of area
Decided· Out of scope - R-214Idle screensaver/lock never triggers: Quickshell IdleMonitor never reports idleby baselope-2017· open at sourcebug
Out of area
Decided· Out of scope - R-215Speed test panel reads 0 on both dials: 5s phase timer starts at process launch, ahead of the helper's ~3-4.7s warm-upby mdsilvers· open at sourcebug
Out of area
Decided· Out of scope - R-217Agents panel renders an arbitrarily stale usage record identically to a live one (per-record `updatedAt` is never read)by millsaj· open at sourcebug
Out of area
Decided· Out of scope - R-219$HOME/.local/bin added to $PATH twice (pam_env.conf + omarchy-zsh shell envs)by devloberto· open at sourcebug
Out of area
Decided· Out of scope - R-220Google Meet PiP rule also matches the real meeting window, leaving it pinned and unmaximizableby GermanGomez182· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope