Here's a 2019 source on how Stanford's faculty housing works:
"[Prof] will have to leave his house 10 years after he retires from Stanford or 51 years after he moved in — whichever comes first — at which point he will sell it back to the university, making a modest profit (appreciation is capped at about 3% per year). That means he can’t pass it down to his daughters." https://extras.mercurynews.com/whoowns/stanford.html