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

Library · hunts/weil_propagation/ghost_zeros/RUNS.md

RUNS: estimates written before launch, actuals after

818 words · 49 lines · source

Machine: the shared swarm box (32 vCPU, 115 GiB), 1-minute load average 58 to 216 during these runs (other workflows), MemAvailable above 77 GiB throughout. Every run is one single-threaded process, under 1 GB, checkpointed per window c into units/<variant>_<kind>.json (a rerun skips finished windows). At most seven of these processes ran at once, within the cap of eight. All times are wall-clock on that loaded box: measured, not pinned by any test, and only good for the next estimate.

rununit timed firstestimate written before launchactual (per window, then total)
ghost.py arb dh (primary, 7 c)c = 29 in the scratchpad probe: 6.5 s ground state, under 3 s countingabout 30 s per c, 4 min22 to 37 s, 206 s (after one void launch, below)
ghost.py arb zeta (7 c)c = 30: 5 s at 900 bits, plus the 3200-bit LDL stepsabout 1.5 min per c, 10 min52 to 90 s, 497 s
ghost.py windows, first version (Z_epstein scan)one Z_epstein evaluation: about 10 s on the loaded box450 evaluations: over an hourstopped after about 12 min; replaced (RESULTS s0)
ghost.py windows, PARI versionlfunzeros: 0.01 s; confirmations 10 s per Z_epstein evaluationabout 10 min117 s (Epstein), 544 s in all
ghost.py arb dh --variant=q1, sham, scan, scanfineas primary30 s per c, 12 min for all four16 to 29 s, 162 s; 19 to 28 s, 163 s; 15 to 23 s, 116 s; 17 to 24 s, 61 s
ghost.py float dh (dps 60)its first window, c = 29written after that unit: 3 min per c, 21 min138 to 180 s, 1088 s
ghost.py float zeta (dps 320)scaled from float dh by the cost of dps 320 arithmetic (about 3x)9 to 15 min per c, 1 to 1.75 hours for 7 c301 to 464 s per c
ghost.py arb epstein, dedekind (primary and prec2)scaled from the stored Epstein scan (4 s per cell at N = 128) plus the counter1 min per c, 30 min for the four runs19 to 28 s, 12 to 22 s, 27 to 42 s, 18 to 26 s; 698 s in all
ghost.py float epstein, dedekind (dps 60)as float dh3 min per c127 to 212 s; 79 to 145 s per c
ghost.py arb * --variant=prec2 (dh, zeta)as primary at 1.6x the precision1.5x primary25 to 37 s, 203 s; 66 to 75 s, 482 s
ghost.py arb dh 29 31 47 --variant=N64, N192, N256N = 64 firstN^3 scaling from N = 128: 5 s, 1 min, 3 min per c7 to 15 s; 39 to 56 s; 76 to 180 s
ghost.py gap2, s2, resolutionreuse of the primary ground statesunder 1 min per c7 to 17 s per c (gap2); resolution 1 to 3 min per diagnostic

Void launch, kept on record. The first ghost.py arb dh launch produced two void units (c = 31 and 63/2): the residual of the shifted inverse iteration reached rounding level, its ball contained 0, sqrt of the residual's dot product returned NaN, the eigenvector radius eta became NaN, and every sign and every segment of those units was undecided (the unit printed "ghost = False" with no sign change at all). Fixed by ghost.residual_upper (square root of the sum of squared upper bounds) plus a finiteness guard; the two units were discarded and the whole DH run repeated; test_ghost.py pins the fix.

Stop and resume, kept on record. The campaign's workflows were stopped at the usage limit at 18:10Z on 2026-10-21, after the last float unit (float_epstein, c = 47) had been written but before ghost.py summary had merged the float units. The lane was resumed at about 21:20Z by a second agent in the same worktree, after checking that no process was still writing it (no file had changed since 18:03Z). No unit was recomputed; summary was rerun, which completed S7, and the prose was revised against the merged table. The resume ran only the summary and the lane's tests (single process, under a minute of compute besides the tests).

Failed launch, kept on record. The first ghost.py float epstein and float dedekind launches stopped at their first window with a TypeError: zeta.epstein.log_derivative_coefficients takes a callable, and was handed a list. Fixed in _float_epstein; both runs repeated from their first window.