brilliant, thanks; I've just persuaded EDAPlayground's yosys to finally spit out a diagram of the logic, which is super helpful