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-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-186Workspace layout toggle (dwindle/scrolling) never applies to named workspaces — rule keyed by negative workspace id never matchesby JackMordaunt· open at sourcebug
Out of area
Fixed - 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 - R-196notifications: critical-urgency toasts never expire and resurrect on every rebootby PrashPoorai· open at sourcebug
Out of area
Fixed - R-197Clock calendar duplicates a day and shifts the month grid by one across a forward-DST transitionby NicohBu· closed — completed at sourcebug
Out of area
Fixed - 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· closed — completed 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 - R-221SUPER+C (universal copy) does nothing for a keyboard-made TUI selection under foot (e.g. Neovim visual mode)by WonkaRed· open at sourcebug
Out of area
Decided· Out of scope - R-222Reminder overlay elides long messages while typing (text is still saved in full)by mindesbunister· open at sourcebug
Out of area
Decided· Out of scope - R-223quickshell SIGSEGV in Qt6 QML while regenerating bar module repeater (Omarchy 4.0.3-1)by brosmaninho· open at sourcebug
Out of area
Decided· Out of scope - R-224Virtual sinks/sources (like Easy Effects) force volume to 100% on creation/destruction and trigger audio scripts with empty arguments.by rodrigo-castilla· open at sourcebug
Out of area
Decided· Out of scope - R-225power-profiles-daemon fails on amd_pstate desktop APU (Ryzen 5 5600G) — same root cause as #6898, no platform_profile fallback availableby theswampdawg· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-226start-hyprland crash-restart drops the launch environment: Hyprland comes back with "No config file found"by am5188· open at sourcebug
Out of area
Decided· Out of scope - R-228Desktop AMD iGPU + NVIDIA dGPU: Aquamarine opens the idle iGPU, so Hyprland uses software cursors on NVIDIAby lancefaul· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-230Khadas Mind Graphics Speaker volume only works near 100%by hyf4053· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-231omarchy font set repoints explicitly named monospace families, not just generic "monospace"by shawn1905· open at sourcebug
Out of area
Decided· Out of scope - R-232omarchy update aborts on a migration's omarchy-bar put: ask_to_put retries a starting shell 50x but a busy one 0x, so a 2s IPC timeout kills the whole update after the widget was already placedby pedrohcmeneses· open at sourcebug
Out of area
Decided· Out of scope - R-233Omarchy 4.0.3 / 4.0.4 installer does not startby pmatos· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-234Media keys start an idle Spotify instead of the last-used player: selectActivePlayer() falls back to whoever holds a corked PipeWire streamby bldeden· open at sourcebug
Out of area
Decided· Out of scope - R-235Updating a plugin reloads its bar widget but keeps its panel QML from the component cacheby itsmoorgrove· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-236MacBookAir5,1: minimum brightness turns backlight fully off and Fn+F2 cannot recoverby sonique6784· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-237Hermes Desktop package can become protocol-incompatible with its self-updated backend, breaking approvalsby millybottnia-collab· open at sourcebug
Out of area
Decided· Out of scope - R-238Bluetooth panel cannot pair legacy keyboards requiring PIN entryby olli757· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-239omarchy-battery-status shows 0W when power_now exists but returns ENODEV, clobbering good UPower rateby connormcharg· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-240Saved battery power profile never applied when booting on battery: omarchy-powerprofiles-set autodetect silently falls back to "ac"by kzagoris· open at sourcebug
Out of area
Decided· Out of scope - R-241Quattro: Network popup uses bar text colours, causing white-on-white contentby tcballard· open at sourcebug
Out of area
Decided· Out of scope - R-245intel-ipu7-camera's WirePlumber drop-in silences all audio (event dispatcher deadlock)by llchen223· open at sourcebug
Out of area
Decided· Out of scope - R-246Plugin scan process fails at runtime — bar widgets (bluetooth, agents, etc.) not registeredby S4FoGui· open at sourcebug
Out of area
Decided· Out of scope - R-247Workspace keybindings (SUPER+1..0) don't switch workspaces on Hyprland 0.56: code: keycodes and hl.dsp.focus binding form fail silentlyby dsundt· open at sourcebug
Out of area
Decided· Out of scope - R-248omarchy-windows-vm: a single launch click can never work from a cold start — RDP connects before the guest finishes booting, then the launch stops the VMby TimDraude· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - Decided· Out of scope
- R-250Omarchy Quattro Root Cause Analysis: Hyprland missing org.gnome.Mutter.ServiceChannel D-Bus service — multiple GTK3/GNOMEapplication failuresby Pacray· open at sourcebug
Out of area
Decided· Out of scope - R-251omarchy.audio bar slider/scroll doesn't change volume on Bluetooth (device-routed) sink — mute worksby ljxw88· open at sourcebug
Out of area
Decided· Out of scope - R-254Hybrid laptops: `nvidia.lua` sets `LIBVA_DRIVER_NAME=nvidia` session-wide even when the iGPU is the compositing device, breaking Chromium videoby ironxp· open at sourcebugcompatibility
Out of area
Fixed - R-256External display hot-plug leaves Intel outputs at 0x0 after dock reconnectby zairramirez· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-257Plugin clone silently rejected when username collapses id back into `omarchy.` namespaceby csmithnaill· open at sourcebug
Out of area
Decided· Out of scope - R-258quickshell segfaults in QML engine (typeof in fresh module context) during network panel Repeater incubationby wolflyfe· open at sourcebug
Out of area
Decided· Out of scope - R-259LIBVA_DRIVER_NAME=nvidia breaks all video playback on muxless hybrid laptops where the iGPU drives the displayby DavidEvansDev· open at sourcebugcompatibility
Out of area
Fixed - R-261limine template hardcodes default_entry: 2, so the linux-omarchy migration silently keeps booting the stock kernelby dragosol· open at sourcebug
Out of area
Decided· Out of scope - R-262Clipboard history: valid UTF-8 text is restored with a binary MIME type and cannot be pastedby Wolfengo· open at sourcebug
Out of area
Decided· Out of scope - R-263Bar Nerd Font icons render tiny with Iosevka Nerd Font Mono (except Bluetooth and menu)by Nikit-Singh· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-264Hibernate pre-sleep hook kills keyboard backlight permanently (no post-resume restore)by xRiErOS· open at sourcebug
Out of area
Fixed - R-265Screensaver doesn't dismiss on pointer/touchpad movement (only keyboard input or focus change)by Mik-pe· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-266Third-party bar cannot pass a bar widget its own plugin's live service (scoped shell blocks service-backed widgets)by PNowakBG· open at sourcebug
Out of area
Decided· Out of scope - R-267Shipped a2dp_source auto-connect makes a paired phone silence all audioby TempleZide· open at sourcebug
Out of area
Decided· Out of scope - R-268omarchy restart shell cannot recover an IPC-wedged shell: no signal fallbackby TempleZide· open at sourcebug
Out of area
Decided· Out of scope - R-269Leaving fullscreen from a tiled-fullscreen window restores the wrong column geometry on the scrolling layoutby taufardh· open at sourcebug
Out of area
Decided· Out of scope - R-270Tracking: Raptor Lake SR-IOV Breakage on kernel 7.2 / 7.3 (i915-sriov-dkms incompatibility)by THE-KINGDOM· open at sourcebug
Out of area
Decided· Out of scope - R-271Dropbox widget computes usage % from a hardcoded plan-quota table, reporting >100%by eyadsibai· open at sourcebug
Out of area
Decided· Out of scope - R-272Dropbox widget's 60s status poll rotates the link nonce, breaking its own Log in buttonby eyadsibai· open at sourcebug
Out of area
Decided· Out of scope - R-273Hyprland 0.56.2 SIGSEGV on Super+G after moving an unrelated window into a workspace with a locked window group, group vanishes, workspace stays marked as occupiedby gastyr· open at sourcebug
Out of area
Decided· Out of scope - R-274Feature: allow locking the bar to a fixed screen edgeby iamcheyan· open at sourceenhancement
Out of area
Decided· Out of scope - R-276omarchy skill documents 'omarchy debug', which does not exist (use omarchy-debug)by FizzyCustard· closed — duplicate at sourcedocumentationduplicate
Out of area
Decided· Out of scope - R-277linux-omarchy 7.2.5-3: HDMI audio crackles continuously while the mouse is moving (Haswell iGPU)by FizzyCustard· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-278omarchy install editor zed fails on aarch64: 'zed' package not foundby rafaelguariento· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-281GTK4 apps (Nautilus) exit at startup on multi-GPU setups where Hyprland's primary GPU isn't the NVIDIA one (default Vulkan renderer)by ALeoGen· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-282Add an opt-in user request dispatcher hook to omarchy-agentby Atroci· open at sourceenhancement
Out of area
Decided· Out of scope - R-283Internal laptop display does not automatically re-enable after external monitor is disconnectedby bokology· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-284amdgpu/TTM: kernel oops in `ttm_lru_bulk_move_tail()` (corrupt LRU `list_head`) from `amdgpu_cs_ioctl`by anavarre· open at sourcebug
Out of area
Decided· Out of scope - R-285Media widget marquee keeps repainting the bar while playback is pausedby kimagin· open at sourcebug
Out of area
Decided· Out of scope - R-287SDDM greeter keyboard layout ignores /etc/vconsole.conf (always falls back to us)by anders81fin· open at sourcebug
Out of area
Decided· Out of scope - R-288Bar tooltips silently never appear: showTooltip requires an undocumented tooltipHovered property on the targetby catzlean· open at sourcebug
Out of area
Decided· Out of scope - R-289Shell SIGSEGV (Repeater delegate use-after-free) under NetworkManager AP churn on quickshell 0.3.1by Dandroid-D· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-293Plugin hot-reload re-initialises every installed plugin: one legitimate .qml edit costs ~500 processes and a multi-second stallby dragosol· open at sourcebug
Out of area
Decided· Out of scope - R-294Bluetooth bar widget disappears and cannot be toggled back on after rfkill-blocking a ThinkPad tpacpi switchby alhasapi· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-296omarchy-font-set: terminal-restart notifications never fire (-g without a glyph) and pgrep PIDs leak to stdoutby llkkk· open at sourcebug
Out of area
Decided· Out of scope - R-297nvidia.lua forces LIBVA_DRIVER_NAME=nvidia even when the iGPU drives the display, breaking hardware video decode (black video)by smoo7h· closed — duplicate at sourcebugduplicate
Out of area
Fixed - R-298Omarchy 4.0.4 on 2019 T2 MacBook Pro: post-login black screen, full-speed fans and shutdown; hybrid graphics workaround succeedsby TheBuilderJR· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-299omarchy-hw-fingerprint only detects USB readers; SPI sensors (e.g. Goodix GXFP51A7) are a false negativeby delitdesnoyers06-del· open at sourcebug
Out of area
Decided· Out of scope - R-301Omarchy Quattro: Black Screen on Lenovo ThinkPad SL510 with Intel GM45 / GMA 4500MHDby larrywpetersen· open at sourcebugcompatibility
Out of area
Decided· Out of scope