{ "analysis_date": "2026-10-08", "snapshot_history_date": "2026-10-07", "overview_cover_date": "2026-10-06", "git_commit": null, "current_groups": 372, "current_manuscripts": 719, "physical_work_folders": 749, "preprint_pdfs": 776, "pdf_pages_structurally_accessible": 36694, "context_unique_files": 251, "context_conflicts": 0, "scope_notes": 242, "lean_source_files": 0, "reasoning_trace_pdfs": 10, "reasoning_trace_tex": 1, "formal_metadata_sources": 173, "formal_metadata_main_declarations": 200, "formal_metadata_related": 30, "authors_topline_formalized": 300, "formal_run_performed": false, "independent_new_theorem_validation_found": false, "reviewed_groups": 14, "intro_theorems_manuscripts": 17, "fully_read_manuscripts": 0, "automatically_extracted_selected_pdfs": 26, "selected_pdf_pages_extracted": 1208, "withdrawn_folders": 3, "missing_current_pdfs": [], "archives": [ { "archive": "math_research_01_of_08.zip", "sha256": "5c735b4c234043dbff9be6dc7ea1d96dab0535f80607fd87d1dcb23073bbcd54", "bytes": 69857537, "crc_ok": true, "files": 1697, "physical_work_folders": 113, "preprint_pdfs": 113, "groups": [ "032", "033", "034", "035", "036", "037", "038", "039", "040", "041", "042", "043", "044", "046", "047", "048", "049", "050", "051", "052", "053", "054", "055", "056", "057", "058", "059", "060", "062", "063", "064", "065", "066", "067", "068", "193", "194", "195", "196", "197", "198", "199", "200", "201", "202", "203", "204", "205", "206", "207", "208", "209", "210" ], "current_manuscripts": 113 }, { "archive": "math_research_02_of_08.zip", "sha256": "40a51f33992504fe2298832d269280bc82c12610885dc08dcac0e2c68cdc662c", "bytes": 67558242, "crc_ok": true, "files": 1776, "physical_work_folders": 112, "preprint_pdfs": 115, "groups": [ "068", "069", "087", "088", "089", "090", "091", "092", "093", "094", "095", "096", "097", "098", "099", "100", "101", "155", "156", "157", "158", "159", "160", "161", "162", "164", "165", "166", "167", "168", "169", "170", "171", "172", "173", "174", "175", "176", "177", "178", "179", "180", "181", "182", "183", "184", "185", "186", "187", "188", "189", "190", "191", "192", "333", "334", "335", "336", "337", "338", "339", "340", "341", "342", "343", "344", "345", "346", "347", "348", "349", "350" ], "current_manuscripts": 112 }, { "archive": "math_research_03_of_08.zip", "sha256": "3ca84563769b2e4f4276b6084989f9b0184d6fdd5ddb6edb4c5f4fc709e7d3ec", "bytes": 70248777, "crc_ok": true, "files": 1666, "physical_work_folders": 109, "preprint_pdfs": 115, "groups": [ "143", "144", "145", "146", "147", "148", "149", "150", "151", "152", "153", "154", "240", "241", "242", "243", "244", "245", "246", "247", "248", "249", "250", "251", "252", "253", "254", "255", "256", "257", "258", "259", "260", "261", "262", "263", "264", "322", "323", "324", "325", "326", "327", "328", "329", "330", "331", "332", "350", "351", "352", "353", "354", "355", "356", "357", "358", "359", "360", "361" ], "current_manuscripts": 109 }, { "archive": "math_research_04_of_08.zip", "sha256": "f63163e51eff12d62acae20421c7e382f0cca78ff33fcf062b6217fa1731420d", "bytes": 67474379, "crc_ok": true, "files": 1693, "physical_work_folders": 94, "preprint_pdfs": 97, "groups": [ "001", "002", "003", "004", "005", "006", "007", "008", "009", "010", "011", "012", "013", "014", "015", "016", "017", "018", "019", "020", "021", "022", "023", "024", "025", "026", "027", "028", "029", "030", "264", "265", "266", "267", "268", "269", "270", "271", "272", "273", "274", "275", "276", "277", "278", "279", "280", "281", "282", "283", "284" ], "current_manuscripts": 94 }, { "archive": "math_research_05_of_08.zip", "sha256": "e81788815f68b83e57d8b96846c2b0f90571ba3a2f3aeede15ea181428659d13", "bytes": 67505172, "crc_ok": true, "files": 1558, "physical_work_folders": 96, "preprint_pdfs": 103, "groups": [ "031", "211", "212", "213", "214", "215", "216", "217", "218", "219", "220", "285", "286", "287", "288", "289", "290", "291", "292", "293", "294", "295", "296", "297", "298", "299", "300", "301", "302", "303", "362", "363", "364", "365", "366", "367", "368", "369", "370", "371", "372", "373", "374", "375", "376", "377" ], "current_manuscripts": 96 }, { "archive": "math_research_06_of_08.zip", "sha256": "e19b2af39873d8224d505e96914b0b2b8c6592288f7ae8acf5744aa88d9b90ac", "bytes": 68141572, "crc_ok": true, "files": 1483, "physical_work_folders": 83, "preprint_pdfs": 85, "groups": [ "071", "072", "073", "074", "075", "076", "077", "220", "221", "222", "223", "224", "225", "226", "227", "228", "229", "230", "231", "232", "233", "234", "235", "236", "237", "238", "239" ], "current_manuscripts": 83 }, { "archive": "math_research_07_of_08.zip", "sha256": "15ad416aeec85684366a8fd8eba213dc8ff5277ea51b88bd02a4882fd9ace2ee", "bytes": 58782697, "crc_ok": true, "files": 1483, "physical_work_folders": 84, "preprint_pdfs": 90, "groups": [ "078", "079", "080", "081", "082", "083", "084", "085", "086", "102", "103", "104", "105", "106", "107", "108", "109", "110", "111", "112", "113", "114", "115", "116", "117", "118", "119", "120", "121", "122", "124", "125", "126", "127", "128", "129", "130", "131", "132", "133", "134", "135", "136", "137", "138", "139", "140" ], "current_manuscripts": 84 }, { "archive": "math_research_08_of_08.zip", "sha256": "35b27de7b37216e399b06616e9acdeba418151e28855c83fc68b655b78453080", "bytes": 45583084, "crc_ok": true, "files": 1037, "physical_work_folders": 58, "preprint_pdfs": 58, "groups": [ "141", "142", "304", "305", "306", "307", "308", "309", "310", "311", "312", "313", "314", "315", "316", "317", "318", "319", "320", "321" ], "current_manuscripts": 28 } ] }