What happens to a key of a fixed lock when the house is sold?

Kitab al-Buyu: Grain in Ears, House Keys, Transaction Costs and Delivery

• It is included in the sale
• The seller always retains it
• It cannot be transferred without a second sale
• It can only be rented