Author here if there are any questions. Also, if anyone happens to have other iAPX 432 chips sitting around, I'd be happy to take high-resolution die photos. There aren't good 432 die photos around, so I was happy to get access to the 43201 chip.
The thread is also on Twitter: https://twitter.com/kenshirriff/status/1649075486008524801