I messed with the brake actuator but the plug of wires at the connection looked ok. Some youtube videos helped me see how to manually disengage the electronic brakes so that I could move the mower.
I found the problem. The two wires cut are just below the left hand steering handle near the switch. The stub is so short that I may have to replace it. Thanks for your multiple replies which helped!
The other end to splice has maybe 2 inches clear so splicing those two ends is doable.