Adjudicação Adversarial de um Arquivo de Pesquisa:
Resultados Negativos Sistemáticos e a Função-Limite Exata da Classe U1/2

Douglas H. M. Fulber
Laboratório Tamesis — Programa de Pesquisa Independente
Execução assistida por agentes computacionais autônomos sob governança pré-registrada
22 de agosto de 2026 — Tamesis Research Archive (CC BY 4.0)
PREPRINT — sem revisão por pares; todos os dados, códigos e ledgers de decisão estão no repositório público
Abstract. We report the outcome of a systematic, adversarial adjudication of a large interdisciplinary research archive against real external references (PDG, CODATA, Planck, SPARC, Gaia, Odlyzko). The methodology — pre-registered decision criteria, provenance-tracked reference values, and mandatory independent adversarial reproduction of every positive finding — closed more than thirty quantitative claims. The dominant outcome is negative: a 16-candidate search for a cross-domain time-series invariant closed null; four cosmological tests closed inconclusive after real confounders were demonstrated; and the archive's numerical constant fits (e.g. $\sin^2\theta_W = 3/13$) were refuted at 7.5–82$\sigma$ or shown to be non-identifiable parameter tuning. One claim partially survived: the U$_{1/2}$ universality class of randomly perturbed permutations. Characterizing it, we derive — and adversarially verify by exact enumeration, independent re-derivation, and Monte Carlo at fresh parameter values — a closed form for its limit function, $\varphi_\infty(c) = \int_0^1 e^{-ct^2}\,dt = \tfrac{1}{2}\sqrt{\pi/c}\,\operatorname{erf}(\sqrt{c})$, which corrects the archive's original conjecture $(1+c)^{-1/2}$ (excluded analytically at first order: $a_1 = 1/3 \neq 1/2$) and identifies the conditional law as the fixed-parameter case of Hansen & Jaworski (2014), of which our result is the Poisson mixture — a closed form we did not find published. We argue that the negative results, obtained under the same discipline that produced the positive one, are the methodological contribution: the survival funnel is what a self-correcting archive looks like.
Resumo. Relatamos a adjudicação sistemática e adversarial de um arquivo de pesquisa interdisciplinar contra referências externas reais. A metodologia — critérios de decisão pré-registrados, proveniência de todo valor de referência e reprodução adversarial independente obrigatória para todo achado positivo — fechou mais de trinta alegações quantitativas. O desfecho dominante é negativo; uma alegação sobreviveu parcialmente, e a sua caracterização produziu uma forma fechada derivada e verificada adversarialmente para a função-limite da classe U1/2, corrigindo a conjectura original do arquivo. Defendemos que os resultados negativos, obtidos sob a mesma disciplina que produziu o positivo, são a contribuição metodológica central.

1. Introdução

Arquivos de pesquisa de longa duração acumulam alegações quantitativas de força epistêmica muito desigual: derivações, ajustes, coincidências numéricas, saídas de simulação e conjecturas convivem lado a lado. O arquivo Tamesis — um programa independente com mais de 280 registros auditados — enfrentou esse problema da forma mais direta possível: submetendo as próprias alegações a um laboratório de adjudicação (o Discovery Lab) desenhado para fechá-las contra dados externos reais, com regras que tornam o resultado negativo tão publicável quanto o positivo.

Este artigo sintetiza o desfecho completo desse programa até agosto de 2026. Ele tem duas contribuições. A primeira é metodológica: um protocolo executável de adjudicação — pré-registro de critérios antes de qualquer cálculo, proveniência obrigatória de valores de referência (nenhum número digitado de memória), validação sintética antes de dado real, e reprodução adversarial independente para todo achado positivo — que, aplicado com agentes computacionais autônomos, fechou mais de trinta alegações em ciclos de horas, não meses. A segunda é um resultado matemático: a função-limite exata da classe de universalidade U1/2, derivada (não ajustada), com verificação adversarial em quatro superfícies independentes.

2. Metodologia

