Methods for Measuring the Retrieval-Distance Distribution of a Live Sequence-Model Workload from Production Traffic, for Behaviourally Determining the Effective Attention Window and Boundary Convention of a Trained Sequence-Model Checkpoint, and for Certified Window-Provisioned Conversion of Pretrained Sequence Models