Remark: Verification is not claimed here

The catalogue states that results sit at different stages of verification. Not every manuscript has a Lean formalization. The repository reports that about 300 of 719 top-line results are formalized, near 42 percent, after six further formalizations and five supporting additions on 7 October 2026. Reasoning summaries are released for families 007, 017, 087, 102, 159, 197, 221, 271, 287, and 362. Some unformalized results could have issues. The Lean files are not ingested here, and a formalization percentage is not a series certificate. The companion does not check the proofs. The authors are OpenAI. This record is not a premise. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.