refactor(spec): step 18 rationale as key-sorted fragments, conversionIds derived, so two retirements merge clean

refactor(spec): step 18 rationale as key-sorted fragments, conversionIds derived, so two retirements merge clean #11776