/teal-sea
teal-sea / zeta-labstate of record · compiled 02 Nov 2026 · revision b09fa4dd · source

Library · hunts/oob_envelope/referee/PROGRESS.md

Odd referee completion, 2026-09-28

398 words · 50 lines · source

PASS: independent odd bound >2.99e-44 at L=119/100. Zhu L=4/5, T=150, H=0 validation passes with lower endpoint 7.99e-15. The pole-sign fault and negative-operator control both pass. The independent result was frozen at cefd6363 before reading the worker's result JSON and derivation; no odd-worker Python code was read or imported. ODD_REVIEW.md records the analytic audit, full error budget and limitations.

All 132 Modal inputs completed: 130 assemblies and two reducers, zero failed or inconclusive inputs. Three factor proposals include one expected refusal of an enclosed negative operator. Recorded input work is below 2.3481 core-hours; the conservative app-occupancy bound is below 2.689 hours. All five owned apps are stopped with zero tasks. No quota block, no push. The deciding source, exact inputs, head matrices, factors, controls, endpoint pairs and manifests are saved under outputs_odd/. Grade: enclosure-carrying numerical step plus ordinary analytic derivation, pending external verification. No odd task remains open. Existing hunt-level contribution paperwork gaps are documented, outside this lane's scope.

Earlier even referee progress, 2026-09-28

COMPLETE: L=1.19 passes independent review on the full even sector. The CC-192/Arb route, N=500, proves lambda_min(R_H) >5.7179e-48. This exceeds both 5.7178e-48 and the author's 5.71789230595e-48 endpoint. The same exact dyadic witness gives R_H <5.776e-48 and, after subtracting 1e-47 I, a Rayleigh value <-4.224e-48. Cholesky rejects that mutant. K1 and the independent tail/coupling bounds pass. REVIEW.md opens with the five-line verdict and contains the ordinary analytic soundness argument.

Scientific grade: independently reproduced enclosure-carrying numerical step plus the previously reviewed ordinary reduction Q >= R_H. Even sector only, not kernel-checked, external human verification pending.

All 100 assembly blocks are complete and hash-verified. Sources: frozen assembler 548f9a4, final runner/reducer 119280a. Deciding artifacts are under outputs_L119/119280a/; the raw files also remain on Modal volume oob-envelope-referee. Downloaded hashes, decompressed matrix/factor hashes and input hashes all match the durable manifests.

All five Modal apps are stopped with zero tasks. Total recorded work is <2.637 core-hours, including the safe precision refusal and nine interrupted inputs. A conservative app-window occupancy estimate is <2.855 core-hours. The four-hour ceiling was retained. The preemption, guard refusal and exact nine-unit recovery are fully recorded in RUNS.md; no completed block was recomputed. The L=4/5 result remains preserved at b65ef69 and in REVIEW.

All repository writes stayed in referee/. No author code, local numerical run, GitHub Actions, push, PR, external message or publication was used. No task remains open in this referee batch.