Benchmark isPrimeHeineAllemagne — LHA (U_uni) × Tradicional v1.1

Sessão: 2025-08-28 22:07:49 • Determinístico por régua de dígitos e S_p(n) posicional. Auditor tradicional para comparação (não interfere na Lei).

Parâmetros

Início N

Fim N

Refino (k, k+1, k+2)

Roda (M)

Resultados

LHA — tempo

—

LHA — primos

—

π_LHA

LHA — falsos positivos

—

vs auditor

Concordância Lei × Auditor

—

% (corrigido)

Tradicional — tempo

—

Tradicional — primos

—

π_auditor

Tradicional — falsos positivos

auto-consistente

Diferença π (Lei − Auditor)

—

deve ser 0

Confusion Matrix (Lei vs Auditor)

	Auditor PRIMO	Auditor COMP
Lei PRIMO	—	—
Lei COMP	—	—

Logs em tempo real

LHA (U_uni)

Tradicional (auditor)

Lei Pura (para revisão)

Roda: M=210, Res(M)={r | gcd(r,M)=1}. Resto posicional: S_p(n)=Horner(dígitos) ≡ n (mod p).
B(k): 10^⌈k/2⌉ para n com k dígitos. U_uni: se n%M∈Res(M) e ∀p≤B(k): S_p(n)≠0 (e n≠p), então n é PRIMO; caso contrário, COMPOSTO.
Prova: √n ≤ 10^⌈k/2⌉; todo composto tem fator primo ≤ √n, portanto coberto por P_k sem calcular √n.