A support run launched from fulcrum for the run behind hunts/r_186989/.
The bounded question. Treat $A+A$ off the diagonal as lying in the multiplicative semigroup generated by $S$. Work the additive energy, Freiman, sum-product and multiplicative-group-intersection angles. Derive quantitative dependence on $k$ rather than citing qualitative finiteness. Name the narrowest theorem upgrade that would yield $\log g(k) = o(k)$. Audit hunts/r_186989/RESULTS.md rather than trusting it.
May write: this directory, and one case-log 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 rules. Nothing here is evidence for or against RH (docs/08). The word reserved to zeta/rigor.py and the Lean arm is not used here. Finite data alone is not progress; the deliverable is a proved statement or a proved obstruction.