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-50Hibernate resume fails (amdgpu_pmops_freeze -> -62, GPU mode1 reset failed) on AMD RDNA2 dGPU desktops - initramfs kms load blocks the resume hookby ilvez· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-51Lenovo ThinkPad does not shut down properly and slow startupby Armoghan-ul-Mohmin· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-52Live ISO kernel (linux-t2) has no amdgpu — black screen on AMD APU laptops (HP 255 G10 / Ryzen 7 7730U)by alexveli1· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-53DisplayPort audio ELD lost after S3 resume and lid transition while video remains connectedby antipopp· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-55omarchy update aborts: "Refusing to use an unsafe Omarchy update inhibitor state path" (locale-dependent stat %F rejects stock XDG_RUNTIME_DIR)by nanpaidashi· open at sourcebug
Out of area
Decided· Out of scope - R-56A throwing plugin close() leaves the panel overlay mapped and locks all pointer inputby St1aan· open at sourcebug
Out of area
Decided· Out of scope - R-57Clock panel: hero date clipped by the card border when [font] base-size is below 12by St1aan· open at sourcebug
Out of area
Fixed - R-58omarchy update aborts with 'Refusing to use an unsafe ... inhibitor state path' on non-English locales (localized stat %F comparison)by sijin-xb· open at sourcebug
Out of area
Decided· Out of scope - R-59Power panel doesn't show CPU/memory system stats despite manifest descriptionby kennysaelen· open at sourcebug
Out of area
Decided· Out of scope - R-61Dual boot with Windows: a clock in local time keeps new snapshots out of the Limine menu for hoursby peregrinus879· open at sourceenhancement
Out of area
Decided· Out of scope - R-63kms hook kept on desktops with an idle iGPU: 139 MB of unused nouveau/amdgpu firmware per UKI, exhausting a 2 GB ESPby nanstey· open at sourcebug
Out of area
Decided· Out of scope - R-65omarchy-update-requires-free-space checks only /, never the ESP — a full /boot breaks booting with no warningby nanstey· open at sourcebug
Out of area
Decided· Out of scope - R-64omarchy-update -y hangs forever at orphan-pkgs: gum confirm ignores OMARCHY_UPDATE_UNATTENDEDby nanstey· open at sourcebug
Out of area
Fixed - R-66Super+C interrupts commands in Foot after clipboard shortcut update; existing configs need migrationby rfmyrick· open at sourcebug
Out of area
Decided· Out of scope - R-67linux-omarchy 7.2.5-3: kernel panic in idle task (Attempted to kill the idle task) on Alder Lake XPS 15 9520 — stock linux 7.2.3 stableby bkbatchelor· open at sourcebug
Out of area
Decided· Out of scope - R-68Chrome Live Caption bubble is tiled into its own windowby IgnorEnd· open at sourcebug
Out of area
Decided· Out of scope - R-69omarchy-launch-battlenet has no single-instance guard — every relaunch stacks a headless Proton treeby zor01010· open at sourcebug
Out of area
Decided· Out of scope - R-70Third-party bar widget never mounts while its keepLoaded service runs, and reload does not compile the widget QMLby thodoristsagko· open at sourcebug
Out of area
Decided· Out of scope - R-71Bluetooth does not retain OFF setting between rebootsby orangezipper· open at sourcebug
Out of area
Decided· Out of scope - R-72`omarchy update` reports failure when a user-installed AUR package (hyprmoncfg) can't rebuild: read-only Go module cache left in yay build dirby lavrinovich86· open at source
Out of area
Decided· Out of scope - R-73External monitor via USB-C→DP dongle never recovers after suspend/replug on ThinkPad X1C Gen8 (Alpine Ridge TB3) — reboot-only, not an Omarchy bugby zarej· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-74`omarchy-update` is annotated `omarchy:requires-sudo=true`, but running it as root makes the mise step write root-owned files into the user homeby abdrumm· open at sourcebug
Out of area
Decided· Out of scope - R-75Nautilus 'file operations' popup prevents hover/click anywhere elseby pmpinto· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- 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-100`omarchy toggle bar on` hides the bar (on/off are inverted)by olibob· open at sourcebug
Out of area
Fixed - 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 - R-106monitor-scaling up/down persists the scale change to the wrong monitor's config when per-monitor rules are usedby phortonssf· open at sourcebug
Out of area
Fixed - 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-130UK timezone and keyboard selected at install, but locale stays en_USby markallisongit· open at sourceenhancement
Out of area
Fixed - 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-149Hybrid GPU: nvidia.lua exports NVIDIA env vars even when the display runs on the iGPU → Chromium video flicker (reverse PRIME)by camargo-advanced· open at sourcebug
Out of area
Fixed - 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-154Clock calendar repeats a day and shifts weekdays in timezones with a midnight DST switch (e.g. America/Santiago)by Bozahita· closed — completed at sourcebug
Out of area
Fixed - 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-166omarchy-launch-editor --inline passes no wait flag to GUI editors, so `git commit` records the unedited messageby pjover· open at sourcebug
Out of area
Fixed - 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-169Bar: allow the bar to be inset from the screen edges so it lines up with tiled windowsby DukeOfContention· open at sourceenhancement
Out of area
Fixed - 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