型は、線を越えない — 届くのはバイト列だけ

JavaScript の値を JSON に変換し、そのまま読み直しました。Docker 上の node:24-alpine(Node v24.21.0、2026-09-18 取得)です。

> const p2 = { when: new Date("2026-09-18T00:00:00Z"), tag: new Set(["a"]),
              miss: undefined, inf: Infinity, nan: NaN };
> JSON.stringify(p2)
{"when":"2026-09-18T00:00:00.000Z","tag":{},"inf":null,"nan":null}

when  typeof: string | instanceof Date: false
tag   typeof: object | is a Set: false | keys: []
inf   value : null   | nan value: null
miss  in obj: false

when は Date を送ったのに string で届きました。tag は Set を送ったのに中身の無いオブジェクト、inf と nan は null、miss に至ってはキーごと出力に現れていません。

そして重要なのは、この4つのどれも例外を出していないことです。送る側は成功として返し、受ける側も正常に読めています。どちらのログにも異常は残りません。

同じ操作で止まるものが1つあります。

> const payload = { when: new Date("2026-09-18T00:00:00Z"), amount: 10n ** 2n };
> JSON.stringify(payload)
STRINGIFY THREW: TypeError: Do not know how to serialize a BigInt

5つのうち気づけたのは1つです。

型の一致を線の上で担保できないなら、取り決めを別の場所に置くことになります。この置き場所として広く使われているのが OpenAPI ですが、一つ確認すべきことがあります。

OpenAPI Specification v3.2.1(2026-09-18 取得)の冒頭は、自らをこう定義します。

The OpenAPI Specification (OAS) defines a standard, programming language-agnostic interface description for HTTP APIs

interface description — 記述です。続けて、成果物が何に使われるかを列挙します。

An OpenAPI Description (OAD) can then be used by documentation generation tools to display the API, code generation tools to generate servers and clients in various programming languages, testing tools, and many other use cases.

挙がっているのは文書生成・コード生成・テストです。and many other use cases で開いてはいますが、実行中のリクエストを検査する用途は挙げられていません。さらに §4.24.5.1 は一部のキーワードについてこう書きます。

The format keyword ... and the contentMediaType, contentEncoding, and contentSchema keywords define constraints on the data, but are treated as annotations instead of being validated directly. Extended validation is one way that these constraints MAY be enforced.

ここから本教材はこう読みます。 仕様は、書かれた取り決めが実行時に守られることを義務づけていません。「守られない」と書いてあるのではなく、義務づけが書かれていないという不在です。両者は違います。