[sagz]

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

[gnicholas]

There are various faculty housing programs, and they differ in important ways. for example, purchasers of on-campus homes can sell to any eligible person (tenure-line faculty, generally), or to the university. Pricing/appreciation is not capped. Other programs require resale to the university, with caps.

Of course, rules may have also differed decades ago, when the home was apparently purchased.