O pull request #4441 do repositório CrocSwap/integer-mult-bounds aplica recronometragem verificada com um novo auxiliar a todas as 19 chamadas nativas completas do controlador complexo de consultas desbastadas introduzido em #4440. O autor relata que todas as 16 consultas de cisalhamento pagas, as chamadas ociosas completas, os operadores principais e o fornecedor BIT, mais forte, foram mantidos.
O limite condicional resultante, verificado pelo autor, é T(n) = O(n (log n)^(1 - 0,00300105)). Isso eleva κ em 0,00004105 (+1,3868%) sobre os 0,00296 de #4440, 11,7098% acima dos 0,00268647 de #4416 e 30,4804% acima do 0,0023 fixado e selecionado. As chamadas pagas caem de 72.902 para 69.273, uma economia de 3.629, e as massas de posto produtivas e pagas tornam-se 260.798 e 259.998, preservando um superávit de 800.
O autor afirma que limites exatos de intervalo colocam a raiz do perfil fixo entre 0,0030010541830 e 0,0030010541834, e que uma prova por intervalos cobre todo real 0<C<1. O novo momento exige um limite corrigido para a cauda paga, gamma < 97/100, pois o 31/32 de #4440 falha neste perfil. A construção BIT mais forte permanece inalterada, e relata-se que as nove linhas externas, os 54 predicados atuais e quatro guardas funcionais passam.
O trabalho é uma construção condicional verificada pelo autor e aguarda revisão. Suas premissas não foram verificadas por terceiros independentes, e o autor não reivindica um teorema incondicional, um resultado prático de tempo de execução, um ótimo global ou aceitação formal. O CI geral permanece vermelho em três verificações arquivadas de fixação de código-fonte.
Fonte: Hacker News · Resumido por HeadlinesBriefing