Unlocked AT&T 5S, can be used with Verizon?
Again, wrong. If your theory was correct, the Genius Bar would differentiate between Sprint and Verizon iPhone 4s and 4Ss (they don't). It's not a whitelist issue; the issue is the GSM phones do not have the CDMA part enabled.
Okay, not to keep punching holes in your theory either, but I have discovered there are four different variants of the iPhone 4S, which supports that the CDMA 2000 radio is manually blocked on iPhone 4Ss not destined to CDMA 2000 networks. I was wrong in thinking there was one universal iPhone 4S. Here is the breakdown:
MC918LL/A is the order number for the 16 GB configuration in black locked to AT&T with a two-year contract. With 32 GB or 64 GB of storage, in black, locked to AT&T, the order numbers are MC919LL/A and MD269LL/A. With 16, 32, or 64 GB of storage, in white, locked to AT&T, the order numbers are MC920LL/A, MC921LL/A and MD271LL/A.
Locked to Verizon, in black, the order numbers respectively are MD276LL/A, MD278LL/A, and MD280LL/A. Locked to Verizon, in white, order numbers are MD277LL/A, MD279LL/A, and MD281LL/A.
Locked to Sprint, in black, the order numbers are MD377LL/A, MD379LL/A, and MD381LL/A. Locked to Sprint, in white, order numbers are MD378LL/A, MD380LL/A, and MD382LL/A.
The order numbers for unlocked 16 GB, 32 GB, and 64 GB models are MD234LL/A, MD241LL/A, and MD257LL/A in black and MD237LL/A, MD244LL/A, and MD260LL/A in white, respectively.
Finally, the 8 GB model introduced September 10, 2013, in black and white, is MF257LL/A and MF258LL/A locked to AT&T, MF269LL/A and MF270LL/A locked to Sprint, and MF259LL/A and MF260LL/A, locked to Verizon. Unlocked and contract free, the 8 GB model is MF261LL/A and MF262LL/A, in black and white if bundled with a T-Mobile SIM (but no obligations to use it) and MF263LL/A and MF264LL/A without a SIM.
http://www.everymac.com/systems/apple/iphone/specs/apple-iphone-4s-specs.html