Remark: Status of the catalogue

The public collection, dated 6 October 2026, contains 719 manuscripts organized into 372 families. The history note of 7 October 2026 records withdrawals, repairs, citation updates, and additional formalizations. A family groups a principal result with companion arguments, consequences, or alternative proofs. Entry numbers follow the catalogue order and are not a ranking. The authors are OpenAI. This companion stores the family claims and the manuscript abstracts so they can be searched beside the Enter sheets. Storage is not verification. The catalogue does not close any standing problem of this series. O.1 stays NOT_CLOSED. No quantum coefficient is admitted. No compilation is asserted.