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-729Weather widget: use m/s for wind in ru_RU localeby WokoFlipper· open at sourceenhancement
Out of area
Decided· Out of scope - R-730omarchy reminder: multi-day reminders silently lost on shutdown/reboot (no persistence)by N3onStack· open at sourcebug
Out of area
Decided· Out of scope - R-732Keyboard/touchpad dead at LUKS prompt on AMD Surface devices (fix-surface-keyboard.sh only handles pinctrl/Intel)by gs86baker· open at sourcebugcompatibility
Out of area
Decided· Out of scope - Decided· Out of scope
- R-736setPluginEnabled answers ok for an unknown plugin id, so omarchy plugin disable <typo> reports success and does nothingby Mario-Mohar· open at sourcebug
Out of area
Decided· Out of scope - R-737omarchy plugin update exits 1 after a successful update: set -e aborts on the unguarded rescanPlugins when its 2s IPC timeout expiresby Mario-Mohar· open at sourcebug
Out of area
Decided· Out of scope - R-738voxtype install silently leaves the CPU backend: 'voxtype setup gpu --enable' runs without sudoby RonildoBraga· open at sourcebug
Out of area
Decided· Out of scope - R-739omarchy-system-reboot: fails when DBUS_SESSION_BUS_ADDRESS and XDG_RUNTIME_DIR are not setby henriquemeira· open at sourcebug
Out of area
Decided· Out of scope - R-740Calendar popup gets stuck open and blocks all interactionby axnimesh· open at sourcebug
Out of area
Decided· Out of scope - R-741limine-install fails on software RAID / Intel RST ESP: 'Failed to parse disk and partition from source /dev/mdXpY'by patsonatorEFPL· open at sourcebug
Out of area
Decided· Out of scope - R-742omarchy-snapshot: handle non-subvolume /.snapshots with clear diagnostic and recovery instructionsby patsonatorEFPL· open at sourceenhancement
Out of area
Decided· Out of scope - R-743Network panel QML binding loop forces a full wifi reconnect, causing ~15s outagesby ChapuChapuMbusi· open at sourcebug
Out of area
Decided· Out of scope - R-744Screensaver busy-loops and cannot be dismissed when branding/screensaver.txt is missingby hhammarstrand· open at sourcebug
Out of area
Decided· Out of scope - R-747Too large window (browser tab) title causes fcitx5 to crash, taking omarchy-shell with itby XO6bl4· open at sourcebug
Out of area
Decided· Out of scope - R-748system-update widget: concurrent checkupdates races on multi-monitor, so the update icon shows on only one barby EJ-Monkey· open at sourcebug
Out of area
Decided· Out of scope - R-749Lock-screen DPMS blank breaks DisplayPort MST wake and requires rebootby garymeyerca· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-750Third-party bar-widgets never receive barWidgetRegistry, so a widget cannot host other widgetsby kevinbsr· open at sourcebug
Out of area
Decided· Out of scope - R-751plugin enable and bar put report success without placing a widget listed in plugins[]by kevinbsr· open at sourcebug
Out of area
Decided· Out of scope - R-752Bar popup panels can leave a stuck full-screen overlay that blocks inputby M0VO· open at sourcebug
Out of area
Decided· Out of scope - R-753KDE Connect notifications display literal " entitiesby jeancarlosg93· open at sourcebug
Out of area
Decided· Out of scope - R-754Bar widgets under a replacement (cloned) bar cannot resolve their own service — panel dead-ends on "warming up"by Tiedeyez· open at sourcebug
Out of area
Decided· Out of scope - R-755Triage data: 78 open PRs are 16 distinct fixes (verified by shared file)by aholbreich· open at source
Out of area
Decided· Out of scope - R-756ASUS ROG: soft-mixer caps hardware Master at 80% so bar "100%" is not full volumeby rdoupe· open at sourcebug
Out of area
Decided· Out of scope - R-757Screensaver renders behind pinned (Super + O) windows, leaving the screen visibleby Damndionic· open at sourcebug
Out of area
Decided· Out of scope - R-758Sublime Text default-editor option never works: guard/fallback check the wrong command nameby pop400· closed — duplicate at sourcebugduplicate
Duplicate ofSublime Text can't be set as default editor (menu checks for 'sublime_text' binary, package ships 'subl') R-829— the earliest report
+2 duplicate reports 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.
- Sublime Text default editor never works: Omarchy expects a 'sublime_text' command but the package only ships 'subl' R-229filed Sep 21, 2026· open upstream
- Sublime Text hidden from Default Editor menu and omarchy-launch-editor silently falls back to nvim R-5194filed Oct 7, 2026· open upstream
Decided· Duplicate - R-760omarchy-launch-about: window auto-fit resize is a no-op, truncates fastfetch outputby mlogick· open at sourcebug
Out of area
Decided· Out of scope - R-761External monitors on a USB-C dock never return after undocking (aquamarine 0.15.0 regression)by jacobrosenthal· open at sourcebug
Out of area
Decided· Out of scope - R-762Panel Replay desktop lag on Dell XPS 14 after 4.0.3 update; reproduces on 7.2.4 base kernelby rbulcher· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-763CLI --help doesn't reveal sibling command with shared prefix (monitor internal vs monitor internal mirror)by vadimlungu· open at sourceenhancement
Out of area
Decided· Out of scope - R-764SOF ThinkPad: no headphone autoswitch, stale HDMI default, MPRIS pause on jack, mute LED darkby JeffFlag· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-765Installer maps Azerbaijani to the French AZERTY keymap (and Lao to Latin American Spanish)by BRashad· open at sourcebug
Out of area
Decided· Out of scope - R-766Last-resort fontconfig rule only covers Arabic — every other non-Latin script (Tamil, Devanagari, etc.) renders as tofu boxes in Chromium/Electronby ganjeez· open at sourcebug
Out of area
Decided· Out of scope - R-768Third-party services can no longer observe bar hover and popup stateby D-Gaspa· open at source
Out of area
Decided· Out of scope - R-769Notification card shows Qt broken-image placeholder box for unresolvable app_icon (e.g. Claude Code's 'claude')by qtn10· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-770MacBook5,1 / BCM4322: document wl-first boot workaround for Wi-Fi failures after rebootby flocca· open at sourcebugmaccompatibility
Out of area
Decided· Out of scope - R-7714.0.3 regression: third-party bar-widget/panel plugins break (News Radar widget silently vanishes; themo.nfl / omaprox / agent-bar throw QML TypeErrors)by dreed47· open at sourcebug
Out of area
Decided· Out of scope - R-772omarchy-launch-webapp fails silently when the browser .desktop Exec= is a wrapper (env VAR=val brave …)by bakuro117· open at sourcebug
Out of area
Decided· Out of scope - R-7734.0.3: third-party bar-plugin popups become stuck overlays that cannot be dismissedby morindat· open at sourcebug
Out of area
Decided· Out of scope - R-774Brave-Origin missing from native messaging host registration (yt-dlp + copy-url)by Baniel83· open at sourcebug
Out of area
Decided· Out of scope - R-775omarchy-network-speedtest under-reports download 2-4x on multi-gigabit links: fast.com OCA nodes cap per-client egress while upload POSTs are discardedby ids444· open at sourcebug
Out of area
Decided· Out of scope - R-7764.0.3 upgrade replaces broadcom-wl with DKMS without installing kernel headers, breaking Wi-Fi after rebootby cdevroe· open at sourcebug
Out of area
Decided· Out of scope - R-777Screen recordings with audio are written at 96 kHz AAC (loudnorm missing -ar)by davidstillson· open at sourcebug
Out of area
Decided· Out of scope - R-778Single-window square aspect toggle reports success but does nothing on scrolling-layout workspacesby haydenmckay· open at sourcebug
Out of area
Decided· Out of scope - R-780hyprctl SIGBUS during Omarchy-triggered system updateby trucha74205· open at sourcebug
Out of area
Decided· Out of scope - R-781Hermes setup: Nous unavailable-model list hides selectable rows, making arrow navigation appear frozenby stravis11· open at sourcebug
Out of area
Decided· Out of scope - R-782Hyprland crashes when dragging windows (CDwindleAlgorithm::movedTarget)by mat888· open at sourcebug
Out of area
Decided· Out of scope - R-783ASUS ProArt P16 (Ryzen AI 9 HX + RTX): live ISO freezes; needs amdgpu.dcdebugmask + nouveau blacklistby lixado· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-784Limine-only update leaves limine_x64.efi unsigned — zz-sbctl.hook glob never matches BOOTX64.EFI (case-sensitive), causes Secure Boot Violation lockoutby LoboHacks· open at sourcebug
Out of area
Decided· Out of scope - R-785Bar widget popups leave a stale ghost frame on screen after closingby ricardomillerjr· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-786Dropbox cannot complete account linking because generated systemd service kills self-updated daemonby Rambo176· open at sourcebug
Out of area
Decided· Out of scope - R-787Low-battery warning never fires while docked: onBattery guard suppresses it when a dock supplies power but the battery still drainsby zorzysty· open at sourcebug
Out of area
Decided· Out of scope - R-7884.0.3 bar-widget sandbox scopes _moduleWidgets to the caller, silently breaking bar-organiser pluginsby PeterHennesey· open at sourcebug
Out of area
Decided· Out of scope - R-7904.0.3 bar-widget sandbox drops the bar drag API from PluginBarApi, silently breaking drag-into-widget pluginsby aksasahara· open at sourceenhancement
Out of area
Decided· Out of scope - R-791ASUS Zenbook UM3406KA touchpad stops responding after s2idle resumeby ottosilva· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-792Live monitor scale change (Display panel / hl.monitor eval) desyncs multi-monitor position, causing overlap or vertical offsetby straylight· open at sourcebug
Out of area
Decided· Out of scope - R-793ThinkPad X1 Carbon Gen 13: RT1318 speakers permanently silent after SoundWire CTRL_CLASH (empty Cadence PING)by aramsdale· open at sourcebug
Out of area
Decided· Out of scope - R-794Bar drag-reorder moves wrong instance for widgets with allowMultiple (matches by module id, first wins)by BriamLeyton· open at sourcebug
Out of area
Decided· Out of scope - R-795Hyprland 0.56.2 crash on mouse input: Lua Check::string bad_any_cast (SEGV -> ABRT)by exergonic· open at sourcebug
Out of area
Decided· Out of scope - R-7964.0.3: third-party plugins lost read access to their own shell.json entry, but updateEntryInline still replaces it — plugin settings are silently destroyedby rgreboucas· open at sourcebug
Out of area
Decided· Out of scope - R-797`omarchy setup security fingerprint` fails at enroll on readers libfprint can't drive (Validity VFS491, 138a:003d)by NianticBooks· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-798omarchy-shell hot-reload storms when a plugin directory receives rapid writes (e.g. in-place builds)by jonathancostin· closed — duplicate at sourcebugduplicate
Out of area
Decided· Out of scope - R-799Wi-Fi becomes unusable while still connected — RTL8723DE / rtw88_8723deby sudo-WearTherinG· open at sourcebug
Out of area
Decided· Out of scope - R-8004.0.3 bar-widget sandbox leaves no way for a plugin to enumerate plugins, silently breaking omaplugby PapaHawk14· open at sourceenhancement
Out of area
Decided· Out of scope - R-801[shell/bar] ModuleSlot implicit dimensions do not consider slot.visibleby harlanljones· open at sourcebug
Out of area
Decided· Out of scope - R-802Shell config mutations rewrite shell.json from in-memory state — concurrent/external edits silently lost, service plugins[] entries vanishby taisau· open at sourcebug
Out of area
Decided· Out of scope - R-803Layout widget switches only one of several real keyboards, so a laptop with an external keyboard half-switchesby fabeider· open at sourcebug
Out of area
Decided· Out of scope - R-805Unable to complete Omarchy Update Process if Monitor is Disconnected During Processby lastonboard· open at sourcebug
Out of area
Decided· Out of scope - R-806KeyboardPanel dismissal recreates N-1 full-screen layer-shell surfaces on every open — laggy on many-monitor setupsby jacobtminson· open at sourcebug
Out of area
Decided· Out of scope - R-807Quickshell render-thread SIGSEGV when stepping monitor scale down from 4 on a 6K display (QSGRhiLayer requests 18432×7680, over GPU max 16384)by axelfontaine· open at sourcebug
Out of area
Decided· Out of scope - R-812Theming docs don't warn that fonts and bar position are global, not theme-scopedby lucasvidela94· open at sourcedocumentation
Out of area
Decided· Out of scope - R-813SDDM boot greeter clips on mixed displays and ignores Colemak/Russian layoutsby backmeupplz· open at sourceenhancement
Out of area
Decided· Out of scope - R-814SUPER+ENTER abre terminal no cwd de um processo auxiliar da janela focada (ex: download do Edge em ~/Downloads)by yagobmoreira· open at sourcebug
Out of area
Decided· Out of scope - R-816RC jsoncpp 1.9.8 soname bump breaks intel-ipu7-camera 1.0.5by iuliansafta· open at sourcebug
Out of area
Decided· Out of scope - R-817Update sunshine package to v2026.906.222525 (security fixes + Linux/NVENC/Wayland improvements)by dansaiko· open at sourceenhancement
Out of area
Decided· Out of scope - R-818Quickshell SIGSEGV in GTK3's gdkscreen-wayland.c (jemalloc invalid free) handling wl_output name event during suspend/resume monitor churnby r3d3n0d0· open at sourcebug
Out of area
Decided· Out of scope - R-819Public kernel LPE targeting Omarchy (vxlan FDB flush UAF) — fix queued in stable, no Arch kernel release carries it yetby alvarofraguas· open at source
Out of area
Decided· Out of scope - R-820Cloned shell plugins silently cannot read shell.json config (omarchy.lock clone loses all idle settings)by TripleU613· open at sourcebug
Out of area
Decided· Out of scope - R-821NVMe suspend fix targets the dGPU on MacBooks with discrete graphicsby passerini· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-822Touch Bar dead on T1 Macs: macbook12-spi-driver DKMS never buildsby passerini· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-823showing wrong time for few seconds in omarchy displayby nikhil-dev-395· open at sourcebug
Out of area
Decided· Out of scope - R-824ISO Node install pins an exact version; omarchy update never converges users onto latestby typecampo· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-826Bluetooth panel LE scan blocks reconnect of dual-channel BLE miceby stevepresley· open at sourcebug
Out of area
Decided· Out of scope - R-827T2 Macbook Pro Trackpad disable_while_typing setting not workingby djfergus· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-831Screensaver clears the workspace's fullscreen window and never restores itby djhume· open at sourcebug
Out of area
Decided· Out of scope - Decided· Out of scope
- R-833Audio panel opens the headset's microphone to drive a cosmetic level meter, crackling and pumping playback volumeby eirikkva· open at sourcebug
Out of area
Decided· Out of scope - R-835[restart app] Preserve workspace, group, and position when relaunching an applicationby nojaf· open at sourceenhancement
Out of area
Decided· Out of scope - R-836bt-agent.service never accepts device-initiated pairing (bluez-tools bt-agent rejects RequestAuthorization): Xbox controller shows Connected but never bondsby spizia· open at sourcebug
Out of area
Decided· Out of scope - R-837Emoji picker mouse selection can paste into the app underneath instead of the originating composerby jefehoser· closed — duplicate at sourcebugduplicate
Duplicate ofEmoji picker inserts into the wrong window when the card spans two windows R-1697— the earliest report
Decided· Duplicate - R-838omarchy-network-speedtest reports erratic near-zero speeds due to missing curl timeout on flaky OCA endpointby BundyFarino· open at sourcebug
Out of area
Decided· Out of scope - R-841Open whatsapp:// links in the bundled WhatsApp web appby BrunooMoniz· open at sourceenhancement
Out of area
Decided· Out of scope - R-842ThinkPad T14s Gen 2 AMD (20XG): sleep/wake failures improve with temporary PMC workaround; resolution unconfirmedby Theotius· open at source· edited (2 revisions)bugcompatibility
Out of area
Decided· Out of scope - R-843Omawrite crashes instantly on Wayland (portal QDBusError) and xdg-open silently hangs terminal appsby overclock98· open at sourcebug
Out of area
Decided· Out of scope - R-844Plugin hot-reload duplicates IPC handlers and leaks GPU surfaces until VRAM exhausts and the bar diesby ghpo· open at sourcebug
Out of area
Decided· Out of scope - R-845Custom bar/panel plugins fail silently — ReferenceError in Loader error handler swallows the diagnostic and skips the fallbackby ltehacker· open at sourcebug
Out of area
Decided· Out of scope - R-846ISO does not boot on fast USB drives with SSD controllersby jacobjennings· open at sourcebugcompatibility
Out of area
Decided· Out of scope - R-847Bar-widget plugins are not re-instantiated on hot reload: the widget silently vanishes from the bar until the shell is restartedby kstorm12· open at sourcebug
Out of area
Decided· Out of scope - R-848omarchy theme set reports success when post-theme hooks fail (run_parallel discards wait status)by Brams-s· open at sourcebug
Out of area
Decided· Out of scope - R-850omarchy-launch-shell treats IPC exit 0 as a stop; a failed replacement leaves no barby gw7523· open at sourcebug
Out of area
Decided· Out of scope