Give probe round 2 a sampling frame and a harness
Make the population predicate checkable, not just runnable
Make the shape-function population reproducible