The do work, at 10x efficiency. Or maybe I misunderstood the 10x engineer idea all along!

And that efficiency can translate in 10x output, but it's not guaranteed.

My opinion on the 10x engineer principle, always was that these people have their best development/debug environment setup. And they can traverse, run, and explore code faster than most. Like world record pizza makers in under a minute.

Through my career I've seen some engineers that were stumbling their way around their tooling after years of use, and some that weren't even touch typing. Factor that in.