[{"item":"formalized-2026-10-07","date":"2026-10-07","measure":"Top-line results with a formal (Lean) proof","group":"formalized","value":300,"of":719,"unit":"papers","words":"This brings the total percentage of top-line results formalized to 300 / 719 = ~42%."},{"item":"not-formalized-2026-10-07","date":"2026-10-07","measure":"Top-line results without a formal proof (our arithmetic: 719 less 300)","group":"not formalized","value":419,"of":719,"unit":"papers","words":"719 less 300 = 419 (our arithmetic, from the repository's own count)"},{"item":"withdrawn-2026-10-07","date":"2026-10-07","measure":"Papers withdrawn on 7 October 2026","group":"withdrawn","value":3,"of":null,"unit":"papers","words":"As a result, we have withdrawn the following three manuscripts:\n\n- Algebraicity of Weil classes on split abelian eightfolds\n- Algebraicity of Kuga–Satake Correspondences for K3 Surfaces\n- The rational Hodge conjecture for products of K3 surfaces\n\nThe withdrawn papers now carry notices explaining the gap and linking to the archived manuscripts. (the paper with the sign error and the two dependent papers)"},{"item":"revised-2026-10-07","date":"2026-10-07","measure":"Manuscripts revised on 7 October 2026","group":"revised","value":14,"of":null,"unit":"papers","words":"We have revised 14 other manuscripts with proof repairs, corrected statements, clearer hypotheses and dependencies, and one correction to an obsolete citation."},{"item":"catalogue-2026-10-26","date":"2026-10-26","measure":"Manuscripts in the catalogue (README, 26 October 2026)","group":"catalogue","value":721,"of":null,"unit":"papers","words":"The current catalogue contains 721 manuscripts organized into 373 families."}]