Server activation

Initial server/activate

What the sendspin-server-cpp 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.

No server/activate observed

The sendspin-server-cpp server sent no server/activate on this connection, according to its adapter.

Server group state

Every group/update after activation

What the sendspin-server-cpp 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.

No group/update observed after a server/activate

The sendspin-server-cpp server sent no group/update after a first server/activate on this connection, according to its adapter. One sent on a connection that never carried a server/activate is not recorded here.

Inspection

Summaries, logs, and builds

Matrix result

RAW
{
  "case_dir": "artifacts/results/data/macos__server-initiated-controller__sendspin-server-cpp__to__sendspin-rs",
  "client_exit_code": 1,
  "client_impl": "sendspin-rs",
  "reason": "Server adapter reported: the client sent client/hello but never took the connection with a client/state after server/activate; handshake failed for ws://127.0.0.1:19997/sendspin; dial failed for ws://127.0.0.1:19997/sendspin; dial failed for ws://127.0.0.1:19997/sendspin; dial failed for ws://127.0.0.1:19997/sendspin; dial failed for ws://127.0.0.1:19997/sendspin; dial failed for ws://127.0.0.1:19997/sendspin; Client adapter reported: unknown variant `server/error`, expected one of `client/hello`, `server/hello`, `client/time`, `server/time`, `client/state`, `server/state`, `server/command`, `client/command`, `stream/start`, `stream/end`, `stream/clear`, `stream/request-format`, `group/update`, `client/goodbye` at line 1 column 22",
  "scenario_id": "server-initiated-controller",
  "scenario_revision": 5,
  "server_exit_code": 1,
  "server_impl": "sendspin-server-cpp",
  "status": "failed",
  "unsupported": false
}