{"event":{"id":"evt-hist-phase33-geometrization-lean-preprint","dedupe_key":"formal_mathematics_preprint_submission:2026-10-09:authors-submit-lean-formalization-of-hamilton-perelman-geometrization-proof","event_type":"formal_mathematics_preprint_submission","title":"Authors submit Lean formalization of Hamilton-Perelman geometrization proof","summary":"Original public milestone: Authors submit Lean formalization of Hamilton-Perelman geometrization proof. Evidence-only proposal; no claim of global canonical novelty, independent replication or realized downstream effects.","occurred_at":"2026-10-09T00:00:00.000Z","published_at":"2026-10-09T00:00:00.000Z","observed_at":"2026-10-18T11:41:00.000Z","reconstructed_at":"2026-10-18T11:41:00.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.87,"metadata":{"evidence_only":1,"global_novelty_unproven":1,"independent_outcomes_unproven":1,"original_index_position":1216},"created_at":"2026-10-19T06:03:26.986Z","updated_at":"2026-10-19T06:03:26.986Z"},"artifacts":[{"id":"art-hist-phase33-geometrization-lean-preprint","dedupe_key":"17e51ed1b0520057217d475388f606c01efb35974f2616f56aec51ee1c2fc480","canonical_url":"https://arxiv.org/abs/2610.13897","evidence_locator":"","artifact_type":"original_publication","title":"Authors submit Lean formalization of Hamilton-Perelman geometrization proof","summary":"","creator_entities":[],"released_at":"2026-10-09T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T06:03:26.985Z","updated_at":"2026-10-19T06:03:26.985Z","relation":"documented_by"}],"signals":[]}