Even if it is pre-dehydration, he isn't going to walk around at 145lbs while waiting to go ~125.7lbs. He would walk around in the 140-143 weight and would pull off ~10lbs his last day. His senior year he was closer to ~138lbs rather than 140-143lbs.
Even if you do the match at 138lbs, to be the same approximate amount of weight cut, he is going to be ~130.4lbs to weigh in at 57 KG (~125.7lbs).
He is probably the most strict he has ever been on weight management. This is the Olympics and it is quite likely he won't try for it in 2028, so this is his one go of it.