# Reports of 2026-09-07: data search, script review, source readings

Historical record. Agents' final reports from the 2026-09-07 compute and
source-reading session, kept so the trail survives the session. The open
review specification for this session is
[../../review-request-0907.md](../../review-request-0907.md); a reviewer
files the next numbered report here. They are
evidence for the live notes, not live notes. The current understanding lives
in the owning files named below.

| report | kind | owning live record |
|---|---|---|
| 01-shifted-prime-data-search.md | literature and data search (negative) | SEARCH-CONVENTIONS.md row "shifted-prime Mobius numerics"; shifted-prime-mobius-sums.md |
| 02-centered-discrepancy-script-review.md | adversarial code-vs-definition review | centered-discrepancy-measurement.js (fixes applied before the bound run) |
| 03-erdos-687-source-read.md | source reading | G2-STATE.md PROVEN list; paper/two-class-jacobsthal.md §3 caution |
| 04-kalmynin-konyagin-reread.md | source reading, R1/R2 confirmed, HR 2.2 identified via Richert | paper/kk-lower-bound.md §11.1, §11.2 riders |
| 05-kk-section-62-review.md | dependency review of Theorem B's sieve step | paper/kk-lower-bound.md §6.2 (now a remark), §11.2 |
| 06-kk-section-62-redteam.md | red team of 05's verdict; adds the Corollary 1 representative slip | paper/kk-lower-bound.md §6.2, §11.2 |
| 09-kk-theoremB-referee.md | referee pass on Theorem B after the demotion: two defects (Prop. 3 Case 1 inequality; §11.2 self-contradiction), thirteen wording edits E1–E15, dependency table, residual list | paper/kk-lower-bound.md §5, §6, §8, §9, §11.2 (E1–E13 applied 2026-09-07, E3 with a re-embed of attack-kk-substitution.js; E14, E15 not applied) |
| 08-halberstam-richert-thm22-access.md | source access; HR Theorem 2.2 reached through the Dover OCR index (p. 68) and the 1971 Mémoire Theorem 3; page image unread | paper/kk-lower-bound.md §11.2; review-request-0907 §3 item 1 |
| 07-kk-corollary1-published-version.md | the slip checked in the published Izvestiya version; artifact md5s | paper/kk-lower-bound.md §11.1, §11.2; history/staging/lit-pdf-kalmynin-konyagin.md |
| 10-independent-review-0908.md | Lane V (2026-09-08) independent review of review-request-0907: six dispositions, own CRT finite check (nine configurations), tolerance corrections to the D_y identity reading, page-image custody for Richert 11.3 and the 1971 Mémoire, embed.js --check tooling finding | research/review-request-0907.md; research/centered-discrepancy-measurement.md §3; research/shifted-prime-mobius-sums.md §3; paper/kk-lower-bound.md §11.2, §11.4 |
| 12-halberstam-richert-second-access.md | Lane W (2026-09-08, second dispatch) custody pass on H–R 1974 Theorem 2.2: thirteen channels, no page image, OCR of both clauses, footnote and Remark, hypothesis matrix against the substitution, recoverable locators | paper/kk-lower-bound.md §11.2, §11.4, §12; research/SEARCH-CONVENTIONS.md |
| 11-two-class-theorem2c-source-review.md | Lane W (2026-09-08) source review of Theorem 2c: 18-row hypothesis table, chain re-derived, smooth-number and Rosser–Schoenfeld inputs read at page image, Mertens-error misattribution found (F1), finite CRT composition check | paper/two-class-jacobsthal.md §3, §6; paper/kk-lower-bound.md §6.3, §6.5, §11.4, §12, Appendix A |