Case

aiosendspin -> aiosendspin

Start the server first, then the client. The client connects, advertises PCM then FLAC, and the server starts streaming the higher-priority PCM format. The client then sends a client/state whose player format prefers the FLAC entry. The matrix verifies the server received that preference in client/state and the client observed a new stream/start in the FLAC format.

Server

aiosendspin

Client

aiosendspin

Status

Passed

Renegotiated pcm/8000Hz/16bit/1ch -> flac/8000Hz/16bit/1ch

Server activation

Initial server/activate

What the aiosendspin server's own adapter recorded for its first server/activate on this connection, reported as sent. The case fails when none was sent, when its activities are not unique values from playback and pairing, or when it omits active_roles. Nothing else in it is checked against the specification: which activities and roles the matched PSK allows is not judged. A recording that cannot be read as that message is shown whole and not judged either.

activitiesempty list
active_rolesplayer@v1

Server group state

Every group/update after activation

What the aiosendspin server's own adapter recorded for each group/update it sent after its first server/activate on this connection, in order and reported as sent. The case fails when none followed, or when in any of them playback_state is not playing or stopped, or group_id or group_name is missing or not a string. How soon the first followed is not judged, because the specification says promptly and gives no bound, so one sent at any point in the case counts. Whether a change to a field produced a further message is not judged either. A recording of anything other than that message is shown whole and fails the case as a harness gap.

1 of 3

playback_state"stopped"
group_id"94d60081-189d-4697-b632-ebddf0a29246"
group_name"aiosendspin-client"

2 of 3

playback_state"playing"
group_id"94d60081-189d-4697-b632-ebddf0a29246"
group_name"aiosendspin-client"

3 of 3

playback_state"stopped"
group_id"94d60081-189d-4697-b632-ebddf0a29246"
group_name"aiosendspin-client"

Inspection

Summaries, logs, and builds

Matrix result

RAW
{
  "case_dir": "artifacts/results/data/macos__client-initiated-state-format-flac__aiosendspin__to__aiosendspin",
  "client_exit_code": 0,
  "client_impl": "aiosendspin",
  "reason": "Renegotiated pcm/8000Hz/16bit/1ch -> flac/8000Hz/16bit/1ch",
  "scenario_id": "client-initiated-state-format-flac",
  "scenario_revision": 5,
  "server_exit_code": 0,
  "server_impl": "aiosendspin",
  "status": "passed",
  "unsupported": false
}