Is it possible to have an abstract polytope which is vertex-transitive, edge-transitive, face-transitive, etc. (individually transitive on faces of each particular dimension) and yet not flag-transitive?
[I had thought this might be an easy curiosity for Math StackExchange to readily answer for me, but I had no engagement there, and thus I now cross-post it here…]