Case

aiosendspin -> sendspin-dotnet

Start the server first, then the client. The client discovers or looks up the server and initiates the WebSocket connection, the server streams album artwork, disconnects, and the matrix compares the received bytes against the server's encoded artwork.

Server

aiosendspin

Client

sendspin-dotnet

Status

Passed

Artwork bytes match

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_rolesartwork@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 1

playback_state"stopped"
group_id"f57c43d3-49f7-451d-a4f5-4138e7295318"
group_name"sendspin-dotnet-client"

Inspection

Summaries, logs, and builds

Matrix result

RAW
{
  "case_dir": "artifacts/results/data/macos__client-initiated-artwork__aiosendspin__to__sendspin-dotnet",
  "client_exit_code": 0,
  "client_impl": "sendspin-dotnet",
  "reason": "Artwork bytes match",
  "scenario_id": "client-initiated-artwork",
  "scenario_revision": 1,
  "server_exit_code": 0,
  "server_impl": "aiosendspin",
  "status": "passed",
  "unsupported": false
}