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-1745Vantablack/White themes: 'Yaru-gray' icon theme unresolvable in 4.0.0 → broken-image placeholdersby pcrisho· open at sourcebug
Out of area
Decided· Out of scope - R-1746Notification toasts render on every connected monitor; the notifications plugin has no focused-monitor gateby EduardsSk· open at sourcebug
Out of area
Decided· Out of scope - R-1747Agents panel misses Codex usage from Pi sessions stored under ~/.config/piby crismic· open at sourcebug
Out of area
Decided· Out of scope - R-1748omarchy debug, omarchy debug idle, and omarchy upload log are unreachable — packaging relocates them out of the dispatcher's search pathby WhiskeyTuesday· open at sourcebug
Out of area
Decided· Out of scope - R-1749Screen recording fails silently on the external monitor of a hybrid-GPU laptop, and --fullscreen ignores OMARCHY_SCREENRECORD_USE_PORTALby Literato2· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1750omarchy-font-set: terminal restart notifications never fire — -g consumes the message as a glyphby WhiskeyTuesday· open at sourcebug
Out of area
Decided· Out of scope - R-1753First-agent OAuth browser opens tiled under the 875×600 setup terminalby unleashed-nick· open at sourcebug
Out of area
Decided· Out of scope - R-1756Popped-out window (SUPER+O) loses centering when moved to another monitorby Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1757omarchy-launch-spotify can be hijacked by any window whose title contains 'spotify'by Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1758spotify wrapper: flags on a single line in spotify-flags.conf are silently droppedby Eidan78· open at sourcebug
Out of area
Decided· Out of scope - R-1759Quickshell's PluginRegistry.qml leaks inotifywait watchers on every shell reload, eventually exhausting inotify instances system-wideby gardensazurescens· open at sourcebug
Out of area
Decided· Out of scope - R-1760invokeLast IPC returns "none" instead of re-showing the last notification when no toast is on screenby erichsson· open at sourcebug
Out of area
Decided· Out of scope - R-1761Quattro removes playerctl while default Voxtype config requires itby barlevalon· open at sourcebug
Out of area
Decided· Out of scope - R-1762Installer renders left-of-center on ultrawide, possibly when a narrower second monitor is attachedby aastrand· open at sourcebug
Out of area
Decided· Out of scope - R-1763The agents widget can be added to the bar twice, permanentlyby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1765Acceptance helper screen_contains reports a failed screenshot as missing contentby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1766./test/all fails three files on a fresh clone, and the sibling-checkout requirement is undocumentedby omarchybot· open at sourcebug
Out of area
Fixed - R-1770Two test assertions read state they did not produce, so a no-op passesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1771omarchy bar set <id> <key> '[]' --json always fails: an empty array is dropped before it reaches the shellby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1772SUPER+CTRL+P (Power) is a silent no-op on any machine without a batteryby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1773omarchy plugin clone produces an id the registry always rejects when the user is named omarchyby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1774Hiding the last tray icon removes the tray widget, including the menu that unhides itby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1775Applying a theme with no backgrounds/ blanks the wallpaper and leaves a dangling symlinkby omarchybot· open at sourcebug
Out of area
Fixed - R-1776The White unlock theme paints the SDDM login screen black on blackby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1778omarchy --help advertises four command groups that contain no commandsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1779omarchy remove service dropbox and tailscale are committed without the executable bit, and commands --check cannot see itby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1780fix-surface-keyboard.sh resets MODULES instead of appending, stripping NVIDIA early KMS on Surface devicesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1781fnmode=2 is forced on every install: a no-op for the keyboards it names, and it removes the media keys on Apple keyboardsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1782Wi-Fi 7 is disabled on every Core Ultra Series 3 laptop and every BE200 card, not just the Dell XPS it targetsby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1783Migration 1781587663 aborts the whole migration queue when omarchy-nvim is not installedby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1784omarchy update silently restores the preinstalled apps the user removedby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1785A theme with no colors.toml applies silently and leaves foot, the default terminal, unable to startby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1787Migration 1781063758 can truncate a customized hyprland.lua to two linesby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1788omarchy update destroys user binaries in ~/.local/bin at 13 fixed names, including gh and claudeby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1789Malformed shell.json reverts the bar to defaults, and the next click overwrites the user's config with themby omarchybot· open at sourcebug
Out of area
Decided· Out of scope - R-1790Voxtype does not symlink to voxtype-vulkan on Vulkan enabled systemby sgruendel· open at sourcebug
Out of area
Decided· Out of scope - R-1793Quattro: "selection" layer namespace hook steals RETURN/TAB/arrows from any layer-shell client using that namespace (breaks wl-kbptr)by ispentanhouronthis· open at sourcebug
Out of area
Decided· Out of scope - R-1794Multi-window session not fully restored after reboot — close-all does not wait for apps to exitby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1795Clamshell watcher ignores desc: rules for the internal panel and overwrites its scale every 2sby mkelk· open at sourcebug
Out of area
Fixed - R-1797omarchy-migrate mishandles legacy (git-checkout) installs: wrong OMARCHY_PATH default hides pending migrations, and migration 1785608166 aborts the whole queueby DiegoMirner· open at source
Out of area
Decided· Out of scope - R-1798Right-click on omarchy.active-window closes the focused window with no warningby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1799Post-update restart compiles new QML on the UI thread; bar and menus are dead until that finishes, and a second restart can lose the processby dpan· open at sourcebug
Out of area
Decided· Out of scope - R-1800Xbox controller installer blacklists xpad, breaking all wired Xbox controllersby mateuspim· open at sourcebug
Out of area
Decided· Out of scope - R-1802Default SUPER+RIGHT mouse resize binding unusable on touchpads (two-finger tap can't be held)by crazymonkyyy· open at sourcebug
Out of area
Decided· Out of scope - R-1803Omarchy Quatro: Not Honoring Transform in Monitor Configby YuseiRun· open at sourcebug
Out of area
Decided· Out of scope - R-1804Live ISO and post-install boot fails on NVIDIA + Realtek hardware without manual nomodeset / modprobe.blacklist editsby Ycaro-Oleg· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1806Quattro: selecting an image in clipboard history copies it but does not paste itby andresreibel· open at sourcebug
Out of area
Decided· Out of scope - R-1807linux-ptl: track C106 iwlwifi firmware validation on XPS 14/16 with Linux 7.2by spencerbull· open at source
Out of area
Decided· Out of scope - R-1808Media bar widget marquee freezes mid-scroll, showing only a few leading charactersby schotime· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1810`omarchy install service sunshine` fails: "Unit sunshine.service does not exist"by janoguerra· open at sourcebug
Out of area
Decided· Out of scope - R-1811Fresh Quattro install ignores installer keyboard layout choice — vconsole.conf gets only KEYMAP, Hyprland falls back to usby Asknorway· open at sourcebug
Out of area
Decided· Out of scope - R-1812NVIDIA 50xx Users - Can't Install - Boots to black screenby TheLinuxITGuy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1813herdr: prompt drawn at row 1 with the previous screen left below it after an SSH session exitsby rubberneck· open at sourcebug
Out of area
Decided· Out of scope - R-1814launch webapp fails when default browser is Firefox (no Chromium installed)by alkevintan· open at sourcebug
Out of area
Decided· Out of scope - R-1815Intermittent 'send_key_state: key not found' on Super+V/C/X clipboard shortcutsby Louis454545· open at sourcebug
Out of area
Decided· Out of scope - R-1817omarchy toggle bar on/off has inverted semantics (hides bar on 'on', shows it on 'off')by Amvurguezo· open at sourcebug
Out of area
Fixed - R-1818GDK_SCALE=2 + force_zero_scaling overflows XWayland/Java windows on auto-scaled 1080pby v-t-r-gg· open at sourcebug
Out of area
Decided· Out of scope - R-1819Cannot run Migration (1786643346) because an "browser window is open" according to the migration.by joshuafouch· open at sourcebug
Out of area
Decided· Out of scope - R-1821[Quattro] Touchpad gets disabled everytime I close the laptop lidby ReetamBG· open at sourcebug
Out of area
Decided· Out of scope - R-1822Full Changelog: https://github.com/basecamp/omarchy/compare/v3.8.5...v4.0.0 does not existby shenxianpeng· open at sourcebugdocumentation
Out of area
Decided· Out of scope - R-1823setup security fingerprint fails on sensors requiring open-fprintd (ThinkPad 06cb:009a)by ItsNotPaths· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1824RTL8852BE Wi-Fi dead after s2idle; rtw89 resume wedges the chipby aquaspy· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1827No longer a way to enter password when using luksby zackify· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1828Linux 7.1 initramfs_async=0 causes ~76-second kernel phase on mixed AMD/NVIDIA systemby biggsjm· open at sourcebug
Out of area
Decided· Out of scope - R-1829Idle cycle restarts during a pending lock and launches a second screensaver into it — new ttfx aborts (isLocked guard passes while lock-pending)by s373nZ· open at sourcebug
Out of area
Fixed - R-1830omarchy-upgrade-to-quattro enables bt-agent.service but orphans bluez-tools (its only source of /usr/bin/bt-agent) — infinite restart loopby lemachinarbo· open at sourcebug
Out of area
Decided· Out of scope - R-1831Weather plugin: Current location icon() overlaps on the current weather stateby JairPB· open at sourcebug
Out of area
Decided· Out of scope - R-1832Quattro clipboard image preview renders oversized and covers the desktopby evo-social-world· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1834Agents bar widget: Claude collector shows 'Waiting for auth' with Vertex/Bedrock auth; no Gemini collectorby Leonslost· open at sourceenhancement
Out of area
Decided· Out of scope - R-1835Plugin hot-reload never picks up changed plugin code (stale QML component cache)by farangkao· open at sourcebug
Out of area
Decided· Out of scope - R-1836`omarchy debug` and four other commands are unreachable inside the Hyprland session: envs.lua prepends an incomplete bin dirby kevinchiha· open at sourcebug
Out of area
Decided· Out of scope - R-1837running low when upgrading to Omarchy Quattro this morning.by 4ever911· open at sourcebug
Out of area
Decided· Out of scope - R-1838omarchy-plugin-validate: Regex fails for valid plugin IDs under Turkish localeby Underday· open at sourcebug
Out of area
Decided· Out of scope - R-1840Tailscale widget reports Connected while tailnet DNS is unreachableby z23· open at sourcebug
Out of area
Decided· Out of scope - R-1841omarchy font set resets Foot font size to 9, ignoring omarchy display text sizeby sbalbalosa· open at sourcebug
Out of area
Decided· Out of scope - Fixed
- R-1844Fn + F3 keyboard backlight shortcut not working on ASUS ROG Zephyrus G14by CosmicKittu· open at sourcebug
Out of area
Decided· Out of scope - R-1845Invalid mise config.toml keeps getting generatedby TheTrueFerret· open at sourcebug
Out of area
Decided· Out of scope - R-1846Steam idle-inhibit rule matches the client but not steam_app gamesby nicoladen05· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1848Quattro update preserves bindings.conf but silently stops loading custom keybindingsby evo-social-world· open at sourcebug
Out of area
Decided· Out of scope - R-1849Installer: Scroll Lock backlight can lock input on SINO WEALTH 258a:0001 keyboardsby EmpireOperating· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1850Screensaver opens as a small floating window and self-terminates after 1s when a bar panel is openby echelonzero· open at sourcebug
Out of area
Decided· Out of scope - R-1851Shell: third-party bar plugins never load — required properties are set after constructionby andrepadez· open at sourcebug
Out of area
Decided· Out of scope - R-1852Quattro upgrade replaces customized monitors.conf with default monitors.lua (auto layout, GDK_SCALE=2) without porting or warningby daventhedude· open at sourcebug
Out of area
Decided· Out of scope - R-1853omarchy-remove-browser uninstalls the package with no running-process check, leaving a half-dead browser that dumps core for hoursby seanfreiburg· open at sourceenhancement
Out of area
Decided· Out of scope - R-1854Power panel shows 0W discharging when power_now read returns ENODEVby ujo4eva· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1856Battery percent in the top bar shows only BAT0by vcelletti· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1859Quattro Brave Origin stable migration strands the existing Beta browser profileby cempack· open at sourcebug
Out of area
Decided· Out of scope - R-1860Quattro upgrade drops non-US keyboard layout when vconsole.conf only has KEYMAPby cempack· open at sourcebug
Out of area
Decided· Out of scope - R-1862Shipped Ghostty epoll workaround can crash Ghostty on x86_64by Simplici0· open at sourcebug
Out of area
Decided· Out of scope - R-1863Migration 1786643346 loops after reboot on stale Chromium SingletonLockby rfmyrick· open at sourcebug
Out of area
Decided· Out of scope - R-1864Omarchy-settings upgrades revert the custom Plymouth/SDDM unlock-screen theme chosen via Style → Unlockby brink-lab· open at sourcebug
Out of area
Decided· Out of scope - R-1865MacBookPro15,1 (T2): deep never resumes; s2idle hangs on second suspend after Thunderbolt/xHCI dieby adityathakker· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1867Brightness: a monitor found by ddcutil detect but with no readable brightness is rescanned on every open, blanking itby dotnetemmanuel· open at sourcebug
Out of area
Decided· Out of scope - R-1869Keyboard layout bar widget can switch the wrong device on T2 Macs ("Apple Headset" phantom keyboard not excluded)by brwaters· open at sourcebugcompatibility
Out of area
Decided· Out of scope