неявное принуждение в javascript

Ответ находится в алгоритме сравнения абстрактного равенства в спецификации, а именно:

5. Если Type(x) — это String, а Type(y) — это Number, вернуть результат сравнения! ToNumber(x) == y.

(! перед ToNumber(x) не означает отрицание, это обозначение спецификации, утверждающее, что ToNumber(x) никогда не приведет к резкому завершению.)

Это числовое сравнение, "5" преобразуется в 5, после чего выполняется сравнение.

Основываясь на абстрактном алгоритме сравнения на равенство, сначала будут предприняты попытки преобразовать операнды в числа. Таким образом, будет предпринята попытка преобразовать строку '5' в число 5.

Взгляните на шаги 6 и 7 в abstract алгоритм равенства. Независимо от того, какой тип представлен для числа, операнд для числа будет преобразован в число.

Это описано здесь:

Спецификации EcmaScript 2019 – Сравнение абстрактного равенства

Сравнение x == y, где x и y — значения, дает истинное или ложное значение. Такое сравнение выполняется следующим образом:

1) Если тип (x) совпадает с типом (y), то верните результат выполнения строгого сравнения равенства x === y.

2) Если x равно null, а y не определено, вернуть true.

3) Если x не определено, а y равно null, вернуть true.

4) Если Type(x) — это число, а Type(y) — это строка, вернуть результат сравнения x == ! ToNumber(y).

5) Если Type(x) — это String, а Type(y) — это Number, вернуть результат сравнения! ToNumber(x) == y.

(...)

Таким образом, строка преобразуется в число, а затем сравнивается.

Это можно доказать с помощью следующего кода:

"" == 0 // true
0 == "" // true

Оба возвращают true, потому что пустая строка преобразуется в число 0.

Если бы это было наоборот, 0 стал бы "0" (для того, чтобы 0 == "0" также был истинным), и сравнение с пустой строкой вернуло бы false