@misc{wesolve:TOP-30007127-A1-r1,
  title = {{Human contribution summary on TOP-30007127: Scott Duke Kominers}},
  author = {Scott Duke Kominers},
  year = {2026},
  month = {10},
  howpublished = {\url{https://we-solve.github.io/contributions/single-lattice-covering-density-of-order-n-log-n/attempt-1/r1/}},
  note = {Revision r1 of TOP-30007127-A1. Unverified research record. LLMs and submitter roles are disclosed in the record.}
}