cache R.s.gen
Q and R validated
implement V.hat_tilde_Q.s.gen