Alexey Radul

I worry about this complicating the PSP-implementor-facing interface. Perhaps that can be alleviated by the convention of returning `this` from `canAbsorb` and having the PSP itself implement the `Assessor` interface...

Will touch on and/or replace #502. Will probably make the benefit of #499 more explicit.

The candidate solution of just rejecting all proposals that change the membership of the block being proposed to will have the effect that the given program will never be able...

Marking blocked on #462, because the current plan calls for implementing that search tree first.

Apparently, in commit fff4dc32bb3bdb7796aeaba0ee892444b77c48eb I forgot to mark the new test `testOccasionalRejectionScope` a `@statisticalTest`, so it wasn't actually testing the problem. When this oversight was eventually fixed in 4bd4669a6ecbad2eebcd79855b813b6a61b1086e, the...

Seems my search criteria missed 8 more candidates ^

No problems with failing to fix the randomness have been detected to date, but there is also no recorded proof that not fixing it is fine, and I, for one,...

Brainstorming a possible direction for an example: Something with multiple options generating brush that really ought to go the same way each time? Or is fixing randomness not required, because...

Hm. You may be right. As I recall, the argument for why one might want fixed randomness for HMC was always aesthetic, and we never did produce a proof that...

Marking blocked on #453.