Thread Scaling of Hexaly on the TDVRPTW across Two Model Encodings An Experimental Report: External-Function Serialization, Slice-Count Choice, and the Time-Sliced Thread Ladder