Zeta Lab · the record

The record

The index behind the front page. Every figure is read from teal-sea/zeta-lab at f402358c6 when these pages are built.

Registered

Entry	Result	Status
PALOMAR-2026-08-21-000004	An exact supremum for the F1 window functional	Unconditional. Origin original.
PALOMAR-2026-08-25-000005	The n-point bound, with unconditional three- and four-point instances	Four of seven theorems unconditional.
PALOMAR-2026-08-21-000012	The Davenport-Heilbronn function, built in Lean	Unconditional. Origin source-based.

Ainta's seven-point bound, formalised to its one hypothesis: submitted, closed without registration when the registry's own infrastructure failed.

The 98-hunt timeline: chronological inventory of exploratory research hunts from git history.
The full research library: browse the complete library and its document readers.
Source code and proofs: the code, Lean proofs, data and full version history.
The 4 submissions in full: each with its theorems as advertised, what is not claimed in the author's words, provenance, and the submission text.
How the lab works: the certainty ladder, the controls, the Lean discipline, the agents, the intervention ledger.
The documents: the course, the working record, the entry guides, and the demonstrations you can run.