Norfolk Pines, done my share of them. Top lanyard is always wire core, and always have secondary tie in below set up for descent.
Really, really glad your guy is OK.
Time to pause, reflect and live to work another day!
When I was first starting out, I only had a rope lanyard, I was topping out...