O laboratório opera sob uma máquina de estados explícita (CANDIDATE_FORMULATING → … → CLOSED_*), na qual estados terminais negativos (CLOSED_NULL, CLOSED_INCONCLUSIVE) são catalogados com o mesmo peso que replicações positivas. Cinco regras foram invariantes em todos os testes aqui relatados:

(i) Critérios antes do cálculo. Cada frente fixa, em nota de metodologia commitada antes de qualquer comparação com dados reais, o que contará como "consistente", "reproduzido" ou "refutado". Correções posteriores são limitadas a um adendo datado e delimitado. (ii) Proveniência total. Valores de referência (PDG, CODATA, Planck) são obtidos por consulta direta à fonte, com URL, data e valor citados; fonte inacessível é reportada como inacessível, nunca substituída de memória. (iii) Validação sintética primeiro. Nenhuma pipeline toca dado real sem antes recuperar um caso com resposta conhecida; quatro dos dezesseis candidatos da linha de invariantes fecharam nessa etapa, sem jamais tocar dado real. (iv) Reprodução adversarial obrigatória. Todo achado positivo é atacado por um agente independente, com implementação própria escrita antes de ler o código original, semente própria e, quando possível, rota matemática distinta. (v) Nenhuma reformulação pós-resultado. Hipóteses e critérios não mudam depois de vistos os dados reais; apenas bugs de implementação demonstrados podem ser corrigidos, com registro.

3. Resultados negativos: o funil de sobrevivência

Funil de sobrevivência do programa empírico
Figura 1. O programa empírico completo. Cinza: alegações/candidatos testados por linha; verde: sobreviventes após reprodução adversarial. A linha TRI-RG (busca de invariante cross-domain em séries temporais) fechou CLOSED_NULL com 16/16 candidatos sem sobrevivente; as quatro tentativas cosmológicas (SPARC/MOND, binárias largas do Gaia) fecharam inconclusivas após demonstração de confundidores reais; a adjudicação numérica do núcleo refutou seis de sete alegações. Os sobreviventes: dois achados replicados sobre zeros de ζ e a função-limite U1/2 (Seção 5).

3.1. Invariantes cross-domain: 16/16 nulos

A linha mais longa do programa testou se existe um par (mapa de coarse-graining, observável $I(X)$), definido uma única vez, capaz de detectar transições de regime documentadas em domínios reais genuinamente distintos (sismologia, EEG, ECG, mercados, geomagnetismo, vulcanologia, hidrologia, epidemiologia). Dezesseis candidatos ao longo de cinco rodadas — de critical slowing down e DFA a entropia de transferência e complexidade de ε-máquinas (CSSR completo) — produziram zero invariantes sobreviventes. Quatro achados brutos com $p<0{,}05$ foram refutados pela reprodução adversarial, que em todos os casos encontrou uma explicação mundana concreta: um nulo ETAS subcrítico, falha de generalização entre sujeitos, um terremoto M6,9 dominando a decomposição espectral e um artefato instrumental de baixa frequência eliminado por um filtro passa-alta padrão. A análise retrospectiva revelou que os candidatos colapsam em apenas ~4 eixos matemáticos latentes — persistência/taxa de entropia, taxa de relaxação local, densidade de recorrência via embedding e estatística de cauda — sugerindo que o espaço das estatísticas não-lineares "óbvias" foi efetivamente coberto.

3.2. Cosmologia: quatro fechamentos inconclusivos e duas fabricações detectadas

A auditoria descobriu que os dois resultados cosmológicos de manchete do arquivo legado ("EFE CONFIRMED, $p<10^{-6}$" e "MOND DETECTED" em binárias do Gaia) repousavam sobre dados fabricados — curvas de rotação digitadas à mão para galáxias inexistentes no catálogo SPARC real e uma lista de binárias com source_id sequenciais artificiais. Refeitos com dados reais (SPARC 175 galáxias; El-Badry et al. 2021, 43.147 sistemas pós-corte) sob pré-registro, os quatro testes fecharam inconclusivos por razões estruturais demonstradas — diluição por projeção e multiplicidade oculta não resolvida, esta última suficiente sozinha para explicar todo o sinal residual. Nenhum veredito foi aceito contra as salvaguardas pré-registradas.

