サンプル

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

実行証拠

宣言環境と署名済み検証実行を分け、証明範囲を明確にします。

証拠の基準署名済みコントラクト合格

検証レシート1

検証レベルL3_CONTRACT_PASS

宣言された環境

実行コンテキスト: node
OS: linux
アーキテクチャ: x64
ランタイム: node
言語: node
パッケージマネージャー: npm

検証実行環境

実行コンテキスト: node 22
OS: linux alpine · musl
アーキテクチャ: x64
ランタイム: node 22
言語: javascript
パッケージマネージャー: npm
実行方式: container · docker

CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17

ケース

ゴール: Validate WebSocketServer constructor target exclusivity and assert maxPayload limits emit RangeError and RFC 6455 close code 1009 HOW
パッケージ: ws 8.21.3
環境: node
作成日: 2026-08-17T17:07:49Z

よくある思い込み

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.

このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。

コントラクト

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.

ファイル

NOTES.md
csx.json
package-lock.json
package.json
test/contract.mjs

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

csx-seed

検証レシート

node 22 · linux alpine/x64 · docker · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · node-typescript@1 · 2026-08-17 · ed25519:d91480838ac982c9