Golf Rule Inquiry - When is the hole over?

[Hack Golfer]

Player hits hole-in-one to an elevated par 3 green. Player does not realize it and finds what he thinks is his ball behind the green in a green-side bunker. Player hits shot from bunker to 3 feet of flagstick and when removing flagstick realizes his original ball hit off the tee-box holed out. I know it is a two-stroke penalty for hitting an incorrect ball, what I am hoping for is the hole be technically over since the ball was holed out. Last bit of information - it happened on the last hole of the match. Anyone have any insight or point me in the direction of a rule that would be greatly appreciated.

[billchao]

2 hours ago, Hack Golfer said:

Player hits hole-in-one to an elevated par 3 green. Player does not realize it and finds what he thinks is his ball behind the green in a green-side bunker. Player hits shot from bunker to 3 feet of flagstick and when removing flagstick realizes his original ball hit off the tee-box holed out. I know it is a two-stroke penalty for hitting an incorrect ball, what I am hoping for is the hole be technically over since the ball was holed out. Last bit of information - it happened on the last hole of the match. Anyone have any insight or point me in the direction of a rule that would be greatly appreciated.

The hole was over when his ball was holed. The player couldn't get any penalty strokes from playing the wrong ball or making a practice stroke because he no longer had a ball in play.

[DaveP043]

Its Rule 6.5, in both Match Play and in Stroke Play the hole is over when the player holes his shot.  Interpretation 6.5/1 further clarifies that the hole is over, even if he plays another ball.  If he mistakenly concedes the hole to his opponent, the concession is not valid, as the hole was over prior to the concession being made.

[Club Rat]

Also, not regarding the OP circumstance, but in regards to when a hole is over for other TST readers -

In match play, a hole is over when the opponent concedes the hole.
In match play, there are several rules which can occur that stipulate a player loses the hole and that hole is over.

In stroke play, once a player hits their tee shot, the previous holed play is over. (this is in regards to when a player may have a rules violation and would need to rectify before proceeding or be DQ'ed)

And there are other situations when a hole is over, but they are not "right off the top of my head at the moment"