{"data":{"model":{"id":"68b40d82-d353-4a9d-b6d9-33a6f91311c2","slug":"alphaproof","name":"AlphaProof","family_id":"ae41d536-dc54-4142-900c-a7fc30a966f5","organization_id":"1422763e-9f4d-48bf-a448-a6aa57c8d1d7","version_label":null,"release_date":"2024-07-25T00:00:00.000Z","status":"released","is_internal":false,"description":null,"created_at":"2026-09-13T20:47:20.075Z","updated_at":"2026-09-13T20:47:20.075Z","identity_class":"named_release","organization_name":"Google DeepMind","organization_slug":"google-deepmind","family_name":"AlphaProof","family_slug":"google-deepmind-alphaproof"},"scores":{"benefit":0.135,"harm":0,"verified_benefit":0,"provisional":0.135},"events":[{"slug":"alphaproof-nexus-open-mathematics-2026","title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures","short_summary":"A 21 May 2026 DeepMind preprint reports formal proofs for nine of 353 Erdős problem instances and 44 of 492 OEIS conjectures, plus research collaborations. Its Gemini-led agents publish Lean artifacts; independent records distinguish full, partial, and variant results.","ledger_type":"benefit","event_status":"provisional","event_date":"2026-05-21","base_impact_tier":3,"domain":"Mathematics","domain_slug":"mathematics","score":0.135},{"slug":"alphaproof-imo-2024-silver","title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024","short_summary":"DeepMind’s AlphaProof and AlphaGeometry 2 solved four of six IMO 2024 problems for 28 of 42 points, scored by Timothy Gowers and Joseph Myers, one point below that year’s gold cutoff.","ledger_type":"capability","event_status":"verified","event_date":"2024-07-25","base_impact_tier":3,"domain":"Mathematics","domain_slug":"mathematics","score":1.386}],"domains":[{"name":"Mathematics","slug":"mathematics","benefit":0.135,"harm":0}],"series":[{"day":"2024-07-25","benefit":0,"harm":0,"net":0},{"day":"2024-07-26","benefit":0,"harm":0,"net":0},{"day":"2024-07-27","benefit":0,"harm":0,"net":0},{"day":"2024-07-28","benefit":0,"harm":0,"net":0},{"day":"2024-07-29","benefit":0,"harm":0,"net":0},{"day":"2024-07-30","benefit":0,"harm":0,"net":0},{"day":"2024-07-31","benefit":0,"harm":0,"net":0},{"day":"2024-08-01","benefit":0,"harm":0,"net":0},{"day":"2024-08-02","benefit":0,"harm":0,"net":0},{"day":"2024-08-03","benefit":0,"harm":0,"net":0},{"day":"2024-08-04","benefit":0,"harm":0,"net":0},{"day":"2024-08-05","benefit":0,"harm":0,"net":0},{"day":"2024-08-06","benefit":0,"harm":0,"net":0},{"day":"2024-08-07","benefit":0,"harm":0,"net":0},{"day":"2024-08-08","benefit":0,"harm":0,"net":0},{"day":"2024-08-09","benefit":0,"harm":0,"net":0},{"day":"2024-08-10","benefit":0,"harm":0,"net":0},{"day":"2024-08-11","benefit":0,"harm":0,"net":0},{"day":"2024-08-12","benefit":0,"harm":0,"net":0},{"day":"2024-08-13","benefit":0,"harm":0,"net":0},{"day":"2024-08-14","benefit":0,"harm":0,"net":0},{"day":"2024-08-15","benefit":0,"harm":0,"net":0},{"day":"2024-08-16","benefit":0,"harm":0,"net":0},{"day":"2024-08-17","benefit":0,"harm":0,"net":0},{"day":"2024-08-18","benefit":0,"harm":0,"net":0},{"day":"2024-08-19","benefit":0,"harm":0,"net":0},{"day":"2024-08-20","benefit":0,"harm":0,"net":0},{"day":"2024-08-21","benefit":0,"harm":0,"net":0},{"day":"2024-08-22","benefit":0,"harm":0,"net":0},{"day":"2024-08-23","benefit":0,"harm":0,"net":0},{"day":"2024-08-24","benefit":0,"harm":0,"net":0},{"day":"2024-08-25","benefit":0,"harm":0,"net":0},{"day":"2024-08-26","benefit":0,"harm":0,"net":0},{"day":"2024-08-27","benefit":0,"harm":0,"net":0},{"day":"2024-08-28","benefit":0,"harm":0,"net":0},{"day":"2024-08-29","benefit":0,"harm":0,"net":0},{"day":"2024-08-30","benefit":0,"harm":0,"net":0},{"day":"2024-08-31","benefit":0,"harm":0,"net":0},{"day":"2024-09-01","benefit":0,"harm":0,"net":0},{"day":"2024-09-02","benefit":0,"harm":0,"net":0},{"day":"2024-09-03","benefit":0,"harm":0,"net":0},{"day":"2024-09-04","benefit":0,"harm":0,"net":0},{"day":"2024-09-05","benefit":0,"harm":0,"net":0},{"day":"2024-09-06","benefit":0,"harm":0,"net":0},{"day":"2024-09-07","benefit":0,"harm":0,"net":0},{"day":"2024-09-08","benefit":0,"harm":0,"net":0},{"day":"2024-09-09","benefit":0,"harm":0,"net":0},{"day":"2024-09-10","benefit":0,"harm":0,"net":0},{"day":"2024-09-11","benefit":0,"harm":0,"net":0},{"day":"2024-09-12","benefit":0,"harm":0,"net":0},{"day":"2024-09-13","benefit":0,"harm":0,"net":0},{"day":"2024-09-14","benefit":0,"harm":0,"net":0},{"day":"2024-09-15","benefit":0,"harm":0,"net":0},{"day":"2024-09-16","benefit":0,"harm":0,"net":0},{"day":"2024-09-17","benefit":0,"harm":0,"net":0},{"day":"2024-09-18","benefit":0,"harm":0,"net":0},{"day":"2024-09-19","benefit":0,"harm":0,"net":0},{"day":"2024-09-20","benefit":0,"harm":0,"net":0},{"day":"2024-09-21","benefit":0,"harm":0,"net":0},{"day":"2024-09-22","benefit":0,"harm":0,"net":0},{"day":"2024-09-23","benefit":0,"harm":0,"net":0},{"day":"2024-09-24","benefit":0,"harm":0,"net":0},{"day":"2024-09-25","benefit":0,"harm":0,"net":0},{"day":"2024-09-26","benefit":0,"harm":0,"net":0},{"day":"2024-09-27","benefit":0,"harm":0,"net":0},{"day":"2024-09-28","benefit":0,"harm":0,"net":0},{"day":"2024-09-29","benefit":0,"harm":0,"net":0},{"day":"2024-09-30","benefit":0,"harm":0,"net":0},{"day":"2024-10-01","benefit":0,"harm":0,"net":0},{"day":"2024-10-02","benefit":0,"harm":0,"net":0},{"day":"2024-10-03","benefit":0,"harm":0,"net":0},{"day":"2024-10-04","benefit":0,"harm":0,"net":0},{"day":"2024-10-05","benefit":0,"harm":0,"net":0},{"day":"2024-10-06","benefit":0,"harm":0,"net":0},{"day":"2024-10-07","benefit":0,"harm":0,"net":0},{"day":"2024-10-08","benefit":0,"harm":0,"net":0},{"day":"2024-10-09","benefit":0,"harm":0,"net":0},{"day":"2024-10-10","benefit":0,"harm":0,"net":0},{"day":"2024-10-11","benefit":0,"harm":0,"net":0},{"day":"2024-10-12","benefit":0,"harm":0,"net":0},{"day":"2024-10-13","benefit":0,"harm":0,"net":0},{"day":"2024-10-14","benefit":0,"harm":0,"net":0},{"day":"2024-10-15","benefit":0,"harm":0,"net":0},{"day":"2024-10-16","benefit":0,"harm":0,"net":0},{"day":"2024-10-17","benefit":0,"harm":0,"net":0},{"day":"2024-10-18","benefit":0,"harm":0,"net":0},{"day":"2024-10-19","benefit":0,"harm":0,"net":0},{"day":"2024-10-20","benefit":0,"harm":0,"net":0},{"day":"2024-10-21","benefit":0,"harm":0,"net":0},{"day":"2024-10-22","benefit":0,"harm":0,"net":0},{"day":"2024-10-23","benefit":0,"harm":0,"net":0},{"day":"2024-10-24","benefit":0,"harm":0,"net":0},{"day":"2024-10-25","benefit":0,"harm":0,"net":0},{"day":"2024-10-26","benefit":0,"harm":0,"net":0},{"day":"2024-10-27","benefit":0,"harm":0,"net":0},{"day":"2024-10-28","benefit":0,"harm":0,"net":0},{"day":"2024-10-29","benefit":0,"harm":0,"net":0},{"day":"2024-10-30","benefit":0,"harm":0,"net":0},{"day":"2024-10-31","benefit":0,"harm":0,"net":0},{"day":"2024-11-01","benefit":0,"harm":0,"net":0},{"day":"2024-11-02","benefit":0,"harm":0,"net":0},{"day":"2024-11-03","benefit":0,"harm":0,"net":0},{"day":"2024-11-04","benefit":0,"harm":0,"net":0},{"day":"2024-11-05","benefit":0,"harm":0,"net":0},{"day":"2024-11-06","benefit":0,"harm":0,"net":0},{"day":"2024-11-07","benefit":0,"harm":0,"net":0},{"day":"2024-11-08","benefit":0,"harm":0,"net":0},{"day":"2024-11-09","benefit":0,"harm":0,"net":0},{"day":"2024-11-10","benefit":0,"harm":0,"net":0},{"day":"2024-11-11","benefit":0,"harm":0,"net":0},{"day":"2024-11-12","benefit":0,"harm":0,"net":0},{"day":"2024-11-13","benefit":0,"harm":0,"net":0},{"day":"2024-11-14","benefit":0,"harm":0,"net":0},{"day":"2024-11-15","benefit":0,"harm":0,"net":0},{"day":"2024-11-16","benefit":0,"harm":0,"net":0},{"day":"2024-11-17","benefit":0,"harm":0,"net":0},{"day":"2024-11-18","benefit":0,"harm":0,"net":0},{"day":"2024-11-19","benefit":0,"harm":0,"net":0},{"day":"2024-11-20","benefit":0,"harm":0,"net":0},{"day":"2024-11-21","benefit":0,"harm":0,"net":0},{"day":"2024-11-22","benefit":0,"harm":0,"net":0},{"day":"2024-11-23","benefit":0,"harm":0,"net":0},{"day":"2024-11-24","benefit":0,"harm":0,"net":0},{"day":"2024-11-25","benefit":0,"harm":0,"net":0},{"day":"2024-11-26","benefit":0,"harm":0,"net":0},{"day":"2024-11-27","benefit":0,"harm":0,"net":0},{"day":"2024-11-28","benefit":0,"harm":0,"net":0},{"day":"2024-11-29","benefit":0,"harm":0,"net":0},{"day":"2024-11-30","benefit":0,"harm":0,"net":0},{"day":"2024-12-01","benefit":0,"harm":0,"net":0},{"day":"2024-12-02","benefit":0,"harm":0,"net":0},{"day":"2024-12-03","benefit":0,"harm":0,"net":0},{"day":"2024-12-04","benefit":0,"harm":0,"net":0},{"day":"2024-12-05","benefit":0,"harm":0,"net":0},{"day":"2024-12-06","benefit":0,"harm":0,"net":0},{"day":"2024-12-07","benefit":0,"harm":0,"net":0},{"day":"2024-12-08","benefit":0,"harm":0,"net":0},{"day":"2024-12-09","benefit":0,"harm":0,"net":0},{"day":"2024-12-10","benefit":0,"harm":0,"net":0},{"day":"2024-12-11","benefit":0,"harm":0,"net":0},{"day":"2024-12-12","benefit":0,"harm":0,"net":0},{"day":"2024-12-13","benefit":0,"harm":0,"net":0},{"day":"2024-12-14","benefit":0,"harm":0,"net":0},{"day":"2024-12-15","benefit":0,"harm":0,"net":0},{"day":"2024-12-16","benefit":0,"harm":0,"net":0},{"day":"2024-12-17","benefit":0,"harm":0,"net":0},{"day":"2024-12-18","benefit":0,"harm":0,"net":0},{"day":"2024-12-19","benefit":0,"harm":0,"net":0},{"day":"2024-12-20","benefit":0,"harm":0,"net":0},{"day":"2024-12-21","benefit":0,"harm":0,"net":0},{"day":"2024-12-22","benefit":0,"harm":0,"net":0},{"day":"2024-12-23","benefit":0,"harm":0,"net":0},{"day":"2024-12-24","benefit":0,"harm":0,"net":0},{"day":"2024-12-25","benefit":0,"harm":0,"net":0},{"day":"2024-12-26","benefit":0,"harm":0,"net":0},{"day":"2024-12-27","benefit":0,"harm":0,"net":0},{"day":"2024-12-28","benefit":0,"harm":0,"net":0},{"day":"2024-12-29","benefit":0,"harm":0,"net":0},{"day":"2024-12-30","benefit":0,"harm":0,"net":0},{"day":"2024-12-31","benefit":0,"harm":0,"net":0},{"day":"2025-01-01","benefit":0,"harm":0,"net":0},{"day":"2025-01-02","benefit":0,"harm":0,"net":0},{"day":"2025-01-03","benefit":0,"harm":0,"net":0},{"day":"2025-01-04","benefit":0,"harm":0,"net":0},{"day":"2025-01-05","benefit":0,"harm":0,"net":0},{"day":"2025-01-06","benefit":0,"harm":0,"net":0},{"day":"2025-01-07","benefit":0,"harm":0,"net":0},{"day":"2025-01-08","benefit":0,"harm":0,"net":0},{"day":"2025-01-09","benefit":0,"harm":0,"net":0},{"day":"2025-01-10","benefit":0,"harm":0,"net":0},{"day":"2025-01-11","benefit":0,"harm":0,"net":0},{"day":"2025-01-12","benefit":0,"harm":0,"net":0},{"day":"2025-01-13","benefit":0,"harm":0,"net":0},{"day":"2025-01-14","benefit":0,"harm":0,"net":0},{"day":"2025-01-15","benefit":0,"harm":0,"net":0},{"day":"2025-01-16","benefit":0,"harm":0,"net":0},{"day":"2025-01-17","benefit":0,"harm":0,"net":0},{"day":"2025-01-18","benefit":0,"harm":0,"net":0},{"day":"2025-01-19","benefit":0,"harm":0,"net":0},{"day":"2025-01-20","benefit":0,"harm":0,"net":0},{"day":"2025-01-21","benefit":0,"harm":0,"net":0},{"day":"2025-01-22","benefit":0,"harm":0,"net":0},{"day":"2025-01-23","benefit":0,"harm":0,"net":0},{"day":"2025-01-24","benefit":0,"harm":0,"net":0},{"day":"2025-01-25","benefit":0,"harm":0,"net":0},{"day":"2025-01-26","benefit":0,"harm":0,"net":0},{"day":"2025-01-27","benefit":0,"harm":0,"net":0},{"day":"2025-01-28","benefit":0,"harm":0,"net":0},{"day":"2025-01-29","benefit":0,"harm":0,"net":0},{"day":"2025-01-30","benefit":0,"harm":0,"net":0},{"day":"2025-01-31","benefit":0,"harm":0,"net":0},{"day":"2025-02-01","benefit":0,"harm":0,"net":0},{"day":"2025-02-02","benefit":0,"harm":0,"net":0},{"day":"2025-02-03","benefit":0,"harm":0,"net":0},{"day":"2025-02-04","benefit":0,"harm":0,"net":0},{"day":"2025-02-05","benefit":0,"harm":0,"net":0},{"day":"2025-02-06","benefit":0,"harm":0,"net":0},{"day":"2025-02-07","benefit":0,"harm":0,"net":0},{"day":"2025-02-08","benefit":0,"harm":0,"net":0},{"day":"2025-02-09","benefit":0,"harm":0,"net":0},{"day":"2025-02-10","benefit":0,"harm":0,"net":0},{"day":"2025-02-11","benefit":0,"harm":0,"net":0},{"day":"2025-02-12","benefit":0,"harm":0,"net":0},{"day":"2025-02-13","benefit":0,"harm":0,"net":0},{"day":"2025-02-14","benefit":0,"harm":0,"net":0},{"day":"2025-02-15","benefit":0,"harm":0,"net":0},{"day":"2025-02-16","benefit":0,"harm":0,"net":0},{"day":"2025-02-17","benefit":0,"harm":0,"net":0},{"day":"2025-02-18","benefit":0,"harm":0,"net":0},{"day":"2025-02-19","benefit":0,"harm":0,"net":0},{"day":"2025-02-20","benefit":0,"harm":0,"net":0},{"day":"2025-02-21","benefit":0,"harm":0,"net":0},{"day":"2025-02-22","benefit":0,"harm":0,"net":0},{"day":"2025-02-23","benefit":0,"harm":0,"net":0},{"day":"2025-02-24","benefit":0,"harm":0,"net":0},{"day":"2025-02-25","benefit":0,"harm":0,"net":0},{"day":"2025-02-26","benefit":0,"harm":0,"net":0},{"day":"2025-02-27","benefit":0,"harm":0,"net":0},{"day":"2025-02-28","benefit":0,"harm":0,"net":0},{"day":"2025-03-01","benefit":0,"harm":0,"net":0},{"day":"2025-03-02","benefit":0,"harm":0,"net":0},{"day":"2025-03-03","benefit":0,"harm":0,"net":0},{"day":"2025-03-04","benefit":0,"harm":0,"net":0},{"day":"2025-03-05","benefit":0,"harm":0,"net":0},{"day":"2025-03-06","benefit":0,"harm":0,"net":0},{"day":"2025-03-07","benefit":0,"harm":0,"net":0},{"day":"2025-03-08","benefit":0,"harm":0,"net":0},{"day":"2025-03-09","benefit":0,"harm":0,"net":0},{"day":"2025-03-10","benefit":0,"harm":0,"net":0},{"day":"2025-03-11","benefit":0,"harm":0,"net":0},{"day":"2025-03-12","benefit":0,"harm":0,"net":0},{"day":"2025-03-13","benefit":0,"harm":0,"net":0},{"day":"2025-03-14","benefit":0,"harm":0,"net":0},{"day":"2025-03-15","benefit":0,"harm":0,"net":0},{"day":"2025-03-16","benefit":0,"harm":0,"net":0},{"day":"2025-03-17","benefit":0,"harm":0,"net":0},{"day":"2025-03-18","benefit":0,"harm":0,"net":0},{"day":"2025-03-19","benefit":0,"harm":0,"net":0},{"day":"2025-03-20","benefit":0,"harm":0,"net":0},{"day":"2025-03-21","benefit":0,"harm":0,"net":0},{"day":"2025-03-22","benefit":0,"harm":0,"net":0},{"day":"2025-03-23","benefit":0,"harm":0,"net":0},{"day":"2025-03-24","benefit":0,"harm":0,"net":0},{"day":"2025-03-25","benefit":0,"harm":0,"net":0},{"day":"2025-03-26","benefit":0,"harm":0,"net":0},{"day":"2025-03-27","benefit":0,"harm":0,"net":0},{"day":"2025-03-28","benefit":0,"harm":0,"net":0},{"day":"2025-03-29","benefit":0,"harm":0,"net":0},{"day":"2025-03-30","benefit":0,"harm":0,"net":0},{"day":"2025-03-31","benefit":0,"harm":0,"net":0},{"day":"2025-04-01","benefit":0,"harm":0,"net":0},{"day":"2025-04-02","benefit":0,"harm":0,"net":0},{"day":"2025-04-03","benefit":0,"harm":0,"net":0},{"day":"2025-04-04","benefit":0,"harm":0,"net":0},{"day":"2025-04-05","benefit":0,"harm":0,"net":0},{"day":"2025-04-06","benefit":0,"harm":0,"net":0},{"day":"2025-04-07","benefit":0,"harm":0,"net":0},{"day":"2025-04-08","benefit":0,"harm":0,"net":0},{"day":"2025-04-09","benefit":0,"harm":0,"net":0},{"day":"2025-04-10","benefit":0,"harm":0,"net":0},{"day":"2025-04-11","benefit":0,"harm":0,"net":0},{"day":"2025-04-12","benefit":0,"harm":0,"net":0},{"day":"2025-04-13","benefit":0,"harm":0,"net":0},{"day":"2025-04-14","benefit":0,"harm":0,"net":0},{"day":"2025-04-15","benefit":0,"harm":0,"net":0},{"day":"2025-04-16","benefit":0,"harm":0,"net":0},{"day":"2025-04-17","benefit":0,"harm":0,"net":0},{"day":"2025-04-18","benefit":0,"harm":0,"net":0},{"day":"2025-04-19","benefit":0,"harm":0,"net":0},{"day":"2025-04-20","benefit":0,"harm":0,"net":0},{"day":"2025-04-21","benefit":0,"harm":0,"net":0},{"day":"2025-04-22","benefit":0,"harm":0,"net":0},{"day":"2025-04-23","benefit":0,"harm":0,"net":0},{"day":"2025-04-24","benefit":0,"harm":0,"net":0},{"day":"2025-04-25","benefit":0,"harm":0,"net":0},{"day":"2025-04-26","benefit":0,"harm":0,"net":0},{"day":"2025-04-27","benefit":0,"harm":0,"net":0},{"day":"2025-04-28","benefit":0,"harm":0,"net":0},{"day":"2025-04-29","benefit":0,"harm":0,"net":0},{"day":"2025-04-30","benefit":0,"harm":0,"net":0},{"day":"2025-05-01","benefit":0,"harm":0,"net":0},{"day":"2025-05-02","benefit":0,"harm":0,"net":0},{"day":"2025-05-03","benefit":0,"harm":0,"net":0},{"day":"2025-05-04","benefit":0,"harm":0,"net":0},{"day":"2025-05-05","benefit":0,"harm":0,"net":0},{"day":"2025-05-06","benefit":0,"harm":0,"net":0},{"day":"2025-05-07","benefit":0,"harm":0,"net":0},{"day":"2025-05-08","benefit":0,"harm":0,"net":0},{"day":"2025-05-09","benefit":0,"harm":0,"net":0},{"day":"2025-05-10","benefit":0,"harm":0,"net":0},{"day":"2025-05-11","benefit":0,"harm":0,"net":0},{"day":"2025-05-12","benefit":0,"harm":0,"net":0},{"day":"2025-05-13","benefit":0,"harm":0,"net":0},{"day":"2025-05-14","benefit":0,"harm":0,"net":0},{"day":"2025-05-15","benefit":0,"harm":0,"net":0},{"day":"2025-05-16","benefit":0,"harm":0,"net":0},{"day":"2025-05-17","benefit":0,"harm":0,"net":0},{"day":"2025-05-18","benefit":0,"harm":0,"net":0},{"day":"2025-05-19","benefit":0,"harm":0,"net":0},{"day":"2025-05-20","benefit":0,"harm":0,"net":0},{"day":"2025-05-21","benefit":0,"harm":0,"net":0},{"day":"2025-05-22","benefit":0,"harm":0,"net":0},{"day":"2025-05-23","benefit":0,"harm":0,"net":0},{"day":"2025-05-24","benefit":0,"harm":0,"net":0},{"day":"2025-05-25","benefit":0,"harm":0,"net":0},{"day":"2025-05-26","benefit":0,"harm":0,"net":0},{"day":"2025-05-27","benefit":0,"harm":0,"net":0},{"day":"2025-05-28","benefit":0,"harm":0,"net":0},{"day":"2025-05-29","benefit":0,"harm":0,"net":0},{"day":"2025-05-30","benefit":0,"harm":0,"net":0},{"day":"2025-05-31","benefit":0,"harm":0,"net":0},{"day":"2025-06-01","benefit":0,"harm":0,"net":0},{"day":"2025-06-02","benefit":0,"harm":0,"net":0},{"day":"2025-06-03","benefit":0,"harm":0,"net":0},{"day":"2025-06-04","benefit":0,"harm":0,"net":0},{"day":"2025-06-05","benefit":0,"harm":0,"net":0},{"day":"2025-06-06","benefit":0,"harm":0,"net":0},{"day":"2025-06-07","benefit":0,"harm":0,"net":0},{"day":"2025-06-08","benefit":0,"harm":0,"net":0},{"day":"2025-06-09","benefit":0,"harm":0,"net":0},{"day":"2025-06-10","benefit":0,"harm":0,"net":0},{"day":"2025-06-11","benefit":0,"harm":0,"net":0},{"day":"2025-06-12","benefit":0,"harm":0,"net":0},{"day":"2025-06-13","benefit":0,"harm":0,"net":0},{"day":"2025-06-14","benefit":0,"harm":0,"net":0},{"day":"2025-06-15","benefit":0,"harm":0,"net":0},{"day":"2025-06-16","benefit":0,"harm":0,"net":0},{"day":"2025-06-17","benefit":0,"harm":0,"net":0},{"day":"2025-06-18","benefit":0,"harm":0,"net":0},{"day":"2025-06-19","benefit":0,"harm":0,"net":0},{"day":"2025-06-20","benefit":0,"harm":0,"net":0},{"day":"2025-06-21","benefit":0,"harm":0,"net":0},{"day":"2025-06-22","benefit":0,"harm":0,"net":0},{"day":"2025-06-23","benefit":0,"harm":0,"net":0},{"day":"2025-06-24","benefit":0,"harm":0,"net":0},{"day":"2025-06-25","benefit":0,"harm":0,"net":0},{"day":"2025-06-26","benefit":0,"harm":0,"net":0},{"day":"2025-06-27","benefit":0,"harm":0,"net":0},{"day":"2025-06-28","benefit":0,"harm":0,"net":0},{"day":"2025-06-29","benefit":0,"harm":0,"net":0},{"day":"2025-06-30","benefit":0,"harm":0,"net":0},{"day":"2025-07-01","benefit":0,"harm":0,"net":0},{"day":"2025-07-02","benefit":0,"harm":0,"net":0},{"day":"2025-07-03","benefit":0,"harm":0,"net":0},{"day":"2025-07-04","benefit":0,"harm":0,"net":0},{"day":"2025-07-05","benefit":0,"harm":0,"net":0},{"day":"2025-07-06","benefit":0,"harm":0,"net":0},{"day":"2025-07-07","benefit":0,"harm":0,"net":0},{"day":"2025-07-08","benefit":0,"harm":0,"net":0},{"day":"2025-07-09","benefit":0,"harm":0,"net":0},{"day":"2025-07-10","benefit":0,"harm":0,"net":0},{"day":"2025-07-11","benefit":0,"harm":0,"net":0},{"day":"2025-07-12","benefit":0,"harm":0,"net":0},{"day":"2025-07-13","benefit":0,"harm":0,"net":0},{"day":"2025-07-14","benefit":0,"harm":0,"net":0},{"day":"2025-07-15","benefit":0,"harm":0,"net":0},{"day":"2025-07-16","benefit":0,"harm":0,"net":0},{"day":"2025-07-17","benefit":0,"harm":0,"net":0},{"day":"2025-07-18","benefit":0,"harm":0,"net":0},{"day":"2025-07-19","benefit":0,"harm":0,"net":0},{"day":"2025-07-20","benefit":0,"harm":0,"net":0},{"day":"2025-07-21","benefit":0,"harm":0,"net":0},{"day":"2025-07-22","benefit":0,"harm":0,"net":0},{"day":"2025-07-23","benefit":0,"harm":0,"net":0},{"day":"2025-07-24","benefit":0,"harm":0,"net":0},{"day":"2025-07-25","benefit":0,"harm":0,"net":0},{"day":"2025-07-26","benefit":0,"harm":0,"net":0},{"day":"2025-07-27","benefit":0,"harm":0,"net":0},{"day":"2025-07-28","benefit":0,"harm":0,"net":0},{"day":"2025-07-29","benefit":0,"harm":0,"net":0},{"day":"2025-07-30","benefit":0,"harm":0,"net":0},{"day":"2025-07-31","benefit":0,"harm":0,"net":0},{"day":"2025-08-01","benefit":0,"harm":0,"net":0},{"day":"2025-08-02","benefit":0,"harm":0,"net":0},{"day":"2025-08-03","benefit":0,"harm":0,"net":0},{"day":"2025-08-04","benefit":0,"harm":0,"net":0},{"day":"2025-08-05","benefit":0,"harm":0,"net":0},{"day":"2025-08-06","benefit":0,"harm":0,"net":0},{"day":"2025-08-07","benefit":0,"harm":0,"net":0},{"day":"2025-08-08","benefit":0,"harm":0,"net":0},{"day":"2025-08-09","benefit":0,"harm":0,"net":0},{"day":"2025-08-10","benefit":0,"harm":0,"net":0},{"day":"2025-08-11","benefit":0,"harm":0,"net":0},{"day":"2025-08-12","benefit":0,"harm":0,"net":0},{"day":"2025-08-13","benefit":0,"harm":0,"net":0},{"day":"2025-08-14","benefit":0,"harm":0,"net":0},{"day":"2025-08-15","benefit":0,"harm":0,"net":0},{"day":"2025-08-16","benefit":0,"harm":0,"net":0},{"day":"2025-08-17","benefit":0,"harm":0,"net":0},{"day":"2025-08-18","benefit":0,"harm":0,"net":0},{"day":"2025-08-19","benefit":0,"harm":0,"net":0},{"day":"2025-08-20","benefit":0,"harm":0,"net":0},{"day":"2025-08-21","benefit":0,"harm":0,"net":0},{"day":"2025-08-22","benefit":0,"harm":0,"net":0},{"day":"2025-08-23","benefit":0,"harm":0,"net":0},{"day":"2025-08-24","benefit":0,"harm":0,"net":0},{"day":"2025-08-25","benefit":0,"harm":0,"net":0},{"day":"2025-08-26","benefit":0,"harm":0,"net":0},{"day":"2025-08-27","benefit":0,"harm":0,"net":0},{"day":"2025-08-28","benefit":0,"harm":0,"net":0},{"day":"2025-08-29","benefit":0,"harm":0,"net":0},{"day":"2025-08-30","benefit":0,"harm":0,"net":0},{"day":"2025-08-31","benefit":0,"harm":0,"net":0},{"day":"2025-09-01","benefit":0,"harm":0,"net":0},{"day":"2025-09-02","benefit":0,"harm":0,"net":0},{"day":"2025-09-03","benefit":0,"harm":0,"net":0},{"day":"2025-09-04","benefit":0,"harm":0,"net":0},{"day":"2025-09-05","benefit":0,"harm":0,"net":0},{"day":"2025-09-06","benefit":0,"harm":0,"net":0},{"day":"2025-09-07","benefit":0,"harm":0,"net":0},{"day":"2025-09-08","benefit":0,"harm":0,"net":0},{"day":"2025-09-09","benefit":0,"harm":0,"net":0},{"day":"2025-09-10","benefit":0,"harm":0,"net":0},{"day":"2025-09-11","benefit":0,"harm":0,"net":0},{"day":"2025-09-12","benefit":0,"harm":0,"net":0},{"day":"2025-09-13","benefit":0,"harm":0,"net":0},{"day":"2025-09-14","benefit":0,"harm":0,"net":0},{"day":"2025-09-15","benefit":0,"harm":0,"net":0},{"day":"2025-09-16","benefit":0,"harm":0,"net":0},{"day":"2025-09-17","benefit":0,"harm":0,"net":0},{"day":"2025-09-18","benefit":0,"harm":0,"net":0},{"day":"2025-09-19","benefit":0,"harm":0,"net":0},{"day":"2025-09-20","benefit":0,"harm":0,"net":0},{"day":"2025-09-21","benefit":0,"harm":0,"net":0},{"day":"2025-09-22","benefit":0,"harm":0,"net":0},{"day":"2025-09-23","benefit":0,"harm":0,"net":0},{"day":"2025-09-24","benefit":0,"harm":0,"net":0},{"day":"2025-09-25","benefit":0,"harm":0,"net":0},{"day":"2025-09-26","benefit":0,"harm":0,"net":0},{"day":"2025-09-27","benefit":0,"harm":0,"net":0},{"day":"2025-09-28","benefit":0,"harm":0,"net":0},{"day":"2025-09-29","benefit":0,"harm":0,"net":0},{"day":"2025-09-30","benefit":0,"harm":0,"net":0},{"day":"2025-10-01","benefit":0,"harm":0,"net":0},{"day":"2025-10-02","benefit":0,"harm":0,"net":0},{"day":"2025-10-03","benefit":0,"harm":0,"net":0},{"day":"2025-10-04","benefit":0,"harm":0,"net":0},{"day":"2025-10-05","benefit":0,"harm":0,"net":0},{"day":"2025-10-06","benefit":0,"harm":0,"net":0},{"day":"2025-10-07","benefit":0,"harm":0,"net":0},{"day":"2025-10-08","benefit":0,"harm":0,"net":0},{"day":"2025-10-09","benefit":0,"harm":0,"net":0},{"day":"2025-10-10","benefit":0,"harm":0,"net":0},{"day":"2025-10-11","benefit":0,"harm":0,"net":0},{"day":"2025-10-12","benefit":0,"harm":0,"net":0},{"day":"2025-10-13","benefit":0,"harm":0,"net":0},{"day":"2025-10-14","benefit":0,"harm":0,"net":0},{"day":"2025-10-15","benefit":0,"harm":0,"net":0},{"day":"2025-10-16","benefit":0,"harm":0,"net":0},{"day":"2025-10-17","benefit":0,"harm":0,"net":0},{"day":"2025-10-18","benefit":0,"harm":0,"net":0},{"day":"2025-10-19","benefit":0,"harm":0,"net":0},{"day":"2025-10-20","benefit":0,"harm":0,"net":0},{"day":"2025-10-21","benefit":0,"harm":0,"net":0},{"day":"2025-10-22","benefit":0,"harm":0,"net":0},{"day":"2025-10-23","benefit":0,"harm":0,"net":0},{"day":"2025-10-24","benefit":0,"harm":0,"net":0},{"day":"2025-10-25","benefit":0,"harm":0,"net":0},{"day":"2025-10-26","benefit":0,"harm":0,"net":0},{"day":"2025-10-27","benefit":0,"harm":0,"net":0},{"day":"2025-10-28","benefit":0,"harm":0,"net":0},{"day":"2025-10-29","benefit":0,"harm":0,"net":0},{"day":"2025-10-30","benefit":0,"harm":0,"net":0},{"day":"2025-10-31","benefit":0,"harm":0,"net":0},{"day":"2025-11-01","benefit":0,"harm":0,"net":0},{"day":"2025-11-02","benefit":0,"harm":0,"net":0},{"day":"2025-11-03","benefit":0,"harm":0,"net":0},{"day":"2025-11-04","benefit":0,"harm":0,"net":0},{"day":"2025-11-05","benefit":0,"harm":0,"net":0},{"day":"2025-11-06","benefit":0,"harm":0,"net":0},{"day":"2025-11-07","benefit":0,"harm":0,"net":0},{"day":"2025-11-08","benefit":0,"harm":0,"net":0},{"day":"2025-11-09","benefit":0,"harm":0,"net":0},{"day":"2025-11-10","benefit":0,"harm":0,"net":0},{"day":"2025-11-11","benefit":0,"harm":0,"net":0},{"day":"2025-11-12","benefit":0,"harm":0,"net":0},{"day":"2025-11-13","benefit":0,"harm":0,"net":0},{"day":"2025-11-14","benefit":0,"harm":0,"net":0},{"day":"2025-11-15","benefit":0,"harm":0,"net":0},{"day":"2025-11-16","benefit":0,"harm":0,"net":0},{"day":"2025-11-17","benefit":0,"harm":0,"net":0},{"day":"2025-11-18","benefit":0,"harm":0,"net":0},{"day":"2025-11-19","benefit":0,"harm":0,"net":0},{"day":"2025-11-20","benefit":0,"harm":0,"net":0},{"day":"2025-11-21","benefit":0,"harm":0,"net":0},{"day":"2025-11-22","benefit":0,"harm":0,"net":0},{"day":"2025-11-23","benefit":0,"harm":0,"net":0},{"day":"2025-11-24","benefit":0,"harm":0,"net":0},{"day":"2025-11-25","benefit":0,"harm":0,"net":0},{"day":"2025-11-26","benefit":0,"harm":0,"net":0},{"day":"2025-11-27","benefit":0,"harm":0,"net":0},{"day":"2025-11-28","benefit":0,"harm":0,"net":0},{"day":"2025-11-29","benefit":0,"harm":0,"net":0},{"day":"2025-11-30","benefit":0,"harm":0,"net":0},{"day":"2025-12-01","benefit":0,"harm":0,"net":0},{"day":"2025-12-02","benefit":0,"harm":0,"net":0},{"day":"2025-12-03","benefit":0,"harm":0,"net":0},{"day":"2025-12-04","benefit":0,"harm":0,"net":0},{"day":"2025-12-05","benefit":0,"harm":0,"net":0},{"day":"2025-12-06","benefit":0,"harm":0,"net":0},{"day":"2025-12-07","benefit":0,"harm":0,"net":0},{"day":"2025-12-08","benefit":0,"harm":0,"net":0},{"day":"2025-12-09","benefit":0,"harm":0,"net":0},{"day":"2025-12-10","benefit":0,"harm":0,"net":0},{"day":"2025-12-11","benefit":0,"harm":0,"net":0},{"day":"2025-12-12","benefit":0,"harm":0,"net":0},{"day":"2025-12-13","benefit":0,"harm":0,"net":0},{"day":"2025-12-14","benefit":0,"harm":0,"net":0},{"day":"2025-12-15","benefit":0,"harm":0,"net":0},{"day":"2025-12-16","benefit":0,"harm":0,"net":0},{"day":"2025-12-17","benefit":0,"harm":0,"net":0},{"day":"2025-12-18","benefit":0,"harm":0,"net":0},{"day":"2025-12-19","benefit":0,"harm":0,"net":0},{"day":"2025-12-20","benefit":0,"harm":0,"net":0},{"day":"2025-12-21","benefit":0,"harm":0,"net":0},{"day":"2025-12-22","benefit":0,"harm":0,"net":0},{"day":"2025-12-23","benefit":0,"harm":0,"net":0},{"day":"2025-12-24","benefit":0,"harm":0,"net":0},{"day":"2025-12-25","benefit":0,"harm":0,"net":0},{"day":"2025-12-26","benefit":0,"harm":0,"net":0},{"day":"2025-12-27","benefit":0,"harm":0,"net":0},{"day":"2025-12-28","benefit":0,"harm":0,"net":0},{"day":"2025-12-29","benefit":0,"harm":0,"net":0},{"day":"2025-12-30","benefit":0,"harm":0,"net":0},{"day":"2025-12-31","benefit":0,"harm":0,"net":0},{"day":"2026-01-01","benefit":0,"harm":0,"net":0},{"day":"2026-01-02","benefit":0,"harm":0,"net":0},{"day":"2026-01-03","benefit":0,"harm":0,"net":0},{"day":"2026-01-04","benefit":0,"harm":0,"net":0},{"day":"2026-01-05","benefit":0,"harm":0,"net":0},{"day":"2026-01-06","benefit":0,"harm":0,"net":0},{"day":"2026-01-07","benefit":0,"harm":0,"net":0},{"day":"2026-01-08","benefit":0,"harm":0,"net":0},{"day":"2026-01-09","benefit":0,"harm":0,"net":0},{"day":"2026-01-10","benefit":0,"harm":0,"net":0},{"day":"2026-01-11","benefit":0,"harm":0,"net":0},{"day":"2026-01-12","benefit":0,"harm":0,"net":0},{"day":"2026-01-13","benefit":0,"harm":0,"net":0},{"day":"2026-01-14","benefit":0,"harm":0,"net":0},{"day":"2026-01-15","benefit":0,"harm":0,"net":0},{"day":"2026-01-16","benefit":0,"harm":0,"net":0},{"day":"2026-01-17","benefit":0,"harm":0,"net":0},{"day":"2026-01-18","benefit":0,"harm":0,"net":0},{"day":"2026-01-19","benefit":0,"harm":0,"net":0},{"day":"2026-01-20","benefit":0,"harm":0,"net":0},{"day":"2026-01-21","benefit":0,"harm":0,"net":0},{"day":"2026-01-22","benefit":0,"harm":0,"net":0},{"day":"2026-01-23","benefit":0,"harm":0,"net":0},{"day":"2026-01-24","benefit":0,"harm":0,"net":0},{"day":"2026-01-25","benefit":0,"harm":0,"net":0},{"day":"2026-01-26","benefit":0,"harm":0,"net":0},{"day":"2026-01-27","benefit":0,"harm":0,"net":0},{"day":"2026-01-28","benefit":0,"harm":0,"net":0},{"day":"2026-01-29","benefit":0,"harm":0,"net":0},{"day":"2026-01-30","benefit":0,"harm":0,"net":0},{"day":"2026-01-31","benefit":0,"harm":0,"net":0},{"day":"2026-02-01","benefit":0,"harm":0,"net":0},{"day":"2026-02-02","benefit":0,"harm":0,"net":0},{"day":"2026-02-03","benefit":0,"harm":0,"net":0},{"day":"2026-02-04","benefit":0,"harm":0,"net":0},{"day":"2026-02-05","benefit":0,"harm":0,"net":0},{"day":"2026-02-06","benefit":0,"harm":0,"net":0},{"day":"2026-02-07","benefit":0,"harm":0,"net":0},{"day":"2026-02-08","benefit":0,"harm":0,"net":0},{"day":"2026-02-09","benefit":0,"harm":0,"net":0},{"day":"2026-02-10","benefit":0,"harm":0,"net":0},{"day":"2026-02-11","benefit":0,"harm":0,"net":0},{"day":"2026-02-12","benefit":0,"harm":0,"net":0},{"day":"2026-02-13","benefit":0,"harm":0,"net":0},{"day":"2026-02-14","benefit":0,"harm":0,"net":0},{"day":"2026-02-15","benefit":0,"harm":0,"net":0},{"day":"2026-02-16","benefit":0,"harm":0,"net":0},{"day":"2026-02-17","benefit":0,"harm":0,"net":0},{"day":"2026-02-18","benefit":0,"harm":0,"net":0},{"day":"2026-02-19","benefit":0,"harm":0,"net":0},{"day":"2026-02-20","benefit":0,"harm":0,"net":0},{"day":"2026-02-21","benefit":0,"harm":0,"net":0},{"day":"2026-02-22","benefit":0,"harm":0,"net":0},{"day":"2026-02-23","benefit":0,"harm":0,"net":0},{"day":"2026-02-24","benefit":0,"harm":0,"net":0},{"day":"2026-02-25","benefit":0,"harm":0,"net":0},{"day":"2026-02-26","benefit":0,"harm":0,"net":0},{"day":"2026-02-27","benefit":0,"harm":0,"net":0},{"day":"2026-02-28","benefit":0,"harm":0,"net":0},{"day":"2026-03-01","benefit":0,"harm":0,"net":0},{"day":"2026-03-02","benefit":0,"harm":0,"net":0},{"day":"2026-03-03","benefit":0,"harm":0,"net":0},{"day":"2026-03-04","benefit":0,"harm":0,"net":0},{"day":"2026-03-05","benefit":0,"harm":0,"net":0},{"day":"2026-03-06","benefit":0,"harm":0,"net":0},{"day":"2026-03-07","benefit":0,"harm":0,"net":0},{"day":"2026-03-08","benefit":0,"harm":0,"net":0},{"day":"2026-03-09","benefit":0,"harm":0,"net":0},{"day":"2026-03-10","benefit":0,"harm":0,"net":0},{"day":"2026-03-11","benefit":0,"harm":0,"net":0},{"day":"2026-03-12","benefit":0,"harm":0,"net":0},{"day":"2026-03-13","benefit":0,"harm":0,"net":0},{"day":"2026-03-14","benefit":0,"harm":0,"net":0},{"day":"2026-03-15","benefit":0,"harm":0,"net":0},{"day":"2026-03-16","benefit":0,"harm":0,"net":0},{"day":"2026-03-17","benefit":0,"harm":0,"net":0},{"day":"2026-03-18","benefit":0,"harm":0,"net":0},{"day":"2026-03-19","benefit":0,"harm":0,"net":0},{"day":"2026-03-20","benefit":0,"harm":0,"net":0},{"day":"2026-03-21","benefit":0,"harm":0,"net":0},{"day":"2026-03-22","benefit":0,"harm":0,"net":0},{"day":"2026-03-23","benefit":0,"harm":0,"net":0},{"day":"2026-03-24","benefit":0,"harm":0,"net":0},{"day":"2026-03-25","benefit":0,"harm":0,"net":0},{"day":"2026-03-26","benefit":0,"harm":0,"net":0},{"day":"2026-03-27","benefit":0,"harm":0,"net":0},{"day":"2026-03-28","benefit":0,"harm":0,"net":0},{"day":"2026-03-29","benefit":0,"harm":0,"net":0},{"day":"2026-03-30","benefit":0,"harm":0,"net":0},{"day":"2026-03-31","benefit":0,"harm":0,"net":0},{"day":"2026-04-01","benefit":0,"harm":0,"net":0},{"day":"2026-04-02","benefit":0,"harm":0,"net":0},{"day":"2026-04-03","benefit":0,"harm":0,"net":0},{"day":"2026-04-04","benefit":0,"harm":0,"net":0},{"day":"2026-04-05","benefit":0,"harm":0,"net":0},{"day":"2026-04-06","benefit":0,"harm":0,"net":0},{"day":"2026-04-07","benefit":0,"harm":0,"net":0},{"day":"2026-04-08","benefit":0,"harm":0,"net":0},{"day":"2026-04-09","benefit":0,"harm":0,"net":0},{"day":"2026-04-10","benefit":0,"harm":0,"net":0},{"day":"2026-04-11","benefit":0,"harm":0,"net":0},{"day":"2026-04-12","benefit":0,"harm":0,"net":0},{"day":"2026-04-13","benefit":0,"harm":0,"net":0},{"day":"2026-04-14","benefit":0,"harm":0,"net":0},{"day":"2026-04-15","benefit":0,"harm":0,"net":0},{"day":"2026-04-16","benefit":0,"harm":0,"net":0},{"day":"2026-04-17","benefit":0,"harm":0,"net":0},{"day":"2026-04-18","benefit":0,"harm":0,"net":0},{"day":"2026-04-19","benefit":0,"harm":0,"net":0},{"day":"2026-04-20","benefit":0,"harm":0,"net":0},{"day":"2026-04-21","benefit":0,"harm":0,"net":0},{"day":"2026-04-22","benefit":0,"harm":0,"net":0},{"day":"2026-04-23","benefit":0,"harm":0,"net":0},{"day":"2026-04-24","benefit":0,"harm":0,"net":0},{"day":"2026-04-25","benefit":0,"harm":0,"net":0},{"day":"2026-04-26","benefit":0,"harm":0,"net":0},{"day":"2026-04-27","benefit":0,"harm":0,"net":0},{"day":"2026-04-28","benefit":0,"harm":0,"net":0},{"day":"2026-04-29","benefit":0,"harm":0,"net":0},{"day":"2026-04-30","benefit":0,"harm":0,"net":0},{"day":"2026-05-01","benefit":0,"harm":0,"net":0},{"day":"2026-05-02","benefit":0,"harm":0,"net":0},{"day":"2026-05-03","benefit":0,"harm":0,"net":0},{"day":"2026-05-04","benefit":0,"harm":0,"net":0},{"day":"2026-05-05","benefit":0,"harm":0,"net":0},{"day":"2026-05-06","benefit":0,"harm":0,"net":0},{"day":"2026-05-07","benefit":0,"harm":0,"net":0},{"day":"2026-05-08","benefit":0,"harm":0,"net":0},{"day":"2026-05-09","benefit":0,"harm":0,"net":0},{"day":"2026-05-10","benefit":0,"harm":0,"net":0},{"day":"2026-05-11","benefit":0,"harm":0,"net":0},{"day":"2026-05-12","benefit":0,"harm":0,"net":0},{"day":"2026-05-13","benefit":0,"harm":0,"net":0},{"day":"2026-05-14","benefit":0,"harm":0,"net":0},{"day":"2026-05-15","benefit":0,"harm":0,"net":0},{"day":"2026-05-16","benefit":0,"harm":0,"net":0},{"day":"2026-05-17","benefit":0,"harm":0,"net":0},{"day":"2026-05-18","benefit":0,"harm":0,"net":0},{"day":"2026-05-19","benefit":0,"harm":0,"net":0},{"day":"2026-05-20","benefit":0,"harm":0,"net":0},{"day":"2026-05-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-29","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-30","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-05-31","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-01","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-02","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-03","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-04","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-05","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-06","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-07","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-08","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-09","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-10","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-11","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-12","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-13","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-14","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-15","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-16","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-17","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-18","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-19","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-20","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-29","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-06-30","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-01","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-02","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-03","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-04","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-05","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-06","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-07","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-08","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-09","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-10","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-11","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-12","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-13","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-14","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-15","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-16","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-17","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-18","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-19","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-20","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-29","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-30","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-07-31","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-01","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-02","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-03","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-04","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-05","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-06","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-07","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-08","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-09","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-10","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-11","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-12","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-13","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-14","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-15","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-16","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-17","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-18","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-19","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-20","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-29","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-30","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-08-31","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-01","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-02","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-03","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-04","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-05","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-06","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-07","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-08","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-09","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-10","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-11","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-12","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-13","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-14","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-15","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-16","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-17","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-18","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-19","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-20","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-29","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-09-30","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-01","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-02","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-03","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-04","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-05","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-06","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-07","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-08","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-09","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-10","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-11","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-12","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-13","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-14","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-15","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-16","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-17","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-18","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-19","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-20","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-21","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-22","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-23","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-24","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-25","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-26","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-27","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-28","benefit":0.135,"harm":0,"net":0.135},{"day":"2026-10-29","benefit":0.135,"harm":0,"net":0.135}],"revisions":[{"id":"40b02f14-1fe1-410e-8b3f-d2e02845162d","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-28T20:22:47.621Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"d696bac5-8a81-4972-9e6b-40461ad53760","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-28T20:22:47.621Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"9c9988c4-bc1f-4063-8d13-7acf535caf51","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-27T20:16:14.720Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"00c4d88c-2362-4af9-a7e5-f777a98c8ed3","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-27T20:16:14.720Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"aaa0ab37-2264-4e3f-8f01-6a3be778325a","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-24T18:59:49.597Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"98cdd91a-34c2-413c-90b2-477d240efc3c","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-24T18:59:49.597Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"17d7acee-c5dd-4174-8aae-d99351082807","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-21T19:26:46.597Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"e344629e-716f-4672-9e26-9a48c8f8af2a","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-21T19:26:46.597Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"e03b7958-8eae-475e-ac1f-513484cd5a54","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"12.879000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:51:25.860Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"baf84035-a5c3-49ef-ae87-0d763f8bd2df","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:51:25.860Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"12022279-8fa7-4aa6-91d2-a13decc7937a","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:50:27.558Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"6e8303dd-6e75-4898-b2e8-ed260586531b","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"0.000000","new_score":"12.879000","previous_factors":{},"new_factors":{"evidence":0.6,"base_score":30,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Imported events under methodology 0.2.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-10T23:53:23.452Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"c3e52c6a-2de4-4c1a-a5a7-20a43c62277c","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-07T16:12:13.690Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"7c670e79-4093-4654-a97c-ae17cd14627e","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-06T23:04:40.642Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"10b5681e-4108-41ad-b63d-b43719956202","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-21T01:54:16.553Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"e4e26873-a94f-43cb-9f22-cefcc7137933","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-19T00:53:33.692Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"a75dc511-05da-49b5-9660-fcf2ada393b7","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-18T19:11:40.608Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"d9f4987e-6e02-4578-9d01-cd49c5ac6b1f","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{"tier":3,"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"new_factors":{"tier":3,"models":["68b40d82-d353-4a9d-b6d9-33a6f91311c2","5b3887d0-258e-4503-84ca-5e609f968061"],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Ingest update: added a follow-up source.","trigger_type":"ingest_update","trigger_source_ids":["bce2a088-a5db-4890-a0dc-46878cf7ade1"],"reviewer_id":null,"review_status":"published","created_at":"2026-09-18T18:01:04.433Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"5e49c1f1-d884-4e68-9741-8ff522fec42a","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-17T00:37:09.904Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"},{"id":"242a4bbe-d501-4f76-985e-6603b46d4a8b","event_id":"a3044ea1-39d3-4f9f-b663-dd50cb5bf939","model_id":null,"previous_score":"1.980000","new_score":"1.980000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.55,"base_score":10,"durability":0.8,"attribution":0.9,"realization":0.5},"change_reason":"Methodology 0.2: contest-paper performance moved to the Capability Ledger; not Net Good.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-14T02:35:26.290Z","event_slug":"alphaproof-imo-2024-silver","event_title":"AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024"}]}}