front loader fails to spin in spin cycle

I have a Frigidaire ATF6700FE0 front loader washer that fails to spin during the spin cycle. It agitates, and drains but does not spin. The drain pump sounds like it is running through the entire spin cycle but the basket does not spin. The washer does not shut off and there is no error that the door is open.

I ran the diagnostic tests and all of them, including the spin cycle appeared to work correctly. After spinning for about a minute at high speed it does error with an E47 code indicating "Board thinks PTC is open during spin". This error only happens after it spins for a while, it never happens at the beginning of the test.

I have not taken anything apart yet. This does not seem like a problem with the door latch because I never get a door error during the spin cycle. If it did, I would think the cycle would stop. It is not a problem with the motor because it spins up easily during the diagnostic test. I didn’t think it was the controller board because it runs in the diagnostic, until I saw the E47 error.

Is this the controller board? Is there anything else I should check before replacing it?

I confirmed it was the door switch and got it working temporarily while I wait on the part. I took apart the door switch and bent the contacts that the wax motor pushes so they would contact sooner.