Pulley Replacement and Initial Belt Setup

What happens here

The presenter drives the Ventrac 4500Y into his shop to begin repairs. He points out the broken pulley and the overall condition of the mower deck. He uses a Milwaukee 1/2-inch impact wrench with a 1 1/8-inch socket to remove the nut securing the damaged pulley. After removing the nut, he lightly taps the pulley with a hammer to free it from the shaft. He then installs a new pulley, secures it with the nut, and re-tensions the main drive belt, noting that it looks worn and will likely need future replacement.

Goal: Replace the broken pulley and initially set up the drive belt.