Phase is introduced as an exact timing comparison before any filter shortcut is used.
Phase is introduced as a checked time shift divided by a period. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.