Independent-factor AMPS benchmarks

This is a finite trace-distance version of the entropy obstruction under explicit pair and independence assumptions. It does not claim that these assumptions follow from our later model. Mathur's small-corrections argument and Hawk02-A's pair comparison must be read with their own hypotheses Mathur,CHawk02A.