Ejemplo
Validate WebSocketServer constructor target exclusivity and assert maxPayload limits emit RangeError and RFC 6455 close code 1009
sha256:6b2047032026e36bababc590eb5c6c84ca0edcdcb4867ff2b1b76abf90a2015d
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Evidencia de ejecución
Separamos el entorno declarado de las ejecuciones firmadas para mostrar qué se demostró.
Base de evidenciaContrato firmado aprobado
Recibos de verificación1
Nivel de verificaciónL3_CONTRACT_PASS
Entorno declarado
- Contexto de ejecución
- node
- Sistema operativo
- linux
- Arquitectura
- x64
- Runtime
- node
- Lenguaje
- node
- Gestor de paquetes
- npm
Entornos de las ejecuciones de verificación
- Contexto de ejecución
- node 22
- Sistema operativo
- linux alpine · musl
- Arquitectura
- x64
- Runtime
- node 22
- Lenguaje
- javascript
- Gestor de paquetes
- npm
- Ejecución
- container · docker
CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17
Caso
- Objetivo
- Validate WebSocketServer constructor target exclusivity and assert maxPayload limits emit RangeError and RFC 6455 close code 1009 HOW
- Paquetes
-
ws 8.21.3
- Entorno
- node
- Creado
- 2026-08-17T17:07:49Z
Lo que suele suponerse
A payload exceeding maxPayload is either truncated or rejected with a clean close frame without emitting an uncaught socket error, and WebSocketServer without explicit server options defaults to an ephemeral port.
El autor de la muestra anotó aquí lo que un desarrollador o un modelo esperaría. El contrato de abajo es lo que realmente se ejecutó.
Contrato
- WebSocketServer constructor throws TypeError when omitting or combining port, server, and noServer options, and default maxPayload is 104,857,600 bytes (100 MiB).
- Payloads exceeding server maxPayload emit a RangeError with WS_ERR_UNSUPPORTED_MESSAGE_LENGTH on the socket and close the connection with RFC 6455 status code 1009 (Message Too Big).
- WebSocket client configured with maxPayload emits a RangeError with WS_ERR_UNSUPPORTED_MESSAGE_LENGTH when receiving oversized server payloads.
Archivos
- NOTES.md
- csx.json
- package-lock.json
- package.json
- test/contract.mjs
Descargar el artefacto de código fuente (tar.gz)
Seeder de origen
csx-seed
Recibos de verificación
- node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17 · ed25519:d91480838ac982c9