In

sky130_fd_pr__res_xhigh_po_0p35

does the

rend

resistor account for the resistance of both contacts? I want to make sure I'm reading this right.

Yes, it's odd, but as far as I can tell, yes, you're reading that right. The terminals are r0 and r1, and the netlist has

r0<--rend-->ra<--rbody-->r1

.