All issues

Search results

Case log: two hunts are numbered #111 (r_c7f779 and outband_certificate), tests/test_hunt_numbering.py is red on main

Status: Open.

#185 In teal-sea/zeta-lab;

· teal-sea opened on Sep 6, 2026

rescue/wscratch-eform3: 13 of 14 rescued Lean files compile; EForm3/Numerics.lean has 3 proof errors and blocks the merge

Status: Open.

#169 In teal-sea/zeta-lab;

· teal-sea opened on Sep 1, 2026

field_audit prose says fifteen claims, its verified table has fourteen; RUNS.md keeps the pre-#152 decimal tails

Status: Open.

#158 In teal-sea/zeta-lab;

· teal-sea opened on Aug 29, 2026

HydraDB's 90.79% on LongMemEval-S: the "+5.0pp over the strongest competing system" claim is false, and the number has no public harness

Status: Open.

#154 In teal-sea/zeta-lab;

· tlince opened on Aug 26, 2026

The third autocorrelation constant is stated against a functional its verifier does not compute

Status: Open.

#123 In teal-sea/zeta-lab;

· teal-sea opened on Aug 24, 2026

Does a 2013 human construction beat AlphaEvolve's Problem 42 world record?

Status: Open.

#122 In teal-sea/zeta-lab;

· teal-sea opened on Aug 24, 2026

Third instance of the ceiling procedure: Bloch's constant (Wikstrom 2026)

Status: Open.

#113 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026

Does the n-point family reach the configuration ceiling, or stop short of it?

Status: Open.

#112 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026

Fifth instance of the ceiling procedure: convex-program certificates for Erdos minimum overlap

Status: Open.

#111 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026

Fourth instance of the ceiling procedure: LP/SDP certificates for sphere packing and kissing numbers

Status: Open.

#110 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026

zeta23ext does not assemble on main: RetentionWired, EForm2.Bridge, TruncEst.Kernel (one pulls in sorryAx)

Status: Open.

#101 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026

Composite spectral lines discriminate zeta from Davenport-Heilbronn and across the Epstein family

Status: Open.

#93 In teal-sea/zeta-lab;

· teal-sea opened on Aug 23, 2026