Transition constraint
A polynomial equation that must hold between every consecutive pair of rows in the trace — the algebraic way of saying “this column evolves correctly from one step to the next.”
In this repo: exactly two shapes — the accumulator's update, and each register's update — both walked through line by line in Reading a Winterfell AIR, including why the declared degree is 4 even though the interpolated degree is usually 3.