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.
Issues already closed where they were filed (for example on GitHub) with nothing decided here. Kept as history so a new report can be matched to the earliest one; they are not worked, even if an agent left a proposal or a question on one.
- R-5311ChatGPT popup shortcut rejected by portal: “An app id is required”; transparent popup receives borderby warpek· closed — completed at sourceReceived
- R-5275USB-C dock monitor appears for a few seconds after boot, then drops and returns as DP-1 stuck at 0x0 (ThinkPad X1 Carbon Gen 13, Arrow Lake; same on Dell XPS 13 2024)by gslf· closed — not planned at sourceReceived
- R-5265Theme switch with an intro leaves a black desktop: shell keeps the previous theme's background pathby claytonfaria· closed — not planned at source· edited (2 revisions)Received
- R-5258Missing mouse cursorby Jon-5· closed — completed at sourcebugReceived
- R-5255omarchy-audio-output-sink fails to resolve through EasyEffects DSP sink — volume keys change nothing audibleby hermeticvm· closed — completed at sourceReceived
- R-5250Edge Arch mirror serves Qt 6.12 while the shell package is still pre-#14553, so Super+Space goes blackby depletionmode· closed — not planned at sourceReceived
- R-5243Wallpaper JPEG-to-WebP upgrade leaves current/background pointing to removed JPEGby hhdri· closed — completed at sourceReceived
- R-5236Qt 6.12: QtQuick.Color shadows qs.Commons.Color singleton — menus render as a fullscreen black screenby playGitboy· closed — completed at sourceReceived
- R-5233Qt 6.12 Color singleton collision breaks shell theme colors, bar, and Super+Space menuby 1313hati· closed — completed at sourceReceived
- R-5232Qt 6.12's new QtQuick `Color` singleton shadows `qs.Commons.Color`, leaving the bar, menu and panels blankby danielrod36· closed — completed at sourceReceived
- R-5228Shell restart fails with continuous QML Color singleton errors (lock-explorer Calendar design)by itsvrushabh· closed — completed at sourcebugReceived
- R-5227Qt 6.12 update prevents theme changes: Property 'loadColors' of object QQuickColor is not a functionby itsvrushabh· closed — completed at sourcebugReceived
- R-5225ASUS ALC285 unmute silently no-ops on non-English locales (fix-audio-mixer parses localized aplay output)by 77-223255· closed — completed at sourceReceived
- R-5223LUKS re-key never completes on non-English locales (provision-owner parses localized cryptsetup output)by 77-223255· closed — completed at sourceReceived
- R-5222More locale-dependent output parsing without LC_ALL=C: cryptsetup / free / aplayby 77-223255· closed — completed at sourceReceived
- R-5213Qt 6.12.0 update breaks the shell: quickshell 0.3.1-1 still built against Qt 6.11.2by selfcrypto· closed — completed at sourceReceived
- R-5198quickshell SIGSEGV: recurring crash in QML incubation (QQmlIncubatorPrivate::incubate)by pablo332eci· closed — completed at sourceReceived
- R-5197quickshell SIGSEGV: recurring crash in QML incubation (QQmlIncubatorPrivate::incubate)by pablo332eci· closed — completed at sourceReceived
- R-5188Loop on initial loginby laroper· closed — completed at sourcebugReceived
- R-5183Shell plugin reload keeps stale QML: rescanPlugins never clears the component cache, and symlinked plugins are not watchedby neilofneils404· closed — not planned at sourceReceived
- R-5182omarchy-update restart leaves no shell: new instance hits "already running" while old still exitingby TomFaulkner· closed — completed at sourceReceived
- R-5162Tray: left-click does nothing on AppIndicator icons (menu only opens on right-click)by DavidGudovic· closed — duplicate at sourceReceived
- R-5134Audio volume resolver misses effect_input/effect_output filter-chain pairsby omarchybot· closed — completed at source· edited (2 revisions)bugReceived
- R-5133Lock screen crash loop kills the shell and locks the user out when session-lock surface creation failsby marcaoas· closed — completed at sourceReceived
- R-4568Tray icon goes blank when an app switches from a coloured icon back to a symbolic oneby spirosrap· closed — duplicate at sourceReceived
- R-5132Delete the three dead Apple Silicon keyboard-backlight migrations (they target hypridle-era files that no longer exist)by cad0p· closed — completed at sourceReceived
- R-2224Audio panel segfaults Quickshell when its cached sink/source list holds destroyed PwNodesby chava-byte· closed — completed at sourceReceived
- R-5131Omerchy fails to start after booting the system on an Acer laptop.by specSach· closed — completed at sourcebugReceived
- R-2212omarchy windows vm launch fails silently when ~/Windows has the setgid bit (mode 2700/2777)by ozkanaltunboga· closed — completed at sourceReceived
- R-2203Agents panel: "Codex limits unavailable" because account/read hangs; limits are fetchableby sreshtasays· closed — completed at sourceReceived
- R-2200Audio panel crashes the shell (SIGSEGV in QQuickRepeater::setModel) when PipeWire nodes are removedby RB211· closed — completed at sourceReceived
- R-2196Windows VM Fails To Launchby camdencarr84-jpg· closed — completed at sourcebugReceived
- R-2193Bar disappears after omarchy update: restart-shell launches before the old shell exits (5s kill timeout)by ferpa· closed — completed at sourceReceived
- R-2191audio panel: HDMI output hidden when analog profile active, can't switch without pactlby sbalbalosa· closed — completed at sourceReceived
- R-2167`omarchy update` can leave the Omarchy shell dead for the rest of the sessionby aimonkeymind· closed — completed at sourceReceived
- R-5130Tailscale panel lists Funnel ingress relays as machines when Funnel is onby rfrost-xyz· closed — duplicate at sourceReceived
- R-5129Obsidian CLI fails due to malformed -disable-gpu in default user flagsby acsezen· closed — duplicate at sourceReceived
- R-2132Agents widget ignores Anthropic usage from opencode v2 (only reads legacy `message` table)by brsnippe· closed — completed at sourcebugReceived
- R-2131System update silently wiped windows vm disk (omarchy-windows-vm)by Rahelio· closed — completed at sourcebugReceived
- R-2120omarchy-windows-vm launch fails: chmod 0700 does not clear setgid bit on ~/Windowsby m13072234271· closed — completed at sourceReceived
- R-2118Default shift:both_capslock_cancel silently breaks fcitx5 Shift-based hotkeysby Plutarch01· closed — completed at source· edited (2 revisions)Received
- R-2116Unify contributor guidelines via single source of truth (AGENTS.md / CONTRIBUTING.md)by codenamekt· closed — not planned at sourceReceived
- R-5128omarchy font set: restart notification for Foot/Ghostty fails (empty -g glyph)by negri· closed — not planned at sourceReceived
- R-2105Agents panel: Codex limits always "unavailable" — rpc_request misses replies already buffered by readline()by Andrelyn12035· closed — duplicate at sourceReceived
- R-4Dictate bar icon errors with "voxtype: command not found" when Voxtype isn't installedby TitanicRuby· closed — duplicate at sourceReceived
- R-5127omarchy-agent-usage-codex: account/read intermittently times out because select() misses lines buffered by readline()by Gianclaudio81· closed — duplicate at sourceReceived
- R-13omarchy-windows-vm launch refuses ~/Windows once dockurr sets setgid (chmod 0700 leaves mode 2700)by hahacharlie· closed — completed at sourcebugReceived
- R-30Hermes Desktop launcher crashes: "too many values to unpack (expected 4)" — _desktop_launch_options() now returns >4 valuesby momentumwave· closed — completed at sourceReceived
- R-33hermes-desktop launcher always skips the existing install (HERMES_DESKTOP_IGNORE_EXISTING=1 hardcoded)by spideranged· closed — completed at sourceReceived
- R-5126omarchy plugin clone leaves bar.centerAnchor pointing at the old widget id, silently disabling the center anchorby emindashdamirov11-lang· closed — not planned at sourceReceived
- R-36MOMENTUM 4 stereo silence after sleep: reset and re-pair restored AAC playbackby argrig666· closed — not planned at sourcebugReceived
- R-5125`omarchy sudo passwordless` is broken on a dev-linked checkout: the privileged half is hardcoded to a stale `/usr/bin` copyby jacob-vincent-mink· closed — duplicate at sourceduplicateReceived
- R-45Codex CLI 0.157.1 breaks Super+C universal copy in its terminal UIby jacob-vincent-mink· closed — completed at sourceReceived
- R-60Apple Silicon lid close binds wrong command — machine never suspendsby cd-slash· closed — duplicate at sourcebugReceived
- R-62Apple Silicon: Voxtype dictation silently records zeros when pinned to the headset-jack source (device = "default")by jimcaralis· closed — not planned at sourcebugcompatibilityReceived
- R-5124linux-omarchy 7.2.5: external monitors on Thunderbolt/MST dock get wrong EDID or fail to modeset (Panther Lake, upstream xe regression)by DanielHartl· closed — not planned at sourcebugcompatibilityReceived
- R-5123omarchy update ends with '/usr/bin/setpriv' terminated by signal TERMby shawnyeager· closed — completed at sourceReceived
- R-5122omarchy update asks for the sudo password on every privileged commandby shawnyeager· closed — completed at sourceReceived
- R-5121Rapid fan cycling persists after switching from linux-omarchy to stock Arch kernel on ThinkPad X1 Carbon Gen 10by ch7amada· closed — not planned at sourcebugReceived
- R-5120Edge: omarchy-settings-dev (c3e67f5) lags omarchy-dev (7b336b1), missing default/omarchy/sudo-no-update/sudo, so omarchy update always failsby paralyses2193· closed — completed at sourceReceived
- R-5119Fullscreen Proton games lose the keyboard while the mouse staysby tighthead3· closed — completed at sourcebugReceived
- R-5118Migration 1788163635 fails on dev-linked checkout: hardcodes /usr/bin/omarchy-sudo-passwordlessby ekollof· closed — completed at sourceReceived
- R-95Agents: Codex limits dropped when app-server never answers account/readby LeviWyattP· closed — completed at sourcebugReceived
- R-104omarchy-windows-vm launch fails on every run after the first: chmod 0700 leaves setgid on ~/Windowsby jonspinks· closed — completed at sourcebugReceived
- R-105BIOS Splash Screen Doesn't Appear for Dual GPU Setupsby pelephant2· closed — completed at sourcebugReceived
- R-112Agents panel: Codex collector counts no Pi usage when $HOME is a git repo (rg honors ~/.gitignore)by Ikractoia· closed — completed at sourcebugReceived
- R-5117Terminal typing lag after opening a new terminal — clears only after a genuine idle pause, tied to mise/starship/zoxide/ble.sh prompt stackby djoleluk· closed — not planned at sourceReceived
- R-124[kernel/audio] Internal speakers silent: left CS35L41 amp fails OTP_BOOT_DONE (-121) on HP Envy x360 13-bf0xxxby zeriabit· closed — completed at sourcebugcompatibilityReceived
- R-136omarchy-windows-vm launch silently fails when ~/Windows has setgid bitby leisor· closed — completed at sourcebugReceived
- R-143linux-omarchy 7.2.5-3: amdgpu MST link enable regression — external monitor via USB-C dock stays black (works on 7.2.3)by anderskeis· closed — completed at sourcebugReceived
- R-146[Plugin]: Musicfoxby taotao7· closed — completed at sourceenhancementReceived
- R-147Omarchy Manual No Longer Searchableby pelephant2· closed — completed at sourcebugReceived
- R-150Agents widget: Codex limits intermittently fail with "account/read" (select/readline race)by JoacoRivera· closed — completed at sourcebugReceived
- R-155Apple Silicon: Limine migration can never complete on a standard Asahi install (ESP is /boot, not /boot/efi)by severian-commits· closed — not planned at sourcebugcompatibilityReceived
- R-159Apple Silicon regression: top bar no longer reserves the camera notchby lo-nau· closed — not planned at sourcebugReceived
- R-160fix(ssh-reconnect): use \e[?1047l instead of \e[?1049l in _ssh_disarm to prevent cursor jumping to (1,1)by q7r· closed — duplicate at sourcebugReceived
- R-5116linux-omarchy completely lacks Android Binder IPC support (CONFIG_ANDROID_BINDER_IPC), breaking Waydroid out-of-the-boxby 12345678901233· closed — completed at sourcebugReceived
- R-5115Password preedit text is shown in plaintext on lock screen / polkit prompts when an IME is activeby Rhytam23· closed — completed at sourceReceived
- R-178Fingerprint unlock stops working after suspend/resume (fprintd claim never released)by efecege· closed — completed at sourcebugReceived
- R-183Apple Silicon: speakersafetyd start-limit leaves speakers locked with volume UI at 100%by ijt· closed — not planned at sourcebugcompatibilityReceived
- R-190Bundled Chromium extensions never load under Google Chrome (--load-extension removed in Chrome 137+)by dennisp80· closed — duplicate at sourcebugReceived
- R-208Apple Silicon: GRUB migrations make encrypted (and btrfs) installs unbootableby severian-commits· closed — not planned at sourcebugReceived
- R-218windows-vm launch fails repeatedly: container chmods ~/Windows to 2777, wrapper requires 700 and chmod 0700 never clears setgidby sarniva· closed — completed at sourcebugReceived
- R-5114omarchy-remove-gaming-retroarch leaves libretro-database-git behind (339 MB orphan)by DanishMafia· closed — completed at sourceReceived
- R-5113Skill docs point at stale basecamp/omarchy repo path (now omacom/omarchy)by rkondratowicz· closed — completed at sourceReceived
- R-5112omarchy install service sunshine aborts: enables non-existent sunshine.service unitby rkondratowicz· closed — duplicate at sourceReceived
- R-5111Fastfetch configuration contains a typing mistakeby kubos5· closed — completed at sourcebugReceived
- R-5110LazyVim fails to start: catppuccin theme references removed colorscheme 'catppuccin-nvim'by Lazk3r· closed — completed at sourceReceived
- R-5109Elsewhen migration bugby avenkidur· closed — completed at sourcebugReceived
- R-255Agents panel: omarchy-agent-usage-codex re-parses every Codex session file on each refresh (55s CPU per cycle)by EY3G0R3· closed — completed at sourcebugReceived
- R-5108Theme switcher open + theme-set take seconds: preload runs foreground (1.1s), browser policy refresh serial (1.0-1.5s), selector prep 300ms+ warmby qubiqx· closed — completed at sourceReceived
- R-279omarchy-windows-vm: launch/migration fails when ~/Windows has setgid bit (chmod 0700 keeps it, check requires 700)by Bauti03czx· closed — completed at sourcebugReceived
- R-5107linux-omarchy 7.2.5-3: amdgpu GPU reset failure causes black screen after login on MacBookPro11,5 (Radeon R9 M370X)by greyraven· closed — completed at sourceReceived
- R-292omarchy-windows-vm: launch/install fail silently after the VM has run once (~/Windows left setgid/777)by dawestheperson· closed — completed at sourcebugReceived
- R-295Grok disappears from Agents panel when weekly usage percentage is absentby vwpro-nl· closed — completed at sourcebugReceived
- R-5106Chrome 153 + Omarchy 4.0.4-1 + Hyprland + hybrid AMD/NVIDIA: WebGPU works, but YouTube becomes whiteby Victor1890· closed — completed at sourcebugReceived
- R-5105Fresh install has no polkit authentication agent — Windows VM (and other pkexec features) fail silentlyby Paul-Tillman· closed — not planned at sourceReceived
- R-5104Request: linux-omarchy 7.2.5-3 kernel source, patches and config (eBPF security agent memory regression)by PixelatedContinuum· closed — not planned at sourcebugReceived
- R-5103Monitor panel: first scale pill's left border disappears at fractional display scaleby emindashdamirov11-lang· closed — completed at sourceReceived
- R-5102Hyprland crash-loop / GPU page-fault on AMD Navi 22 (RX 6700 XT) after linux-firmware-amdgpu 20260810-2by LoganMerazzi· closed — completed at sourceReceived