AFAIK, Boeing numbers are no TR with the various autobrake settings. All manual braking is predicated on max manual.
The performance numbers will be for Brakes 1, 2 , 3, 4 or max; Min, MED, or MAX depending on the aircraft.
If the spoilers fail to deploy on touch down, or if they were planning manual spoilers, that would have a larger effect on the stopping distance than the TR issue.
Sometimes, you think you arm the spoilers and they may not be completely set so they won't trigger when it comes off tilt. Not saying that's the case, perhaps they had the message and then the coupled link from the TR may not have worked if they couldn't get to interlock. I've had that happen to me where the TR wouldn't come to interlock due to some issue with the transcowl. However, it cycles fine on taxi in. Funny critters they are.