Total string evaluation of the complete affine construction

The selected evaluator computes the boosted target and all finite chooser values, normalizes the right word once, and reuses both original words in the first phase and every subsequent round. The unary tampering and target parameters are ordinary inputs. The program is total, including malformed encodings and source lengths that cannot satisfy the statistical reserve.

def Algebraic.Cutwidth.Extractor.affineCorrelationBreakerRuntime (t L₀ e₀ L₁ e₁ er rounds : ℕ) (x y advice : List Bool) : List Bool

Execute the actual first phase and all rounds with explicit unary parameters.

Equations

• One or more equations did not get rendered due to their size.

def Algebraic.Cutwidth.Extractor.affineCorrelationBreakerSelectedRuntime (t target : ℕ) (x y advice : List Bool) : List Bool

Select all parameters and run the complete construction with the normalized original right word.

Equations

• One or more equations did not get rendered due to their size.

def Algebraic.Cutwidth.Extractor.affineCorrelationBreakerSelectedEval (z : List Bool) : List Bool

Codec: three data words, followed by unary tampering and target words.

Equations

• One or more equations did not get rendered due to their size.