NRR.PrimeRefinement — prime refinement after the Fox--Neuwirth separator

This aggregator exposes the exact separator contract and the fully proved conversion from a separator certificate to the next nice multivalued function and its canonical partition witness.