3.3. Adjudicação dos ajustes de constantes

Adjudicação de constantes e valores de M_c
Figura 2. Esquerda: discrepância em σ (escala log) das alegações de constantes contra PDG/CODATA/Planck 2018, sob o esquema mais favorável a cada alegação. A única barra abaixo de 2σ ($n_s$ do bounce) foi demonstrada não-identificável: o parâmetro ξ foi escaneado até atingir $N>60$, e $n_s = 1-2/N$ segue automaticamente. Direita: os quatro valores mutuamente inconsistentes de $M_c$ no núcleo (vermelho), divergindo em até ~190×, e o valor que a mesma fórmula produziria sob o ramo de $a_0$ favorecido pelos próprios testes do laboratório (verde).

$\sin^2\theta_W = 3/13$, marcado "CONFIRMED, 0,19%" no arquivo, está a 7,5σ da referência PDG no esquema $\overline{\mathrm{MS}}$ — o mais favorável — e o código-fonte contém o valor-alvo hardcoded, configurando ajuste, não previsão. $\alpha^{-1} = \Omega^{1.03}$ é um ajuste de um parâmetro contínuo a um único número (zero graus de liberdade), e sua própria aritmética interna não fecha ($\Omega^{1.033}=136{,}956$). A densidade de energia escura "holográfica" reproduz, por identidade algébrica, a densidade crítica — a razão alegada de 1,46 é exatamente $1/\Omega_\Lambda$. A lei de massas de quarks por comprimento de corda de nós ideais falha na validação leave-one-out (5/6 quarks, erros de até 52×) e fica no percentil 86/70 de um nulo de permutação sobre atribuições alternativas de nós.

4. Resultados positivos replicados sobre zeros de ζ

