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-9691password 8.12.34-34 crashes with SIGILL on CPUs without AVX-512by inumineq· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-970install/hardware/intel/fred.sh writes a `fred=on` cmdline that Linux 7.1 no longer readsby Faxulous· open at sourcebug
Out of area
Decided· Out of scope - R-971ptl-kernel.sh never removes the stock kernel: `pacman -Rdd linux linux-headers` aborts when linux-headers isn't installed, and `|| true` hides itby Faxulous· open at sourcebug
Out of area
Decided· Out of scope - R-972Google Meet Picture-in-Picture window never floats: pip.lua matches "^Meet - .+" but Chromium uses an en dashby akserikawa· open at sourcebug
Out of area
Decided· Out of scope - R-973omarchy-windows-vm: RDP connects before Windows finishes booting on cold startby MykelSIlver· open at sourcebug
Out of area
Decided· Out of scope - R-974Identical notifications are no longer grouped since the Quickshell notification daemon replaced makoby rdjperron· open at sourcebug
Out of area
Decided· Out of scope - R-975Codex agent collector times out on rateLimits RPC due to buffered reader and 4s deadlineby kcodedev· open at sourcebug
Out of area
Decided· Out of scope - R-976Bluetooth panel: unbounded StartDiscovery retry wedges the controller and kills LE background scanningby bukson· open at sourcebug
Out of area
Decided· Out of scope - R-977o.launch_on_start()/o.launch() breaks Hyprland's [workspace N silent] exec-rule bracket syntaxby je2020je· open at sourcebug
Out of area
Decided· Out of scope - R-978Keyboard layout widget switches Logitech G502 instead of physical keyboardby szalikdev· open at sourcebug
Out of area
Decided· Out of scope - R-979omarchy font set prints omarchy-notification-send usage error when the font name contains a spaceby TheRealGhost007· open at sourcebug
Out of area
Decided· Out of scope - R-980Presentation terminal disappears after Update restarts the shellby falser101· open at sourcebug
Out of area
Decided· Out of scope - R-981plugins.md (agent skill) overstates hot-reload for bar-widget plugins — new bar-widget code needs a full shell restart, not just a saveby Ch4pt3r23· open at source
Out of area
Decided· Out of scope - R-982T2 Macs: battery charge limiting is unreachable — applesmc binds no device, and the t2bce stack has no SMC transportby ratandeepbansal· open at source
Out of area
Decided· Out of scope - R-983Bluetooth audio dropouts on T2 MacBook Pro 16" 2019 — hci_uart_bcm binds instead of hci_bcm4377by ratandeepbansal· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-984omarchy-upgrade-to-quattro: retired user configs are backed up but never removed; the abort is reported as successby Sean-Mulcahy· open at sourcebug
Out of area
Decided· Out of scope - R-985omarchy-mise-install wrapper's bare 'mise use -g <tool>' doesn't refresh to actual latestby apeltheory· open at sourcebug
Out of area
Decided· Out of scope - R-986quickshell wedges alive (spinning, IPC-dead) after S3 resume on single-GPU NVIDIA desktop; omarchy-restart-shell cannot recover itby noahkrueger· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-987Install > Web App displays Done after validation failureby scossar· open at sourcebug
Out of area
Decided· Out of scope - R-988Double-click on the Dictation indicator runs omarchy-restart-shell twice and segfaults quickshell in IpcHandler::updateRegistrationby Ta-noshii· open at sourcebug
Out of area
Decided· Out of scope - R-990omarchy-nvim ships a dead plugin URL: `gthelding/monokai-pro.nvim` 404s, so `:Lazy sync` reports fetch failedby marcelobritu· open at sourcebug
Out of area
Decided· Out of scope - R-991setting us,colemak is not setting to colemak but to default us keyboard.by dmuiX· open at sourcebug
Out of area
Decided· Out of scope - R-992`omarchy setup security fingerprint` aborts before configuring PAM when verify can't claim the reader after enroll (Validity VFS5011)by m4dmurd0c· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-993Display panel scale-preset button loses a border edge at 1.25x (not 1.6x)by ljpavlovski· open at sourcebug
Out of area
Decided· Out of scope - R-994Bar tooltip loses a border edge at display scale 1.25x (not 1.6x)by ljpavlovski· open at sourcebug
Out of area
Decided· Out of scope - R-996Menu "Remove app" deletes a shell plugin's launcher but leaves the plugin installed and runningby denlunev· open at sourcebug
Out of area
Decided· Out of scope - R-997Shipped herdr config binds prefix+shift+k to close_workspace, silently shadowing herdr's default swap_pane_upby t1nk333r· open at sourcebug
Out of area
Decided· Out of scope - R-998Hibernate restore hangs on iMac17,1 (amdgpu Bonaire/CIK), and every Limine entry carries resume= — no bootable menu entry left after a failed resumeby madakas· open at source
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1000BrowserColorScheme "device" is rejected by Chromium-family browsersby timolehto· open at sourcebug
Out of area
Decided· Out of scope - R-1001Default Voxtype type mode can corrupt longer Japanese/CJK dictation through wtypeby komagata· open at sourcebug
Out of area
Decided· Out of scope - R-1002Screenshots take ~1.6s on 6K: grim uses default PNG compression (-l 6)by phuclh· open at sourcebug
Out of area
Decided· Out of scope - R-1003"Kernel has been updated. Reboot?" on every update on Arch ARM (linux-aarch64)by ericmoret· open at sourcebug
Out of area
Decided· Out of scope - R-1004Hibernate resume fails (nv_pmops_freeze → -EIO) on single-NVIDIA-GPU desktops — initramfs nvidia load blocks the resume hookby unconnect· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1005Hibernate on pre-T2 Intel Macs reboots instead of powering offby animadito· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1006omarchy hibernation remove leaves /etc/limine-entry-tool.d/resume.conf behind, so the rebuilt UKI still boots with resume= pointing at the deleted swapfileby brenodyego· open at sourcebug
Out of area
Decided· Out of scope - R-1007`omarchy plymouth set` under sudo silently half-applies the theme and still rebuilds the initramfs — no `set -u`, no $OMARCHY_PATH fallbackby tomputer22· open at sourcebug
Out of area
Decided· Out of scope - R-1008Top-bar widgets intermittently stop responding to mouse clicksby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-1009Encrypted multi-device Btrfs root becomes unbootable when an additional LUKS-backed device is requiredby agustinrojas1· open at sourcebugenhancement
Out of area
Decided· Out of scope - R-1010Battery Size Detection on Lenovo P1 Gen 2 Not Workingby zveroboy152· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1012Launching a single-instance app hidden on the scratchpad does not reveal itby JoNil· open at source
Out of area
Decided· Out of scope - R-1013Electron apps other than browsers aren't pinned to gnome-libsecret: migrated Signal profiles become unrecoverable on Hyprlandby johnfire· open at sourcebug
Out of area
Decided· Out of scope - R-1015Nautilus segfaults (double-free of GMenu) when opening a new windowby UstymUkhman· open at sourcebug
Out of area
Decided· Out of scope - R-1016plugins.md: service-plugin constant edits need `omarchy restart shell`, not `rescanPlugins`by johnfire· open at sourcebug
Out of area
Decided· Out of scope - R-1017`{{ muted }}` is used as both a text color and a fill in the generated VS Code themeby ivanskodje· open at sourcebug
Out of area
Decided· Out of scope - R-1018Multi-monitor: every panel plugin registers its IpcHandler once per bar, logging a "Handler was registered but will not be used" WARN per extra screenby lucletoffe· open at sourcebug
Out of area
Decided· Out of scope - R-1021Plymouth: the `omarchy` theme renders off-centre on HiDPI panels — plymouthd's automatic device scale halves the window size the script seesby isaac30503· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-10234.0.2: bar tooltip renders raw HTML — Text.PlainText on tooltipLabel breaks rich-text tooltipsby Balthazzahr· open at sourcebug
Out of area
Decided· Out of scope - R-1024omarchy-restart-shell trusts a stale HYPRLAND_INSTANCE_SIGNATURE, leaving the session with no shell after omarchy updateby bezilaszlo· open at sourcebug
Out of area
Decided· Out of scope - R-1026Add configurable auto-suspend timeout to Quickshell settingsby pszponder· open at sourceenhancement
Out of area
Decided· Out of scope - R-1027Dell XPS 14 DA14260: closing lid causes severe Wi-Fi TX stall while dockedby esemczak· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1028Notification image-path hint bypasses icon resolution, rendering Qt's missing-texture placeholder for themed icon namesby MyGuyArrow· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-1030Electron/Chromium secondary windows leave stale/duplicated regions at scale 1.6by d-geula· open at sourcebug
Out of area
Decided· Out of scope - R-10321Password: unlock popup unusable on fractional scaling, and its window rule targets a non-resizable windowby kurtome· open at sourcebug
Out of area
Decided· Out of scope - R-10334.0.x: user ~/.config/hypr/envs.lua is never loaded — user env overrides (and the updater's own iHD fix) are dead codeby Makedayz· open at sourcebug
Out of area
Decided· Out of scope - R-1035windows-vm: two-minute readiness timeout reports normal first installation as failedby stoogs· open at sourcebug
Out of area
Decided· Out of scope - R-1036Sound menu showing duplicate entries for output and inputby bmweller· open at sourcebug
Out of area
Decided· Out of scope - R-1037windows vm launch: spurious "Failed to start Windows VM!" from 5s mount-safety scan timeout on real-sized disksby bleetmaa· open at sourcebug
Out of area
Decided· Out of scope - R-1038Polkit dialog elides ~80% of a long command instead of wrapping itby forlovas· open at sourcebug
Out of area
Decided· Out of scope - R-1039Stuck on logout screen with unrecognized passwordby anthony-robin· open at sourcebug
Out of area
Decided· Out of scope - R-1040Remove WhatsApp Slim extension from Brave Origin when uninstalling WhatsApp webappby anthony-robin· open at sourcebug
Out of area
Decided· Out of scope - R-1041omarchy-refresh-pacman drops hardware-specific repos (arch-mact2 on T2 Macs), silently orphaning linux-t2by JamieCurnow· open at sourcebug
Out of area
Decided· Out of scope - R-1043Bar widgets cannot be dragged into an empty section (e.g. empty left section)by aronnaxlin· open at sourcebug
Out of area
Decided· Out of scope - R-1047fix-spi-keyboard.sh installs macbook12-spi-driver-dkms, which cannot build on kernels shipping applespi in-treeby ari-ahm· open at sourcebug
Out of area
Decided· Out of scope - R-1048Snapper rollbacks silently un-apply Omarchy migrations (surfaced as: LUKS prompt still QWERTY after e891e5c)by v-h-z· open at sourcebug
Out of area
Decided· Out of scope - R-1049limine-mkinitcpio-install calls limine-entry-tool --get-cmdline with wrong argument count, silently dropping root= from UKI cmdlineby ThomsV897· open at source
Out of area
Decided· Out of scope - R-1051Chromium main Meet tab loses borders after session restore - over-broad PiP rule pip.lua:15by 0xleelu· open at sourcebug
Out of area
Decided· Out of scope - R-1052Launch feedback OSD remains stuck after Cursor and Grok Bot launchby aj-ebels· open at sourcebug
Out of area
Decided· Out of scope - R-1053Pacman uses -S and not -Syu in installer scriptsby Keylessboi· closed — completed at sourcebug
Out of area
Decided· Out of scope - R-1054Quickshell crashes with SIGSEGV in QSGRenderThread when Hyprland monitor is set to 10-bit (bitdepth = 10)by ozdil· open at sourcebug
Out of area
Decided· Out of scope - R-1055MacBookPro16,1 Broadcom quirk disables WPA3-SAEby kazeshini178· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1056Kernel soft lockup (TLB IPI stall) with RTX 5060 Ti causing full system freeze on bootby infat0x· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1058systemd-oomd swap kill takes the whole session: everything launched from a terminal shares one app-*.scope (2,104 processes killed)by StefanMaron· open at sourcebug
Out of area
Decided· Out of scope - R-1059System update widget renders a failed update check as "up to date"by JesperGravgaard· open at sourcebug
Out of area
Decided· Out of scope - R-1060Lumon theme: Neovim comments become unreadable on the cursor line (1.01:1 contrast)by shuurajou· open at sourcebug
Out of area
Decided· Out of scope - R-1061Web apps never get the chromium-based-browser tag: browser.lua patterns assume substring matching, Hyprland uses RE2::FullMatchby RiccardoBelli· open at sourcebug
Out of area
Decided· Out of scope - R-1062fix(obsidian, mullvad): syntax typo in obsidian user-flags.conf and missing floating window rule for Mullvad VPNby ivanvan08· open at sourcebug
Out of area
Decided· Out of scope - R-1064Bar panels dismiss when typing on an on-screen keyboard (wifi password, etc.)by ekollof· open at sourcebug
Out of area
Decided· Out of scope - R-1065Stale ACPI lid state turns external-monitor hotplug into clamshell mode, blanking the internal panelby bbishdotdev· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-1069SUPER+O pop-out window exceeds the work area on 1440x900 logical displaysby veer-y-singh· open at sourcebug
Out of area
Decided· Out of scope - R-1070hyprland.lua: Sub-module require errors abort script evaluation before hypr.bindings, locking user out of keybindingsby codyoss· open at sourcebug
Out of area
Decided· Out of scope - R-1071[Hardware]: Black screen on boot on AMD Strix Point / Radeon 890M laptops (ASUS ROG Zephyrus G14) due to Aquamarine atomic DRM commit failureby codyoss· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1072Quickshell repeatedly SIGSEGVs in QML binding evaluation after keyboard-panel config updatesby nkamenar· open at sourcebug
Out of area
Decided· Out of scope - R-1073Notification actions are advertised in GetCapabilities but never rendered: action buttons are silently droppedby fooblahblah· open at sourcebug
Out of area
Decided· Out of scope - R-1074omarchy-launch-screensaver: 3rd+ monitor misses openwindow deadline, screensaver never opens thereby harleylrn· open at sourcebug
Out of area
Decided· Out of scope - R-1076Notification click doesn't focus/switch workspace for Chromium web apps (Teams, Outlook)by adamhun· open at sourcebug
Out of area
Decided· Out of scope - R-1078SUPER+O (window-pop) opens window larger than screen at non-1x scaleby anakinrpi· open at sourcebug
Out of area
Decided· Out of scope - R-1079Hibernate hangs (forced power-off required) on hybrid-GPU ASUS ROG G14 — force-igpu/supergfxctl never installedby rdelpiano· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-1080Hybrid Intel+NVIDIA laptops without supergfxctl: forced __GLX_VENDOR_LIBRARY_NAME=nvidia with no PRIME offload breaks Steam gamingby osungjinwoo· open at sourcebug
Out of area
Decided· Out of scope - R-1081dell-xps13-sidecar-amps: reports success but speakers stay silent on spkid0 units (XPS 13 DX13260)by wizaj· open at source· edited (2 revisions)bugcompatibility
Out of area
Decided· Out of scope - R-1082Epic: Add Gemini and OpenCode monitoring to the Agents panelby acf1210· open at sourceenhancement
Out of area
Decided· Out of scope - Decided· Out of scope
- Decided· Out of scope
- R-1085Laptop NVIDIA GPUs stuck at default TGP — nvidia-powerd is never enabledby onelegdave· open at sourcebug
Out of area
Decided· Out of scope - R-1086Bluetooth panel loops pairing because bt-agent prompts without a terminalby jacobaross· open at sourcebug
Out of area
Decided· Out of scope - R-1087Dictation bar indicator never shows the "transcribing" stateby lionel-arnaud· open at sourcebug
Out of area
Decided· Out of scope - R-1089xdg-open on the stock Terminal=true nvim.desktop opens no terminal and blocks the callerby paolot0rr3s· open at sourcebug
Out of area
Decided· Out of scope - R-1090Shell restores unbounded backlog of stale never-expiring critical popups after power loss (plus 0-byte state files)by calumol· open at sourcebug
Out of area
Decided· Out of scope