One thing that is getting at me about our bluffing range: is it not the case that we should bluff with the top of our-c/f-range-if-we-were-never-bluffing? So should we not bluff bet our pairs of kings before we bet our pairs of jacks?
Also in your math above we are supposed to be c/c the nuts some times (if Z is non zero). But in the final range breakdown you gave, we are always shoving the nuts.