I think something north of 9kg is more relaistic.
For reference, my Genesis 853 (with a heavy steel fork), full Dura Ace groupset, C35 wheels and alloy finishing kit comes in around 9.5kg. I reckon the fork is at least 200g heavier maybe even more like 300 or even 400g. Either way, with his kit I would be very surpried if it came in at sub 9kg.
A club mate has got one, built up 7.3kg (Red groupset, Zipp crank and CK/Corima tubs)
Really? I’m trying to wrap my head around this as that is insanely light for a steel framed bike. My Leggero with C35 clinchers (1450g) weights 7.4kg and the Leggero frame will be at least 800g lighter. The Leggero for reference has a full DA9000 Di2 groupset, 60mm carbon wheels (tubs at 1400g) and carbon finishing kit with ti Speedplay pedals.
Is that 7.3kg without pedals? I could just about buy that. Yes those wheels are crazy light (you see there are pretty big advantages to riding tubs as you can get a significantly lighter wheelset than with clinchers – by significant I mean a few hundred grams).
All of this is academic of course as it makes very little difference if you’re not racing.