Selection-factor evaluation shard 7

This compatibility module re-exports independently checked rational abscissa evaluations for the order-seven selection certificate.