1# 2026-11-01 — Stage 1: literature extraction23**Scope.** Mandate section 7, Stage 1 (structured research database) and Phase I of section 174(literature database, research-gap report). Files written: `paper/references.bib`,5`literature/db.yaml`, `literature/records.md`, `literature/research_gaps.md`, `literature/unverified.md`.67**Method.**81. Built a polite Crossref query helper (`query.bibliographic`, serial requests, retry on HTTP 429,9 on-disk cache) and ran four batches covering the mandate's required coverage (ECC foundations,10 ECDLP algorithms and lower bounds, signatures and side channels, SHA-2 cryptanalysis, SAT/formal11 tools, automated discovery). Each entry's title, authors, year, venue, volume/pages and DOI were12 taken from the Crossref record or the DOI landing record.132. Items without a Crossref record were verified through IACR ePrint pages (2004/031, 2011/187,14 2012/318, 2016/382, 2020/014, 2026/232, 2024/349, 2015/350, 2014/368, 2015/143, 2017/1113,15 2008/131, 2008/270, 2014/302, 2016/374, 2009/541), the arXiv API (2406.20072, 2408.06292,16 2506.13131), official standard URLs (SEC 1 v2.0 and SEC 2 v2.0 title pages, FIPS 180-4 PDF,17 FIPS 186-5 DOI, RFC 6979, BIP 340/341 headers from the bitcoin/bips repository, bitcoin.pdf,18 SafeCurves, libsecp256k1 `src/scalar_impl.h`), the CEUR-WS Vol-3717 index, the JKU record of the19 SAT Competition 2020 description, the Certicom ECC Challenge PDF (solved-challenge tables) and20 web searches for the Satoh–Araki 1998 bibliographic data.213. Numeric claims used in `db.yaml` / `records.md` (step counts, complexities, hardware, dates) were22 read from abstracts (ePrint/arXiv) or from the Certicom tables, not from memory. Where a requested23 figure could not be found (the "117.35-bit" ECDLP, a post-2009 prime-field record, Blackburn–Murphy24 1998) it was left out and documented in `unverified.md`.254. A scratch LaTeX build (`\nocite{*}`, `aer.bst`, pdflatex + bibtex + pdflatex ×2 in /tmp) was run26 to make sure the bibliography compiles without BibTeX errors or warnings; see the build note below.2728**Outcome.** 129 BibTeX entries, all verified (see the summary in the final report); 82 database29items; one ECDLP-records table and one SHA-2 records table; a two-page gap report that lists which30mandate claims are already settled (√6 endomorphism bound, no sub-exponential prime-field ECDLP,31Schnorr/ECDSA proof structure, SHA-256 frontier 31/37/39 steps) and eight candidate directions D1–D832for Stage 2.3334**Corrections to the brief discovered during verification.** LadderLeak is by Aranha, Novaes,35Takahashi, Tibouchi and Yarom (key kept as `aldaya2020ladderleak` at the coordinator's request);36Lee–Cheon–Hong 2011 is ePrint 2011/187 with a different title; Cheon–Hong–Kim's J. Cryptology 201237paper is titled "Accelerating Pollard's rho algorithm on finite fields"; the 2016 FPGA record is38sect113r2 with no "117.35-bit" figure; "Bailey et al. 2009" describes a planned attack on ECC2K-13039that the Certicom document still lists as unsolved.4041**Next.** Stage 2 hypothesis generation from `research_gaps.md` section 4; the discovery log42(`research_log/discovery_log.jsonl`) starts when the first hypothesis is evaluated.4344**Build note.** `/tmp/bibtest`: `pdflatex` + `bibtex` (BibTeX 0.99e, TeX Live 2026, `aer.bst`) +45`pdflatex` ×2 with `\nocite{*}` produced 129 `\harvarditem` entries, BibTeX exit 0, no warnings, no46undefined citations. Verification tally: 109 entries carry a DOI, 18 are URL-verified47(ePrint/arXiv/standards/BIPs/software), 2 have neither (Satoh–Araki 1998, confirmed through citing48sources; the SAT Competition 2020 description, confirmed through the JKU publication record).49