A única linha continuamente aberta produziu dois números replicados sobre os zeros reais de Riemann (tabelas de Odlyzko, três regimes de altura até #10²¹): (i) sequências de gaps grandes consecutivos são menos comuns que sob reordenação aleatória — sinal na direção oposta à hipótese original, reportado como tal e aprovado no gate de replicação em altura independente; (ii) o gap mínimo normalizado entre $N$ zeros escala como $N^{-1/3}$ ($\hat\beta = -0{,}3395$, IC95% $[-0{,}387; -0{,}287]$), consistente com GUE e excluindo Poisson ($N^{-1}$) e GOE ($N^{-1/2}$) — confirmação numérica de universalidade já conhecida, catalogada sem alegação de novidade. Um terceiro teste (máximos de $\log|\zeta|$ em intervalos curtos, discriminando a correção $-\tfrac{3}{4}\log\log\log T$ de Fujii–Harper–Keating do $-\tfrac{1}{4}$ do modelo iid) está pré-registrado e em execução; nenhum resultado é reportado aqui. Nenhuma dessas análises constitui progresso sobre a Hipótese de Riemann, e nenhuma alegação nesse sentido é feita.

5. O resultado principal: a função-limite exata da classe U1/2

A única alegação do núcleo que sobreviveu parcialmente à adjudicação foi a classe de universalidade U1/2: tome uma permutação uniforme de $[n]$ e redirecione cada ponto, independentemente, com probabilidade $c/n$, para um destino uniforme; seja $\varphi(n,c)$ a fração esperada de pontos em ciclos do grafo funcional resultante. O arquivo alegava, como "teorema", $\varphi_\infty(c) = (1+c)^{-1/2}$. A reprodução adversarial confirmou o expoente de cauda $1/2$ e a distinção decisiva frente às classes concorrentes ($\Delta\mathrm{AIC} > 2600$), mas refutou a forma exata: os desvios são sistemáticos e estáveis até $n = 64.000$.

A caracterização subsequente derivou a forma correta. Explorando a órbita de um ponto típico no objeto-limite (estrutura de ciclos Poisson–Dirichlet(1) da permutação, redirecionamentos como processo de Poisson de intensidade $c$), a probabilidade de sobrevivência cíclica condicional à massa percorrida $t$ fatoriza como $(1-t)e^{-ct^2}$ — um cancelamento exato no funcional gerador de Poisson é o que torna a forma fechada possível — dando, com zero parâmetros livres:

$$\varphi_\infty(c) \;=\; \int_0^1 e^{-ct^2}\,dt \;=\; \frac{1}{2}\sqrt{\frac{\pi}{c}}\, \operatorname{erf}(\sqrt{c}),$$

com série inteira $\sum_k \frac{(-c)^k}{k!(2k+1)} = 1 - \tfrac{c}{3} + \tfrac{c^2}{10} - \dots$ e cauda $\tfrac{\sqrt{\pi}}{2}c^{-1/2}$. O primeiro coeficiente já decide a questão analiticamente: $a_1 = 1/3$, enquanto a forma original exigiria $1/2$. Condicionada a $K$ redirecionamentos sobreviventes, a fração cíclica tem média $4^K (K!)^2/(2K+1)!$ — as integrais de Wallis — e lei $2Kx(1-x^2)^{K-1}$, que identificamos como exatamente o caso de parâmetro fixo do modelo de "permutações corrompidas" de Hansen & Jaworski [4]; nosso resultado é a sua mistura de Poisson, cuja forma fechada erf não encontramos publicada (busca não exaustiva).

Função-limite U1/2: forma derivada vs original
Figura 3. A função-limite derivada (azul) contra a forma original do arquivo (vermelho tracejado), com Monte Carlo do objeto-limite em grade held-out nunca usada no ajuste (pontos pretos, $N=2\times10^5$/célula) e Monte Carlo adversarial independente em valores de $c$ inéditos, $n = 65.536$ (quadrados verdes). Painel inferior: resíduos em σ contra a forma derivada — 17 células, zero parâmetros ajustados, $\chi^2_{17} = 19{,}90$ ($p = 0{,}28$).
Convergência exata em n finito e discriminador a1
Figura 4. Verificação adversarial por enumeração exata. Esquerda: valor exato de $\mathbb{E}$[fração cíclica] somando sobre todos os $n^n$ mapas ponderados ($n = 4..7$), convergindo monotonicamente às linhas-limite da forma erf (pontilhadas). Direita: o coeficiente de primeira ordem exato segue $a_1(n) = (n^2-1)/(3n^2) \to 1/3$, excluindo analiticamente o valor $1/2$ exigido pela forma original.

A verificação adversarial atacou o resultado em quatro superfícies independentes, com números travados antes de ler a derivação original: enumeração exata em $n$ finito (validada contra enumeração tripla de força bruta, diferença $< 3\times10^{-16}$), Monte Carlo em valores de $c$ nunca usados, re-derivação analítica cega — que reproduziu a mesma fórmula por rota própria — e a lei condicional de Wallis. Veredito: confirmado nas quatro; a citação de Hansen–Jaworski foi verificada no PDF original. Permanecem como limitações honestas: a passagem $n$ finito $\to$ contínuo está controlada empiricamente (até $n = 65.536$), não formalizada; e a lei distribucional completa para $K \geq 2$ segue conjectura, ainda que agora com suporte KS adicional.

6. Discussão

O contraste central deste programa é deliberado: a mesma disciplina que refutou seis alegações do núcleo e fechou dezesseis candidatos como nulos é a que sustenta o único resultado positivo. Sem os fechamentos negativos, a forma fechada da Seção 5 seria apenas mais uma curva bem ajustada num arquivo cheio delas; com eles, ela é o sobrevivente de um funil que demonstrou, caso a caso, que sabe matar alegações — inclusive as suas próprias. Três lições metodológicas merecem registro. Primeiro, a reprodução adversarial com implementação independente antes da leitura do código original foi o único mecanismo que capturou todos os artefatos (quatro achados $p<0{,}05$ refutados por explicações mundanas concretas). Segundo, a validação sintética obrigatória evitou que quatro candidatos sem identificabilidade consumissem dados reais. Terceiro, a exigência de proveniência transformou disputas de interpretação em questões verificáveis de fonte.

O que este artigo não afirma. Nenhum progresso sobre Problemas do Millennium; nenhuma evidência de que o universo seja computacional, holográfico ou simulado; nenhuma detecção de física além do modelo padrão ou de ΛCDM; nenhuma medição de $M_c$ — a fronteira experimental de interferometria de ondas de matéria permanece ~$2\times10^6$ vezes abaixo da escala relevante, como o próprio arquivo registra. O resultado da Seção 5 é matemática combinatória sobre um ensemble específico, e sua conexão com qualquer sistema físico permanece não estabelecida.

7. Conclusão

Um arquivo de pesquisa pode ser tratado como objeto experimental: suas alegações enumeradas, seus critérios travados, seus números confrontados com o mundo, e seus erros documentados com o mesmo cuidado que seus acertos. O saldo aqui — dezenas de fechamentos negativos, dois achados replicados sobre zeros de ζ e uma função-limite exata derivada e verificada adversarialmente — é o que um programa auto-corretivo produz quando o resultado negativo é tratado como informação, não como derrota. Todos os ledgers de decisão, notas de metodologia, códigos, dados e vereditos adversariais estão públicos no repositório, commit a commit, na ordem em que aconteceram.

Referências

  1. J. Hansen, J. Jaworski, "Structural transition in random mappings", Electron. J. Combin. 21(1) (2014), #P1.18.
  2. T. Ashton, J. Cantarella, M. Piatek, E. Rawdon, "Knot tightening by constrained gradient descent", arXiv:1002.1723 (2010).
  3. Particle Data Group, Review of Particle Physics (2025), pdg.lbl.gov.
  4. Planck Collaboration, "Planck 2018 results. VI. Cosmological parameters", arXiv:1807.06209.
  5. S. S. McGaugh, F. Lelli, J. M. Schombert, "Radial acceleration relation in rotationally supported galaxies", Phys. Rev. Lett. 117, 201101 (2016).
  6. K. El-Badry, H.-W. Rix, T. M. Heintz, "A million binaries from Gaia eDR3", MNRAS 506, 2269 (2021).
  7. K.-H. Chae, "Breakdown of the Newton–Einstein standard gravity at low acceleration in internal dynamics of wide binary stars", ApJ 952, 128 (2023).
  8. A. M. Odlyzko, tabelas de zeros da função zeta de Riemann, www-users.cse.umn.edu/~odlyzko/zeta_tables/.
  9. A. J. Harper, "A note on the maximum of the Riemann zeta function, and log-correlated random variables", arXiv:1304.0677; Y. Fujii; J. P. Keating e colaboradores, linhagem FHK para máximos em intervalos curtos, arXiv:1202.4713, arXiv:1612.08575.
  10. C. R. Shalizi, K. L. Klinkner, "Blind construction of optimal nonlinear recursive predictors for discrete sequences", UAI (2004).
  11. T. Schreiber, A. Schmitz, "Improved surrogate data for nonlinearity tests", Phys. Rev. Lett. 77, 635 (1996).
  12. D. H. M. Fulber, Tamesis Research Archive — ledgers de governança (DECISION_LEDGER.yaml, TEST_QUEUE.yaml), notas de metodologia e vereditos adversariais, 2026. CC BY 4.0.
Este preprint sintetiza resultados registrados no repositório público do Tamesis Research Archive. Cada número citado tem um arquivo de resultado, um log e uma nota de metodologia commitados; as figuras são geradas por script determinístico (ARTIGO_DISCOVERY_LAB/figures/make_figures.py) diretamente dos JSONs de resultado, sem valores redigitados. A menção a fontes externas (PDG, CODATA, Planck, Gaia, PhysioNet, Odlyzko) não implica endosso. A execução computacional foi assistida por agentes autônomos operando sob os protocolos de governança descritos na Seção 2; a responsabilidade científica e editorial é do autor. Licença CC BY 4.0.