I think the W3C WoT Working Group's conclusion in w3c/wot-thing-description#878 is that it's OK to have a single top level form for a WebSocket endpoint, with no op member.
This means that if we want to we can change the current top level link for WebSocket endpoints exposed by the gateway:
"links": [
{
"rel": "alternate",
"href": "ws://localhost:8080/things/virtual-things-10"
}
],
into a form:
"forms": [
{
"href": "ws://localhost:8080/things/virtual-things-10"
}
],