Dear Shelby, seems like you have an “axe to grind” with general PoW chains. You object to some things we did not claim, and misunderstand the things we did. We’d appreciate more constructive criticism.
I didn’t dig into the consistency proofs which afaik are dealing with the pairwise ordering not a total order, thus I don’t understand conceptually how it could be possible for blocks which don’t coordinate on a total order to coordinate their agreement on difficulty retargeting. I expect some vulnerability or flaw in your analysis around this conceptual point.
Are not constructive.