LARS ROCHA’S SCHUR / LARS LOGIC · CLASSICAL GF(2)
Let the blocks speak.
Follow every elimination.
Solve within each block, carry what remains across the boundaries, then bring the answers back. Every displayed row comes from the checked XOR engine.
Build an XOR system
Trace limits: 12 variables, 24 equations. Engine-only IX-40 supports larger systems. No circuit or general OR-SAT encoding.
Read the source audit ↗ONE SYSTEM / TWO ELIMINATION ROUTES
Select a row to read its equation.
Inspect a variable
Flat solver comparison
Counts measure row XOR operations, not elapsed time or guaranteed acceleration. Row IDs name transformed rows; they are not original-equation proof certificates.