Support run for hunts/r_186989 (Erdős #126). Arm label construction-refutation: search for algebraic, CRT, recursive, tensor or composition constructions giving $|A|$ exponential in $|S|$, and refute #126 if one exists. If composition is impossible, derive a rigorous anti-composition obstruction useful to the proof side.
May write: this directory, and the Hunt #102 entry in hunts/README.md.
May not write: any other hunts/ directory, zeta/, harness/, lean/, meta/, hunts/frontier_math/, or any root markdown file.
Standing: nothing here is evidence for or against RH (docs/08). The reserved word that belongs to zeta/rigor.py and the Lean arm does not appear in this directory, in any sentence, including a disclaiming one. Every claim is graded: proved, measured, or conditional, and the conditional ones name what they are conditional on.