Verificador LFSR

O Verificador LFSR fornece validação precisa de configurações de Registro de Deslocamento com Retroalimentação Linear usadas em criptografia leve, geração de números pseudoaleatórios e design de hardware. Aceita a largura definida pelo usuário, taps (polinômio), estado inicial e arquitetura (Fibonacci ou Galois) para raciocinar sobre a evolução do estado e as propriedades da sequência. Modela a atualização de estado como uma função de transição determinística. Calcula os próximos bits de estado, acompanha as saídas e pode enumerar toda a sequência até repetição ou até um limite fornecido. Indica o comprimento do ciclo, se a configuração atinge o comprimento máximo para a largura dada e os taps eficazes que influenciam cada bit. Detecta entradas inválidas desde o início (-semente nula).
Entre as funções-chave estão o suporte a formas comuns de LFSR, validação de propriedades de período máximo e condições finais configuráveis. Útil para verificar parâmetros PRNG, auditar geradores relacionados à criptografia ou explorar didaticamente como a posição dos taps afeta o período e a distribuição de bits. Resultados projetados para consumo por APIs e integração em pipelines de verificação ou análises offline.