A lot of different people have contributed to TEK over it's history. I think Noise didn't do anything with the staking engine, though I'm not entirely certain of that. The part he was having me test had to do with checkpointing and excluding older clients from the chain to prevent forking issues.
Of course, I could be wrong