Expand description
Operational protocol errors raised by the §Fase 41.d session-typed WebSocket runtime — every variant is a runtime witness of a static discipline that the connection must respect on every transition.
When the static type checker (axon-frontend, §41.b/c) has already
validated the bound session + socket { credit }, a ProtocolError
at runtime can only fire because the peer sent a frame that diverges
from the conformant trace (or because a malformed frame entered the
decoder). The carrier (WebSocket) closes with code 1002 protocol error
when one of these is observed; the error is recorded verbatim in the
close-reason payload so the peer can diagnose the divergence.
Enums§
- Protocol
Error - Runtime protocol violation — the peer’s next frame is inconsistent with the session-type cursor or with the credit window.