Finite Pauli Geometry and the Local Polytope: Exhaustive Enumeration of Contextuality Structures v2

Exhaustive machine enumerations of the contextuality structures carried by the two- and three-qubit Pauli groups under their identification with the finite projective spaces PG(3,2) and PG(5,2), together with exact vertex and facet enumerations of the corresponding Bell local polytopes. v2 adds a second independent derivation of the three-qubit magic-square count (3360) via row-based enumeration, reproducing the 2160/1200 split found by the tri_xor method.