No output input/devices since full system upgrade

[erw1]

And therefore no playback either, whether on VLC or Parole, or embedded videos on social networks. What’s a starting point to troubleshoot this?

$ grep "starting full system upgrade" /var/log/pacman.log | grep 2023-10-25
[2023-10-25T00:00:00-0400] [PACMAN] starting full system upgrade
$ uname -a
Linux elitebook 6.4.4-arch1-1 #1 SMP PREEMPT_DYNAMIC Wed, 19 Jul 2023 19:19:38 +0000 x86_64 GNU/Linux
$ lsmod | grep snd
snd_seq_dummy          12288  0
snd_hrtimer            12288  1
snd_seq               106496  7 snd_seq_dummy
snd_seq_device         16384  1 snd_seq
snd_hda_codec_hdmi     94208  1
snd_ctl_led            24576  0
snd_hda_codec_idt      77824  1
snd_hda_codec_generic   110592  1 snd_hda_codec_idt
ledtrig_audio          12288  2 snd_ctl_led,snd_hda_codec_generic
snd_hda_intel          61440  1
snd_intel_dspcfg       32768  1 snd_hda_intel
snd_intel_sdw_acpi     16384  1 snd_intel_dspcfg
snd_hda_codec         212992  4 snd_hda_codec_generic,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec_idt
snd_hda_core          139264  5 snd_hda_codec_generic,snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec,snd_hda_codec_idt
snd_hwdep              20480  1 snd_hda_codec
snd_pcm               196608  4 snd_hda_codec_hdmi,snd_hda_intel,snd_hda_codec,snd_hda_core
snd_timer              53248  3 snd_seq,snd_hrtimer,snd_pcm
snd                   147456  15 snd_ctl_led,snd_hda_codec_generic,snd_seq,snd_seq_device,snd_hda_codec_hdmi,snd_hwdep,snd_hda_intel,snd_hda_codec,snd_timer,snd_pcm,snd_hda_codec_idt
soundcore              16384  2 snd_ctl_led,snd

[erw1]

Feeling my way along I found that pulseaudio could be relevant, but was not installed and would conflict with pipewire-pulse. And then I tried this and I realized (which is not to say it was triggered by it) that things work.

$ systemctl --user --now stop pipewire-pulse
$ systemctl --user --now start pipewire-pulse