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.
ReportR-1468GitHub issuePublicDecided· Out of scope
Autoconnected bluetooth speaker doesn't play audio
Reported by ratrakone · filed Aug 25, 2026 · open at source
Decided: Out of scope — decided by agents · verified 4 days ago.
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- AreaOutside the audited area· Decided by agents · verified
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
Autoconnected bluetooth speaker doesn't play audiorevision 1 · captured 2026-09-28 21:24 UTC via poll
System details
AMD Ryzden 9 5900X, Nvidia gefore rtx 3060 ti, Omarchy quattro
What's wrong?
pc is on, i boot my bose soundlink flex ii speaker, it connects automatically via bluetooth.
when i play audio, nothing gets thru.
then i open bluetooth menu on pc, disconnect, connect again. audio works.
so i can live with it but this is literally necessary everytime i wanna use my speaker.
Date: Tue Aug 25 06:10:38 PM CEST 2026
Hostname: ro0
Omarchy Package: omarchy 4.0.1-1
=========================================
SYSTEM INFORMATION
=========================================
System:
Kernel: 7.1.9-arch1-2 arch: x86_64 bits: 64 compiler: gcc v: 16.2.1
clocksource: tsc avail: hpet,acpi_pm parameters: resume=/dev/nvme1n1p4
resume_offset=5372767 quiet splash loglevel=0 systemd.show_status=false
rd.udev.log_level=0 vt.global_cursor_default=0
root=PARTUUID=7b91a0be-65fe-478b-bc36-d17fa8a8c289 zswap.enabled=0 rw
rootfstype=btrfs initramfs_async=0
Desktop: Hyprland v: 0.56.2 vt: 1 dm: SDDM Distro: Omarchy
Machine:
Type: Desktop Mobo: ASUSTeK model: ROG STRIX X570-I GAMING v: Rev X.0x
serial: <superuser required> part-nu: SKU uuid: <superuser required>
Firmware: UEFI vendor: American Megatrends v: 5031 date: 01/13/2025
CPU:
Info: model: AMD Ryzen 9 5900X bits: 64 type: MT MCP arch: Zen 3+ gen: 3
level: v3 note: check built: 2022 process: TSMC n6 (7nm) family: 0x19 (25)
model-id: 0x21 (33) stepping: 2 microcode: 0xA201213
Topology: cpus: 1x dies: 1 clusters: 1 cores: 12 threads: 24 tpc: 2
smt: enabled cache: L1: 768 KiB desc: d-12x32 KiB; i-12x32 KiB L2: 6 MiB
desc: 12x512 KiB L3: 64 MiB desc: 2x32 MiB
Speed (MHz): avg: 1731 min/max: 567/4955 boost: enabled scaling:
driver: amd-pstate-epp governor: performance cores: 1: 1731 2: 1731 3: 1731
4: 1731 5: 1731 6: 1731 7: 1731 8: 1731 9: 1731 10: 1731 11: 1731 12: 1731
13: 1731 14: 1731 15: 1731 16: 1731 17: 1731 18: 1731 19: 1731 20: 1731
21: 1731 22: 1731 23: 1731 24: 1731 bogomips: 177257
Flags-basic: avx avx2 ht lm nx pae sse sse2 sse3 sse4_1 sse4_2 sse4a
ssse3 svm
Vulnerabilities:
Type: gather_data_sampling status: Not affected
Type: ghostwrite status: Not affected
Type: indirect_target_selection status: Not affected
Type: itlb_multihit status: Not affected
Type: l1tf status: Not affected
Type: mds status: Not affected
Type: meltdown status: Not affected
Type: mmio_stale_data status: Not affected
Type: old_microcode status: Not affected
Type: reg_file_data_sampling status: Not affected
Type: retbleed status: Not affected
Type: spec_rstack_overflow mitigation: Safe RET
Type: spec_store_bypass mitigation: Speculative Store Bypass disabled via
prctl
Type: spectre_v1 mitigation: usercopy/swapgs barriers and __user pointer
sanitization
Type: spectre_v2 mitigation: Retpolines; IBPB: conditional; IBRS_FW;
STIBP: always-on; RSB filling; PBRSB-eIBRS: Not affected; BHI: Not
affected
Type: srbds status: Not affected
Type: tsa mitigation: Clear CPU buffers
Type: tsx_async_abort status: Not affected
Type: vmscape mitigation: IBPB before exit to userspace
Graphics:
Device-1: NVIDIA GA104 [GeForce RTX 3060 Ti Lite Hash Rate] vendor: Gigabyte
driver: nvidia v: 610.57.04 alternate: nouveau,nvidia_drm
non-free: 550-6xx.xx+ status: current (as of 2026-07) arch: Ampere
code: GAxxx process: TSMC n7 (7nm) built: 2020-2023 pcie: gen: 1
speed: 2.5 GT/s lanes: 16 link-max: gen: 4 speed: 16 GT/s ports:
active: DP-1,DP-2 empty: HDMI-A-1,HDMI-A-2 bus-ID: 0a:00.0
chip-ID: 10de:2489 class-ID: 0300
Display: wayland server: X.org v: 1.21.1.24 with: Xwayland v: 24.1.13
compositor: Hyprland v: 0.56.2 driver:
gpu: nv_platform,nvidia,nvidia-nvswitch display-ID: 1
Monitor-1: DP-1 model: HP X27 serial: <filter> built: 2022 res: 1920x1080
dpi: 82 gamma: 1.2 size: 597x336mm (23.5x13.23") diag: 685mm (27")
ratio: 16:9 modes: max: 1920x1080 min: 640x480
Monitor-2: DP-2 model: HP X27c serial: <filter> built: 2022 res: 1920x1080
dpi: 82 gamma: 1.2 size: 597x336mm (23.5x13.23") diag: 685mm (27")
ratio: 16:9 modes: max: 1920x1080 min: 640x480
API: Vulkan v: 1.4.357 layers: 2 device: 0 type: discrete-gpu name: NVIDIA
GeForce RTX 3060 Ti driver: nvidia v: 610.57.04 device-ID: 10de:2489
surfaces: N/A
API: EGL Message: EGL data requires eglinfo. Check --recommends.
Info: Tools: api: vulkaninfo gpu: nvidia-smi x11: xprop
Audio:
Device-1: NVIDIA GA104 High Definition Audio vendor: Gigabyte
driver: snd_hda_intel v: kernel pcie: gen: 4 speed: 16 GT/s lanes: 16
bus-ID: 0a:00.1 chip-ID: 10de:228b class-ID: 0403
Device-2: Advanced Micro Devices [AMD] Starship/Matisse HD Audio
vendor: ASUSTeK driver: snd_hda_intel v: kernel pcie: gen: 4 speed: 16 GT/s
lanes: 16 bus-ID: 0c:00.4 chip-ID: 1022:1487 class-ID: 0403
Device-3: ATH-M50xSTS-USB driver: hid-generic,snd-usb-audio,usbhid
type: USB rev: 1.1 speed: 12 Mb/s lanes: 1 mode: 1.1 bus-ID: 1-3:2
chip-ID: 0909:005d class-ID: 0300
API: ALSA v: k7.1.9-arch1-2 status: kernel-api
tools: alsactl,alsamixer,amixer
Server-1: sndiod v: N/A status: off tools: aucat,midicat,sndioctl
Server-2: PipeWire v: 1.6.8 status: active with: 1: pipewire-pulse
status: active 2: wireplumber status: active 3: pipewire-alsa type: plugin
4: pw-jack type: plugin tools: pactl,pw-cat,pw-cli,wpctl
Network:
Device-1: Intel Wi-Fi 6 AX200 driver: iwlwifi v: kernel pcie: gen: 2
speed: 5 GT/s lanes: 1 bus-ID: 05:00.0 chip-ID: 8086:2723 class-ID: 0280
IF: wlp5s0 state: up mac: <filter>
Device-2: Intel I211 Gigabit Network vendor: ASUSTeK driver: igb v: kernel
pcie: gen: 1 speed: 2.5 GT/s lanes: 1 port: f000 bus-ID: 06:00.0
chip-ID: 8086:1539 class-ID: 0200
IF: enp6s0 state: down mac: <filter>
Info: services: NetworkManager, nginx, systemd-timesyncd, wpa_supplicant
Bluetooth:
Device-1: N/A driver: btusb v: 0.8 type: USB rev: 2.0 speed: 12 Mb/s
lanes: 1 mode: 1.1 bus-ID: 3-6:3 chip-ID: 8087:0029 class-ID: e001
Report: btmgmt ID: hci0 rfk-id: 0 state: up address: <filter> bt-v: 5.2
lmp-v: 11 status: discoverable: no pairing: no class-ID: 6c0104
Drives:
Local Storage: total: 2.73 TiB used: 192.3 GiB (6.9%)
SMART Message: Required tool smartctl not installed. Check --recommends
ID-1: /dev/nvme0n1 maj-min: 259:1 vendor: Crucial model: CT1000P5PSSD8
size: 931.51 GiB block-size: physical: 512 B logical: 512 B speed: 63.2 Gb/s
lanes: 4 tech: SSD serial: <filter> fw-rev: P7CR402 temp: 45.9 C
scheme: GPT
ID-2: /dev/nvme1n1 maj-min: 259:0 vendor: Crucial model: CT2000P5PSSD8
size: 1.82 TiB block-size: physical: 512 B logical: 512 B speed: 63.2 Gb/s
lanes: 4 tech: SSD serial: <filter> fw-rev: P7CR402 temp: 62.9 C
scheme: GPT
Partition:
ID-1: / raw-size: 477.19 GiB size: 477.19 GiB (100.00%)
used: 192.06 GiB (40.2%) fs: btrfs dev: /dev/nvme1n1p4 maj-min: 259:9
ID-2: /boot raw-size: 512 MiB size: 511 MiB (99.80%)
used: 246.1 MiB (48.2%) fs: vfat dev: /dev/nvme1n1p3 maj-min: 259:8
Swap:
Kernel: swappiness: 150 (default 60) cache-pressure: 50 (default 100)
zswap: no
ID-1: swap-1 type: file size: 31.24 GiB used: 0 KiB (0.0%) priority: 0
file: /swap/swapfile
ID-2: swap-2 type: zram size: 31.24 GiB used: 0 KiB (0.0%) priority: 100
comp: zstd avail: lzo-rle,lzo,lz4,lz4hc,deflate,842 dev: /dev/zram0
Sensors:
System Temperatures: cpu: 58.9 C mobo: 42.5 C
Fan Speeds (rpm): N/A
Repos:
Packages: 1107 pm: pacman pkgs: 1090 libs: 331 tools: yay pm: flatpak
pkgs: 17
Active pacman repo servers in: /etc/pacman.conf
1: https://pkgs.omarchy.org/stable/$arch
Active pacman repo servers in: /etc/pacman.d/mirrorlist
1: https://stable-mirror.omarchy.org/$repo/os/$arch
Info:
Memory: total: 32 GiB available: 31.24 GiB used: 6.09 GiB (19.5%)
Processes: 498 Power: uptime: 31m states: freeze,mem,disk suspend: deep
avail: s2idle wakeups: 0 hibernate: platform avail: shutdown, reboot,
suspend, test_resume image: 12.37 GiB
services: power-profiles-daemon,upowerd Init: systemd v: 261
default: graphical tool: systemctl
Compilers: clang: 22.1.8 gcc: 16.2.1 Shell: omarchy-debug default: Zsh
v: 5.9.2 running-in: omarchy-debug inxi: 3.3.41View raw text
### System details
AMD Ryzden 9 5900X, Nvidia gefore rtx 3060 ti, Omarchy quattro
### What's wrong?
pc is on, i boot my bose soundlink flex ii speaker, it connects automatically via bluetooth.
when i play audio, nothing gets thru.
then i open bluetooth menu on pc, disconnect, connect again. audio works.
so i can live with it but this is literally necessary everytime i wanna use my speaker.
```
Date: Tue Aug 25 06:10:38 PM CEST 2026
Hostname: ro0
Omarchy Package: omarchy 4.0.1-1
=========================================
SYSTEM INFORMATION
=========================================
System:
Kernel: 7.1.9-arch1-2 arch: x86_64 bits: 64 compiler: gcc v: 16.2.1
clocksource: tsc avail: hpet,acpi_pm parameters: resume=/dev/nvme1n1p4
resume_offset=5372767 quiet splash loglevel=0 systemd.show_status=false
rd.udev.log_level=0 vt.global_cursor_default=0
root=PARTUUID=7b91a0be-65fe-478b-bc36-d17fa8a8c289 zswap.enabled=0 rw
rootfstype=btrfs initramfs_async=0
Desktop: Hyprland v: 0.56.2 vt: 1 dm: SDDM Distro: Omarchy
Machine:
Type: Desktop Mobo: ASUSTeK model: ROG STRIX X570-I GAMING v: Rev X.0x
serial: <superuser required> part-nu: SKU uuid: <superuser required>
Firmware: UEFI vendor: American Megatrends v: 5031 date: 01/13/2025
CPU:
Info: model: AMD Ryzen 9 5900X bits: 64 type: MT MCP arch: Zen 3+ gen: 3
level: v3 note: check built: 2022 process: TSMC n6 (7nm) family: 0x19 (25)
model-id: 0x21 (33) stepping: 2 microcode: 0xA201213
Topology: cpus: 1x dies: 1 clusters: 1 cores: 12 threads: 24 tpc: 2
smt: enabled cache: L1: 768 KiB desc: d-12x32 KiB; i-12x32 KiB L2: 6 MiB
desc: 12x512 KiB L3: 64 MiB desc: 2x32 MiB
Speed (MHz): avg: 1731 min/max: 567/4955 boost: enabled scaling:
driver: amd-pstate-epp governor: performance cores: 1: 1731 2: 1731 3: 1731
4: 1731 5: 1731 6: 1731 7: 1731 8: 1731 9: 1731 10: 1731 11: 1731 12: 1731
13: 1731 14: 1731 15: 1731 16: 1731 17: 1731 18: 1731 19: 1731 20: 1731
21: 1731 22: 1731 23: 1731 24: 1731 bogomips: 177257
Flags-basic: avx avx2 ht lm nx pae sse sse2 sse3 sse4_1 sse4_2 sse4a
ssse3 svm
Vulnerabilities:
Type: gather_data_sampling status: Not affected
Type: ghostwrite status: Not affected
Type: indirect_target_selection status: Not affected
Type: itlb_multihit status: Not affected
Type: l1tf status: Not affected
Type: mds status: Not affected
Type: meltdown status: Not affected
Type: mmio_stale_data status: Not affected
Type: old_microcode status: Not affected
Type: reg_file_data_sampling status: Not affected
Type: retbleed status: Not affected
Type: spec_rstack_overflow mitigation: Safe RET
Type: spec_store_bypass mitigation: Speculative Store Bypass disabled via
prctl
Type: spectre_v1 mitigation: usercopy/swapgs barriers and __user pointer
sanitization
Type: spectre_v2 mitigation: Retpolines; IBPB: conditional; IBRS_FW;
STIBP: always-on; RSB filling; PBRSB-eIBRS: Not affected; BHI: Not
affected
Type: srbds status: Not affected
Type: tsa mitigation: Clear CPU buffers
Type: tsx_async_abort status: Not affected
Type: vmscape mitigation: IBPB before exit to userspace
Graphics:
Device-1: NVIDIA GA104 [GeForce RTX 3060 Ti Lite Hash Rate] vendor: Gigabyte
driver: nvidia v: 610.57.04 alternate: nouveau,nvidia_drm
non-free: 550-6xx.xx+ status: current (as of 2026-07) arch: Ampere
code: GAxxx process: TSMC n7 (7nm) built: 2020-2023 pcie: gen: 1
speed: 2.5 GT/s lanes: 16 link-max: gen: 4 speed: 16 GT/s ports:
active: DP-1,DP-2 empty: HDMI-A-1,HDMI-A-2 bus-ID: 0a:00.0
chip-ID: 10de:2489 class-ID: 0300
Display: wayland server: X.org v: 1.21.1.24 with: Xwayland v: 24.1.13
compositor: Hyprland v: 0.56.2 driver:
gpu: nv_platform,nvidia,nvidia-nvswitch display-ID: 1
Monitor-1: DP-1 model: HP X27 serial: <filter> built: 2022 res: 1920x1080
dpi: 82 gamma: 1.2 size: 597x336mm (23.5x13.23") diag: 685mm (27")
ratio: 16:9 modes: max: 1920x1080 min: 640x480
Monitor-2: DP-2 model: HP X27c serial: <filter> built: 2022 res: 1920x1080
dpi: 82 gamma: 1.2 size: 597x336mm (23.5x13.23") diag: 685mm (27")
ratio: 16:9 modes: max: 1920x1080 min: 640x480
API: Vulkan v: 1.4.357 layers: 2 device: 0 type: discrete-gpu name: NVIDIA
GeForce RTX 3060 Ti driver: nvidia v: 610.57.04 device-ID: 10de:2489
surfaces: N/A
API: EGL Message: EGL data requires eglinfo. Check --recommends.
Info: Tools: api: vulkaninfo gpu: nvidia-smi x11: xprop
Audio:
Device-1: NVIDIA GA104 High Definition Audio vendor: Gigabyte
driver: snd_hda_intel v: kernel pcie: gen: 4 speed: 16 GT/s lanes: 16
bus-ID: 0a:00.1 chip-ID: 10de:228b class-ID: 0403
Device-2: Advanced Micro Devices [AMD] Starship/Matisse HD Audio
vendor: ASUSTeK driver: snd_hda_intel v: kernel pcie: gen: 4 speed: 16 GT/s
lanes: 16 bus-ID: 0c:00.4 chip-ID: 1022:1487 class-ID: 0403
Device-3: ATH-M50xSTS-USB driver: hid-generic,snd-usb-audio,usbhid
type: USB rev: 1.1 speed: 12 Mb/s lanes: 1 mode: 1.1 bus-ID: 1-3:2
chip-ID: 0909:005d class-ID: 0300
API: ALSA v: k7.1.9-arch1-2 status: kernel-api
tools: alsactl,alsamixer,amixer
Server-1: sndiod v: N/A status: off tools: aucat,midicat,sndioctl
Server-2: PipeWire v: 1.6.8 status: active with: 1: pipewire-pulse
status: active 2: wireplumber status: active 3: pipewire-alsa type: plugin
4: pw-jack type: plugin tools: pactl,pw-cat,pw-cli,wpctl
Network:
Device-1: Intel Wi-Fi 6 AX200 driver: iwlwifi v: kernel pcie: gen: 2
speed: 5 GT/s lanes: 1 bus-ID: 05:00.0 chip-ID: 8086:2723 class-ID: 0280
IF: wlp5s0 state: up mac: <filter>
Device-2: Intel I211 Gigabit Network vendor: ASUSTeK driver: igb v: kernel
pcie: gen: 1 speed: 2.5 GT/s lanes: 1 port: f000 bus-ID: 06:00.0
chip-ID: 8086:1539 class-ID: 0200
IF: enp6s0 state: down mac: <filter>
Info: services: NetworkManager, nginx, systemd-timesyncd, wpa_supplicant
Bluetooth:
Device-1: N/A driver: btusb v: 0.8 type: USB rev: 2.0 speed: 12 Mb/s
lanes: 1 mode: 1.1 bus-ID: 3-6:3 chip-ID: 8087:0029 class-ID: e001
Report: btmgmt ID: hci0 rfk-id: 0 state: up address: <filter> bt-v: 5.2
lmp-v: 11 status: discoverable: no pairing: no class-ID: 6c0104
Drives:
Local Storage: total: 2.73 TiB used: 192.3 GiB (6.9%)
SMART Message: Required tool smartctl not installed. Check --recommends
ID-1: /dev/nvme0n1 maj-min: 259:1 vendor: Crucial model: CT1000P5PSSD8
size: 931.51 GiB block-size: physical: 512 B logical: 512 B speed: 63.2 Gb/s
lanes: 4 tech: SSD serial: <filter> fw-rev: P7CR402 temp: 45.9 C
scheme: GPT
ID-2: /dev/nvme1n1 maj-min: 259:0 vendor: Crucial model: CT2000P5PSSD8
size: 1.82 TiB block-size: physical: 512 B logical: 512 B speed: 63.2 Gb/s
lanes: 4 tech: SSD serial: <filter> fw-rev: P7CR402 temp: 62.9 C
scheme: GPT
Partition:
ID-1: / raw-size: 477.19 GiB size: 477.19 GiB (100.00%)
used: 192.06 GiB (40.2%) fs: btrfs dev: /dev/nvme1n1p4 maj-min: 259:9
ID-2: /boot raw-size: 512 MiB size: 511 MiB (99.80%)
used: 246.1 MiB (48.2%) fs: vfat dev: /dev/nvme1n1p3 maj-min: 259:8
Swap:
Kernel: swappiness: 150 (default 60) cache-pressure: 50 (default 100)
zswap: no
ID-1: swap-1 type: file size: 31.24 GiB used: 0 KiB (0.0%) priority: 0
file: /swap/swapfile
ID-2: swap-2 type: zram size: 31.24 GiB used: 0 KiB (0.0%) priority: 100
comp: zstd avail: lzo-rle,lzo,lz4,lz4hc,deflate,842 dev: /dev/zram0
Sensors:
System Temperatures: cpu: 58.9 C mobo: 42.5 C
Fan Speeds (rpm): N/A
Repos:
Packages: 1107 pm: pacman pkgs: 1090 libs: 331 tools: yay pm: flatpak
pkgs: 17
Active pacman repo servers in: /etc/pacman.conf
1: https://pkgs.omarchy.org/stable/$arch
Active pacman repo servers in: /etc/pacman.d/mirrorlist
1: https://stable-mirror.omarchy.org/$repo/os/$arch
Info:
Memory: total: 32 GiB available: 31.24 GiB used: 6.09 GiB (19.5%)
Processes: 498 Power: uptime: 31m states: freeze,mem,disk suspend: deep
avail: s2idle wakeups: 0 hibernate: platform avail: shutdown, reboot,
suspend, test_resume image: 12.37 GiB
services: power-profiles-daemon,upowerd Init: systemd v: 261
default: graphical tool: systemctl
Compilers: clang: 22.1.8 gcc: 16.2.1 Shell: omarchy-debug default: Zsh
v: 5.9.2 running-in: omarchy-debug inxi: 3.3.41
```Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
- Out of scopeDecided by agents · verified · 2026-10-09 09:03 UTC