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.
- R-5203Peculiar problem when copying/moving folder or file..by twodogsdave· open at sourcebug
Out of area
Decided· Out of scope - R-5202omarchy plugin add --enable aborts with "omarchy-shell is not responding" when many plugins are installedby Nejcc· open at source
Out of area
Decided· Out of scope - R-5201omarchy-install-editor-zed installs nvidia-utils on non-NVIDIA systems (no Vulkan driver for virtio-gpu)by come-maiz· open at source
Out of area
Decided· Out of scope - R-5199recover_modeless() stops at "has a mode" while GTK clients still see the output at 0x0, so Nautilus segfaults after a KVM switchby a1lazydog· open at source
Out of area
Decided· Out of scope - R-5196ThinkBook 14 G3 ACL: recurring hard freezes correlate with Bluetooth powered on; A2DP-only does not prevent themby nurfaizfoat· open at source
Out of area
Decided· Out of scope - R-5195Portal GTK file-picker dialogs are tiled when they inherit the app class (confirm button clipped/hidden; e.g. RapidRAW)by ssalentin· open at source
Out of area
Decided· Out of scope - R-5193Feature request: Indicator bar icon & control for passwordless sudo (omarchy.indicators)by grold· open at source
Out of area
Decided· Out of scope - R-5192omarchy plugin clone leaves moduleName/ipcTarget pointing at the source plugin, so the clone collides with the originalby travelingnomad1· open at source
Out of area
Decided· Out of scope - R-5191"Launching …" OSD can stay on screen forever when the app's window appears at the 2 s markby travelingnomad1· open at source
Out of area
Decided· Out of scope - R-5190Network panel header says "No connection" while the list below shows the connected networkby travelingnomad1· open at source
Out of area
Decided· Out of scope - R-5184omarchy update asks for the sudo password on every AUR commandby shawnyeager· open at source
Out of area
Decided· Out of scope - R-5181Chromium: no NVIDIA VA-API video decode by default on discrete desktop (RTX 4070)by davidcrickett· open at source
Out of area
Decided· Out of scope - R-5180Consider enabling btrfs qgroups so snapper's space-aware cleanup worksby brightmeows· open at source
Out of area
Decided· Out of scope - R-5179Hibernation silently breaks when the swapfile moves: runtime resume_offset consistency checkby brightmeows· open at source
Out of area
Decided· Out of scope - R-5176omarchy debug (and omarchy debug idle, omarchy upload-log) fail with "Unknown Omarchy command"by Miked254· open at sourcebug
Out of area
Decided· Out of scope - R-5175omarchy default editor never updates XDG mime handlers, so file managers still open nvimby Miked254· open at sourcebug
Out of area
Decided· Out of scope - R-5171omarchy-agent-usage-grok/codex: one malformed session file crashes the whole collectorby Clatworthy· open at source
Out of area
Decided· Out of scope - R-5170Shell startup can overwrite enabled plugins with defaults before user config loadsby ekollof· open at source
Out of area
Decided· Out of scope - R-5169Pasting an RSA public key into sshd setup is rejected as invalidby z23· open at source
Out of area
Decided· Out of scope - R-5167linux-omarchy 7.2.5-3: expedited RCU stall blocks sandbox teardown, Zen startup and Polkitby chiefjawa· open at source
Out of area
Decided· Out of scope - R-5166linux-omarchy 7.2.5-3: kswapd hits __GFP_NOFAIL in btrfs_init_eb_prealloc, then btrfs aborts on an uncommitted corrupt leafby guirossibrum· open at source
Out of area
Decided· Out of scope - R-5165herdr desktop notifications show with no icon or app identityby mattroe· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-5163Status bar is drawn over the screensaver since it moved to a special workspace (#3284)by Lifferado· open at source
Out of area
Decided· Out of scope - R-5161Quickshell's crash dialog takes focus after a shell crash, though the shell is already backby diogochaves· open at source
Out of area
Decided· Out of scope - R-5160feat(agent): add Google Antigravity (agy) to default coding agents and status bar panelby MaenExists· open at source
Duplicate ofMigrate default Google agent integration from deprecated Gemini CLI to Antigravity (agy) R-1401— the earliest report
Decided· Duplicate - R-5159Screensaver quits ~1.4s after launch, opens windowed, and is drawn over, whenever a bar panel holds keyboard focusby crazybadger· open at source
Out of area
Decided· Out of scope - R-5158`omarchy update` fails under pkexec/agent-driven runs: OMARCHY_PATH unbound, then `-y` blocks on an interactive mise promptby mbot11· open at source
Out of area
Decided· Out of scope - R-5157omarchy-launch-screensaver leaves socat running, which logs "Broken pipe" after launchby mcsmith3· open at source
Out of area
Decided· Out of scope - R-5156Nvidia Quardo 600 is not working properly in omarchy.by AyanZahid-Code· open at sourcebug
Out of area
Decided· Out of scope - R-5155silently leaves packages from the previous channel installed (edge > stable)by jaroet· open at sourcebug
Out of area
Decided· Out of scope - R-5153omarchy-agent-crash splices unsanitized, attacker-reachable crash metadata into the AI-diagnosis prompt with no fencingby TaylorBurke· open at source
Out of area
Decided· Out of scope - R-5152Network speed test consistently over-reports upload speed on 2.5GbE / 1 Gbps serviceby Redbeard-Coder· open at sourcebug
Out of area
Decided· Out of scope - R-5151Codex collector: intermittent account/read timeout blanks meters and never retriesby KouenNoTen· open at source
Out of area
Decided· Out of scope - R-5150NVIDIA hybrid laptops: nvidia.lua's global LIBVA_DRIVER_NAME overrides the Firefox-specific iHD overrideby Master-Mexanikus· open at source
Out of area
Decided· Out of scope - R-5149Agent setup's floating terminal covers the browser during provider loginby rlpeacock· open at source
Out of area
Decided· Out of scope - R-5148mpv wakes the runtime-suspended NVIDIA dGPU on hybrid laptops: ~3.5 s before the first frame (still true with #11690)by sergihrs· open at source· edited (2 revisions)
Out of area
Decided· Out of scope - R-5146`misc:focus_on_activate = true` (shipped default) lets any activate request switch the active workspace — Hyprland defaults this to falseby kouyichi· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-5144Login screen (SDDM) randomly freezes on password input - keyboard unresponsive, requires hard rebootby jmr85· open at sourcebug
Out of area
Decided· Out of scope - R-5143Enabling Stay Awake mid-idle-cycle leaves the screensaver window running indefinitelyby airenare· open at source
Out of area
Decided· Out of scope - R-5139mkinitcpio 42.2 copies /etc/vconsole.conf via the plymouth hook, bypassing omarchy_hooks.conf's non-Latin guard and locking out LUKS usersby 4upaCabra· open at source
Out of area
Decided· Out of scope - R-5138Clipboard manager never deletes image files: removed/cleared entries stay in clipboard-images/ and keep showing up in searchby TonciZ· open at source
Out of area
Decided· Out of scope - R-5136Resume from suspend with lid closed on Thunderbolt Studio Displays: ~1 min unresponsive wake, session restart, second display wedged at mode 0x0by wanghailei· open at source
Out of area
Decided· Out of scope - R-5135Left DisplayPort monitor intermittently blacks out after wake on RTX 5080; 60 → 120 Hz reset workaroundby tuxclaw· open at source
Out of area
Decided· Out of scope - R-2235omarchy display text size scales the Ghostty font two timesby mtxmiller· open at source
Out of area
Decided· Out of scope - R-2234Web app install can't fetch a relative icon for apps served under a subpathby sircraig· open at source
Out of area
Decided· Out of scope - R-2233Omarchy font set: restart notification fails (-g has no glyph) and pgrep prints PIDsby rmsturge· open at source
Out of area
Decided· Out of scope - R-2232OSD card uses Color.background while its icon/percentage use Color.popups.textby rmsturge· open at source
Out of area
Decided· Out of scope - R-2231[stable 4.0.4] Interrupted update leaves root-owned inhibitor blocking suspendby argrig666· open at source
Out of area
Decided· Out of scope - R-2230Generated VS Code theme renders inline code (`textPreformat`) at low contrast, especially on light themesby usutani· open at source· edited (2 revisions)
Out of area
Decided· Out of scope - R-2228Quickshell 0.3.1 SIGSEGV in libgdk-3 (GTK3 Wayland connection) when headless outputs are added/removed in quick successionby workingtitle· open at source
Out of area
Decided· Out of scope - R-2225Power Saver picked while on Performance lands on Balanced (Dell XPS 14, power-profiles-daemon 0.30)by kenners22· open at source
Out of area
Decided· Out of scope - R-2223HP EliteBook X Flip G2i: every resume freezes ~13 s on tas2783-sdw speaker amp timeouts — please carry the pending tas2783 resume patches in linux-omarchyby robbyproc87· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-2220OpenClaw won't open on slower machines: launcher's 10 s dashboard probe times out while the gateway is healthyby filip982· open at source
Out of area
Decided· Out of scope - R-2218Kernel: CONFIG_INTEL_IOMMU_DEFAULT_ON causes DMAR faults, Btrfs write drops, and GPU freeze on Retina MacBooksby szaidi-code· open at source
Out of area
Decided· Out of scope - R-2215Dictation loses the first ~0.7 s of speech when the mic has been idleby kenners22· open at source
Out of area
Decided· Out of scope - R-2214Bluetooth bar widget never appears when the adapter is hot-plugged after login (shell never reconnects to org.bluez)by neodemus· open at source
Out of area
Decided· Out of scope - R-2213Wallpaper intermittently turns black and workspace switching feels slowby felixzsh· open at source
Out of area
Decided· Out of scope - R-2211Default two-Shift Caps Lock option triggers layout reset in native Wayland Qt/Fcitx appsby JkLondon· open at source
Out of area
Decided· Out of scope - R-2210omarchy capture text persists OCR'd screen text to clipboard historyby Ashwinhegde19· open at source
Out of area
Decided· Out of scope - R-2207[Proposal] Protection against accidental trashing of critical configuration directories (~/.config, ~/.local/share) in file managersby roonakyadav· closed — deleted at source
Out of area
Decided· Out of scope - R-2206omarchy-theme-set-browser-policy rewrites color.json non-atomically: `install -T` unlinks the destination first, briefly removing all managed policy from running browsersby crazybadger· open at source
Out of area
Decided· Out of scope - R-2204Overly-restrictive sudoers regex in omarchy-tzupdate — no security impactby birajbasumatary667-cmd· open at sourcebug
Out of area
Decided· Out of scope - R-2202omarchy-windows-vm launch fails with false 'Failed to start Windows VM' when VM is already runningby ChristianBalbach· open at source
Out of area
Decided· Out of scope - R-2199Bar widgets cannot resolve their own service when a cloned/third-party bar is activeby Olinkan· open at source
Out of area
Decided· Out of scope - R-2198Google Pixelbook (Eve, 2017): brightness changes don't reach the panelby Sha01in· open at source
Out of area
Decided· Out of scope - R-2195omarchy update aborts on non-English locales: locale-dependent stat %F comparison in omarchy-update-stay-awakeby orionline· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-2192omarchy-voxtype-install: `voxtype setup gpu --enable || true` silently leaves dictation on CPUby dknoodle· open at source
Out of area
Decided· Out of scope - R-2190Hidden bar still captures clicks over a fullscreen windowby karacas· open at source
Out of area
Decided· Out of scope - R-2189input.lua duplicates first layout with multi-layout vconsole, breaking grp:alts_toggleby PassiveGrant108· open at source
Out of area
Decided· Out of scope - R-2188input.lua duplicates first layout with multi-layout vconsole, breaking grp:alts_toggleby PassiveGrant108· open at source
Out of area
Decided· Out of scope - R-2186ipu7-camera.sh installs intel-ipu7-camera on IPU6 (Arrow Lake) laptops with an OV08X40 sensorby garth· open at source
Out of area
Decided· Out of scope - R-2183Shell background: setInstant flashes black until the new image decodesby mattroe· open at source
Out of area
Decided· Out of scope - R-2182Quickshell SIGSEGV in QSocketNotifier::setEnabled on PipeWire device disconnectby layolayo· open at source
Out of area
Decided· Out of scope - R-2181Default Super keybindings missing after update (Omarchy 4.0.4 / Hyprland 0.56.2)by kaysfeldmanagement-dot· open at sourcebug
Out of area
Decided· Out of scope - R-2180ASUS Zenbook UM3406KA: AMDGPU MES timeout and failed GPU recovery after hibernationby hnry047· open at source
Out of area
Decided· Out of scope - R-2179omarchy update: prune mise tool versions with the same keep-two strategy as the package cacheby shirgall· open at source
Out of area
Decided· Out of scope - R-2176Default `async-backend = epoll` in Ghostty config causes repeated SIGSEGV in io thread when opening new windowsby ABHutton· open at source
Out of area
Decided· Out of scope - R-2175omarchy-install-service-sunshine double-registers autostart, causing a segfault on every loginby erick-tejada· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-2173Nightlight toggle does nothing when another user has hyprsunset runningby nickolss· open at source
Out of area
Decided· Out of scope - R-2172Feature request: choose the preferred internet connection when multiple network adapters are connectedby Fearlex-creator· open at source
Out of area
Decided· Out of scope - R-2171omarchy-agent-crash reports the wrong crash time: coredumpctl's "-- Notice" line, or when the dump finished instead of when the process crashedby dwynnv· open at source
Out of area
Decided· Out of scope - R-2170Network speed test leaves orphaned workers uploading foreverby pandey-adarsh147· open at source
Out of area
Decided· Out of scope - R-2169`omarchy restart shell` reports failure on a successful restart (2s readiness poll vs ~6s cold start)by aimonkeymind· open at source
Out of area
Decided· Out of scope - R-2168`omarchy debug` is advertised in `--help` but not routable (packaged in `/usr/bin` instead of the scanned bin dir)by aimonkeymind· open at source
Out of area
Decided· Out of scope - R-2165Intel Tiger Lake: USB-C to DP monitor stays black after long idle; i915 link reset warns and reboot restores videoby Mil0R· open at source· edited (2 revisions)
Out of area
Decided· Out of scope - R-2164Brightness keys do nothing on external monitors behind a USB-C dock (DP MST)by grivera82· open at source
Out of area
Decided· Out of scope - R-2163iMac12,2 (Mid 2011, Radeon HD 6770M + HD 3000): RetroArch never starts — omarchy-install-gaming-retroarch hardcodes `video_driver vulkan` on GPUs with no Vulkan support; fixed by `glcore`by spuder· open at source
Out of area
Decided· Out of scope - R-2162Idle service stops firing screensaver/lock after shell.json idle.* is changed at runtimeby oneafrikan· open at source
Out of area
Decided· Out of scope - R-2160Quickshell status bar hitbox misalignment after System Tray item removalby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-2157Shipped agent skills still reference basecamp/omarchy: gh search fails while gh issue list works, defeating the mandatory duplicate checkby jaredonair· open at source
Out of area
Decided· Out of scope - R-2155Migration package prerequisites are not validated against the target channel before promotionby SorenHJohansen· open at source· edited (4 revisions)bug
Out of area
Decided· Out of scope - R-2154video-acceleration.sh silently skips intel-media-driver on Meteor Lake (GPU reports plain 'Intel Graphics'), leaving Sunshine and all VA-API consumers on software encodingby tilleyjason-commits· open at sourcebug
Out of area
Decided· Out of scope - R-2153omarchy-launch-webapp silently demotes unrecognized default browsers to chromium.desktop — web apps open in the wrong profileby duketopceo· open at sourcebug
Out of area
Decided· Out of scope - R-2152CSR8510A10 USB Bluetooth dongle fails to initialize (btusb) + omarchy-usb-autosuspend.conf has no effectby Lytsar· open at sourceenhancement
Out of area
Decided· Out of scope - R-2150hermes-desktop launcher falls back to the stale packaged app forever on the new Hermes runtime layout (no runtime/venv), causing an infinite first-launch bootstrap loopby Pipboyguy· open at sourcebug
Out of area
Decided· Out of scope