The problem I've always had with using the count as "definite knowledge" is that the majority of counts are always several seconds slow. I guess you could say you know you've had at least that much time run off. But nobody does a visible count in real time.

In this case, I'd count the basket, leave the 4.1 seconds on the clock and let the other team inbounds the ball. If you do anything else with the clock, you're just guessing.