topology2: ipc3: fix Yoga Book stereo slot masks

SOF IPC3 derives the DAI channel count from the population count of the
active TDM slot mask. The original topology enabled all four frame slots
with mask 0xf while exposing two-channel PCM streams, so
STREAM_PCM_PARAMS failed with -EINVAL.

Keep the required four-slot, 25-bit frame geometry but activate only the
two stereo slots with mask 0x3. Use the defined default_hw_config_id
attribute and add a general topology artifact verifier. The verifier
checks PCM and backend-link properties and accepts command-line overrides
for use with other configurations.

Tested on a Lenovo Yoga Book YB1-X91L with PCM0 playback and capture in
S16_LE, S24_LE and S32_LE at 48 kHz stereo, plus PCM1 deep-buffer
playback.

Signed-off-by: Maurizio Casciano <mauriziocasciano7@gmail.com>

Author: MaurizioCasciano

tools/topology/topology2/README.md

@@ -416,11 +416,20 @@ The Yoga Book topology can be built directly with:
 
 ```bash
 cmake --build . --target topology2_prod_ipc3_sof-cht-rt5677
+python3 ../tools/topology/topology2/verify-topology.py \
+    topology/topology2/production/ipc3/sof-cht-rt5677.tplg
 ```
 
 `sof-cht-rt5677.tplg` configures SSP2 for DSP_B with an inverted bit clock and
 non-inverted frame clock, 48 kHz stereo S24_LE, four 25-bit TDM slots, a
-4.8 MHz bit clock, and a 19.2 MHz codec MCLK. These values must stay aligned
-with the Linux `cht-yogabook` machine driver.
+4.8 MHz bit clock, and a 19.2 MHz codec MCLK. The Linux `cht_rt5677` machine
+driver configures the same frame and activates slots 0 and 1 with mask `0x3`.
+IPC3 derives the DAI channel count from the population count of this mask, so
+using `0xf` would incorrectly advertise four channels for the stereo stream.
+The verifier parses the compiled artifact and rejects changes to the SSP link
+or the PCM0/PCM1 stereo contract. Its Yoga Book values are defaults;
+command-line options can override the PCM, clock, format, frame, slot-mask, and
+sample-width expectations for other topologies. Run `verify-topology.py --help`
+for the complete interface.
 
 Development and testing topologies go in `development/tplg-targets.cmake`.

tools/topology/topology2/cht-rt5677.conf

@@ -16,6 +16,7 @@
 <pcm_caps.conf>
 <fe_dai.conf>
 <route.conf>
+<common_definitions.conf>
 <virtual.conf>
 <ipc3/volume-playback.conf>
 <ipc3/mixer-volume-dai-playback.conf>
@@ -47,7 +48,7 @@ Object.Dai.SSP [
 		dai_index		2
 		direction		"duplex"
 		name			"SSP2-Codec"
-		default_hw_conf_id	0
+		default_hw_config_id	0
 		sample_bits		24
 
 		Object.Base.hw_config.1 {
@@ -66,8 +67,10 @@ Object.Dai.SSP [
 			fsync_invert	"false"
 			tdm_slots	4
 			tdm_slot_width	25
-			tx_slots	15
-			rx_slots	15
+			# The frame has four slots, but the stereo stream uses slots 0 and 1.
+			# IPC3 derives the DAI channel count from these active-slot masks.
+			tx_slots	3
+			rx_slots	3
 		}
 	}
 ]