Clique em duas linhas da memória de cima para trocá-las de lugar; a permutação que você montar entra nas duas setas horizontais. O caminho de cima permuta e depois dá o passo, o de baixo dá o passo e depois permuta, e os dois cantos de baixo têm de ser a mesma memória. O mostrador do resíduo mede o quanto eles diferem. Depois ligue o viés por linha nas portas — a segunda quebra de simetria, a que o paper não usa — e veja o quadrado deixar de fechar.
A mesma rede, os mesmos doze passos, duas memórias iniciais. Com identidade truncada a dispersão entre as linhas sobe; com zeros ela é a própria reta zero. Arraste o passo e leia o mostrador: ele não diz 1e-17, diz 0, e a comparação que decide a cor do cartão é === 0. As quatro linhas em zeros não são quatro números parecidos: são o mesmo número, quatro vezes.
A memória nasce com identidade truncada, dá dois passos, e o painel conta quantas linhas distintas sobraram. Enquanto N ≤ d a conta é N. Quando N passa d, a identidade truncada deixa N − d linhas nulas e iguais, o teorema as prende juntas, e a contagem para de crescer: ela vira min(N, d) + 1. Os N d números de estado continuam lá; as N posições, não.