条件付きの文は、条件が偽のとき何も言わない

要求文の書き方を型にした EARS の論文(Mavin ら、RE'09)は、この読み方を言葉で宣言しています。§4.1 で、前提条件・引き金・応答の並びについてこう書きます。

The system is required to achieve the stated system response if and only if the preconditions and trigger are true.

§4.3 は、事象で起動する要求の例文に同じ読み方を当てます。

For example: “When continuous ignition is commanded by the aircraft, the control system shall switch on continuous ignition”. This system response is required when and only when the stated event is detected at the boundary of the system.

「そのときだけ」と宣言したことで、指令が無いときに連続点火が求められないことは決まりました。けれども原文の語は required(求められる)です。してはならない、とは書いていません。 求められないことと禁止されていることは別物です。

この例文1つだけを見ても、指令が無いときに連続点火を切るとは書かれていません。すでに点いている点火をどうするかは、この文の外に残っています。EARS が決めたのは読み方までで、条件の外の振る舞いまでは決めていません。

every の結果を Node で実行した生出力です(l4-empty.mjs、ローカル1回目。4回とも同じ結果でした)。

v24.21.0 icu 78.3
[].every(x => x > 100)  = true
[].every(x => x < 100)  = true
[].every(() => false)   = true
[].some(x => x > 100)   = false
[].some(() => true)     = false
[,,].every(() => false) = true (holes, length 2)
[200].every(x => x > 100) = true  [50].every(x => x > 100) = false

空配列の every は、述語が何であっても true です。Docker の node:20-alpine(Node v20.20.2)でも同じでした。

これは実装の偶然ではありません。ECMA-262 の 23.1.3.6 は、手順の中でループを要素の数だけ回し、途中で false が出なければ最後に Return true. に届くと定めています。空配列ではループが1回も回りません。注記(Note 1)はこう明言しています。

every acts like the “for all” quantifier in mathematics. In particular, for an empty array, it returns true.

JavaScript は決めてあります。黙っていたのは依頼文のほうです。 依頼者は0件のときを決めないまま、JavaScript の決定を知らずに受け取りました。

同じ依頼文から、0件を除外する実装も書けます。手元で確かめると、結果は逆になりました(macOS の Node v24.21.0 と Docker の node:20-alpine で同じ)。

条件式                                          出力
items.every(x => x > 100)                       true
items.length > 0 && items.every(x => x > 100)   false

どちらも「すべて100を超えていたら」を満たす、正しい実装です。どちらになるかは、書いた人の選択で決まります。