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-482linux-omarchy 7.2.5-3 boots to emergency shell on MacBookAir6,1by nordbergmikael· open at sourcebugmac
Out of area
Decided· Out of scope - R-484omarchy-usb-autosuspend.conf is a no-op; Intel Bluetooth controllers still autosuspend (BLE HID reconnect timeouts)by jordanglean· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-486Internal speakers silent on Legion Pro 7 16IRX8H; TAS2781 binding changes with codec SSID overrideby slavkof· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-4884K@120 HDMI screen blanks for seconds on every new frame after linux-omarchy 7.2.5-3 (AMD Navi 33)by berkesadam74· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-492Network panel reports TUN interface and fake IP as active Ethernetby aisensiy· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-493ssh wrapper leaves the alternate screen after every ssh, scrambling the terminalby AronBakes· open at sourcebug
Out of area
Decided· Out of scope - R-494Third-party (cloned) menu plugin: Apps submenu stays empty — shell never grants appLibraryby Hangoverdk· open at sourcebug
Duplicate ofCloned menu gets null appLibrary — manifestHasKind Array.isArray fails on QVariantList kinds R-5209— where this defect is tracked
+1 duplicate report here· show· hide
Every defect they describe is already reported in this tab, and this report leads their main one. This tab lists one row per report that brings a defect of its own.
- Third-party menu-kind plugin gets shell.appLibrary === null, leaving Apps submenu empty R-394filed Sep 17, 2026· closed upstream as a duplicate
Decided· Duplicate - R-495Kernel migration rejects valid FAT32 ESP discovered as systemd autofsby holystix04· open at sourcebug
Out of area
Decided· Out of scope - R-496omarchy/sunshine 2026.516 package: NVENC broken on Turing — falls back to software x264by trinknx· open at sourcebug
Out of area
Decided· Out of scope - R-497omarchy install service sunshine fails: "Unit sunshine.service does not exist"by trinknx· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-499[hyprland] Lua binds written as "MODS + code:N" don't parse — all binds sharing a modifier fire at once (SUPER+RETURN lands you on workspace 10)by ryanmoreau-ctrl· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-500Intermittent 'Connection reset by peer' downloading large packages from pkgs.omarchy.org over IPv6by GreyforgeLabs· open at source
Out of area
Decided· Out of scope - R-501Blue Yeti microphone detected but produces no capture after rebootby daveplatt71· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-502Secure Boot UKI chainload panics on MSI firmware (LoadImage failure 0x800000000000000f); ENABLE_UKI=no workaroundby fenfenau· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-503Whole-screen rainbow/color corruption after lid resume on hybrid AMD+NVIDIA laptop, persists through unlock, not fixed by shell restart or display resetby BigRed4547· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-504Agents panel: a Local tab for self-hosted model usageby Ronin11· open at sourceenhancement
Out of area
Decided· Out of scope - R-5061password 8.12.36-2: polkit policy bakes in build host's user; vendor after-install.sh never run (same cause as #11830)by edgardoalz· open at sourcebug
Out of area
Decided· Out of scope - R-507omarchy-hw-touchpad returns the wrong device when an external trackpad is connected (name regex + enumeration order)by alebak· open at sourcebug
Out of area
Decided· Out of scope - R-508Bar network icon shows disconnected while Wi-Fi is actually connected.by fils· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-509omarchy-restart-shell SIGSEGV: QQuickWindowPrivate::polishItems during QQmlEngine destructorby 73Zut· open at sourcebug
Out of area
Decided· Out of scope - R-511Migration 1787865477 drops the input group, silently breaking Voxtype's evdev hotkeyby kurenn· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-514MacBook9,1 / 10,1 internal speakers silent after install (driver alone isn't enough; EFI chime must be un-muted)by karlentwistle· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-515Power widget shows "Charging" while battery is discharging: icon/label trust UPower.onBattery and ignore device.stateby DerAlbertCom· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-516Remove > Preinstalls hides Herdr launcher and keybinding but leaves Herdr installedby markallisongit· open at sourcebug
Out of area
Decided· Out of scope - R-517Weather widget disappears when wttr.in has an expired TLS certificateby shynekomaid· open at sourcebug
Out of area
Decided· Out of scope - R-518Installer's ENABLE_LIMINE_FALLBACK=no hides Omarchy from the Mac boot picker, leaving it unbootable after an NVRAM resetby makoni· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-519Inkscape's file dialogs tile instead of floating: it draws its own GTK chooser, not the portal'sby omeganter· open at source
Out of area
Decided· Out of scope - R-520omarchy-crash-watch announces the crash its own dispatched agent just reproduced, chaining a fresh agent per hopby jtavin-smp· open at sourcebug
Out of area
Decided· Out of scope - R-521contributing guide: 'omarchy debug' command does not exist (4.0.3-1)by jte369· open at source
Out of area
Decided· Out of scope - R-522Waybar is unsupervised and unbounded: a leaking bar (32 GB) plus an unbounded coredump cost a whole session — and the GPU run under itby MaximilianKhan· open at sourceenhancement
Out of area
Decided· Out of scope - R-523# Bug Report: Network Panel shows "NOT CONNECTED" for active 802.1x Enterprise (eduroam) networksby Pabl0125· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-524omarchy-tailscale-receive ignores user-dirs.dirs and recreates ~/Downloads every loginby vexlin· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-5262013 MacBook Pro A1502: Apple AHCI SSD not detected, then pacstrap I/O error; cannot set libata.force=noncqby adriannoes· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-528Battle.net installer: several silent minutes between script exit and the setup wizard — no progress UIby parnoldx· open at sourceenhancement
Out of area
Decided· Out of scope - R-530Brief black flash on every lock — beginLock() defers refreshBackground() via Qt.callLater while session lock timers start immediatelyby AlyKazani04· open at sourcebug
Duplicate of[Quattro] Lock wallpaper can show only its fallback color after resume R-1213— the earliest report
Decided· Duplicate - R-532intel/video-acceleration.sh doesn't match Intel Wildcat Lake GPU, skips installing intel-media-driverby theswampdawg· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-533Dropbox panel: `dropbox-cli start` on a stale pidfile forks a second daemon that sits on "Starting..." while the real one keeps syncingby procrypto· open at sourcebug
Out of area
Decided· Out of scope - R-534Hardware cursor intermittently stops rendering on hybrid Intel/NVIDIA multi-monitor laptop (recurs despite no_hardware_cursors=true)by Cousint98· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-535The uninstall function in rofi dose not work on some appby death366· open at sourcebug
Out of area
Decided· Out of scope - R-536Audio panel shows MUTED while master switch is on when microphone is unmutedby Selion05· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-538Third-party bar-widgets locked out of bar drag-reorder (PluginBarApi exposes no drag state)by ujo4eva· open at sourceenhancement
Out of area
Decided· Out of scope - R-539Shell reloads a local plugin on every write under it, including its own __pycache__ — reload storm freezes the shellby nocstah· open at sourcebug
Out of area
Decided· Out of scope - R-540Quickshell launch OSD and NextKey overlay can stick forever under load / interrupted launchesby gjouret· open at sourcebug
Out of area
Decided· Out of scope - R-541USB hot-plug doesn't work in Intel-based MacBook Pro (16-inch, 2019) with T2 chipby VasylBaran· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-543CPU constantly heating up beyond 70C on less than 5% usageby muellan· open at sourcebug
Out of area
Decided· Out of scope - R-545Dragging the bar only works when there is at least 1 window (broken on empty desktop)by axelfontaine· open at sourcebug
Out of area
Decided· Out of scope - R-547Intel i915 DP monitor has no video after long idle while DRM stays connected; DPMS reset recoversby lo-nau· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-548External monitor over USB-C dock never returns after suspend (ucsi_acpi GET_CABLE_PROPERTY failed, Meteor Lake) — reboot is the only fixby NikPiermafrost· closed — completed at sourcebugcompatibility
Out of area
Decided· Out of scope - R-552Agents panel: let plugins extend the per-provider brand-mark assetsby FelipeMayerDev· open at sourceenhancement
Out of area
Decided· Out of scope - R-553limine-mkinitcpio's boot-entry cmdline is sourced from /proc/cmdline, not target config — breaks chroot/clone builds targeting a different rootby pastorinj-pixel· open at sourcebug
Out of area
Decided· Out of scope - R-554omarchy windows vm: shared-folder setgid blocks relaunch after first run; KVM boot crash on Meteor Lakeby ecgcoop· open at sourcebug
Out of area
Decided· Out of scope - R-555Stale/orphaned PARTUUID in /etc/default/limine silently overrides /etc/kernel/cmdline, breaking LUKS auto-unlock after update — no validation against actual diskby pastorinj-pixel· open at source
Out of area
Decided· Out of scope - R-556Hyprland crash-loop on boot (aquamarine DRM backend teardown), bar position corruptedby delhub· open at sourcebug
Out of area
Decided· Out of scope - R-557force-igpu resume hook strands system in Vfio mode on Integrated->Vfio transition failure; toggle can't recoverby ujo4eva· open at sourcebug
Out of area
Decided· Out of scope - R-559X web app launched from the Super+Space app menu exits silently within seconds; same web app via Super+Shift+X or a terminal is fineby cgranier· open at sourcebug
Out of area
Decided· Out of scope - R-560BCM4360: Wi-Fi goes dark, toggle won't recover itby in0vik· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-561Shell plugin never receives its own settings write: barConfig is published one write behindby rmcdavid· open at sourcebug
Out of area
Decided· Out of scope - R-562screenrecording --with-webcam: overlay mpv is orphaned when the camera never delivers a frame; cleanup only sends SIGTERM and a second --stop-recording exits 1by jasrys· open at sourcebug
Out of area
Decided· Out of scope - R-563Fingerprint setup gives no diagnosis when libfprint has no driver for the detected readerby busbyjon· open at sourcebug
Out of area
Decided· Out of scope - R-564Unable to boot with Intel Arc B60 Pro Creator - triggers monitor factory test loop in early bootby Geoff-Ilmax· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-565Audio turns to 100% after connecting to a bluetooth deviceby mudit06mah· open at sourcebug
Out of area
Decided· Out of scope - R-5661password 8.12.36-2 omits MCP group/setgid setup, causing peer authentication rejectionby larok00· open at sourcebug
Out of area
Decided· Out of scope - R-568Quickshell SIGSEGV in QQmlData::destroyed() during posted-event teardown after monitor add/remove (varying crash frame)by arjunagaur· open at sourcebug
Out of area
Decided· Out of scope - R-569Nothing in the update path measures ESP free space, including the post-transaction hook that writes the UKIby TechLuddite· open at sourceenhancement
Out of area
Decided· Out of scope - R-570Permanent lockout after suspend: omarchy-launch-shell's 1.5s compositor_alive guard abandons a dead lock client on slow resumeby abrahamchandy95· open at sourcebug
Out of area
Decided· Out of scope - R-571Zoo Design Studio WebRTC viewport hangs under Omarchy's forced native Wayland/Ozoneby elpapi42· open at source
Out of area
Decided· Out of scope - R-572HP Smart Tank 520/540 USB printer not plug-and-play: driverless queue always fails (universal filter failed), hplip not shippedby HIMANSHU11827· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-573WiFi does not reconnect automatically after it disconnectsby HIMANSHU11827· open at sourcebug
Out of area
Decided· Out of scope - R-574WiFi auto-connects to 2.4GHz instead of preferring 5GHz on fresh installby HIMANSHU11827· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-575omarchy-toggle-hybrid-gpu has no Vfio case: a failed force-igpu restore strands the machine in Vfio with no supported way backby dreamsgarage· open at sourcebug
Out of area
Decided· Out of scope - R-577bar.shell.serviceFor() returns null for third-party service+bar-widget pluginsby n30nf4nt0m· open at sourcebug
Out of area
Decided· Out of scope - R-579omarchy-update aborts whole transaction on a transient mid-download stall (pacman low-speed threshold is 1 byte/10s)by ngmisl· open at sourceenhancement
Out of area
Decided· Out of scope - R-580Network panel's enterprise WiFi (WPA2-Enterprise/802.1x) reconnect flow overwrites a working profile and misreports failures as wrong passwordby pixelsandpointers· open at sourcebug
Out of area
Decided· Out of scope - R-581omarchy-windows-vm: xfreerdp3 SIGSEGV on clipboard format query; propose migrating to sdl-freerdp3by tomturing· open at sourcebug
Out of area
Decided· Out of scope - R-582Volume key auto-repeat floods pipewire-pulse clients and becomes laggyby Yiteng-CHEN· open at sourcebug
Out of area
Decided· Out of scope - R-583Tray: add a monochrome icon setting, with a documented app-side contractby dadofsambonzuki· open at sourceenhancement
Out of area
Decided· Out of scope - R-584Docker DNS defaults hardcode 172.17.0.1, colliding with routers on that subnetby OtherStep· open at sourcebug
Out of area
Decided· Out of scope - R-585Bar: add an overflow region so the bar can hold more widgets than fitby TomFaulkner· open at sourceenhancement
Out of area
Decided· Out of scope - R-586dependency conflict: package requires standard nodejs instead of supporting nodejs-lts on Omarchy Linuxby nikolajanke· open at sourcebug
Out of area
Decided· Out of scope - R-589Adding a plugin does not instantiate its bar slot or register its IPC handler until the shell restartsby m3ssage· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-591Shell (quickshell) SIGSEGV when a click reassigns a Repeater's array model — crash in VDMListDelegateDataType::createMissingPropertiesby doughn8· open at sourcebug
Out of area
Decided· Out of scope - R-592omarchy install service dropbox reports "libappindicator-gtk3 did not install" although pacman installed its replacementby dbarke· open at sourcebug
Out of area
Decided· Out of scope - R-593Stock fingerprint setup fails with NoSuchDevice on Validity 06cb:009a (libfprint lists it as unsupported)by BeameX· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-594omarchy-launch-browser silently fails when the default browser's Exec= is wrapped (env, flatpak, ...)by mhavo· open at sourcebug
Out of area
Decided· Out of scope - R-595Trusted path for service-backed widgets on replacement bars (follow-up to #9618)by felixzsh· open at sourceenhancement
Out of area
Decided· Out of scope - R-596SwitchToGreeter freezes the session: greeter relaunch targets the occupied VT (HELPER_TTY_ERROR)by MAXIDEA· open at sourcebug
Out of area
Decided· Out of scope - R-597Bluetooth headset volume partly disconnected from audio panelby wolf0403· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-599Chromium launch OSD remains visible after browser opensby goutham794· open at sourcebug
Out of area
Decided· Out of scope - R-600Display brightness keys/OSD have no effect on Lenovo Legion 5 15IAX11 (nvidia_wmi_ec_backlight EC bug, upstream kernel #221430)by selenophilezh· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-601Third-party service plugins report enabled: false despite being correctly configured and actually runningby kibendar· open at sourcebug
Out of area
Decided· Out of scope - R-603ASUS ExpertBook PX4466CHA: built-in speakers silent (ALC256, subsystem 1043:3541)by DemonKissme· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-605Bar freeze: anchored quickshell PanelWindows never repaint (Quickshell 0.3.1 + Hyprland 0.56.2)by bwhove· open at sourcebug
Out of area
Decided· Out of scope - R-606Plymouth set/switcher always fails on pre-4.0 installs: /usr/share/plymouth/themes/omarchy left user-ownedby chrstn-sgrr· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-607Plugin sandboxing (4.0.3): no opt-in for embedding-style plugins to read other plugins' manifestsby dbgoodm· open at sourceenhancement
Out of area
Decided· Out of scope