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-5267GitHub issuePublicDecided· Out of scope
No audio on Intel Arrow Lake - only Dummy Output
Reported by jeffsauer · filed Oct 9, 2026 · open at source
Decided: Out of scope — decided by agents · verified 2 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
No audio on Intel Arrow Lake - only Dummy Outputrevision 1 · captured 2026-10-09 13:40 UTC via poll
System details
MSI Raider 16 Max HX B2WJ, Intel Core Ultra 9 290HX Plus, GeForce RTX 5090 Max-Q mobile
What's wrong?
No internal audio with internal speakers and 3.5 mm headset jack doesn't recognize anything when something is plugged in.
output from aplay -l
aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: NVidia [HDA NVidia], device 3: HDMI 0 [HDMI 0]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 7: HDMI 1 [HDMI 1]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 8: HDMI 2 [HDMI 2]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 9: HDMI 3 [HDMI 3]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 3: HDMI1 (*) [HDMI 1]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 4: HDMI2 (*) [HDMI 2]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 5: HDMI3 (*) [HDMI 3]
Subdevices: 1/1
Subdevice #0: subdevice #9281 output from wpctl status
wpctl status
PipeWire 'pipewire-0' [1.6.9, jsauer@dragon, cookie:2449062894]
└─ Clients:
32. WirePlumber [1.6.9, jsauer@dragon, pid:1447]
33. pipewire [1.6.9, jsauer@dragon, pid:1448]
47. WirePlumber [client] [1.6.9, jsauer@dragon, pid:1447]
64. quickshell [1.6.9, jsauer@dragon, pid:1706]
65. OpenPods [1.6.9, jsauer@dragon, pid:2299]
66. xdg-desktop-portal [1.6.9, jsauer@dragon, pid:2338]
67. xdg-desktop-portal-hyprland [1.6.9, jsauer@dragon, pid:3072]
70. Firefox [1.6.9, jsauer@dragon, pid:4909]
74. wpctl [1.6.9, jsauer@dragon, pid:14301]
Audio
├─ Devices:
│ 48. GB203 High Definition Audio Controller [alsa]
│ 49. 800 Series Chipset Family Audio Context Engine (ACE) [alsa]
│
├─ Sinks:
│ * 34. Dummy Output [vol: 1.00]
│
├─ Sources:
│
├─ Filters:
│
└─ Streams:
68. Firefox
71. output_FL > Dummy Output:playback_FL [active]
73. output_FR > Dummy Output:playback_FR [active]
Video
├─ Devices:
│ 53. FHD Webcam [v4l2]
│ 57. FHD Webcam [v4l2]
│ 58. FHD Webcam [v4l2]
│ 59. FHD Webcam [v4l2]
│
├─ Sinks:
│
├─ Sources:
│ * 60. FHD Webcam (V4L2)
│ 62. FHD Webcam (V4L2)
│
├─ Filters:
│
└─ Streams:
Settings
└─ Default Configured Devices:
0. Audio/Sink bluez_output.F9_DD_EE_1B_15_3B.1output from journalctl -b -k | grep -iE 'sof|snd|hda'
Oct 09 06:18:12 dragon kernel: software IO TLB: area num 32.
Oct 09 06:18:12 dragon kernel: pci 0000:01:00.0: Enabling HDA controller
Oct 09 06:18:12 dragon kernel: PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
Oct 09 06:18:12 dragon kernel: software IO TLB: mapped [mem 0x000000004677f000-0x000000004a77f000] (64MB)
Oct 09 06:18:12 dragon kernel: integrity: Loaded X.509 cert 'Microsoft Windows Production PCA 2011: a92902398e16c49778cd90f99e4f9ae17c55af53'
Oct 09 06:18:12 dragon kernel: integrity: Loaded X.509 cert 'Microsoft Corporation: Windows UEFI CA 2023: aefc5fbbbe055d8f8daa585473499417ab5a5272'
Oct 09 06:18:12 dragon kernel: pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]>
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: enabling device (0000 -> 0002)
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: Disabling MSI
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: Handle vga_switcheroo audio client
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:80:1f.3: SoundWire enabled on CannonLake+ platform, using SOF driver
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=3 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input16
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=7 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input17
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=8 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input18
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=9 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input19
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: enabling device (0000 -> 0002)
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: DSP detected with PCI class/subclass/prog-if 0x040100
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: bound 0000:00:02.0 (ops intel_audio_component_bind_ops [i915])
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: use msi interrupt mode
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: No SoundWire machine driver found for the ACPI-reported configuration:
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 0 mfg_id 0x025d part_id 0x0713 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 2 mfg_id 0x025d part_id 0x1320 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 2 mfg_id 0x025d part_id 0x1320 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: hda codecs found, mask 4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: using HDA machine driver skl_hda_dsp_generic now
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: NHLT device BT(0) detected, ssp_mask 0x4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: BT link detected in NHLT tables: 0x4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: DMICs detected in NHLT tables: 0
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware paths/files for ipc type 1:
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware file: intel/sof-ipc4/arl-s/sof-arl-s.ri
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware lib path: intel/sof-ipc4-lib/arl-s
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Topology file: intel/sof-ipc4-tplg/sof-hda-generic-idisp.tplg
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Loaded firmware library: ADSPFW, version: 2.15.0.1
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Booted firmware version: 2.15.0.1
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: loading topology: intel/sof-ipc4-tplg/sof-hda-generic-idisp.tplg
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Topology: ABI 3:29:1 Kernel ABI 3:23:1
Oct 09 06:18:12 dragon kernel: skl_hda_dsp_generic skl_hda_dsp_generic: ASoC: Parent card not yet available, widget card binding deferred
Oct 09 06:18:12 dragon kernel: skl_hda_dsp_generic skl_hda_dsp_generic: hda_dsp_hdmi_build_controls: no PCM in topology for HDMI converter 3
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=3 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input24
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=4 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input25
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=5 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input26View raw text
### System details
MSI Raider 16 Max HX B2WJ, Intel Core Ultra 9 290HX Plus, GeForce RTX 5090 Max-Q mobile
### What's wrong?
No internal audio with internal speakers and 3.5 mm headset jack doesn't recognize anything when something is plugged in.
output from aplay -l
```
aplay -l
**** List of PLAYBACK Hardware Devices ****
card 0: NVidia [HDA NVidia], device 3: HDMI 0 [HDMI 0]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 7: HDMI 1 [HDMI 1]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 8: HDMI 2 [HDMI 2]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 0: NVidia [HDA NVidia], device 9: HDMI 3 [HDMI 3]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 3: HDMI1 (*) [HDMI 1]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 4: HDMI2 (*) [HDMI 2]
Subdevices: 1/1
Subdevice #0: subdevice #0
card 1: sofhdadsp [sof-hda-dsp], device 5: HDMI3 (*) [HDMI 3]
Subdevices: 1/1
Subdevice #0: subdevice #9281
```
output from wpctl status
```
wpctl status
PipeWire 'pipewire-0' [1.6.9, jsauer@dragon, cookie:2449062894]
└─ Clients:
32. WirePlumber [1.6.9, jsauer@dragon, pid:1447]
33. pipewire [1.6.9, jsauer@dragon, pid:1448]
47. WirePlumber [client] [1.6.9, jsauer@dragon, pid:1447]
64. quickshell [1.6.9, jsauer@dragon, pid:1706]
65. OpenPods [1.6.9, jsauer@dragon, pid:2299]
66. xdg-desktop-portal [1.6.9, jsauer@dragon, pid:2338]
67. xdg-desktop-portal-hyprland [1.6.9, jsauer@dragon, pid:3072]
70. Firefox [1.6.9, jsauer@dragon, pid:4909]
74. wpctl [1.6.9, jsauer@dragon, pid:14301]
Audio
├─ Devices:
│ 48. GB203 High Definition Audio Controller [alsa]
│ 49. 800 Series Chipset Family Audio Context Engine (ACE) [alsa]
│
├─ Sinks:
│ * 34. Dummy Output [vol: 1.00]
│
├─ Sources:
│
├─ Filters:
│
└─ Streams:
68. Firefox
71. output_FL > Dummy Output:playback_FL [active]
73. output_FR > Dummy Output:playback_FR [active]
Video
├─ Devices:
│ 53. FHD Webcam [v4l2]
│ 57. FHD Webcam [v4l2]
│ 58. FHD Webcam [v4l2]
│ 59. FHD Webcam [v4l2]
│
├─ Sinks:
│
├─ Sources:
│ * 60. FHD Webcam (V4L2)
│ 62. FHD Webcam (V4L2)
│
├─ Filters:
│
└─ Streams:
Settings
└─ Default Configured Devices:
0. Audio/Sink bluez_output.F9_DD_EE_1B_15_3B.1
```
output from journalctl -b -k | grep -iE 'sof|snd|hda'
```
Oct 09 06:18:12 dragon kernel: software IO TLB: area num 32.
Oct 09 06:18:12 dragon kernel: pci 0000:01:00.0: Enabling HDA controller
Oct 09 06:18:12 dragon kernel: PCI-DMA: Using software bounce buffering for IO (SWIOTLB)
Oct 09 06:18:12 dragon kernel: software IO TLB: mapped [mem 0x000000004677f000-0x000000004a77f000] (64MB)
Oct 09 06:18:12 dragon kernel: integrity: Loaded X.509 cert 'Microsoft Windows Production PCA 2011: a92902398e16c49778cd90f99e4f9ae17c55af53'
Oct 09 06:18:12 dragon kernel: integrity: Loaded X.509 cert 'Microsoft Corporation: Windows UEFI CA 2023: aefc5fbbbe055d8f8daa585473499417ab5a5272'
Oct 09 06:18:12 dragon kernel: pps_core: Software ver. 5.3.6 - Copyright 2005-2007 Rodolfo Giometti <[email protected]>
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: enabling device (0000 -> 0002)
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: Disabling MSI
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:01:00.1: Handle vga_switcheroo audio client
Oct 09 06:18:12 dragon kernel: snd_hda_intel 0000:80:1f.3: SoundWire enabled on CannonLake+ platform, using SOF driver
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=3 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input16
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=7 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input17
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=8 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input18
Oct 09 06:18:12 dragon kernel: input: HDA NVidia HDMI/DP,pcm=9 as /devices/pci0000:00/0000:00:06.0/0000:01:00.1/sound/card0/input19
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: enabling device (0000 -> 0002)
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: DSP detected with PCI class/subclass/prog-if 0x040100
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: bound 0000:00:02.0 (ops intel_audio_component_bind_ops [i915])
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: use msi interrupt mode
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: No SoundWire machine driver found for the ACPI-reported configuration:
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 0 mfg_id 0x025d part_id 0x0713 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 2 mfg_id 0x025d part_id 0x1320 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: link 2 mfg_id 0x025d part_id 0x1320 version 0x3
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: hda codecs found, mask 4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: using HDA machine driver skl_hda_dsp_generic now
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: NHLT device BT(0) detected, ssp_mask 0x4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: BT link detected in NHLT tables: 0x4
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: DMICs detected in NHLT tables: 0
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware paths/files for ipc type 1:
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware file: intel/sof-ipc4/arl-s/sof-arl-s.ri
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Firmware lib path: intel/sof-ipc4-lib/arl-s
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Topology file: intel/sof-ipc4-tplg/sof-hda-generic-idisp.tplg
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Loaded firmware library: ADSPFW, version: 2.15.0.1
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Booted firmware version: 2.15.0.1
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: loading topology: intel/sof-ipc4-tplg/sof-hda-generic-idisp.tplg
Oct 09 06:18:12 dragon kernel: sof-audio-pci-intel-mtl 0000:80:1f.3: Topology: ABI 3:29:1 Kernel ABI 3:23:1
Oct 09 06:18:12 dragon kernel: skl_hda_dsp_generic skl_hda_dsp_generic: ASoC: Parent card not yet available, widget card binding deferred
Oct 09 06:18:12 dragon kernel: skl_hda_dsp_generic skl_hda_dsp_generic: hda_dsp_hdmi_build_controls: no PCM in topology for HDMI converter 3
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=3 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input24
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=4 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input25
Oct 09 06:18:12 dragon kernel: input: sof-hda-dsp HDMI/DP,pcm=5 as /devices/pci0000:80/0000:80:1f.3/skl_hda_dsp_generic/sound/card1/input26
```
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 23:47 UTC