PASS shift_correlation: 48 circular cases, 288 output rows, 2 boundary cases, 3072 exhaustive identities
