Peneira de Verificação — Pacote do Autor: Esteira dos Pares Primos, Peneira Dinâmica 2-Ádica, Formalização Lean e Ferramentas Interativas (arquivos publicados exatamente como enviados)

Abstract

Pacote do autor publicado exatamente como enviado, sem qualquer modificação de conteúdo. Contém: peneira_verificacao.zip — pacote completo enviado pelo autor: Paper_Final_Esteira_dos_Pares.pdf; esteira_pares_primos.pdf e .tex (Esteira dos Pares Primos); peneira_dinamica_2_adica.pdf e .tex (Peneira Dinâmica 2-Ádica); peneira_verificacao.lean (formalização Lean 4, núcleo puro: colapso 2-ádico, reconstrução N = núcleo·2^k, unicidade, inescapabilidade do primo ímpar via N=2p, família p·2^k e relação completa da célula); formulacao_2_adicas_primos.pdf; e a pasta GERAL com as ferramentas interativas do autor (Duas Colunas PRIMOS.html; Matriz N(k,j)=p_j·2^k; Famílias por Divisão por 2; cilindro-espiral-primos.html; crivo-eratostenes-cilindro.html; par.html; cryptography.html) e materiais de apoio. primos.html — gerador da matriz com teste de primalidade (N(k,j) = p_j × 2^k), como enviado. sequencia.html — famílias por divisão por 2 (2p→p, 4p→2p→p, 8p→4p→2p→p, …), como enviado. Duas Colunas PRIMOS.html — colunas dos pares 2n e dos ímpares 2n−1 com ligações de cada primo ao par da mesma posição, como enviado. Os quatro arquivos são byte a byte os mesmos enviados pelo autor (nomes e conteúdo preservados). Licença CC-BY 4.0.