> A double bit flip will result in a halt.

This is dependent on the system configuration. For Linux, default behavior is to halt only if the uncorrected error occurs in memory used by the kernel.

It's more accurate to say that double bit flips will be detected.