SYSE.29:4.4 - Exercise the receiving use and its failure branch
Perform a bounded trial or a clearly labelled rehearsal before widening reliance. Check the result through a representative consumer, not merely through a successful transfer job. Include relevant old state, permissions, a material variant and a partial-failure case.
After an interrupted step, recover what actually changed before retrying. Test the claimed return or forward repair under the applicable state conditions. Keep a successful ordinary case from qualifying an unexercised recovery or infrequent-use branch.
Compare later use with the promised result and observe transferred user/provider burden. When a new condition changes compatibility or recovery, stop only the dependent move and repair or return that condition.