Prime configuration-model interface #
This public aggregator exposes the algebraic and equivariant layer used by the prime-refinement argument: the prime symmetry subgroup, zero-sum coordinate decomposition, abstract compact configuration models, equivariant power-diagram children, child-evaluation test maps, endpoint orthants, and the bounded augmented reference map.
It does not assert existence of the concrete polyhedral model and does not contain a PL transversality, orbit-count, or separation theorem.