{"event":{"id":"evt-hist-phase39-1462","dedupe_key":"source_publication:2026-10-16:xena-project-mathematicians-publish-formalization-roadmap","event_type":"source_publication","title":"Xena Project mathematicians publish formalization roadmap","summary":"Authors publish Oct16 proposal for mathematician-led scaled Lean formalization; not evidence mathematics fully formalized.","occurred_at":"2026-10-16T00:00:00.000Z","published_at":"2026-10-16T00:00:00.000Z","observed_at":"2026-10-18T14:15:08.000Z","reconstructed_at":"2026-10-18T14:15:08.000Z","ingest_type":"historical_backfill","locations":null,"status":"verified","confidence":0.8,"metadata":{"date_precision":"day","evidence_only":1,"global_novelty_unproven":1,"original_index_position":1462,"published_at_is_day_precision_placeholder":1,"source_claims_not_independent_outcomes":1},"created_at":"2026-10-19T07:03:44.795Z","updated_at":"2026-10-19T07:03:44.795Z"},"artifacts":[{"id":"art-hist-phase39-1462","dedupe_key":"2e8e78e0605e15f0aa0dcac7c592b464209fcfb2b01aeb332ecb4cc8b48eef99","canonical_url":"https://xenaproject.wordpress.com/2026/10/16/how-to-formalize-all-of-mathematics/","evidence_locator":"","artifact_type":"original_publication","title":"Xena Project mathematicians publish formalization roadmap","summary":"","creator_entities":[],"released_at":"2026-10-16T00:00:00.000Z","content_hash":null,"metadata":[],"created_at":"2026-10-19T07:03:44.794Z","updated_at":"2026-10-19T07:03:44.794Z","relation":"documented_by"}],"signals":[]}