Module eq_tracker 

Equality-indicator state carried across the rounds of an MLE-check.

An MLE-check weights its hypercube sum by the equality indicator at a fixed point. Carrying that indicator whole would cost one buffer entry per hypercube vertex.

Gruen24 section 3.2 splits it into three factors, per round:

    scalar      equality terms of the coordinates already bound
    linear      the term in the variable this round binds
    expansion   the indicator over the coordinates still untouched

Only the expansion needs a buffer. It holds one variable fewer than the columns, since the bound one is not expanded.

The other two factors are the scalar state every tracker here carries.

Structs

ChunkedEqTracker

Equality-indicator state for one point, holding the expansion as an outer product.

EqTracker

Equality-indicator state for one point, holding the expansion as one buffer.