Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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
ReportR-3032GitHub issuePublicReceived

Spotify audio hanging after one song with HDMI output over USB-C

Reported by jamesmcm · filed Sep 26, 2025Closed upstream on 2026-02-21 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

Open at source
Received and recorded verbatim. Nothing has been checked yet.

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?
Not yet mapped to any requirement or component.
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?
Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.

Original report

Spotify audio hanging after one song with HDMI output over USB-Crevision 1 · captured 2026-10-04 11:35 UTC via poll

System details

Omarchy 3.0, DELL U3818DW monitor with built-in USBC and speakers, Meteor Lake-P HD Audio Controller from Intel(R) Core(TM) Ultra 7 165H - Lenovo Thinkpad G7 P1 (16", Intel, 64GB RAM, Nvidia RTX 2000 model)

What's wrong?

This seems to be happening specifically with audio over HDMI via USB-C (to a Dell monitor).

Sound card details:

Card #49
	Name: alsa_card.pci-0000_00_1f.3-platform-skl_hda_dsp_generic
	Driver: alsa
	Owner Module: n/a
	Properties:
		api.acp.auto-port = "false"
		api.acp.auto-profile = "false"
		api.alsa.card = "2"
		api.alsa.card.longname = "LENOVO-21KWS99S0S-ThinkPadP1Gen7"
		api.alsa.card.name = "sof-hda-dsp"
		api.alsa.path = "hw:2"
		api.alsa.split-enable = "true"
		api.alsa.use-acp = "true"
		api.dbus.ReserveDevice1 = "Audio2"
		api.dbus.ReserveDevice1.Priority = "-20"
		device.api = "alsa"
		device.bus = "pci"
		device.bus_path = "pci-0000:00:1f.3-platform-skl_hda_dsp_generic"
		device.description = "Meteor Lake-P HD Audio Controller"
		device.enum.api = "udev"
		device.icon_name = "audio-card-analog-pci"
		device.name = "alsa_card.pci-0000_00_1f.3-platform-skl_hda_dsp_generic"
		device.nick = "sof-hda-dsp"
		device.plugged.usec = "38344255"
		device.product.id = "0x7e28"
		device.product.name = "Meteor Lake-P HD Audio Controller"
		device.subsystem = "sound"
		sysfs.path = "/devices/pci0000:00/0000:00:1f.3/skl_hda_dsp_generic/sound/card2"
		device.vendor.id = "0x8086"
		device.vendor.name = "Intel Corporation"
		media.class = "Audio/Device"
		spa.object.id = "6"
		factory.id = "15"
		client.id = "42"
		object.id = "49"
		object.serial = "49"
		object.path = "alsa:acp:sofhdadsp"
		alsa.card = "2"
		alsa.card_name = "sof-hda-dsp"
		alsa.long_card_name = "LENOVO-21KWS99S0S-ThinkPadP1Gen7"
		alsa.driver_name = "snd_soc_skl_hda_dsp"
		alsa.mixer_name = "Realtek ALC287"
		alsa.components = "HDA:8086281d,80860101,00100000 HDA:10ec0287,17aa2234,00100002 cfg-dmics:2 iec61937-pcm:5,4,3"
		alsa.id = "sofhdadsp"
		device.string = "2"
	Profiles:
		off: Off (sinks: 0, sources: 0, priority: 0, available: yes)
		HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2): Play HiFi quality Music (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2) (sinks: 4, sources: 2, priority: 10300, available: yes)
		HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker): Play HiFi quality Music (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker) (sinks: 4, sources: 2, priority: 10200, available: yes)
		pro-audio: Pro Audio (sinks: 5, sources: 2, priority: 1, available: yes)
	Active Profile: HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
	Ports:
		[Out] HDMI3: HDMI / DisplayPort 3 Output (type: HDMI, priority: 700, latency offset: 0 usec, availability group: HDMI/DP,pcm=5, not available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=5"
				device.icon_name = "video-display"
				card.profile.port = "0"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] HDMI2: HDMI / DisplayPort 2 Output (type: HDMI, priority: 600, latency offset: 0 usec, availability group: HDMI/DP,pcm=4, not available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=4"
				device.icon_name = "video-display"
				card.profile.port = "1"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] HDMI1: HDMI / DisplayPort 1 Output (type: HDMI, priority: 500, latency offset: 0 usec, availability group: HDMI/DP,pcm=3, available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=3"
				device.icon_name = "video-display"
				card.profile.port = "2"
				device.product.name = "DELL U3818DW"
				iec958.codecs.detected = "[\"PCM\"]"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] Speaker: Speaker (type: Speaker, priority: 100, latency offset: 0 usec, availability unknown)
			Properties:
				port.type = "speaker"
				device.icon_name = "audio-speakers"
				card.profile.port = "3"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker)

I was able to "fix" this by instead launching Spotify with:

bindd = SUPER, M, Music, exec, spotify --audio-api=pulseaudio

