bluehills proof above with the record-breaking lotus superbike seems pretty convincing to me.

Also I somebody else (maybe you?) said before something about, sure there are micro-accelerations every pedal stroke, and sure, lighter bikes will micro-accelerate easier and heavier bikes will take more effort to micro-accelerate, but heavier bikes (+loads) maintain more momentum through while pushing through the same air resistance, so heavier bikes need less micro-acceleration.

So your choice is heaver=less, harder micro-acceleration vs lighter=more, easier micro-acceleration, and it's practically a wash.

Maybe there is a hair advantage to the lighter there, on the same principle that spinning is better than mashing, but that's gotta be miniscule.

Surely there have to be experimental results out there showing indoor track speed results with constant wattage over varying bike weights