I noticed tactile hall effects were added to the wiki, as well as that honeywell pdf I found.
as far as linear hall effect switches, they are designed for reliability above all. A linear system won't wear out as fast as a tactile one (one of my tactile switches is now a linear, but still works. The tactile mechanism is broken, but the switch actuates fine) They are rated for 30,000,000,000 keypresses, though in reality, they'll become "gritty" long before that. Vintage hall effect switches have sliders that are probably ABS and switch housings that are a much harder polymer. In well sued vintage hall effect keyboards, you'll get some grittiness as the shaft has wear marks from off-axis hits. some lube would fix that though, and the switch still works.
From what I've seen, much of the very important actions were preformed with covered toggle switches and those fancy switches that require keys, which are very tactile. Hall effect keyboards may have been used to input some commands, but as far as I know, the missile targets were pre-programmed. A different scenario occurs on a miltary vehicle, where a hall effect keyboard might be used to program in a new target's coordinates. My general dynamics rubberdome with NKRO keyboard was part of a land vehicle called a SBCT, in a system called
ABCS.
I tried to spread the 30 billion keystrokes number around, and I don't think other's have perpetuated it much. I was impressed with the number: like much of the gear form the time, and especially millitary equiptment, it's high reliability. It's a very impressive number!
Speaking of which, I don't think the fourth pin was used for redundancy in many designs. Form the PCB's I've looked at, pin2 is mainly wired horizontally, and pin3 is wired vertically. in a sort of odd offset matrix.
If I'm worried about missile attacks, I'll bottomout just to make sure.
I think linear switches are sort-of the norm because they are easier to make reliable (less parts to fail (except futuba complicated linears) ) and have been in production for quite a while. I mean, after typewriters, most non IBM switches were linear for quite a while.