Two items secure one debt and the allocated share of one has been paid. What is Quduri’s rule?

Kitab al-Rahn: Partial Repayment, Agency to Sell and Pledgee Rights

• One must immediately be released
• Both become the creditor’s property
• Release of one is not compulsory until the remainder is paid
• Every pledge must be sold as soon as a payment is made