That seems to work fine, but I wanted to log this issue in case anyone else hits the same problem.

View raw text
### System details

Omarchy 3.0, DELL U3818DW monitor with built-in USBC and speakers, Meteor Lake-P HD Audio Controller from Intel(R) Core(TM) Ultra 7 165H - Lenovo Thinkpad G7 P1 (16", Intel, 64GB RAM, Nvidia RTX 2000 model)

### What's wrong?

This seems to be happening specifically with audio over HDMI via USB-C (to a Dell monitor).

Sound card details:
```
Card #49
	Name: alsa_card.pci-0000_00_1f.3-platform-skl_hda_dsp_generic
	Driver: alsa
	Owner Module: n/a
	Properties:
		api.acp.auto-port = "false"
		api.acp.auto-profile = "false"
		api.alsa.card = "2"
		api.alsa.card.longname = "LENOVO-21KWS99S0S-ThinkPadP1Gen7"
		api.alsa.card.name = "sof-hda-dsp"
		api.alsa.path = "hw:2"
		api.alsa.split-enable = "true"
		api.alsa.use-acp = "true"
		api.dbus.ReserveDevice1 = "Audio2"
		api.dbus.ReserveDevice1.Priority = "-20"
		device.api = "alsa"
		device.bus = "pci"
		device.bus_path = "pci-0000:00:1f.3-platform-skl_hda_dsp_generic"
		device.description = "Meteor Lake-P HD Audio Controller"
		device.enum.api = "udev"
		device.icon_name = "audio-card-analog-pci"
		device.name = "alsa_card.pci-0000_00_1f.3-platform-skl_hda_dsp_generic"
		device.nick = "sof-hda-dsp"
		device.plugged.usec = "38344255"
		device.product.id = "0x7e28"
		device.product.name = "Meteor Lake-P HD Audio Controller"
		device.subsystem = "sound"
		sysfs.path = "/devices/pci0000:00/0000:00:1f.3/skl_hda_dsp_generic/sound/card2"
		device.vendor.id = "0x8086"
		device.vendor.name = "Intel Corporation"
		media.class = "Audio/Device"
		spa.object.id = "6"
		factory.id = "15"
		client.id = "42"
		object.id = "49"
		object.serial = "49"
		object.path = "alsa:acp:sofhdadsp"
		alsa.card = "2"
		alsa.card_name = "sof-hda-dsp"
		alsa.long_card_name = "LENOVO-21KWS99S0S-ThinkPadP1Gen7"
		alsa.driver_name = "snd_soc_skl_hda_dsp"
		alsa.mixer_name = "Realtek ALC287"
		alsa.components = "HDA:8086281d,80860101,00100000 HDA:10ec0287,17aa2234,00100002 cfg-dmics:2 iec61937-pcm:5,4,3"
		alsa.id = "sofhdadsp"
		device.string = "2"
	Profiles:
		off: Off (sinks: 0, sources: 0, priority: 0, available: yes)
		HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2): Play HiFi quality Music (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2) (sinks: 4, sources: 2, priority: 10300, available: yes)
		HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker): Play HiFi quality Music (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker) (sinks: 4, sources: 2, priority: 10200, available: yes)
		pro-audio: Pro Audio (sinks: 5, sources: 2, priority: 1, available: yes)
	Active Profile: HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
	Ports:
		[Out] HDMI3: HDMI / DisplayPort 3 Output (type: HDMI, priority: 700, latency offset: 0 usec, availability group: HDMI/DP,pcm=5, not available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=5"
				device.icon_name = "video-display"
				card.profile.port = "0"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] HDMI2: HDMI / DisplayPort 2 Output (type: HDMI, priority: 600, latency offset: 0 usec, availability group: HDMI/DP,pcm=4, not available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=4"
				device.icon_name = "video-display"
				card.profile.port = "1"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] HDMI1: HDMI / DisplayPort 1 Output (type: HDMI, priority: 500, latency offset: 0 usec, availability group: HDMI/DP,pcm=3, available)
			Properties:
				port.type = "hdmi"
				port.availability-group = "HDMI/DP,pcm=3"
				device.icon_name = "video-display"
				card.profile.port = "2"
				device.product.name = "DELL U3818DW"
				iec958.codecs.detected = "[\"PCM\"]"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker), HiFi (HDMI1, HDMI2, HDMI3, Headphones, Mic1, Mic2)
		[Out] Speaker: Speaker (type: Speaker, priority: 100, latency offset: 0 usec, availability unknown)
			Properties:
				port.type = "speaker"
				device.icon_name = "audio-speakers"
				card.profile.port = "3"
			Part of profile(s): HiFi (HDMI1, HDMI2, HDMI3, Mic1, Mic2, Speaker)
```

I was able to "fix" this by instead launching Spotify with:
```
bindd = SUPER, M, Music, exec, spotify --audio-api=pulseaudio
```

That seems to work fine, but I wanted to log this issue in case anyone else hits the same problem.

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.

No decision has been recorded yet.