I thought that pensions are paid from the Defence budget rather than invested funds as happens on the civvy side of the fence. If so the money coming from future earnings, so I would expect that the it would be a future joint UK/iScotland funding source to pay pensions rather than a lump sum transfer. The same would apply to all government employees with pension rights.