¿Por qué "verdadero" == verdadero muestra falso en JavaScript?

MDC describe al ==operador de la siguiente manera :

Si los dos operandos no son del mismo tipo, JavaScript convierte los operandos y luego aplica una comparación estricta. Si alguno de los operandos es un número o un booleano, los operandos se convierten en números si es posible; de lo contrario, si alguno de los operandos es una cadena, el otro operando se convierte en una cadena si es posible.

Con esto en mente, evaluaría "true" == truelo siguiente:

1. ¿Son del mismo tipo? No
2. ¿Es el operando un número o un booleano? si
3. ¿Podemos convertir ambos en un número? No ( isNaN(Number("true")) // true)
4. ¿Es alguno de los operandos una cadena? si
5. ¿Podemos convertir el otro operando en una cadena? Si ( String(true) === "true" // true)

Terminé con las cadenas "true"y "true", que debería evaluar true, pero JavaScript muestra falso.

¿Qué me he perdido?

Porque "true"se convierte en NaN, mientras que truese convierte en1 . Entonces difieren.

Como informó, ambos se convierten en números, porque al menos truese puede (ver el comentario de Erik Reppen) y luego se comparan.

El ==operador de comparación se define en ECMA 5 como:

4. Si Tipo (x) es Número y Tipo (y) es Cadena,
   devuelve el resultado de la comparación x == ToNumber (y).
5. Si Tipo (x) es Cadena y Tipo (y) es Número,
   devuelve el resultado de la comparación ToNumber (x) == y.
6. Si Type (x) es booleano, devuelve el resultado de la comparación ToNumber (x) == y.
7. Si Type (y) es booleano, devuelve el resultado de la comparación x == ToNumber (y).

Entonces, "verdadero" == verdadero se evalúa como:

1. "true" == ToNumber (true)   (mediante la regla 7)
2. "verdadero" == 1
3. ToNumber ("true") == 1   (mediante la regla 5)
4. NaN == 1

===> falso

Según el algoritmo de comparación de igualdad abstracta

http://www.ecma-international.org/ecma-262/5.1/#sec-11.9.3

si uno de los oprends es booleano y el otro no, boolean es convertidor al número 0 o 1. entonces true == "true"es falso.