Do these commits still exist in the repo?

A short interactive challenge about Git's reset --hard command. After running git reset --hard to remove three commits from the visible log, the question posed is whether those commits still exist in the repository and how to recover them. Readers are invited to explain their approach in the comments.