Mode 1: Gosper steps through k-subset bitmasks via c=x&-x, r=x+c, repack. Mode 2: Gray code flips exactly one bit between consecutive values.
junior.md and professional.md
for the proofs that Gosper yields the smallest larger same-popcount integer and that each Gray step flips exactly one bit.